Thermodynamic Witness Framework

• Thermodynamic witness frameworks are methodologies that use observables like heat, work, or currents to certify hidden properties of quantum processes.
• They employ diverse approaches—passivity-based, heat-based, and response-function techniques—to detect non-unital dynamics, entanglement, and finite-coupling corrections.
• These frameworks yield experimentally testable bounds and deviations from standard thermodynamic behavior, assisting in the validation of non-Markovian and data-driven models.

Searching arXiv for recent and foundational papers on thermodynamic witness frameworks, passivity-based witnesses, heat-based resource witnesses, and related constructions. Thermodynamic witness framework denotes a family of constructions in which thermodynamic observables, response functions, or thermodynamic inequalities are used to certify otherwise hidden properties of a process or state. In the literature considered here, the witnessed property may be a coupling to an unobserved environment, non-unital dynamics, entanglement, coherence, temporal or spatio-temporal quantum correlations, instrument incompatibility, magic, finite-coupling corrections, or the thermodynamic consistency of a reduced description (Pijn et al., 2021, Junior et al., 2024, Stamatova et al., 21 Aug 2025, Hsieh et al., 2024, Macêdo et al., 9 Apr 2026, Rivas, 2019). A recurring architecture is the selection of a reference state or free set, the derivation of a bound on a thermodynamic quantity that must hold for all admissible dynamics or resource-free states, and the interpretation of any violation as a witness. This suggests a methodological class rather than a single formalism.

1. Scope and early formulations

An early nonequilibrium version appeared in the steady-state entanglement witness for the XX spin chain, where the steady state was written as

$\rho = \frac{e^{-\beta H_0 - \gamma J^E}}{Z},$

with $J^E$ the energy current operator and $\gamma$ its conjugate Lagrange multiplier. In that construction, the witness is proportional to the steady-state current,

$W_{ss}=\eta Q,$

and the separable bound is $W_{ss}\le 1$; exceeding it certifies entanglement. In that model, the presence of an energy current increases the region of entanglement detected by the steady-state witness, and entanglement exists even at a high steady state temperature (Hide, 2011).

A complementary coarse-grained formulation was developed for a marginal observer who resolves only a single transition of a continuous-time Markov jump process. There the effective affinity is

$F(x)=x-x^{\mathrm{st}},$

the marginal fluctuation relation is

$\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$

and the corresponding second-law-like inequality is $F\langle J\rangle\ge 0$. In this setting, irreversibility is witnessed from incomplete information through an effective entropy production built only from the observed current and a hidden time reversal of the dynamics (Polettini et al., 2017).

These two formulations already display two enduring features of the framework: first, a thermodynamic witness need not be an energy expectation value alone; second, the witnessing power depends on what is treated as observable, controllable, or hidden.

2. Passivity-based witness theory

The most systematic formulation is based on passivity. For an initial state $\rho_0$, if $F(\rho_0)$ is passive with respect to $J^E$0, then for any unital evolution of the form

$J^E$1

one has

$J^E$2

Choosing $J^E$3 gives the microscopic Clausius inequality, while choosing $J^E$4 yields the family

$J^E$5

with $J^E$6 in the thermal two-body setting. Passivity deformation then introduces

$J^E$7

for commuting $J^E$8 and $J^E$9, and produces linear bounds

$\gamma$0

for $\gamma$1 in the interval that preserves the eigenvalue ordering of $\gamma$2. The deformation parameters $\gamma$3 are fixed by level-crossing conditions, and sector-wise refinements $\gamma$4 incorporate conservation laws to obtain tighter bounds (Uzdin et al., 2019).

In the trapped-ion implementation, two system qubits undergo a unitary and may optionally couple to an unobserved environment qubit through a SWAP gate. Evaluating only the measured system qubits, global passivity verifies a coupling to an unobserved environment in a case where the second law of thermodynamics fails to detect it, and passivity deformation detects a heat leak in a second protocol where global passivity shows no violation. The experiment therefore realizes both “Global passivity” and “Passivity deformation” as thermodynamic witnesses of non-unital dynamics induced by a hidden environment (Pijn et al., 2021).

Within this passivity-based branch, the witness is not the operator $\gamma$5 or $\gamma$6 by itself, but the inequality class generated by passivity. Violation witnesses either that the initial state was not passive or that the evolution cannot be described as a mixture of unitaries on the observed degrees of freedom.

3. Heat-, work-, and current-based resource witnesses

A second line of development uses thermodynamic exchanges themselves as witnesses of quantum resources. In the heat-based framework with system $\gamma$7, thermal ancilla $\gamma$8, and catalytic quantum memory $\gamma$9, the extremal heat exchanged with the environment is obtained from the nonequilibrium free-energy constraint

$W_{ss}=\eta Q,$0

This leads to explicit optimal heat formulas $W_{ss}=\eta Q,$1 and $W_{ss}=\eta Q,$2, and then to resource-specific bounds by restricting $W_{ss}=\eta Q,$3 to sets such as separable or incoherent states. For bipartite systems, violation of the separable heat bounds witnesses entanglement; for the Tavis–Cummings spin-field model, the incoherent-state bound becomes $W_{ss}=\eta Q,$4, so any nonzero net heat flux in the specified catalytic protocol witnesses coherence in the energy basis (Junior et al., 2024).

The same logic was extended to magic. There the linear witness is the average-energy condition

$W_{ss}=\eta Q,$5

where $W_{ss}=\eta Q,$6 is the stabilizer ground-state energy, and the associated stabilizer gap is

$W_{ss}=\eta Q,$7

A stronger nonlinear witness is built from the stabilizer heat window

$W_{ss}=\eta Q,$8

valid for all stabilizer states at fixed energy $W_{ss}=\eta Q,$9. Any measured heat outside that window certifies nonstabilizerness (Macêdo et al., 9 Apr 2026).

In autonomous quantum systems, thermodynamic witnessing takes a different form. Heat is defined by the entropy-matched Gibbs reference $W_{ss}\le 1$0, work by the change in non-thermal energy content $W_{ss}\le 1$1, and

$W_{ss}\le 1$2

The framework then identifies work exchange mechanisms associated with population inversion, coherence generation / consumption, and athermality. In the applications discussed, population inversion functions as a witness of work potential, coherence functions as a witness of unitary work exchange, and the relative-entropy term $W_{ss}\le 1$3 witnesses a genuine non-unitary mechanism of work exchange related to athermality (Santos et al., 3 Jan 2026).

Across these examples, thermodynamic quantities do not merely accompany the resource theory; they define experimentally accessible separating hyperplanes or admissible windows for the free set.

4. Response-function and driven-output witnesses

A distinct branch uses linear-response observables and field statistics. For temporal quantum correlations, the central object is the complex heat capacity

$W_{ss}\le 1$4

with

$W_{ss}\le 1$5

The imaginary part is tied to the commutator of the Hamiltonian at different times, and the framework maps component-resolved complex heat capacities to a two-time pseudo-density matrix

$W_{ss}\le 1$6

Negativity of $W_{ss}\le 1$7 and temporal CHSH violation then become sufficient criteria for temporal entanglement, and the paper identifies bounds on $W_{ss}\le 1$8 that guarantee temporal entanglement for the qubit–bath model under study (Stamatova et al., 21 Aug 2025).

For coherently driven systems, the key move is to treat the output light as accessible. The coherent and fluctuating parts of the field define

$W_{ss}\le 1$9

and

$F(x)=x-x^{\mathrm{st}},$0

together with a second law

$F(x)=x-x^{\mathrm{st}},$1

which is strictly tighter than the conventional one. In the absence of any other source of entropy production, the framework demands the output light to be more noisy than the input light. The three-level maser then appears as an engine that reduces the noise of a coherent drive by exporting entropy to the additional baths (Schrauwen et al., 13 May 2025).

In both cases the witness quantity is a response or output-statistics observable that is measurable without reconstructing the full microscopic state, but whose admissible range is thermodynamically constrained.

5. Reduced dynamics, thermalisation, and consistency tests

The refined weak coupling limit provides a thermodynamically consistent description of non-Markovian reduced dynamics. For the time-independent case, the refined map is

$F(x)=x-x^{\mathrm{st}},$2

which is completely positive for each fixed $F(x)=x-x^{\mathrm{st}},$3 but generally not CP-divisible. The effective Hamiltonian

$F(x)=x-x^{\mathrm{st}},$4

defines a refined internal energy $F(x)=x-x^{\mathrm{st}},$5, and the integrated second law becomes

$F(x)=x-x^{\mathrm{st}},$6

In this setting, deviations of $F(x)=x-x^{\mathrm{st}},$7 from the bare $F(x)=x-x^{\mathrm{st}},$8, deviations from Davies relaxation, and failures of naive weak-coupling identifications of heat and entropy production are witnesses of finite-coupling and non-Markovian effects, whereas negative entropy production under naive definitions is interpreted as a witness of modeling inadequacy rather than of a fundamental second-law violation (Rivas, 2019).

A resource-theoretic thermalisation formulation was developed for incompatible instruments. The minimal thermalisation time

$F(x)=x-x^{\mathrm{st}},$9

measures how long a steering signature survives under thermalisation, and for partial thermalisation it is exactly proportional to the thermalisation steering robustness. The same quantity is equivalent to a work-extraction advantage over all local-hidden-state assemblages with the same classical statistics. The framework also proves that incompatibility signatures must vanish in non-Markovian thermalisation once the evolution truly thermalises to the Gibbs state (Hsieh et al., 2024).

These constructions shift the witness from a static inequality to a consistency test on reduced dynamics: a candidate reduced description is admissible only if it supports the required effective Hamiltonian, entropy production, or thermalisation law.

6. Constructive and complexity-oriented extensions

A more recent extension replaces fixed microscopic thermodynamic primitives by data-driven ones. In thermoinformational state construction, one first infers a generative energy by fitting a Boltzmann-type model to the empirical microstate distribution, then pushes the empirical distribution onto the learned energy axis, and finally learns a strictly concave trace-form entropy functional whose maximizer reproduces the observed energy-space histogram. With $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$0 and $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$1 coupled in this way, one obtains internal energy, a microcanonical relation $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$2, a thermoinformational temperature

$\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$3

and an H-theorem-consistent relaxation picture. In the harmonic example this recovers the classical equilibrium limit up to gauge, whereas in the bistable and multimodal examples global-constraint MaxEnt surrogates obscure barrier and coexistence structure that remain visible in the learned thermodynamic description (Domenikos et al., 27 Apr 2026).

A related witness-oriented reading appears in Complexity Windowed Thermodynamics. There the equal-a-priori accessibility assumption is replaced by a finite complexity budget $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$4, leading to a windowed entropy $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$5, an effective temperature $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$6, and a non-negative complexity generation potential

$\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$7

The generalized first law acquires an information-processing work term $\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$8, while unitary-channel geometry yields the action and time bounds

$\frac{P(J)}{\widetilde P(-J)}=e^{tFJ},$9

This suggests a thermodynamic witness setting in which complexity budget, windowed entropy, effective temperature, and complexity generation potential diagnose bounded dynamical accessibility rather than hidden environments or free-set violations (Liu et al., 8 Jun 2025).

These constructive approaches broaden the meaning of “thermodynamic witness framework”: the witness need not start from a known Hamiltonian or fixed free set, but can emerge from the inferred thermodynamic structure of the data.

7. Assumptions, strength of inference, and limitations

Thermodynamic witnesses are generally sufficient rather than necessary. Heat-based entanglement and magic witnesses certify the target resource when a thermodynamic bound is violated, but they do not detect every resourceful state (Junior et al., 2024, Macêdo et al., 9 Apr 2026). Passivity-based violations likewise establish that either the initial state was not passive or the evolution was not of the assumed unital form, but do not by themselves identify which microscopic assumption failed (Pijn et al., 2021).

The strength of a witness depends on the adopted accessibility structure. In coherently driven systems, the stricter second law appears only when the output field is treated as accessible; under the conventional bookkeeping the same physical process satisfies a weaker inequality (Schrauwen et al., 13 May 2025). In the marginal-observer and thermalisation settings, the witness depends on what transitions, currents, or assemblages are experimentally resolved (Polettini et al., 2017, Hsieh et al., 2024).

A further limitation is model dependence. Complex heat-capacity bounds are worked out explicitly for a qubit coupled to a thermal bath under Lindblad dynamics, and the corresponding $F\langle J\rangle\ge 0$0 regions are sufficient within that model rather than universal across all open systems (Stamatova et al., 21 Aug 2025). The refined weak coupling framework preserves the integrated second law even for highly non-divisible dynamics, so negative entropy production is not a generic witness of non-Markovianity once interaction energy is treated consistently (Rivas, 2019).

Despite these differences, the frameworks share a common epistemic function. They turn thermodynamic quantities into falsifiable constraints on admissible dynamics, admissible free states, or admissible coarse-grained descriptions. In that sense, the thermodynamic witness framework is best understood as a general strategy for converting thermodynamic structure into experimentally testable no-go criteria.