The principle of detailed balance is at the basis of equilibrium physics and is equivalent to the Kubo–Martin–Schwinger (KMS) condition (under quite general assumptions). In the present paper we prove that a large class of non-equilibrium quantum systems satisfies a dynamical generalization of the detailed balance condition (dynamical detailed balance) expressing the fact that all the micro-currents, associated to the Bohr frequencies are constant. The usual (equilibrium) detailed balance condition is characterized by the property that this constant is identically zero. From this we deduce a simple and experimentally measurable relation expressing the microcurrent associated to a transition between two levels ∊m→∊n as a linear combination of the occupation probabilities of the two levels, with coefficients given by the generalized susceptivities (transport coefficients). We then give a second characterization of the dynamical detailed balance condition using a master equation rather than the microcurrents. Finally we show that these two conditions are equivalent to a "local" generalization of the usual KMS condition. Summing up: rather than postulating some ansatz on the basis of phenomenological models or of numerical simulations, we deduce, directly in the quantum domain and from fundamental principles, some natural and simple non equilibrium generalizations of the three main characterizations of equilibrium states. Then we prove that these three, apparently very far, conditions are equivalent. These facts support our convinction that these three equivalent conditions capture a universal aspect of non equilibrium phenomena.
We investigate the extension of the Kubo--Martin--Schwinger (KMS) thermal equilibrium condition to bounded non-Hermitian Hamiltonians with real spectra and biorthogonal eigensystems, providing a unified framework through three complementary constructions: a complete KMS theorem under quasi-Hermiticity, a biorthogonal KMS-type identity whose positivity characterises quasi-Hermiticity, and a quantum-detailed-balance condition for the associated open-system dynamics. Our main result is a thermodynamic characterisation of quasi-Hermiticity: for any diagonalisable
H∈Md(C) with real spectrum, the biorthogonal Gibbs functional
ωbi(A)=Zbi−1∑ne−βEn⟨φn∣A∣ψn⟩ satisfies
ωbi(A†A)≥0 for all
A if and only if
H is quasi-Hermitian. The proof reconstructs the metric
η directly from the eigenprojectors of
ωbi via the Riesz representation theorem, yielding a metric-free criterion for quasi-Hermiticity. Under the quasi-Hermitian hypothesis, we prove that the
η-Gibbs state
ωη(A)=Zη−1Tr[ηe−βHA] satisfies the full analytic KMS condition using the Hadamard three-line theorem and Bari's theorem on Riesz bases. The transported state generally differs from the Gibbs state of the isospectral Hermitian partner whenever
[η,h]=0, so the KMS property cannot be obtained by similarity transformation alone. Finally, within the Haag--Hugenholtz--Winnink programme, we establish the Tomita--Takesaki modular structure of the
η-Gibbs state in finite dimensions, while the construction of a compatible
C∗-norm and the proof of
σ-weak continuity remain open.
We give a general definition of the local KMS condition and we prove its equivalence with a nonlinear Gibbs prescription. We discuss the irreversible
(H,β)-KMS condition, its connections with the local KMS condition and we study the irreversible
(H,β)-KMS condition for Markov generators of stochastic limit type. We introduce a definition of weighted detailed balance based on the notion of current decomposition and discuss invariant states with constant micro--currents. As an example, we construct a non-equilibrium steady state for a quantum spin chain coupled to two reservoirs at different temperatures and study its cycle dynamics and entropy production.
Starting from a microscopic description of weak system-bath interactions, we derive from first principles a quantum master equation that does not rely on the well-known rotating wave approximation. This includes generic many-body systems, with Hamiltonians with vanishingly small energy spacings that forbid that approximation. The equation satisfies a general form of detailed balance, called KMS (Kubo-Martin-Schwinger), which ensures exact convergence to the many-body Gibbs state. Unlike the more common notion of GNS (Gelfand-Naimark-Segal) detailed balance, this notion is compatible with the absence of the rotating wave approximation. We show that the resulting Lindbladian dynamics not only reproduces the thermal equilibrium point up to a small renormalization of the system Hamiltonian, but it also approximates the true system evolution with an error that grows at most linearly in time, giving an exponential improvement upon previous estimates. This master equation has quasilocal jump operators, can be efficiently simulated on a quantum computer, and reduces to the usual Davies dynamics in the limit of a coarse-graining time much larger than the inverse of the smallest frequency difference. With it, we provide a rigorous model of many-body thermalization relevant to both open quantum systems and quantum algorithms.
Many physical processes we observe in nature involve variations of macroscopic quantities over spatial and temporal scales much larger than microscopic molecular collision scales and can be considered as in local thermal equilibrium. In this paper we show that any classical statistical system in local thermal equilibrium has an emergent supersymmetry at low energies. We use the framework of non-equilibrium effective field theory for quantum many-body systems defined on a closed time path contour and consider its classical limit. Unitarity of time evolution requires introducing anti-commuting degrees of freedom and BRST symmetry which survive in the classical limit. The local equilibrium is realized through a Z2 dynamical KMS symmetry. We show that supersymmetry is equivalent to the combination of BRST and a specific consequence of the dynamical KMS symmetry, to which we refer as the special dynamical KMS condition. In particular, we prove a theorem stating that a system satisfying the special dynamical KMS condition is always supersymmetrizable. We discuss a number of examples explicitly, including model A for dynamical critical phenomena, a hydrodynamic theory of nonlinear diffusion, and fluctuating hydrodynamics for relativistic charged fluids.
We investigate quantum thermal state preparation algorithms based on system-bath interactions and uncover a surprising phenomenon in the weak-coupling regime. We rigorously prove that, if the system-bath interaction is engineered so that the transition part of the approximate Lindbladian generator satisfies the Kubo--Martin--Schwinger (KMS) detailed balance condition, then the unique fixed point of the dynamics can be made arbitrarily close to the Gibbs state in the weak-coupling limit, regardless of the structure of the Lamb shift term. Importantly, this remains true even when the approximate Lindbladian differs substantially from the ideal Davies generator and the Lamb shift term does not commute with the thermal state. Our result shows that the role of the KMS detailed balance condition extends well beyond standard Lindbladian dynamics, serving as a general principle for a broader class of dissipative systems. Furthermore, by combining this with a general perturbation framework, we bound the mixing time of the dynamics and establish an end-to-end complexity of
O(ε−1) for Gibbs state preparation. These guarantees apply to any Hamiltonian whose associated KMS-detailed-balance Lindbladian is known to be fast mixing.
Starting from a simple mapping of a generator of local stochastic dynamics to a quantum Hamiltonian, we derive a condition, which allows us to use the quasi-adiabatic evolution and so relate gapped quantum phases with non-equilibrium's. This leads us to a study of invertible matrix product operators. Finally, we present an ansatz for constructing local stochastic dynamics for which the Perron-Frobenius vector has a Matrix Product Representation. Additionally, we get for free that the dynamics satisfy a generalized form of detailed balance.