arxiv: 2602.12212 · v3 · submitted 2026-02-12 · 🪐 quant-ph · cond-mat.stat-mech· math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

Quantum-Coherent Thermodynamics: Leaf Typicality via Minimum-Variance Foliation

Maurizio Fagotti

Authors on Pith no claims yet

Pith reviewed 2026-05-16 02:23 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mechmath-phmath.MP

keywords quantum thermodynamicsminimum-variance leavesleaf typicalityquantum Fisher informationeigenstate thermalizationcoherent fluctuationsleaf-canonical ensemble

0 comments

The pith

Quantum state space foliates into minimum-variance leaves that organize coherent thermodynamics and support leaf typicality.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a foliation of quantum state space into minimum-variance leaves by minimizing the average energy variance over all pure-state decompositions, where the minimum is determined by the quantum Fisher information. For each leaf it constructs the least-biased ensemble consistent with the mean energy, which recovers the Gibbs state only on the commuting leaf. This structure enables a leaf typicality hypothesis stating that local observables are functions of the leaf and energy alone and can be matched by a representative pure state from the optimal decomposition, whose reduced energy spread lowers the complexity of time evolution. Readers should care if they seek a framework that incorporates quantum coherence into thermodynamic descriptions of non-equilibrium systems.

Core claim

The central claim is that energy fluctuations can retain genuinely quantum-coherent contributions when states are organized into minimum-variance leaves defined via the quantum Fisher information. On each leaf the least-biased state compatible with normalization and mean energy defines a leaf-canonical ensemble. The Gibbs ensemble is recovered on the distinguished commuting leaf, while generic states are organized by their leaf label. This provides a natural setting to extend eigenstate thermalization beyond equilibrium via a leaf typicality hypothesis under which local observables depend only on the leaf and energy and are reproduced by a representative pure state drawn from the optimal 8.0

What carries the argument

The minimum-variance foliation, obtained by minimizing average energy variance over pure-state decompositions with the bound set by the quantum Fisher information, which partitions states according to their coherent energy content and carries the construction of leaf-canonical ensembles.

Load-bearing premise

The leaf typicality hypothesis holds, so that local observables depend only on the leaf and energy and match the representative pure state without requiring further dynamical assumptions.

What would settle it

A numerical or experimental check showing that the expectation value of a local observable after time evolution from a state on a given leaf differs from the value given by the leaf-canonical ensemble or its minimizing pure-state representative.

Figures

Figures reproduced from arXiv: 2602.12212 by Maurizio Fagotti.

**Figure 2.** Figure 2: Typicality diagnostics (see text) in min-variance ensembles of the nonintegrable Hamiltonian in Eq. ( [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

read the original abstract

Equilibrium statistical ensembles commute with the Hamiltonian and thus carry no coherence in the energy eigenbasis. We develop a framework in which energy fluctuations can retain genuinely quantum-coherent contributions. We foliate state space into ``minimum-variance leaves,'' defined by minimizing the average energy variance over all pure-state decompositions, with the minimum set by the quantum Fisher information. On each leaf we construct the least-biased state compatible with normalization and mean energy, defining a leaf-canonical ensemble. The Gibbs ensemble is recovered on the distinguished commuting leaf, while generic states are organized by their leaf label. This structure provides a natural setting to extend eigenstate thermalization beyond equilibrium via a ``leaf typicality'' hypothesis. According to that hypothesis, local observables depend only on the leaf and energy and are reproduced by a representative pure state drawn from the optimal ensemble, whose minimized energy spread reduces the complexity of time evolution.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A new minimum-variance foliation for including coherence in energy fluctuations, but the leaf typicality hypothesis is asserted without derivation or checks.

read the letter

This paper introduces a minimum-variance foliation of quantum state space, where each leaf minimizes the average energy variance over pure-state decompositions of a density matrix, with the minimum fixed by the quantum Fisher information. On every leaf it defines a leaf-canonical ensemble as the least-biased state consistent with normalization and mean energy. The usual Gibbs ensemble appears on the commuting leaf, while other states are classified by their leaf label according to the coherent content of their energy fluctuations. The construction is formally consistent and gives a clean way to label states by how much coherence they carry in fluctuations. That separation is the clearest new element. The leaf-canonical step follows the standard maximum-entropy logic once the foliation is fixed, so it does not introduce extra arbitrariness. The soft spot is the leaf typicality hypothesis. The text states that local observables depend only on the leaf and energy and are reproduced by a representative pure state from the ensemble, with the reduced spread supposedly simplifying time evolution. No derivation shows why the QFI-based choice of leaves forces observables to be constant on them, and no example or bound demonstrates that the minimized variance actually lowers dynamical complexity beyond what ordinary eigenstate thermalization already provides. The hypothesis is introduced as an assumption rather than derived from the foliation properties. If the full manuscript supplies explicit calculations or numerical tests that close this gap, the framework would be stronger. As it stands, the foliation and ensemble definitions are the parts that hold up on their own. This is aimed at theorists working on quantum thermodynamics and many-body thermalization who want a systematic handle on coherence in fluctuations. It deserves peer review because the foliation idea is original and could be useful once the typicality claim is either substantiated or revised.

Referee Report

3 major / 0 minor

Summary. The paper develops a framework for quantum-coherent thermodynamics by foliating state space into minimum-variance leaves, where the foliation is obtained by minimizing the average energy variance over pure-state decompositions with the minimum fixed by the quantum Fisher information. On each leaf a leaf-canonical ensemble is defined as the least-biased state consistent with normalization and mean energy; the standard Gibbs ensemble is recovered on the commuting leaf. The structure is proposed as a setting for extending eigenstate thermalization via a leaf-typicality hypothesis: local observables depend only on leaf label and energy and are reproduced by a representative pure state from the optimal ensemble, whose minimized energy spread is claimed to reduce the complexity of time evolution.

Significance. If the leaf-typicality hypothesis can be established, the construction supplies a controlled way to retain coherent contributions to energy fluctuations while preserving a thermodynamic description, potentially allowing extensions of ETH to non-equilibrium coherent dynamics with reduced effective Hilbert-space complexity.

major comments (3)

[statement of the leaf-typicality hypothesis] The leaf-typicality hypothesis is asserted without a derivation or explicit construction showing that local observables are constant on the minimum-variance leaves (outside the commuting Gibbs leaf). No bound or invariance argument is supplied demonstrating that the QFI-based foliation alone forces this constancy.
[discussion of time-evolution complexity] The claim that the minimized energy spread reduces the complexity of time evolution beyond standard ETH is not supported by a quantitative estimate or comparison; the reduction is stated but not derived from the foliation properties.
[definition of the leaf-canonical ensemble] The leaf-canonical ensemble is defined as the least-biased state compatible with normalization and mean energy, yet no argument establishes that this construction inherits the required leaf-invariance property directly from the minimum-variance foliation.

Simulated Author's Rebuttal

3 responses · 2 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating planned revisions where the manuscript will be updated to improve clarity and address the concerns raised.

read point-by-point responses

Referee: The leaf-typicality hypothesis is asserted without a derivation or explicit construction showing that local observables are constant on the minimum-variance leaves (outside the commuting Gibbs leaf). No bound or invariance argument is supplied demonstrating that the QFI-based foliation alone forces this constancy.

Authors: We agree that the leaf-typicality hypothesis is presented as a conjecture extending the eigenstate thermalization hypothesis rather than a fully derived theorem. It is motivated by the structure of the QFI-based minimum-variance foliation, which we expect to support constancy of local observables through the variance-minimization property. In the revised manuscript we will explicitly label it as a hypothesis, expand the motivating discussion, and note that a rigorous invariance proof or bound is left for future work as it lies beyond the scope of the current framework development. revision: partial
Referee: The claim that the minimized energy spread reduces the complexity of time evolution beyond standard ETH is not supported by a quantitative estimate or comparison; the reduction is stated but not derived from the foliation properties.

Authors: The reduction is argued at a conceptual level from the narrower effective energy window implied by the minimized variance on each leaf. We acknowledge the absence of a quantitative estimate or explicit derivation. In the revision we will qualify the statement, emphasize its conjectural character, and indicate that concrete bounds or model-specific comparisons are required to make the claim quantitative; these calculations are outside the present scope. revision: yes
Referee: The leaf-canonical ensemble is defined as the least-biased state compatible with normalization and mean energy, yet no argument establishes that this construction inherits the required leaf-invariance property directly from the minimum-variance foliation.

Authors: The leaf-canonical ensemble is obtained by maximizing entropy subject to the leaf-specific constraints of normalization and fixed mean energy. Because the foliation itself is defined via the QFI minimum-variance condition, the resulting ensemble is invariant on its leaf by construction. We will insert a clarifying paragraph in the revised manuscript that explicitly connects the maximum-entropy construction to the foliation properties and shows recovery of the Gibbs state on the commuting leaf. revision: yes

standing simulated objections not resolved

Full rigorous derivation or invariance proof of the leaf-typicality hypothesis
Quantitative estimate or bound demonstrating reduction in time-evolution complexity

Circularity Check

0 steps flagged

No significant circularity: leaf typicality is explicitly an additional hypothesis

full rationale

The paper defines minimum-variance leaves via the standard quantum Fisher information and constructs the leaf-canonical ensemble as the maximum-entropy state subject to normalization and mean energy. It then states that this structure supplies a setting in which one may formulate the leaf typicality hypothesis as an extension of ETH. Because the hypothesis is introduced by name and described rather than derived from the foliation equations, no step reduces by construction to its inputs. The QFI definition is external and not fitted inside the paper; no self-citation chain, uniqueness theorem, or ansatz smuggling is invoked to force the central claim. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on standard quantum information quantities and a new hypothesis without independent evidence supplied in the abstract.

axioms (2)

domain assumption Quantum Fisher information sets the minimum average energy variance over pure-state decompositions.
Invoked directly to define the leaves.
domain assumption The least-biased state on a leaf is the one compatible only with normalization and mean energy.
Used to construct the leaf-canonical ensemble.

invented entities (2)

minimum-variance leaves no independent evidence
purpose: Foliation of state space that retains coherent energy fluctuations.
Newly defined via minimization over decompositions.
leaf-canonical ensemble no independent evidence
purpose: Least-biased state on each leaf.
Constructed from normalization and mean energy constraints.

pith-pipeline@v0.9.0 · 5454 in / 1489 out tokens · 112744 ms · 2026-05-16T02:23:06.656453+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We foliate state space into “minimum-variance leaves,” defined by minimizing the average energy variance over all pure-state decompositions, with the minimum set by the quantum Fisher information.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

leaf typicality hypothesis... local observables depend only on the leaf and energy

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 2 internal anchors

[1]

L. Boltzmann, Further Studies on the Thermal Equilib- rium of Gas Molecules, inThe Kinetic Theory of Gases: An Anthology of Classic Papers with Historical Com- mentary, History of Modern Physical Sciences, Vol. 1, ed- ited by S. G. Brush (World Scientific, 2003) pp. 262–349, english translation of Boltzmann (1872)Weitere Studien über das Wärmegleichgewich...

work page 2003
[2]

Polkovnikov, K

A. Polkovnikov, K. Sengupta, A. Silva, and M. Vengal- attore, Colloquium: Nonequilibrium dynamics of closed interacting quantum systems, Rev. Mod. Phys.83, 863 (2011)

work page 2011
[3]

Eisert, M

J. Eisert, M. Friesdorf, and C. Gogolin, Quantum many- body systems out of equilibrium, Nature Physics11, 124 (2015)

work page 2015
[4]

Rigol, V

M. Rigol, V. Dunjko, V. Yurovsky, and M. Olsh- anii, Relaxation in a Completely Integrable Many-Body Quantum System: An Ab Initio Study of the Dynam- ics of the Highly Excited States of 1D Lattice Hard-Core Bosons, Phys. Rev. Lett.98, 050405 (2007)

work page 2007
[5]

F. H. L. Essler and M. Fagotti, Quench dynamics and relaxation in isolated integrable quantum spin chains, Journal of Statistical Mechanics: Theory and Experi- ment2016, 064002 (2016)

work page 2016
[6]

E. B. Davies and J. T. Lewis, An operational approach to quantum probability, Communications in Mathematical Physics17, 239 (1970)

work page 1970
[7]

S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994)

work page 1994
[8]

M. G. A. Paris, Quantum estimation for quantum tech- nology, International Journal of Quantum Information7, 125 (2009)

work page 2009
[9]

Barthel and U

T. Barthel and U. Schollwöck, Dephasing and the Steady State in Quantum Many-Particle Systems, Phys. Rev. Lett.100, 100601 (2008)

work page 2008
[10]

Reimann, Foundation of Statistical Mechanics under Experimentally Realistic Conditions, Phys

P. Reimann, Foundation of Statistical Mechanics under Experimentally Realistic Conditions, Phys. Rev. Lett. 101, 190403 (2008)

work page 2008
[11]

Linden, S

N. Linden, S. Popescu, A. J. Short, and A. Winter, Quantum mechanical evolution towards thermal equilib- rium, Phys. Rev. E79, 061103 (2009)

work page 2009
[12]

T. R. de Oliveira, C. Charalambous, D. Jonathan, M. Lewenstein, and A. Riera, Equilibration time scales in closed many-body quantum systems, New Journal of Physics20, 033032 (2018)

work page 2018
[13]

J. M. Deutsch, Quantum statistical mechanics in a closed system, Phys. Rev. A43, 2046 (1991)

work page 2046
[14]

Srednicki, Chaos and quantum thermalization, Phys

M. Srednicki, Chaos and quantum thermalization, Phys. Rev. E50, 888 (1994)

work page 1994
[15]

Rigol, V

M. Rigol, V. Dunjko, and M. Olshanii, Thermalization and its mechanism for generic isolated quantum systems, Nature452, 854 (2008)

work page 2008
[16]

D’Alessio, Y

L. D’Alessio, Y. Kafri, A. Polkovnikov, and M. Rigol, From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics, Advances in Physics65, 239 (2016)

work page 2016
[17]

Kuwahara and K

T. Kuwahara and K. Saito, Eigenstate Thermalization from the Clustering Property of Correlation, Phys. Rev. Lett.124, 200604 (2020)

work page 2020
[18]

Lima, Equivalence of ensembles in quantum lattice systems: States, Communications in Mathematical Phys- ics24, 180 (1972)

R. Lima, Equivalence of ensembles in quantum lattice systems: States, Communications in Mathematical Phys- ics24, 180 (1972)

work page 1972
[19]

Tasaki, On the Local Equivalence Between the Canon- ical andthe Microcanonical Ensembles forQuantumSpin Systems, Journal of Statistical Physics172, 905 (2018)

H. Tasaki, On the Local Equivalence Between the Canon- ical andthe Microcanonical Ensembles forQuantumSpin Systems, Journal of Statistical Physics172, 905 (2018)

work page 2018
[20]

Kuwahara and K

T. Kuwahara and K. Saito, Gaussian concentration bound and ensemble equivalence in generic quantum many-body systems including long-range interactions, Annals of Physics421, 168278 (2020)

work page 2020
[21]

F. G. S. L. Brandão and M. Cramer, Equivalence of Stat- istical Mechanical Ensembles for Non-Critical Quantum Systems (2015), arXiv:1502.03263 [quant-ph]

work page internal anchor Pith review Pith/arXiv arXiv 2015
[22]

Tóth and D

G. Tóth and D. Petz, Extremal properties of the variance and the quantum Fisher information, Phys. Rev. A87, 032324 (2013)

work page 2013
[23]

Quantum Fisher Information as the Convex Roof of Variance

S. Yu, Quantum Fisher Information as the Convex Roof of Variance, arXiv:1302.5311 [quant-ph] (2013)

work page internal anchor Pith review Pith/arXiv arXiv 2013
[24]

If{|φ i⟩}satisfy (2), thenF Q(ρ;H) = 4 P i piVarφi (H)

work page
[25]

Uhlmann, Roofs and Convexity, Entropy12, 1799 (2010)

A. Uhlmann, Roofs and Convexity, Entropy12, 1799 (2010). 6

work page 2010
[26]

Regula, Convex geometry of quantum resource quan- tification, Journal of Physics A: Mathematical and The- oretical51, 045303 (2017)

B. Regula, Convex geometry of quantum resource quan- tification, Journal of Physics A: Mathematical and The- oretical51, 045303 (2017)

work page 2017
[27]

E. T. Jaynes, Information Theory and Statistical Mech- anics, Phys. Rev.106, 620 (1957)

work page 1957
[28]

Streltsov, G

A. Streltsov, G. Adesso, and M. B. Plenio, Colloquium: Quantum coherence as a resource, Rev. Mod. Phys.89, 041003 (2017)

work page 2017
[29]

Lostaglio, D

M. Lostaglio, D. Jennings, and T. Rudolph, Description of quantum coherence in thermodynamic processes re- quires constraints beyond free energy, Nature Commu- nications6, 6383 (2015)

work page 2015
[30]

Baumgratz, M

T. Baumgratz, M. Cramer, and M. B. Plenio, Quantify- ing Coherence, Phys. Rev. Lett.113, 140401 (2014)

work page 2014
[31]

Quan- tumness

C. A. Fuchs and M. Sasaki, Squeezing Quantum Informa- tion through a Classical Channel: Measuring the “Quan- tumness” of a Set of Quantum States, Quantum Inform- ation & Computation3, 377 (2003)

work page 2003
[32]

Y. Sun, S. Luo, and X. Lei, Quantumness of ensemble via coherence of Gram matrix, EPL (Europhysics Letters) 134, 30003 (2021)

work page 2021
[33]

Theurer, N

T. Theurer, N. Killoran, D. Egloff, and M. B. Plenio, Re- source Theory of Superposition, Physical Review Letters 119, 230401 (2017)

work page 2017
[34]

Fagotti, On the size of the space spanned by a nonequilibrium state in a quantum spin lattice system, SciPost Phys.6, 059 (2019)

M. Fagotti, On the size of the space spanned by a nonequilibrium state in a quantum spin lattice system, SciPost Phys.6, 059 (2019)

work page 2019
[35]

R.Steinigeweg, J.Herbrych,andP.Prelovšek,Eigenstate thermalization within isolated spin-chain systems, Phys. Rev. E87, 012118 (2013)

work page 2013
[36]

Foini, A

L. Foini, A. Dymarsky, and S. Pappalardi, Out- of-equilibrium eigenstate thermalization hypothesis, SciPost Phys.18, 136 (2025)

work page 2025
[37]

Yoshizawa, E

T. Yoshizawa, E. Iyoda, and T. Sagawa, Numerical Large Deviation Analysis of the Eigenstate Thermalization Hy- pothesis, Phys. Rev. Lett.120, 200604 (2018)

work page 2018
[38]

H. Kim, T. N. Ikeda, and D. A. Huse, Testing whether all eigenstates obey the eigenstate thermalization hypo- thesis, Phys. Rev. E90, 052105 (2014)

work page 2014
[39]

Sugiura and A

S. Sugiura and A. Shimizu, Canonical Thermal Pure Quantum State, Phys. Rev. Lett.111, 010401 (2013)

work page 2013
[40]

Bartsch and J

C. Bartsch and J. Gemmer, Dynamical Typicality of Quantum Expectation Values, Phys. Rev. Lett.102, 110403 (2009)

work page 2009
[41]

Caux and F

J.-S. Caux and F. H. L. Essler, Time Evolution of Local Observables After Quenching to an Integrable Model, Phys. Rev. Lett.110, 257203 (2013)

work page 2013
[42]

Caux, The Quench Action, Journal of Statist- ical Mechanics: Theory and Experiment2016, 064006 (2016)

J.-S. Caux, The Quench Action, Journal of Statist- ical Mechanics: Theory and Experiment2016, 064006 (2016)

work page 2016
[43]

paramagnetic

See Supplemental Material. Supplement al Ma terial Quantum-Coherent Thermodynamics: Leaf Typicality via Minimum-Variance Foliation LEAF TYPICALITY: ADDITIONAL NUMERICAL TESTS In the main text we presented data supporting the leaf-typicality hypothesis for two representative observables,σz ℓ andσ z ℓ σz ℓ+1. To address natural concerns about the generality...

work page
[44]

The considered chain’s lengths areL= log 2 d∈ {6,8,10,12}

The state is thermal,ρ∝e −βH0, with inverse temperatureβ= 0.25andH 0 has the same form (9) with parameters⃗h= (0,0, 1 2 ) andD= 0. The considered chain’s lengths areL= log 2 d∈ {6,8,10,12}. Increasing line thickness corresponds to largerL. Dashed curves represent the commuting-leaf benchmark (β= 0, i.e.,ρ∝I). The energy incoherence isI[L H (ρβ)]≈0.98 logd...

work page