Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Polarization and operator audit
Proof and verification audit › Polarization and operator audit · lines 1968–1988
The degree-four polynomial has one scalar slot and three metric slots. Full coefficient recovery therefore uses one scalar derivative and three metric derivatives, with the symmetric metric factor .
In the slot-isolation calculation, setting leaves two surviving middle-slot permutations. This gives the exact factor in (eq:isolation); it does not change the inherited two-edge assignment factor.
The identity
uses compact support away from the initial surface and uniqueness of the zero-data Cauchy problem. It neither assumes that and are independent fields nor imposes an equation of motion on the configuration.
Displayed formulas in this passage
unlabeled · line 1981