Summary: Peak coherent intensity gives an exact local contact action near its coherent branch, while a smooth logarithmic replacement has calculable mass corrections, an energy-frequency defect and a full spatial spectral criterion.
The endpoint of the homogeneous construction
Use the full current , the mode rank , and the canonical spatial kinetic action defined in Homogeneous actions with coherent simplex masses. The mode rays are local coefficient data over the actual physical spatial point; they add no physical dimensions.
For fixed , the even-moment potential has the limit
because grows polynomially in . Near a coherent field with , this is the same smooth branch as
At that field has a unique maximizer. In the affine ray chart with , its real Hessian at the maximum is . The implicit function theorem therefore gives a smooth maximizing ray in a neighborhood of the coherent field.
Varying the optimized action gives
The ray derivative drops out of the first variation because it is a stationary point. It must still be retained in the second variation. With the coherent-line projector and its complex mode tangent projector, that complete derivative is
This also follows from the fixed- limit of the finite-moment Hessian: for , while and for . Equation (4) is Hermitian and complex-linear. The same nonconstant holomorphic spatial fields used in the homogeneous construction therefore solve the peak action with , , and full spatial linear norm conservation. The carrier and action remain inverse premises, rather than derived master dynamics.
Tied rays are a real limitation
For , take a unit positive-chirality field with mode coefficient
Since on the unit sphere, its largest coherent overlap equals the larger coefficient magnitude. Hence
The one-sided derivatives at zero differ. A smooth coherent neighborhood does not give a differentiable action for arbitrary encounters between competing patterns. The finite even-moment action removes this tied-ray cusp, but has its separate scalar-null singularity.
A smooth comparison using the same local field
For a fixed positive current-density scale , specify
This is globally smooth for finite field components. It tends to the positive-peak functional (2), rather than to for arbitrary signed currents. The distinction disappears in the coherent neighborhood under consideration. The weight is an algebraic function of the same field; it is not an additional mediator or a thermal assumption.
The mass endomorphism and full response are
Thus the response includes the variation of the ray weights. It is reciprocal because it is the Hessian of one real action. Also and . The vacuum coefficient is independent of the band. Spatial propagation retains the principal Dirac symbol for this independent canonical carrier; global nonlinear existence is a separate question.
Exact coherent reduction and mass corrections
On the coherent positive-current branch put . Then
At finite , . At large a resolved endpoint expansion gives
The change of variable proves the expansion: the leading integral has Gamma weight , and its first correction is . Its mean gives . This change also resolves the narrow peak in numerical quadrature.
The energy is not simply frequency times norm. On any regular stationary field of (7), the exact defect is
where for the probability density relative to unit invariant measure. Equation (11) follows directly from and (7). It does not assign a thermodynamic meaning to .
The general energy-frequency identity therefore has an explicit positive defect for this action.
A common-scale comparison
Let . On the slack control, and . Independent resolved quadratures give the following ratios at , without changing their assignments.
| Common | Frequency ratio | Energy ratio |
|---|---|---|
| Peak limit |
The tabulated controls satisfy . Their finite- corrections are physical consequences of the specified action, not numerical errors to remove. A master law would have to select its density scale and meet the actual mass and coupling constraints.
Combined bands and spatial continuation
The joint current calculation tests the same smooth action on unequal mass branches. The combined peak has width controlled by , so the leading mixed susceptibility does not inherit the isolated band's apparent universality. Those particular finite-shape members fail that condition; the parallel slack control remains valid.
Verification
coherent_peak_action_checks.py independently optimizes the moving ray, checks complete complex spinor variations and the covariance response, verifies the exact spectral-block algebra, and resolves the assigned large-band moments at two quadrature orders. It also checks the trace and ray-tangent identities of the full mode response, the tied-ray cusp, spatial normalization and (11).