Summary: A fixed bare kernel must have compatible cumulative compressions, while coherent projective contact changes under the standard band inclusion and effective kernels obey a different Schur consistency law.
What a common bare operator requires
At fixed spatial depth , let with normalized oscillator occupations , . Let preserve each existing occupation. These are mode labels on the same specified spatial sector, not additional physical dimensions.
If a fixed bare operator or quadratic form is defined on the union of these spaces, its compressions satisfy
This follows by testing the two forms on any pair of vectors already in . Conversely, a Hermitian family satisfying (1) defines a unique form on finite occupation sums. Boundedness, closability and an infinite-space operator domain require additional control; finite consistency alone does not establish them.
The spatial point form at a fixed position and width satisfies (1): its matrix entries remain the same when more modes are admitted. Its growing nonzero eigenvalue is consistent with an unchanged lower matrix block.
Test the normalized homogenized coherent family
Identify with using normalized occupation states. For a fixed unit vector , the coherent coefficients are
The standard cumulative inclusion adds one unused, or zeroth, occupation. Direct comparison of (2) at two consecutive bands gives
For and , the resulting compression is
It is generally different from . At , the same ground matrix entry is on the left and on the right. For and a ray with nonzero and a nonzero transverse coordinate, changes the relative ground and degree-one amplitudes, so even the compressed rank-one direction changes. A scalar rescaling alone cannot repair that directional difference. At , the left side vanishes completely.
Consequently, the projective point-contact family is not the sequence of compressions of one fixed linear form under this fixed-ray, normalized cumulative identification. Each individual projective contact theorem remains exact. The family uses a different homogeneous line bundle and evaluation map at each .
This is a test of a particular proposed operator bridge. If labels different physical branches rather than a common cutoff, if the master operator depends on the full field, or if the spatial embedding and kinetic metric depend on , their actual relations must replace (1). Such data cannot be inferred from equality of dimensions alone.
Effective operators have Schur consistency
Compression and effective reduction are different operations. Let in a finite complete mode space, and split retained modes from the complement . When the indicated inverses exist, eliminating the complement gives
The identity follows by solving the complementary block equation and substituting it into the retained equation. Hence it is the inverse effective operator that has the compression relation
Equivalently, taking a Schur complement through an intermediate band gives the same result as direct elimination. For a positive static Hessian, the eliminated block also fixes the sign of the correction: .
Thus failure of (1) is not by itself a failure of an effective master reduction. A proposed effective family must instead supply the complementary modes, its frequency dependence and the consistency in (5)–(6). These are modes of the same field ; no mediator particles have been introduced. The common field response also tracks its kinetic normalization and retarded boundary conditions.
A controlled local limit of the coherent evaluation map
There is a useful mathematical connection to an ordinary bosonic coherent coefficient sequence. In the affine chart set
For fixed occupation of degree , (2) becomes
The measure must transform as well. Unit-volume FS measure in this chart is
Since , its contact measure satisfies
at fixed . The coherent operator density then has a finite limit per unit volume. Equations (7)–(8) are a local large-band limit, not an exact finite-band identification. The coordinates describe mode amplitudes; they do not replace any physical spatial dimensions. Changing the measure in an action also transforms its delta functions and source coefficients. A normalization factor cannot simply be discarded while holding those other ingredients fixed.
Finite ray resolution separately quantifies how a specified smooth symbol approaches point contact at fixed .
Verification
coherent_kernel_consistency_checks.py checks (3)–(4) in every retained occupation, fixed spatial point compression, direct and staged complex Schur elimination, compressed resolvents and the coefficient/measure limits in (7)–(8).