0

The Cost Geometry of Belief: finite-resource inference under noisy observation

A finite agent, a machine's digital twin, or any bounded reasoner, sees a fixed, noisy world only through finite sensors, so its coherent output is not a point but a belief: a probability density over states (the Bayes posterior).

Preview
Year
2026
Hosting
Full text hostedCC-BY-4.0

Cite

Notes

Only stored in your browser.

Attribution

Abstract & full text
arxiv.org/abs/2606.21585CC-BY-4.0
TL;DR
Semantic Scholar
Attribution policy →

Abstract

A finite agent, a machine's digital twin, or any bounded reasoner, sees a fixed, noisy world only through finite sensors, so its coherent output is not a point but a belief: a probability density over states (the Bayes posterior). Certainty is denied twice, by observation (Cramer-Rao) and by physics (Landauer), both diverging at the boundary where the Fisher information blows up. We turn this finiteness into geometry: belief-cost geometry, the geometry of what it costs to change one's mind. The cost metric is optimal transport in Wasserstein space, conformally reweighted by Fisher information (the price of the precision at stake), \tilde g_{e,U}=2(e+U),g_{W_2} with relief U. It rests on two posed postulates: that revision cost is a scalar price on transport (the arena), and that the price is honest, one nat costs the same length everywhere (eikonal). Honesty selects the Fisher reweighting because transport demotes the Fisher information from the metric ruler of distinguishability (its role in Fisher-Rao information geometry) to the slope of entropy. Three results follow on the conformal class: a wall, a well-posed inference pushes certainty to infinite cost-distance once the relief dominates the Fisher information (necessity conjectured beyond power laws); an honest family, the eikonal price is equivalent to U=cJ, the Fisher family; and a rigidity (essentially location-scale), these geometries are hyperbolic and the Stam bound crowns the Gaussian as the most hyperbolic location-scale belief (ranking at e=0), the value -1/4 being one image of a relativity of cost. The cost of reaching a given precision then has a geometric floor diverging at certainty. Thermodynamics fixes the cost unit (one nat costs k_BT at the wall) and motivates the framework; the results are geometric, in nats.