Symmetry and Self-Duality in Categories of Probabilistic Models

This note adds to the recent spate of derivations of the probabilistic apparatus of finite-dimensional quantum theory from various axiomatic packages. We offer two different axiomatic packages that lead easily to the Jordan algebraic structure of finite-dimensional quantum theory. The derivation relies on the Koecher-Vinberg Theorem, which sets up an equivalence between order-unit spaces having homogeneous, self-dual cones, and formally real Jordan algebras.Comment: In Proceedings QPL 2011, arXiv:1210.029

Conjugates, Filters and Quantum Mechanics

The Jordan structure of finite-dimensional quantum theory is derived, in a conspicuously easy way, from a few simple postulates concerning abstract probabilistic models (each defined by a set of basic measurements and a convex set of states). The key assumption is that each system A can be paired with an isomorphic $\textit{conjugate}$ system, $\overline{A}$, by means of a non-signaling bipartite state $\eta_A$ perfectly and uniformly correlating each basic measurement on A with its counterpart on $\overline{A}$. In the case of a quantum-mechanical system associated with a complex Hilbert space $\mathcal H$, the conjugate system is that associated with the conjugate Hilbert space $\overline{\mathcal H}$, and $\eta_A$ corresponds to the standard maximally entangled EPR state on ${\mathcal H} \otimes \overline{\mathcal H}$. A second ingredient is the notion of a $\textit{reversible filter}$, that is, a probabilistically reversible process that independently attenuates the sensitivity of detectors associated with a measurement. In addition to offering more flexibility than most existing reconstructions of finite-dimensional quantum theory, the approach taken here has the advantage of not relying on any form of the "no restriction" hypothesis. That is, it is not assumed that arbitrary effects are physically measurable, nor that arbitrary families of physically measurable effects summing to the unit effect, represent physically accessible observables. An appendix shows how a version of Hardy's "subspace axiom" can replace several assumptions native to this paper, although at the cost of disallowing superselection rules.Comment: 33 pp. Minor corrections throughout; some revision of Appendix

A Royal Road to Quantum Theory (or Thereabouts)

This paper fails to derive quantum mechanics from a few simple postulates. But it gets very close --- and it does so without much exertion. More exactly, I obtain a representation of finite-dimensional probabilistic systems in terms of euclidean Jordan algebras, in a strikingly easy way, from simple assumptions. This provides a framework within which real, complex and quaternionic QM can play happily together, and allows some --- but not too much --- room for more exotic alternatives. (This is a leisurely summary, based on recent lectures, of material from the papers arXiv:1206:2897 and arXiv:1507.06278, the latter joint work with Howard Barnum and Matthew Graydon. Some further ideas are also explored.)Comment: 33 pages, 3 figures. An expanded and somewhat informal account of material from arXiv:1206:2897, plus some new results. A number of typos and other minor errors are corrected in version

Local tomography and the Jordan structure of quantum theory

Using a result of H. Hanche-Olsen, we show that (subject to fairly natural constraints on what constitutes a system, and on what constitutes a composite system), orthodox finite-dimensional complex quantum mechanics with superselection rules is the only non-signaling probabilistic theory in which (i) individual systems are Jordan algebras (equivalently, their cones of unnormalized states are homogeneous and self-dual), (ii) composites are locally tomographic (meaning that states are determined by the joint probabilities they assign to measurement outcomes on the component systems) and (iii) at least one system has the structure of a qubit. Using this result, we also characterize finite dimensional quantum theory among probabilistic theories having the structure of a dagger-monoidal category