Manuscript IV@1 · IV.tex · section · 351cb2d7

Witness, limit boundary, and controls

Cutoff ledger: Model 3 › Witness, limit boundary, and controls · lines 3695–3727

Back to manuscript

The compact curvature current is conserved. Its classical support is exterior to the uncut compact scalar preparation on a short slab. The scalar momentum cutoff does not preserve that exact support statement. Only the compact curvature pairing is transferred by coherent expectation convergence, allowing one finite to be fixed.

With ,

Theorem thm:model3 gives

The scalar vacuum is compared with a scalar coherent state. At , or when is explicitly replaced by zero, both probabilities are .

Neither the -expectation argument nor the -tail bound supplies an unregulated metric instrument. The cubic is not represented by these kernels.

Figures fig:exterior-curvature-witness and fig:model3-record-controls separate the classical support certificate from the regulated record and its controls.

Displayed formulas in this passage

  • unlabeled · line 3705

  • unlabeled · line 3711