Symmetries on quantum logics

We study conditions under which the group of symmetries of a quantum logic is isomorphic to the group of symmetries on certain subsets of the state space of the logic. The notions of Jordan–Hahn decomposition and ultrafulness of the set of states under consideration play a fundamental role in these investigations. They are used to establish a connection between the elements of the logic and the weak¹-exposed points or extreme points of the unit interval of the Banach dual of the signed state space. The results are then interpreted in the standard logic of quantum mechanics.     

Symmetries and retracts of quantum logics

We prove that there are arbitrarily many quantum logics, none of which is similar to a part of another and each of which has the group of all symmetries isomorphic to a given abstract group. Moreover, each of them contains a given logic with atomic blocks as its sublogic.     

Paraconsistent quantum logics

Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.     

Higher-order quantum logics

Until now quantum logics has been first-order, but physics requires higher-order logics. We construct a natural higher-order languageQ for quantum physics.Q is a finitistic logic based on Peano set theory and Grassmann algebra. Higher-order predicates are identified with their extensions, higher-rank sets. QAND and QOR (the AND and OR ofQ) are naturally noncommutative but reduce to the commutative lattice operations for the first-order part of the language. We form higher-order predicates and sets by a setting operator similar to Peano'st that forms a simple extensort = }} from any extensor. In a note added in proof, we correctQ so that a bond like {{, }} between two fermions and is a quasiboson, as the application to lattice chromodynamics strongly suggests.     

Unsharp quantum logics

The event-structure of a state-event system, containing unsharp elements, can be described either as aregular involutive bounded poset, or alternatively as anunsharp orthoalgebra (called alsodifference poset oreffect algebra). Such structures give rise to different forms ofunsharp quantum logics.     

h-Fuzzy quantum logics

Families of fuzzy subsets equipped by continuous fuzzy connectives which are quantum logics in a traditional sense are studied. As a special case, we obtain a generalized fuzzy quantum logic introduced recently by Pykacz.     

On compatibility in quantum logics

We offer a variant of the intrinsic definition of compatibility in logics. We shown that any compatible subset can be embedded into a Boolean -algebra, we show how the algebra is constructed, and we demonstrate that our definition cannot be weakened unless we put additional assumptions on the logic.     

Probabilistic forcing in quantum logics

It is shown that an orthomodular lattice can be axiomatized as an ortholattice with aunique operation of identity (bi-implication) instead of the operation of implication, and a corresponding algebraic unified quantum logic is formulated. A statisticalyes-no physical interpretation of the quantum logical propositions is then provided to establish a support for a novelyes-no representation of quantum logic which prompts a conjecture about a possible completion of quantum logic by means of probabilistic forcing.     

Irreversible evolution in quantum logics

The notion of dynamical semigroup is introduced in the quantum logic scheme on the set of the states. Under suitable nonempty mathematical assumptions it is shown that a Heisenberg picture exists equivalent to the Schrödinger one and having many aspects similar to those of the Hilbert case.     

Spectral theory in quantum logics

If one supposes a quantum logicL to be a -orthocomplete, orthomodular partially ordered set admitting a set of -orthoadditive functions (called states) fromL to the unit intervals [0, 1] such that these states distinguish the ordering and orthocomplement onL, then the observables onL are identified withL-valued measures defined on the Borel subsets of the real line. In this structure (and without the aid of Hilbert space formalism) the author shows that (1) the spectrum of an observable can be completely characterised by studying the observable (A–)^–1, and (2) corresponding to every observableA there is a spectral resolution uniquely determined byA and uniquely determiningA.     

On blocks in quantum logics

Let L be a quantum logic, Ω(L) the convex set of states on L and M a property, i.e. a convex subset of Ω(L). For any P?L we define A_M(P)={pεL∣μ, vεM and μ|P=v|P?μ(p)=v(p)}. The subset A_M(P)?L is orthomodular and A_M is a closure operator on the subsets of L. We call P?LM-dense, provided A_M(P)=L.We show that a non-classical quantum logic satisfying the chain condition and having a full and unital property M has no block which is M-dense. We also prove that a quantum logic with a property M for which every counter is expectational and no block is M-dense necessarily has uncountably many blocks. In this setting we then discuss projection lattices of von Neumann algebras.     

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.     

Automorphisms of quantum logics

Automorphisms of quantum logics are studied. If a quantum logic, i.e. an orthomodular complete lattice of propositions concerning a physical system, is represented as the lattice of all projections in a von Neumann algebra, then each automorphism of the logic can be represented as a Jordan automorphism in the algebra. Groups of transformations of a physical system are represented as groups of ¹-automorphisms in a von Neumann algebra, provided certain continuity conditions are fulfilled.     

Automata simulating quantum logics

The idea of computational complementarity is developed further. A special class of macroscopic automata to imitate quantum and classical systems is described. The simplest automaton imitating a spin-1/2 particle is completely considered.     

Coupling of quantum logics

A quantum logic is a couple (L, M), whereL is a logic andM is a quite full set of states onL. A tensor product in the category of quantum logics is defined and a comparison with the definition of free orthodistributive product of orthomodular σ lattices is given. Several physically important cases are treated.     

Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules

Quantum logics with continuous superselection rules are shown to be Booleanvalued coherent quantum logics. Since modern set theory provides a transfer principle from standard mathematics to Boolean-valued mathematics, this makes it possible to transfer automatically well-known results on coherent quantum logics to quantum logics with continuous superselection rules. Many illustrations are given.     

Embedding quantum logics in Hilbert space

We show that an orthomodular lattice is embeddable in a Hilbert space if and only if states of a certain kind exist. A physical motivation for the existence of such states is given and a connection is provided between the quantum logic, algebraic, and operational approaches to quantum mechanics.     

A superposition principle in quantum logics

A new definition of the superposition principle in quantum logics is given, which enables us to define the sectors. It is shown that the superposition principle holds only in the irreducible quantum logics.     

Fuzzy set ideas in quantum logics

Fuzzy set theory language and ideas are used to express basic quantum logic notions. The possibility of replacing probabilistic interpretation of quantum mechanics by interpretation based on infinite-valued logics and fuzzy set theory is outlined. Short review of various structures encountered in the fuzzy set approach to quantum logics is given.