Lattice theory, quadratic spaces, and quantum proposition systems

Miklós Banai

Isar Stubbe, Bart Van Steirteghem

Arkady Bolotin

In quantum logic, i.e., within the structure of the Hilbert lattice imposed on all closed linear subspaces of a Hilbert space, the assignment of truth values to quantum propositions (i.e., experimentally verifiable propositions relating to a quantum system) is unambiguously determined by the state of the system. So, if only pure states of the system are considered, can a probability measure mapping the probability space for truth values to the unit interval be assigned to quantum propositions? In other words, is a probability concept contingent or emergent in the logic of quantum propositions? Until this question is answered, the cause of probabilities in quantum theory cannot be completely understood. In the present paper it is shown that the interaction of the quantum system with its environment causes the irreducible randomness in the relation between quantum propositions and truth values.

J. V. Corbett

Quantum mechanics is usually described in the terminology of probability theory even though the properties of the probability spaces associated with it are fundamentally different from the standard ones of probability theory. For example, Kolmogorov's axioms are not general enough to encompass the non-commutative situations that arise in quantum theory. There have been many attempts to generalise these axioms to meet the needs of quantum mechanics. The focus of these attempts has been the observation, first made by Birkhoff and von Neumann (1936), that the propositions associated with a quantum-mechanical system do not form a Boolean σ-algebra. There is almost universal agreement that the probability space associated with a quantum-mechanical system is given by the set of subspaces of a separable Hilbert space, but there is disagreement over the algebraic structure that this set represents. In the most popular model for the probability space of quantum mechanics the propositions are assumed to form an orthocomplemented lattice (Mackey (1963), Jauch (1968)). The fundamental concept here is that of a partial order, that is a binary relation that is reflexive and transitive but not symmetric. The partial order is interpreted as embodying the logical concept of implication in the set of propositions associated with the physical system. Although this model provides an acceptable mathematical expression of the probabilistic structure of quantum mechanics in that the subspaces of a separable Hilbert space give a representation of an ortho-complemented lattice, it has several deficiencies which will be discussed later.

Krystyna Bugajska, Slawomir Bugajski

C. J. Isham

An extensive analysis is made of the Gell-Mann and Hartle axioms for a generalized ‘histories’ approach to quantum theory. Emphasis is placed on finding analogs of the lattice structure employed in standard quantum logic. Particular attention is given to ‘quasitemporal’ theories in which the notion of time-evolution in conventional Hamiltonian physics is replaced by something that is much broader; theories of this type are expected to arise naturally in the context of quantum gravity and quantum field theory in a curved space–time. The quasitemporal structure is coded in a partial semigroup of ‘temporal supports’ that underpins the lattice of history propositions. Nontrivial examples include quantum field theory on a non-globally-hyperbolic space–time, and a possible cobordism approach to a theory of quantum topology. A key result is the demonstration that the set of history propositions in standard quantum theory can be realized in such a way that each such proposition is represented by a genuine projection operator. This gives valuable insight into the possible lattice structure in general history theories.