- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Advances in Mathematical Physics
Volume 2012 (2012), Article ID 156573, 20 pages
Conditional Probability, Three-Slit Experiments, and the Jordan Algebra Structure of Quantum Mechanics
Zillertalstrasse 39, 81373 Muenchen, Germany
Received 4 March 2012; Accepted 2 June 2012
Academic Editor: B. G. Konopelchenko
Copyright © 2012 Gerd Niestegge.
Most quantum logics do not allow for a reasonable calculus of conditional probability. However, those ones which do so provide a very general and rich mathematical structure, including classical probabilities, quantum mechanics, and Jordan algebras. This structure exhibits some similarities with Alfsen and Shultz's noncommutative spectral theory, but these two mathematical approaches are not identical. Barnum, Emerson, and Ududec adapted the concept of higher-order interference, introduced by Sorkin in 1994, into a general probabilistic framework. Their adaption is used here to reveal a close link between the existence of the Jordan product and the nonexistence of interference of third or higher order in those quantum logics which entail a reasonable calculus of conditional probability. The complete characterization of the Jordan algebraic structure requires the following three further postulates: a Hahn-Jordan decomposition property for the states, a polynomial functional calculus for the observables, and the positivity of the square of an observable. While classical probabilities are characterized by the absence of any kind of interference, the absence of interference of third (and higher) order thus characterizes a probability calculus which comes close to quantum mechanics but still includes the exceptional Jordan algebras.
The interference manifested in the two-slit experiments with small particles is one of the best known and most typical quantum phenomena. It is somewhat surprising therefore that quantum mechanics rules out third-order interference. This was discovered by Sorkin  considering measures on the “sets of histories” with experimental set-ups like the well-known two-slit experiments but with three and more slits. He introduced the interference terms and and detected that, although the second-order interference is a typical quantum phenomenon (), the third-order interference does not occur in quantum mechanics .
In the present paper, Sorkin’s interference terms and are ported to the framework of quantum logics with unique conditional probabilities which was introduced by the author in [2, 3]. In  it was shown that each such quantum logic can be embedded in an order-unit space where a specific type of positive projections then represents the probability conditionalization similar to the Lüders-von Neumann quantum measurement process.
In this general framework, the identity is not automatically given, and its role in a reconstruction of quantum mechanics from a few basic principles or in an axiomatic access to quantum mechanics based on a few interpretable postulates is analysed in the paper. It is shown that the absence of third-order interference has some important consequences. It entails the existence of a product in the order-unit space generated by the quantum logic, which can be used to characterize those quantum logics that can be embedded in the projection lattice in a Jordan algebra. Most of these Jordan algebras can be represented as operator algebras on a Hilbert space, and a reconstruction of quantum mechanics up to this point is thus achieved.
Besides the identity , two further typical properties of quantum mechanics distinguishing it from more general theories are identified; these are a novel bound for quantum interference and a symmetry property of the conditional probabilities. This latter property was discovered by Alfsen and Shultz who used it as a postulate to derive the Jordan product for the quantum mechanical observables from it in their approach , and it was used in a similar way in , but a physical justification for it is hard to find. With the main result of the present paper, it can now be replaced by another postulate with a clearer physical meaning, namely, the absence of third-order interference .
The next two sections summarize those parts of [2, 3] which are relevant for the subsequent sections. In Section 4, the second- and third-order interference terms ( and ) are considered and ported to the quantum logics with unique conditional probabilities. The bound for quantum interference and the symmetry property of the quantum mechanical conditional probabilities are studied in Sections 5 and 6. In Section 7, a useful type of linear maps is introduced, which is used in Section 8 to analyse the case . A certain mathematical condition, the Jordan decomposition property, is outlined in Section 9 and then used in Section 10 to derive the product in the order-unit space from the identity . Section 11 finally addresses the question under which further conditions the order-unit space becomes a Jordan algebra.
2. Quantum Logics with Unique Conditional Probabilities
A quantum logic is the mathematical model of a system of quantum events or propositions. Logical approaches use the name “proposition”, while the name “event” is used in probability theory and will also be preferred in the present paper. The concrete quantum logic of standard quantum mechanics is the system of closed linear subspaces of a Hilbert space or, more generally, the projection lattice in a von Neumann algebra.
Usually, an abstract quantum logic is assumed to be an orthomodular partially ordered set and, very often, it is also assumed that it is lattice. For the purpose of the present paper, however, a more general and simpler mathematical structure without order relation is sufficient. Only an orthocomplementation, an orthogonality relation, and a sum operation defined for orthogonal events are needed. The orthocomplementation represents the logical negation, orthogonality means mutual exclusivity, and the sum represents the logical and operation in the case of mutual exclusivity. The precise axioms were presented in  and look as follows.
The quantum logic is a set with distinguished elements 0 and , an orthogonality relation ⊥ and a partial binary operation + such that the following six axioms hold for , , :(OS1)if , then ; that is, the relation ⊥ is symmetric;(OS2) is defined for , and then ; that is, the sum operation is commutative.(OS3)if , , and , then , and ; that is, the sum operation is associative;(OS4)and for all; (OS5)for every , there exists a unique such that and ;(OS6)there exists such that and if and only if .
Then and for . Note that an orthomodular partially ordered set satisfies these axioms with the two definitions:(i) if and only if ;(ii)the sum is the supremum of e and f for .
The supremum exists in this case due to the orthomodularity.
A state is a map such that and for orthogonal pairs and in . Then and for mutually orthogonal elements in . Denote by the set of all states on . With a state and for an , another state ν is called a conditional probability of under if holds for all with . Furthermore, the following axioms were introduced in .(UC1)If and for all , then .(UC2)If and with , there is one and only one conditional probability of under e.
If these axioms are satisfied, E is called a UCP space named after the major feature of this mathematical structure which is the existence of the unique conditional probability, and the elements in are called events. The unique conditional probability of μ under is denoted by and, in analogy with classical mathematical probability theory, is often written instead of with . The above two axioms imply that there is a state with for each event , that the difference in (OS6) becomes unique, and that if and only if if and only if .
Note that the following identity which will be used later holds for convex combinations of states , :
A typical example of the above structure is the projection lattice in a von Neumann algebra without type part; . The conditional probabilities then have the shape: with , , , and . Note that on is the unique positive linear extension of the state originally defined only on the projection lattice; this extension exists by Gleason’s theorem  and its later enhancements to finitely additive states and arbitrary von Neumann algebras [6–9]. The linear extensiondoes not exist if contains a type part.
For the proof of (2.2), suppose that the state ν on is a version of the conditional probability of the state μ under and use the identity . From and the Cauchy-Schwarz inequality applied with the positive linear functional it follows and thus . By the spectral theorem, can be approximated (in the norm topology) by linear combinations of elements in for which ν coincides with . The continuity of (due its positivity) then implies . Therefore the conditional probability must have this shape and its uniqueness is proved. Its existence follows from and for , since then indeed owns all the properties of the conditional probability.
Equation (2.2) reveals the link to the Lüders-von Neumann quantum measurement process. The transition from a state μ to the conditional probability is identical with the transition from the state prior to the measurement to the state after the measurement where represents the measurement result.
3. The Embedding of the Quantum Logic in an Order-Unit Space
A quantum logic with a sufficiently rich state space as postulated by (UC1) can be embedded in the unit interval of an order-unit space. In the present section, it will be shown that the existence and the uniqueness of the conditional probabilities postulated by (UC2) give rise to some important additional structure on this order-unit space, which was originally presented in .
A partially ordered real vector space is an order-unit space if contains an Archimedean order unit [10–12]. The order unit is positive and, for all , there is such that . An order unit is called Archimedean if for all implies . An order-unit space has a norm given by . Each can be written as with positive (e.g., choose and ). A positive linear functional on an order-unit space is bounded with and, vice versa, a bounded linear functional with is positive.
The order-unit space considered in the following is the dual space of a base-norm space and, therefore, the unit ball of is compact in the weak-*-topology . For and define ; the map is the canonical embedding of in its second dual . Then is positive if and only ifis positive on A.
For any set in A, denote by K the -closed linear hull of and by the -closed convex hull of . For a convex set K, denote by ext K the set of its extreme points which may be empty unless is compact. A projection is a linear map with and, for , define . Suppose that is a subset of in such that(a),(b) if , and(c) if ,, , , , .Define and call orthogonal if . Then satisfies the axioms (OS1),…,(OS6), and the states on and the state space can be considered as in Section 2.
Proposition 3.1. Suppose that A is an order-unit space with order unit and that A is the dual of the base-norm space V. Moreover, suppose that E is a subset of satisfying the three above conditions (a), (b), (c) and that the following two conditions hold(i), and for each there is a σ-continuous positive linear functional on A with for .(ii)For each there is a -continuous positive projection such that and for with .Then E is a UCP space. The conditional probabilities have the shape for and with .
Proof. For , with there is with . The restriction of to then yields a state with . Therefore (UC1) holds.
Suppose and with . It is rather obvious that the map on provides a conditional probability of μ under . Now assume that ν is a further conditional probability of μ under . Then and thus . From it follows that for . Therefore, (UC2) holds as well.
Note that the linear extensionin (i) is unique since . It will now be seen that the situation of Proposition 3.1 is universal for the quantum logics with unique conditional probabilities; that is, each UCP space has such a shape as described there.
Theorem 3.2. Each UCP space E is a subset of the interval in some order-unit space A with predual V as described in Proposition 3.1.
Proof. Define , which is a linear subspace of the orthogonally additive real-valued functions on E, and consider for the norm
Then for every . Let be the dual space of the base-norm space and letbe the canonical embedding of in . If for all , the element is called positive and in this case write . Equipped with this partial ordering, A becomes an order-unit space with the order unit , and the order-unit norm of an element is . With define in via for . Then , and for two orthogonal events and in . Moreover, A is the -closed linear hull of .
Now the positive projection will be defined for . Suppose and with , and , . Then define . Here, and are the canonical embeddings of the conditional probabilities and in; they do not exist in the cases or and then define and , respectively. It still has to be shown that is well defined for with , , , and , , , . Then and . If , and is well defined. If , then either and , or ( and calculating the conditional probability under for both sides of this identity by using (2.1) yields. In all cases, is well defined.
If for , then and ; that is, . Thus, for all and hence for all . Therefore , that is, is a projection. Its positivity, -continuity as well as and for with follow immediately from the definition.
Therefore . Assume for some. By the Hahn-Banach theorem, there is with and for with . Suppose with , and , . Then for with and thus . The uniqueness of the conditional probability implies , that is, for all and hence which contradicts. This completes the proof of Theorem 3.2 after identifying with .
Lemma 3.3. If e and f are events in a UCP space E with , then and . If , are orthogonal, then , and .
Proof. Suppose and . Then for the conditional probability implies and hence . Therefore for all and thus . The identity immediately follows from (ii) in Proposition 3.1. Moreover and .
Now assume that and are orthogonal. Then . Hence , and . In the same way it follows that . Therefore vanishes on and . The identity follows in the same way.
Moreover, for . Therefore for with . Now consider with and define . From and , it follows that and . Hence . From it follows that and thus . This identity now holds for all states and therefore . In the same way it follows that .
The projections considered here are similar to but not identical with the so-called -projections considered by Alfsen and Shultz in their noncommutative spectral theory . A -projection has a quasicomplement such that if and only if (and if and only if ) for . If , then by Lemma 3.3, but does not imply .
An element with a P-projection is called a projective unit by Alfsen and Shultz. In the case of spectral duality of a base-norm space and an order-unit space A, the system of projective units in is a UCP space if each state on the projective units has a linear extension to A (as with the Gleason theorem or in condition (i) of Proposition 3.1).
4. The Interference Terms and
With two disjoint events and , the classical conditional probabilities satisfy the rule . Only because violating this rule, quantum mechanics can correctly model the quantum interference phenomena observed in nature with small particles.
For instance, consider the two-slit experiment and let be the event that the particle passes through the first slit, the event that it passes through the second slit, and the event that it is registered in a detector located at a fixed position somewhere behind the screen with the two slits. Then is the probability that the particle is registered in the detector when the first slit is open and the second one is closed, is the probability that the particle is registered in the detector when the second slit is open and the first one is closed, and is the probability that the particle is registered in the detector when both slits are open. If the above rule were valid, it would rule out the interference patterns observed in the quantum physical experiments and correctly modelled by quantum theory. Therefore, a first interference term is defined by where is a state, any event, and , an orthogonal pair of events. While in the classical case, it is typical of quantum mechanics that.
With three orthogonal events , , , a next interference term can be defined in the following way:
Similar to the two-slit experiment, now consider an experiment where the screen has three instead of two slits. Let be the event that the particle passes through the kth slit and again the event that it is registered in a detector located somewhere behind the screen with the slits. Then is the probability that the particle is registered in the detector when the kth slit is open and the other two ones are closed, is the probability that the particle is registered in the detector when the th slit and the jth are open and the remaining third slit is closed, and is the probability that the particle is registered in the detector when all three slits are open. The interference term is the sum of these probabilities with negative signs in the cases with two slits open and positive signs in the cases with one or three slits open. The sum would become zero if these probabilities were additive in , , as they are in the classical case. However, this is not the only case; means that the detection probability with three open slits is a simple linear combination of the detection probabilities in the three cases with two open slits and the three cases with one single open slit. If the situation with three slits involves some new interference, the detection probability should not be such a linear combination and should not become zero. The fascinating question now arises whether or not.
Considering experiments with three and more slits, this third-order interference term and a whole sequence of further higher order interference terms were introduced by Sorkin , but in another form. He used probability measures on “sets of histories”. When porting his third-order interference term to conditional probabilities, it gets the above shape. The same shape is used by Barnum et al.  who adapted Sorkin’s third-order interference term into an operational probabilistic framework. The further higher-order interference terms will not be considered in the present paper. It may be interesting to note that the absence of the third-order interference implies the absence of the interference of all orders higher than three.
Using the identity , the validity of for all states μ is immediately equivalent to the identity If this will hold also for all events , this means The termdoes not any more depend on a state or the event , but only on the orthogonal event triple , , . Note that is a linear map on the order-unit space while is a real number.
This interference term shall now be studied in a von Neumann algebra where the conditional probability has the shape for projections , and a state μ with , and hence . Then
Therefore, in a von Neumann algebra and in standard quantum mechanics, the identity always holds, which was already seen by Sorkin. This becomes a first interesting property of quantum mechanics distinguishing it from the general quantum logics with unique conditional probabilities (UCP spaces). It is quite surprising that quantum mechanics has this property because there is no obvious reason why should vanish while does not. Likewise surprising are the bounds which quantum mechanics imposes on and which will be presented in the next section.
5. A Bound for Quantum Interference
Suppose that is a UCP space. By Theorem 3.2, it can be embedded in an order-unit space such that Proposition 3.1 holds. For each event define a linear map on by Then . Furthermore, for ; that is, is the inverse of the linear map and is a linear isomorphism. If it were positive, it would be an automorphism of the order-unit space , but this is not true in general. It will now be studied what the positivity of the maps would mean for the conditional probabilities.
Suppose , . Then means , and this is equivalent to the following inequality for the conditional probabilities: or, equivalently, holding for all states μ. Exchanging by yields from and thus a second inequality: or, equivalently, The above inequalities (5.3) and (5.6) introduce an upper bound and a lower bound for the interference term . How these bounds limit the interference is shown in Figure 1 using the inequalities (5.2) and (5.5) and not this specific interference term. The dashed diagonal line represents the classical case without interference, while the inequalities (5.2) and (5.5) allow the whole corridor between the two continuous lines and forbid the area outside this corridor.
In a von Neumann algebra, for projections , and hence with in the von Neumann algebra. Therefore the maps are positive and the above inequalities for the conditional probabilities ((5.2) and (5.5) illustrated in Figure 1) and the resulting bounds for the interference term (inequalities (5.3) and (5.6)) hold in this case. This is a second interesting property of quantum mechanics distinguishing it from other more general theories.
6. A Symmetry Property of the Quantum Mechanical Conditional Probabilities
Alfsen and Shultz introduced the following symmetry condition for the conditional probabilities in  and used it to derive a Jordan algebra structure from their noncommutative spectral theory: This condition arose mathematically and a physical meaning is not immediately at hand. Alfsen and Shultz’s interpretation was “The probability of the exclusive disjunction of two system properties is independent of the order of the measurements of the two system properties.” However, the exclusive disjunction is not an event or proposition.
The first summand on the left-hand side is the probability that a first measurement testing versus provides the result and that a second successive measurement testing versus then provides the result (= “not ”). The second summand on the left-hand side and the two summands on the right-hand side can be interpreted in the same way with exchanged roles of , , , .
Figure 2 displays a measuring arrangement consisting of two successive measurements M1 and M2; the first one tests versus and the second one versus . After the second one, the particle is let pass only in the two cases if the result of the first measurement is and the result of the second one is or if the result of the first one is and the result of the second one is . In the other two cases, if the result of the first measurement is and the result of the second one is or if the result of the first one is and the result of the second one is , the particle is absorbed after the second measurement. Figure 3 displays the same measuring arrangement as Figure 2, but with exchanged roles of and .
Condition now means that the probability that a particle passes through the measuring arrangement shown in Figure 2 is identical with the probability that a particle passes through the measuring arrangement shown in Figure 3.
The symmetry condition for the conditional probabilities also plays a certain role in the study of different compatibility/comeasurability levels in .
Condition will now be rewritten using the interference term for two orthogonal events and . To remove the dependence on and the state μ, first define in analogy to (4.4) which is a linear operator on the order-unit space generated by an UCP space . Note that , recalling the identity for states μ and events and . The validity of for all states μ is immediately equivalent to the identity It implies and hence
Reconsidering the von Neumann algebras where , (6.2) becomes. Both sides of this equation are identical to . Therefore holds for all states and all events in a von Neumann algebra and in the standard model of quantum mechanics. This is a third interesting property of quantum mechanics distinguishing it from the general quantum logics with unique conditional probabilities (UCP spaces). However, it is a mathematical property without a clear physical reason behind it and the absence of third-order interference is the more interesting property from the physical point of view.
7. The Linear Maps
In addition to the , a further useful type of linear maps on the order-unit space generated by a UCP space will now be defined for : In a von Neumann algebra, this becomes , which is the Jordan product of and . This is a first reason why some relevance is expected from the maps on the order-unit space A.
A second reason is that holds for all states μ if and only if . This follows from (6.2). Thus, using the linear maps , the symmetry condition for the conditional probabilities is transformed to the very simple equation . Actually, this is what brought Alfsen and Shultz to the discovery of .
Some further important characteristics of these linear maps will now be collected. Suppose and . Using the above definition of immediately yields . Moreover, is the spectral decomposition of , and hence has the three eigenvalues 0, 1/2, 1. Furthermore, Therefore and thus Originally, the were derived from the , and (7.5) means that the can be reconstructed from the .
The norm of the operator will now be calculated. From and it follows that and therefore . Hence . Since and for , it follows that unless and .
Lemma 7.1. If two events e and f in an UCP space are orthogonal, then the linear maps and on the order-unit space A generated by commute: .
An important link between the linear maps and Sorkin’s interference term will be considered in the next sections.
8. Quantum Logics with
The interference term vanishes for all states μ and all events if and only if . The general validity of this identity for all orthogonal event pairs , means that the map is orthogonally additive in . It will later be seen in Proposition 8.2 that the general validity of for all orthogonal event triples , , means that the map is orthogonally additive in . This will follow from the next lemma.
Lemma 8.1. Suppose that is a UCP space and that is the order-unit space generated by .(i)If , , are three orthogonal events in , then (ii)If and are two orthogonal events in , then
Proof. (i) and then by Lemma 3.3,
(ii) With and , it follows for : and thus
Proposition 8.2. Suppose that E is a UCP space. Then the following three conditions are equivalent.(i) for all orthogonal events , , in .(ii) for all orthogonal events , , in with .(iii) for all orthogonal events and in .
It now becomes clear that the symmetry condition for the conditional probabilities implies the absence of third-order interference, that is, for all orthogonal events , , . Recall that implies the identity for all events and . Therefore, is orthogonally additive in and follows from Proposition 8.2.
9. Jordan Decomposition
In this section, the orthogonal additivity of in (by Lemma 7.1) will be used to define for all in the order-unit space . The are not positive and this involves some difficulties, which can be overcome when the real-valued bounded orthogonally additive functions on the UCP space satisfy the so-called Jordan decomposition property or the stronger Hahn-Jordan decomposition property. These decomposition properties are named after the French mathematician Camille Jordan (1838–1922) who originally introduced the first one for functions of bounded variation and signed measures. The Jordan algebras are named after another person; this is the German physicist Pascual Jordan (1902–1980).
Consider functions which are orthogonally additive (i.e., for orthogonal elements and in ) and bounded (i.e., ). Let denote the set of all these functions on . Then comprises the state space . The UCP space is said to have the Jordan decomposition property if each can be written in the form with two states μ and in and nonnegative real number and . It has the ε-Hahn-Jordan decomposition property if the following stronger condition holds: for each and every there are two states μ and ν in S, nonnegative real number and and an event in such that and as well as . This ε-Hahn-Jordan decomposition property was studied in the framework of quantum logics by Cook  and Rüttimann . The usual Hahn-Jordan decomposition property for signed measures is even stronger requiring that .
Note that the projection lattices of von Neumann algebras have the Jordan decomposition property and the ε-Hahn-Jordan decomposition property, but this is not obvious. It is well known that these types of decomposition are possible for the bounded linear functionals on the algebra, but they are needed for the orthogonally additive real functions on the projection lattice. Bunce and Maitland Wright  showed that each such function on the projection lattice has a bounded linear extension to the whole algebra (this is the last step of the solution of the Mackey-Gleason problem which had been open for a long time), and then the decomposition of this extension provides the desired decomposition by considering the restrictions of the linear functionals to .
Lemma 9.1. Suppose that is a UCP space with the Jordan decomposition property and for all orthogonal events , , in . Then, for each x in the order-unit space A generated by , the map from to has a unique -continuous linear extension on .
Proof. Consider as defined in the proof of Theorem 3.2. In the general case, only the inclusion holds, but the Jordan decomposition property ensures that .
For each in and each in A, define a function on by . By Proposition 8.2, is orthogonally additive in . Moreover, for . Thus is bounded and lies in . Let be its canonical embedding in and, with , consider the real-valued bounded linear map on . It defines an element in such that the map is linear as well as -continuous on and coincides with the original for .
10. The Product on the Order-Unit Space
Under the assumptions of the last lemma, a product can now be defined on the order-unit space by . It is linear in as well as in y, but there is certain asymmetry concerning its -continuity. The product is -continuous in with fixed and it is -continuous in with fixed, but generally not with other . Moreover, and , and for the elements and in and the events in . However, the inequality is not yet available; this requires the ε-Hahn-Jordan decomposition property and will follow from the next lemma.
Lemma 10.1. Suppose that is a UCP space with the ε-Hahn-Jordan decomposition property. Then is identical with the -closed convex hull of the set in , and coincides with the -closed convex hull of . Moreover, the extreme points of lie in the closure of .
Proof. The inclusion is obvious, and it will now be shown that. Assume that an exists in the interval which does not lie in the set . By the Hahn-Banach theorem, there is with . From for any , it follows that . Hence and .
Suppose . Due to the ε-Hahn-Jordan decomposition property, there are two states μ and in , nonnegative real number and and an event in such that and as well as . Then Recall from the proof of Theorem 3.2 that and . The case cannot occur since this would imply . Therefore write to see that .
Finally . With ε small enough such that , an event in is found with , which is the desired contradiction with .
Thus . The map is a -continuous affine isomorphism mapping to and to E; therefore . The Krein-Milman theorem then yields that the extreme points of lie in the -closure of E.
Lemma 10.2. Suppose that E is a UCP space with the ε-Hahn-Jordan decomposition property and for all orthogonal events , , in . Then for all elements , in .
Proof. Suppose and with ; that is, . Then . Moreover, by (7.1) and by (7.6). Therefore, . This holds for all . Lemmas 9.1 and 10.1 then imply that for all .
So far it has been seen that the Jordan decomposition property and the absence of third-order interference entail a product on the order-unit space generated by the UCP space which is linked to the conditional probabilities via the identity holding for the events and the elements in . This follows from (7.5).
The product is neither commutative nor associative and thus far away from the products usually considered in mathematical physics. The common product of linear operators is not commutative but associative and the Jordan produc is not associative but commutative.
11. Jordan Algebras
The elements of a UCP space represent the events or propositions; they can be considered also as observables with the simple discrete spectrum representing a yes/no test experiment. However, what is the meaning of the elements in the order-unit space generated by ? One might expect that they represent other observables with a larger and possibly nondiscrete spectrum and that is the expectation value of the observable represented by in the state μ. If it is assumed that they do so, one would also expect a certain behaviour.
First, one would like to identify the elements and, more generally, (inductively defined by ) in with the application of the usual polynomial functions or to the observable.
Second, the expectation value of the square should be nonnegative; this means that for all in and for all states μ, and therefore in the order-unit space .
Third, one would like to have the usual polynomial functional calculus allocating an element in to each polynomial function such that whenever and are two polynomial functions and the polynomial function is their product. Since the product in is not associative, do not need to be identical with . If holds for all in and for all natural numbers and , is called power-associative. The availability of the polynomial functional calculus for all elements in means that is power associative and vice versa.
The following theorem shows that these requirements make a commutative Jordan algebra; that is, the product is Abelian and satisfies the Jordan condition . The Jordan condition is stronger than power associativity and, in general, power associativity does not imply the Jordan condition.
Theorem 11.1. Suppose that is a UCP space with the ε-Hahn-Jordan decomposition property and with for all orthogonal events , , in . Furthermore, assume that the order-unit space generated by , together with the multiplication ▫, is power associative and that for all in . Then the multiplication ▫ is commutative and is a Jordan algebra. Moreover, is a -dense subset of .
Proof. Suppose . The positivity of the squares implies the Cauchy-Schwarz inequality with states μ. Then, with , . Recall from the proof of Theorem 3.2 that. Therefore
A second commutative product is now introduced on by . Note that, due to the power associativity, is identical with the two products. Equipped with this new commutative product, then becomes a Jordan algebra. This follows from a result by Iochum and Loupias  (see also ).
Since is the dual of , with ° is a so-called JBW algebra . The JBW algebras represent the Jordan analogue of the algebras and these are the same as the von Neumann algebras but characterized by a different and more abstract set of axioms. The extreme points of in a JBW algebra are the idempotent elements. Then, by Lemma 10.1, and hence is dense in .
Suppose . If μ is any state on with , the map for defines a version of the conditional probability (which was shown in ) and must coincide with . Therefore and for all and in . The product on a JBW algebra is continuous in each component. It then follows in a first step that for all in and in , and in the second step that for all and in . Note that the order of the two steps is important because of the asymmetry of the continuity of the product . Thus finally .
When the starting point is the projection lattice in a JBW algebra (e.g., the self adjoint part of a von Neumann algebra with the Jordan product) without type part, the order-unit space generated by