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

Back to manuscript

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