Nonlocal resources in the presence of superselection rules

Superselection rules severely alter the possible operations that can be implemented on a distributed quantum system. Whereas the restriction to local operations imposed by a bipartite setting gives rise to the notion of entanglement as a nonlocal resource, the superselection rule associated with particle number conservation leads to a new resource, the superselection induced variance of the local particle number. We show that, in the case of pure quantum states, one can quantify the nonlocal properties by only two additive measures, and that all states with the same measures can be asymptotically interconverted into each other by local operations and classical communication. Furthermore we discuss how superselection rules affect the concepts of majorization, teleportation, and mixed state entanglement.     

Quantum nonlocality in the presence of superselection rules and data hiding protocols

We consider a quantum system subject to superselection rules, for which certain restrictions apply to the quantum operations that can be implemented. It is shown how the notion of quantum nonlocality has to be redefined in the presence of superselection rules: there exist separable states that cannot be prepared locally and exhibit some form of nonlocality. Moreover, the notion of local distinguishability in the presence of classical communication has to be altered. This can be used to perform quantum information tasks that are otherwise impossible. In particular, this leads to the introduction of perfect quantum data hiding protocols, for which quantum communication (eventually in the form of a separable but nonlocal state) is needed to unlock the secret.     

Representations of empirical set theories

Any manual of Boolean locales in the strong sense, namely a subcategory of the opposite category of the category of complete Boolean algebras and complete Boolean homomorphisms satisfying not only conditions (3.1)–(3.10) of our previous paper [International Journal of Theoretical Physics,32, 1293 (1993b)], but also conditions (4.1)–(4.4) of that paper, is shown to be representable as the second-class orthomodular manual of Boolean locales on an orthomodular poset In this sense the study on manuals of Boolean locales in the strong sense is tantamount to the study on a special class of orthomodular posets, though our viewpoint is radically different from the conventional one in the traditional approach to orthomodular posets. Then the notion of a manual of Hilbert spaces or exactly what is called a manual of Hilbert locales is introduced, over which a variant of the celebrated Gelfand-Naimark-Segal theorem for a manual of Boolean locales in the strong sense is established.     

Quantum logic axioms and the proposition-state structure

A possible picture of the axiomatic basis of quantum mechanics is drawn and the set of propositions of the quantum logic approach to quantum mechanics is shown to be a complete, orthocomplemented and weakly modular lattice. A condition that the set of propositions be atomic is found, in which the notion of characteristic state is involved. This scheme is compared with the usual Hilbert one, and in a Hilbert picture in which discrete superselection rules can be present also, the characteristic states are shown to be the pure states.Both authors acknowledge a C.N.R. (Comitato Nazionale per le Scienze Matematiche) scholarship.Also Scuola di Perfezionamento in Fisica, Università di Milano.     

Spectral Automorphisms in Quantum Logics

In quantum mechanics, the Hilbert space formalism might be physically justified in terms of some axioms based on the orthomodular lattice (OML) mathematical structure (Piron in Foundations of Quantum Physics, Benjamin, Reading, 1976). We intend to investigate the extent to which some fundamental physical facts can be described in the more general framework of OMLs, without the support of Hilbert space-specific tools. We consider the study of lattice automorphisms properties as a “substitute” for Hilbert space techniques in investigating the spectral properties of observables. This is why we introduce the notion of spectral automorphism of an OML. Properties of spectral automorphisms and of their spectra are studied. We prove that the presence of nontrivial spectral automorphisms allow us to distinguish between classical and nonclassical theories. We also prove, for finite dimensional OMLs, that for every spectral automorphism there is a basis of invariant atoms. This is an analogue of the spectral theorem for unitary operators having purely point spectrum.     

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.     

Importance of reversibility in the quantum formalism

In this Letter I stress the role of causal reversibility (time symmetry), together with causality and locality, in the justification of the quantum formalism. First, in the algebraic quantum formalism, I show that the assumption of reversibility implies that the observables of a quantum theory form an abstract real C^{?} algebra, and can be represented as an algebra of operators on a real Hilbert space. Second, in the quantum logic formalism, I emphasize which axioms for the lattice of propositions (the existence of an orthocomplementation and the covering property) derive from reversibility. A new argument based on locality and Soler's theorem is used to derive the representation as projectors on a regular Hilbert space from the general quantum logic formalism. In both cases it is recalled that the restriction to complex algebras and Hilbert spaces comes from the constraints of locality and separability.     

The structure of the quantum mechanical state space and induced superselection rules

The role of superselection rules for the derivation of classical probability within quantum mechanics is investigated and examples of superselection rules induced by the environment are discussed     

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.     

Functional approach to scattering in quantum field theory

A functional approach to scattering theory in quantum field theory is developed by deriving an explicit functional expression fortransition amplitudes. In applications, the formalism avoids dealing with noncommutativity problems of field operators, avoids solving the field equations, avoids dealing with the often quite complicated continual (path) integrals, and avoids combinatoric problems associated with Feynman rules and the old-fashioned Wick's theorem. Finally, it avoids explicitly taking mass shell limits as in the LSZ formalism. The basic idea of the formalism is to use the quantum action principle followed by a systematic analysis of the concept of stimulated emissions as applied to particles of any spin, and is a generalization of an earlier method applied by the author to the much simpler situation of quantum mechanics.     

The Formulation of Quantum Mechanics in Terms of Nuclear Algebras

In this work we analyze the convenience ofnuclear barreled b*-algebras as a better mathematicalframework for the formulation of quantum principles thanthe usual algebraic formalism in terms of C*-algebras. Unbounded operators on Hilbert spaces have anabstract counterpart in our approach. The main resultsof the C*-algebra theory remain valid. We demonstrate anextremal decomposition theorem, an adequate functional representation theorem, and anextension of the classical GNS theorem.     

Trajectories and causal phase-space approach to relativistic quantum mechanics

We analyze phase-space approaches to relativistic quantum mechanics from the viewpoint of the causal interpretation. In particular, we discuss the canonical phase space associated with stochastic quantization, its relation to Hilbert space, and the Wigner-Moyal formalism. We then consider the nature of Feynman paths, and the problem of nonlocality, and conclude that a perfectly consistent relativistically covariant interpretation of quantum mechanics which retains the notion of particle trajectory is possible.     

Quantum Kinematic Theory of the Poincare Group in Two-Dimensional Spacetime

Non-Abelian quantum kinematics is applied to thePoincare group P ₊ (1, 1),as an example of the quantization-through-the-symmetryapproach to quantum mechanics. Upon quantizing thegroup, generalized Heisenberg commutation relations are obtained, and aclosed Heisenberg–Weyl algebra follows. Then,according to the general theory, the three basicquantum-kinematic invariant operators are calculated;these afford the superselection rules for diagonalizing theincoherent rigged Hilbert space H(P ₊ ) of the regularrepresentation. This paper examines only one of thesediagonalization schemes, while introducing a irreducible spacetime representation carried by isotopicplane-wave eigenvectors of two compatible superselectionoperators (which define a Poincare-invariant linear2-momentum). Thereafter, the principle of microcausality produces massive 2-spinor isotopic states in 1+ 1 Minkowski space. The Dirac equation is thus deducedwithin the quantum kinematic formalism, and the familiarJordan–Pauli propagation kernel in 2-dimensional spacetime is also obtained as a Hurwitzinvariant integral over the group manifold. The maininterest of this approach lies in the adoptedgroup-quantization technique, which is a strictlydeductive method and uses exclusively the assumed Poincaresymmetry.     

Realistic quantum probability

A mathemetical framework for a realistic quantum probability theory is presented. The basic elements of this framework are measurements and amplitudes. Definitions of the various concepts are motivated by guidelines from the path integral formalism for quantum mechanics. The operational meaning of these concepts is discussed. Superpositions of amplitude functions are investigated and superselection sectors are shown to occur in a natural way. It is shown that this framework includes traditional nonrelativistic quantum mechanics as a special case. Proofs of most of the theorems will appear elsewhere.     

Conformal field algebras with quantum symmetry from the theory of superselection sectors

According to the theory of superselection sectors of Doplicher, Haag, and Roberts, field operators which make transitions between different superselection sectors—i.e. different irreducible representations of the observable algebra—are to be constructed by adjoining localized endomorphisms to the algebra of local observables. We find the relevant endomorphisms of the chiral algebra of observables in the minimal conformal model with central chargec=1/2 (Ising model). We show by explicit and elementary construction how they determine a representation of the braid groupB which is associated with a Temperley-Lieb-Jones algebra. We recover fusion rules, and compute the quantum dimensions of the superselection sectors. We exhibit a field algebra which is quantum group covariant and acts in the Hilbert space of physical states. It obeys local braid relations in an appropriate weak sense.     

Arrow of Time in Rigged Hilbert Space Quantum Mechanics

Arno Bohm and Ilya Prigogine's Brussels–Austin Group have been working on the quantum mechanical arrow of time and irreversibility in rigged Hilbert space quantum mechanics. A crucial notion in Bohm's approach is the so-called preparation/registration arrow. An analysis of this arrow and its role in Bohm's theory of scattering is given. Similarly, the Brussels–Austin Group uses an excitation/de-excitation arrow for ordering events, which is also analyzed. The relationship between the two approaches is initially discussed focusing on their semi-group operators and time arrows. Finally a possible realist interpretation of the rigged Hilbert space formulation of quantum mechanics is considered.     

Measurements and mathematical formalism of quantum mechanics

A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum mechanics, and to study the limits of its applicability. A short outline is given of the necessary material from the theory of algebras and probability theory. It is described how the mathematical scheme of the paper agrees with the theory of quantum measurements, and avoids quantum paradoxes.