The count-state construction has a direct convex forward form. Take the maximum of massive-Dirac dispersion curves fixed by the geometric count data, smooth that maximum in its energy arguments, and eliminate one strictly convex algebraic variable. This gives one compatible constitutive law across every eligible shell. Each count node retains its exact value, slope and an open massive-dispersion neighborhood.
In the preferred-time positive-wave realization, these neighborhoods become exactly affine scalar-source charts. The complete energy is nonnegative, and the existing full-spectrum argument gives conditional nonlinear persistence for nodeless fields at all fourteen maintained assignments. The finite feedback-label window is explicit: omitting it would admit extra single-shell frequencies beyond the count range.
This is a simpler effective realization, not a derivation of its constitutive premise from the master field. The ordinary sphere, sector units and count tangency data remain supplied. No new preference for the assigned depths follows from the fact that the construction works there.
1. The Geometric Data
Use radius units R=1 on the conditional ordinary round spatial sphere. Its positive Dirac shells have
Set epsilon_d=mu_d R. On the existing convex count domain let
The eligible set contains every nonnegative integer l satisfying 0<c_l<1 and
At fixed epsilon this set is finite and contiguous in the maintained comparison. It includes unassigned shells, not merely the observed particle list. The coefficient m_l is a source coefficient, distinct from the target mass-frequency epsilon_d S_l.
Equation (3) is the convexity condition of the count-tangent construction. At d>=3 it holds throughout h>=d/2 with 0<epsilon P'(h)<1. At d=2 it imposes the genuine lower convexity boundary. These are mathematical domain conditions, not an empirical occupation law.
2. Massive Dispersion Curves Touch the Count Curve
For every eligible l define
At its own shell,
These are the usual massive-Dirac dispersion functions with coefficients specified by the count tangency data. Their mathematical use does not identify m_l with the observed mass.
There is a short proof that the intended branch wins. Write F_count(h)=epsilon_d P_d(h), c(h)=F_count prime and m(h)=h sqrt(1-c(h) squared)/c(h). Differentiation gives
by (3). Since c(h)=h/sqrt(h squared+m(h) squared), for h>h_l the slope of F_count exceeds that of F_l, and for h<h_l it is smaller. Their difference has its unique minimum zero at h_l. Thus
on the continuous convex count interval. In particular, among all the curves (4), l is the unique winner at h_l.
Let
This is one strictly convex energy function with the desired count values and slopes. It is generally not differentiable at crossings; section 4 supplies an explicit compatible smoothing.
3. Crossings and Winner Gaps Have Exact Rational Checks
All h_l, c_l, eta_l and m_l squared are rational under the diagnostic scale prescription. For adjacent l and l+1 put
Their unique positive crossing has
Its energy is rational as well: F_cross=(Delta_l-delta_l squared)/(2delta_l)+eta_(l+1). The ordered adjacent crossings establish the full winner ordering; no unseen nonadjacent curve can displace the winner between them.
A convenient rigorous lower bound for any node gap uses
For k!=l, A_lk and D_lk are strictly positive. Rationalization gives
Thus every node and every competitor can be certified by rational arithmetic, without numerical subtraction of nearly equal roots.
4. Smooth the Maximum While Preserving Open Winning Arcs
Let N be the number of eligible curves, and let Delta_min be the minimum of the rational lower bounds in (10). Use the common width
This width uses every eligible node. It is a specified regularization rule, not a fitted physical scale or a uniquely derived choice.
Convolving absolute value with the normalized compact kernel 15(1-t squared) squared/16 on [-1,1] gives the explicit smooth absolute
It is convex and C^3, with |H prime|<=1 and H double prime nonnegative. Define
This is convex and nondecreasing in each argument, and equals max(a,b) exactly whenever |a-b|>=zeta. Its excess over max is at most 5 zeta/32. Fold (13) over (4) in increasing shell order to define F_s.
The accumulated excess before any winning node's own curve is inserted is less than N zeta/2. Equations (10) and (11) leave a gap much larger than zeta, so insertion selects the correct curve exactly. Every later competitor remains below it by more than zeta. Continuity supplies an open neighborhood of h_l on which
Strict convexity is also retained. At every two-curve smoothing step,
Each branch has positive curvature; the weights are nonnegative and sum to one. Its slope lies strictly between zero and one for chi>0. The same argument applies recursively.
5. A Unique Algebraic Feedback Law
A finite set of curves has a lowest and a highest member. Without a constitutive label restriction, its outer arcs extend to additional integer spatial shells and assign them non-count frequencies. This is a real limitation of an unrestricted finite envelope.
Use the explicit common validity interval
The half-spacing is a common domain convention, not a fitted particle coefficient. It contains every eligible integer shell and no others. Restrict c to the image F_s prime(I_d), and x=sqrt(1-c squared)>0. For each such x there is exactly one chi in I_d satisfying
This follows from (15). Define the preferred-time potential by
Equivalently, eliminate chi from rho F_s(chi)-chi sqrt(rho squared-s squared). The domain requires rho>0 and the stated open ratio interval. The constitutive coordinate is algebraic, not an extra propagating field, mediator or physical dimension.
The complete source is
It retains numerator and denominator variations. This uses the chosen time density rho. Replacing rho with a proper current norm or a responding clock gives different source derivatives and does not inherit this result.
By (14), local elimination around x_l yields exactly
on an open interval. Thus f double prime vanishes there, not merely at its center. The count and response conditions coexist in one globally compatible convex feedback construction.
The function is locally smooth on the open domain in (18). Pure-grading endpoints, vacuum crossings and a global physical continuation outside the finite label interval remain separate questions.
6. Two Forward Equations Give Every Count Clock
Let E_k be an actual balanced positive Dirac shell, D E_k=h_k E_k. Use the real normalized pair (a+b beta)E_k, with c=a squared-b squared and x=2ab>0. Its complete first-order generating energy per norm, before elimination, is
The two stationary equations are simply
Therefore chi=h_k. Because h_k must lie in (16), k is eligible; (14) then gives c=c_k and
Independent substitution into D+G yields the same eigenvalue: sqrt(h_k squared+m_k squared)+eta_k=epsilon_d S_k. This classifies the balanced positive single-shell eigenstates of D+G within the stated constitutive domain. It does not classify arbitrary mixed-shell nonlinear fields or every standing wave of the second-order completion. Sparse observed occupation remains open.
7. Positive Complete Energy and Nonlinear Spatial Persistence
Use the fully varied positive-wave action
Its real adjoint and all field dependence are retained. Homogeneity and phase covariance imply that each solution of mathcal F(phi_k)=omega_k phi_k gives the exact standing wave Phi_k=exp(-i omega_k t)phi_k. Complete energy and canonical phase action are
For a count state of norm N_k,
Canonical phase action is not electric charge. Its common physical normalization is not fixed by these identities, and amplitudes remain free.
On the open chart (20), the actual nonlinear equation reduces exactly to
Its complete spatial spectrum is eta_k plus or minus sqrt((j+d/2) squared+m_k squared), j>=0. A zero exists precisely when
The right side is rational, and comparison with the adjacent integer shells decides the entire infinite spectrum. All fourteen assignments have a nonzero gap. No harmonic cutoff is used in this decision.
For any nodeless balanced background, the conserved graph energies of (25), ellipticity and Sobolev embedding control sufficiently regular small perturbations uniformly in position for all time. Choose the initial position and velocity disturbance small enough to preserve the positive density floor and the open chart (20). The exact wave evolution then never leaves that chart and solves (23) for all time.
This is the positive count-wave persistence argument with the newly constructed common source. It includes every spatial variation and the actual minimum carriers when their stated balance conditions hold. It is conditional nonlinear persistence on the assumed sphere, not containing-space localization or a complete particle.
The principal wave operator and the local positive energy-flux identity also remain those of (23), with speed one in radius units. Preferred-time constitutive dependence still prevents identifying this alone with a complete Lorentz-covariant particle or proving its translational inertia.
8. All-Sector Comparison
Use the same diagnostic prescription as the preceding count-state work, epsilon_d=(3/10)/max_assigned P_d prime. The scalar energy smoothing width zeta differs from a scalar-ratio convolution width.
| d | Eligible l | Number of curves | Constitutive chi interval | Approximate zeta |
|---|---|---|---|---|
| 2 | 36–316 | 281 | (73/2,635/2) | 6.49e-10 |
| 3 | 0–7 | 8 | (1,9) | 1.80e-4 |
| 4 | 0–107 | 108 | (3/2,219/2) | 7.07e-9 |
| 5 | 0–29 | 30 | (2,32) | 2.05e-7 |
| 6 | 0–44 | 45 | (5/2,95/2) | 4.25e-9 |
| 10 | 0–25 | 26 | (9/2,61/2) | 4.12e-10 |
Every maintained assignment retains its exact target frequency and its same balanced field. The first omitted higher shell at each depth supplies an explicit unrestricted-envelope control: its last-arc clock is not the intended count clock, and (16) excludes that shell.
These are shared mathematical properties, not an additional depth-five selection or an independent empirical test of the inferred assignments. The minimal carriers' previously derived rotation forms remain available because the fields themselves are unchanged.
Reproduction and Remaining Physical Work
dispersion-count-envelope.py and its report pass 96,422 conditions. Exact rational inequalities test every eligible node against every competing curve, and locate every adjacent crossing. Independent 100-digit elimination and scalar differentiation verify the source value, slope and vanishing curvature at all fourteen assigned fields. The script checks every joining band, the compact smoothing's C^3 matching, and the exact all-spectrum zero condition. Count-energy errors are below 4e-97 in the displayed dimensionless comparison.
The global winner, smoothing and nonlinear persistence conclusions also use the proofs above. Check counts are coverage, not empirical evidential weight. No particle trajectory or time-domain simulation enters these calculations.
This construction replaces a chosen analytic shell-correction shape or a nonsmooth maximum of field potentials with a convex dispersion feedback rule. It preserves the mass targets, exact source, positive complete energy and chart-local persistence together. Its count tangency data, finite validity domain, ordinary spatial carrier and preferred-time density remain effective premises. A master-field derivation, physical support and motion, normalization, reciprocal encounters and sparse occupied states remain to be established.