Skip to content
AI.info

Research

Thermodynamic Limits of Physical Intelligence

Overview Research area: Machine learning (cs.LG), specifically the thermodynamics of information processing applied to AI efficiency evaluation. The paper bridges stochastic thermodynamics, informatio

arXiv
2602.05463
Published
2026-02-05
Authors
Koichi Takahashi, Yusuke Hayashi

AI summary

Overview

Research area: Machine learning (cs.LG), specifically the thermodynamics of information processing applied to AI efficiency evaluation. The paper bridges stochastic thermodynamics, information theory, and embodied AI benchmarking.

Technical level: Advanced. The paper assumes familiarity with mutual information, data processing inequalities, Landauer's principle, entropy production, and MDL (minimum description length) coding.

Scope (one sentence): The paper proposes two bits-per-joule metrics — thermodynamic epiplexity per joule (learning/recognition) and empowerment per joule (control) — states a Landauer-scale closed-cycle benchmark for each, shows why open accounting boundaries break that benchmark, and offers a reporting checklist for relative comparisons.

What This Paper Is About

Modern AI systems achieve strong capabilities at large energy cost, while the human brain performs high-level cognition at roughly 20 W. The paper asks how to formally define and quantify the energy efficiency of an intelligent system, and what thermodynamic limits constrain it. Its goal is a reproducible efficiency report — not a universal intelligence score — with explicit conventions on accounting boundaries, coarse-graining, horizon, and cost, so that bits-per-joule numbers are comparable across architectures, embodiments, or training procedures at a fixed benchmark.

Key Contributions

  1. Thermodynamic epiplexity per joule. Defines η_ℰ ≜ Δℐ / E_cons as a learning-efficiency metric (bits/J), where Δℐ is acquired epiplexity — the conditional mutual information I(W^post; Z | W^pre) between the agent's internal state and an environment-instance variable Z. The closed-cycle Landauer-scale statement is presented as a synthesis of a thermodynamic-learning inequality plus conditional data processing.

  2. Empowerment per joule. Defines empowerment as an embodied sensorimotor channel capacity over a horizon τ, and defines η_𝒞 through a cost-constrained empowerment curve plus derived bits/J summaries, with reporting conventions (total vs. incremental energy) intended to avoid "free-control" artifacts. This is related to classical capacity-per-unit-cost results.

  3. Open-boundary decoupling caution. Proposition 1 constructs a protocol showing that, when a pre-initialized low-entropy register is not charged to the in-boundary budget, information gain and in-boundary dissipation need not be tightly linked — motivating boundary closure for Landauer-scaled benchmarks.

  4. Unified efficiency framework. A framework (Section 5) that jointly reports η_ℰ and η_𝒞 with a minimum reporting checklist (boundary and energy accounting, coarse-graining/noise, horizon/reset, cost baseline, and estimator details). The paper also recommends compute-bounded MDL epiplexity / compression-gain surrogates when the latent structure variable Z is unavailable.

Main Findings

  • Landauer scale sets a yardstick, not a hardware reality. In an ideal closed-cycle regime, Landauer's principle gives a scale of k_B T ln 2 joules per reliably reusable bit, i.e. on the order of 1/(k_B T ln 2) bits per joule. At room temperature T ≈ 300 K, this is approximately 3.5 × 10^20 bits/J — described in the paper as "a far-above-hardware benchmark scale."

  • Closed-cycle epiplexity bound (Corollary 1). Assuming the thermodynamic learning inequality of Lemma 1 (a restatement of results from Goldt and Seifert) and the Markov relation Z → X → W^post conditioned on W^pre, acquired epiplexity satisfies Δℐ ≤ (ΔS_sys + Q_diss/T) / (k_B ln 2). Equivalently, Q_diss ≥ k_B T ln 2 · Δℐ − T ΔS_sys. In a closed-cycle/steady-state regime with ΔS_sys = 0, Δℐ ≤ Q_diss/(k_B T ln 2), and hence η̃_ℰ ≜ Δℐ/Q_diss ≤ 1/(k_B T ln 2).

  • Data-processing chain separates structure from data. Because the learning update uses episode data X, the conditional data processing inequality gives Δℐ = I(W^post; Z | W^pre) ≤ I(X; Z | W^pre), and also Δℐ ≤ ΔI_{W←X} = I(W^post; X | W^pre). So any thermodynamic bound on the learner's information gain about its driving signal also bounds epiplexity, possibly loosely. In passive/batch settings where W^pre does not influence data generation, this reduces to Δℐ ≤ I(X; Z).

  • Open boundaries can decouple information from dissipation (Proposition 1). With an n-bit register M entering the boundary pre-initialized to M^pre = 0^n, independent of an n-bit Z, and with preparation cost uncharged, logically reversible gates (n CNOT/XOR gates, f(z,m) = (z, m ⊕ z)) yield M^post = Z and ΔI(M;Z) = H(Z) ≤ n bits, while in-boundary dissipation can be made Q_diss ≤ ε for every ε > 0. The "missing cost" resides in the unmetered initialized register; charging its preparation closes the boundary and restores Landauer-scaled benchmarks. The quasistatic limit Q_diss → 0 requires diverging time, so the paper recommends reporting bits/J alongside bits/s under a wall-clock constraint.

  • Normative vs. operational epiplexity. The normative target is ℐ = I(W; Z) relative to a benchmark-specified generative family {p_env(· | Z)}; the choice of Z (and any quotienting of redundant reparameterizations) is part of the benchmark specification, not inferred from data. In empirical settings where Z is unavailable, the paper does not estimate this mutual information and instead reports compute-bounded MDL epiplexity/compute-gain companions following Finzi et al., where MDL_B(X) = min over M in ℳ_B of [L(M) + L(X | M)], with ℐ_B^MDL(X) = L(M_B*) and H_B^MDL(X) = L(X | M_B*).

  • ε-coarse-graining is required for continuous states. If W or Z are continuous, a fixed quantizer Q_ε (or observation-noise model of scale ε) defines ℐ_ε and Δℐ_ε on discrete variables, keeping mutual information operationally finite.

  • Empowerment is a capacity, not a controller score. Empowerment ℰ_emp(s_0) = max over action distributions of I(A_{0:τ−1}; O_τ | S_0 = s_0). It is zero if actions do nothing and log₂ N bits for perfect control over N equally likely distinguishable states. The paper treats it as a property of the embodied agent–environment interface given sensorimotor dynamics, horizon τ, resolution convention, and cost c(·).

  • Ratio summaries for control are fragile. η_𝒞* = sup over action distributions of I(A_{0:τ−1}; O_τ) / E[c(A_{0:τ−1})] is the classical capacity-per-unit-cost objective. The paper recommends treating the cost-constrained empowerment curve ℰ_emp(E_0) = max over distributions with E[c] ≤ E_0 of I(A_{0:τ−1}; O_τ) — and its marginal slope dℰ_emp/dE_0 — as the primary reporting object, because ratio-based summaries are sensitive to the treatment of zero or near-zero cost baselines. It also recommends reporting baseline (idle) and incremental (control-induced) energy separately.

  • Learning and control compete for a shared budget. Under an idealized closed-cycle regime, the paper states a coarse conceptual budget ΔI_agent + ΔI_env ≲ Σ_tot/(k_B ln 2) ≈ Q_diss/(k_B T ln 2), explicitly described as a conceptual yardstick rather than a universal identity. Because learning and control draw on shared energy budgets in closed-loop operation, systems may exhibit trade-offs between high η_ℰ and high η_𝒞, which joint reporting makes visible.

  • The metrics are benchmark-relative, not universal. The paper states that the resulting numbers depend on boundary, coarse-graining/noise, horizon/reset, and cost conventions, and that comparisons are only meaningful when these are held fixed.

Methodology in Plain English

The authors work at two layers. At the theoretical layer, they set up an "environment instance" as a latent variable Z that generates the agent's experience X, then measure how many bits about Z end up encoded in the agent's internal state W. They write an energy balance that separates measured consumption E_cons from thermodynamic dissipation Q_diss (plus internal energy change, exported work, and stored/recovered energy), so that "energy in" can be related to "heat out." They then import an existing thermodynamic-learning inequality relating information flow into a learner to entropy production and dissipation, and combine it with the fact that information cannot increase along the chain Z → X → W (the data processing inequality). Setting the internal entropy change to zero across a closed cycle produces a simple Landauer-scale ceiling on bits per unit dissipated heat.

To test whether that ceiling is meaningful, they build a deliberately unfair example: a register that arrives already blank without anyone paying for it, updated by reversible gates. The example shows that information can appear with arbitrarily small in-boundary heat, which is why the authors insist that the accounting boundary include freshly initialized low-entropy resources.

At the operational layer, where the latent Z is not observable in real benchmarks, they substitute a resource-bounded MDL/compression notion of structure from recent work, and they lay out reporting conventions for a second metric — empowerment — computed as a channel capacity from actions to future observations under a stated energy budget.

Why This Matters

Impact on research. The paper argues that bits-per-joule claims are meaningless without stated conventions, and supplies a checklist and two orthogonal axes — recognition (epiplexity) and control (empowerment) — so that efficiency results from different groups can be compared rather than merely asserted. It also supplies a formal reason (Proposition 1) why unmetered low-entropy resources can make efficiency numbers arbitrarily large in principle, which is a caution for anyone benchmarking "irreversible" or reversible computing claims.

Real-world applications (as implied by the framework):

  • Comparing robot embodiments or controller designs by control-channel bits per joule at a fixed horizon and cost convention.
  • Reporting foundation-model training or inference efficiency as bits of retained environment structure per joule, with compute-bounded MDL as the practical surrogate when the latent structure variable is unknown.
  • Diagnostics for actuation efficiency — distinguishing whole-agent energy from actuation-only energy in embodied systems.
  • Forecasting beyond current scaling trends by clarifying where thermodynamic constraints bite rather than assuming they do not.

Industry relevance. Energy accounting boundaries, PUE-adjusted wall-plug reporting for shared infrastructure, and separate baseline vs. incremental energy reporting are exactly the conventions data centers, robotics vendors, and hardware designers need if energy-efficiency claims are to be audited. The paper's emphasis on matched bits/J and bits/s reporting under wall-clock constraints also speaks to practical deployment trade-offs, not just theoretical limits.

Future Directions

  • Instantiate the checklist empirically. The framework is a reporting protocol; the paper does not report measured η_ℰ or η_𝒞 values for any system, so the next step is applying it to concrete architectures and training runs.
  • Estimating empowerment at scale. For small discrete systems Eq. (18) can be computed exactly (e.g. via Blahut–Arimoto); larger or continuous systems require variational mutual-information estimators or a learned dynamics model plus discretization, with estimator settings and uncertainty reported. Improving these estimators is an open practical problem.
  • Choosing Z in real domains. In complex real-world domains there may be no unique, objective environment-instance variable; the paper treats the choice as part of the benchmark specification and recommends defining Z minimally with respect to the induced distribution of agent-accessible trajectories. How to do this in practice is unresolved.
  • Testing the learning–control trade-off. The budget relation ΔI_agent + ΔI_env ≲ Q_diss/(k_B T ln 2) is offered as a conceptual yardstick under stated assumptions, and the paper does not claim it as a universal identity. Whether real closed-loop systems show the predicted trade-off between η_ℰ and η_𝒞 is left open.

Target Audience

Advanced readers in information thermodynamics and stochastic thermodynamics, machine-learning efficiency researchers, embodied AI and robotics researchers designing benchmark protocols, and policy or sustainability analysts who need to audit energy-efficiency claims for AI systems. Readers looking for a beginner-friendly introduction, or for measured bits-per-joule results on specific models, will not find them here — the paper is a conventions and limits paper rather than an empirical study, and the provided content is truncated partway through the reporting checklist in Section 5.1.

Authors’ abstract

Modern AI systems achieve remarkable capabilities at the cost of substantial energy consumption. To connect intelligence to physical efficiency, we propose two complementary bits-per-joule metrics under explicit accounting conventions: (1) Thermodynamic Epiplexity per Joule, new bits of structure about a specified environment-instance variable encoded in an agent's state per unit energy, and (2) Empowerment per Joule, sensorimotor channel capacity per expected energetic cost over a fixed horizon. These give two axes of physical intelligence, recognition versus control, but the resulting numbers are benchmark-relative rather than universal. Drawing on stochastic thermodynamics, we formulate a Landauer-scale closed-cycle benchmark for epiplexity acquisition by combining a thermodynamic-learning inequality with data processing, and clarify why boundary closure is required; conversely, a decoupling construction shows that without such assumptions information gain and in-boundary dissipation need not be tightly linked. For empirical settings where the latent structure variable is unavailable, we recommend compute-bounded MDL epiplexity / compression-gain surrogates. Finally, we propose a unified efficiency framework with a minimal checklist of conventions for relative bits-per-joule comparisons, and give a compact language-model reporting example.

Read the original paper