Kubo-Martin-Schwinger conditions for non-Hermitian… — Plain-Language Explanation

The Big Picture: Finding Balance in a "Broken" World

Imagine you are trying to understand how a cup of coffee cools down. In the normal, "Hermitian" world of standard physics, this is easy: the coffee loses heat, settles into a comfortable temperature, and stays there. Physicists have a very strict, mathematical rulebook for this state of balance, called the KMS condition. It's like a guarantee that if you look at the coffee at two different times, the relationship between those moments follows a specific, predictable pattern.

But what happens if the coffee cup is made of a strange, "non-Hermitian" material? Maybe it leaks, or maybe it gains energy from the air in weird ways. In this "non-Hermitian" world, the usual rules might break. The coffee might never settle, or it might behave in ways that seem impossible (like having a negative temperature).

This paper asks a fundamental question: Can we still use the strict "KMS rulebook" to describe thermal balance in these strange, non-Hermitian systems?

The authors say: "Yes, but only if the system has a very specific hidden structure." They explore this using three different "routes" or methods to solve the puzzle.

Route 1: The "Magic Mirror" (Quasi-Hermitian Systems)

The Analogy:
Imagine you are looking at a funhouse mirror. The reflection looks distorted, but if you know the exact shape of the mirror, you can mathematically "undo" the distortion and see the real person standing in front of it.

The Science:
The authors look at systems that are "Quasi-Hermitian." These are systems that look weird and non-Hermitian on the surface, but they have a hidden "metric" (a mathematical tool, let's call it $\eta$ ) that acts like a magic mirror. If you use this mirror to look at the system, it actually behaves like a normal, standard system.

The Result:
The paper proves that if you have this "magic mirror" ( $\eta$ ), you can define a proper "thermal state" (a state of balance).

They show that the "temperature" works correctly.
They prove that the strict KMS rulebook holds true, provided you measure things using this special mirror.
Crucial Point: Even though the system looks like it can be transformed into a normal one, the math proves that the thermal state in the non-Hermitian world is not just a simple copy of the normal one. It has its own unique identity. You can't just "translate" the answer from the normal world; you have to do the work in the non-Hermitian world itself.

Route 2: The "Left and Right Handshake" (Biorthogonal Systems)

The Analogy:
Imagine a handshake. In a normal world, if Person A shakes hands with Person B, it's the same as Person B shaking hands with Person A. But in this non-Hermitian world, you have a "Left Hand" and a "Right Hand" that are different. To get a proper handshake, the Left Hand of A must meet the Right Hand of B in a very specific way.

The Science:
Here, the authors drop the "magic mirror" ( $\eta$ ) and just use the raw "Left and Right" eigenvectors (the mathematical hands) of the system. They try to build a thermal state using only these hands.

The Result:

The Good News: The mathematical "handshake" (the KMS boundary relation) works perfectly. The numbers line up exactly as they should.
The Bad News: The "probability" breaks. In physics, probabilities must be positive (you can't have a -50% chance of rain). In this raw setup, the math often produces negative probabilities, which makes no physical sense.
The Big Discovery: The authors prove a "Structure Theorem." They show that the only time this raw setup produces valid, positive probabilities is if and only if the system actually has that hidden "magic mirror" ( $\eta$ ) from Route 1.
Translation: You don't need to assume the mirror exists first. If your thermal state makes physical sense (positive probabilities), the mirror must exist. This is a new way to identify these special systems without looking for the mirror first.

Route 3: The "Leaky Bucket" (Open Systems)

The Analogy:
Imagine a bucket with a hole in it (an open system). Water flows in and out. The "effective" water level might look like it's rising or falling in a weird way (non-Hermitian), but the real balance depends on the whole plumbing system (the pipes, the pump, the hole).

The Science:
This route looks at systems that are constantly interacting with an environment (like a quantum computer talking to the outside world). Instead of just looking at the "effective" weird Hamiltonian, they look at the full "Lindblad" equation, which describes the whole plumbing.

The Result:
They connect this to a concept called "Quantum Detailed Balance." They show that for an open system to be in thermal balance, the whole plumbing system must satisfy a specific symmetry.

Key Takeaway: You cannot just look at the "effective" weird Hamiltonian (the water level) and assume it's in balance. You must look at the full interaction with the environment. The rules here are different from Routes 1 and 2.

When the Rules Break: The "Crash Zones"

The paper also investigates what happens when the system is too weird. They identify two specific places where the KMS rulebook completely fails:

The "Exceptional Point" (The Collapse):
- Analogy: Imagine a spinning top that suddenly stops spinning and falls over. At this exact moment, the math describing its motion breaks down because two different states merge into one.
- Result: The "Left and Right hands" can no longer shake properly. The math produces terms that grow infinitely fast (like a polynomial explosion), making it impossible to define a stable temperature or balance.
The "Complex Spectrum" (The Ghost Numbers):
- Analogy: Imagine trying to weigh an object, but the scale gives you a number like "5 + 3i" (a complex number). You can't have 3i grams of sugar.
- Result: If the system's energy levels have "imaginary" parts, the "Boltzmann weights" (the math that decides how likely a state is) become complex numbers. This destroys the concept of probability entirely. The system cannot reach a stable thermal equilibrium in the traditional sense.

Summary

This paper is a map for navigating thermal equilibrium in "non-Hermitian" (strange) quantum systems.

If the system has a hidden "metric" (Route 1): It works perfectly, and we have a rigorous definition of temperature.
If we just use the raw "Left/Right" math (Route 2): It looks like it works, but it's only physically real if the hidden metric exists.
If the system is open (Route 3): We need to look at the whole environment, not just the effective weird math.
If the system hits an "Exceptional Point" or has "Complex Energies": The concept of thermal equilibrium breaks down completely.

The authors didn't invent a new machine or a new drug; they built a rigorous mathematical framework to tell us exactly when and how we can talk about "temperature" and "balance" in these exotic quantum worlds.

Technical Summary: Kubo-Martin-Schwinger Conditions for Non-Hermitian Systems

Problem Statement
The paper addresses the fundamental question of extending the Kubo–Martin–Schwinger (KMS) condition—the mathematically rigorous characterization of thermal equilibrium in algebraic quantum statistical mechanics—to non-Hermitian quantum systems. While non-Hermitian Hamiltonians with real spectra and biorthogonal eigensystems are widely used in $PT$-symmetric quantum mechanics, pseudo-Hermitian operator theory, and effective descriptions of open systems, it remains unclear to what extent the standard KMS framework (requiring analyticity, boundedness, and positivity) holds in these settings. Specifically, the authors investigate whether the formal boundary relations of thermal correlators in non-Hermitian systems are sufficient to define a genuine thermal state, or if additional structural constraints (such as quasi-Hermiticity) are required.

Methodology
The authors employ a functional-analytic approach, analyzing the KMS condition through three complementary routes:

Route I (Quasi-Hermitian Systems): The authors assume the existence of a bounded, positive-definite metric operator $\eta$ such that $H^\dagger = \eta H \eta^{-1}$ . They construct an $\eta$ -weighted Hilbert space $\mathcal{H}_\eta$ and define an $\eta$ -Gibbs state $\omega_\eta(A) = Z_\eta^{-1} \text{Tr}(\eta e^{-\beta H} A)$ . Using the Hadamard three-line theorem and Bari's theorem on Riesz bases, they rigorously prove that the correlation functions of this state satisfy the three analytic conditions of the KMS definition (analyticity in a complex strip, boundedness, and the boundary condition).
Route II (Biorthogonal Systems): The authors consider a weaker setting where only a real spectrum and a complete biorthogonal eigensystem are assumed, without a pre-assigned positive-definite metric. They define a biorthogonal Gibbs functional $\omega_{bi}$ using the biorthogonal trace. They demonstrate that while $\omega_{bi}$ satisfies the formal KMS boundary identity and strip analyticity, it generally fails the positivity condition ( $\omega_{bi}(A^\dagger A) \ge 0$ ).
Route III (Open Systems): The authors examine open quantum systems governed by Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) dynamics. They clarify that the equilibrium properties are determined by the full Lindblad generator and the quantum detailed balance (QDB) condition, rather than solely by the effective non-Hermitian Hamiltonian. They review the Fagnola–Umanit $\grave{a}$ characterization for Davies generators.

Key Contributions and Results

Spectral KMS Theorem for Quasi-Hermitian Systems (Theorem 3.11): The paper establishes that for a bounded, diagonalizable Hamiltonian with a real spectrum and a positive-definite metric $\eta$ , the $\eta$ -Gibbs state satisfies the full KMS condition. The proof is self-contained and relies on the spectral expansion of correlation functions, ensuring absolute convergence via trace-class estimates.
Thermodynamic Characterization of Quasi-Hermiticity (Theorem 4.5): A central result is the proof that the positivity of the biorthogonal thermal functional $\omega_{bi}$ is equivalent to the quasi-Hermiticity of the Hamiltonian. Specifically, $\omega_{bi}(A^\dagger A) \ge 0$ for all $A$ if and only if there exists a positive-definite metric $\eta$ such that $H^\dagger = \eta H \eta^{-1}$ . This provides a "metric-free" certificate of quasi-Hermiticity derived solely from the thermodynamic properties of the state, independent of the Mostafazadeh–Scholtz similarity framework.
Non-Triviality of the KMS Property: The authors demonstrate that the KMS property of the non-Hermitian system cannot be trivially deduced from the Hermitian theory via similarity transformation. The transported state $\hat{\omega}(X) = \text{Tr}(e^{-\beta h} X \eta)/Z_\eta$ (where $h$ is the Hermitian partner) differs from the standard Gibbs state of $h$ whenever $[\eta, h] \neq 0$ . Thus, the KMS property for the non-Hermitian system requires independent verification.
Failure Modes Analysis: The paper identifies and analyzes two distinct mechanisms for the breakdown of the KMS framework:
- Exceptional Points (EPs): At EPs, the loss of diagonalizability (Jordan blocks) leads to polynomial growth in time evolution, violating the boundedness condition of the KMS strip and destroying the biorthogonal completeness required for spectral expansions.
- Complex Spectra: When eigenvalues have non-zero imaginary parts, the Boltzmann weights become complex, and correlation functions exhibit exponential growth on the real time axis, violating the $L^\infty$ boundedness condition required by the Hadamard three-line theorem.

Significance and Scope
The paper claims to provide a unified functional-analytic picture of thermal equilibrium for specific classes of non-Hermitian systems. Its primary significance lies in:

Rigorous Extension: Establishing a rigorous equilibrium framework for quasi-Hermitian systems, confirming that the KMS condition holds under the assumption of a positive-definite metric.
Structural Insight: Providing a thermodynamic characterization of quasi-Hermiticity, showing that the existence of a physical (positive) thermal state is the necessary and sufficient condition for a system to be quasi-Hermitian.
Clarification of Limits: Clearly delineating the boundaries of applicability, showing that the KMS framework fails at exceptional points and for complex spectra due to specific analytic and algebraic obstructions.

The authors explicitly note that their results do not yet constitute a full Haag–Hugenholtz–Winnink (HHW) $C^*$ -algebraic framework for non-Hermitian systems. Specifically, the construction of the Tomita–Takesaki modular operator $\Delta$ and the establishment of a $C^*$ -norm structure for the observable algebra in the non-Hermitian setting remain open problems. Furthermore, the extension of these results to unbounded Hamiltonians (e.g., Schrödinger operators) is deferred to future work, as the current proofs rely on the boundedness of the Hamiltonian to ensure norm convergence of the operator exponential.

Kubo-Martin-Schwinger conditions for non-Hermitian systems