Fact-checked by Grok 2 weeks ago

KMS state

In , a KMS state (Kubo–Martin–Schwinger state) is a mathematical of for systems described by operator algebras, characterized by a boundary condition on correlation functions that encodes the inverse β = 1/(k_B T), where k_B is Boltzmann's and T is the . This condition ensures that the state is invariant under the dynamics of the system while exhibiting a specific in , distinguishing it from non-equilibrium states. The KMS condition originated in the study of linear response theory, where Ryogo Kubo introduced a foundational relation between equilibrium correlations and transport coefficients in 1957. Building on this, Paul C. Martin and extended the framework in 1959 to define thermodynamic Green's functions for many-particle systems, emphasizing the role of time-ordered correlation functions in equilibrium. The modern, algebraically rigorous formulation emerged in 1967 through the work of Rudolf Haag, N. M. Hugenholtz, and Marinus Winnink, who defined KMS states on C*-dynamical systems as those satisfying analytic boundary values for functions F(A, B; z) = ω(A τ_z(B)), where ω is the state, τ is the , and the strip of analyticity is 0 < Im(z) < β. KMS states play a central role in algebraic quantum field theory and the Tomita–Takesaki modular theory, where they coincide with the unique β-modular states for type III von Neumann algebras, providing a basis for understanding stability and perturbation theory in infinite systems. For finite-dimensional systems, such as the Gibbs state of a quantum spin chain, the KMS condition uniquely determines the equilibrium state via the canonical ensemble prescription Tr(ρ A) with ρ = e^{-β H}/Z, where H is the Hamiltonian. In relativistic quantum field theories, KMS states describe thermal vacua, linking equilibrium to the Minkowski vacuum via Wick rotation and enabling applications in black hole thermodynamics and Hawking radiation. Their stability under local perturbations, as established by Araki's theorem, underscores their physical relevance for realistic interacting systems.

Introduction

Historical Background

The concept of what would later become known as the was first introduced by Ryogo Kubo in 1957, within the framework of linear response theory for quantum many-body systems, where he derived a relation linking equilibrium correlation functions to response functions under thermal perturbations. Independently, in 1959, Paul C. Martin and Julian Schwinger extended this idea to the study of thermodynamic Green's functions in equilibrium statistical mechanics, emphasizing the analytic continuation properties of correlation functions in the complex time plane for systems at finite temperature. These early contributions laid the groundwork for characterizing thermal equilibrium states through boundary conditions on correlation functions, applicable to quantum many-body systems described by concrete operator representations in infinite-dimensional Hilbert spaces. The formalization of the KMS condition as a general criterion for equilibrium occurred in 1967, when Rudolf Haag, N. M. Hugenholtz, and Marinus Winnink provided a rigorous framework for infinite quantum systems, shifting from concrete operator representations to abstract algebraic structures. Building on this, the theory evolved throughout the late 1960s and 1970s, transitioning to the more general context of , which allowed for a unified treatment of infinite systems and local observables in quantum statistical mechanics; key advancements in this period included integrations with by and , solidifying the connection between and thermal equilibrium representations. This algebraic perspective enabled the characterization of equilibrium states without reliance on specific realizations, influencing subsequent developments in quantum field theory and statistical mechanics.

Overview and Significance

KMS states, originating from the foundational works of Kubo, Martin, and Schwinger in the 1950s, are specialized states defined on C*-algebras of observables in quantum systems that satisfy the Kubo-Martin-Schwinger (KMS) boundary condition. This condition encodes the analytic continuation of correlation functions, thereby representing thermal equilibrium states at a fixed inverse temperature β = 1/(k_B T), where k_B is Boltzmann's constant and T is the temperature. The central significance of KMS states resides in their role as a unifying framework that intrinsically defines temperature and equilibrium without explicit reference to a Hamiltonian operator, effectively bridging quantum mechanics, statistical mechanics, and algebraic quantum field theory. This abstraction allows for a Hamiltonian-independent characterization of thermal properties, facilitating the study of complex many-body systems where traditional Gibbs measures may fail. Within Tomita-Takesaki modular theory for von Neumann algebras, KMS states play a pivotal role, as every faithful normal state generates a one-parameter modular automorphism group with respect to which it satisfies the KMS condition at β = 1, providing a canonical dynamics for equilibrium. In infinite-volume quantum systems featuring short-range interactions, such as one-dimensional lattice models, KMS states exhibit uniqueness, which underpins the existence of a well-defined thermodynamic limit and ensures the stability of equilibrium descriptions.

Foundations in Quantum Mechanics

Equilibrium States

In quantum statistical mechanics, the thermal equilibrium state for a system described by a finite-dimensional Hilbert space \mathcal{H} and Hamiltonian operator H is defined as the Gibbs state at inverse temperature \beta > 0: \omega_\beta(A) = \frac{\operatorname{Tr}(e^{-\beta H} A)}{\operatorname{Tr}(e^{-\beta H})} for any bounded A acting on \mathcal{H}. This formulation arises from maximizing the subject to fixed average energy, analogous to the classical , and ensures the state minimizes the functional. Gibbs states serve as the description of in finite , capturing the probabilistic mixture of energy eigenstates weighted by the Boltzmann factor e^{-\beta E_i}, where E_i are the eigenvalues of H. They exhibit key properties such as complete positivity and preservation, making them operators \rho = e^{-\beta H}/Z with partition function Z = \operatorname{Tr}(e^{-\beta H}). This framework underpins the statistical interpretation of thermal properties like specific heat and susceptibility in isolated . For infinite systems, such as those in the , the concept extends to states on C*-algebras of observables, where the algebra \mathfrak{A} is typically the quasi-local algebra generated by local interactions across an infinite or . Equilibrium states are then positive, normalized linear functionals \omega on \mathfrak{A}, often realized via GNS representations on von Neumann algebras \mathcal{M} associated with the system. This algebraic approach avoids direct reliance on a global , accommodating translation-invariant interactions in extended systems like quantum or fields. A primary challenge in infinite-volume limits is that the formal density operator e^{-\beta H} is generally not trace-class due to the unbounded nature of H on infinite-dimensional spaces, rendering the finite-system trace formula inapplicable and necessitating indirect constructions via limits of finite approximations or modular theory. These states remain stationary under the dynamics generated by the , providing a foundation for analyzing long-time behavior in extended .

Time Evolution and Dynamics

In , the time evolution of observables is formulated in the , where an observable A evolves according to \tau^t(A) = e^{i t H} A e^{-i t H}, with H denoting the . This evolution preserves the algebraic structure of the system and describes how physical quantities change under time translations generated by the . In the algebraic approach to , particularly for systems described by s, the time dynamics are abstracted as a strongly continuous one-parameter group \{\tau^t\}_{t \in \mathbb{R}} of -automorphisms on the C-algebra of observables. These automorphisms encode the Heisenberg evolution in a framework suitable for both finite and infinite , ensuring that the dynamics respect the non-commutative structure of quantum observables. A key dynamical object is the , defined for a \omega and observables A, B as F(A, B; t) = \omega(A \tau^t(B)). This function captures the temporal correlations between observables, providing insight into the propagation of under the . In infinite systems, such as those in or many-body physics, the one-parameter groups of automorphisms are crucial for defining consistent time translations across spatially extended algebras, enabling the study of equilibrium properties without reference to a specific representation. Equilibrium states in this framework serve as invariant measures under the dynamical flow generated by \tau^t.

The KMS Condition

Definition

The KMS condition, named after Ryogo Kubo, Paul C. Martin, and Julian Schwinger, defines a thermal equilibrium state in quantum statistical mechanics for systems modeled by a C*-algebra equipped with a one-parameter group of automorphisms \tau^t representing time evolution. For a state \omega to satisfy the KMS_\beta condition at inverse temperature \beta > 0, its two-point correlation functions must be analytic in a horizontal strip of the complex time plane and fulfill a specific boundary value relation obtained by shifting the time argument by the imaginary amount i\beta. This formulation arises naturally in the study of equilibrium states and extends the classical Gibbs ensemble to infinite systems. Conceptually, the KMS condition acts as a requirement that encodes the thermal character of the state through the of functions into the domain. It builds on the foundations of equilibrium states, which are time-translation invariant, and the dynamics \tau^t, ensuring the state's with . The at imaginary time \beta distinguishes states from ground states (corresponding to \beta = \infty) and reflects the finite-temperature structure of . The condition is often interpreted as a periodicity requirement in with period \beta, which captures the cyclic trace property of thermal density operators and aligns with the Matsubara formalism in . This periodicity underscores the equivalence between path integrals and thermal ensembles, providing an intuitive link to finite-temperature physics. In finite systems, the KMS condition coincides with the canonical Gibbs state \exp(-\beta H)/\operatorname{Tr}[\exp(-\beta H)], but its primary utility lies in infinite-volume systems, where the renders the Gibbs formalism inadequate, allowing a rigorous definition of via analytic boundary conditions.

Mathematical Formulation

The Kubo–Martin–Schwinger (KMS) condition provides a precise mathematical characterization of states in the framework of algebras. Consider a \mathcal{M} acting on a , equipped with a faithful normal state \omega_\beta at inverse temperature \beta > 0, and a one-parameter group of automorphisms \{\tau^t\}_{t \in \mathbb{R}} generated by the dynamics of the system. The two-point is defined as F_{\beta}(A, B; t) = \omega_\beta \left( A \, \tau^t(B) \right) for A, B \in \mathcal{M} and t \in \mathbb{R}. The KMS boundary condition states that this function admits an to the horizontal strip S_\beta = \{ z \in \mathbb{C} \mid 0 < \operatorname{Im} z < \beta \} in the complex plane, with the boundary values satisfying F_{\beta}(A, B; t + i\beta) = \omega_\beta \left( \tau^t(B) \, A \right) for all real t. This relation encodes the cyclic permutation of operators under imaginary time translation by i\beta, reflecting the thermal periodicity. An equivalent integral formulation of the KMS condition, suitable for verification, requires that for every test function f analytic in the strip S_\beta and continuous up to the boundaries with suitable decay at infinity, \int_{-\infty}^{\infty} \omega_\beta \left( A \, \tau^t(B) \right) f(t - i\beta) \, dt = \int_{-\infty}^{\infty} \omega_\beta \left( \tau^t(B) \, A \right) f(t) \, dt. This form arises from contour deformation arguments in the complex plane and holds for all A, B \in \mathcal{M}. In the frequency domain, the KMS condition manifests through the Fourier transforms of the correlation functions. Let G_{\beta}(A, B; t) = \omega_\beta \left( \tau^t(B) \, A \right). The Fourier transforms \hat{F}_{\beta}(\omega) and \hat{G}_{\beta}(\omega) are related by the Boltzmann factor: \hat{F}_{\beta}(\omega) = e^{-\beta \omega} \hat{G}_{\beta}(\omega) for \omega > 0, with appropriate analytic continuations for negative frequencies. This relation highlights the thermal distribution in the . Within Tomita–Takesaki modular theory, the KMS condition extends naturally to the intrinsic dynamics of the algebra. For a faithful normal state \phi on \mathcal{M}, the modular operator \Delta_\phi generates the one-parameter modular automorphism group \{\sigma^\phi_t\} via \sigma^\phi_t(A) = \Delta_\phi^{it} A \Delta_\phi^{-it}. This group satisfies the KMS condition at \beta = 1 with respect to \phi, providing a canonical equilibrium structure independent of external dynamics.

Properties of KMS States

Analytic Properties

The analytic properties of KMS states primarily manifest in the holomorphic behavior of their correlation functions with respect to complex time translations. For a KMS state \omega on a C^*-dynamical system ( \mathcal{A}, \tau_t ) at inverse temperature \beta > 0, the two-point correlation function F_{A,B}(z) = \omega( A \tau_z(B) ) for A, B \in \mathcal{A} is analytic in the open horizontal strip S_\beta = \{ z \in \mathbb{C} \mid 0 < \Im z < \beta \} and continuous up to the boundary \overline{S}_\beta. On the lower boundary, F_{A,B}(t) = \omega( A \tau_t(B) ) for t \in \mathbb{R}, while on the upper boundary, F_{A,B}(t + i\beta) = \omega( \tau_t(B) A ), reflecting the cyclic permutation under time shift by i\beta. This analyticity extends to higher-order correlation functions, ensuring the state's thermal equilibrium is encoded in the complex domain. The holomorphic structure in S_\beta facilitates analytic continuation of the correlation functions across the real axis, interpreting the real-time correlations as boundary values of the analytic function in the upper half-plane up to height \beta. This continuation is bounded and allows for the representation of time evolution in the complex plane, where the KMS boundary condition on \Im z = \beta enforces the thermal periodicity. Such properties underpin the spectral analysis of the dynamics, enabling the decomposition of correlation functions into Fourier components that decay appropriately for equilibrium states. In the framework of Tomita-Takesaki theory, these analytic properties are intimately linked to the modular flow generated by the modular operator \Delta. For the GNS representation of the KMS state \omega, the modular automorphism group is given by \sigma_t^\omega(A) = \Delta^{it} A \Delta^{-it} for A in the von Neumann algebra generated by \mathcal{A}, and \omega is invariant under \sigma_t^\omega. The KMS condition at inverse temperature \beta aligns the physical time evolution \tau_t with the modular flow via \tau_t = \sigma_{t/\beta}^\omega, where the modular group itself satisfies the KMS condition at \beta = 1. Thus, the modular operator \Delta drives the analytic continuation, with the strip's properties reflecting the state's faithfulness and normality. The parameter \beta governs the temperature dependence of these analytic features, as the width of the strip S_\beta scales directly with the inverse temperature, narrowing at high temperatures (small \beta) and widening at low temperatures (large \beta). This scaling ensures that the domain of holomorphy encodes the thermal scale, with the boundary shift i\beta corresponding to the Boltzmann factor in the state's density.

Uniqueness and Characterization

In quantum lattice systems with short-range interactions, uniqueness theorems establish that there exists a unique KMS state for each inverse temperature β > 0, particularly in one-dimensional cases where phase transitions are absent. This result, proved by Araki in , generalizes earlier work by and relies on the of the and the structure of the potential, ensuring that no other states satisfy the KMS condition under these assumptions. Such uniqueness is crucial for identifying the equilibrium state without ambiguity in low-dimensional systems. KMS states are characterized as the thermodynamic limits of finite-volume Gibbs states, where the latter are defined via the canonical ensemble with the interaction Hamiltonian. In finite systems, the Gibbs state explicitly satisfies the KMS boundary condition, and as the volume tends to infinity, the limiting state preserves this property while becoming translation-invariant. Araki demonstrated this coincidence in 1969 for one-dimensional quantum lattices, showing that the infinite-volume KMS state is the unique weak limit of local Gibbs measures. In infinite systems, KMS states provide the only translation-invariant equilibrium states under conditions of short-range interactions and suitable regularity of the dynamics, distinguishing them from other invariant states that may not capture . This role is enabled by the analytic properties of the states, such as the holomorphic continuation of correlation functions in a strip of the . For relativistic quantum systems, the Haag-Hugenholtz-Winnink of 1967 further characterizes KMS states as precisely the states, linking the condition to the Lorentz-invariant structure of the .

Applications

In Quantum Field Theory

In relativistic (QFT), KMS states describe thermal equilibrium vacua in Minkowski , where the is encoded through the Kubo-Martin-Schwinger (KMS) condition's analyticity and periodicity properties in the time plane. These states arise naturally in finite-temperature QFT, representing systems in with a bath at inverse \beta = 1/T, and they satisfy the boundary condition for correlation functions, ensuring the theory's consistency with thermodynamic principles. A key connection links these KMS thermal vacua to Euclidean field theory via Wick rotation, transforming the Lorentzian Minkowski metric into a Euclidean one, yielding a theory defined on the manifold \mathbb{R}^d \times S^1_\beta, where S^1_\beta is a circle of circumference \beta. This rotation maps the real-time evolution to imaginary-time periodicity, with thermal Green's functions exhibiting Matsubara frequencies $2\pi n / \beta (for integer n), directly reflecting the KMS periodicity. The Osterwalder-Schrader reconstruction theorem, in its thermal extension, guarantees that positive-definite Euclidean correlation functions satisfying KMS conditions on this manifold correspond to a unitary relativistic QFT in thermal equilibrium, enabling the reconstruction of Minkowski-space observables from Euclidean data. Applications of KMS states in finite-temperature QFT include analogs of , where the for accelerated observers in flat spacetime produces a satisfying the condition at temperature T = a / (2\pi) (with a), mimicking black hole evaporation. In , the Hartle-Hawking vacuum for a Schwarzschild is a state with respect to the horizon's Killing vector, at Hawking temperature T = 1/(8\pi M) (with mass M), linking quantum fields near the horizon to and entropy-area relations. The relativistic generalization of the KMS condition adapts it for Lorentz-invariant dynamics, introducing thermal domains of analyticity in momentum space that replace the vacuum spectrum condition, ensuring covariance under Poincaré transformations while accommodating the preferred rest frame induced by . This formulation, developed by and Buchholz, applies to interacting theories like the P(\phi)_2 model, verifying the condition for two-point functions at positive .

In Condensed Matter Systems

In , KMS states provide a rigorous framework for characterizing in interacting quantum many-body systems, particularly those modeled on lattices where traditional descriptions may fail for infinite systems. The KMS condition ensures that functions exhibit the necessary analyticity and properties reflective of finite-temperature Gibbs states, allowing for the study of phase transitions, , and response functions without relying on approximations valid only at weak coupling. This algebraic approach is especially valuable for systems exhibiting strong s, such as those near quantum critical points. A primary application arises in quantum spin chain models, which serve as paradigmatic examples of one-dimensional condensed matter systems. For instance, in the Heisenberg or Ising spin chains with short-range interactions, KMS states correspond to the unique states at inverse β, satisfying the that minimizes the functional. These states enable the computation of correlation lengths and magnetization profiles, crucial for understanding low-dimensional and quantum transitions. Markovian KMS states, which preserve locality and translation invariance, have been explicitly constructed for such chains, revealing how is maintained under dissipative dynamics. In fermionic lattice models like the , states extend the notion of equilibrium to systems with and particle-hole . For the Fermi-Hubbard model on a bipartite at half-filling, the condition characterizes the grand-canonical thermal states, incorporating a μ that selects the particle number sector. This formulation has been used to analyze antiferromagnetic ordering and transitions, where the analyticity ensures stability under perturbations. Similarly, for the Bose-Hubbard model describing bosonic superfluids and Mott phases, high-temperature states converge to classical measures satisfying analogous boundary conditions, bridging quantum and semiclassical descriptions in optical experiments. KMS states also play a role in disordered condensed matter systems, such as random or lattices, where quenched complicates definitions. In these cases, the set of β-KMS states forms a Choquet , allowing for the identification of extremal measures even in the presence of or glassy phases. For example, in one-dimensional disordered chains, the structure of KMS states reveals how randomness affects thermalization and , with applications to real materials like doped semiconductors. This approach underscores the robustness of the KMS condition across ordered and disordered regimes, providing a unified for theoretical predictions in experiment.

References

  1. [1]
    On the equilibrium states in quantum statistical mechanics
    Cite this article. Haag, R., Hugenholtz, N.M. & Winnink, M. On the equilibrium states in quantum statistical mechanics. Commun.Math. Phys. 5, 215–236 (1967).
  2. [2]
  3. [3]
    Theory of Many-Particle Systems. I | Phys. Rev.
    This is the first of a series of papers dealing with many-particle systems from a unified, nonperturbative point of view.
  4. [4]
    Local Normality in Quantum Statistical Mechanics - Project Euclid
    Abstract. It is shown that K.M.S.-states are locally normal on a great number of. C*-algebras that may be of interest in Quantum Statistical Mechanics.
  5. [5]
    [PDF] KMS states - A. Pillet
    The KMS condition plays a fundamental role in quantum statistical mechanics where it provides a general abstract definition of equilibrium state.
  6. [6]
    KMS state in nLab
    Feb 8, 2020 · A KMS state (named after Kubo 57, Martin-Schwinger 59) is a vacuum state for a relativistic quantum field theory describing thermal equilibrium ...
  7. [7]
    [PDF] Statistical-Mechanical Theory of Irreversible Processes. I.
    This is a generalization of statistical mechanics which affords exact formulation as the basis of calculation of such irreversible quantities from atomistic ...
  8. [8]
    Operator Algebras and Quantum Statistical Mechanics - SpringerLink
    It describes the general structure of equilibrium states, the KMS-condition and stability, quantum spin systems and continuous systems.
  9. [9]
    [PDF] Tomita–Takesaki Modular Theory - arXiv
    Nov 9, 2005 · Every faithful normal state satisfies the KMS-condition at value β = 1 (henceforth called the modular condition) with respect to the ...
  10. [10]
    Time Automorphisms on C*-Algebras - MDPI
    where the first equation reflects the Heisenberg picture, while the second corresponds to the Schrödinger picture. ... This means a time evolution independent of ...
  11. [11]
    On the equilibrium states in quantum statistical mechanics
    1967 On the equilibrium states in quantum statistical mechanics. R. Haag, N. M. Hugenholtz, M. Winnink · DOWNLOAD PDF + SAVE TO MY LIBRARY. Comm. Math. Phys ...
  12. [12]
    Passive states and KMS states for general quantum systems
    **Summary of KMS States Definition from Pusz & Woronowicz (1978):**
  13. [13]
    [PDF] Equilibrium: KMS states
    A pair (A,тt) is a C*-dynamical system if A is a C*-algebra with an identity and R 3 t 7! тt is a strongly continuous group of *-automorphisms of A, namely.
  14. [14]
  15. [15]
    [PDF] An intuitive construction of modular flow - arXiv
    Dec 7, 2023 · After proving Tomita's theorem, one shows that the modular flow of operators satisfies something called the KMS condition, which basically means ...
  16. [16]
    On uniqueness of KMS states of one-dimensional quantum lattice ...
    Uniqueness of KMS states is proved for one-dimensional quantum lattice system. Sakai's theorem on uniqueness of KMS states is generalized to cases of n.
  17. [17]
    Thermal Aspects in Quantum Field Theory - SpringerLink
    Thermal (or “KMS”) states as well as ground states are characterized by analyticity properties in the (complexified) time variable.
  18. [18]
    [PDF] arXiv:math-ph/0204023v1 10 Apr 2002
    Our result is an analogue, at positive temperature, of the Osterwalder-. Schrader reconstruction theorem [4,5]. The proof of the Main Theorem forms the core of ...
  19. [19]
    [PDF] THE KMS-CONDITION | Javier Rubio
    Jan 13, 2017 · This report develops the relation between periodicity in imaginary time and finite temperature for quantum field theories, given by the KMS.
  20. [20]
    [hep-th/0409024] Hawking Radiation and Black Hole Thermodynamics
    Sep 2, 2004 · An inexhaustive review of Hawking radiation and black hole thermodynamics is given, focusing especially upon some of the historical aspects.
  21. [21]
    [hep-th/9807099] Towards a Relativistic KMS Condition - arXiv
    Jul 14, 1998 · It is shown that, under quite general conditions, thermal correlation functions in relativistic quantum field theory have stronger analyticity properties.Missing: invariant | Show results with:invariant
  22. [22]
    [PDF] On the relativistic KMS condition for the P(φ)2 model
    Thus the map τ: t ↦→ τt extends to a group of ∗- ... is the two-point correlation function of the free field of mass m in a thermal equilib-.
  23. [23]
  24. [24]
    [PDF] On the Equivalence of the KMS Condition and the Variational ... - arXiv
    Mar 1, 2021 · The paper extends the equivalence of the KMS condition and variational principle to quantum lattice systems with mean-field interactions, which ...
  25. [25]
    Equilibrium Statistical Mechanics of Fermion Lattice Systems - arXiv
    Nov 11, 2002 · We study equilibrium statistical mechanics of Fermion lattice systems which require a different treatment compared with spin lattice systems.
  26. [26]
    High temperature convergence of the KMS boundary conditions - arXiv
    Apr 19, 2019 · Abstract page for arXiv paper 1904.09128: High temperature convergence of the KMS boundary conditions: The Bose-Hubbard model on a finite graph.
  27. [27]
    KMS States and the Chemical Potential for Disordered Systems
    Dec 20, 2005 · We extend the theory of the chemical potential associated to a compact separable gauge group, to the case of disordered quantum systems.