Quantum logics with the existence property

Aquantum logic (-orthocomplete orthomodular poset L with a convex, unital, and separating set of states) is said to have theexistence property if the expectation functionals onlin() associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. We show that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics).Part of this work was done while the author was a visitor at the Department of Mathematics and Computer Science of the University of Denver, Denver, Colorado.     

Axiomatization of quantum logics

Starting with a quantum logic (a -orthomodular poset)L, a set of probabilistically motivated axioms is suggested to identifyL with a standard quantum logicL(H) of all closed linear subspaces of a complex, separable, infinite-dimensional Hilbert space. Attention is paid to recent results in this field.     

Interpreting Quantum Logic as a Pragmatic Structure

Many scholars maintain that the language of quantum mechanics introduces a quantum notion of truth which is formalized by (standard, sharp) quantum logic and is incompatible with the classical (Tarskian) notion of truth. We show that quantum logic can be identified (up to an equivalence relation) with a fragment of a pragmatic language \(\mathcal {L}_{G}^{P}\) of assertive formulas, that are justified or unjustified rather than trueor false. Quantum logic can then be interpreted as an algebraic structure that formalizes properties of the notion of empirical justification according to quantum mechanics rather than properties of a quantum notion of truth. This conclusion agrees with a general integrationist perspective that interprets nonstandard logics as theories of metalinguistic notions different from truth, thus avoiding incompatibility with classical notions and preserving the globality of logic.     

Symmetries in quantum logics

A symmetry in the quantum logic (L, M) is defined as a pair of bijections :L L andv :M M such that the probabilities are preserved. Some properties of the symmetries are investigated.     

Completeness of inner product spaces and quantum logic of splitting subspaces

We show that an inner product space S is complete whenever its system E(S) of all splitting subspaces, i.e., of all subspaces E for which EE =S holds, is a quantum logic, that is, an orthocomplemented orthomodular -orthoposet. It is well known that the quantum logic is an important axiomatic model of quantum mechanics. This generalizes the result of G. Cattaneo and G. Marino (Lett. Math. Phys. 11, 15–20 (1986)) who required that E(S) be a lattice. Moreover, the conditions are weakened to show that S is complete whenever E(S) contains the join of any sequence of one-dimentional orthogonal subspaces.     

Graded tensor products of quantum logics

Two notions of grading of a quantum logic by a product of copies of the group ₂ are introduced and used to define graded tensor products of quantum logics.     

The geometry of generalized quantum logics

Let II be a quantum logic; by this we mean an orthocomplemented, orthomodular, partially ordered set. We assume that II carries a sufficiently large collection of states (probability measures). Then, is embedded as a base for the cone of a partially ordered normed spaceL and II is also embedded in the dual order-unit Banach spaceL ^*. We consider conditions on the pairs (, II) and (L,L ^*) that guarantee that II is a dense subset of the extreme points of the positive part of the unit ball ofL ^*. We demonstrate a connection of these conditions in noncommutative measure theory. The assumptions made here are far weaker than the assumptions of the traditional quantum mechanical formalisms and also apply to situations quite different from quantum mechanics. Finally, we show the connections of this theory to the well-known models of quantum mechanics and classical measure theory.     

Fuzzy quantum logics and infinite-valued Łukasiewicz logic

A new, physically more plausible definition of a fuzzy quantum logic is proposed. It is shown that this definition coincides with the previously studied definition of a fuzzy quantum logic; therefore it defines objects which are traditional quantum logics with ordering sets of states. The new definition is expressed exclusively in terms of fuzzy set operations which are generated by connectives of multiple-valued logic studied by ukasiewicz at the beginning of the 20th century. Therefore, the logic of quantum mechanics is recognized as a version of infinite-valued ukasiewicz logic.     

Computational Logic on Fock Space

Fock space may provide an important mathematical model for quantum computation. For this reason, it may be useful to generalize previous work on computational logic to the Fock space framework. The basic construction of this computational logic is the set D(H) of density operators on a Fock space H. We first define n-sector p _n() and total probabilities p() of elements D(H). We next discuss NOT, AND, and OR operations on D(H). Natural equivalence classes and Scotian elements are described. We also discuss minimal and maximal elements and quantum numbers for the equivalence classes. We finally treat the operation and the stronger equivalence classes associated with this operation.     

Propositions and orthocomplementation in quantum logic

We briefly analyze two partial order relations that are usually introduced in quantum logic by making use of the concepts of yes-no experiment and of preparation as fundamental. We show that two distinct posetsE andL can be defined, the latter being identifiable with the lattice of quantum logic. We consider the posetE and find that it contains a subsetE ₀ which can easily be orthocomplemented. These results are used, together with suitable assumptions, in order to show that an Orthocomplementation inL can be deduced by the Orthocomplementation defined inE ₀, and also to give a rule to find the orthocomplement of any element ofL.Research sponsored by C.N.R. (Italy).     

The theoretical apparatus of semantic realism: A new language for classical and quantum physics

The standard interpretation of quantum physics (QP) and some recent generalizations of this theory rest on the adoption of a rerificationist theory of truth and meaning, while most proposals for modifying and interpreting QP in a realistic way attribute an ontological status to theoretical physical entities (ontological realism). Both terms of this dichotomy are criticizable, and many quantum paradoxes can be attributed to it. We discuss a new viewpoint in this paper (semantic realism, or briefly SR), which applies both to classical physics (CP) and to QP. and is characterized by the attempt of giving up verificationism without adopting ontological realism. As a first step, we construct a formalized observative language L endowed with a correspondence truth theory. Then, we state a set of axioms by means of L which hold both in CP and in QP. and construct a further language L_v which can express bothtestable andtheoretical properties of a given physical system. The concepts ofmeaning andtestability do not collapse in L and L_e hence we can distinguish between semantic and pragmatic compatibility of physical properties and define the concepts of testability and conjoint testability of statements of L and L_e. In this context a new metatheoretical principle (MGP) is stated, which limits the validity of empirical physical laws. By applying SR (in particular. MGP) to QP, one can interpret quantum logic as a theory of testability in QP, show that QP is semantically incomplete, and invalidate the widespread claim that contextuality is unavoidable in QP. Furthermore. SR introduces some changes in the conventional interpretation of ideal measurements and Heisenbergs uncertainty principle.     

Concrete Quantum Logics and Δ -Logics,States and Δ -States

By a concrete quantum logic (in short, by a logic) we mean the orthomodular poset that is set-representable. If \(L=({\Omega },\mathcal {L})\) is a logic and \(\mathcal {L}\) is closed under the formation of symmetric difference, Δ , we call L a Δ -logic. In the first part we situate the known results on logics and states to the context of Δ -logics and Δ -states (the Δ -states are the states that are subadditive with respect to the symmetric difference). Moreover, we observe that the rather prominent logic \(\mathcal {E}^{\text {even}}_{\Omega }\) of all even-coeven subsets of the countable set Ω possesses only Δ -states. Then we show when a state on the logics given by the divisibility relation allows for an extension as a state. In the next paragraph we consider the so called density logic and its Δ -closure. We find that the Δ -closure coincides with the power set. Then we investigate other properties of the density logic and its factor.     

Weak density of states

Let L be a quantum logic, here an orthoalgebra, and let be a convex set of states on L. Then generates a base-normed space, and the dual-order unit-normed space contains a canonically constructed homomorphic copy of L, denoted by e(L). A convex set of states on L is said to be ample provided that every state on L is obtained by restricting an element of the base of the bi-dual order unit-normed space to e(L). For a quantum logic L we show that a convex set of states is ample if and only if is weakly dense in the convex set of all states on L. The notion of ampleness is then discussed in the context of Gleason-type theorems for W^* algebras and JBW algebras and also in the context of classical logics.Dedicated to Prof. Peter Mittelstaedt on the occasion of his sixtieth birthday. Research supported by the Swiss National Science Foundation.     

Modalities and quantum mechanics

Three approaches concerning the usage of modalities in the language of quantum mechanics were considered; Mittelstaedt and I built up a dialog semantics for modalities on a metalinguistic level, and a calculus of quantum modal logic is known that is complete and sound with respect to this dialogic semantics. Van Fraassen replaced the usual interpretation of quantum mechanics (with the projection postulate) by his modal interpretation based on a modal object language. Dalla Chiara translated a nonmodal object language for quantum mechanics and the appropriate quantum logic into a modal language. Specifically we are interested in the similarities and the differences of these three approaches.     

Orthocomplementation and Compound Systems

In their 1936 founding paper on quantum logic, Birkhoff and von Neumann postulated that the lattice describing the experimental propositions concerning a quantum system is orthocomplemented. We prove that this postulate fails for the lattice _sep describing a compound system consisting of so called separated quantum systems. By separated we mean two systems prepared in different “rooms” of the lab, and before any interaction takes place. In that case, the state of the compound system is necessarily a product state. As a consequence, Dirac’s superposition principle fails, and therefore _sep cannot satisfy all Piron’s axioms. In previous works, assuming that _sep is orthocomplemented, it was argued that _sep is not orthomodular and fails to have the covering property. Here we prove that _sep cannot admit an orthocomplementation. Moreover, we propose a natural model for _sep which has the covering property. PACS: 03.65.Ta, 03.65.Ca     

The Qubits of Qunivac

We distinguish between ontic and praxic formulations of quantum theory and adopt a praxic one. We formulate a reversible higher-order quantum logic in a large Clifford algebra Cliff(). We use it to describe the operation of the Quantum Universe As Computer (Qunivac). The qubits of Qunivac are associated with Clifford units with a real Clifford-Wilczek statistics. We encode the spin- Dirac equation on Qunivac in an exactly Lorentz-invariant ultraquantum space-time. Qunivac violates the canonical Heisenberg indeterminacy principle and locality in a way that should show up at high energies only. Qunivac accommodates a field theory.     

Fuzzy Quantum Logics as a Basis for Quantum Probability Theory

Representation of an abstract quantum logic withan ordering set of states S in the form of a family L(S) of fuzzy subsets of S which fulfils conditionsanalogous to Kolmogorovian conditions imposed on -algebra of random events allows us toconstruct quantum probability calculus in a waycompletely parallel to the classical Kolmogorovianprobability calculus. It is shown that the quantumprobability calculus so constructed is a propergeneralization of the classical Kolmogorovian one. Someindications for building a phase-space representation ofquantum mechanics free of the problem of negativeprobabilities are given.     

Three-valued derived logics for classical phase spaces

Reichenbach proposed a three-valued logic to describe quantum mechanics. In his development, Reichenbach presented three different negation operators without providing any criteria for choosing among them. In this paper we develop two three-valuedderived logics for classical systems. These logics are derived in that they are based on a theory of physical measurement. In this regard they have some of the characteristics of the quantum logic developed by Birkhoff and von Neumann. The theory of measurement used in the present development is the one used previously in developingbivalent derived logics for classical systems. As these systems are derived logics, many of the ambiguities possessed by systems such as Reichenbach's are avoided.     

Symmetries of physical theories

A physical theory is, by definition, a complete orthomodular atomic lattice having the covering property. GivenL a quantum logic andS _L the set of all its states, a theorem is proved which asserts that, if certain reasonable assumptions concerningS _L are satisfied, then for any bijective convex mappingU: S _LS_L, satisfying also certain physically meaningful conditions, there exists a unique automorphismV: L L such thatU(p)=p oV ^–1 for allp S _L.     

Converse of the Eilers-Horst theorem

We generalize the theorem of Eilers and Horst, showing that any finite as well as any-finite measure on a quantum logic of all closed subspaces of a Hilbert spaceH of dimension 2 is a Gleason one iff the dimension ofH is a nonmeasurable cardinal.