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.
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.
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 …
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…
A novel derivation of Feynman's sum-over-histories construction of the quantum propagator using the groupoidal description of Schwinger picture of Quantum Mechanics is presented. It is shown that such construction corresponds to the GNS representation of a natural family of states called Dirac-Feynman-Schwinger (DFS) states. Such states are obtained from a q-Lagrangian function $\ell$ on the groupoid of configurations of the system. The groupoid of histories of the system is constructed and the q-Lagrangian $\ell$ allow to define a DFS state on the algebra of the groupoid. The particular insta…
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, …
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…
In this work we uncover the mathematical structure of the Schwinger algebra and introduce an almost unitary Schwinger operators which are derived by considering translation operators on a finite lattice. We calculate mathematical relations between these algebras and show that the almost unitary Schwinger operators are equivalent to the Schwinger algebra. We introduce new representations for MN(C) in terms of these algebras.
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…
The Bohm-Gadella theory, sometimes referred to as the Time Asymmetric Quantum Theory of Scattering and Decay, is based on the Hardy axiom. The Hardy axiom asserts that the solutions of the Lippmann-Schwinger equation are functionals over spaces of Hardy functions. The preparation-registration arrow of time provides the physical justification for the Hardy axiom. In this paper, it is shown that the Hardy axiom is incorrect, because the solutions of the Lippmann-Schwinger equation do not act on spaces of Hardy functions. It is also shown that the derivation of the preparation-registration arrow …
In this paper we develop a picture of Quantum Mechanics based on the description of physical observables in terms of expectation value functions, generalizing thus the so called Ehrenfest theorems for quantum dynamics. Our basic technical ingredient is the set of tools which has been developed in the last years for the geometrical formulation of Quantum Mechanics. In the new picture, we analyze the problem of the dynamical equations, the uncertainty relations and interference and illustrate the construction with the simple case of a two-level system.
We emphasize in these pedagogical notes the that the theory of the Radon transform and its applications is best understood using the theory of the metaplectic group and the quadratic Fourier transforms generating metaplectic operator.. Doing this we hope that these notes will be useful to a larger audience, including researchers in time-frequency analysis.
The aim of this short Note is to show that the Schrödinger and Heisenberg pictures of quantum mechanics are not equivalent unless one uses a quantization rule clearly stated by Born and Jordan in their famous 1925 paper. This rule is sufficient and necessary to ensure energy conservation in Heisenberg's matrix mechanics. It follows, in particular, that Schrödinger and Heisenberg mechanics are not equivalent if one quantizes observables using the Weyl prescription.
The Schr\" odinger picture of the Dirac quantum mechanics is defined in charts with spatially flat Robertson-Walker metrics and Cartesian coordinates. The main observables of this picture are identified, including the interacting part of the Hamiltonian operator produced by the minimal coupling with the gravitational field. It is shown that in this approach new Dirac quantum modes on de Sitter spacetimes may be found analytically solving the Dirac equation.
The existing relation between the tomographic description of quantum states and the convolution algebra of certain discrete groupoids represented on Hilbert spaces will be discussed. The realizations of groupoid algebras based on qudit, photon-number (Fock) states and symplectic tomography quantizers and dequantizers will be constructed. Conditions for identifying the convolution product of groupoid functions and the star--product arising from a quantization--dequantization scheme will be given. A tomographic approach to construct quasi--distributions out of suitable immersions of groupoids in…
Classical nonlinear canonical (Poisson) maps have a distinguished role in quantum mechanics. They act unitarily on the quantum phase space and generate $\hbar$-independent quantum canonical maps. It is shown that such maps act in the noncommutative phase space as dictated by the classical covariance. A crucial observation made is that under the classical covariance the local quantum mechanical picture can become nonlocal in the Hilbert space. This nonlocal picture is made equivalent by the Weyl map to a noncommutative picture in the phase space formulation of the theory. The connection between…
A quaternionic version of Quantum Mechanics is constructed using the Schwinger's formulation based on measurements and a Variational Principle. Commutation relations and evolution equations are provided, and the results are compared with other formulations.
A reformulation of quantum mechanics called ``hybrid interaction picture'' (HIP) is proposed. In contrast to its current non-Hermitian-interaction-picture (NIP) predecessor the new formalism combines a simplification of the NIP Hilbert-space metric with an innovative preconditioning of the observables of interest. Via an illustrative example it is shown that the idea might open new ways towards optimal model-building strategies in quantum theory of unitary systems.
The Rigged Hilbert Space (RHS) theory of resonance scattering and decay is reviewed and contrasted with the standard Hilbert space (HS) theory of quantum mechanics. The main difference is in the choice of boundary conditions. Whereas the conventional theory allows for the in-states $ϕ^+$ and the out-states (observables) $ψ^-$ of the S-matrix elements $(ψ^-,ϕ^+)=(ψ^{out},S ϕ^{in})$ any elements of the HS $\H$, $\{ψ^-\}=\{ϕ^+\}(=\H)$, the RHS theory chooses the boundary conditions~: $ϕ^+\inΦ_-\subset\H\subsetΦ_-^\times$, $ψ^-\inΦ_+\subset \H\subset Φ_+^\times$, where $Φ_-$ ($Φ_+$) are Hardy clas…
In this note we consider a quantum mechanical particle moving inside an infinitesimally thin layer constrained by a parabolic well in the $x$-direction and, moreover, in the presence of an impurity modelled by an attractive Gaussian potential. We investigate the Birman-Schwinger operator associated to a model assuming the presence of a Gaussian impurity inside the layer and prove that such an integral operator is Hilbert-Schmidt, which allows the use of the modified Fredholm determinant in order to compute the bound states created by the impurity. Furthermore, we consider the case where the Ga…
Schrödinger's famous Gedankenexperiment involving a cat is used as a motivation to discuss the evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently. It is shown that the notion of 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. In accordance with Raggio's theorem, the impossibility of evolving the product state of a composite system made up of a classical …
In quantum mechanics the unitary evolution is most often described in a pre-selected Hilbert space ${\cal H}^{(textbook)}$ in which, due to the Stone theorem, the Schrödinger-picture Hamiltonian is self-adjoint, $\mathfrak{h}=\mathfrak{h}^\dagger$. Via a unitary transformation one can also translate the theory (i.e., usually, differential evolution equations) to the Heisenberg or interaction picture. Once we decide to treat ${\cal H}^{(textbook)}$ as a "Dyson's" non-unitary one-to-one image of a new, auxiliary Hilbert space ${\cal H}^{(friendlier)}$, the corresponding (i.e., presumably, user-f…
In this reply, we show that when we apply standard distribution theory to the Lippmann-Schwinger equation, the resulting spaces of test functions would comply with the Hardy axiom only if classic results of Paley and Wiener, of Gelfand and Shilov, and of the theory of ultradistributions were wrong. As well, we point out several differences between the ``standard method'' of constructing rigged Hilbert spaces in quantum mechanics and the method used in Time Asymmetric Quantum Theory.
Recently Ohsawa has studied the Marsden-Weinstein-Meyer quotient of the manifold $T^*\mathbb{R}^n\times T^*\mathbb{R}^{2n^2}$ under a $\operatorname{O}(2n)$-symmetry, and has used this quotient to describe the relationship between two different parametrisations of Gaussian wave packet dynamics commonly used in semiclassical mechanics. In this paper we suggest a new interpretation of (a subset of) the unreduced space as being the frame bundle $\mathcal{F}(T^*\mathbb{R}^n)$ of $T^*\mathbb{R}^n$. We outline some advantages of this interpretation, and explain how it can be extended to more general…
We show that there exists an underlying manifold with a conformal metric and compatible connection form, and a metric type Hamiltonian (which we call the geometrical picture) that can be put into correspondence with the usual Hamilton-Lagrange mechanics. The requirement of dynamical equivalence of the two types of Hamiltonians, that the momenta generated by the two pictures be equal for all times, is sufficient to determine an expansion of the conformal factor, defined on the geometrical coordinate representation, in its domain of analyticity with coefficients to all orders determined by funct…
The most realistic situations in quantum mechanics involve the interaction between two or more systems. In the most of reliable models, the form and structure of the interactions generate differential equations which are, in the most of cases, almost impossible to solve exactly. In this paper, using the Schwinger Quantum Action Principle, we found the time transformation function that solves exactly the harmonic oscillator interacting with a set of other harmonic coupled oscillators. In order to do it, we have introduced a new special set of creation and annihilation operators which leads dire…
We consider topological groupoids in finite and also in a compact settings. In the initial sections, we introduce definitions of typical observables and we studied them in the context of statistical mechanics and quantum mechanics. We exhibit explicit examples and one of them will be the so-called quantum ratchet. This is related to Schwinger's algebra of selective measurements. Here we consider $\mathcal{G}$-kernels, transverse functions, modular functions, and quasi-invariant measures for Haar systems. Later we present our main result which is a version of Tannaka's theorem for Hausdorff com…
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 …
The annihilation-creation operators of the harmonic oscillator, the basic and most important tools in quantum physics, are generalised to most solvable quantum mechanical systems of single degree of freedom including the so-called `discrete' quantum mechanics. They admit exact Heisenberg operator solution. We present unified definition of the annihilation-creation operators (a^{(\pm)}) as the positive/negative frequency parts of the exact Heisenberg operator solution.
A comprehensive review of exactly solvable quantum mechanics is presented with the emphasis of the recently discovered multi-indexed orthogonal polynomials. The main subjects to be discussed are the factorised Hamiltonians, the general structure of the solution spaces of the Schroedinger equation (Crum's theorem and its modifications), the shape invariance, the exact solvability in the Schroedinger picture as well as in the Heisenberg picture, the creation/annihilation operators and the dynamical symmetry algebras, coherent states, various deformation schemes (multiple Darboux transformations)…
