Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45

The terminal constant, conditional on actual information charges

Stage 2: a quantitative terminal certificate › The terminal constant, conditional on actual information charges · lines 711–728

Back to manuscript

The theorem prices a terminal certificate. It does not establish its four hypotheses from a spectral gap. Those hypotheses identify a concrete route by which the external proof's constants could be exposed.

More generally, independently proved bounds

∣ D ∣ \leq g_{0} ∣ \partial_{Λ} A ∣, i \sum ε_{i} \leq g_{2} ∣ \partial_{Λ} A ∣

give the exact terminal allowance

C_{terminal} = g_{0} lo g q + \frac{g _{2}}{2} .

Displayed formulas in this passage

unlabeled · line 719
$∣ D ∣ \leq g_{0} ∣ \partial_{Λ} A ∣, i \sum ε_{i} \leq g_{2} ∣ \partial_{Λ} A ∣$
unlabeled · line 725
$C_{terminal} = g_{0} lo g q + \frac{g _{2}}{2} .$

Nearby in this section

section: The terminal constant, conditional on actual information charges
theorem: Theorem: Quantitative terminal area-law certificate