Manuscript IV@1 · IV.tex · section · 351cb2d7
Problem, three models, and cutoff grammar
Problem, three models, and cutoff grammar · lines 204–250
The question is whether a specified classical functional admits a complete chain
Each arrow requires its own definition and proof. A classical gauge-invariant expression does not automatically define an operator. A symmetric form cannot automatically be exponentiated. A unitary system channel does not by itself specify its controlled realization.
We answer this question in three named models. They are three models, not three approximations to one operator.
| Model | Measured quantity | Representation |
|---|---|---|
| 1: finite vacuum TT plane | A first-order inhomogeneous scalar correction | . |
| 2: dense vacuum TT | The same type of bilinear correction on an infinite-dimensional TT space | . |
| 3: sourced stress at | A curvature pairing of a prescribed linear response to scalar stress | , without a graviton factor. |
Figure fig:three-models separates the three classical quantities, representations, generators, and record endpoints.
Displayed formulas in this passage
unlabeled · line 209