Composites and categories of euclidean Jordan algebras

Howard Barnum, Matthew A. Graydon, Alexander Wilce

Published Jan 1, 2020• 22 citations

Abstract

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summand, unless the other factor is a direct sum of one-dimensional Jordan algebras (representing essentially a classical system). Moreover, we show that any composite of simple, non-exceptional EJAs is a direct summand of their universal tensor product, sharply limiting the possibilities. These results warrant our focussing on concrete Jordan algebras of hermitian matrices, i.e., euclidean Jordan algebras with a preferred embedding in a complex matrix algebra. We show that these can be organized in a natural way as a symmetric monoidal category, albeit one that is not compact closed. We then construct a related category InvQM of embedded euclidean Jordan algebras, having fewer objects but more morphisms, that is not only compact closed but dagger-compact. This category unifies finite-dimensional real, complex and quaternionic mixed-state quantum mechanics, except that the composite of two complex quantum systems comes with an extra classical bit. Our notion of composite requires neither tomographic locality, nor preservation of purity under tensor product. The categories we construct include examples in which both of these conditions fail. In such cases, the information capacity (the maximum number of mutually distinguishable states) of a composite is greater than the product of the capacities of its constituents. © 2020 FahrenHouse. All rights reserved.

DOI: 10.15488/10738

Related papers

Composites and Categories of Euclidean Jordan Algebras

Howard Barnum, Matthew A. Graydon, Alexander Wilce

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summand, unless the other factor is a direct sum of one-dimensional Jordan algebras (representing essentially a classical system). Moreover, we show that any composite of simple, non-exceptional EJAs is a direct summand of their universal tensor product, sharply limiting the possibilities.These results warrant our focussing on concrete Jordan algebras of hermitian matrices, i.e., euclidean Jordan algebras with a preferred embedding in a complex matrix algebra. We show that these can be organized in a natural way as a symmetric monoidal category, albeit one that is not compact closed. We then construct a related category InvQM of embedded euclidean Jordan algebras, having fewer objects but more morphisms, that is not only compact closed but dagger-compact. This category unifies finite-dimensional real, complex and quaternionic mixed-state quantum mechanics, except that the composite of two complex quantum systems comes with an extra classical bit.Our notion of composite requires neither tomographic locality, nor preservation of purity under tensor product. The categories we construct include examples in which both of these conditions fail. {In such cases, the information capacity (the maximum number of mutually distinguishable states) of a composite is greater than the product of the capacities of its constituents.}

arXiv:1606.09331QuantumNov 8, 202027 citations

FCD-QM 1-B: Recursive No-Hypersignaling Constraints on Euclidean Jordan Theories

Geoffrey Marcellin

This paper extends the results of Hyperbolic Degree Bounds Signaling Dimension in Generalized Probabilistic Theories (Zenodo DOI: 10.5281/zenodo.22946778), which established that the signaling dimension of every canonical finite-dimensional Euclidean Jordan algebra (EJA) equals its Jordan rank. We investigate the consequences of this single-system identity under recursive composition. Combining the injectivity of local effect-space tensor products in standard non-signaling composites with the no-hypersignaling (NH) principle, we prove that the normalized linear-dimension ratio η_lin(S) = dim(S)/sign.dim(S)² is supermultiplicative. Consequently, any local excess above unity is amplified under repeated composition. For canonical EJA composites satisfying the structural axioms of Barnum, Graydon, and Wilce, product Jordan frames and NH enforce multiplicativity of composite rank. Together with established EJA classification results, this yields the conditional recursive constraint dim(J) ≤ rank(J)². Within this framework, quaternionic matrix Jordan systems and spin factors V_n with n ≥ 4 are excluded, while real matrix systems remain subcritical and complex matrix systems exactly saturate the bound. We also obtain finite-copy exclusion criteria and identify exact NH violations in specified EJA composition rules, including doubled complex and quaternionic composites. The analysis does not assume local tomography. Its conclusions are conditional on NH and the stated composition axioms; they do not establish unique selection of complex quantum theory. This work provides a compositional continuation of the preceding hyperbolic-signaling result, connecting classical simulation requirements to structural constraints on Jordan probabilistic theories.

Oct 11, 20260 citations

A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract

Alexander Wilce

A representation of finite-dimensional probabilistic models in terms of formally real Jordan algebras is obtained, in a strikingly easy way, from simple assumptions. This provides a framework in which real, complex and quaternionic quantum mechanics can be treated on an equal footing, and allows some (but not too much) room for other alternatives. This is based on earlier work (arXiv:1206:2897), but the development here is further simplified, and also extended in several ways. I also discuss the possibilities for organizing probabilistic models, subject to the assumptions discussed here, into symmetric monoidal categories, showing that such a category will automatically have a dagger-compact structure. (Recent joint work with Howard Barnum and Matthew Graydon (arXiv:1507.06278) exhibits several categories of this kind.)

arXiv:1701.00664Jan 3, 201734 citations

A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract

Alexander Wilce

Electronic Proceedings in Theoretical Computer ScienceJan 1, 20174 citations

Pure Maps between Euclidean Jordan Algebras

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems. We show that this definition of purity is closed under composition and taking adjoints and thus that the pure maps form a dagger category (which sets it apart from other possible definitions.) In fact, from the results presented in this paper, it follows that the category of EJAs with positive contractive linear maps is a dagger-effectus, a type of structure originally defined to study von Neumann algebras in an abstract categorical setting. In combination with previous work this characterizes EJAs as the most general systems allowed in a generalized probabilistic theory that is simultaneously a dagger-effectus. Using the dagger structure we get a notion of dagger-positive maps of the form f = g*g. We give a complete characterization of the pure dagger-positive maps and show that these correspond precisely to the Jordan algebraic version of the sequential product that maps (a,b) to sqrt(a) b sqrt(a). The notion of dagger-positivity therefore characterizes the sequential product.

arXiv:1805.11496Electronic Proceedings in Theoretical Computer ScienceJan 31, 20193 citations

Characterization of the probabilistic models that can be embedded in quantum theory

Andrew J. P. Garner, Markus P. Müller

Quantum bits can be isolated to perform useful information-theoretic tasks, even though physical systems are fundamentally described by very high-dimensional operator algebras. This is because qubits can be consistently embedded into higher-dimensional Hilbert spaces. A similar embedding of classical probability distributions into quantum theory enables the emergence of classical physics via decoherence. Here, we ask which other probabilistic models can similarly be embedded into finite-dimensional quantum theory. We show that the embeddable models are exactly those that correspond to the Euclidean special Jordan algebras: quantum theory over the reals, the complex numbers, or the quaternions, and "spin factors" (qubits with more than three degrees of freedom), and direct sums thereof. Among those, only classical and standard quantum theory with superselection rules can arise from a physical decoherence map. Our results have significant consequences for some experimental tests of quantum theory, by clarifying how they could (or could not) falsify it. Furthermore, they imply that all unrestricted non-classical models must be contextual.

arXiv:2004.06136Apr 13, 20202 citations