Quantum logics and hilbert space

Starting with a quantum logic (a -orthomodular poset) L. a set of probabilistically motivated axioms is suggested to identify L with a standard quantum logic L(H) of all closed linear subspaces of a complex, separable, infinite-dimensional Hilbert space.     

Quantum logics and chemical kinetics

A statistical theory of chemical kinetics is presented based on the quantum logical concept of chemical observables. The apparatus of Boolean algebra $\text{B}$ is applied for the construction of appropriate composition polynomials referring to any stipulated arrangement of the atomic constituents. A physically motivated probability measure μ(F) is introduced on the field $\text{B}$ of chemical observables, which considers the occurrence of the yes response of a given F ? $\text{B}$. The equations for the time evolution of the species density operators and the master equations for the corresponding number densities are derived. The general treatment is applied to a superposition of elementary substitution reactions (AB)_α + C ? (AC)_β + B. The expressions for the reaction rate coefficients are established.     

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.     

Connections among quantum logics. Part 2. Quantum event logics

This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I.     

Connections among quantum logics. Part 1. Quantum propositional logics

In this paper, we propose a theory of quantum logics which is general enough to enable us to reexamine previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which we incorporate are divided into two groups which we call quantum propositional logics and quantum event logics. We include the work of Kochen and Specker (partial Boolean algebras), Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics. In this part of the paper, we develop an axiom system for quantum propositional logics and examine the above structures in the context of this system.     

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.     

Quantum logics derived from asymmetric Mielnik forms

It is shown that a logic will possess a rich set of states if and only if it can be derived from a Mielnik form, not necessarily symmetric.     

Quantum logics seen as quantum testability theories

We confute logical relativism and forward an alternative epistemological thesis according to which nonstandard truth-theories are considered theories of some metalinguistic concepts which do not coincide with truth, this latter concept being exhaustively described by Tarski's truth theory. We illustrate our viewpoint by showing that quantum logics can be interpreted as quantum physical theories of the metalinguistic concept of testability in the framework of a suitable classical language (with Tarskian semantics).     

Quantum logics and completeness criteria of inner product spaces

We present the survey of measure-theoretic completeness criteria for inner product spaces using methods and notions important for quantum logics. Moreover, some new criteria and open problems are given.     

Quantum and braided group Riemannian geometry

We formulate quantum group Riemannian geometry as a gauge theory of quantum differential forms. We first develop (and slightly generalise) classical Riemannian geometry in a self-dual manner as a principal bundle frame resolution and a dual pair of canonical forms. The role of Levi-Civita connection is naturally generalised to connections with vanishing torsion and cotorsion, which we introduce. We then provide the corresponding quantum group and braided group formulations with the universal quantum differential calculus. We also give general constructions, for example, including quantum spheres and quantum planes.     

Quantum logics,physical space,position observables and symmetry

The concepts of physical space, localizability, position and symmetry are incorporated in the quantum logic approach to axiomatic quantum mechanics. The corresponding structure then reduces to the usual von Neumann Hilbert space model for quantum mechanics.     

Affine Maczyński logics on compact convex sets of states

Sets of affine functions satisfying Maczyński orthogonality postulate and defined on compact convex sets of states are examined. Relations between affine Maski logics and Boolean algebras when the set of states is a Bauer simplex (classical mechanics, some models of nonlinear quantum mechanics) are studied. It is shown that an affine Maczyński logic defined on a Bauer simplex is a Boolean algebra if it is a sublattice of a lattice consisting of all bounded affine functions defined on the simplex.     

Quantum geometry of fermionic strings

The formalism of the previous paper is extended to the case of supersymmetric strings. The effective theory which sums up fermionic surfaces is described by the supersymmetric Liouville equation. At D = 10 effective decoupling of the Liouville dilaton takes place and our theory coincides with the old ones. At D = 3 our theory is equilavent to the three-dimensional Ising model, which is thus reduced to the two-dimensional supersymmetric Liouville theory.     

Quantum anticentrifugal force for wormhole geometry

We show the existence of an anticentrifugal force in a wormhole geometry in R³. This counterintuitive force was shown to exist in a flat R² space. The role the geometry plays in the appearance of this force is discussed.     

Quantum geometry and quantum mechanics of integrable systems

Quantum integrable systems and their classical counterparts are considered. We show that the symplectic structure and invariant tori of the classical system can be deformed by a quantization parameter ħ to produce a new (classical) integrable system. The new tori selected by the ħ-equidistance rule represent the spectrum of the quantum system up to O(ħ ^∞) and are invariant under quantum dynamics in the long-time range O(ħ ^−∞). The quantum diffusion over the deformed tori is described. The analytic apparatus uses quantum action-angle coordinates explicitly constructed by an ħ-deformation of the classical action-angles.     

Quantum gravity,random geometry and critical phenomena

We discuss the theory of non-critical strings with extrinsic curvature embedded in a target space dimensiond greater than one. We emphasize the analogy between 2d gravity coupled to matter and non self-avoiding liquid-like membranes with bending rigidity. We first outline the exact solution for strings in dimensionsd<1 via the double scaling limit of matrix models and then discuss the difficulties of an extension tod>1. Evidence from recent and ongoing numerical simulations of dynamically triangulated random surfaces indicate that there is a non-trivial crossover from a crumpled to an extended surface as the bending rigidity is increased. If the cross-over is a true second order phase transition corresponding to a critical point there is the exciting possibility of obtaining a well defined continuum string theory ford>1. This essay received the third award from the Gravity Research Foundation, 1992-Ed.     

Quantum discord and the geometry of Bell-diagonal states

The set of Bell-diagonal states for two qubits can be depicted as a tetrahedron in three dimensions. We consider the level surfaces of entanglement and quantum discord for Bell-diagonal states. This provides a complete picture of the structure of entanglement and discord for this simple case and, in particular, of their nonanalytic behavior under decoherence. The pictorial approach also indicates how to show that discord is neither convex nor concave.