The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio's theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.
The evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently is discussed. It is shown that the notion of a classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. The impossibility of evolving a separable state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution is proven in accordance with Raggio's theorem, which is extended to include a new family of separable states corresponding to the composition of a system with a totally disconnected space of outcomes and a quantum one.
The groupoid description of Schwinger’s picture of quantum mechanics is continued by discussing the closely related notions of composition of systems, subsystems, and their independence. Physical subsystems have a neat algebraic description as subgroupoids of the Schwinger’s groupoid of the system. The groupoid picture offers two natural notions of composition of systems: Direct and free products of groupoids, that will be analyzed in depth as well as their universal character. Finally, the notion of independence of subsystems will be reviewed, finding that the usual notion of independence, as well as the notion of free independence, find a natural realm in the groupoid formalism. The ideas described in this paper will be illustrated by using the EPRB experiment. It will be observed that, in addition to the notion of the non-separability provided by the entangled state of the system, there is an intrinsic “non-separability” associated to the impossibility of identifying the entangled particles as subsystems of the total system.
The basic ingredients of the groupoid interpretation of Quantum Mechanics are discussed. Starting with the motivation to consider measure groupoids as the appropriate statistical and kinematical setting to describe quantum mechanical systems, the algebra of observables of the system is constructed as the von Neumann algebra of the groupoid. The interpretation of the theory for classical systems is briefly analysed. As a final application of these ideas, Feynman's sum-over-histories interpretation of the theory is discussed in the groupoid picture.
Using the recently developed groupoidal description of Schwinger’s picture of Quantum Mechanics, a new approach to Dirac’s fundamental question on the role of the Lagrangian in Quantum Mechanics is provided. It is shown that a function [Formula: see text] on the groupoid of configurations (or kinematical groupoid) of a quantum system determines a state on the von Neumann algebra of the histories of the system. This function, which we call q-Lagrangian, can be described in terms of a new function [Formula: see text] on the Lie algebroid of the theory. When the kinematical groupoid is the pair groupoid of a smooth manifold M, the quadratic expansion of [Formula: see text] will reproduce the standard Lagrangians on TM used to describe the classical dynamics of particles.
The kinematical foundations of Schwinger’s algebra of selective measurements were discussed in [F. M. Ciaglia, A. Ibort and G. Marmo, Schwinger’s picture of quantum mechanics I: Groupoids, To appear in IJGMMP (2019)] and, as a consequence of this, a new picture of quantum mechanics based on groupoids was proposed. In this paper, the dynamical aspects of the theory are analyzed. For that, the algebra generated by the observables, as well as the notion of state, are discussed, and the structure of the transition functions, that plays an instrumental role in Schwinger’s picture, is elucidated. A Hamiltonian picture of dynamical evolution emerges naturally, and the formalism offers a simple way to discuss the quantum-to-classical transition. Some basic examples, the qubit and the harmonic oscillator, are examined, and the relation with the standard Dirac–Schrödinger and Born–Jordan–Heisenberg pictures is discussed.
The kinematical foundations of Schwinger's algebra of selective measurements were discussed in a previous paper (arXiv:1905.12274) and, as a consequence of this, a new picture of quantum mechanics based on groupoids was proposed. In this paper, the dynamical aspects of the theory are analysed. For that, the algebra generated by the observables, as well as the notion of state, are dicussed, and the structure of the transition functions, that plays an instrumental role in Schwinger's picture, is elucidated. A Hamiltonian picture of dynamical evolution emerges naturally, and the formalism offers a simple way to discuss the quantum-to-classical transition. Some basic examples, the qubit and the harmonic oscillator, are examined, and the relation with the standard Dirac-Schr\"odinger and Born-Jordan-Heisenberg pictures is discussed.
This paper begins the study of the relation between causality and quantum mechanics, taking advantage of the groupoidal description of quantum mechanical systems inspired by Schwinger's picture of quantum mechanics. After identifying causal structures on groupoids with a particular class of subcategories, called causal categories accordingly, it will be shown that causal structures can be recovered from a particular class of non-selfadjoint class of algebras, known as triangular operator algebras, contained in the von Neumann algebra of the groupoid of the quantum system. As a consequence of this, Sorkin's incidence theorem will be proved and some illustrative examples will be discussed.