Fetching the paper…
Reading the bibliography…
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators.
Proceedings of the American Mathematical Society 6
Stinespring, W.F.: Positive functions on C*-algebras · 1955
Earlier work this paper cites.
Springer (1971)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn · 1971
Earlier work this paper cites.
Linear Algebra and Its Applications 10
Choi, M.D.: Completely positive linear maps on complex matrices · 1975
Earlier work this paper cites.
Pitman Research Notes in Mathematics. Longman Scientific & Technical (1990)
Rosenthal, K.I.: Quantales and their applicatoins · 1990
Earlier work this paper cites.
Communications in Mathematical Physics 134
Zakrzewski, S.: Quantum and classical pseudogroups I · 1990
Earlier work this paper cites.
American Mathematical Society (1991)
Davidson, K.R.: C*-algebras by example · 1991
Earlier work this paper cites.
Advances in Mathematics 102
Joyal, A., Street, R.: Braided tensor categories · 1993
Earlier work this paper cites.
Physical Review Letters 74
Pechukas, P.: Reduced dynamics need not be completely positive · 1994
Earlier work this paper cites.
Physical Review Letters 75
Alicki, R.: Comment on ‘reduced dynamics need not be completely positive’ · 1995
Earlier work this paper cites.
Studies in the History and Philosophy of Modern Physics 27
Redei, M.: Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead) · 1996
Earlier work this paper cites.
Physical Reports 369
Keyl, M.: Fundamentals of quantum information theory · 2002
Earlier work this paper cites.
Cambridge University Press (2002)
Paulsen, V.: Completely bounded maps and operators algebras · 2002
Earlier work this paper cites.
World Scientific (2003)
Li, B.: Real operator algebras · 2003
Earlier work this paper cites.
Acta Mathematica Sinica 19
Ruan, Z.J.: On real operator spaces · 2003
Cited alongside, same era.
Open Systems & Information Dynamics 11
Życzkowski, K., Bengtsson, I.: On duality between quantum states and quantum maps · 2004
Cited alongside, same era.
Physics Letter A 341
Shaji, A., Sudarshan, E.C.G.: Who’s afraid of not completely positive maps? · 2005
Cited alongside, same era.
Ph.D. thesis, Oxford University (2006)
Duncan, R.: Types for quantum computing · 2006
Cited alongside, same era.
Princeton University Press (2007)
Bhatia, R.: Positive definite matrices · 2007
Cited alongside, same era.
In: Mathematics of Quantum Computing and Technology. Taylor and Francis (2007)
Coecke, B., Pavlović, D.: Quantum measurements without sums · 2007
Cited alongside, same era.
In: S. Gay, I. Mackey (eds.) Semantic Techniques in Quantum Computation, pp. 29–69. Cambridge University Press (2010)
Coecke, B., Paquette, É.O., Pavlović, D.: Classical and quantum structuralism · 2010
Later among the works it cites.
In: Computer Science Logic, pp. 230–244. Springer (2010)
Coecke, B., Perdrix, S.: Environment and classical channels in categorical quantum mechanics · 2010
Later among the works it cites.
New Journal of Physics 13
Coecke, B., Duncan, R.: Interacting quantum observables: categorical algebra and diagrammatics · 2011
Later among the works it cites.
Communications in Mathematical Physics 304
Vicary, J.: Categorical formulation of finite-dimensional quantum algebras · 2011
Later among the works it cites.
Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71
Abramsky, S., Heunen, C.: H*-algebras and nonunital frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics · 2012
Later among the works it cites.
Physical Review Letters 108
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
In: D. Bruß, G. Leuchs (eds.) Lectures on Quantum Information, pp. 73–86. Wiley (2007)
Keyl, M., Werner, R.F.: Channels and maps · 2007
Cited alongside, same era.
In: Quantum Programming Languages, Electronic Notices in Theoretical Computer Science , vol. 170, pp. 139–163. Elsevier (2007)
Selinger, P.: Dagger compact closed categories and completely positive maps · 2007
Cited alongside, same era.
Elsevier (2008)
Abramsky, S., Coecke, B.: Categorical quantum mechanics, pp. 261–324 · 2008
Cited alongside, same era.
Electronic Notes in Theoretical Computer Science 210
Coecke, B.: Axiomatic description of mixed states from Selinger’s CPM–construction · 2008
Cited alongside, same era.
In: Quantum Programming Languages, Electronic Notes in Theoretical Computer Science , vol. 210, pp. 107–122. Elsevier (2008)
Selinger, P.: Idempotents in dagger categories · 2008
Cited alongside, same era.
No. 813 in Lecture Notes in Physics. Springer (2009)
Coecke, B. (ed.): New Structures for Physics · 2009
Cited alongside, same era.
Boixo, S., Heunen, C.: Entangled and sequential quantum protocols with dephasing · 2012
Later among the works it cites.
In: Electronic Proceedings in Theoretical Computer Science, vol. 95, pp. 27–35 (2012)
Coecke, B., Heunen, C.: Pictures of complete positivity in arbitrary dimension · 2012
Later among the works it cites.
Mathematical Structures in Computer Science 23
Coecke, B., Pavlović, D., Vicary, J.: A new description of orthogonal bases · 2012
Later among the works it cites.
In: B. Coecke, L. Ong, P. Panangaden (eds.) Computation, Logic, Games, and Quantum Foundations, no. 7860 in Lectures Notes in Computer Science, pp. 21–36. Springer (2013)
Coecke, B., Heunen, C., Kissinger, A.: Compositional quantum logic · 2013
Closest in time.
Journal of Pure and Applied Algebra 217
Heunen, C., Contreras, I., Cattaneo, A.S.: Relative frobenius algebras are groupoids · 2013
Closest in time.
arxiv:1308.4557, to appear in the proceedings of Quantum Physics and Logic X (2013)
Heunen, C., Kissinger, A., Selinger, P.: Completely positive projections and biproducts · 2013
Closest in time.
Springer (2013)
Størmer, E.: Positive linear maps of operator algebras · 2013
Closest in time.