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
Formula I: Held futures are entropy
ProvedIn 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
Formula II: The price of knowing
Known physicsIn 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.
Formula III: The price of keeping the future open
Known physicsIn 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
Formula IV: The law of aim
ApproximateIn 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
Formula V: The information law
ProvedIn 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
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:
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.
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.
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.
| Work | Finding | Outcome |
|---|---|---|
| When Futures Become Entropy | Futures held as state are the world's entropy, at the world's temperature. | Passed |
| Committed Futures as Microstates | The 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 |