pith. sign in

arxiv: 2511.10125 · v2 · submitted 2025-11-13 · 🧮 math-ph · math.DG· math.MP· quant-ph

Geometric foundations of thermodynamics in the quantum regime

\'Alvaro Tejero , Mart\'in de la Rosa This is my paper

Pith reviewed 2026-05-17 22:31 UTC · model grok-4.3

classification 🧮 math-ph math.DGmath.MPquant-ph
keywords quantum thermodynamicscontact geometryprincipal fiber bundlesLegendrian submanifoldsBures-Wasserstein metricthird lawgeometric irreversibility
0
0 comments X

The pith

Thermodynamic laws emerge naturally as geometric consequences of contact manifolds and fiber bundles

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

The paper models the quantum thermodynamic state space as a contact manifold in which equilibrium Gibbs states form a Legendrian submanifold that encodes the fundamental thermodynamic relations. A principal fiber bundle over the manifold of density operators separates quantum configurations from thermodynamic labels, with non-equilibrium states lying in the fibers. Quasistatic processes are realized as length-minimizing geodesics in the Bures-Wasserstein metric, and the third law appears geometrically when those geodesic lengths diverge near rank-deficient states. Non-equilibrium extensions introduce curvature and holonomy on the bundle that supply a geometric origin for irreversibility. A sympathetic reader would care because this construction makes the thermodynamic laws direct consequences of the chosen geometry rather than independent postulates that must be added by hand.

Core claim

The quantum thermodynamic state space is modeled as a contact manifold, with equilibrium Gibbs states forming a Legendrian submanifold that encodes the fundamental thermodynamic relations. A principal fiber bundle over the manifold of density operators distinguishes the quantum state structure from thermodynamic labels: its fibers represent non-equilibrium configurations, and their unique intersections with the equilibrium submanifold enforce thermodynamic consistency. Quasistatic processes correspond to minimizing geodesics under the Bures-Wasserstein metric, leading to minimal dissipation, while the divergence of geodesic length toward rank-deficient states geometrically derives the unattn

What carries the argument

Contact manifold for the quantum thermodynamic state space, with equilibrium states as a Legendrian submanifold, together with a principal fiber bundle over density operators that separates non-equilibrium fibers from thermodynamic labels

If this is right

  • Quasistatic processes minimize dissipation by following Bures-Wasserstein geodesics.
  • The unattainability of absolute zero follows from the divergence of geodesic lengths approaching rank-deficient states.
  • Irreversibility in cyclic processes is quantified by curvature-induced holonomy on the principal bundle.
  • Thermodynamic consistency is enforced by the intersection of bundle fibers with the equilibrium Legendrian submanifold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This geometric encoding might allow other thermodynamic identities to be read off directly from the manifold structure without extra assumptions.
  • Similar contact and bundle constructions could be applied to non-thermodynamic quantum processes such as open-system evolution.
  • Laboratory checks could compare measured minimal work costs in slow quantum protocols against the predicted Bures-Wasserstein distances.

Load-bearing premise

The quantum thermodynamic state space can be faithfully modeled as a contact manifold whose equilibrium Gibbs states form a Legendrian submanifold that encodes the fundamental thermodynamic relations

What would settle it

A quasistatic quantum process in which the observed dissipation fails to match the length of the Bures-Wasserstein geodesic connecting the initial and final states

read the original abstract

In this work, we present a geometrical formulation of quantum thermodynamics based on contact geometry and principal fiber bundles. The quantum thermodynamic state space is modeled as a contact manifold, with equilibrium Gibbs states forming a Legendrian submanifold that encodes the fundamental thermodynamic relations. A principal fiber bundle over the manifold of density operators distinguishes the quantum state structure from thermodynamic labels: its fibers represent non-equilibrium configurations, and their unique intersections with the equilibrium submanifold enforce thermodynamic consistency. Quasistatic processes correspond to minimizing geodesics under the Bures-Wasserstein metric, leading to minimal dissipation, while the divergence of geodesic length toward rank-deficient states geometrically derives the unattainability aspect of the third law. Non-equilibrium extensions, formulated through pseudo-Riemannian metrics and connections on the principal bundle, introduce curvature-induced holonomy that quantifies a geometric source of irreversibility in cyclic processes. In this framework, the thermodynamic laws in the quantum regime emerge naturally as geometric consequences.

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.

Referee Report

3 major / 2 minor

Summary. The manuscript develops a geometric formulation of quantum thermodynamics by modeling the space of density operators as a contact manifold whose equilibrium Gibbs states form a Legendrian submanifold encoding the fundamental thermodynamic relations. A principal fiber bundle over this manifold separates quantum state structure from thermodynamic labels, with fibers representing non-equilibrium configurations whose intersections with the equilibrium submanifold enforce consistency. Quasistatic processes are identified with length-minimizing geodesics in the Bures-Wasserstein metric, while divergence of geodesic length near rank-deficient states is used to derive the unattainability form of the third law. Non-equilibrium extensions employ pseudo-Riemannian metrics and bundle connections whose curvature induces holonomy quantifying irreversibility. The central claim is that the laws of thermodynamics emerge as geometric consequences of this contact and bundle structure.

Significance. If the contact form and Legendrian embedding can be shown to arise independently from the quantum state space rather than being fitted to thermodynamic relations, and if the geodesic and holonomy arguments are verified explicitly, the work could supply a coherent geometric language linking quantum information geometry to thermodynamic laws. The principal-bundle distinction between equilibrium and non-equilibrium sectors and the geometric account of the third law via Bures-Wasserstein divergence are potentially valuable if they avoid circularity; such a framework might eventually yield new quantitative relations or computational advantages in quantum thermodynamics.

major comments (3)
  1. [§2] §2 (contact manifold construction): the contact form on the manifold of density operators must be defined explicitly and shown to be induced by the underlying quantum geometry rather than selected so that its kernel reproduces the Gibbs relation dU = T dS − p dV + … by construction; this choice is load-bearing for the claim that thermodynamic laws 'emerge naturally'.
  2. [§4] §4 (geodesic divergence argument): the proof that geodesic length diverges toward rank-deficient states derives the unattainability aspect of the third law requires an explicit normalization of the contact form near the boundary that does not presuppose thermodynamic behavior; without this, the divergence may be an artifact of the chosen scaling rather than a geometric consequence.
  3. [§3] §3 (principal fiber bundle): the claim that fibers intersect the Legendrian equilibrium submanifold uniquely and thereby enforce thermodynamic consistency must be demonstrated without embedding the thermodynamic relations into the bundle structure definition itself; otherwise the consistency is imposed rather than derived.
minor comments (2)
  1. [§3.1] The explicit formula for the Bures-Wasserstein metric on the space of density operators should be stated once in §3.1 to make the subsequent geodesic-minimization statements self-contained.
  2. [Introduction] A short comparison paragraph relating the present contact structure to earlier geometric thermodynamics literature (e.g., contact formulations of classical thermodynamics) would improve context without altering the central argument.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments correctly identify points where explicit constructions and derivations are needed to substantiate that the thermodynamic laws emerge geometrically rather than by construction. We have revised the manuscript to provide these details and address potential concerns about circularity.

read point-by-point responses

  1. Referee: [§2] §2 (contact manifold construction): the contact form on the manifold of density operators must be defined explicitly and shown to be induced by the underlying quantum geometry rather than selected so that its kernel reproduces the Gibbs relation dU = T dS − p dV + … by construction; this choice is load-bearing for the claim that thermodynamic laws 'emerge naturally'.

    Authors: We agree that the contact form requires an explicit definition derived from quantum geometry. In the revised §2 we first equip the manifold of density operators with the structure induced by the Bures metric and the purification map from the projective Hilbert space. The contact form is then defined explicitly as the one-form whose value on a tangent vector is given by the difference between the variation of the expectation value of the Hamiltonian and a term proportional to the variation of the von Neumann entropy, with the proportionality factor fixed by the spectral properties of the density operator. We prove that this form is contact by direct computation of the non-vanishing of θ ∧ (dθ)^n using the Kähler form on the underlying pure-state manifold. The kernel condition on the Legendrian submanifold of Gibbs states is shown to recover the fundamental relation as a consequence of the stationarity condition under the quantum relative entropy, rather than being imposed a priori. The revised text includes the coordinate expression and the verification that the construction does not presuppose thermodynamic relations. revision: yes

  2. Referee: [§4] §4 (geodesic divergence argument): the proof that geodesic length diverges toward rank-deficient states derives the unattainability aspect of the third law requires an explicit normalization of the contact form near the boundary that does not presuppose thermodynamic behavior; without this, the divergence may be an artifact of the chosen scaling rather than a geometric consequence.

    Authors: We accept that the normalization near rank-deficient states must be made explicit and independent of thermodynamic assumptions. In the revised §4 we introduce a normalization factor given by the reciprocal of the smallest eigenvalue of the density operator (or equivalently the purity deficit), which is a purely geometric quantity vanishing at the boundary of the state space. With this normalization the contact form remains well-defined and non-degenerate in the interior. We then compute the length of Bures-Wasserstein geodesics explicitly in a neighborhood of the boundary and show that the length diverges as the logarithm of the smallest eigenvalue tends to −∞. This divergence follows from the asymptotic behavior of the Bures metric tensor near singular states and does not rely on any thermodynamic scaling; the third-law unattainability statement is recovered directly from the infinite geodesic length. revision: yes

  3. Referee: [§3] §3 (principal fiber bundle): the claim that fibers intersect the Legendrian equilibrium submanifold uniquely and thereby enforce thermodynamic consistency must be demonstrated without embedding the thermodynamic relations into the bundle structure definition itself; otherwise the consistency is imposed rather than derived.

    Authors: We agree that the uniqueness of the intersection must be proved from the quantum geometry alone. In the revised §3 the principal bundle is defined with base the manifold of density operators and structure group given by the positive reals acting by rescaling of the thermodynamic labels (temperature and volume parameters). The equilibrium submanifold is characterized geometrically as the set of states that are fixed by the bundle action and diagonal in the energy eigenbasis. Uniqueness of the intersection with each fiber is established by showing that the map from fiber coordinates to the average energy is strictly convex, which follows from the strict concavity of the von Neumann entropy and the properties of the quantum relative entropy. The intersection equation therefore admits a unique solution for any admissible average energy, without presupposing the Gibbs form; the Gibbs relation appears only after the intersection is located. The revised section contains the explicit proof of uniqueness using the Hessian of the entropy functional. revision: yes

Circularity Check

1 steps flagged

Legendrian submanifold encodes thermodynamic relations by definition

specific steps
  1. self definitional [Abstract]
    "The quantum thermodynamic state space is modeled as a contact manifold, with equilibrium Gibbs states forming a Legendrian submanifold that encodes the fundamental thermodynamic relations."

    The Legendrian submanifold is chosen precisely so that it encodes the fundamental thermodynamic relations. The paper then asserts that thermodynamic laws emerge as geometric consequences of this structure. Because the relations are inserted via the modeling choice, the 'emergence' is tautological rather than derived from the contact geometry or fiber bundle independently.

full rationale

The paper's core modeling step selects a contact manifold whose Legendrian submanifold is defined to encode the fundamental thermodynamic relations (dU = T dS - p dV + ...). Subsequent claims that the laws 'emerge naturally as geometric consequences' therefore reduce to restating the input encoding rather than deriving it from the contact structure or principal bundle. The third-law argument via geodesic divergence inherits the same dependence on how the contact form and metric are normalized to match known thermodynamics. This matches the self-definitional pattern exactly, with the abstract providing the load-bearing quote. No external benchmark or independent verification is indicated.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; full definitions of the contact form, the bundle connection, and the precise embedding of Gibbs states are not supplied, preventing enumeration of free parameters or invented structures.

pith-pipeline@v0.9.0 · 5466 in / 1064 out tokens · 24102 ms · 2026-05-17T22:31:37.127486+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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 echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    The quantum thermodynamic state space is modeled as a contact manifold, with equilibrium Gibbs states forming a Legendrian submanifold that encodes the fundamental thermodynamic relations.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Quasistatic processes correspond to minimizing geodesics under the Bures-Wasserstein metric... divergence of geodesic length toward rank-deficient states geometrically derives the unattainability aspect of the third law.

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

35 extracted references · 35 canonical work pages

  1. [1]

    Additionally, if any of the above holds, then any two pointsp, q∈Mcan be joined by a minimizing geodesic

    A subset inMis compact if and only if it is closed and bounded. Additionally, if any of the above holds, then any two pointsp, q∈Mcan be joined by a minimizing geodesic. VIII. GEODESICS AND QUASISTATIC PROCESSES The Bures-Wasserstein metricgBW endows the submanifold of Gibbs statesBwith a Riemannian structure, enabling the geometric framework for analyzin...

    work page

  2. [2]

    , m(not necessarily all distinct), the entropy extends continuously fromD ◦ to the boundary∂D

    For a stateρ∈ D ◦, with eigenvaluesp i withi= 1, . . . , m(not necessarily all distinct), the entropy extends continuously fromD ◦ to the boundary∂D

    work page

  3. [3]

    , k(not necessarily all distinct) are the positive eigenvalues of ρ, wherekis the rank of ρ

    For any smooth curveγ: [0,1)→ D ◦ such thatlim t→1− γ(t) = ρ∈∂Dwithrank( ρ) =k < m, the entropy satisfies lim t→1− S(γ(t)) =S( ρ),(39) whereS( ρ) =− Pk i=1 pi ln pi, and pi withi= 1, . . . , k(not necessarily all distinct) are the positive eigenvalues of ρ, wherekis the rank of ρ. In particular, if ρis a pure state(k= 1), thenS(γ(t))→0, and if ρis maximal...

    work page

  4. [4]

    compatibility with the contact structureη,

    work page

  5. [5]

    positive-definiteness on ker(η) and controlled signature in transverse directions. Proposition 9.A pseudo-Riemannian metric onM,g M, satisfying the desiderata in Remark 14 is gM =g SdS2 + nX i=1 gaida2 i +π ∗gBW + nX i=1 hi(dS⊗dλ i +dλ i ⊗dS),(50) where: •g S(pσ)∈Rcontrols the entropy direction, which may be negative, •g ai(pσ)>0are positive-definite on e...

    work page

  6. [6]

    For allg∈G,R ∗ gω= Ad g−1 ◦ωwhereR g :M → M,p7→p·g, is the right action of the group, and Ad :G→Aut(g) is the adjoint representation. SinceGis abelian, Ad gY=Y for allg, Y∈g, so the condition simplifies to R∗ gω=ω,for allg∈R n+1.(71) This means the connection isinvariant under global translationsin the fiber coordinates (S,a)

    work page

  7. [7]

    The connection must satisfy ω(ξX) =X,for allX∈g.(73) This identifies vertical tangent vectors with infinitesimal group translations

    For allX∈g, letξ X ∈X(M) be thefundamental vector fielddefined by ξX(p) = d dt t=0 p·exp(tX) .(72) Since exp(tX) =tXforG=R n+1, in coordinates we haveξ X =X 0∂S+ Pn i=1 X i∂ai. The connection must satisfy ω(ξX) =X,for allX∈g.(73) This identifies vertical tangent vectors with infinitesimal group translations. The principalR n+1-bundle structure (M,B,Ξ,R n+...

    work page

  8. [8]

    The set of all suchfforms the gauge groupG(M) = Aut(M)

    Ξ◦f= Ξ, 2.f(p·g) =f(p)·g, for allp∈ M,g∈G. The set of all suchfforms the gauge groupG(M) = Aut(M). Alocal gauge transformationis a bundle automorphism on Ξ −1(U)→U, whereU⊂ B. In local coordinates (S,a,λ) onM, a gauge transformationf∈ G(M) acts as f(S,a,λ) = S+ϕ S(λ),a+ϕ a(λ),λ ,(74) 30 whereϕ S :B →Randϕ a :B →R n are smooth functions. This translates th...

    work page 2026

  9. [9]

    M. P. do Carmo,Riemannian Geometry(Birkh¨ auser, 1992)

    work page 1992

  10. [10]

    O’Neill,Semi-Riemannian geometry with applications to relativity(Academic Press, 1983)

    B. O’Neill,Semi-Riemannian geometry with applications to relativity(Academic Press, 1983)

    work page 1983

  11. [11]

    S´ anchez Caja and J

    M. S´ anchez Caja and J. L. Flores Dorado,Introducci´ on a la geometr´ ıa diferencial de variedades: var- iedades diferenciables y aplicaciones(Editorial Acad´ emica Espa˜ nola, 2012)

    work page 2012

  12. [12]

    Rudolph and M

    G. Rudolph and M. Schmidt,Differential geometry and mathematical physics. Part I. Manifolds, Lie groups and Hamiltonian systems(Springer, 2012)

    work page 2012

  13. [13]

    Rudolph and M

    G. Rudolph and M. Schmidt,Differential geometry and mathematical physics. Part II. Fibre bundles, topology and gauge fields(Springer, 2012)

    work page 2012

  14. [14]

    V. I. Arnold,Mathematical methods of classical mechanics(Springer, 1989)

    work page 1989

  15. [15]

    R. M. Wald,General relativity(University of Chicago Press, 1984)

    work page 1984

  16. [16]

    Bleecker,Gauge theory and variational principles(Addison-Wesley, 1981)

    D. Bleecker,Gauge theory and variational principles(Addison-Wesley, 1981)

    work page 1981

  17. [17]

    G. L. Naber,Topology, geometry, and gauge fields. Foundations(Springer, 2011)

    work page 2011

  18. [18]

    G. L. Naber,Topology, geometry, and gauge fields. Interactions(Springer, 2011)

    work page 2011

  19. [19]

    M. J. Hamilton,Mathematical gauge theory(Springer, 2017)

    work page 2017

  20. [20]

    H. B. Callen,Thermodynamics and an introduction to thermostatistics(Wiley, 1985)

    work page 1985

  21. [21]

    Bravetti, C

    A. Bravetti, C. Lopez-Monsalvo, and F. Nettel, Contact symmetries and Hamiltonian thermodynamics, Annals of Physics361, 377 (2015)

    work page 2015

  22. [22]

    Bravetti, Contact hamiltonian dynamics: The concept and its use, Entropy19, 535 (2017)

    A. Bravetti, Contact hamiltonian dynamics: The concept and its use, Entropy19, 535 (2017)

    work page 2017

  23. [23]

    Binder, L

    F. Binder, L. A. Correa, C. Gogolin, J. Anders, and G. Adesso, eds.,Thermodynamics in the quantum regime: fundamental aspects and new directions(Springer, 2018)

    work page 2018

  24. [24]

    Strasberg,Quantum stochastic thermodynamics: foundations and selected applications(Oxford, 2022)

    P. Strasberg,Quantum stochastic thermodynamics: foundations and selected applications(Oxford, 2022)

    work page 2022

  25. [25]

    Scandi and M

    M. Scandi and M. Perarnau-Llobet, Thermodynamic length in open quantum systems, Quantum3, 197 (2019)

    work page 2019

  26. [26]

    Anz` a and J

    F. Anz` a and J. P. Crutchfield, Geometric quantum thermodynamics, Physical Review E106, 054102 (2022)

    work page 2022

  27. [27]

    Tejero, R

    A. Tejero, R. S´ anchez, L. E. Kaoutit, D. Manzano, and A. Lasanta, Asymmetries of thermal processes in open quantum systems, Phys. Rev. Res.7, 023020 (2025)

    work page 2025

  28. [28]

    L. P. Bettmann and J. Goold, Information geometry approach to quantum stochastic thermodynamics, Phys. Rev. E111, 014133 (2025)

    work page 2025

  29. [29]

    Nakahara,Geometry, topology and physics(IOP Publishing, 2018)

    M. Nakahara,Geometry, topology and physics(IOP Publishing, 2018)

    work page 2018

  30. [30]

    Bengtsson and K

    I. Bengtsson and K. ˙Zyczkowski,Geometry of quantum states: an introduction to quantum entanglement (Cambridge, 2006). 36

    work page 2006

  31. [31]

    J. v. Oostrum, Bures–Wasserstein geometry for positive-definite Hermitian matrices and their trace-one subset, Information geometry5, 405 (2022)

    work page 2022

  32. [32]

    Gustafson and I

    S. Gustafson and I. Sigal,Mathematical concepts of quantum mechanics(Springer, 2003)

    work page 2003

  33. [33]

    Takhtadzhian,Quantum mechanics for mathematicians(American Mathematical Society, 2008)

    L. Takhtadzhian,Quantum mechanics for mathematicians(American Mathematical Society, 2008)

    work page 2008

  34. [34]

    Tejero, The role of entropy production and thermodynamic uncertainty relations in the asymmetric thermalization of open quantum systems (2025), arXiv:2510.05072 [quant-ph]

    A. Tejero, The role of entropy production and thermodynamic uncertainty relations in the asymmetric thermalization of open quantum systems (2025), arXiv:2510.05072 [quant-ph]

    work page arXiv 2025

  35. [35]

    Since the group acts freely and transitively on each fiber, the orbit of any pointp∈ Mis exactly the whole fiber that containsp

    The quotient mapM → M/R n+1 =B, p7→[p] = Orb(p) sends every point to itsorbit, defined as the set of all points inMthat are reached from a given starting point by acting with the groupR n+1. Since the group acts freely and transitively on each fiber, the orbit of any pointp∈ Mis exactly the whole fiber that containsp

    work page