For arbitrary real balanced wavevectors, moments through degree are necessary and sufficient to force at least classes. The even-polynomial Gram through polynomial degree has rank , proving sufficiency. For necessity, replace the axis submeasure on by its positive symmetric -node Gaussian quadrature. It matches all moments through degree with linked pairs instead of classes. Leaving other classes untouched gives classes with every retained mixed moment unchanged. These replacement roots are generally nonintegral. Complete positive-measure uniqueness follows safely by degree using squared polynomial annihilators; no minimality is claimed for that stronger statement.
At any fixed degree , positive weight elimination on the original
gives a matching subset with at most
classes.
For the tau target, second and fourth moments therefore admit at most 56
and 771 classes, respectively, despite the full count 64,512,240.
The exact thresholds and fourteen-label table are preserved in
finite-moment-occupation/report.md, supported by 715 exact checks.
These are sharp information bounds within the stated balanced positive spectral class. They do not require every selecting field equation to have high derivative order: global boundary, regularity or other dynamical constraints can distinguish spectra through a lower-order equation. Nor do they establish independent canonical multiplicity, equal participating energy, nested inheritance or an unbroadened localized Fourier band.
Energy Sharing, Actual Coherence And Spectral Width
A finite conservative quartic comparison provides a useful preparation test, but does not by itself establish that flat bare frequencies are necessary for equilibration. For
the persistent linear dark subspace is , with rows in . It equals when . For dispersive , harmonic mixing can return an initially dark vector to the contact directions. For example and have no persistent dark subspace despite a single contact. Conversely, full rank is not sufficient for sharing: diagonal quartic contacts give independent Duffing oscillators. Finite-time averages must also retain interaction energy; harmonic modal energy alone is not the complete participating energy.
Flatness of the quadratic part does not ensure nonlinear single-frequency motion. For , put , . The third harmonics vanish only if
The remaining fundamental vector equations must also agree at one . The radial quartic supplies an exact prepared rotating family for , , with . Equal-weight quadrature frames give equal time-averaged complete modal allocations , but do not attract generic preparations or prove uniform local spatial energy. Its phase charge is , while
Thus energy sharing, a pure carrier clock and the required action normalization remain joint tests of one action. A trajectory calculation of sharing and a separate prescribed balanced-density calculation cannot be combined as though they established that joint solution.