Manuscript VII-A-ST@1 · VII-A-ST.tex · section · c39a67a3
An explicit finite table from actual coupling jets
An explicit finite table from actual coupling jets · lines 1431–1527
VII-A-ST@1#eq:calibrationconstants, VII-A-ST@1#eq:pilotvalues, VII-A-ST@1#eq:pilotgap, VII-A-ST@1#eq:finite-table
We now make the finite encoding nonvacuous. Specialize to , a unit-integral supported in a small cylindrical plateau , and
where near the spatial projection of and near the observation times. All cutoffs are compactly supported within the laboratory.
Let , let be the tensor of (eq:sourced-example), and for real put
Here
The metric coefficients satisfy (eq:metric-equations) for every : is constant, and .
Set
For constant conformal , direct substitution in (eq:AB) gives
On , zero-data uniqueness gives
For example, in the temporally homogeneous portion, ; inserting proves the term. The cutoff outside cannot affect these evaluations.
Define the finite real calibration constants
Thus
These are evaluations of actual members of the named coupling jet, not merely off-shell placeholders.
For a larger-support generator , with near ,
Choose also any nonzero . The second-order covariance residual of its complete metric pullback is exactly zero.
Use four samples , , and four settings :
Rows are descended evaluations. Row records the failure of a different, larger-support identification; it is not relabelled as a descended observable. Row records an identity already proved for the restricted group.
Displayed formulas in this passage
VII-A-ST@1#eq:calibrationconstants · line 1481
VII-A-ST@1#eq:pilotvalues · line 1490
VII-A-ST@1#eq:finite-table · line 1512
unlabeled · line 1437
unlabeled · line 1446
unlabeled · line 1450
unlabeled · line 1460
unlabeled · line 1466
unlabeled · line 1471
VII-A-ST@1#eq:pilotgap · line 1501