arXiv:1803.11139 · Journal of Mathematical Physics

Sequential product spaces are Jordan algebras

John van de Wetering

Published Jun 1, 2019• 19 citations

Abstract

We show that finite-dimensional order unit spaces equipped with a continuous sequential product as defined by Gudder and Greechie are homogeneous and self-dual. As a consequence of the Koecher-Vinberg theorem, these spaces therefore correspond to Euclidean Jordan algebras. We remark on the significance of this result in the context of reconstructions of quantum theory. In particular, we show that sequential product spaces must be C*-algebras when their vector space tensor product is also a sequential product space (in the parlance of operational theories, when the space “allows a local composite”). We also show that sequential product spaces in infinite dimension correspond to JB-algebras when a few additional conditions are satisfied. Finally, we remark on how changing the axioms of the sequential product might lead to a new characterization of homogeneous cones.

DOI: 10.1063/1.5093504

Related papers

Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity

Howard Barnum, Cozmin Ududec, John van de Wetering

Quantum theory satisfies the mathematically powerful property of self-duality, meaning that its state and effect spaces are made isomorphic by an inner product. This is why both quantum states and effects can be represented by positive Hermitian operators. The seminal Koecher-Vinberg theorem shows that self-duality is a rather special property: any system that is self-dual and also homogeneous, meaning that the group of symmetries of its cone of unnormalised states acts transitively on the strictly positive states, must be isomorphic to a Euclidean Jordan algebra. EJAs have been classified and are known to be just a slight generalisation of quantum systems. This is why the Koecher-Vinberg theorem, and hence self-duality and homogeneity, have been used in several reconstructions of quantum theory from first principles. While homogeneity has an operational derivation from the ability to steer states, self-duality currently lacks such a clear operational motivation. In this paper we prove an alternative to the Koecher-Vinberg theorem, substituting for self-duality the more operational property of pure transitivity: symmetries of the normalised state space act transitively on the pure states. We show that any system that is homogeneous and satisfies pure transitivity must be self-dual, and hence isomorphic to an EJA. Together with various ways of singling out the complex matrix algebras from among EJAs, and known ways of ruling out classicality in these, this yields several new and concise reconstructions of quantum theory. For example, quantum systems, classical systems, and composites of these are the only ones that are homogeneous, satisfy pure transitivity, and allow locally tomographic composites; fully quantum systems are the only ones that are homogeneous, have continuous pure transitivity, and allow a correspondence between observables and generators of reversible transformations.

arXiv:2306.00362Jun 1, 20230 citations

Three characterisations of the sequential product

John van de Wetering

It has already been established that the properties required of an abstract sequential product as introduced by Gudder and Greechie are not enough to characterise the standard sequential product a◦b=aba on an operator algebra. We give three additional properties, each of which characterises the standard sequential product on either a von Neumann algebra or a Euclidean Jordan algebra. These properties are (1) invariance under the application of unital order isomorphisms, (2) symmetry of the sequential product with respect to a certain inner product, and (3) preservation of invertibility of the effects. To give these characterisations, we first have to study convex σ-sequential effect algebras. We show that these objects correspond to unit intervals of spectral order unit spaces with a homogeneous positive cone.

arXiv:1803.08453Journal of Mathematical PhysicsAug 1, 201810 citations

Symmetry and Self-Duality in Categories of Probabilistic Models

Alexander Wilce

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.

arXiv:1210.0622Electronic Proceedings in Theoretical Computer ScienceOct 1, 20128 citations

Symmetry, Self-Duality and the Jordan Structure of Quantum Mechanics

Alexander Wilce

I explore several related routes to deriving the Jordan-algebraic structure of finite-dimensional quantum theory from more transparent operational or physical principles, mainly involving ideas about the symmetries of, and the correlations between, probabilistic models. The key tool is the Koecher-Vinberg Theorem, which identifies formally real Jordan algebras with finite-dimensional order-unit spaces having homogeneous, self-dual cones.

arXiv:1110.6607Oct 30, 201115 citations

Four and a Half Axioms for Finite Dimensional Quantum Mechanics

Alexander Wilce

I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.

arXiv:0912.5530Dec 30, 200935 citations

The three types of normal sequential effect algebras

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product (a,b)↦aba on C ∗ -algebras. A SEA is called normal when it has all suprema of directed sets, and the sequential product interacts suitably with these suprema. The effects on a Hilbert space and the unit interval of a von Neumann or JBW algebra are examples of normal SEAs that are in addition convex , i.e. possess a suitable action of the real unit interval on the algebra. Complete Boolean algebras form normal SEAs too, which are convex only when 0=1 .We show that any normal SEA E splits as a direct sum E=Eb⊕Ec⊕Eac of a complete Boolean algebra Eb , a convex normal SEA Ec , and a newly identified type of normal SEA Eac we dub purely almost-convex .Along the way we show, among other things, that a SEA which contains only idempotents must be a Boolean algebra; and we establish a spectral theorem using which we settle for the class of normal SEAs a problem of Gudder regarding the uniqueness of square roots. After establishing our main result, we propose a simple extra axiom for normal SEAs that excludes the seemingly pathological a-convex SEAs. We conclude the paper by a study of SEAs with an associative sequential product. We find that associativity forces normal SEAs satisfying our new axiom to be commutative, shedding light on the question of why the sequential product in quantum theory should be non-associative.

arXiv:2004.12749QuantumDec 24, 20204 citations