The Problem of Conjunction and Disjunction in Quantum Logics

The long-lasting problem of proper mathematical representation of conjunctions and disjunctions in quantum logics is reviewed and three recent proposals of solutions are described.


Introduction
The problem of finding proper mathematical representations of conjunction and disjunction in quantum logics is as old as the theory of quantum logics itself. In the Lindenbaum-Tarski algebra of any theory governed by the laws of classical logic, which is a Boolean algebra, conjunctions and disjunctions of propositions are represented, respectively, by meets and joins. The same was assumed by Birkhoff and von Neumann [2] in the case of (ortho)modular lattices L(H) of closed linear subspaces of Hilbert spaces H that represent 'experimental propositions' pertaining to quantum objects.
However, Birkhoff and von Neumann were not entirely satisfied with this assumption, since they wrote: It is worth remarking that in classical mechanics, one can easily define the meet or join of two experimental propositions as an experimental proposition -simply by having independent observers read off the measurements which either proposition involves, and combining the results logically. This is true in quantum mechanics only exceptionally -only when all the measurements involved commute (are compatible).
The significance of the problem of finding proper mathematical representations of conjunctions and disjunctions in L(H) follows from the fact that in numerous situations that are of utmost importance for contemporary research on foundations of quantum mechanics (EPR-type experiments, checking of Bell-type inequalities, etc.) there appear conjunctions of experimentally verifiable propositions that are represented by noncompatible elements of L(H).
Having in mind difficulties caused by unrestricted interpretation of meets and joins in L(H) as always representing conjunctions and disjunctions, in this paper we seek for other operations that would coincide with meets and joins on pairs of compatible elements of an orthomodular lattice, but could differ from them, or even be undefined, on pairs of elements that are not compatible.

Basic Notions and Definitions
In order to make the paper self-contained, we quote the necessary definitions. The reader more deeply interested in quantum logic theory is advised to acquaint with such milestone books as [1,5,11]. In this paper we use the name 'quantum logic' in a slightly narrower sense than usual, i.e., it will denote an orthomodular lattice, not an orthomodular poset, in this way staying closer to its very archetype: the orthomodular lattice of all (orthogonal projections onto) closed linear subspaces L(H) of an infinite-dimensional Hilbert space H.
An orthomodular lattice (OML) is a lattice L with 0 L and 1 L as the smallest and the greatest element, respectively, endowed with a unary operation a → a , called orthocomplementation, such that the following conditions are satisfied: Condition (iv) is called the orthomodular law. If it is replaced by stronger distributivity laws: then an OML becomes a Boolean algebra (BA). Elements of an OML are traditionally called propositions, since they are believed to represent experimentally verifiable propositions about properties of physical systems. If an OML L is closed under countable lattice operations, then L is called a σ -orthomodular lattice (σ -OML). In the quantum logic approach to foundations of quantum mechanics, σ -OMLs are considered as mathematical models of sets of experimental propositions pertaining to quantum objects (see, e.g., [1,11]). In the traditional Hilbert space approach, this σ -OML is a lattice L(H) of all (orthogonal projections onto) closed linear subspaces of the corresponding Hilbert space H. Let L be an OML. Two elements a, b ∈ L are called orthogonal (denoted a ⊥ b) iff a ≤ b , and a, b are called compatible (denoted a ↔ b) iff there exist in L three pairwisely orthogonal elements a 1 , b 1 , c such that a = a 1 ∨ c and b = b 1 ∨ c. It occurs that in such a case a 1 = a ∧ b , b 1 = b ∧ a , and c = a ∧ b, and it is said that the triple {a 1 , b 1 , c} forms the Mackey decomposition of a pair of compatible propositions {a, b} [7,14,19]. Notice that two projections on a Hilbert space are orthogonal iff the product of them is zero, and compatible iff they commute. In Boolean algebras all elements are compatible.
A probability measure on L is a mapping s : L → [0, 1] such that Probability measures on OMLs are also called states since in the quantum logic approach to foundations of quantum mechanics they actually represent states of studied physical objects. According to the standard interpretation a number s(a) is a probability that when a studied physical object is in a state represented by s, then an experiment designed to check whether an experimental proposition represented by a is true, will yield positive result. However, we shall argue in Section 4 that also other interpretation of this number is possible.
A set of states S on an OML L is called ordering iff for all s ∈ S and all a, b ∈ L, s(a) ≤ s(b) implies a ≤ b. Let us note that from the physical point of view only OMLs with ordering sets of states are interesting, since the only way to establish experimentally partial order relation between experimental propositions is to make a series of experiments on the studied physical object prepared in various states, checking in this way whether s(a) ≤ s(b) for various states s.

Conjunctions and Disjunctions Generated by Kotas Conditionals
In a paper [14] one of the authors proposed to use a formal Mackey decomposition: , of any two (not necessarily compatible) elements a, b ∈OML in order to define the following conjunction-like and disjunction-like operations on an OML: It occurs that for all a, b ∈ OML: so the operations and fulfill the requirement stated in the Introduction. This also means that they satisfy numerous identities that are typical to conjunction and disjunction (idempotency, law of excluded middle, law if contradiction, 0-1 laws, etc.). Moreover, they define on an OML partial order relation in the same way as meets and joins do: and this relation coincides with the original partial order: Later on the late Secretary of the International Quantum Structures Association Dr. Bart D'Hooghe found that the pair of operations and is one of five possible pairs of operations, different from join and meet, that can be defined by the so called Kotas conditionals [6] and orthocomplementation in the same way as disjunction and conjunction can be defined by implication and negation in classical logic: a OR b := (NOT a) IMPLIES b, a AND b := NOT ((NOT a) OR (NOT b)). These operations, expressed with the aid of meet, join, and orthocomplementation, are as follows (the numbering is the same as original Kotas numbering of his conditionals in [6]): and Obviously operations and defined previously without reference to the third Kotas conditional coincide, respectively, with 3 and 3 . It is also worth noticing that only operations 3 and 3 are, like join and meet, commutative on both: compatible and noncompatible elements of an OML. Operations i and i for i = 1, 2, 4, 5 are not commutative on noncompatible elements of an OML. Except of commutativity, all operations generated by Kotas conditionals have the same properties [3]. 1 In particular they all have property expressed in (3), i.e., they all coincide with join and meet on and only on compatible elements of an OML, and they all define by formula (4) partial order relation that coincides with the original one. This means that all these pairs of operations fulfill the requirement stated in Introduction, and that it is not possible to state experimentally which one of them is the proper mathematical representation of conjunctions and disjunctions in quantum logics since one can simultaneously check experimental propositions if and only if they are represented by compatible elements of an OML.

Representation of Quantum Logics
The results of investigations performed by one of the authors through years [12,13,15,16] (all results are collected in [17]) show that every OML (even orthomodular poset) with an ordering set of states S can be isomorphically represented as a family L(S) of infinite-valued propositional functions defined on S endowed with Łukasiewicz conjunction: where [a(s)] ∈ [0, 1] denotes truth-value of a proposition a(s) obtained from the propositional function a(·) by inserting into it a (name of) a state s, and Łukasiewicz disjunction: such that: via the formula: where t (·) denotes the always-true propositional function, and we infer from (13) The isomorphism between an OML L with an ordering set of states S and the family of propositional functions L(S) satisfying conditions (a) -(d) is defined as follows: It occurs that for any state s ∈ S and any experimental proposition represented by an element a of an OML a number s(a) = a(s) usually interpreted as the probability of getting positive result in an experiment designed to check whether a is true when a studied physical object is in a state represented by s, can be reinterpreted as a truth-value of an infinite-valued proposition 'an experiment designed to check "a" when a physical system is in the state "s" will yield positive result'. It should be stressed that this proposition concerns future eventthe result of not-yet-performed experiment. When the experiment is completed we are back to classical two-valued logic, which is a source of an erroneous conviction that quantum logic, although non-classical because of non-distributivity, is two-valued (cf. [15]).

Łukasiewicz Conjunction and Disjunction Versus Meet and Join
Because of the isomorphism mentioned in the beginning of this Section, we have two pairs of conjunction-like and disjunction-like operations on an OML with an ordering set of states S isomorphically represented by the family L(S): meets and joins generated by partial order relation (14), and Łukasiewicz conjunctions and disjunctions. Of course it is very interesting to study relations between these two pairs of operations, specially to check whether Łukasiewicz operations could be used as models of conjunctions and disjunctions in OMLs instead of meets and joins.
The following theorem was proved in a different and slightly more general form (fuzzy sets instead of propositional functions, and OMPs instead of OMLs) in [13]:

Theorem 1 Let L be an OML with an ordering set of states S and let L(S) be its isomorphic representation as a family of ∞-valued propositional functions defined on S. Let a(·), b(·) ∈ L(S). Then a(·) b(·) ∈ L(S) iff a(·) b(·) ∈ L(S), and in this case a(·) and b(·) are compatible, a(·) b(·) = a(·) ∧ b(·), and a(·) b(·) = a(·) ∨ b(·).
From this theorem it is clearly visible that Łukasiewicz conjunctions and disjunctions are, in general, only partially defined. Indeed, if they were globally defined, then any two elements would be compatible, so any OML with an ordering set of states would be a Boolean algebra.
By transposition of an implication a(·) b(·), a(·) b(·) ∈ L(S) ⇒ a(·) ↔ b(·) we obtain Corollary: Theorem 1 and Corollary 1 mean that Łukasiewicz conjunction and disjunction 'almost' fulfill requirements stated in Introduction: although they are only partially defined on L(S), when they are defined they coincide, respectively, with meet and join, and in this case all pairs of elements on which they are defined are compatible. On the other hand, they are not defined on noncompatible elements of L(S) which, since experimental propositions can be checked simultaneously only when they are represented by compatible elements of an OML, causes no problems. Therefore, it is very tempting to state that conjunctions and disjunctions in quantum logic should not be modeled by meets and joins but by Łukasiewicz conjunctions and disjunctions, which coincide with meets and joins whenever they are defined.
Unfortunately, in [13,17] there were given examples of Boolean algebras in which Łukasiewicz conjunctions and disjunctions were not defined on some pairs of elements. This shows that compatibility of elements is not a sufficient condition for Łukasiewicz operations to be defined on them. However, it should be stressed that examples studied in [13,17] are highly artificial and it is not known yet whether such examples could be found in the case of an OML L(H) of (orthogonal projections onto) closed linear subspaces of a Hilbert space H that represent 'experimental propositions' pertaining to a quantum object.
The other unpleasant feature of Łukasiewicz conjunction and disjunction is their nonidempotency: If for some state s ∈ S the truth value of a proposition a(s) is non-classical, i.e.,

s-Maps and j -Maps as Probabilities of Conjunctions and Disjunctions
The third proposal of solving the problem of conjunctions and disjunctions in quantum logic is different from two previous ones. The aim of two previous proposals was to find new operations on OMLs that coincide with meets and joins on pairs of compatible elements but would be either different from meets and joins, or be not defined at all on pairs of elements that are not compatible. However, in mathematical description of quantum systems we are usually not so much interested what element of an OML L(H) represents conjunction or disjunction of two experimentally verifiable propositions, but rather what is the probability that their conjunction or disjunction is true. Therefore, it would be sufficient to define on the Cartesian product of an OML with itself functions of two variables that would coincide with a probability of meet or join on pairs of compatible elements but could be different from them when their arguments are noncompatible. This was exactly the aim of O. Nánásiová when she introduced in [ p(a, b) can be really thought of as representing probability of simultaneous verification of both propositions in a single experiment. If propositions a and b are not compatible, p(a, b) may be different from s p (a ∧ b). Nevertheless, the value p(a, b) can be thought of as representing probability of simultaneous verification of a and b in a 'counterfactual measurement', so one could say : 'p(a, b) is the probability of simultaneous verification of propositions a and b if we were able perform it' or, equivalently, the truth-value of 'counterfactual conjunction' of propositions a and b.
In [10] (see also [9], [18]) the following notion of a join map (abbr. j-map) on an OML as a function q : L × L → [0, 1] was introduced: a ⊥ b, then q(a, b) = q(a, a) + q(b, b); (j3) if a ⊥ b, then for any c ∈ L: It was proved in [9] that if p is an s-map on an OML, then q p (a, b) = p(a, a) , so again for compatible propositions this number can be thought of as probability of verification of disjunction 'a or b' in a single experiment. If propositions a and b are not compatible, this number can be thought of as representing probability of verification of disjunction 'a or b' in a 'counterfactual measurement' or, equivalently, the truth-value of 'counterfactual disjunction' of propositions a and b.

Summary and Open Questions
We proposed three solutions to the long-lasting problem of finding proper mathematical representations of conjunctions and disjunctions in quantum logics. Although according to Birkhoff and von Neumann [2] in the case of compatible propositions their conjuctions and disjunctions are properly modeled by their meets and joins, extending this statement to propositions that are not compatible is very doubtful.
Since Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.