A useful identity adjacent to the mass spectrum
The identity below concerns the count used by the V2 mass module. It supplies a closed-form check and an exact truncation error for sums of inverse counts. No new geometry or particle assignment is needed.
For positive integer and integer ,
To verify this, factor from the difference in brackets. The remaining factor is , giving after multiplication by .
Summing the difference gives
and hence
The remainder tends to zero for every . For , , so the corresponding harmonic series diverges.
Adjacent-depth recursion
The factorial definition also gives the multiplicative recursion
At fixed , strictly increases with ; for all counts equal one. At fixed , the ratio decreases with . These are count identities for any positive indices, usable alongside the additive Pascal recursion without assigning physical occupation weights.
What the trace interpretation requires
If a specified positive operator has exactly one eigenvalue per positive integer , with no additional degeneracy, then its inverse trace is
This is conditional on that operator and counting measure. The formula does not establish that the master Dirac operator has this spectrum or that all these bands are occupied particles. Restricting to the occupied particle indices gives a different finite sum; including a massless zero mode makes an ordinary inverse undefined.
If each band is instead assigned multiplicity , each band's contribution to the inverse trace is , and the infinite trace diverges. This simple example is why multiplicities must be stated. Oscillator excitation energies and cumulative counts also remain distinct, as in the existing mass analysis.
Verification and related work
The spatial structure checks compare direct rational finite sums with the telescoping expression across several depths and truncations. The all- proof is the algebra above, rather than numerical extrapolation.
- Nested spatial tools — companion tools for spatial evolution and normalization.