have finite total charge. Define and . At fixed the Routhian, reconstruction and conserved energy are
At an interior shape point both horizontal velocities remain free initial data. The common phase rate adjusts to the charge constraint. Constant and give identical restricted dynamics at , because both and vanish. At other , variable adds a shape force ; constant shifts the energy only. Prescribing the isolated-frequency time jets instead infers a different, possibly enormous charge. One cannot retain those arbitrary phase rates, the raw-sum magnitude and an independently fixed charge simultaneously. Spatial charge transport can still change local density; this homogeneous result is not an encounter theorem.
The Two-Group Restriction Is Not Generally Invariant
For , the extra labels have one, two and one phase edges. If their common amplitude is , the inner amplitude is , and the relative phase is , their phase torques are proportional to
At zero horizontal velocity this gives the exact acceleration difference . Equal outer phases therefore split. Even with , the variance potential has unequal radial gradients at and . A two-group evolution averages these forces and is a restricted variational model, not an invariant subsystem of the full label action.
Within that restricted model, smooth positive kinetic geometry and conserved
energy bound physical horizontal velocities globally on its compact shape
space. Coordinate poles need regular patches. The report
two-band-charge-dynamics/report.md supplies all eleven actual family-count
relations, six-depth controls, 45 exact checks and four bounded mathematical
integrations with energy drift below . The integrations
do not model actual W/Z or electron/muon encounters. Localization, full-label
response and supporting-field backreaction remain required.
The charge and boundedness argument extends beyond this non-invariant two-group truncation. For the complete finite homogeneous carrier, eliminate only the common phase at fixed . Its remaining horizontal metric is positive, and its smooth shape space is compact. This is a mathematical space of real field components, not physical position space. The energy is
The positive lower bound and nonnegative remaining potentials establish this inequality. Smooth forces on the compact finite carrier and bounded velocity give global continuation in time; phase reconstruction is bounded as well. This homogeneous theorem does not require the two-group manifold to be invariant. It assumes frozen positive , flow and frame, finite cutoff, and finite energy in the homogeneous-cell description. It supplies no bound uniform in cutoff, no spatial PDE theorem and no localized particle. Local density transport and supporting-field backreaction remain outside it.
All supporting fields and their explicit time dependence are frozen in this control, so their omitted terms are carrier-independent constants. Adjusting the common phase rate does not remove the relative kinetic cost. For the normalized coherent sum with real overlap , envelope ratio and , direct real-metric projection gives
The temporal energy contribution is . It is unchanged by a
common phase-rate shift. With stationary envelopes and their isolated
frequency gap, the equal-envelope constructive/destructive coefficients
are and
. The latter is the maximum over envelope ratio and phase.
These are kinematic energy contributions, not a complete encounter energy
or an observed coupling. Principal's pair-horizontal-energy script proves
the identity and records all eleven actual-family comparisons.
An Exact Permutation-Invariant Carrier Subsystem
The failed two-group closure can be replaced by an exact symmetry reduction of the full finite homogeneous carrier. First retain a complete cumulative prefix in one active depth- coordinate face, with zero coefficients and velocities outside. Occupation terms have zero real first derivatives in omitted coordinates. For the phase gates, an occupied upper label references only the zero label, its active unit and its predecessor; all lie inside the same prefix. Omitted upper gates have zero first derivative. Thus this face-prefix subspace is invariant, including its horizontal kinetic equations. Arbitrary sparse supports are not protected: an occupied phase gate can force a missing predecessor.
Axis permutations preserve every remaining term of the homogeneous action. Their fixed set is therefore invariant as well. Its labels are integer