Fetching the paper…
Reading the bibliography…
We present a reconstruction of finite-dimensional quantum theory where all of the postulates are stated in diagrammatic terms, making them intuitive.
Positive functions on C ∗ C^{*} -algebras
W. F. Stinespring · 1955
Earlier work this paper cites.
Mathematische grundlagen der quantenmechanik
J. von Neumann · 1955
Earlier work this paper cites.
Die Geodättischen von Positivitätsbereichen
M. Koecher · 1958
Earlier work this paper cites.
Homogeneous cones
E. B. Vinberg · 1960
Earlier work this paper cites.
The mathematical foundations of quantum mechanics
G. W. Mackey · 1963
Earlier work this paper cites.
On the Einstein-Podolsky-Rosen paradox
J. S. Bell · 1964
Earlier work this paper cites.
Axiomatique quantique
C. Piron · 1964
Earlier work this paper cites.
Inductive limits of finite dimensional C*-algebras
O. Bratteli · 1972
Earlier work this paper cites.
On a characterization of the state space of quantum mechanics
H. Araki · 1980
Earlier work this paper cites.
On the actual measurability of the density matrix of a decaying system by means of measurements on the decay products
S. Bergia, F. Cannata, A. Cornia, and R. Livi · 1980
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
An Axiomatic Basis of Quantum Mechanics. 1. Derivation of Hilbert Space
G. Ludwig · 1985
Earlier work this paper cites.
On an algebraic generalization of the quantum mechanical formalism
P. Jordan, J. von Neumann, and E. P Wigner · 1993
Earlier work this paper cites.
Analysis on symmetric cones. 1994
Jacques Faraut and Adam Korányi · 1994
Earlier work this paper cites.
Characterization of Hilbert spaces by orthomodular spaces
M. P. Solèr · 1995
Earlier work this paper cites.
Noncommuting mixed states cannot be broadcast
Howard Barnum, Carlton M Caves, Christopher A Fuchs, Richard Jozsa, and Benjamin Schumacher · 1996
Earlier work this paper cites.
Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
M. Rédei · 1996
Earlier work this paper cites.
Nuclear and trace ideals in tensored *-categories
S. Abramsky, R. Blute, and P. Panangaden · 1999
Earlier work this paper cites.
Operational quantum logic: An overview
B. Coecke, D. J. Moore, and A. Wilce · 2000
Earlier work this paper cites.
Quantum Theory From Five Reasonable Axioms
L. Hardy · 2001
Earlier work this paper cites.
Characterizing quantum theory in terms of information-theoretic constraints
R. Clifton, J. Bub, and H. Halvorson · 2003
Earlier work this paper cites.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Earlier work this paper cites.
Fast and effective techniques for T-count reduction via spider nest identities
Niel de Beaudrap, Xiaoning Bian, and Quanlong Wang · 2004
Earlier work this paper cites.
Abstract physical traces
S. Abramsky and B. Coecke · 2005
Earlier work this paper cites.
A structure theorem for generalized-noncontextual ontological models
David Schmid, John H Selby, Matthew F Pusey, and Robert W Spekkens · 2005
Earlier work this paper cites.
Kindergarten quantum mechanics: Lecture notes
B. Coecke · 2006
Earlier work this paper cites.
Dagger compact closed categories and completely positive maps
P. Selinger · 2006
Earlier work this paper cites.
Information processing in generalized probabilistic theories
J. Barrett · 2007
Earlier work this paper cites.
Quantum measurements without sums
B. Coecke and D. Pavlović · 2007
Earlier work this paper cites.
Towards quantum gravity: a framework for probabilistic theories with non-fixed causal structure
L. Hardy · 2007
Earlier work this paper cites.
Information-geometric reconstruction of quantum theory
P. Goyal · 2008
Earlier work this paper cites.
Idempotents in dagger categories
P. Selinger · 2008
Earlier work this paper cites.
Unscrambling the omelette of causation and inference: The framework of causal-inferential theories
David Schmid, John H Selby, and Robert W Spekkens · 2009
Earlier work this paper cites.
A time-symmetric formulation of quantum mechanics
Y. Aharonov, S. Popescu, and J. Tollaksen · 2010
Earlier work this paper cites.
Probabilistic theories with purification
G. Chiribella, G. M. D’Ariano, and P. Perinotti · 2010
Earlier work this paper cites.
Quantum picturalism
B. Coecke · 2010
Earlier work this paper cites.
Classical and quantum structuralism
B. Coecke, É. O. Paquette, and D. Pavlović · 2010
Cited alongside, same era.
Rewriting measurement-based quantum computations with generalised flow
R. Duncan and S. Perdrix · 2010
Cited alongside, same era.
Physics, topology, logic and computation: a Rosetta stone
J. C. Baez and M. Stay · 2011
Cited alongside, same era.
Informational derivation of quantum theory
G. Chiribella, G. M. D’Ariano, and P. Perinotti · 2011
Cited alongside, same era.
A universe of processes and some of its guises
B. Coecke · 2011
Cited alongside, same era.
Categories for the practicing physicist
B. Coecke and É. O. Paquette · 2011
Cited alongside, same era.
Operational theories of physics as categories
S. Tull · 2016
Later among the works it cites.
A purification postulate for quantum mechanics with indefinite causal order
M. Araújo, A. Feix, M. Navascués, and Č. Brukner · 2017
Later among the works it cites.
Ruling out higher-order interference from purity principles
H. Barnum, C. M. Lee, C. M. Scandolo, and J. H. Selby · 2017
Later among the works it cites.
Quantum mechanics as classical statistical mechanics with an ontic extension and an epistemic restriction
A. Budiyono and D. Rohrlich · 2017
Later among the works it cites.
Microcanonical thermodynamics in general physical theories
G. Chiribella and C. M. Scandolo · 2017
Later among the works it cites.
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
B. Dakić and Č. Brukner · 2011
Cited alongside, same era.
Reformulating and reconstructing quantum theory
L. Hardy · 2011
Cited alongside, same era.
The operator tensor formulation of quantum theory
L. Hardy · 2011
Cited alongside, same era.
Quantum picturalism for topological cluster-state computing
C. Horsman · 2011
Cited alongside, same era.
A derivation of quantum theory from physical requirements
L. Masanes and M. P. Müller · 2011
Cited alongside, same era.
Symmetry and composition in probabilistic theories
A. Wilce · 2011
Cited alongside, same era.
B. Coecke and A. Kissinger · 2017
Later among the works it cites.
Uniqueness of composition in quantum theory and linguistics
B. Coecke, F. Genovese, S. Gogioso, D. Marsden, and R. Piedeleu · 2017
Later among the works it cites.
Two roads to classicality
B. Coecke, J. H. Selby, and S. Tull · 2017
Later among the works it cites.
Infinite-dimensional categorical quantum mechanics
S. Gogioso and F. Genovese · 2017
Later among the works it cites.
Toolbox for reconstructing quantum theory from rules on information acquisition
P. A. Höhn · 2017
Later among the works it cites.
Picturing indefinite causal structure
A. Kissinger and S. Uijlen · 2017
Later among the works it cites.
Equivalence of relativistic causal structure and process terminally
A. Kissinger, M. Hoban, and B. Coecke · 2017
Later among the works it cites.
A no-go theorem for theories that decohere to quantum mechanics
C. M. Lee and J. H. Selby · 2017
Later among the works it cites.
A shortcut from categorical quantum theory to convex operational theories
A. Wilce · 2017
Later among the works it cites.
Verifying the smallest interesting colour code with quantomatic
L. Garvie and R. Duncan · 2018
Closest in time.
Towards quantum field theory in categorical quantum mechanics
S. Gogioso and F. Genovese · 2018
Closest in time.
Categorical probabilistic theories
S. Gogioso and C. M. Scandolo · 2018
Closest in time.
Simple proof of the impossibility of bit commitment in generalized probabilistic theories using cone programming
J. Sikora and J. Selby · 2018
Closest in time.
Quotient categories and phases
S. Tull · 2018
Closest in time.
SZX-Calculus: Scalable Graphical Quantum Reasoning
Titouan Carette, Dominic Horsman, and Simon Perdrix · 2019
Closest in time.
Techniques to Reduce π / 4 \pi/4 -Parity-Phase Circuits, Motivated by the ZX Calculus
Niel de Beaudrap, Xiaoning Bian, and Quanlong Wang · 2019
Closest in time.
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
Niel de Beaudrap, Ross Duncan, Dominic Horsman, and Simon Perdrix · 2019
Closest in time.
Derivation of quantum theory with superselection rules
Kenji Nakahira · 2019
Closest in time.
An effect-theoretic reconstruction of quantum theory
John van de Wetering · 2019
Closest in time.
Composites and categories of Euclidean Jordan algebras
Howard Barnum, Matthew A. Graydon, and Alexander Wilce · 2020
Closest in time.
Foundations for Near-Term Quantum Natural Language Processing
Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, and Alexis Toumi · 2020
Closest in time.
AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states
Richard D. P. East, John van de Wetering, Nicholas Chancellor, and Adolfo G. Grushin · 2020
Closest in time.
The ZX calculus is a language for surface code lattice surgery
Niel de Beaudrap and Dominic Horsman · 2020
Closest in time.
Reducing T-count with the ZX-calculus
Aleks Kissinger and John van de Wetering · 2020
Closest in time.
A Compositional Model of Consciousness based on Consciousness-Only
Camilo Miguel Signorelli, Quanlong Wang, and Ilyas Khan · 2020
Closest in time.
Integrated information in process theories
Tull and Kleiner · 2020
Closest in time.
A categorical reconstruction of quantum theory
Sean Tull · 2020
Closest in time.
ZX-calculus for the working quantum computer scientist
John van de Wetering · 2020
Closest in time.
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, and John van de Wetering · 2021
Closest in time.
Bob Coecke, Dominic Horsman, Aleks Kissinger, and Quanlong Wang · 2021
Closest in time.