Quantum logic combines two sharp propositions by one join, which exists whether or not the propositions can be tested together and which keeps no record of that difference. We define a quantum hyperstructure to be a multivalued composition on the orthogonal projectors of a complex Hilbert space. Given two projectors, the composition returns every projector that commutes with both and whose range lies in the sum of their ranges. Its value is the family of sharp propositions still jointly compatible with the pair and supported on the subspace the pair generates. Associativity fails in general, already for a commuting triple, and holds on every Boolean algebra of mutually commuting projectors. In finite dimension the family is classified by the joint eigenspaces of the two projectors and by the principal angles between their ranges. The same composition determines the projector order and the compatibility relation. It is not a hyper effect sum, and the poset of its commuting joins is not a quantum suplattice. The construction makes the indeterminacy of incompatible measurement a law of composition, rather than only a failure of distributivity.
Quantum logic combines two sharp propositions by one join, which exists whether or not the propositions can be tested together and which keeps no record of that difference. We define a quantum hyperstructure to be a multivalued composition on the orthogonal projectors of a complex Hilbert space. Given two projectors, the composition returns every projector that commutes with both and whose range lies in the sum of their ranges. Its value is the family of sharp propositions still jointly compatible with the pair and supported on the subspace the pair generates. Associativity fails in general, already for a commuting triple, and holds on every Boolean algebra of mutually commuting projectors. In finite dimension the family is classified by the joint eigenspaces of the two projectors and by the principal angles between their ranges. The same composition determines the projector order and the compatibility relation. It is not a hyper effect sum, and the poset of its commuting joins is not a quantum suplattice. The construction makes the indeterminacy of incompatible measurement a law of composition, rather than only a failure of distributivity.
Some general principles There are some important differences between quantum and classical reasoning which reflect the different mathematical structure of the two theories. The most precise classical description of a mechanical system is provided by a point in the classical phase space, while the most precise quantum description is a ray or onedimensional subspace of the Hilbert space. This in itself is not an important difference. What is more significant is the fact that two distinct points in a classical phase space represent mutually exclusive properties of the physical system: if one is a true description of the sytem, the other must be false. In quantum theory, on the other hand, properties are mutually exclusive in this sense only if the corresponding projectors are mutually orthogonal. Distinct rays in the Hilbert space need not be orthogonal to each other, and when they are not orthogonal, they do not correspond to mutually exclusive properties. As explained in Sec. 4.6, if the projectors corresponding to the two properties do not commute with one another, and are thus not orthogonal, the properties are (mutually) incompatible. The relationship of incompatibility means that the properties cannot be logically compared, a situation which does not arise in classical physics. The existence of this nonclassical relationship of incompatibility is a direct consequence of assuming (following von Neumann) that the negation of a property corresponds to the orthogonal complement of the corresponding subspace of the Hilbert space; see the discussion in Sec. 4.6.
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.
In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can be inferred with probability one, and such that the projectors representing these two propositions are mutually orthogonal. In this note we stress that, according to the rules of consistent history reasoning two such propositions are not contrary in the usual logical sense namely, that one can infer that if one is true then the other is false, and both could be false. No single consistent family contains both propositions, together with the initial and final states, and hence the propositions cannot be logically compared. Consistent histories quantum theory is logically consistent, consistent with experiment as far as is known, consistent with the usual quantum predictions for measurements, and applicable to the most general physical systems. It may not be the only theory with these properties, but in our opinion, it is the most promising among present possibilities.
Due to the failure of the classical principles of bivalence and verifunctionality, the logic of experimental propositions relative to quantum systems cannot be interpreted in Boolean algebras. However, we cannot say neither that this logic is captured by orthomodular lattices, as claimed by many authors along the line of Birkhoff's and von Neumann's standard approach. For the alleged violation of distributivity is based on the possibility of combining statements relative to complementary contexts, which does not refer to any experience and, consequently, has no meaning. Indeed, quantum logic should be interpreted in partial, transitive Boolean algebras whose compatibility relation limits the application of the connectives within each of its Boolean sub-algebras, which refer to partial, classical descriptions. Moreover, this approach of quantum logic makes it possible to deal with composite systems, which was not possible to do within the standard approach, and then to deal with the fundamental notion of quantum entanglement. The latter notion can be represented by a series of axioms of the object language that restrict the set of experimental statements bearing on a composite system, while its close link to the notion of complementarity can be expressed in the metalanguage.
Abstract. Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles ’ heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We introduce a framework in which order-theoretic structure comes with a primitive composition operation. The order is extracted from a generalisation of C*-algebra that applies to arbitrary dagger symmetric monoidal categories, which also provide the composition operation. In fact, our construction is entirely compositional, without any additional assumptions on limits or enrichment. Interpreted in the category of finite-dimensional Hilbert spaces, it yields the projection lattices of arbitrary finite-dimensional C*-algebras. Interestingly, there are models that falsify standardly assumed correspondences, most notably the correspondence between noncommutativity of the algebra and nondistributivity of the order. 1.
It is well known that the “quantum logic” approach to the foundations of quantum mechanics is based on the subspace ordering of projectors on a Hilbert space. In this paper, we show that this is a special case of an ordering on partial isometries, introduced by Halmos and McLaughlin. Partial isometries have a natural physical interpretation, however, they are notoriously not closed under composition. In order to take a categorical approach, we demonstrate that the Halmos-McLaughlin partial ordering, together with tools from both categorical logic and inverse categories, allows us to form a category of partial isometries. This category can reasonably be considered a “categorification” of quantum logic – we therefore compare this category with Abramsky and Coecke's “compact closed categories” approach to foundations and with the “monoidal closed categories” view of categorical logic. This comparison illustrates a fundamental incompatibility between these two distinct approaches to the foundations of quantum mechanics. 9.1 Introduction As early as 1936, von Neumann and Birkhoff proposed treating projectors on Hilbert space as propositions about quantum systems (Birkhoff and von Neumann 1936), by direct analogy with classical order-theoretic approaches to logic. Boolean lattices arise as the Lindenbaum-Tarski algebras of propositional logics, and as the set of all projectors on a Hilbert space also forms an orthocomplemented lattice, the operations meet, join , and complement were analogously interpreted as the logical connectives conjunction, disjunction , and negation .