The collective geometric source has an exact realization in a single canonical coefficient field. The realization specifies the interaction through mode averages. This assumption makes its coherent family invariant and keeps all the additional oscillator modes under control at linear order.
The oscillator indices describe candidate modes of the same field. They are not extra physical dimensions or additional particles. Identifying these modes with the actual spatial carrier remains a separate derivation. In particular, a moment of a whole mode is not automatically a local interaction on the physical manifold.
The complete action
Let the finite carrier Hilbert space be , with Hermitian frequency operator and two bounded Hermitian source matrices . Retain one field
Here is the usual oscillator mode space and its lowering operator. No occupation statistics or particle exchange is being assigned to this notation. The matrices act on and the on the oscillator factors.
For common positive , define
Use the canonical kinetic term . The current-dependent displacement in (2) is a stated inverse kernel. It is homogeneous of degree two in ; it is not a primitive quartic interaction with a discarded source norm.
Write . The full field equation is
The second term inside the brackets is required by variation of the current in . Both and the complete energy are conserved. Homogeneity gives .
Exact frequency preservation
For a normalized carrier eigenvector , take the oscillator coherent states with amplitudes , where . Then
Every added term in the energy and its first variation vanishes. Consequently
Mass is this selected frequency in equivalent units. Its value does not come from adjusting . The construction preserves whichever spectrum the stated actually has. Applied to the linked carrier it therefore preserves its finite-hopping corrections as well; it does not turn them into an exact simplex law or derive the carrier's mode assignments.
The collective kinetic term follows from the same field
On a product coherent state write
Choose the coherent-state phase convention whose Berry one-form is . The product field's canonical one-form is then
Thus is the geometric canonical momentum, including when the field normalization is varied. Equation (2) restricts exactly to
This supplies the earlier collective norm factors from an explicit canonical field ansatz. The coherent family is also dynamically invariant: the complete generator obtained by expanding (3) is a sum of a state-dependent operator on , a forced harmonic oscillator operator, and a scalar. Such evolution preserves product states, and a forced harmonic oscillator preserves coherent states.
More generally, even an entangled initial coefficient field evolves by a product of time-dependent unitary operators on its factors. The eigenvalues of its reduced density matrices, or Schmidt weights, are conserved. This strong restriction follows from the chosen moment interaction. It is a physical modeling assumption to assess, not a generic property of local field interactions.
All additional modes have a known linear response
Displace the oscillator basis so that (4) is . Let . The variation of each completed square is
Its active subspace consists of every other carrier vector tensored with the oscillator vacuum, together with the occupied carrier vector and one quantum in either oscillator. Its complete real Hessian is exactly the collective Hessian already derived from (7).
Every remaining mode is a spectator at linear order. Its rotating frequency is
It evolves by multiplication by a phase. Coincident frequencies, including zero, do not create a coupling between these spectators. Thus the proven finite collective stability result extends to the entire oscillator complement of this particular moment model. This statement includes both signs of every retained carrier frequency. It does not establish stability in the physical normal complement that has not been identified with these oscillator modes.
Equal restricted energies do not determine the full source
A superficially similar action replaces the product of moments by an operator product. Put , and . That comparison is
Angle brackets in (10) are normalized field expectations. Its difference from (2) is precisely the covariance
It vanishes on product fields, but its first variation need not vanish there. At the proposed stationary product (4), the omitted full-field source is
For the two-endpoint limit , with source operators , the variance sum is one. The product is therefore not an exact stationary state of (10). Solving that action's full nonlinear stationary equation at gives a frequency increase at , and at . Refining the oscillator cutoff preserves these shifts.
An independent small-transverse-coupling expansion includes the complete longitudinal oscillator displacement. Its second-order coefficient is
away from a denominator resonance. The checked small-coupling solutions approach (13). The comparison demonstrates why restricting an energy to a coherent ansatz is insufficient: the source normal to that ansatz must also vanish. A local spatial current requires its own calculation, as developed in the locality tests.
Verification
moment_square_checks.py checks arbitrary complex variations, normalization, Schmidt invariance, the exact collective block, every retained spectator through two quanta per oscillator, and maintained simplex endpoint counts across depths 3, 4, 5, 6 and 10. Its 141-check report passes. The infinite spectator statement follows from (8)–(9), rather than from extrapolating that finite cutoff.
oscillator_parent_checks.py independently verifies (10), its full real-linear Hessian, stationary energy accounting and the expansion (13). Its 21-check report also records the complete signed response at three oscillator cutoffs for . Those finite spectra do not supply an infinite-cutoff theorem for (10).