bekensteinBound
plain-language theorem explainer
The Bekenstein bound definition supplies the classical entropy upper limit 2π E R for a system of positive energy E and radius R in natural units. Quantum gravity and holographic information researchers cite it when bounding entropy in finite non-black-hole regions. It is realized as a direct algebraic expression that transcribes the standard formula with ħ = c = 1 and serves as input for the module's ledger-based holographic derivations.
Claim. In units where ħ = c = 1, the Bekenstein bound for positive energy E and positive radius R is the quantity 2π E R.
background
The module derives the holographic bound from Recognition Science ledger projection, where entries live on two-dimensional surfaces and three-dimensional volume is reconstructed from boundary data. Upstream structures supply the ledger factorization into (ℝ₊, ×) with J-calibration, the convex J-cost minimization whose global minimum occurs at x = 1, and the spectral emergence that forces SU(3) × SU(2) × U(1) content together with exactly three generations. The supplied definition therefore sits inside a setting that replaces naive volume scaling of information with an area law.
proof idea
The definition is a one-line wrapper that returns the product 2 * π * energy * radius, using the positivity hypotheses only to restrict the domain to physically admissible inputs.
why it matters
It supplies the classical Bekenstein entropy bound that the module's holographic derivation extends via ledger projection to the area law S ≤ A / (4 l_P²). The placement connects to the framework's T8 forcing of three spatial dimensions and the information-scaling-as-area result from spectral emergence. With zero recorded downstream uses, its role in closing the full holographic chain from ledger to black-hole saturation remains an open integration step.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.