Formula sheet 11 October 2026

A Thermodynamics of Agency

Five formulas for what an agent's energy buys. The first says what an agent's future is, physically. The next two price knowing the future and keeping it open. The fourth says why aim matters more than effort. The fifth ties information and energy into one exchange rate: one for one, and never better. Each carries a label for how sure we are and an explanation in plain words.

  • ProvedAn exact theorem within a stated class of worlds, checked by exact computation.
  • Known physicsAn established result, made exact here inside a world with its own temperature.
  • ApproximateA theory without fitted parameters, tested in advance and accurate in a marked regime.

The five formulas

  1. Formula I: Held futures are entropy

    Proved
    π(G)=Nτ(G)e−U(G)/αZ,α=λln⁡b
    ln⁡π(G′)π(G)=Δln⁡Nτ−ΔUα

    In plain words

    Picture a traveller on a chain of islands whose bridges keep falling and being rebuilt. When the traveller holds a plan, the plan is part of the world, so a world with more open routes can be arranged in more ways. Arrangements that can happen in more ways turn up more often, just as a gas spreads out because spread-out arrangements outnumber the rest. So open futures pull on the world like any other kind of entropy, traded against energy at the world's own temperature.

    G
    the arrangement of the world (which bridges stand)
    Nτ(G)
    the number of τ-step futures the arrangement leaves open
    U(G)
    the energy the arrangement holds, λ per bridge
    α
    the temperature of the store the world exchanges energy with

    New here. The push toward open futures (the causal entropic force) had a temperature set by hand. When futures are held as state, that temperature is the world's own: T = α. Proved for every archipelago and every horizon, for an agent that holds one plan and acts locally and reversibly.

    EvidenceWhen Futures Become EntropyCommitted Futures as MicrostatesManuscript with proofs

  2. Formula II: The price of knowing

    Known physics
    K(G,y)=Nτ(G)ny(G)b
    W=αI(G),1bit⟷αln⁡2

    In plain words

    A tip about where the future goes is worth exactly what it rules out. Each yes-or-no question it settles is one bit, and a bit has a fixed price in energy: the same price Landauer found for erasing one. In our island world, where each packet of timber doubles the ways its store can be arranged, one bit of foresight trades evenly for one packet.

    K(G, y)
    the odds of trading a correct note for one stored packet
    ny(G)
    how many of the futures end where the note says
    b
    the store's multiplier per packet
    W, I(G)
    the free energy of a correct record, and the information it carries

    Known physics: Szilard and Landauer's exchange rate. New here is a world in which the controller, its record, and what it controls share one energy account and one temperature, so the price can be checked exactly.

    EvidenceWhat Is a Bit of Foresight Worth?Result record

  3. Formula III: The price of keeping the future open

    Known physics
    σ=Jln⁡bcbh≥σfloor=−ddtD(p‖πc)
    Y=HJ≤Ybound=Hln⁡bcbhσfloor

    In plain words

    Left alone, the world forgets: bridges wear away and open futures close. Keeping them open is like heating a house in winter. The heat leaks out, and you keep paying to replace it. There is a minimum bill, set by how fast the world would forget on its own, and nobody can pay less. The agents we measured pay two to three times that minimum.

    J
    the fuel flow: packets per unit time from a hot store, through the world, into a cold one
    σ
    the entropy the agent produces doing it
    σfloor
    the lowest entropy production any control can approach while holding the same state
    H, Y
    the open future held above the undriven world, and the yield per unit of fuel

    Known physics: the floor is Horowitz, Zhou, and England's (2017). New here is the yardstick Y. It turns agency into a measurable efficiency with a hard bound beneath it. Measured agents pay 2.2 to 3 times the floor.

    EvidenceHow Much Open Future Can a Unit of Energy Buy?Result record

  4. Formula IV: The law of aim

    Approximate
    ∂⟨N2⟩∂re={3+(N−2)rat the agent≈2relsewhere
    E=HHwarm≈N(3+(N−2)r0)2(3+(N−2)(ρ+r0))⟶N→∞N4

    In plain words

    Where energy goes matters more than how much. Fuel spent on the bridges where the traveller stands keeps more future open than the same fuel scattered at random, the way repairing the road you are about to drive beats repairing roads across the country. The bigger the world, the bigger that advantage. A theory with nothing fitted predicted it before it was measured: to a third of a percent when the traveller moves at the world's pace, and less well when it moves faster.

    N
    the number of places in the world
    r, r0
    bridge density, and its value in the world left to itself
    ρ
    the agent's own mean bridge density, fixed by its fuel flow
    E
    the edge: open future held, over that of random placement at equal fuel flow

    New here, and approximate. A theory with no fitted parameter predicted 32 new edges within 0.36% before they were computed, where the agent moves at the world's own pace. It missed by up to 8.8% when the agent moves sixteen times faster. The N/4 limit holds at weak drive.

    EvidenceDoes Seeing Further Ahead Buy More Open Future?Can a Theory Predict What Energy Buys?The theory

  5. Formula V: The information law

    Proved
    σ≥σfloor(p)−I˙
    σmem≥I˙+I˙noise

    In plain words

    Knowing the world can replace fuel, but only one for one. An agent that knows where the world is slipping can act just there, and each unit of information its actions use saves at most one unit of fuel. Knowing is not free: the memory pays for every bit it learns, including the bits the world's noise wipes out before they are used. Like Maxwell's demon, an agent can even win fuel back, but only because its memory pays the difference. In total, knowledge never beats the minimum; it pays off when it cuts more waste than it costs to gather.

    σ
    the entropy the agent's fuel produces holding the world
    İ
    the information the agent's actions use, per unit time
    σmem
    the entropy the agent's memory produces to keep reading the world
    İnoise
    the information the world's noise erases from the memory, never negative

    Proved here, for every finite world whose own noise does not read the agent's memory, and checked exactly in 500 random worlds. Both lines are exact balances: each becomes an equality once the waste in the actions or in the memory, never negative, is added. The constant is sharp: agents with ever gentler actions reach one nat of fuel per nat of information. The ingredients are known: the second law with information flow (Horowitz and Esposito, 2014) and the floor with a controller (Horowitz, Zhou and England; Horowitz and England, 2017), whose bound on the total is the sum of the two lines. New here: the balance that sets the information an agent uses directly against the floor, and the proof that beating the floor takes a memory that reads the world and actions that read the memory.

    EvidenceCan Knowing the World Replace Fuel?The theoremVerification

How the five fit together

How the five formulas fit togetherFormula I, held futures are entropy, sets the temperature alpha. Alpha prices formula II, knowing, and formula III, keeping the future open. Formula IV, aim, says what makes the yield of formula III large. Formula V, the information law, joins II and III.I · Held futures are entropysets the temperature αII · The price of knowingα ln 2 per bitIII · The price of keepingat least the forgetting rateIV · Aimwhat makes the yield largeV · The information lawjoins II and III · provedHow the five formulas fit togetherFormula I sets the temperature alpha, which prices formula II, knowing, and formula III, keeping the future open. Formula IV, aim, makes the yield of III large. Formula V, the information law, joins II and III.I · Held futures are entropysets the temperature αII · Knowingα ln 2 per bitIII · Keeping≥ the forgetting rateV · Informationjoins II and III · provedIV · Aimmakes the yield large
Formula I fixes the temperature that prices everything else. II and III are the two costs of agency: knowing the future, and keeping it open. IV says what makes the second cost pay. V makes information and energy one currency, exchanged at par.

What would make it a law

Landauer's principle holds for every physical memory, and it has been measured in a laboratory. These formulas hold in the worlds we built. Three steps separate the two:

  1. Partly

    It holds beyond the worlds we built

    Formula I is proved for every archipelago and every horizon, and formula V for every finite world whose noise does not read the agent's memory. The next proof extends formula I to any finite reversible world whose agent holds a plan.

  2. Done

    It is a sharp inequality of its own

    Formula V is proved, and its constant is sharp: information replaces fuel one for one, never better. Its ingredients are borrowed; the balance against the floor is ours.

  3. Not yet

    It is measured in a physical system

    Landauer's bound was measured with a colloidal particle in an optical trap (Bérut et al., Nature 483, 187, 2012). Chemical reaction networks or optical traps could test formula V in the same way.

Evidence ledger

Every experiment was preregistered, reviewed independently, built under embargo, and executed once. Since the third, each run has also been checked by a separate program written from the preregistration alone. The information law was refereed blind and checked by a separate program written from its statement alone. Predictions that failed are reported as results.

WorkFindingOutcome
When Futures Become EntropyFutures held as state are the world's entropy, at the world's temperature.Passed
Committed Futures as MicrostatesThe same law proved for every archipelago and every horizon.Proved
What Is a Bit of Foresight Worth?One bit of foresight trades evenly for one packet: α ln 2.Passed
How Much Open Future Can a Unit of Energy Buy?Fuel buys open future; aim beats warming; foresight did not sharpen aim.2 of 4 predictions held
Does Seeing Further Ahead Buy More Open Future?At equal power, aim's edge grows with the world; blind foresight lowers it.3 of 5 predictions held
Can a Theory Predict What Energy Buys?A frozen theory: within 0.36% at the world's pace, up to 8.8% off when faster.4 of 5 predictions held
Can Knowing the World Replace Fuel?Knowing the world replaces fuel one for one, never better; the memory pays at the same rate.Proved

All research