Tensor Products of Quantum Structures and Their Applications in Quantum Measurements

Tensor products of quantum logics and effect algebras with some known problems are reviewed. It is noticed that although tensor products of effect algebras having at least one state exist, in the category of complex Hilbert space effect algebras similar problems as with tensor products of projection lattices occur. Nevertheless, if one of the two coupled physical systems is classical, tensor product exists and can be considered as a Boolean power. Some applications of tensor products (in the form of Boolean powers) to quantum measurements are reviewed.     

Uniqueness and Order in Sequential Effect Algebras

A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEAs in which the order is completely determined by the sequential product. It is demonstrated that intervals in a sequential ordered SEA admit a sequential product.     

Transition Effect Matrices and Quantum Markov Chains

A transition effect matrix (TEM) is a quantum generalization of a classical stochastic matrix. By employing a TEM we obtain a quantum generalization of a classical Markov chain. We first discuss state and operator dynamics for a quantum Markov chain. We then consider various types of TEMs and vector states. In particular, we study invariant, equilibrium and singular vector states and investigate projective, bistochastic, invertible and unitary TEMs.     

Quantum Lie Algebras, Their Existence, Uniqueness and q-Antisymmetry

Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules of the quantized enveloping algebras . On them the quantum Lie product is given by the quantum adjoint action. Here we define for any finite-dimensional simple complex Lie algebra an abstract quantum Lie algebra independent of any concrete realization. Its h-dependent structure constants are given in terms of inverse quantum Clebsch-Gordan coefficients. We then show that all concrete quantum Lie algebras are isomorphic to an abstract quantum Lie algebra . In this way we prove two important properties of quantum Lie algebras: 1) all quantum Lie algebras associated to the same are isomorphic, 2) the quantum Lie product of any is q-antisymmetric. We also describe a construction of which establishes their existence. Received: 23 May 1996 / Accepted: 17 October 1996     

Tensor Product of Distributive Sequential Effect Algebras and Product Effect Algebras

A distributive sequential effect algebra (DSEA) is an effect algebra on which a distributive sequential product with natural properties is defined. We define the tensor product of two arbitrary DSEA’s and we give a necessary and sufficient condition for it to exist. As a corollary we obtain the result (see Gudder, S. in Math. Slovaca 54:1–11, 2004, to appear) that the tensor product of a pair of commutative sequential effect algebras exists if and only if they admit a bimorphism. We further obtain a similar result for the tensor product of a pair of product effect algebras.     

Non-disturbance Criteria of Quantum Measurements

In 2004, Kirkpatrick discussed three ways (I), (II) and (III) of describing non-disturbance between quantum measurements X and Y, and showed that they are all equivalent to the compatibility of X and Y if they are both sharp measurements. In 2005, based on a special sequential product on the standard effect algebra, Gudder showed that if X and Y are unsharp measurements, then (I) holds if and only if X and Y are compatible and Y is sharp measurement; compatibility of X and Y implies (II), but the converse does not hold, and only (III) is equivalent to the compatibility of X and Y. Liu and Wu (J. Phys. A, Math. Theor. 42:185206, 2009) and Shen and Wu (J. Phys. A, Math. Theor. 42:345203, 2009) showed that there are many sequential products on the standard effect algebra. In this paper, we obtain the same conclusions as Gudder’s for all these sequential products of the standard effect algebra.     

A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities

In the quantum mechanical Hilbert space formalism, the probabilisticinterpretation is a later ad-hoc add-on, more or less enforced by theexperimental evidence, but not motivated by the mathematical model itself. Amodel involving a clear probabilistic interpretation from the very beginningis provided by the quantum logics with unique conditional probabilities. Itincludes the projection lattices in von Neumann algebras and hereprobability conditionalization becomes identical with the state transitionof the Lüders - von Neumann measurement process. This motivates thedefinition of a hierarchy of five compatibility and comeasurability levelsin the abstract setting of the quantum logics with unique conditionalprobabilities. Their meanings are: the absence of quantum interference orinfluence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic (events) belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.     

Quantum Quasi-Shuffle Algebras

We establish some properties of quantum quasi-shuffle algebras. They include the necessary and sufficient condition for the construction of the quantum quasi-shuffle product, the universal property, and the commutativity condition. As an application, we use the quantum quasi-shuffle product to construct a linear basis of T(V), for a special kind of Yang–Baxter algebras (V, m, σ).     

Twisted Heisenberg Doubles

We introduce a twisted version of the Heisenberg double, constructed from a twisted Hopf algebra and a twisted pairing. We state a Stone–von Neumann type theorem for a natural Fock space representation of this twisted Heisenberg double and deduce the effect on the algebra of shifting the product and coproduct of the original twisted Hopf algebra. We conclude by showing that the quantum Weyl algebra, quantum Heisenberg algebras, and lattice Heisenberg algebras are all examples of the general construction.     

Moment maps at the quantum level

We introduce the notion of moment maps for quantum groups acting on their module algebras. When the module algebras are quantizations of Poisson manifolds, we prove that the construction at the quantum level is a quantization of that at the semi-classical level. We also prove that the corresponding smashed product algebras are quantizations of the semi-direct product Poisson structures.Research partially supported by NSF grant DMS-89-07710     

Universal Groups of Effect Spaces

Various axiomatic models for unsharp quantum measurements are investigated. These include effect spaces (E-spaces), effect test spaces (E-test spaces), effect algebras, and test groups. It is shown that a test group G is the universal group of an E-test space if and only if G is strongly atomistic. It follows that if G is strongly atomistic, then G is an interpolation group. We then demonstrate that if G is an interpolation group, then G is the universal group of an E-space. Finally, it is shown that an E-space is isomorphic to an E-test space if and only if it is strongly atomistic.     

A Representation of Quantum Measurement in Nonassociative Algebras

Starting from an abstract setting for the Lüders-von Neumann quantum measurement process and its interpretation as a probability conditionalization rule in a non-Boolean event structure, the author derived a certain generalization of operator algebras in a preceding paper. This is an order-unit space with some specific properties. It becomes a Jordan operator algebra under a certain set of additional conditions, but does not own a multiplication operation in the most general case. A major objective of the present paper is the search for such examples of the structure mentioned above that do not stem from Jordan operator algebras; first natural candidates are matrix algebras over the octonions and other nonassociative rings. Therefore, the case when a nonassociative commutative multiplication exists is studied without assuming that it satisfies the Jordan condition. The characteristics of the resulting algebra are analyzed. This includes the uniqueness of the spectral resolution as well as a criterion for its existence, subalgebras that are Jordan algebras, associative subalgebras, and more different levels of compatibility than occurring in standard quantum mechanics. However, the paper cannot provide the desired example, but contribute to the search by the identification of some typical differences between the potential examples and the Jordan operator algebras and by negative results concerning some first natural candidates. The possibility that no such example exists cannot be ruled out. However, this would result in an unexpected new characterization of Jordan operator algebras, which would have a significant impact on quantum axiomatics since some customary axioms (e.g., power-associativity or the sum postulate for observables) might turn out to be redundant then.     

On the interplay of the centre and the state space in quantum logics

In some quantum system axiomatics (e.g. in the von Neumann formalism) the state space determines the centre. We show that in the logical-algebraic approach there is no kind of dependence (i.e. arbitrary two Boolean algebras may be the centres of two logics whose state spaces are identical).     

Langlands Duality for Representations and Quantum Groups at a Root of Unity

We give a representation-theoretic interpretation of the Langlands character duality of [FH], and show that the “Langlands branching multiplicities” for symmetrizable Kac-Moody Lie algebras are equal to certain tensor product multiplicities. For finite type quantum groups, the connection with tensor products can be explained in terms of tilting modules.     

Algebraic implications of composability of physical systems

From classical and quantum mechanics we abstract the concept of a two-product algebra. One of its products is left unspecified; the other is a Lie product and a derivation with respect to the first. From composition of physical systems we abstract the concept of composition classes of such two-product algebras, each class being a semigroup with a unit. We show that the requirement of mutual consistency of the algebraic and the semigroup structures completely determines both the composition classes and the two-product algebras they consist of. The solutions are labelled by a single parameter which in the physical case is proportional to the square of the quantum of action.     

Classical Versus Quantum Probability in Sequential Measurements

We demonstrate in this paper that the probabilities for sequential measurements have features very different from those of single-time measurements. First, they cannot be modelled by a classical stochastic process. Second, they are contextual, namely they depend strongly on the specific measurement scheme through which they are determined. We construct Positive-Operator-Valued measures (POVM) that provide such probabilities. For observables with continuous spectrum, the constructed POVMs depend strongly on the resolution of the measurement device, a conclusion that persists even if we consider a quantum mechanical measurement device or the presence of an environment. We then examine the same issues in alternative interpretations of quantum theory. We first show that multi-time probabilities cannot be naturally defined in terms of a frequency operator. We next prove that local hidden variable theories cannot reproduce the predictions of quantum theory for sequential measurements, even when the degrees of freedom of the measuring apparatus are taken into account. Bohmian mechanics, however, does not fall in this category. We finally examine an alternative proposal that sequential measurements can be modeled by a process that does not satisfy the Kolmogorov axioms of probability. This removes contextuality without introducing non-locality, but implies that the empirical probabilities cannot be always defined (the event frequencies do not converge). We argue that the predictions of this hypothesis are not ruled out by existing experimental results (examining in particular the “which way” experiments); they are, however, distinguishable in principle.     

Stereodynamics of chemical reactions: quasi-classical,quantum and mixed quantum-classical theories

In this review, some benchmark works by Han and coworkers on the stereodynamics of typical chemical reactions, triatomic reactions H + D₂, Cl + H₂ and O + H₂ and polyatomic reaction Cl+CH₄/CD₄, are presented by using the quasi-classical, quantum and mixed quantum-classical methods. The product alignment and orientation in these A+BC model reactions are discussed in detail. We have also compared our theoretical results with experimental measurements and demonstrated that our theoretical results are in good agreement with the experimental results. Quasi-classical trajectory (QCT) method ignores some quantum effects like the tunneling effect and zero-point energy. The quantum method will be very time-consuming. Moreover, the mixed quantum-classical method can take into account some quantum effects and hence is expected to be applicable to large systems and widely used in chemical stereodynamics studies.     

A three-parameter Hopf deformation of the algebra of Feynman-like diagrams*

We construct a three-parameter deformation of the Hopf algebra LDIAG. This is the algebra that appears in an expansion in terms of Feynman-like diagrams of the product formula in a simplified version of quantum field theory. This new algebra is a true Hopf deformation which reduces to LDIAG for some parameter values and to the algebra of matrix quasi-symmetric functions (MQSym) for others, and thus relates LDIAG to other Hopf algebras of contemporary physics. Moreover, there is an onto linear mapping preserving products from our algebra to the algebra of Euler–Zagier sums.     

Quantum Surfaces,Special Functions,and the Tunneling Effect

The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible representations of associative algebras and the corresponding trace formulas over leaves with complex polarization are obtained. The noncommutative product on the leaves incorporates a closed 2-form and a measure which (in general) are different from the classical symplectic form and the Liouville measure. The quantum objects are related to some generalized special functions. The difference between classical and quantum geometrical structures could even occur to be exponentially small with respect to the deformation parameter. This is interpreted as a tunneling effect in the quantum geometry.     

States On Orthocomplemented Difference Posets (Extensions)

We continue the investigation of orthocomplemented posets that are endowed with a symmetric difference (ODPs). The ODPs are orthomodular and, therefore, can be viewed as “enriched” quantum logics. In this note, we introduced states on ODPs. We derive their basic properties and study the possibility of extending them over larger ODPs. We show that there are extensions of states from Boolean algebras over unital ODPs. Since unital ODPs do not, in general, have to be set-representable, this result can be applied to a rather large class of ODPs. We then ask the same question after replacing Boolean algebras with “nearly Boolean” ODPs (the pseudocomplemented ODPs). Making use of a few results on ODPs, some known and some new, we construct a pseudocomplemented ODP, P, and a state on P that does not allow for extensions over larger ODPs.