Pith. sign in

REVIEW 5 minor 20 references

A chosen steady-state probability ratio can stay exactly locked to its equilibrium value under arbitrary far-from-equilibrium driving whenever two spanning-tree weights are equal.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-11 07:21 UTC pith:54BA5X5N

load-bearing objection Clean, size-independent theorems: exact protection of a steady-state ratio under single-edge drive, forced monotonicity, and a two-edge switch, all from the arboreal representation.

arxiv 2607.05303 v1 pith:54BA5X5N submitted 2026-07-06 physics.bio-ph cond-mat.stat-mech

Energetic Protection, Monotonicity and Switching Far from Equilibrium

classification physics.bio-ph cond-mat.stat-mech
keywords energetic protectionarboreal distributionnonequilibrium steady statesspanning treesMarkov processesthermodynamic switchmonotonicitydetailed balance
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks what happens to ratios of steady-state probabilities once a Markov system is driven away from equilibrium, where the familiar Boltzmann factor no longer holds. Using a graph representation whose steady states are averages over spanning trees (the arboreal distribution), it shows that single-edge driving always produces a monotonic response controlled by just two numbers, the arboreal coefficients. When those coefficients are equal, the ratio is completely protected: it remains exactly equal to its equilibrium value no matter how strong the drive. With a second energetic edge the same ingredients yield a thermodynamic switch that can hold the ratio fixed for as long as desired and then release it sharply. The result is a set of exact invariances and no-go principles that survive arbitrarily far from equilibrium and that depend on where energy is spent.

Core claim

When an equilibrium Markov process is driven by rescaling a single transition rate by a factor m, the normalized response of any probability ratio is completely determined by two arboreal coefficients; their equality forces the ratio to remain exactly equal to its equilibrium value for every m (energetic protection), while their inequality forces the response to be strictly monotonic. With two energetic edges the same protection and monotonicity combine into a switch that holds the ratio at equilibrium until a second drive is activated.

What carries the argument

The arboreal distribution: the steady-state probability of each state is rewritten as an average of path actions over the probability distribution on spanning trees rooted at a reference vertex. Partitioning those trees by how they traverse the energetic edge produces two m-independent coefficients whose comparison alone fixes the entire response.

Load-bearing premise

The system must begin at thermodynamic equilibrium and then be driven only by rescaling one or two transition rates while every other rate stays fixed at its equilibrium value.

What would settle it

Construct any finite bidirectional strongly-connected Markov graph that starts at equilibrium, rescale a single transition rate by m, and exhibit a non-monotonic dependence of some steady-state probability ratio on m; or, when the two relevant spanning-tree weights are forced equal, show that the ratio still drifts with m.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Single-edge nonequilibrium drive can never produce non-monotonic control of a steady-state ratio at any driving strength.
  • A ratio protected by tree-weight equality is automatically robust to fluctuations in the driving force (e.g., ATP concentration).
  • Two independently controllable energetic edges can implement a thermodynamic switch that holds a function at its equilibrium value indefinitely and then releases it sharply.
  • The functional effect of free-energy expenditure is fixed by the combinatorial location of the energetic edges inside the graph, not merely by the total dissipation.
  • Non-monotonic responses require either three or more energetic edges or explicit coupling between two drives.

Where Pith is reading between the lines

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

  • The same algebraic protection condition could be used to keep error ratios in kinetic proofreading or chaperone networks insensitive to metabolic ATP variation.
  • Because the arboreal coefficients are explicit rational functions of the equilibrium rates, the protection equalities are in principle measurable from equilibrium kinetics alone.
  • The protocol-independent switch that appears for certain edge pairs suggests a design principle for robust nonequilibrium memory or threshold devices that ignore the history of the first drive.
  • Extending the counting of action sectors to three coupled edges should produce at most two extrema, giving a concrete bound on the complexity of non-monotonic control.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies continuous-time finite-state Markov processes driven from thermodynamic equilibrium by rescaling one or two transition rates (energetic edges). Using the arboreal (spanning-tree) representation of the steady state, it derives a closed-form expression for the normalized occupancy ratio K_ij(m) under single-edge driving. Differentiation shows that K_ij is always monotonic in the drive strength m, and remains identically equal to its equilibrium value for every m (energetic protection) precisely when the arboreal coefficients satisfy A+(i)=A+(j), an algebraic equality of spanning-tree weights. With two energetic edges the same ingredients produce a thermodynamic switch that holds the ratio fixed and then releases it monotonically; when the two drives are coupled (n=m) the response becomes a ratio of quadratics that can exhibit at most a single interior extremum. The claims are illustrated on four-state networks and framed as nonequilibrium constraints on information-processing observables.

Significance. If the derivations hold, the work supplies two clean structural results that survive arbitrarily far from equilibrium: a no-go theorem forbidding nonmonotonic control by a single energetic edge, and an exact invariance (energetic protection) that pins a chosen steady-state ratio to its Boltzmann value independently of drive strength. These are genuine additions to the catalogue of thermodynamic constraints on information processing, complementary to classical equilibrium bounds such as Hopfield’s. The collapse of the full spanning-tree expansion onto two arboreal coefficients is elegant, the proofs are short explicit differentiations of closed forms, and the supplement rigorously establishes the quadratic response and the single-bump bound for coupled edges. The thermodynamic-switch construction offers a concrete design principle. The results should interest both nonequilibrium statistical physics and biophysical modeling communities.

minor comments (5)
  1. Theorem numbering (Theorem 0.1, Theorem 0.2) is nonstandard and slightly confusing; renumber as Theorem 1 and Theorem 2.
  2. In the single-edge derivation the reference vertex is set to the source of the energetic edge (r=z1) to obtain A−(i)=0. A brief remark that the final monotonicity and protection statements are independent of this convenient choice would help readers who first encounter the general nine-class expansion.
  3. Figure 1 panels C–E and Figure 2 would benefit from explicit numerical values of the arboreal coefficients (or of w(T#6)/w(T#7)) in the captions so that the three regimes can be verified at a glance without consulting the supplement tables.
  4. The modeling choice that only the forward rate of an energetic edge is multiplied by m (while the reverse rate remains at its equilibrium value) is standard but should be stated once more explicitly in the Setup, together with a short note that the same qualitative conclusions hold if the reverse rate is adjusted by 1/m, provided detailed balance is broken only on that edge.
  5. A short paragraph in the Conclusions on how the protection equality A+(i)=A+(j) might be realized or approximately maintained under modest rate fluctuations would strengthen the biological-robustness claim without altering any theorem.

Circularity Check

0 steps flagged

No circularity: algebraic theorems follow directly from the path-action partition of a classical spanning-tree representation; self-citation of the framework is not load-bearing for the new claims.

full rationale

The paper's central results (Theorem 0.1 on monotonicity of Kij(m), the energetic-protection condition A+(i)=A+(j) implying Kij(m)=1 for all m, the two-edge switch, and the single-bump bound for coupled edges) are obtained by elementary algebraic rearrangement of the steady-state formula after partitioning spanning trees according to the location of one or two energetic edges (Eqs. 14–21, 24–31, 34–36 and Supplement S1–S3). The only external ingredient is the arboreal representation (Eq. 9), which is a transparent rewriting of the classical matrix-tree theorem (explicitly compared in the Setup) and is cited from the author's prior work solely as a convenient bookkeeping device. Once that representation is granted, every subsequent identity is self-contained, parameter-free, and holds for any finite strongly-connected bidirectional graph; no quantity is fitted, no uniqueness theorem is imported to forbid alternatives, and no prediction is forced by construction from its own inputs. The self-citation is therefore ordinary scientific scaffolding, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 2 invented entities

The central theorems rest on standard continuous-time Markov-chain assumptions plus the author's previously published path-action / arboreal representation of the steady state. No free parameters are fitted to data; the numerical rates in the tables are only illustrative. The only invented entities are the named phenomena (energetic protection, arboreal coefficients) that are defined by explicit algebraic expressions.

axioms (4)
  • domain assumption Finite-state continuous-time Markov process on a strongly connected bidirectional digraph admits a unique steady state given by the kernel of the graph Laplacian.
    Stated in Setup; used throughout to guarantee existence and uniqueness of π.
  • domain assumption Thermodynamic equilibrium is equivalent to vanishing cycle affinity (detailed balance) on every cycle, allowing path-independent actions Seq(i,j).
    Standard nonequilibrium thermodynamics; used to define the initial equilibrium state before driving.
  • domain assumption The nonequilibrium steady-state vector admits the arboreal average representation ρi = ⟨e^{-S(Ti)}⟩ over spanning trees rooted at a reference vertex (Eq. 9).
    Imported from the author's prior work [8]; all subsequent expansions into arboreal coefficients rest on it.
  • ad hoc to paper Driving consists solely of multiplying one or two edge rates by positive scalars m,n while all other rates remain at their equilibrium values.
    Modeling choice that defines 'energetic edges'; stated at the opening of each theorem.
invented entities (2)
  • arboreal coefficients A0(i), A+(i), A-(i) no independent evidence
    purpose: Partition the arboreal measure according to the position of the energetic edge relative to the unique path from i to the root; their ordering alone determines monotonicity or protection.
    Defined by Eq. 17; they are simply partial sums of the already-introduced arboreal probabilities.
  • energetic protection no independent evidence
    purpose: Name the exact invariance πi/πj = πeq_i/πeq_j for all m when A+(i)=A+(j).
    Defined after Eq. 21; the phenomenon is the equality itself, not an extra dynamical object.

pith-pipeline@v1.1.0-grok45 · 24011 in / 2644 out tokens · 25399 ms · 2026-07-11T07:21:19.055662+00:00 · methodology

0 comments
read the original abstract

At equilibrium, the ratio of two steady-state probabilities is a Boltzmann factor, set by a free-energy difference. Such ratios are the natural, normalization-independent readouts of both thermodynamics and information processing, and are often used as a measure of fidelity in biophysical systems. What becomes of these ratios once a system is driven from equilibrium, where the Boltzmann factor no longer holds? Representing Markov processes as graphs and their steady states as averages over a distribution on spanning trees, the \emph{arboreal distribution}, we track the ratio $\pi_i/\pi_j$ under driving along \emph{energetic edges}, where detailed balance is broken, relative to its equilibrium value. Our central finding is that a chosen ratio can stay exactly locked to its equilibrium value arbitrarily far from equilibrium, a phenomenon we call \emph{energetic protection}, whenever an algebraic equality between spanning-tree weights holds. Just as detailed balance constrains rates around cycles, energetic protection constrains weights across trees, providing a new mechanism for robustness against fluctuations in the driving force, such as variations in ATP concentration. Away from this equality, single-edge driving collapses the response onto two arboreal coefficients and forces it to be monotonic, so nonmonotonic single-edge control is impossible at any strength. With two energetic edges, protection and monotonicity combine into a \emph{thermodynamic switch} that holds a function at its equilibrium value for as long as desired and releases it sharply. Equilibrium is known for the limits it places on information processing. We show that new constraints, both no-go principles and exact invariances, survive far from equilibrium. These results reveal how the localization of energy expenditure governs the functional logic of nonequilibrium systems in physics and biology.

Figures

Figures reproduced from arXiv: 2607.05303 by U\u{g}ur \c{C}etiner.

Figure 1
Figure 1. Figure 1: Single-edge driving yields either a mono￾tonic response or energetic protection. (A) A four￾state Markov process is driven out of equilibrium by scaling the single transition 1 → 3 as ℓ(1 → 3) = m ℓeq(1 → 3) (red), with every other rate held at its equilibrium value. (B) The eight spanning trees rooted at vertex 1; the two trees T#6 and T#7 (magenta) compete to set the response. (C–E) The nor￾malized respo… view at source ↗
Figure 2
Figure 2. Figure 2: A thermodynamic switch in a four-state Markov process. The network of Fig. 1A is driven by two energetic edges, 1 → 3 (factor m, red) and 2 → 3 (factor n, cyan), starting from an equilibrium configuration that sat￾isfies the protection condition w(T#6) = w(T#7) (rates in Table S2). The black curve traces the response K24 as a two-stage protocol advances along the horizontal axis. In the protected region (f… view at source ↗
Figure 3
Figure 3. Figure 3: Whether the second-stage switch is protocol-independent depends on the choice of sec￾ond energetic edge. In both panels the first edge 1 → 3 is ramped to a stopping (switch) value m∗ and then held fixed while the second edge is ramped through n; curves are coloured by m∗ , and the insets show the two energetic edges (m red, n cyan). Both panels use the same equilibrium rates, which satisfy the protection c… view at source ↗
Figure 4
Figure 4. Figure 4: Two coupled energetic edges produce a sin￾gle nonmonotonic bump. The energetic edges 1 → 3 and 3 → 4 are perturbed together by a common factor m from an equilibrium configuration (m = 1; rates in Ta￾ble S4). (A) The normalized response K24(m) rises and then falls, with a single interior maximum. (B) Its slope obeys sgn K′ 24(m) = sgn N(m) with N(m) = ∆10+2∆20m+∆21m2 [Eq. (36)]. Here N(1) > 0 while N(m) < 0… view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

20 extracted references · 2 linked inside Pith

  1. [1]

    Modeling molecular motors.Re- views of Modern Physics, 69(4):1269, 1997

    Frank Jülicher, Armand Ajdari, and Jacques Prost. Modeling molecular motors.Re- views of Modern Physics, 69(4):1269, 1997

  2. [2]

    Irreversibility and heat generation in the computing process.IBM Journal of Research and Development, 5(3):183–191, 1961

    Rolf Landauer. Irreversibility and heat generation in the computing process.IBM Journal of Research and Development, 5(3):183–191, 1961

  3. [3]

    Charles H. Bennett. Logical reversibility of computation.IBM Journal of Research and Development, 17(6):525–532, 1973

  4. [4]

    Reversible computing

    Tommaso Toffoli. Reversible computing. Technical Memo MIT/LCS/TM-151, Mas- sachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, USA, February 1980

  5. [5]

    CRC Press, 2018

    Richard P Feynman.Feynman lectures on computation. CRC Press, 2018

  6. [6]

    Hopfield

    John J. Hopfield. Kinetic proofreading: a new mechanism for reducing errors in biosynthetic processes requiring high specificity.Proceedings of the National Acad- emy of Sciences, 71(10):4135–4139, 1974

  7. [7]

    The Hill function is the universal Hopfield barrier for sharpness of input–output responses.Proceedings of the National Academy of Sciences, 121(22):e2318329121, 2024

    Rosa Martinez-Corral, Kee-Myoung Nam, Angela H DePace, and Jeremy Gunawar- dena. The Hill function is the universal Hopfield barrier for sharpness of input–output responses.Proceedings of the National Academy of Sciences, 121(22):e2318329121, 2024

  8. [8]

    Reformulating nonequilibrium steady states and generalized Hopfield discrimination.Physical Review E, 106(6):064128, 2022

    Uğur Çetiner and Jeremy Gunawardena. Reformulating nonequilibrium steady states and generalized Hopfield discrimination.Physical Review E, 106(6):064128, 2022

  9. [9]

    Universal bounds on information-processing capabilities of Markov processes.arXiv preprint arXiv:2310.10584, 2023

    Uğur Çetiner and Jeremy Gunawardena. Universal bounds on information-processing capabilities of Markov processes.arXiv preprint arXiv:2310.10584, 2023

  10. [10]

    Kinetic proofreading of gene activation by chro- matin remodeling.HFSP Journal, 2(3):167–170, 2008

    Ralf Blossey and Helmut Schiessel. Kinetic proofreading of gene activation by chro- matin remodeling.HFSP Journal, 2(3):167–170, 2008

  11. [11]

    Cochaperones enable Hsp70 to use ATP energy to stabilize native pro- teins out of the folding equilibrium.Scientific Reports, 8(1):13213, 2018

    Huafeng Xu. Cochaperones enable Hsp70 to use ATP energy to stabilize native pro- teins out of the folding equilibrium.Scientific Reports, 8(1):13213, 2018

  12. [12]

    What determines the intracellular ATP concentration.Bioscience Reports, 22(5-6):501–511, 2002

    Fazoil I Ataullakhanov and Victor M Vitvitsky. What determines the intracellular ATP concentration.Bioscience Reports, 22(5-6):501–511, 2002

  13. [13]

    On the dynamics of the adenylate energy system: homeorhesis vs homeostasis.PLoS ONE, 9(10):e108676, 2014

    Ildefonso M De la Fuente, Jesús M Cortés, Edelmira Valero, Mathieu Desroches, Ser- afim Rodrigues, Iker Malaina, and Luis Martínez. On the dynamics of the adenylate energy system: homeorhesis vs homeostasis.PLoS ONE, 9(10):e108676, 2014

  14. [14]

    Time-resolved measurements of intracellular ATP in the yeastSaccharomyces cerevisiaeusing a new type of nanobiosensor.Journal of Biological Chemistry, 285(48):37579–37588, 2010

    Veli C Özalp, Tina R Pedersen, Lise J Nielsen, and Lars F Olsen. Time-resolved measurements of intracellular ATP in the yeastSaccharomyces cerevisiaeusing a new type of nanobiosensor.Journal of Biological Chemistry, 285(48):37579–37588, 2010

  15. [15]

    Elsevier, 2012

    Terrell Hill.Free energy transduction in biology: the steady-state kinetic and thermo- dynamic formalism. Elsevier, 2012

  16. [16]

    A linear framework for time-scale separation in nonlinear bio- chemical systems.PLoS ONE, 7(5):e36321, 2012

    Jeremy Gunawardena. A linear framework for time-scale separation in nonlinear bio- chemical systems.PLoS ONE, 7(5):e36321, 2012

  17. [17]

    A Gallavotti–Cohen-type symmetry in the large deviationfunctionalforstochasticdynamics.Journal of Statistical Physics, 95(1):333– 365, 1999

    Joel L Lebowitz and Herbert Spohn. A Gallavotti–Cohen-type symmetry in the large deviationfunctionalforstochasticdynamics.Journal of Statistical Physics, 95(1):333– 365, 1999. 20 Uğur Çetiner

  18. [18]

    The dissection of equilateral triangles into equilateral triangles

    William T Tutte. The dissection of equilateral triangles into equilateral triangles. Mathematical Proceedings of the Cambridge Philosophical Society, 44(4):463–482, 1948

  19. [19]

    A schematic method of deriving the rate laws for enzyme-catalyzed reactions.The Journal of Physical Chemistry, 60(10):1375–1378, 1956

    Edward L King and Carl Altman. A schematic method of deriving the rate laws for enzyme-catalyzed reactions.The Journal of Physical Chemistry, 60(10):1375–1378, 1956

  20. [20]

    arXiv preprint arXiv:2410.10691, 2024

    UğurÇetiner.AJarzynski-typeequalityfornonequilibriumsteady-stateprobabilities. arXiv preprint arXiv:2410.10691, 2024. ENERGETIC PROTECTION, MONOTONICITY AND SWITCHING F AR FROM EQUILIBRIUM 21 Supplementary Information Energetic Protection, Monotonicity and Switching Far from Equilibrium Contents of the Supplement This Supplement collects the derivations a...