Fetching the paper…
Reading the bibliography…
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information.
E. Schrödinger (1935) Discussion of probability relations between separated systems. Proceedings of the Cambridge Philosophical Society
1935
Earlier work this paper cites.
G. Birkhoff and J. von Neumann (1936) The logic of quantum mechanics. Annals of Mathematics
1936
Earlier work this paper cites.
G. Birkhoff (1958) von Neumann and lattice theory. Bulletin of the American Mathematical Society
1958
Earlier work this paper cites.
G. Birkhoff (1961) Lattices in Applied Mathematics. In R. P. Dilworth (ed.) Lattice Theory, Proceedings of the Second Symposium in Pure Mathematics of the American Mathematical Society, April 1959, Providence: American Mathematical Society
1959
Earlier work this paper cites.
J. M. Jauch (1968) Foundations of Quantum Mechanics. Addison-Wesley
1968
Earlier work this paper cites.
Coherence in closed categories
G.M. Kelly and S. Mac Lane (1971) · 1971
Earlier work this paper cites.
R. Penrose (1971) Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications, pages 221–244. Academic Press
1971
Earlier work this paper cites.
G. M. Kelly and M. L. Laplaza (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra
1980
Earlier work this paper cites.
D. G. B. J. Dieks (1982) Communication by EPR devices. Physics Letters A
1982
Earlier work this paper cites.
W. K. Wootters and W. Zurek (1982) A single quantum cannot be cloned. Nature
1982
Earlier work this paper cites.
G. Ludwig (1985) An Axiomatic Basis of Quantum Mechanics. 1. Derivation of Hilbert Space. Springer-Verlag
1985
Earlier work this paper cites.
A. Carboni and R. F. C. Walters (1987) Cartesian bicategories I. Journal of Pure and Applied Algebra
1987
Earlier work this paper cites.
G. Ludwig (1987) An Axiomatic Basis of Quantum Mechanics. 2. Quantum Mechanics and Macrosystems. Springer-Verlag
1987
Earlier work this paper cites.
P. Freyd and D. Yetter (1989) Braided compact closed categories with applications to low-dimensional topology. Advances in Mathematics
1989
Earlier work this paper cites.
I. Pitowski (1989) Quantum Probability, Quantum Logic. Springer-Verlag, Heidelberg
1989
Earlier work this paper cites.
N. D. Mermin (1990) Quantum mysteries revisited. American Journal of Physics
1990
Earlier work this paper cites.
A. Joyal and R. Street (1991) The Geometry of tensor calculus I. Advances in Mathematics
1991
Earlier work this paper cites.
R. Haag (1992) Local Quantum Physics: Fields, Particles, Algebras. Springer-Verlag
1992
Earlier work this paper cites.
C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres and W. K. Wooters (1993) Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters
1993
Earlier work this paper cites.
A. Joyal and R. Street (1993) Braided Tensor Categories. Advances in Mathematics
1993
Earlier work this paper cites.
C. Kassel (1995) Quantum groups. Graduate Texts in Mathematics
1995
Earlier work this paper cites.
B. Coecke, E. O. Paquette and D. Pavlovic (2009) Classical and quantum structuralism. In
1997
Earlier work this paper cites.
M. Rédei (1997) Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Studies in History and Philosophy of Modern Physics
1997
Earlier work this paper cites.
P. W. Shor (1997)
1997
Earlier work this paper cites.
S. Mac Lane (1998) Categories for the Working Mathematician. 2nd edition. Springer-Verlag
1998
Earlier work this paper cites.
Term Rewriting and All That
F. Baader and T. Nipkow (1999) · 1999
Earlier work this paper cites.
B. Coecke, D. J. Moore and A. Wilce (2000) Operational quantum logic: An overview. In: Current Research in Operational Quantum Logic: Algebras, Categories and Languages, B. Coecke, D. J. Moore and A. Wilce (eds), pages 1–36. Fundamental Theories of Physics
2000
Cited alongside, same era.
W. Dür, G. Vidal and J. I. Cirac (2000) Three qubits can be entangled in two inequivalent ways. Physical Review A
2000
Cited alongside, same era.
C. A. Fuchs (2001) Quantum foundations in the light of quantum information. In: Decoherence and its Implications in Quantum Computation and Information Transfer: Proceedings of the NATO Advanced Research Workshop, Mykonos Greece, June 25-30, 2000, pages 38–82, A.‘Gonis and P. E. A. Turchi, eds. IOS Press
2000
Cited alongside, same era.
M. Nielsen and I. Chuang (2000) Quantum Computation and Quantum Information. Cambridge University Press
2000
Cited alongside, same era.
V. Danos, E. Kashefi and P. Panangaden (2007) The measurement calculus. Journal of the ACM
2007
Later among the works it cites.
R. Spekkens (2007) Evidence for the epistemic view of quantum states: A toy theory. Physical Review A
2007
Later among the works it cites.
R. Street (2007) Quantum Groups: A Path to Current Algebra. Cambridge University Press
2007
Later among the works it cites.
L. Amico, R. Fazio, A. Osterloh and V. Vedral (2008) Entanglement in many-body systems. Reviews of Modern Physics
2008
Later among the works it cites.
B. Coecke (2008) Axiomatic description of mixed states from Selinger’s CPM-construction. Electronic Notes in Theoretical Computer Science
2008
Later among the works it cites.
Interacting quantum observables
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
L. Hardy (2001) Quantum theory from five reasonable axioms
2001
Cited alongside, same era.
A one-way quantum computer
R. Raussendorf and H. J. Briegel (2001) · 2001
Cited alongside, same era.
J. Kock (2003) Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge UP
2003
Cited alongside, same era.
R. Raussendorf, D. Browne and H. J. Briegel (2003) Measurement-based quantum computation on cluster states. Physical Review A
2003
Cited alongside, same era.
S. Abramsky and B. Coecke (2004) A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS‘04), IEEE Computer Society Press
2004
Cited alongside, same era.
S. Lack (2004) Composing PROPs. Theory and Applications of Categories
2004
Cited alongside, same era.
M. Van den Nest, J. Dehaene, and B. De Moor (2004) Graphical description of the action of local clifford transformations on graph states. Physical Review A
2004
Cited alongside, same era.
F. Verstraete and J. I. Cirac (2004) Valence-bond states for quantum computation. Physical Review A
2004
Cited alongside, same era.
B. Coecke and R. Duncan (2008) · 2008
Later among the works it cites.
2008
Later among the works it cites.
2008
Later among the works it cites.
Graphical reasoning in compact closed categories for quantum computation
L. Dixon and R. Duncan (2009) · 2009
Closest in time.
2009
Closest in time.
Classifying all mutually unbiased bases in rel
J. Evans, R. Duncan, A. Lang, and p. Panangaden (2009) · 2009
Closest in time.
2009
Closest in time.
B. Coecke (2010) Quantum picturalism. Contemporary Physics
2010
Closest in time.
B. Coecke and A. Kissinger (2010)
2010
Closest in time.
2010
Closest in time.
Open graphs and monoidal theories
L. Dixon and A. Kissinger (2010) · 2010
Closest in time.
R. Duncan and S. Perdrix (2010)
2010
Closest in time.
B. Edwards (2010) Phase groups and local hidden variables. Oxford University Computing Laboratory Research Report RR-10-15
2010
Closest in time.
P. Selinger (2010) Autonomous categories in which
2010
Closest in time.
S. Abramsky and N. Tzevelekos (2011) Introduction to categories and categorical logic. In: New Structures for Physics, B. Coecke, Ed. Springer lecture Notes in Physics, vol 813, p3–94
2011
Closest in time.
J. Baez and M. Stay (2011) Physics, topology, logic and computation: a Rosetta Stone. In: New Structures for Physics, B. Coecke, Ed. Springer lecture Notes in Physics, vol 813, p95–172
2011
Closest in time.
2011
Closest in time.
2011
Closest in time.
2011
Closest in time.
P. Selinger (2011) A survey of graphical languages for monoidal categories. In: New Structures for Physics, B. Coecke, Ed. Springer lecture Notes in Physics, vol 813, pp289-355
2011
Closest in time.