{'fraction_non_alphanumeric': 0.037510609752758536, 'fraction_numerical': 0.006009911562577006, 'mean_word_length': 4.20648610121169, 'pattern_counts': {'":': 0, '<': 1, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 37, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Reconstruction of Quantum Mechanics

We formulate a general principle that supplants a Boolean \sigma-algebra of intrinsic properties of a classical system by a \sigma-complex (a union of \sigma-algebras) of extrinsic properties of a quantum system that are elicited by interactions with other systems. We apply the canonical definitions of the concepts of classical physics of observables, states, combined systems, symmetries, and dynamics to derive the standard quantum characterizations, including the Schr\"odinger equation and the von Neumann-L\"uder's Projection Rule. This manifestly consistent reconstruction of quantum mechanics is then used to discuss and resolve the dilemmas of the orthodox interpretation.


Introduction
Almost a century after the mathematical formulation of quantum mechanics, there is still no consensus on the interpretation of the theory. This may be because quantum mechanics is full of predictions which contradict our everyday experiences, but then so is another, older theory, namely special relativity.
Although the Lorentz transformations initially gave rise to different interpretations, when Einstein's 1905 paper appeared it soon led to a nearly universal acceptance of Einstein's interpretation. Why was this? Einstein began with the new conceptual principle that time and simultaneity are relative to the inertial frame, dropping the classical assumption that they are absolute. By then using the linearity of transformations due to the local nature of special relativity and the experimental fact that the speed of light is constant, Einstein was able to derive the Lorentz transformations. Furthermore, by introducing the natural classical notions of state, observable, and symmetry in the new setting, Einstein derived the new dynamical equations to replace the Newtonian equations. This manifestly consistent derivation allowed for a resolution of the apparent paradoxes which confounded the older ether theory, and led to its adoption by physicists.
In this paper, we shall endeavor to use Einstein's approach as a model for deriving and interpreting quantum mechanics. We also start with a new conceptual precept which replaces a classical premise. It is a basic assumption of classical physics that experiments measure pre-existing inherent observables and properties of systems, and any disturbance due to the interaction with the apparatus can be minimized or incorporated into its effect on the observables. By contrast, when we measure a particle's component of spin in a particular direction in a Stern-Gerlach experiment, it is the general belief that we are not measuring a pre-existing property. Rather, it is the interaction of the particle with the magnetic field, which is inhomogeneous in that direction, that elicits the value of the spin. We shall say that such properties are relational or extrinsic, as opposed to the intrinsic properties of classical physics.
That quantum observables and properties take values only upon suitable interactions is, of course, not new to physicists. Bohr, the founder of the Copenhagen interpretation, wrote in [5]: "The whole situation in atomic physics deprives of all meaning such inherent attributes as the idealization of classical physics would ascribe to such objects." This was a radically new consequence of quantum physics that controverts one of the main conceptual assumptions of classical physics, that properties of a physical system are intrinsic.
The aim of this paper is to show that a mathematical formulation of this principle allows us to reconstruct the formalism of quantum mechanics. Let us give the basic idea in defining the structure of extrinsic properties, given in Section 1. Every experiment yields a σ-algebra of measured properties. For instance, in measuring an quantum observable with spectral decomposition a i P i , the σ-algebra is generated by the projections P i . It is shown in Section 1 that for quantum experiments the different measured σ-algebras cannot all be imbedded into a single σ-algebra. In the case of classical physics, on the other hand, the measured σ-algebras all sit inside the σ-algebra B(Ω) of intrinsic properties of the system, consisting of the σ-algebra generated by the open sets of the phase space Ω of the system.
To mathematically treat the extrinsic properties of quantum mechanics, we replace the encompassing σ-algebra B(Ω) of properties by a σ-complex Q, consisting of the union of all the σ-algebras of the system elicited by different decoherent interactions, such as measurements.
This change allows us to define in a uniform and natural manner the concepts of state, observable, symmetry, and dynamics, which reduce to the classical notions when Q is a Boolean σ-algebra, and to the standard quantum notions when Q is the σ-complex Q(H) of projections of Hilbert space H. Moreover, we use this approach to derive both the Schrödinger equation and the von Neumann-Lüder's Projection Postulate. We also show on the basis of interferometry experiments why Q has the form Q(H).
The most noteworthy feature of this reconstruction of quantum mechanics is that the classical definitions of the key physical concepts such as state, observable, symmetry, dynamics, and the combining of systems take on precisely the same form in the quantum case when they are applied to extrinsic properties.
In the standard formulation, these concepts take on a strikingly different form from the classical one. In particular, the definition of state as a complex function and the complex form of the Schrödinger equation, as opposed to the intuitive, real definitions of classical physics, led Bohr to speak of this formalism as only a symbolic representation of reality.
One purpose of this approach is to show that once the relational character of properties is accepted, the definitions of the basic concepts of quantum mechanics are as real and intuitive as is the case for classical mechanics. Of course, it is not our intention to dispense with the linear complex Hilbert space in treating problems in physics. The linearity of the Schrödinger equation is crucial for solving atomic problems. Our purpose in showing that our intuitive definitions of the notions are equivalent to the standard complex ones is rather to reduce the use of the complex Hilbert space to a technical computational tool, similar to the use of complex methods in classical electromagnetism and fluid mechanics.
At first sight the structure of a σ-complex Q is unusual. Operations between elements of Q are not defined unless they lie in the same Boolean σ-algebra within Q. That however is the whole point of this structure. Operations are only defined when they make physical sense. This points to the main difference of this approach to that initiated by Birkhoff and von Neumann [3], and carried forward by Mackey [17], and Piron [18], among others. They define the logic of quantum mechanics to be a certain kind of lattice, consisting of the set of projection operators of Hilbert space. However, Birkhoff and Neumann [3] already raised the question: "What experimental meaning can one attach to the meet and join of two given experimental propositions?" That question has never been adequately answered. Varadarajan, in his book [21] on the lattice approach to quantum mechanics, written some thirty years after the Birkhoff and von Neumann paper, writes: "The only thing that may be open to serious question in this is [the] assumption . . . which forces any two elements of L to have a lattice sum, . . . We can offer no really convincing phenomenological argument to support this." Replacing the structure of a complex Hilbert space by an equally mysterious structure of a lattice does not achieve the goal of a transparent foundation for quantum mechanics. What is perhaps surprising is that the far weaker structure of a σ-complex suffices to reconstruct the formalism of quantum mechanics. Our approach has nevertheless benefited from the lattice approach, especially as delineated in Varadarajan [21], since theorems using lattices turned out often to have proofs using the weaker σ-complex structure.
One of the aims of a consistent, logical reconstruction of quantum mechanics is to resolve problematic questions and inconsistencies in the orthodox interpretation, such as the Measurement Problem, the Einstein-Podolsky-Rosen paradox, the Kochen-Specker paradox, the problem of reduction and the von Neumann-Lüder's Projection Rule, and wave-particle duality. We discuss a resolution of these questions in the context of this reconstruction as they arise in this paper.
At various points in the paper we consider properties of systems as they are measured by experiments. We are not however espousing an operational view of quantum mechanics. We believe quantum mechanics describes general interactions in the world, independently of classical a macroscopic apparatus and observer. We do not subscribe to the Bohrian view that classical physics is needed to give meaning to quantum phenomena. The interactions we describe using a macroscopic apparatus could apply equally well to appropriate decoherent interactions between two systems in general. (See the discussion in Section 1). Nevertheless, we refer for the most part to experiments rather than general interactions in order to emphasize that the postulates have operational content and meaning. This has the merit of allowing those who prefer the operational approach to make sense of this reconstruction.
Another point is that since the properties that constitute a σ-complex correspond to the results of possible measurements, they refer to what in the orthodox interpretation are the properties that may hold as a result of reduction. We do not attempt to discuss the conditions under which reduction or decoherence occurs. There are discussions in the literature on the conditions under which reduction can occur. For instance, Bohm [4] analyzes the strength of the inhomogeneity of the magnetic field for a successful reduction to occur in the Stern-Gerlach experiment. We consider these as interesting pragmatic questions which lie outside the purview of this paper.
The main aim of the paper is to derive elementary quantum mechanics by applying the natural classical definitions of the physical concepts to extrinsic properties, and then use this derivation to resolve the standard paradoxes and problematic questions. We shall accordingly give only outlines of the proofs of the requisite theorems. To show that we have accomplished the goal of reconstructing the formalism, we shall use the textbook Bohm [4]. This book has the advantage of explicitly introducing five postulates which suffice to treat the standard topics in quantum theory. We shall specify each of the Bohm postulates as we derive them in the paper.
To avoid repetition, we shall make the blanket assumption that the Hilbert space H that we deal with is a separable complex Hilbert space. The Appendix has a table which summarizes the reconstruction.

Properties
Scientific theories predict the probabilities of outcomes of experiments. We recall from probability theory that the individual outcomes of an experiment on a system form the sample space S. For instance, a Stern-Gerlach experiment which measures the z-components of spin for a spin1 system has the sample space S = {s −1 , s 0 , s 1 } corresponding to the three possible spots labeled s −1 , s 0 , s 1 on the screen. An experiment to measure the temperature of water by a thermometer has the real line as sample space.
Out of the elementary outcomes, one forms an algebra of more complex outcomes, called events, consisting of a Boolean algebra B of subsets of the space S. The operations of B consist of union a ∨ b, and complementation a ⊥ , and all other Boolean operations, such as intersection a ∧b, which are definable from them. If S is finite, then B consists of all subsets of S. If S is infinite, then the operation of countable union, a i of elements a i of B, is added, and B is called a (Boolean) σ-algebra. (For the definition of and details about Boolean algebras see Koppellberg [16].) The algebra B of events, i.e. sets of outcomes, reflects the corresponding structure of properties of the system. For instance, in the above Stern-Gerlach experiment, the sets {s −1 }, {s 0 }, and {s 1 } correspond to the properties S z = −1, S z = 0, and S z = 1; the set {s −1 , s 1 } corresponds to the property S z = −1 ∨ S z = 1 (where ∨ denotes 'or'), or equivalently, the property ⌋ (S z = 0) (where ⌋ denotes 'not'), and so on. In this case, the Boolean algebra is clearly the eight element algebra. In the case of the above temperature measurement of the water, the elementary outcomes are open intervals of the real line, and the algebra of events is the σ-algebra of (Borel ) sets generated by the intervals by complement and countable intersection.
Thus, for both classical and quantum physics, every experiment on a given system S elicits a σ-algebra of properties of S, which are true or false, i.e. have a truth value, for the system.
We come now to a crucial difference between the two theories. In classical physics, we assume that the measured properties of the system already exist prior to the measurement. It may be true that the interaction of the system with the apparatus disturbs the system, but this disturbance can be discounted or minimized. For instance, the thermometer may change the temperature of the water being measured, but this change can be accounted for, and there is no doubt that the water had a temperature prior to the measurement which is approximated by the measured value. The basic assumption is that systems have intrinsic properties, and the experiment measures the values of some them.
The family of intrinsic properties of a system form a Boolean algebra, and in the infinite case a σ-algebra. For classical physics, one introduces the phase (or state) space, with a canonical structure. The open sets of Ω generate a σ-algebra B(Ω) of Borel sets by complement and countable intersection. The algebra B(Ω) constitutes the σ-algebra of intrinsic properties of the system. Since the σ-algebras of measured properties are aspects of all the intrinsic properties of the system, these different σ-algebras must all be part of the σ-algebra B(Ω). Hence, the union ∪B of all the σalgebras arising from possible measurements is embeddable in B(Ω). In fact, if we assume that every property of the system is, in principle, experimentally measurable then the union ∪B itself forms a σ-algebra.
In quantum mechanics, for measurements such as the Stern-Gerlach experiment, physicists do not believe that the value of the spin component S z exists prior to the measurement. On the contrary, it is the interaction with the magnetic field, inhomogeneous in the z-direction, that results in a definite spot, say s 1 , on the screen, reflecting the value, S z = 1 of the spin of the particle.
This general conviction is, in fact, supported by a theorem, called the Kochen-Specker Paradox.
This result showed that the spin component S z cannot be an intrinsic property of a spin 1 particle.
We recall that this result shows that there exist a small number of directions in space (33 suffice) such that any prior assignment of values to the squares of the components of spin in these directions contradicts the condition that S 2 x + S 2 y + S 2 z = 2, for an orthogonal triple (x, y, z). Since the squares of the components of spin in orthogonal directions commute for a spin 1 system, we may measure them simultaneously for the triple (x, y, z). For instance, the measurement of the observable S 2 x −S 2 y , with eigenvalues 1,-1, 0 gives us the value 0 for S 2 x , S 2 y , or S 2 z , respectively, and 1 for the other two. We shall call such an experiment a triple experiment on the frame (x, y, z).
The operators S 2 x , S 2 y , S 2 z generate an eight element Boolean algebra: The 33 directions give rise to 40 orthogonal triples, and hence 40 Boolean algebras. It is important to note that the Boolean algebras have common sub-algebras. For instance, the algebra B x ′ y ′ z ′ of the triple experiment on (x ′ , y ′ , z) has the Boolean algebra B z = (0, 1, The 40 Boolean algebras, and hence their union ∪B xyz , cannot be embedded into a single Boolean algebra. We may see this directly from the fact that every Boolean algebra has truth values, i.e. a homomorphism onto the Boolean algebra {0, 1}, so that such an embedding would assign values to all the 40 Boolean algebras simultaneously, and hence to the 40 triples, contradicting the Kochen-Specker theorem. (For a proof of this theorem, with the 40 triples, see Conway and Kochen [6]).
The conclusion is that, in general, quantum mechanical properties are not intrinsic to the system, but are elicited by interactions with other systems. We shall call such interactive or relational properties extrinsic. The question now is: what mathematical structure captures the concept of extrinsic properties, to replace the Boolean σ-algebras that characterize intrinsic properties?
Such a structure must contain all the σ-algebras that are elicited by experiments. The minimal structure is then clearly the union ∪B, where B ranges over all the σ-algebras that arise in experiments. Intuitively, we may obtain such a structure by gluing together the σ-algebras at the "faces," i.e. the common sub-σ-algebras. This structure is the minimal one which contains all the σ-algebras arising from different experiments. We shall adopt it as embodying the idea of extrinsic properties. We now give the formal definition of this notion.
Definition. 1 Let F be a family of σ-algebras. The σ-complex Q F based on F is the union ∪B of all σ-algebras B lying in F .
We shall generally leave the family F implicit, and simply refer to a σ-complex Q. We shall usually deal with σ-complexes that are closed under the formation of sub-σ-algebras. We can, in any case, always close a σ-complex by adding all its sub-σ-algebras.
The term σ-complex is based on the notion of a simplicial complex in topology. A simplicial complex is obtained by taking a family of simplices, which is closed under sub-simplices, and gluing together common simplicial faces. σ-complexes are not just analogous to simplicial complexes, but have a close correspondence, as we now outline. First recall that an atom of a Boolean algebra is an element x such that y ≤ x (i.e. x ∧ y = y) implies y = 0 or y = x. The atoms of a Boolean algebra in a closed Boolean complex define the vertices of a simplex, and the union of these simplices yield a simplicial complex. We may conversely define a Boolean complex from a simplicial complex.
The graphs called K-S diagrams in the literature define simplicial complexes of the cooresponding Boolean complexes. Strictly speaking, a simplicial complex is the family of simplices, and their union is called the vertex set, so we should really call Q F the σ-complex. However, we shall find it convenient and harmless to conflate the two terms of σ-complex and its vertex set.
Let H be a Hilbert space. Every set of pair-wise commuting projection operators closed under the operation of orthogonal complement P ⊥ (= 1 − P ) and countable intersection P i forms a σalgebra. We form the family of all such σ-algebras, and name their union, the σ-complex based on this family, Q(H). The σ-complex Q(H) is the structure in quantum mechanics that replaces the σ-algebra B(Ω) of Borel sets of the phase space Ω in classical mechanics.
We now summarize this discussion of properties in a form that will serve as a template for each of the other concepts we introduce in the later sections. We first give the classical form of the concept in terms of the σ-algebra B(Ω); then we generalize the concept by simply replacing the σ-algebra by a σ-complex Q; finally, we specialize to quantum mechanics by taking Q to be the σ-complex Q(H). It then requires a theorem to show that the resulting concept is equivalent to the standard quantum definition on H. Some of the classical concepts are defined in terms of the phase space Ω, rather than the σ-algebra B(Ω). We must then give an equivalent definition of the concept in terms of B(Ω}.

Classical Mechanics
The properties of a system form the σ-algebra B(Ω) of Borel sets of the phase space Ω of the system.

General Theory
The properties of a system form a σ-complex Q.

Quantum Mechanics
The properties of a system form the σ-complex Q(H) of projections of the Hilbert space H of the system.
For a system S with a σ-complex Q, an appropriate interaction with another system, such as a measurement, or, more generally, a decoherent interaction, will elicit a σ-algebra B in Q of properties that have truth values. We shall call B the (current) interactive algebra for the system S in the interaction.
For instance, B xyz is the interactive algebra in the triple experiment with the frame (x, y, z). Thus, a measurement of the observable S 2 x − S 2 y has the interactive algebra B xyz . We may also consider an experiment for which the interactive algebra is For instance, a variant of the Stern-Gerlach experiment with the magnetic field replaced by an inhomogeneous electric field measures the absolute value |S z | of S z , since the electric field vector is a polar vector. For a spin 1 system this amounts to measuring S 2 z . Such an experiment is described in Wrede [22]. In general, a measurement of the observable with discrete spectral decomposition a i P i has as interaction algebra the σ-algebra generated by the P i 's. The general case, where the observable contains a continuous spectrum, is described in Section 3.
In the triple experiment, the interaction algebra B xyz of the measured system is reflected in the isomorphic eight element algebra of events consisting of the subsets of the three spots on the detection screen.
This isomorphism is, as we have seen, a general feature of a measurement, but it is also true for any appropriate decoherent interaction. If the state of the combined two interacting systems is a i φ i ⊗ ψ i at the end of the interaction, then the interaction algebras of the systems are the two σ-algebras generated by the P φi and the P ψi , which are isomorphic. It is important to note that the macroscopic nature of the apparatus plays no role in the classical nature of the interaction algebras as Boolean σ-algebras. It simply follows from the nature that we attributed to extrinsic properties, that in every appropriate interaction they have the classical structure of a σ-algebra. As a consequence, we have no need to (and do not) subscribe to the Copenhagen interpretation, especially espoused by Bohr, that it is necessary to presuppose a classical physical description of the world in order explicate the quantum world. Quantum properties are not intrinsic, but the appropriate interaction elicits an interaction algebra with the classical structure of a σ-algebra.

(i) Probability Measures
The theory of probability is based on a probability measure, a countably additive, [0,1]-valued measure, i.e. a function In the case of a measurement on a system S, the probability function p gives the probabilities of the σ-algebra of events, or equally of the measured properties of S. A physical theory predicts the probabilities of outcomes of any possible experiment, given the present state. This leads to the following concept of a state.

Classical Mechanics: σ-algebra B(Ω)
A state of a system with phase space Ω is a probability measure on the σ-algebra B(Ω).
General Theory: σ-complex Q A state of a system with a σ-complex of properties Q is a probability measure on Q, i.e. a map p : Q → [0, 1] such that the restriction p|B of p to any σ-algebra B in Q is a probability measure on B.

Quantum Mechanics: σ-complex Q = Q(H)
Assume that H has dimensions greater than two. There is a one-one correspondence between states p on Q(H) and density operators (i.e. positive Hermitean operators of trace 1) w on H such that That a density operator w defines a probability measure p on Q(H) is an easy computation. The converse, that a state p defines a unique density operator w on H, follows from a theorem of Gleason [11]. Gleason's theorem affirmatively answered a question of Mackey [17], in which Mackey asked whether a state on the lattice of projections on H defines a unique density operator. A careful check of Gleason's proof of the theorem shows that, in fact, the stronger theorem stated above is true, and that the lattice operations on non-commuting projections are not needed for the proof. As this result shows, the intuitive and plausible definition of classical states leads, with the change from intrinsic to extrinsic properties, to a similar characterization of quantum states.

(ii) Pure and Mixed States
The set of states on a σ-complex is closed under the formation of convex linear combinations: if p 1 , p 2 , . . . are states then so is The extreme points of the convex set of states of a system are those that cannot be written as a non-trivial convex combination of states of the system.

Classical Mechanics: σ-algebra B(Ω)
A pure state of a system is an extreme point of the convex set of all states of the system.
For B(Ω), a pure state p has the form p(s) In other words, the classical pure states correspond to the points in Ω. Thus, the phase space Ω consists of the pure states, and so is also called the state space.
Thus, in the classical case all the properties of the system in a pure state are either true or false. As we would expect for intrinsic properties, measurements simply find out which measured properties are the case. The general states as mixtures of the pure states can then be interpreted as giving the probabilities of the properties which are true. These may be termed epistemic probabilities, based on the knowledge of the actual pure state that subsists.

General Theory: σ-complex Q
A pure state of a system is an extreme point of the convex set of states of the system.
There is a one-one correspondence between the pure states of a system and rays [ψ] of unit vectors ψ in H, such that p(x) = ψ, xψ .
For it is easily seen that the pure states correspond to one-dimensional projections P ψ (with ψ in the image of P ψ ) and p(x) = tr(P ψ x) = ψ, xψ . As in the classical case, the state space of the system consists of the pure states, and in this case corresponds to the projective Hilbert space of the rays of H.
In the quantum case, even the pure states predict probabilities that are not 0 or 1, and so these are not the probabilities of properties that already subsist. This is, of course, what we should expect of extrinsic properties. A pure state simply predicts the probabilities of properties in possible future interactions, such as measurements. Mixed states are, as in the classical case, mixtures of the pure states. However, in this case there is no unique decomposition of a mixed case into pure states. This has led to a traditional difficulty in interpreting quantum mixed states. We shall postpone a discussion of our interpretation of mixed states until we have treated conditional probabilities in Section 7.

Observables
Some classical concepts such as observables are defined using the phase space Ω rather than the σ-algebra B(Ω). We can, in general, re-state these definitions in terms of B(Ω). The reason for this is that the Stone Duality Theorem between Boolean algebras and spaces (and its extension by Loomis to σ-algebras) assures us that constructions on the algebras have their counterparts on the spaces and vice versa.
A classical observable is defined as a real-valued function f : Ω → R on the phase space Ω of the system. To avoid pathological, non-measurable functions, f is assumed to be a Borel function, i.e. a function such that f −1 (s) ∈ B(Ω), for every set s in the σ-algebra B(R) of Borel sets generated by the open intervals of R.
The inverse function f −1 : B(R) → B(Ω) is easily seen to preserve the Boolean σ operations, i.e. to be a homomorphism. Moreover, as we see below, any such homomorphism allows us to recover the function f .
For our purposes, the advantage of using the inverse function is that it involves only the σ-algebra B(Ω) instead of the phase space Ω, allowing us to generalize the definition to a σ-complex.

Classical Mechanics: σ-algebra B(Ω)
An observable of a system with phase space Ω is a homomorphism u : There is a one-to-one correspondence between observables u and Borel functions f : For given the map u we may define the Borel function f by the equation The proof that f has the requisite properties is direct, using the denumerability of the rationals Q to apply the countable additivity of u. (See Varadarajan [21,Theorem 14].) General Theory: σ-complex Q An observable of a system with σ-complex Q is a homomorphism Note that the image of u lies in a single σ-algebra in Q.
There is a one-one correspondence between observables u : B(R) → Q(H) and Hermitean operators A on H, such that, given u, Conversely, given a Hermitean operator A on H, the spectral decomposition A = λdP λ defines the observable u as the spectral measure u(s) = s dP λ , for s ∈ B(R). This establishes the one-one correspondence.
It follows easily that if u : B(R) → Q(Ω) is an observable with corresponding Hermitean operator A, then, for the state p with corresponding density operator w, the expectation of u Exp p (u) = tr(Aw).
(See Postulates I and II of Bohm [4].) The theorem shows the close connection between the measurement of an observable and the interaction algebra of measured properties. For instance, for the case of a discrete operator A, the spectral decomposition A = a i P i defines the interaction algebra of measured properties generated by the P i . Conversely, given the interaction algebra of measured properties, its atoms P i allow us to define, for each sequence of real numbers a i , the Hermitean operator a i P i which is thereby measured. In particular, we may in this way associate an observable with values 0 and 1 with every property in Q(H).

Combined Systems
An essential part of the formalism of physics is the mathematical description of the physical union of two systems. In this section we answer the question: what is the σ-complex of the union S 1 + S 2 of two systems with given σ-complexes Q 1 and Q 2 ?
In classical physics, given two systems S 1 and S 2 with the phase spaces Ω 1 and Ω 2 , the phase space of the combined system S 1 + S 2 is the direct product space Ω 1 × Ω 2 , whereas for quantum systems with Hilbert spaces H 1 and H 2 , the Hilbert of S 1 and S 2 is the tensor product H 1 ⊗ H 2 . The direct and tensor products are very different constructions. The dimension of the direct product space is the sum of the dimensions of the two factor spaces, whereas the dimension of the tensor product is the product of the dimensions of the factor spaces. It is this difference that lies behind the promise of quantum computers.
We have nevertheless to combine these two operations via a single construction on the σ-complex Q. When Q = B(Ω), we may get a clue to the construction by means of Stone duality for Boolean algebras and Boolean spaces. The dual of the direct product of two Boolean spaces is the direct sum B 1 ⊕ B 2 (also called the free product or co-product) of Boolean algebras. (See Koppelberg [16,Chapter 4].) A similar duality extends to σ-algebras. (See [16,Chapter 5].) We now use our general principle of defining a concept on a σ-complex by reducing it to the corresponding concept on its σ-algebras.
General Theory: σ-complex Q Given two systems S 1 and S 2 with σ-complexes Q 1 and Q 2 , the combined system S 1 + S 2 has the σ-complex Q 1 ⊕ Q 2 , consisting of the closure (i.e. all the sub-σ-algebras) of the direct sums B 1 ⊕ B 2 of all pairs of σ-algebras B 1 and B 2 in Q 1 and Q 2 .
Quantum Mechanics: σ-complex Q = Q(H) Given the combined system S 1 +S 2 with the σ-complex Q(H 1 )⊕Q(H 2 ), there is a unique Hilbert space We give an outline of the proof when H 1 and H 2 have finite dimensions. It suffices to show that every element of Q(H 1 ⊗ H 2 ) lies in Q(H 1 ) ⊕ Q(H 2 ). The elements of Q(H 1 ) ⊕ Q(H 2 ) are generated by the one-dimensional projections P φ⊗ψ , where φ ∈ H 1 and ψ ∈ H 2 . We must show that if Γ is an arbitrary unit vector in H 1 ⊗ H 2 , then P Γ lies in Q(H 1 ) ⊕ Q(H 2 ). One definition of the tensor product allows us to think of Γ as a conjugate linear map from H 2 to H 1 . (See Jauch [12], for example.) The proof proceeds by induction on the rank of Γ as such a map. The maps of rank 1 are of the form P φ⊗ψ , so the basis of the induction is true. Now suppose Γ has rank n.
The proof is greatly simplified by choosing suitable orthonormal bases in H 1 and H 2 in which to expand Γ. We can construct bases {φ i } and {ψ i } in H 1 and H 2 such that Γ = c i φ i ⊗ ψ i , with the c i real. (Briefly, ΓΓ * and Γ * Γ have common strictly positive eigenvalues, say a i , and respective eigenvectors φ i and ψ i ; it follows that Γ = √ a i φ i ⊗ ψ i . See Jauch [12], for example.) Let Then Γ, Θ, and ∆ are pairwise orthogonal unit vectors. Hence, P Γ , P ∆ , and P Θ mutually commute, and P Γ = (P Γ ∨ P Θ ) ∧ (P Γ ∨ P ∆ ).
The uniqueness (up to isomorphism) is a routine consequence of the fact that Q 1 ⊕ Q 2 is categorically a co-product (see Koppellberg [16] for a proof in the σ-algebra case).
This construction of the direct sum generalizes in an obvious way to the direct sum of an arbitrary number of σ-complexes, representing the union of several systems. The above theorems then generalize to: These general sums are needed in discussing statistical mechanics. It is now routine to define symmetric and anti-symmetric direct sums of σ-complexes, yielding the corresponding symmetric and anti-symmetric tensor products of Hilbert spaces, needed to deal with identical particles. (See Postulate IVb of Bohm [4]. The spin-statistics connection that Bohm adds can also be added here.)

Symmetries
As Noether, Weyl, and Wigner showed, observables such as position, momentum, angular momentum, and energy arises from global symmetries of space and time, and the conservation laws for them arise from the corresponding symmetries of interactions. Other observables arise from local symmetries. In classical physics the symmetries appear as canonical transformations of phase space, and in quantum physics they appear as unitary or anti-unitary transformations of Hilbert space. For us they naturally appear as symmetries of a σ-complex.
Definition. An automorphism of a σ-complex Q is a one-one transformation σ : Q → Q of Q onto Q such that for every σ-algebra B in Q and all a, a 1 , a 2 , · · · in B σ(a ⊥ ) = σ(a) ⊥ and σ( a i ) = σ(a i ).

General Theory: σ-complex Q
A symmetry of a system with σ-complex Q is given by an automorphism of Q.
A symmetry σ defines a natural convexity-preserving map p → p σ on the states of Q by letting There is a one-one correspondence between symmetries σ : Q(H) → Q(H) and unitary or antiunitary operators u on H such that σ(x) = uxu −1 , for all x ∈ Q(H).
It is easy to check that unitary and anti-unitary operators define a symmetry on Q(H). For the converse we use a well-known theorem of Wigner. (See Bargmann [1].) The original theorem of Wigner posits a one-one map of the set of rays onto itself which preserves the inner product. Uhlhorn [20] was able to weaken this to preserving the orthogonality of rays. As Bargmann states in [1], the proof he gives of Wigner's theorem may be easily modified to prove Uhlhorn's result. (For a proof see Varadarjan [21].) Now assume that σ is a symmetry of Q(H). Then σ is a one-one map of the set of atoms, i.e. one-dimensional projections P ψ , of Q(H) onto atoms of Q(H). In other words, rays [ψ] of H are one-to-one mapped onto rays of H. Moreover, since σ-algebras are mapped by σ to σ-algebras, the orthogonality of rays is preserved. The Uhlhorn version of Wigner's theorem then shows there is a unique (up to a multiplicative constant) unitary or anti-unitary map u on H such that σ(x) = uxu −1 .
In the case of classical physics, with Q = B(Ω), a symmetry is defined by a canonical transformation of the manifold. Every such transformation defines an automorphism of the σ-algebra B(Ω). However, the converse is not true. Although the automorphism still defines a continuous map from Ω to itself, the structure of a σ-algebra is too weak to recover the canonical structure. It is remarkable that the σ-complex structure is sufficient to allow one to define the symmetries of the Hilbert space. In that sense, quantum physics allows a more satisfactory reconstruction than classical physics. As Section 8 suggests, we may recover the classical canonical structure from the quantum structure in the limit of an increasing number of particles.

Dynamics
Now that we have shown that the symmetries of Q(H) are implemented by symmetries of H, we may use time symmetry to introduce a dynamics for systems.
To define dynamical evolution, we consider systems that are invariant under time translation. For such systems, there is no absolute time, only time differences. The difference from time 0 to time t is given by a symmetry σ t : Q → Q, since the structure of the system of properties is indistinguishable at two values of time. We assume that if the state evolves first for a time t and then the resulting state for a time t ′ , then this yields the same result as the original state evolving for a time t + t ′ . Moreover, we assume that evolution over a small time period results in small changes in the probability of properties occurring.
The passage of time is thus given by a continuous representation of the additive group R of real numbers into the group Aut(Q) of automorphisms of Q under composition: i.e. a map σ : R → Aut(Q), such that σ t+t ′ = σ t •σ t ′ and p σt (x) is a continuous function of t.
The image of σ is then a continuous one-parameter group of automorphisms on Q. 2 We have seen that an automorphism σ corresponds to a unitary or anti-unitary operator. Antiunitary operators actually occur as symmetries, for instance in time reversal. However, for the above representation only unitary operators u t corresponding to the symmetry σ t can occur, since u t = u 2 t/2 , which is unitary. It follows that the evolving state p σt corresponds to the density operator w t = u t wu −1 t . By Stone's Theorem, where is a constant to be determined by experiment; 3 so w t = e − i Ht we i Ht . Differentiating, This is the Liouville-von Neumann Equation.
Conversely, this equation yields a continuous representation of R into Aut(Q(H)). For w = P ψ , a pure state, w t = P ψ(t) and this equation reduces to the Schrödinger Equation: (See Postulate Va of Bohm [4]. Postulate Vb is the Heisenberg form of the equation, and follows similarly.) 2 The group Aut(Q) may, in fact, be construed as a topological group by defining, for each ǫ > 0, an ǫ-neighborhood of the identity to be {σ | |pσ(x) − p(x)| < ǫ for all x and p}. We may then directly speak of the continuity of the map σ, in place of the condition that pσ t (x) is continuous in t. 3 More precisely, we have a projective unitary representation of R, but such a representation of R is equivalent to a vector representation. (See, e.g., Varadarajan [21].) We stop here without specifying any further the form of the Hamiltonian H. This form depends upon calculating the linear and angular momentum observables as operators from the homogeneity and isotropy of space, using the corresponding unitary representations that we have used for time homogeneity. This a well-known part of quantum mechanics and need not be explored further here. (See Jauch [12], for example.) We have treated the non-relativistic dynamical equation. The connection between automorphisms of Q(H) and unitary operators given above allows to us to treat the relativistic dynamical equations in a similar manner, following Wigner's work. (See Varadrajan [21].)

State Preparation, Reduction, and Conditional Probability (i) Conditional States
With these results, which cover four of Bohm's five postulates, we can now recover much of quantum theory. So far however, we will never predict interference. The states we introduced are probability measures on Q, which for any experiment is a classical probability measure on the σ-algebra of properties being measured. In fact, the probability must be classical, since it is mirrored in the probability measure on the experiment's σ-algebra of events, which are generated by macroscopic spots on a screen. How then does interference enter the picture? In dealing with experiments, we have omitted a key ingredient that is usually referred to as "the preparation of state." To calculate the probability p(x) of a property holding at the end of an experiment, we need to know both the property x and the state p. In general, when we are presented with a particle to be measured, we do not know its state. One way to know the state is to prepare it by means of a prior interaction.
For instance, Feynman, Leighton, Sands [8] introduces quantum mechanics via a spin 1 system by discussing the probability of, for instance, going to state S x = 1, given that it is in state S z = 0. The particle is prepared in state S z = 0 by sending it through a Stern-Gerlach field in the z direction, and then filtering it through a one-slit screen to allow only the central beam through. If the system is not detected as hitting the filtering screen, then it is reduced to the state S z = 0. If allowed to hit a final detection screen it is certain to register the central spot. But we are free to send it through another Stern-Gerlach field in the x direction to measure S x = 1, say. This is a reduction by preparation of the original, possibly unknown, state to the state S z = 0.
Some physicists think that reduction is a phenomenon unique to quantum mechanics that has no counterpart in classical mechanics, but this not the case. Consider a one slit experiment with bullets. If we shoot at a target, we get a probability distribution on the target that defines a mixed state for the bullet. Since the target screen can be placed anywhere from the gun to any distant point, the probability distribution is a function of time that gives a time evolution of this state, satisfying the classical Liouville equation for mixed states. If we now interpose a one-slit screen between the gun and the target screen, we find that after the evolution of the state p up to the one-slit screen, the bullet either has hit this screen, or if not, has passed through with a new state p( · | y), where y is the property that it has not hit the screen. This is classically called conditionalizing the state p to y. The new state p( · | y) is defined by p(x | y) = p(x ∧ y)/p(y), as the frequency definition of probability can verify. This filtering to a new state is entirely similar to the filtering of a spin 1 system described earlier, and is the classical equivalent of reduction. Now that we have the classical form of reduction as conditionalization, we can follow our prescription by generalizing from a σ-algebra to a σ-complex.

Classcal Mechanics: σ-algebra B(Ω)
Let p be a state on the σ-algebra B(Ω) and y ∈ B(Ω) such that p(y) = 0. By a state conditioned on y we mean a state p( · | y) such that for every x in B(Ω), General Theory: σ-complex Q Let p be state on a σ-complex Q and y ∈ Q such that p(y) = 0. By a state conditioned on y we mean a state p( · | y) such that for every σ-algebra B in Q containing y and every x ∈ B, p(x | y) = p(x ∧ y)/p(y).
In the literature, there exist generalizations of probability measures and conditional probability to non-commutative algebras, and, in particular, to lattices of projections. (See Beltrametti and Cassinelli [2].) In general, it is by no means clear that such a state p( · | y) exists or is unique, as is obviously the case for classical mechanics. However, for the quantum σ-algebra Q(H) this can be proved: If p is a state on Q(H) and y ∈ Q(H) such that p(y) = 0, then there exists a unique state p( · | y) conditioned on y. If w is the density operator corresponding to p, then ywy/ tr(ywy) is the density operator corresponding to the state p( · | y).
The change from w to ywy/ tr(wy) in state preparation or measurement is the general formula for the reduction of state given by the von Neumann-Lüder's Projection Rule. In the orthodox interpretation this rule is an additional principle that is appended to quantum mechanics. Here it appears as the unique answer to conditioning a state to a given property. (See Postulate IIIa of Bohm [4].) The natural definition of applying a symmetry σ to a state for a conditioned state p( · | y) is given by We illustrate this section with the triple experiment of Section1. Suppose we measure the observable S 2 x − S 2 y for a spin 1 system in a state p, and find that the eigenvalue is 0, so that S 2 z = 0, S 2 x = 1, and S 2 y = 1. This defines the truth values of the interaction algebra B xyz . The resulting state is p( · | 1 − S 2 z ). If we were then immediately to measure the observable S 2 x ′ − S 2 y ′ , with (x ′ , y ′ , z) an orthogonal triple, then So we would find that S 2 z = 0, S 2 x ′ = 1, and S 2 y ′ = 1, giving the truth values of the new interaction algebra is B x ′ y ′ z ′ . However, the properties in B x ′ y ′ z ′ do not take truth values unless and until the second measurement happens. The interaction algebra B xyz does not contain S 2 x ′ or S 2 y ′ , so these properties do not have a truth value. To claim otherwise is to revert to the classical idea of intrinsic properties. This is not only a consequence of our interpretation, but follows from a careful application of the Born Rule: the state vector corresponding to p( · | 1 − S 2 z ) is an eigenvector of S 2 x ′ − S 2 y ′ belonging to eigenvalue 0, so that S 2 x ′ − S 2 y ′ is 0 (and S 2 x ′ = 1, S 2 y ′ = 1) if and when it is measured . The fact that properties have probability 1 of being true if a contingent interaction happens does not mean it is true now. If an eclipse is certain to take place tomorrow, it does not mean it is currently the case. This may be obvious in this context, but, as we discuss in Section 10(iv), it has often been questioned in the EPR experiment.

(ii) Classical vs Quantum Conditionalizing
In the well-known paper [9], Feynman writes that the basic change from classical to quantum mechanics lies in the revision in the probability rule called the Law of Alternatives, p(a | c) = i p(a | b i )p(b i | c) for disjoint b i , to a quantum law that α | β = i α | β i β i | γ , giving an additional interference term.
We agree that this is an important difference in the two theories. However, we shall derive it from what we consider the more basic difference, that between intrinsic and extrinsic properties.
Let y = y i where y i ∧ y j = 0 for i = j. Then Classical Mechanics: The Law of Alternatives in classical probability theory.
On the other hand, by Section 7(i), we have This shows that in condionalizing for the extrinsic properties of quantum mechanics an interference term must be added to the classical law of alternatives.

(iii) Conditionalizing on Several Properties
There is a different kind of preparation of state, one which leads to a mixed state. This occurs when, instead of all but one of the beams being blocked, as in Section7(i), the beams are allowed to pass through, while being registered. For instance, [8] describes a version of the two-slit experiment in which the particle scatters high frequency photons that register which slit the particle passed through. In this case, the property y 1 of passing through slit 1 is true or the property y 2 of passing through slit 2 is true, so that the state of the particle is either the conditional state p( · | y 1 ) or the state p( · | y 2 ). If we consider an ensemble of particles, then each of the particles in the ensemble will be in the state p( · | y i ) with probability p(y i ), for i = 1, 2, so that the ensemble is in the mixed state p(y 1 )p( · | y 1 ) + p(y 2 )p( · | y 2 ). Thus, by registering the results of passage through each of the two slits, we restore the classical Law of Alternatives.
For a single particle, the same mixed state describes its predicted state upon passage through the two slit screen. However, upon actual passage through the registered slits, the state is either p( · | y 1 ) or p( · | y 2 ). We may say that even after the passage, the state of the particle for an experimenter who is not aware of the registered result the state remains the mixed state. In this regard, the mixture has a similar interpretation as in the classical case, viz., the ignorance interpretation of mixtures.
A measurement of an observable is the most familiar example of conditionalizing with respect to several properties. If the observable has a spectral decomposition a i P i , then measuring the observable amounts to registering the values of the properties given by the P i . The interaction algebra B is the σ-algebra generated by the P i . We now formulate this notion of conditioning with respect to several conditions. Given a system with σ-complex Q and disjoint elements y 1 , y 2 , . . . in a common σ-algebra in Q , and a state p we define the state conditioned on y 1 , y 2 , . . . to be p( · | y 1 , y 2 , . . . ) = p(y i )p( · | y i ). We shall also write this more succinctly as p( · | B), the state conditioned on the interaction algebra B, the σ-algebra generated by the y i .
For quantum mechanics, with Q = Q(H), if w is the density operator corresponding to the state p: p( · | B) = tr(wy i )(y i wyi/ tr(wy i )) = y i wy i , so that for each x the probability p(x | B) = tr(y i wy i x). This gives the state of an ensemble without selection. (See Postulate IIIb of Bohm [4].) The natural definition for applying a symmetry to the conditioned state is given by Note that the non-uniqueness of the decomposition of a degenerate density operator into pure states causes no problems in this interpretation. This is because mixed states arise as mixtures of given pure states in the conditionalization from an experiment or the evolution of the mixture. The σalgebra B generated by the y 1 , y 2 , . . . is simply the current interaction algebra of the σ-complex, and is always given to us as part of the interaction.
The fact that degenerate density operators do not have a unique decomposition into pure states has led some to put mixed and pure states on an equal footing, and to deny them the role as mixtures. This puts the cart before the horse, and ignores the historical development of the concept of mixed states. Mixtures of pure states were in long use in quantum mechanics (as well as in classical statistical mechanics) when von Neumann introduced the invariant formulation of a mixed state as a density operator. The use of the density operator has the advantage of allowing the introduction the abstract notion of mixed state, without requiring the explicit mention of any basis of pure states, which could be recovered in the non-degenerate case. For us, however, in any interaction (and subsequent evolution) the interaction algebra is always given, which yields a unique decomposition of the mixed state as a mixture of pure states even in the degenerate case.

Reconstructing the σ-Complex Q(H)
We saw in Section 1 that if we restrict ourselves to classical experiments, then the σ-complex of interaction algebras can be imbedded into a σ-algebra. On the other hand, the 40 quantum triple experiments yield a σ-complex that cannot be so imbedded. Thus, increasing the set of experiments has changed the structure of the σ-complexes of systems. It may then be possible that a sufficiently comprehensive family of experiments may force the structure of the σ-complex Q to be isomorphic to Q(H). In this section we shall see that this is indeed the case.
The result is based on the paper Reck, Zeilinger, Bernstein, Bertani [19]. The interactions arise from a composition of interferometers. First, Mach-Zender interferometers together with beam splitters allow one to construct Q(H 2 ), where H 2 is a two-dimensional Hilbert space. A standard theorem, which allows one to decompose n-dimensional unitary operators as a product of twodimensional ones, is then used to treat the σ-complex of higher dimensional Hilbert spaces.
We outline the construction in [19] (from which the diagrams below are copied). The experimental realization of a general two-dimensional unitary matrix is obtained by a Mach-Zender interferometer consisting of two mirrors, two 50-50 beam splitters, an ω-phase shifter, and a φ-phase shifter at one output port: This device transforms the input state with modes (k 1 , k 2 ) into the output state with modes (k ′ 1 , k ′ 2 ), which are related by the unitary matrix: We can then realize all 2-dimensional unitary matrices by varying the phase shifters.
To treat n × n unitary matrices, the authors in [19] show how to eliminate the off-diagonal element u jk of a unitary matrix U by multiplying U by the matrix T jk which is obtained from the n × n identity matrix I by replacing the (jj), (jk), (kj), (kk) entries by the entries of a matrix of the above 2-dimensional unitary form. This inductively results in the product U T nn−1 T nn−2 · · · T 32 T 31 T 21 = D where D is a diagonal unitary matrix with diagonal entries of modulus 1. Hence We now combine copies of the above interferometers so that the outputs of one are the inputs of the succeeding one, corresponding to the above product of the T † jk matrices, followed by n phase shifters to account for the matrix D. The result is a device which realizes the matrix U . For instance, for n = 3, we have:

(Each box represents an interferometer of the above type.)
To realize an n-dimensional Hermitean matrix A, we use additional beam splitters to superpose those beams that correspond to the same eigenspace of A, and then add detectors for the resulting beams. The use of beam splitters to superpose beams is well-known. (See e.g. Zukoowski, Zeilinger, and Horne [23].) This is a précis of the construction in [19]. It allows us to realize every element of Q(H), where H is an n-dimensional complex Hilbert space. What is significant is that we can also realize the σ-complex structure of Q(H). To see this it suffices to consider the two Boolean operations of complementation x ⊥ and join x ∨ y. The output for a projection x consists of two beams, labeled the 1-beam and the 0-beam according to the eigenvalues of x. The operation of complementation x ⊥ requires only a transposition of the 1 and 0 labels. The join x ∨ y of two projections corresponds to superposing the two 1-beams of x and y . These two operations suffice to define all the Boolean operations, and therefore the σ-complex structure of Q(H). Note that this realization of the σ-complex of properties via the different σ-algebras generated by the outcomes of interferometer experiments follows the general prescription given in Section 1 for defining the σ-complex of properties of a system by means of the different σ-algebras of events defined by the experimental outcomes.
It is instructive to contrast the simple experimental counterparts to the σ-complex structure with the lattice structure of the set of projections. We know of no corresponding experimental realization to the lattice join (or meet) of two non-commuting projections. This is due to the difficulty of relating the eigenspaces of two non-commuting operators to the eigenspaces of their sum (or, for projections, to their union), while for commuting operators there is a simple relation. It is this difficulty that is alluded to in our earlier quotations from Varadarajan [21] and Birkhoff and von Neumann [3] in the introduction.
We have seen that if we can, in principle, form arbitrarily large networks of interferometers, then we can realize the σ-complex Q(H) for Hilbert spaces of all finite dimensions. If we wish to describe all these interactions within a single ambient space, then it is necessary to take the union, or more precisely the direct limit, of the σ-complexes Q(H), for H finite dimensional, which leads to a σ-complex of an infinite-dimensional space. We have allowed for this earlier in the paper by showing that the σ-complex concepts of state, observable, symmetry, and dynamics reduce to the standard ones even when H is an infinite-dimensional space. In any case, the controversial questions of quantum mechanics already arise at the finite-dimensional level.

From Quantum Physics to Classical Physics
With the description in Section 4 of the σ-complex of combined systems, it is possible to treat the statistics of a large number of particles such as macroscopic bodies. This is, of course, a major subject in quantum statistics, and we shall not venture there. However, we wish to say a few words on how the σ-complex of quantum mechanics tends to a classical σ-algebra with an increasing number of particles, so that the quantum system becomes effectively classical.
We shall adapt a remark in Finkelstein [10] for this purpose. Let S be an ensemle of n noninteracting copies of a system S i , i = 1, 2, . . . , n, with σ-complex Q(H i ). Then S has the σ-complex Suppose each S i is in the pure state φ. Then S is in the state Φ = φ ⊗ φ ⊗ · · · ⊗ φ. Consider the observable A of S which is the average of the same observable A of each S i : A = (A ⊗ I ⊗ · · · ⊗ I + I ⊗ A ⊗ · · · ⊗ I + · · · + I ⊗ I ⊗ · · · ⊗ A)/n.
We recall that the the uncertainty ∆R of an operator R is the square root of the variance: It follows that if B = (B ⊗ I ⊗ · · · ⊗ I + I ⊗ B ⊗ · · · I + · · · + I ⊗ I ⊗ · · · ⊗ B)/n is another such averaged observable, then for the commutator [A, B] we have Thus, lim n→∞ ∆[A, B] = 0. It follows that the averaged observables of S all commute in the limit, and so the σ-complex of S becomes essentially a σ-algebra, for very large n, as in a macroscopic body. This calculation was made under the assumption that S is an ensemble of non-interacting replicas of one particle. In a real body the states and observables need not be identical. Without our going into details, it is possible to give conditions on the allowed variation of the the states of the particles and the averaged observables so that ∆[A, B] still tends to zero with increasing n. In any case, the result is at least suggestive that in a real body, the σ-complex of S will be very close to a σ-algebra.
The change in dynamics accompanying the move from the Hilbert space H to the phase space Ω has been well-studied. In essence, the quantum bracket i [X, Y ] is replaced by the Poisson bracket {X, Y }, so that the von Neumann-Liouville equation (See Faddeev and Yakubovskii [7], for example.) We saw in Sections 5 and 6 that the lack of sufficient structure of a σ-algebra did not allow us to derive the classical dynamics from the automorphisms of B(Ω), whereas we could do so in the quantum case Q(H). We can see now how it is possible to recover the classical dynamical equation by an excursion into the quantum structure Q(H).
10 Interpreting and Resolving Quantum Paradoxes.

(i) The K-S Paradox and the Projection Rule
We have applied this reconstruction to treat several issues in the interpretation of the formalism. One of these, the Kochen-Specker Paradox, which showed that the assumption that systems have only intrinsic properties leads to a contradiction, was the motivation for introducing the σ-complex of extrinsic properties. Conversely, assuming the relational nature of properties resolves this paradox. Another issue, discussed in Section 7, is the nature of reduction and the von Neumann-Lüder's Projection Rule, which here appears as the counterpart to classical conditionalizing, not as an ad hoc addition to quantum theory. We now consider a number of other controversial questions from the literature. We shall not treat other paradoxical effects such as quantum erasure, since they are consequences of the phenomena we shall discuss.

(ii) Wave-Particle Duality
We apply Section 7 to consider the two-slit experiment. We assume, as usual, that the two slits δ 1 and δ 2 are symmetric about the incoming trajectory of the particle. Let y i be the property of passing through slit δ i so that y 1 vy 2 is the property of passing through the union δ 1 ∪ δ 2 ; and let x be the property of hitting a small region ∆ on the detection screen.
In the case of a classical particle, the Law of Alternatives of Section7(ii) tells us that since p(y 1 ) = p(y 2 ). Thus, we add the single-slit probabilities to obtain the two-slit probability. For a quantum particle, according to Section 7(ii) there is the additional interference term (tr(y 1 wy 2 x) + tr(y 2 wy 1 x))/ tr(w(y 1 ∨ y 2 )), yielding the usual resonances. Note that if x and the y i commute, then this term vanishes. This happens, for instance if the detection screen is right next to the two-slit screen. If the detection screen is a distance from the two-slit screen, then the particle undergoes the unitary evolution σ t of free flight, and the property x at the time t of hitting the detection screen at ∆ is (where x 0 is the corresponding property at time 0), which no longer commutes with the y i , thus giving rise to the interference pattern. An explanation of the interference effect that is often given is that the particle is, or acts as, a pair of waves emanating from the slits, which exhibit constructive and destructive interference effects. This was, of course, the explanation for Young's original experiment with the classical electromagnetic field. For individual quantum particles however, it leads to the paradoxical effect that the wave suddenly collapses to a local region at the detection screen.
The explanation given here is a different one. A system forms a localized particle if there is a position operator for the system, so that a measurement of position detects the system at a localized region in space. Until the position is measured the position has no value, since position in a region is an extrinsic property. We may view the two-slit screen as a preparation of state for the particle, for which the position is conditionalized, or reduced, from the whole axis to the region δ 1 ∪ δ 2 . This reduction is not a position measurement, since δ 1 ∪ δ 2 is not a localized region (as it would be for a single-slit screen). It is only at the detection screen, where the particle, in interaction with the screen, is reduced to the local region ∆, that its position has a value.
The question of why the particle shows the interference effects of a wave is answered in Section 6, where the evolution of the quantum particle was defined by a trajectory in the space Aut(Q). This yielded the Schrödinger equation, which is a wave equation. On the other hand, a trajectory in the phase space of a classical particle passing through a two-slit screen is governed by the classical Liouville equation, without any wave properties. Thereby, the wave-like properties of a quantum particle are explained by the extrinsic character of of its properties.

(iii) The Measurement Problem
The Measurement Problem refers to an inconsistency in the orthodox interpretation of quantum measurement. The interpretation assumes that an isolated system undergoes unitary evolution, via Schrödinger's equation. We quote from Bohm [4, Chapter XII]: "If time evolution is a symmetry transformation, then the mathematical structure (in particular the algebraic relations) of the algebra of observables does not change in time; this means that the physical structure is indistinguishable at two different points in time. Our experience shows that there are physical systems that have this property and in fact it is this property that defines the isolated systems. Thus isolated physical systems do not age, an absolute value of time has no meaning for these systems, and only time differences are accessible to measurement. Irreversible processes do not take place in isolated physical systems defined as above." Accordingly, in the orthodox interpretation, for a measurement of an observable A of a system S by an apparatus T , the total system S + T , which is assumed to be isolated, undergoes unitary evolution.
We outline the standard description of an ideal measurement. Suppose the spectral decomposition of an observable is A = a i P i , where each P i is a one-dimensional projection with eigenstate φ i . The apparatus is assumed to be sensitive to the different eigenstates of A. Hence, if the initial state of S is φ k and the apparatus T is in a neutral state ψ 0 , so that the state of S + T is φ k ⊗ ψ 0 , then the system evolves into the state φ k ⊗ ψ k , where the ψ i are the states of the apparatus co-ordinate corresponding to the states φ i of the system. By linearity, if S is in the initial state φ = a i φ i , then S + T evolves into the state φ = a i φ i ⊗ ψ i . The intractable problem for the orthodox interpretation is that the completed measurement gives a particular apparatus state ψ k , indicating that the state of S is φ k , so that the state of the total system is φ k ⊗ ψ k , in contradiction to the evolved state a i φ i ⊗ ψ i . The orthodox interpretation then has to reconcile the unitary evolution of S + T with the measured reduced states of S and T . The present interpretation stands the orthodox interpretation on its head. We do not begin with the unitary development of an isolated system, but rather with the results of a measurement, or, more generally, of a decoherent interaction. In fact, the original motivation for forming a σ-complex of properties was via the set of measured, and hence reduced, properties which form the current interaction algebra. For us, it is the conditions under which dynamical evolution occurs that is to be investigated, rather than the reduced state. We cannot take for granted what is assumed in the orthodox interpretation, as in the above quotation, that an isolated system evolves unitarily. So we must answer the question whether in a measurement the σ-complex structure of S + T undergoes a symmetry transformation at different times of the process. As Section 6 showed, this is formalized as the condition for the existence of a representation σ : R → Aut(Q).
It is easy to see, however, that in the process of a completed measurement or a state preparation there are two distinct elements of Q(H) at initial time 0 which end up being mapped to the same element at a later time t. We have seen that an initial state φ ⊗ ψ 0 results in a state φ k ⊗ ψ k , for some k. However, φ k ⊗ ψ 0 also results in the state φ k ⊗ ψ k . If we choose the state φ to be distinct from φ k , then the two elements P φ⊗ψ0 and P φ k ⊗ψ0 of Q(H) both map to the same element P φ k ⊗ψ k . However, any automorphism σ t is certainly a one-to-one map on Q, so the measurement process cannot be described by a representation σ : R → Aut(Q), and hence a unitary evolution.
In our interpretation, the Measurement Problem is thus resolved in favor of reduction rather than unitary evolution. The point can be made intuitively that points of absolute time do exist in a measurement and also in state preparation, namely the point (or, better, small interval) of time at which reduction takes place. If for instance, we consider a Stern-Gerlach experiment with a state preparation in which a filter registers the passage of a particle through one of several slits, before the particle reaches a detection screen, then the interval of time of passage through the slit, in which the state of the particle is reduced, is such an absolute point of time -the state after passing through the slit is the conditionalized state, whereas before it is not.
Time and its passage is a problematic concept in physics, so to reinforce the point we shall give another example, in which time homogeneity is tied to spatial symmetry. Consider a particle resulting, say, from decay in which its state has spherical symmetry. Assume that the particle is initially at the center of a spherical detector system. During the passage of the particle until it hits the detector, the combined system of particle and detector is spherically symmetric and time homogeneous. At the moment of registering the impact on a local region ofthe detector, the system loses both its isotropy in space and its time symmetry. If it is difficult to argue against this breaking of space symmetry in favor of a particular direction, it seems to us to be equally hard to gainsay the breaking of time symmetry at the moment this non-isotropy occurs. For a composite system it is not only outside forces that can break symmetry, but internal interactions. As opposed to the quotation of Bohm [4] above, we believe that symmetry-breaking processes do take place in isolated compound systems with internal decoherent interactions during reduction of state. To argue that nevertheless symmetry has not been broken for the combined system is to favor the theoretical formalism ahead of the facts on the ground.

(iv) The Einstein-Podolsky-Rosen Experiment
We shall discuss the EPR phenomenon in the Bohm form of two spin 1 then it is certain to have the opposite spin to particle 1. It does not mean that particle 2 has acquired the opposite spin before it is measured, as a result of the measurement on particle 1. Those who claim this are reverting to the classical notion of intrinsic properties. The interaction algebra B does not contain the properties I ⊗ P + z , I ⊗ P − z . The spin components are extrinsic properties of each particle, which do not have values until the appropriate interaction. Again, we emphasize that this is not only a necessary consequence of our interpretation, but follows from a careful application of standard quantum mechanical principles, namely that a system in an eigenstate of an observable will yield the eigenvalue as the value of that observable only if and when that observable is measured.
We have not in this discussion mentioned a word about special relativity. Indeed, the spin EPR phenomenon has nothing to do with position or motion and is independent of relativistic questions. However, EPR with space-like separated particles has been used to put in question the full Lorentz invariance of quantum mechanics. This is replaced by a weaker notion that EPR correlations cannot be used for faster than light signaling. We believe that Lorentz invariance is a fundamental symmetry principle, which gives rise to basic observables, and is not simply an artifact of signaling messages between agents.
The relativistically invariant description of the EPR experiment is that if experimenters A 1 and A 2 measure particles 1 and 2, and the directions of spin in which they are measured are the same, then an experimenter B in the common part of the future light cones of A 1 and A 2 will find that the spins are in opposite directions.
To be sure, the correlations of spin in EPR are quite different from classical correlations. We analyze this in more detail, setting the stage with the triple experiment.
In our triple experiment on a spin 1 system, the total spin angular momentum S is conserved. Hence, S 2 = S 2 x + S 2 y + S 2 z = 2, for any frame (x, y, z). We may equivalently write this in the Boolean algebra notation in the σ-algebra B xyz as S 2 z = 1 ↔ S 2 x = 0 ∨ S 2 y = 0 ( * ) i.e. S 2 z = 1 if and only if S 2 x = 0 or S 2 y = 0. This condition is true independently of whether S 2 x , S 2 y , and S 2 z have values. It is erroneous to think that extrinsic properties, or more generally observables, stop existing when they do not have values,(any more than an operator stops existing when the state is not an eigenstate of the operator). Indeed, the σ-complex Q is constructed out of properties of which only a current interacting algebra has values. The above condition subsists because of quantum laws about the conservation of angular momentum which are independent of time or current interactions. This is a general phenomenon of σ-complexes of extrinsic properties. An element c in Q may lie in two σ-algebras B and B ′ , and thus be a union c = a ∨ b in B and a union c = a ′ ∨ b ′ in B ′ , where a, b, a ′ , b ′ are atoms in Q. In the example above, we have ( * ) and S 2 z = 1 ↔ S 2 x ′ = 0 ∨ S 2 y ′ = 0. These relations exist in Q independently of whether B xyz or B x ′ y ′ z ′ have truth values assigned. Thus, S 2 x′ = 0 ∨ S 2 y′ = 0 may be true, even though S 2 x′ = 0 and S 2 y′ = 0 have no truth value. Again, we saw in Section 10(ii) in the two-slit experiment that for a particle that hit the detection screen y 1 ∨ y 2 is true, even though y 1 and y 2 have no truth value. The simplest such example is a ∨ a ⊥ , which is 1 in every σ-complex, and therefore necessarily true even if a (and hence a ⊥ ) has no truth value. 4