We prove under certain assumptions that there exists a solution of the Schrödinger or the Heisenberg equation of motion generated by a linear operator H acting in some complex Hilbert space H, which may be unbounded, not symmetric, or not normal. We also prove that, under the same assumptions, there exists a time evolution operator in the interaction picture and that the evolution operator enjoys a useful series expansion formula. This expansion is considered to be one of the mathematically rigorous realizations of so called "time-ordered exponential", which is familiar in the physics literature. We apply the general theory to prove the existence of dynamics for the mathematical model of Quantum Electrodynamics (QED) quantized in the Lorenz gauge, the interaction Hamiltonian of which is not even symmetric or normal.
We present a new theorem concerning a sufficient condition for a symmetric operator acting in a complex Hilbert space to be essentially self-adjoint. By applying the theorem, we prove that the Dirac Maxwell Hamiltonian, which describes a quantum system of a Dirac particle and a radiation field minimally interacting with each other, is essentially self-adjoint. Our theorem covers the case where the Dirac particle is in the Coulomb type potential.
We study the Dirac-Maxwell model quantized in the Lorenz gauge. In this gauge, the space of quantum mechanical state vectors inevitably be an indefinite metric vector space so that the canonical commutation relation (CCR) is realized in a Lorentz covariant manner. In order to obtain a physical subspace in which no negative norm state exists, the method first proposed by Gupta and Bleuler is applied with mathematical rigor. It is proved that a suitably defined physical subspace has a positive semi-definit metric, and naturally induces a physical Hilbert space with a positive definite metric. The original Dirac-Maxwell Hamiltonian naturally defines an induced Hamiltonian on the physical Hilbert space which is essentially self-adjoint.
It is shown that free lattice fermions defined by overlap Dirac operator fulfill the Osterwalder-Schrader reflection positivity condition with respect to the link-reflection. The proof holds true in non-gauge models with interactions such as chiral Yukawa models.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.