An Amplitude-Homogeneous Finite-Range Count Action
Updated
The common flat-space count action has exact
count-clock families and a bounded-localization theorem, but its global
moments couple arbitrarily distant patterns. A different action replaces
those global moments by smoothly windowed moments and averages over window
anchors. With an explicit common cap, the resulting continuum equation is
globally well posed, exactly independent of overall field amplitude, and
additive for sufficiently separated compact supports. Its complete initial
source can approximate a specified finite set of parent count-clock shells
arbitrarily accurately.
These properties coexist in one changed action. The parent stationary
solutions and localization theorem are not inherited. In particular, the
initial approximation proved below supplies neither an exact new stationary
branch nor a particle lifetime.
The coordinates are ordinary physical coordinates in shared flat
R10, used as the working geometry. Depth classifies a
pattern's dimensional involvement and extracted widths. It does not name
a separate physical space. The field below is a classical complex field,
equivalently two real quadratures of one field. Spatial integrals and
spectral coefficients supply mathematical descriptions, not physical motion
in a Hilbert space, a Born law, or mediator particles. An internal field
profile remains distinct from an electron's deterministic six-dimensional
trajectory and an observer's time-averaged registration.
Windowed Moments and the Parent Constitutive Function
Write Di=−i∂i, and reserve D=10 for the physical spatial
dimension. Let Jϵ be convolution by a nonnegative radial smooth
kernel jϵ, supported in B(0,ϵ), with integral one.
For example, normalize
exp[−1/(1−∣x∣2/ϵ2)] inside that ball and set it to zero
outside. Nonnegativity gives ∥jϵ∥1=1, hence
∥Jϵ∥2→2≤1. Radiality gives rotation symmetry and
Jϵ∗=Jϵ. A real even signed kernel would not suffice
for the contraction claim.
Take a real radial smooth window 0≤χ≤1, equal to one on
B(0,R0), zero outside B(0,R1), where R1=R0+w and
w>0. Set Cχ=∫χ2. For each anchor x, define
Ratios are evaluated only when nx>0. Every windowed field is smooth
and compactly supported even for ψ∈L2. A nonzero window has
positive definite Mx,Tx, with Tx⪰Mx−1/4.
For any such moments suppress the anchor label and define
RMR=T,R=M−1/2(M1/2TM1/2)1/2M−1/2.
Here R is a positive width matrix, not the window radius. Choose
common constants 0<b1<b0, μ,Λ,λ,cs>0, and
The Gram inequality implies Ka,Kn≥0, 0≤deff≤10
and W≥μ. These facts keep the Gamma quotient and square root
regular on attained moments. The count function, widths and coefficients
are constitutive inverse inputs. They are not derived physical scales.
For a rank-d ordinary spatial projector P, the parent action has
joint Hermite shells at B=b1P+b0(I−P), with active degree k
and remaining-direction degree l. Their exact parent clocks are
ωd,k,l=μ(dk+d)+Λl.
At l=0, the shell multiplicity is (d−1k+d−1), and the
cumulative count through k is (dk+d)=S(k+1,d).
The approximation target below is a finite union of these parent rest
shells at d=2,3,4,5,6,10, rather than an asserted exact shell of the
changed action.
An Explicit Common Cap and One Action
Let a(t)=e−1/t for t>0, and zero otherwise. One smooth step is
θ(s)=a(2−s)/[a(2−s)+a(s−1)]: it is one for s≤1, zero
for s≥2, and lies between them. Define
All five bounds are common. For the dimensionless toy widths
b1=1,b0=4, the explicit choice
(LM,LM−1,LT,LT−1,Lp)=(1000,100,4000,30,1)(4)
strictly contains every target joint shell with narrow degree zero and
active degree k≤94, including arbitrary complex superpositions and
spatial rotations. To see this, for the occupation Gram matrix
Qij=⟨ai†aj⟩, fixed total degree gives
0⪯ReQ⪯kI and vanishing
⟨aiaj⟩. If B=b1P+b0(I−P), then
M=B−1/2(ReQ+I/2)B−1/2,T=B1/2(ReQ+I/2)B1/2,p=0.
Thus I/(2b0)⪯M⪯(k+1/2)I/b1 and
b1I/2⪯T⪯b0(k+1/2)I. In (4), the four trace ratios
are bounded by 189/200,4/5,189/200,2/3, respectively. The finite union
of normalized target shells and rotation parameters is compact, so a common
graph neighborhood also lies where η=1. This concerns shapes;
their physical amplitudes remain arbitrary. The cap does not preserve the
unlimited ladder or arbitrary boosts. It introduces no depth-five factor.
Extend f by zero at singular-matrix limits, where the inverse-trace
factors already switch it off. Only an open smooth extension near the
compact set of attained moments is needed; arbitrary unphysical matrix
pairs need not obey the parent inequalities. At a zero window the entire
integrand below is defined as zero, before any division or matrix inversion.
Fubini gives ∫nxdx=Cχ∥Jϵψ∥22, hence
μN≤H≤μN+∥f∥∞∥Jϵψ∥22, where
N=∥ψ∥22. There is no norm floor. For any complex constant
a, H[aψ]=∣a∣2H[ψ]; the equation below obeys
G[aψ]=aG[ψ]. Scaling a solution changes neither its frequency
nor its normalized shape dynamics.
Complete Variation
Write df=tr(CfdM+EfdT)+vf⋅dp.
These derivatives include the cap and the complete response of R.
For an explicit implementation of the latter, solve
MRYA+YARM=A for symmetric A. Then
tr(AdR)=tr(YAdT−RYARdM).
Put sg(s)=sg(s). Its matrix Fréchet derivative has divided
difference [sg(ri)−sg(rj)]/(ri−rj), with diagonal value
sg′(ri). Set
Here dW=tr(CdM+EdT), so
hM=(W/h)C, hT=(W/h)E, hp=cs2p/h.
Finally df=ηdh+(h−μ)dη, which specifies every derivative
in the capped action. Off-diagonal divided differences remain even when
the scalar derivatives vanish at individual wells.
Every derivative acts on ϕx=χxu, including derivatives of
the window. In particular, fϕx is the variation of the new anchor
weight nx. No occupied-point weight ∣u(x)∣2 occurs.
The unrestricted ratio variation can also be checked directly. Let
A=∫zzT∣ϕ∣2,
Bij=Re∫(Diϕ)∗Djϕ,
C0=∫z∣ϕ∣2, P0=Re∫ϕ∗Dϕ.
For Fx=nxf, its raw partial derivatives are
Differentiating these quadratic raw moments gives (6). Empty windows
have gx=0.
Why the Continuum Source Is Globally Lipschitz
Treat complex L2 as a real normed space for differentiation. Define
the linear local jet map
Axψ=(ϕx,z1ϕx,…,z10ϕx,D1ϕx,…,D10ϕx).
Each raw coordinate qj, other than n, has the form
Re⟨Axψ,EjAxψ⟩
for a fixed bounded self-adjoint operator. Let ej=∥Ej∥,
rj=qj/n, and regard (3) as f(r). Wherever this
function or its first two derivatives are nonzero,
Indeed the raw derivative trace is trT+∣p∣2.
The position mean lies inside the window, and the cap bounds all centered
moments, inverse moments and momentum. The raw ratios therefore range over
a compact set, say ∣rj∣≤ρj. On this set choose finite suprema
a0,aj,ajl for
∣f−r⋅fr∣,
∣fj∣, ∣fjl∣. These are actual suprema
of the specified smooth constitutive function, not assumed norm bounds.
For n>0, direct differentiation of the perspective
Fx=nf(q/n) gives
At n=0, the whole function ϕx is zero, so its weak
derivatives and position multiples vanish too: Axψ=0.
Since ∣Fx∣≤∥f∥∞n, its derivative there is zero.
Along an affine line of fields a window is either identically zero or
vanishes at at most one parameter value. Integrating (10) along that
line extends the Lipschitz gradient through vacuum. No vacuum Hessian
is assumed.
Put Zχ=∫∣z∣2χ2, Kχ=∫∣∇χ∣2.
The cross term in the window derivative integrates to zero because
∫χ∇χ=0. Consequently
Cauchy–Schwarz in the anchor integral of (10) justifies the variation
and gives
H∈C1,1(L2;R),Lip(G)≤L:=μ+2CχC∗Bχ,ϵ.(12)
This is a global bound independent of field amplitude, including arbitrarily
high spatial frequencies at fixed smoothing. Ordinary Picard iteration and
the global Lipschitz bound give a unique solution for every real time.
Phase invariance yields norm conservation; the real chain rule yields
energy conservation. Translation and rotation symmetry hold, with the usual
domain qualifications for momentum and angular momentum observables.
The constants may grow with R0 and ϵ−1; no unsmoothed
uniform theorem follows. A nonquadratic degree-two homogeneous energy
generally cannot be C2 at vacuum: its putative quadratic Taylor form
would have to equal H[ψ] for every ψ, by scaling. Thus
C1,1, rather than C2, is the relevant regularity.
Exact Separation of Compact Supports
For compact original supports S1,S2, assume
dist(S1,S2)>2R1+2ϵ.(13)
Smoothing enlarges each support by at most ϵ; no radius-R1
window can then meet both. At every anchor one windowed field is zero,
and both its energy and complete source vanish. Therefore
The same argument covers finite collections with pairwise gaps (13),
arbitrary amplitudes, phases, orientations and different isolated clocks.
Empty midpoint anchors matter in this action; a weaker gap derived for an
occupied-point measure does not transfer. At a fixed output point the
source depends only on input within distance 2R1+2ϵ.
This finite interaction range does not prove finite propagation speed,
preservation of compact support, or Lorentz covariance. The coefficients
now vary in space, so the parent's global quadratic moment closure and
bounded-localization theorem do not apply.
A Strong Complete Initial-Equation Estimate
First let smooth u be supported in B(X,r), with R0>r,
and let its global moments lie where η=1. Denote the complete
parent source by GFB, and set g0=GFB[u]−μu.
Every anchor in B(X,R0−r) sees the whole packet, hence has identical
centered moments and gx=g0. Its physical centroid is X, even
though the raw mean cx=X−x depends on the anchor. Outside
B(X,R1+r) the window is empty.
Fubini gives the exact mass-weighted partial-anchor fraction
Cχ−1∥u∥2−2∫partialnxdx=1−Vfull/Cχ≤βD. It bounds the energy defect by
∥u∥22βDsuppartial∣fx−fglobal∣.
The full equation additionally requires derivative control.
Let F0,CM,CT,PV bound ∣f∣,∥Cf∥,∥Ef∥,∣vf∣ on
the cap, and let Q0 bound
∣tr(CfM+EfT)∣. Put p∗=2Lp,
k1=sup∣∇χ∣, k2=sup∥∇2χ∥F,
and Uj=∥∇ju∥2, using Frobenius norm for second
derivatives. Every nonempty window's centroid is a weighted average of
points in B(X,r), so ∣y−Xx∣≤2r on its field and derivative
support. Expanding (6), without dropping window derivatives, gives
The D bounds the matrix Frobenius norm by its operator norm.
For fixed transition width w and R0 bounded below,
k1,k2 can be uniform. Thus Bu is independent of a growing
plateau radius. No grazing-window norm appears in a denominator.
The complete anchor integral is the full-anchor term
Vfullg0/Cχ plus the partial-anchor integral. Minkowski's
inequality, (15), and (16) give
Cχ−1∫gx[u]dx−g02≤βD(∥g0∥2+Bu).(17)
Here both the missing full coefficient and the partial-anchor volume
divided by Cχ are at most βD. For fixed r,w,
βD=D(w+2r)/R0+O(R0−2). All physical branches use
D=10 in this volume; substituting their active depth would change
the common physical action. For illustration, at r=18,w=2,
β10 is approximately 82.95645,0.385093,0.0380359
for R0=36,1000,10000. These conservative volume bounds alone
are not relative source errors.
Restore smoothing with u=Jϵψ and
r≤rψ+ϵ. The outer Jϵ∗ is a contraction,
so (17) yields
For a parent rest profile v with GFB[v]=ωv,
take a smooth compact truncation va. On the weighted graph space
X={v∈H2:∣y−X∣2v∈L2}, put
dcut=∥va−v∥X. Smooth dependence of the parent
source near the compact target family gives a finite local constant
LFB. Retain the exact smoothing defect
It tends to zero as ϵ→0 for fixed smooth truncation, by
graph continuity and convergence of the approximate identity. Combining
all three errors proves the strong initial estimate
Choose truncation, then smoothing, then a common large plateau for any
specified finite-target accuracy. Compactness extends the choice uniformly
over the entire finite union of normalized joint shells and rotations.
Every term scales linearly with arbitrary physical amplitude; the relative
error requires no amplitude calibration. Parent Gaussian profiles have
noncompact support, so the truncation defect cannot be omitted. This
finite-family result is not uniform over the infinite ladder or unbounded
boosts.
Finite-Time Spatial Control for the Actual Regularized Flow
For every fixed window and smoothing length, the same global solution also
propagates finite spatial moments. This is a bound on spatial extent, distinct
from retaining a particular Hermite shape or clock over a prescribed period.
Freeze the state only when taking a spatial operator commutator, and write
the complete equation as G=μψ+JAψJψ. Expanding the windows
gives the self-adjoint differential expression
The last term retains the window stress. All coefficients have uniform
state-independent bounds at fixed window: where the derivatives are active,
the cap bounds Mx,Tx,px, and ∣y−Xx∣≤2R1 on the window.
Thus choose finite bounds A∗,B∗,V∗ for the entries of a,b,V.
In particular V∗ may grow as R12.
Bounded Lipschitz truncations of position justify the estimate for the
global flow, followed by monotone convergence. Repeated position
commutators propagate each finite spatial weight in the same way. For
example, the fraction of squared field norm outside radius r is at most
r21[N∥(y−y0)ψ(0)∥2+CR,ϵ∣t∣]2.
These are classical field-integral bounds. Their constants remain dependent
on the window and smoothing. They establish finite-time spatial control,
but do not supply a radius-uniform approximation theorem, a measured
lifetime, or orbital stability of a particular count profile.
Persistence Is a Separate Quantitative Question
For γ(t)=e−iωtva, phase covariance makes its complete
residual norm constant, δ=∥G[va]−ωva∥2. Global
Lipschitz flow and Grönwall's inequality give, for equal initial data,
∥ψ(t)−γ(t)∥2≤δLroteLrot∣t∣−1,Lrot=L+∣ω∣(20)
as one permissible bound. The constants in (12) can grow while (19)
shrinks as the plateau expands. Arbitrarily small initial residual therefore
does not certify a fixed period of persistence or an observed lifetime.
The spatial bounds above control finite-time extent at fixed parameters;
they do not establish modal persistence. Exact stationary branches, physical spin and charge,
orbit coupling, occupied-state selection and physical scale calibration
remain open for this action. The proven result is the coexistence of
amplitude homogeneity, a globally regular continuum equation, finite-range
reciprocity and strong finite-family initial approximation.
The construction checker
and independent review checker
record finite algebraic and numerical controls for the complete variation,
shell cap, perspective Hessian, separation gap and volume estimates. Those
controls accompany the continuum derivations above; they do not replace
them or establish a particle lifetime.
The standalone construction and review checkers have been executed with
103 and 20 passing checks respectively, retaining their own source hashes.