Counting can constrain a proposed operator without being a derivation of its frequency. This calculation combines canonical normalization with the exact dimension of a space of angular functions. It rules out specific scalar-contact reductions under a shared normal profile, while leaving derivative interactions and dynamically changing normal profiles open.
1. A local quartic has a frequency denominator at fixed charge
Let a normalized spatial eigenmode have frequency and . For an ordinary quadratic time norm, the unperturbed fixed-charge amplitude satisfies . A local positive potential therefore contributes, at first order in ,
Replacing this by a constant times omits canonical normalization. The latter can be studied as a stipulated effective energy, but requires a different derived interaction.
For the particular hypothetical gap law , the high-gap chain gives , where , , and . With a positive current support cost , the corrected reduced energy is
It is an exact algebraic model if stipulated; for a plain local quartic it is only the first-order reduction. At simultaneous radius balance and the additional identification target ,
Thus
For mode-independent , a linear frequency in requires . If the charge is also common while the solved support cost may change with branch, linear frequency implies constant radius and requires , . These are consequences of this reduction, not functions that may be fitted into a claimed derivation.
There is a further control on the approximation. At that formal joint balance the quartic energy divided by the linear wave energy is fixed:
It is at depth five, at six, and at ten. These do not tend to zero by sending to zero while imposing both balances. Accordingly the formal equality branch is not justified as a controlled weak-quartic solution by this truncation alone. A full nonlinear calculation could change it.
Positive contact also changes the spatial profile. At depth five, for of the same parity, and zero for opposite parity. The nearest same-parity mode therefore has a cubic source of size . The prior adjacent-mode stabilization estimates had first-order profile changes around 0.27–0.28 in this channel. They are useful diagnostics, not full-profile stability results.
2. A finite harmonic bound tests every scalar shape in a degree
On , the degree- scalar harmonic dimension is
where the second term vanishes below degree two. These count homogeneous polynomials modulo their traces. The diagonal of the orthogonal projector is constant by rotations and equals , with the sphere area. Consequently every real or complex normalized harmonic obeys
The lower bound is Cauchy–Schwarz; the upper follows from the projector's pointwise norm. It includes arbitrary mixtures within that degree.
At depth five, , the maintained indices give , products , and dimensions . The extreme product ratio is exactly . A common scalar contact scaling would require
Already . Thus every integer power is excluded in this same-degree scalar class with a common normal factor. No numerical shape search is needed.
3. The Hockey-Stick extension includes all lower degrees
For every scalar harmonic through degree , summing the dimension formula gives
This is the Hockey-Stick Identity applied to the two polynomial counts. It counts available coefficients, not occupied particles or a selected frequency. The band projector gives the same fourth-norm bound with replaced by .
At depth five and ,
Therefore permitting all lower scalar degrees still cannot supply the or contact scaling in this model, with one common normal factor. The square ratio is below 4900, so this band bound does not exclude the distinct stipulated-effective requirement.
Full Hodge form components, derivative contacts, or a normal profile whose response is derived from the wave change the quantity being bounded. They must be calculated under the same action. Depth two's old scalar feature has no such ladder. These exact finite-mode exclusions do not establish a general prohibition on the physical mass operator.
Verification
Independent verification checks the normalized powers, exact product and dimension ratios, and the complete band sum. An effective quartic model that omits the canonical frequency denominator is a separate stipulated interaction; its results do not verify the plain local-potential normalization.