{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T03:13:22Z","timestamp":1773198802550,"version":"3.50.1"},"reference-count":66,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T00:00:00Z","timestamp":1604793600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>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<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mstyle displaystyle=\"false\" scriptlevel=\"0\"><mml:mtext>InvQM<\/mml:mtext><\/mml:mstyle><\/mml:math>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.}<\/jats:p>","DOI":"10.22331\/q-2020-11-08-359","type":"journal-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T16:34:51Z","timestamp":1604853291000},"page":"359","source":"Crossref","is-referenced-by-count":26,"title":["Composites and Categories of Euclidean Jordan Algebras"],"prefix":"10.22331","volume":"4","author":[{"given":"Howard","family":"Barnum","sequence":"first","affiliation":[{"name":"Riemann Center for Geometry and Physics, Institute for Theoretical Physics, Leibniz Universit\u00e4t Hannover"},{"name":"University of New Mexico"},{"name":"Currently unaffiliated hnbarnum@aol.com"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew A.","family":"Graydon","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics, University of Waterloo"},{"name":"Institute for Quantum Computing, University of Waterloo m3graydo@uwaterloo.ca"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Wilce","sequence":"additional","affiliation":[{"name":"Department of Mathematical Sciences, Susquehanna University wilce@susqu.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9598","published-online":{"date-parts":[[2020,11,8]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"S. Abramsky and B. Coecke, Categorical quantum mechanics, in D. Gabbay, K. Engesser and D. Lehman, Handbook of Quantum Logic and Quantum Structures vol II, Elsevier, 2008; 10.1016\/B978-0-444-52869.5001-4 arXiv:quant-ph\/0402130).","DOI":"10.1016\/B978-0-444-52869.5001-4"},{"key":"1","doi-asserted-by":"publisher","unstructured":"E. M. Alfsen and F. W. Shultz, State spaces of Jordan algebras, Acta Mathematica 140 (1978) 155-190 10.1007\/BF02392307.","DOI":"10.1007\/BF02392307"},{"key":"2","doi-asserted-by":"publisher","unstructured":"E. M. Alfsen and F. W. Shultz, State Spaces of Operator Algebras: Basic Theory, Orientations and $C^{\\ast}$-Products, Birkhauser, 2001 10.1007\/978-1-4612-1047-2.","DOI":"10.1007\/978-1-4612-1047-2"},{"key":"3","doi-asserted-by":"publisher","unstructured":"E. Alfsen and F. Shultz, Geometry of state spaces of operator algebras, Birkh\u00e4user, 2003 10.1007\/978-1-4612-0019-2.","DOI":"10.1007\/978-1-4612-0019-2"},{"key":"4","doi-asserted-by":"publisher","unstructured":"H. Araki, On a characterization of the state space of quantum mechanics, Comm. Math. Phys. 75, 1980, 1-24 10.1007\/BF01962588.","DOI":"10.1007\/BF01962588"},{"key":"5","doi-asserted-by":"publisher","unstructured":"C. Aliprantis and D. Toukey, Cones and Duality, Springer, 2007 10.1090\/gsm\/084.","DOI":"10.1090\/gsm\/084"},{"key":"6","doi-asserted-by":"publisher","unstructured":"J. Baez, Division algebras and quantum theory, Foundations of Physics 42 819-855 (2012) 10.1007\/s10701-011-9566-z arXiv:1101.5690.","DOI":"10.1007\/s10701-011-9566-z"},{"key":"7","doi-asserted-by":"crossref","unstructured":"J. Baez, Quantum quandaries: a category-theoretic perspective in D. Rickles, S. French and J. Saatsi, Eds., The Structural Foundations of Quantum Gravity, Oxford, 2006, 240-265 ( quant-ph\/0404040.","DOI":"10.1093\/acprof:oso\/9780199269693.003.0008"},{"key":"8","unstructured":"H. Barnum, J. Barrett, M. Leifer and A. Wilce, Cloning and broadcasting in generic probabilistic theories, preprint, 2006 arxiv:quant-ph\/0611295."},{"key":"9","unstructured":"H. Barnum, J. Barrett, M. Leifer and A. Wilce, Teleportation in general probabilistic theories, in S. Abramsky and M. Mislove, Eds., Mathematical Foundations of Information Flow (Proceedings of the Clifford Lectures 2008), Proceeding of Symposia in Applied Mathematics 71, American Mathematical Society, Providence, 2012, 25-48 http:\/\/dx.doi.org\/10.1090\/psapm\/071\/600 arXiv:0805.3553."},{"key":"10","unstructured":"H. Barnum, R. Duncan and A. Wilce, Symmetry, compact closure and dagger compactness for categories of convex operational models, Journal of Philosophical Logic 42 (2013) 501-523 http:\/\/dx.doi.org\/10.1007\/s10992-013-9280-8 arXiv: 1004.2920."},{"key":"11","doi-asserted-by":"publisher","unstructured":"H. Barnum, C. Gaebler and A. Wilce, Ensemble steering, weak self-duality and the structure of probabilistic theories, Foundations of Physics 43 1411-1437 (2013) 10.1007\/s10701-013-9752-2; arxiv:0912.5532.","DOI":"10.1007\/s10701-013-9752-2"},{"key":"12","doi-asserted-by":"publisher","unstructured":"H. Barnum, M. Graydon and A. Wilce, Some Nearly Quantum Theories, EPTCS 195 (2015), 59-70 10.4204\/EPTCS.195.5 arXiv:1507.06278.","DOI":"10.4204\/EPTCS.195.5"},{"key":"13","unstructured":"H. Barnum and J. Hilgert, Spectral properties of convex bodies, J. Lie Theory 30, 315-344 (2020). (ArXiv version: Strongly symmetric spectral convex bodies are Jordan algebra state spaces arxiv:1904.03753 (2019))."},{"key":"14","doi-asserted-by":"publisher","unstructured":"H. Barnum, M. Mueller and C. Ududec, Higher-order interference and single-system postulates characterizing quantum theory, New J. Physics 16 (2014) 10.1088\/1367-2630\/16\/12\/123029 arXiv:1403.4147.","DOI":"10.1088\/1367-2630\/16\/12\/123029"},{"key":"15","doi-asserted-by":"publisher","unstructured":"H. Barnum and A. Wilce, Information processing in convex operational theories, Electronic Notes in Theoretical Computer Science 270 (2011) 3-15 10.1016\/j.entcs.2011.01.002 arXiv:0908.2352.","DOI":"10.1016\/j.entcs.2011.01.002"},{"key":"16","doi-asserted-by":"publisher","unstructured":"H. Barnum and A. Wilce, Local tomography and the Jordan structure of quantum theory, Found. Phys. 44 (2014), 192-212 10.1007\/s10701-014-9777-1 arXiv:1202.4513.","DOI":"10.1007\/s10701-014-9777-1"},{"key":"17","doi-asserted-by":"publisher","unstructured":"H. Barnum and A. Wilce, Post-classical probability theory, in G. Chiribella and R. Spekkens, eds., Quantum Theory: Informational Foundations and Foils, Springer, 2017 10.1007\/978-94-017-7303-4_11; arXiv:1205.3833.","DOI":"10.1007\/978-94-017-7303-4_11"},{"key":"18","doi-asserted-by":"publisher","unstructured":"J. Barrett, Information processing in generalized probabilistic theories, Physical Review A 75 (2005) 10.1103\/PhysRevA.75.032304 arXiv:quant-ph\/0508211.","DOI":"10.1103\/PhysRevA.75.032304"},{"key":"19","unstructured":"L. J. Bunce and J. D. Maitland-Wright, Introduction to the $K$-theory of Jordan $C^{\\ast}$ algebras, Quart. J. Math. 40 (1989) 377-398 http:\/\/dx.doi.org\/10.1093\/qmath\/40.4.377."},{"key":"20","doi-asserted-by":"publisher","unstructured":"G. Chiribella, M. D'Ariano and P. Perinotti, Informational derivation of quantum theory, Physical Review A 84 (2011), 012311 10.1103\/PhysRevA.84.012311 arXiv:1011.6451.","DOI":"10.1103\/PhysRevA.84.012311"},{"key":"21","unstructured":"M. L. Curtis, Matrix Groups, Springer, 1984 http:\/\/dx.doi.org\/10.1007\/978-1-4612-5286-3."},{"key":"22","doi-asserted-by":"publisher","unstructured":"B. Dakic and C. Brukner, Quantum theory and beyond: is entanglement special? in H. Halvorson, ed., Deep Beauty, Princeton, 2011 10.1017\/CBO9780511976971 arXiv:0911.0695.","DOI":"10.1017\/CBO9780511976971"},{"key":"23","doi-asserted-by":"publisher","unstructured":"E. B. Davies and J. Lewis, An operational approach to quantum probability, Comm. Math. Phys. 17 (1970) 239-260 10.1007\/BF01647093.","DOI":"10.1007\/BF01647093"},{"key":"24","doi-asserted-by":"publisher","unstructured":"C. M. Edwards, The operational approach to algebraic quantum theory I, Comm. Math. Phys. 16 (1970), 207-230 10.1007\/bf01646788.","DOI":"10.1007\/bf01646788"},{"key":"25","doi-asserted-by":"crossref","unstructured":"J. Faraut and A. Kor\u00e1nyi, Analysis on Symmetric Cones, Oxford, 1994.","DOI":"10.1093\/oso\/9780198534778.001.0001"},{"key":"26","unstructured":"M. A. Graydon, Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories, Ph. D. Dissertation, University of Waterloo, 2017 arXiv:1703.06800 [quant-ph]."},{"key":"27","unstructured":"M. A. Graydon, Quaternions and Quantum Theory, Master's Thesis, University of Waterloo, 2011."},{"key":"28","doi-asserted-by":"publisher","unstructured":"H. Hanche-Olsen, JB algebras with tensor products are $C^{\\ast}$ algebras, in H. Araki et al. (eds.), Operator Algebras and their Connections with Topology and Ergodic Theory, Lecture Notes in Mathematics 1132 (1985), 223-229 10.1007\/BFb0074886.","DOI":"10.1007\/BFb0074886"},{"key":"29","unstructured":"H. Hanche-Olsen, On the structure and tensor products of JC-algebras, Can. J. Math. 35 (1983), 1059-1074 http:\/\/dx.doi.org\/10.4153\/CJM-1983-059-8."},{"key":"30","unstructured":"H. Hanche-Olsen and E. St\u00f8rmer, Jordan Operator Algebras, Pitman, 1984 (Out of print; available at https:\/\/folk.ntnu.no\/hanche\/joa\/)."},{"key":"31","unstructured":"L. Hardy, Quantum theory from five reasonable axioms, arXiv:quant-ph\/0101012, 2001."},{"key":"32","doi-asserted-by":"publisher","unstructured":"L. Hardy and W. Wootters\",\"Limited holism and real-vector-space quantum theory, Found. Phys. 42 (2012) 454-473 10.1007\/s10701-011-9616-6 arXiv:1005.4870.","DOI":"10.1007\/s10701-011-9616-6"},{"key":"33","unstructured":"J. Hilgert, K. H. Hoffman and J. D. Lawson, Lie Groups, Convex Cones, and Semigroups, Oxford, 1989."},{"key":"34","doi-asserted-by":"publisher","unstructured":"A. Holevo, Probabilistic and Statistical Aspects of Quantum Mechanics, Springer Basel, 2011 10.1007\/978-88-7642-378-9.","DOI":"10.1007\/978-88-7642-378-9"},{"key":"35","unstructured":"F. B. Jamjoom, On the tensor products of JC-algebras, Quart. J. Math. Oxford 45 (1994) 77-90 http:\/\/dx.doi.org\/10.1093\/qmath\/45.1.77."},{"key":"36","unstructured":"F. B. Jamjoom, On the tensor products of Simple JC algebras, Mich. Math. J. 41 (1994), 289-295 http:\/\/dx.doi.org\/10.1307\/mmj\/1029004996."},{"key":"37","unstructured":"F. B. Jamjoom, On the tensor products of JW-algebras, Can. J. Math. 47 (1995) 786-8000 http:\/\/dx.doi.org\/10.4153\/CJM-1995-040-1."},{"key":"38","doi-asserted-by":"publisher","unstructured":"P. Janotta and R. Lal, Generalized probabilistic theories without the no-restriction hypothesis, Phys. Rev. A. 87 (2013) 10.1103\/PhysRevA.87.052131 arXiv:1302.2632.","DOI":"10.1103\/PhysRevA.87.052131"},{"key":"39","doi-asserted-by":"crossref","unstructured":"\u00dcber die Multiplikation quantenmechanischer Gr\u00f6\u00dfen, Zeit. Phys. 80 (1933), 285-291. (Also see Jordan1932 and Jordan1933.).","DOI":"10.1007\/BF01333854"},{"key":"40","unstructured":"P. Jordan, \u00dcber eine Klasse nichtassociativer hyperkomplexer Algebren, Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse 33 (1932) 569-575,."},{"key":"41","unstructured":"P. Jordan, \u00dcber Verallgemeinerungsm\u00f6glichkeiten des Formalismus Quantenmechanik, Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse 39 (1933), 209-217."},{"key":"42","doi-asserted-by":"publisher","unstructured":"P. Jordan, J. von Neumann and E. Wigner, On an algebraic generalization of the quantum mechanical formalism, Annals of Math. 35 (1934), 29-64 10.2307\/1968117.","DOI":"10.2307\/1968117"},{"key":"43","doi-asserted-by":"publisher","unstructured":"M. Koecher, The Minnesota Notes on Jordan Algebras and their Applications, Ed. A. Krieg and S. Walcher, Springer Lecture Notes in Mathematics 1710, Springer, 1999 10.1007\/BFb0096285.","DOI":"10.1007\/BFb0096285"},{"key":"44","unstructured":"Die Geod\u00e4tischen von Positivit\u00e4tsbereichen, Math. Ann. 135 (1958) 192-202. http:\/\/dx.doi.org\/10.1007\/BF01351796."},{"key":"45","doi-asserted-by":"crossref","unstructured":"G. Ludwig, Deutung des Begriffs, ``physikalische Theorie\" und axiomatische Grundlegung der Hilbertsraumstruktur der Quantenmechanik durch Haupts\u00e4tze des Messens Springer Lecture Notes in Physics 4 1970.","DOI":"10.1007\/978-3-662-26384-6"},{"key":"46","doi-asserted-by":"crossref","unstructured":"G. Ludwig, An axiomatic basis for quantum mechanics. Volume 1: Derivation of Hilbert Space Structure, Springer, 1985.","DOI":"10.1007\/978-3-642-70029-3_1"},{"key":"47","doi-asserted-by":"publisher","unstructured":"H. Neumann and A. Hartk\u00e4mper, Eds., Foundations of Quantum Mechanics and Ordered Linear Spaces, Springer, Lecture Notes in Physics 29, 1974 10.1007\/3-540-06725-6.","DOI":"10.1007\/3-540-06725-6"},{"key":"48","unstructured":"H. Neumann, The structure of ordered Banach spaces in axiomatic quantum mechanics, in H. Neumann and A. Hartk\u00e4mper, Eds., Foundations of Quantum Mechanics and Ordered Linear Spaces, Springer, Lecture Notes in Physics 29 (1974) 116-121 http:\/\/dx.doi.org\/10.1007\/3-540-06725-6_13."},{"key":"49","unstructured":"M. McKague, Quaternionic quantum mechanics allows non-local boxes, Preprint, arXiv:0911.1761, 2009."},{"key":"50","doi-asserted-by":"publisher","unstructured":"Ll. Masanes and M. M\u00fcller, A derivation of quantum theory from physical requirements, New J. Phys. 13 (2011) 10.1088\/1367-2630\/13\/6\/063001 arXiv:1004.1483.","DOI":"10.1088\/1367-2630\/13\/6\/063001"},{"key":"51","doi-asserted-by":"publisher","unstructured":"M. Mueller and Ll. Masanes, Information-theoretic postulates for quantum mechanics, in G. Chiribella and R. Spekkens, eds. Quantum Theory: Informational Foundations and Foils, Springer, 2016 10.1007\/978-94-017-7303-4_5; arXiv:1203.451.","DOI":"10.1007\/978-94-017-7303-4_5"},{"key":"52","doi-asserted-by":"publisher","unstructured":"M. M\u00fcller and C. Ududec, The structure of reversible computation determines the self-duality of quantum theory, Phys. Rev. Lett. 108 (2012), 130401 10.1103\/PhysRevLett.108.130401 arXiv:1110.3516.","DOI":"10.1103\/PhysRevLett.108.130401"},{"key":"53","unstructured":"A. G. Robertson, Automorphisms of spin factors and the decomposition of positive maps, Quart. J. Math. Oxford Ser. 34 (1983) 87-96 http:\/\/dx.doi.org\/10.1093\/qmath\/34.1.87."},{"key":"54","doi-asserted-by":"publisher","unstructured":"I. Satake, Linear embeddings of self-dual homogeneous cones, Nagoya Math. J. 46 (1972) 121-145 10.1017\/S0027763000014811.","DOI":"10.1017\/S0027763000014811"},{"key":"55","doi-asserted-by":"crossref","unstructured":"I. Satake, Algebraic structures of symmetric domains, Publications of the Mathematical Society of Japan 14, Iwanami Shoten and Princeton University Press, 1980.","DOI":"10.1515\/9781400856800"},{"key":"56","doi-asserted-by":"publisher","unstructured":"P. Selinger, Dagger compact categories and completely positive maps (extended abstract), in Proceedings of the 3d International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170 (2007) 139-163 10.1016\/j.entcs.2006.12.018.","DOI":"10.1016\/j.entcs.2006.12.018"},{"key":"57","doi-asserted-by":"publisher","unstructured":"A. M. Sinclair, Jordan homomorphisms and derivations of semi-simple Banach algebras, Proc. Amer. Math. Soc. 24 (1970) 209-214 10.2307\/2036730.","DOI":"10.2307\/2036730"},{"key":"58","doi-asserted-by":"publisher","unstructured":"E. St\u00f8rmer, Jordan algebras of type I, Acta Math. 115 (1966), 165-184 10.1007\/BF02392206.","DOI":"10.1007\/BF02392206"},{"key":"59","doi-asserted-by":"publisher","unstructured":"D. Topping, Jordan Algebras of Self-Adjoint Operators, Am. Math. Soc. Memoirs 53, Providence, 1965 10.1090\/memo\/0053.","DOI":"10.1090\/memo\/0053"},{"key":"60","doi-asserted-by":"publisher","unstructured":"H. Upmeier, Derivations ofJordan $C^{\\ast}$-algebras, Math. Scand. 46 (1980) 251-264 10.7146\/math.scand.a-11867.","DOI":"10.7146\/math.scand.a-11867"},{"key":"61","unstructured":"E. Vinberg, Homogeneous cones, Dokl. Acad. Nauk. SSSR 141 (1960) 270-3. English translation: E. Vinberg (1961): Soviet Math. Dokl. 2, pp. 1416-1619."},{"key":"62","doi-asserted-by":"publisher","unstructured":"A. Wilce, Four and a half axioms for finite-dimensional quantum theory in Y. Ben-Menahem and M. Hemmo (eds.), Probability in Physics, Springer, 2012 10.1007\/978-3-642-21329-8_17; arXiv:0912.5530.","DOI":"10.1007\/978-3-642-21329-8_17"},{"key":"63","unstructured":"A. Wilce, Symmetry and self-duality in categories of probabilistic models, in B. Jacobs and P. Selinger, Eds., Proceedings of QPL 2011, Electronic Proceedings in Theoretical Computer Science 95 (2012) 289-293 http:\/\/dx.doi.org\/10.4204\/EPTCS.95.19 arXiv:1210.0622."},{"key":"64","doi-asserted-by":"publisher","unstructured":"A. Wilce, A royal road to quantum theory (or thereabouts), Entropy 20 (2018), 227-253 10.3390\/e20040227 arXiv:1606.09306.","DOI":"10.3390\/e20040227"},{"key":"65","unstructured":"A. Wilce, Conjugates, filters and quantum mechanics, Quantum 3 (2019) 158-191 http:\/\/dx.doi.org\/10.22331\/q-2019-07-08-158 arXiv:1206.2897."}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-11-08-359\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,8,17]],"date-time":"2024-08-17T03:21:21Z","timestamp":1723864881000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-11-08-359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,8]]},"references-count":66,"URL":"https:\/\/doi.org\/10.22331\/q-2020-11-08-359","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,8]]},"article-number":"359"}}