We provide an extended account of the recent statistical mechanical theory of gauge invariance against operator shifting in quantum many-body systems [J. Müller and M. Schmidt, Phys. Rev. E 114, L022104 (2026)10.1103/dzz3-m28k]. The gauge transformation is enacted by a shifting superoperator that displaces the fundamental position and momentum degrees of freedom. The shifting superoperator constitutes a map between Hilbert space operators, and it features Lie algebra commutator structure. Averages of general observables remain invariant under the shifting both in and out of thermal equilibrium, as well as in ground states. The gauge invariance induces exact sum rules that interconnect global observables and associated locally resolved correlation functions. In particular we describe the resulting one-body force, hyperforce, product, and two-body sum rules. We relate the shifting superoperator to a previously formulated quantum canonical transformation and present the generalization of quantum shifting to multicomponent systems. The gauge theory respects fundamental fermionic and bosonic particle properties, as we demonstrate by proving the compatibility of operator shifting and exchange symmetry. We formulate the quantum version of hyperdensity functional theory to provide formal access to hyperforces as well as to general averaged quantum observables via universal density functionals. For time-dependent situations, we describe quantum dynamical gauge invariance and prove exact dynamical sum rules for nonequilibrium situations, as generated by Hamiltonian time dependence. We argue for the fundamental status of statistical mechanical gauge invariance based on the compliance of the underlying geometry with canonical quantization according to Dirac's correspondence principle. Analogies and differences of the quantum mechanical sum rules with their classical counterparts remain indicative of the respective levels of description.
Statistical-gauge structures generated by current operators provide a symmetry-based description of forces and hyperforces in closed quantum statistical mechanics, but their status in open quantum dynamics remains largely unexplored. Here we develop a generalized statistical-gauge framework for Markovian open quantum systems governed by Lindblad evolution. The construction formulates statistical shifts in a smeared operator language, thereby avoiding singular local expressions while preserving the force and hyperforce content of the closed theory. Within this framework, the action of the Lindblad generator is analyzed in a jump-resolved representation that separates Hamiltonian transport from dissipative contributions in jump space. The central result is a modular Ward identity that holds for any full-rank quantum state, independently of equilibrium, stationarity, or unitary dynamics. We show that weak covariance is controlled by the full dissipative structure in jump space, rather than by invariance of individual jump operators or by particle-number conservation. This leads to a classification of continuum reservoirs according to density weight and spatial rate profile, and shows that Lindblad dynamics can deform the transported shift algebra through its product defect even when the bath is weakly covariant. Physically, the theory explains why uniform one-body loss or pumping may preserve the statistical-gauge structure, whereas density dephasing, multiparticle loss, and nonuniform bath profiles generically produce covariance-breaking residuals. These residuals provide practical diagnostics for reservoir engineering, approximate master equations, and numerical many-body simulations of open quantum systems.
Let
H1 be a finite dimensional complex Hilbert space. Let
ψ↦Z(ψ) be a canonical anti-commutation relations (CAR) field over
H1 acting irreducibly on a Hilbert space
K. The
∗-algebra
AH1 generated by the
Z(ψ),
ψ∈H1, is simply all operators on
K. However, the CAR field endows
AH1 with additional structure, and we are concerned with quantum operations acting in harmony with this structure. In particular, there is a "gauge" automorphism group generated by "second quantizing''
ψ↦eitψ. The fixed point algebra of the gauge group,
GH1, is a sub-algebra of
AH1 studied by Araki and Wyss. It contains the density matrices of an important class of states, the {\em gauge invariant Gaussian states},
SGIG.
Our focus is on semigroups
{etL}t≥0 of quantum operations on
AH1 that map
SGIG into itself. Each
etL is one-to-one, and our first main result is a structure theorem for such quantum operations on
GH1 that map
SGIG into itself.
We apply this to study semigroups of quantum operations on
GH1 that map
SGIG into itself. Our second main result is a structure theorem showing that they are parameterized by pairs
(G,A) where
G is a contraction semigroup generator on
H1, and
0≤A≤−G−G∗. We then show that each of these semigroups has a natural extension to the full CAR algebra
AH1. Further results are obtained under further assumptions on the pair
(G,A).
Abstract The functional integral representation of the density matrix at thermal equilibrium in non-relativistic quantum mechanics (QM) with many degrees of freedom, in the grand canonical formulation is introduced. In QM, Hamiltonians H(p,q) can be also expressed in terms of creation and annihilation operators, a method adapted to the study of perturbed harmonic oscillators. In the holomorphic formalism, quantum operators act by multiplication and differentiation on a vector space of analytic functions. Alternatively, they can also be represented by kernels, functions of complex variables that correspond in the classical limit to a complex parametrization of phase space. The formalism is adapted to the description of many-body boson systems. To this formalism corresponds a path integral representation of the density matrix at thermal equilibrium, where paths belong to complex spaces, instead of the more usual position–momentum phase space. A parallel formalism can be set up to describe systems with many fermion degrees of freedom, with Grassmann variables replacing complex variables. Both formalisms can be generalized to quantum gases of Bose and Fermi particles in the grand canonical formulation. Field integral representations of the corresponding quantum partition functions are derived.
Exact equilibrium constraints in quantum many-body systems, such as sum rules and Ward identities, can be hard to expose because local currents are distributional and equal-time commutators may contain anomaly-like contact terms. We present a simple geometric organization of the recently identified quantum shift symmetry. The local shifting superoperator is viewed as a statistical-gauge connection acting on observables, so hyperforces are covariant derivatives and force balance becomes a thermal Ward identity expressed with the Kubo-Mori inner product. For compact smearings we prove bulk flatness: smeared shift generators close on the Lie bracket of vector fields with no bulk Schwinger term. This closure yields an iterative, all-orders Ward-Bianchi hierarchy of equal-time constraints that closes on a finite set of force insertions and a bilinear force-gradient kernel, leading to general antisymmetry relations and positivity bounds. We fix the microscopic generator by quantizing the diffeomorphism moment map, where Weyl and half-density quantization agree and give a self-adjoint operator without bulk ordering anomalies. Although the bulk connection is flat, global topology remains through holonomy, which links naturally to twisted boundary conditions and flux threading. Background electromagnetic fields deform the algebra through explicit density-weighted curvature insertions rather than a bulk central extension. As an application we treat fractional quantum Hall fluids on a torus, connect the deformation to the guiding-center GMP-W_{∞} algebra, and verify the key identities with exact diagonalization.
The wavefunction of a quantum mechanical system can be evaluated in any gauge and can be expressed in terms of a complete set of eigenstates of a physical observable or of a mathematical operator. If the physical observable is expressed in the same gauge as the Hamiltonian from which the wavefunction is obtained, the expansion coefficients are gauge invariant and have definite experimental implications. This physical observable need not be the energy. If the basis set of vectors are eigenstates of a mathematical operator, the expansion coefficients are gauge dependent. This mathematical operator can be translated to a physical observable once the gauge under which the wavefunction is calculated is specified. The expansion coefficients can then be interpreted as probability amplitudes.