The groupoids 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 groupoids 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 groupoids 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.
A new picture of Quantum Mechanics based on the theory of groupoids is presented. This picture provides the mathematical background for Schwinger's algebra of selective measurements and helps to understand its scope and eventual applications. In this first paper, the kinematical background is described using elementary notions from category theory, in particular the notion of 2-groupoids as well as their representations. Some basic results are presented, and the relation with the standard Dirac-Schrödinger and Born-Jordan-Heisenberg pictures are succinctly 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 …
In this short letter we review Schwinger's formulation of Quantum Mechanics and we argue that the mathematical structure behind Schwinger's "Symbolism of Atomic Measurements" is that of a groupoid. In this framework, both the Hilbert space (Schrödinger picture) and the $C^{*}$-algebra (Heisenberg picture) of the system turn out to be derived concepts, that is, they arise from the underlying groupoid structure.
In this paper we will present tha main features of what can be called Schwinger's foundational approach to Quantum Mechanics. The basic ingredients of this formulation are the \textit{selective measurements}, whose algebraic composition rules define a mathematical structure called groupoid, which is associated with any physical system. After the introduction of the basic axioms of a groupoid, the concepts of observables and states, statistical interpretation and evolution are derived. An example is finally introduced to support the theoretical description of this approach.
Schwinger's algebra of selective measurements has a natural interpretation in the formalism of groupoids. Its kinematical foundations, as well as the structure of the algebra of observables of the theory, was presented in two previous papers (arXiv:1905.12274 and arXiv:1907.03883). In this paper, a closer look to the statistical interpretation of the theory is taken and it is found that an interpretation in terms of Sorkin's quantum measure emerges naturally. It is proven that a suitable class of states of the algebra of virtual transitions of the theory allows to define quantum measures by me…
Starting from the groupoid approach to Schwinger's picture of Quantum Mechanics, a proposal for the description of symmetries in this framework is advanced.It is shown that, given a groupoid $G\rightrightarrows Ω$ associated with a (quantum) system, there are two possible descriptions of its symmetries, one "microscopic", the other one "global".The microscopic point of view leads to the introduction of an additional layer over the grupoid $G$, giving rise to a suitable algebraic structure of 2-groupoid.On the other hand, taking advantage of the notion of group of bisections of a given groupoid…
In this paper the problem of tomographic reconstruction of states is investigated within the so-called Schwinger's picture of Quantum Mechanics in which a groupoid is associated with every quantum system. The attention is focused on spin tomography: In this context the groupoid of interest is the groupoid of pairs over a finite set. In a nutshell, this groupoid is made up of transitions between all possible pairs of outcomes belonging to a finite set. In addition, these transitions possess a partial composition rule, generalizing the notion of groups. The main goal of the paper consists in pro…
We investigate a quantum gauge theory at finite temperature and density using a variational algorithm for near-term quantum devices. We adapt $β$-VQE to evaluate thermal and quantum expectation values and study the phase diagram for massless Schwinger model along with the temperature and density. By compering the exact variational free energy, we find the variational algorithm work for $T>0$ and $μ>0$ for the Schwinger model. No significant volume dependence of the variational free energy is observed in $μ/g \in[0, 1.4]$. We calculate the chiral condensate and take the continuum extrapolation.…
Theory of Steady States for Lindblad Equations beyond Time-Independence: Classification, Uniqueness and Symmetry
The University of Tokyo（东京大学）；RIKEN Pioneering Research Institute (PRI)（理化学研究所先导研究本部）；RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（理化学研究所交叉理论数学科学中心）
The present survey results from the will to reconcile two approaches to quantum probabilities: one rather physical and coming directly from quantum mechanics, the other more algebraic. The second leading idea is to provide a unified picture introducing jointly to several fields of applications, many of which are probably not all familiar (at leat at the same time and in the form we use to present them) to the readers. Lastly, we take the opportunity to present various results obtained recently that use group and bialgebra techniques to handle notions such as cumulants or Wick polynomials in th…
We propose to address in a natural manner, the modular variable concept explicitly in a Schrödinger picture. The idea of Modular Variables was introduced in 1969 by Aharonov, Pendleton and Petersen to explain certain non-local properties of quantum mechanics. Our approach to this subject is based on Schwinger's finite quantum kinematics and it's continuous limit.
We investigate the entanglement properties of the valence-bond-solid states with generic integer-spin $S$. Using the Schwinger boson representation of the valence-bond-solid states, the entanglement entropy, the von Neumann entropy of a subsystem, is obtained exactly and its relationship with the usual correlation function is clarified. The saturation value of the entanglement entropy, $2 \log_2 (S+1)$, is derived explicitly and is interpreted in terms of the edge-state picture. The validity of our analytical results and the edge-state picture is numerically confirmed. We also propose a novel …
Conventional methods of quantum simulation involve trade-offs that limit their applicability to specific contexts where their use is optimal. In particular, the interaction picture simulation has been found to provide substantial asymptotic advantages for some Hamiltonians, but incurs prohibitive constant factors and is incompatible with methods like qubitization. We provide a framework that allows different simulation methods to be hybridized and thereby improve performance for interaction picture simulations over known algorithms. These approaches show asymptotic improvements over the indivi…
Schwinger's algebra of selective measurements has a natural interpretation in terms of groupoids. This approach is pushed forward in this paper to show that the theory of coherent states has a natural setting in the framework of groupoids. Thus given a quantum mechanical system with associated Hilbert space determined by a representation of a groupoid, it is shown that any invariant subset of the group of invertible elements in the groupoid algebra determines a family of generalized coherent states provided that a completeness condition is satisfied. The standard coherent states for the harmon…
We present a short, general and accessible introduction to quantizing gravity in the Heisenberg picture. We then apply this formalism to the scenario where two spatially superposed masses interact through the gravitational field. We discuss some of the consequences for quantum gravity including the spin of the graviton, the notions of locality and causality, as well as going beyond the linear regime. We use the Schwinger action principle and the Heisenberg representation which we believe make the issues involved clearer. We conclude by commenting on a number of traditionally discussed apparent…
We study the mathematical structure of the notion of measurement space, which extends aspects of noncommutative topology that are based on quantale theory. This yields a geometric model of physical measurements that provides a realist picture, yet also operational, such that measurements and classical information arise interdependently as primitive concepts. A derived notion of classical observer caters for a mathematical formulation of Bohr's classical/quantum divide. Two important classes of measurement spaces are obtained, respectively from C*-algebras and from second-countable locally comp…
Quantum theory based on real numbers cannot be experimentally falsified
Mathematical Institute, Slovak Academy of Sciences（斯洛伐克科学院数学研究所）；ENS Lyon, Inria（里昂高等师范学校，法国国家信息与自动化研究所）；Université Grenoble Alpes, Inria（格勒诺布尔阿尔卑斯大学，法国国家信息与自动化研究所）
