Contents · Previous · Next

σεppL2pR−2p\sigma\varepsilon_p^pL^{2p}R^{-2p}. The elementary bounds (1+s)−p≤Fp(s)≤max⁡(1,s)−p(1+s)^{-p}\le F_p(s)\le\max(1,s)^{-p} for s>0s>0 imply

σap(1+tR)−p≤w0≤σbp(1+tR)−p,ap=min⁡(1,εp)p,bp=(2+εp)p. \sigma a_p(1+t_R)^{-p}\le w_0\le \sigma b_p(1+t_R)^{-p},\qquad a_p=\min(1,\varepsilon_p)^p,\quad b_p=(2+\varepsilon_p)^p.

Every spatial integral is ten-dimensional, including for active depths 2,3,4,5,6,102,3,4,5,6,10. The complete branch has finite action and energy precisely when p>5p>5. More generally, ∫Raw0 d10x<∞\int R^a w_0\,d^{10}x<\infty for a≥0a\ge0 precisely when a<2p−10a<2p-10. Equality gives logarithmic divergence. The common choice p=8p=8 makes μs(W0)\mu_s(W_0) bounded above and away from zero, with limit Csσεp8C_s\sigma\varepsilon_p^8 at infinity. It also gives finite moments of every order below six.

The logarithmic derivative has a uniform bound:

Λ(W)=W∂Wlog⁡w(W)=p4(s+2/εp)ψ′(s)1+ψ(s),0≤Λ≤Bp=p4(1+2/εp), \Lambda(W)=W\partial_W\log w(W) =\frac p4(s+2/\varepsilon_p)\frac{\psi'(s)}{1+\psi(s)}, \qquad 0\le\Lambda\le B_p=\frac p4(1+2/\varepsilon_p),

with Λ=0\Lambda=0 in the core and Λ→p/4\Lambda\to p/4 at vacuum. Every fixed positive-order logarithmic derivative is bounded. Thus for u=log⁡(W/W0)u=\log(W/W_0),

∣log⁡w(W)w0∣≤Bp∣u∣,ρ=w(W)eF/b,F=U⋅a−h−Ξq. \left|\log\frac{w(W)}{w_0}\right|\le B_p|u|, \qquad \rho=w(W)e^{F/b},\quad F=U\cdot a-h-\Xi_q.

A bounded relative support and bounded F/bF/b control the positive density ratio uniformly in spatial location. Density reconstruction retains one derivative because FF contains derivatives; it is not a derivative-free map on the carrier coordinates.

The common total action is explicit. Define

Mj,p=∫0∞sjFp(s) ds,Jp=εp∑j=04(4j)εpjMj,p. M_{j,p}=\int_0^\infty s^jF_p(s)\,ds,\qquad J_p=\varepsilon_p\sum_{j=0}^4\binom4j\varepsilon_p^jM_{j,p}. Γ(j+1)Γ(p−j−1)Γ(p)≤Mj,p≤1j+1+1p−j−1,A=∫w0 d10x=σπ5L10120(1+5Jp). \frac{\Gamma(j+1)\Gamma(p-j-1)}{\Gamma(p)} \le M_{j,p}\le\frac1{j+1}+\frac1{p-j-1}, \qquad \mathcal A=\int w_0\,d^{10}x =\frac{\sigma\pi^5L^{10}}{120}(1+5J_p).

The exterior-to-core action ratio is 5Jp5J_p. One prescribed common A\mathcal A fixes L=[120A/(σπ5(1+5Jp))]1/10L=[120\mathcal A/(\sigma\pi^5(1+5J_p))]^{1/10} if the other support parameters are specified. Identifying A\mathcal A with ℏ\hbar is still a normalization premise; no particle-specific field amplitude is chosen.

This improvement is on the positive domain W>0W>0. At p=8p=8 the extension of ww to W=0W=0 is C2C^2 but not C3C^3, and that of μs\mu_s is continuous but not C1C^1. Uniform exterior estimates do not imply a smooth vacuum evolution theorem.

Exact Branches And The Original Polynomial Action

The three support identities

∇W0=−8Z0/L,W0∂iZ0j=(W09/4δij−10Z0iZ0j)/L,Z02−W09/4+W05/2=0 \nabla W_0=-8Z_0/L,\qquad W_0\partial_iZ_{0j} =(W_0^{9/4}\delta_{ij}-10Z_{0i}Z_{0j})/L,\qquad Z_0^2-W_0^{9/4}+W_0^{5/2}=0

do not depend on the density function. On the centered uniform prefix, all support and horizontal residuals vanish, ρ=w0\rho=w_0 and F=0F=0. Coefficient variations multiply these zero residuals; the density term's support variation is b(ρ/w−1)w′(W)=0b(\rho/w-1)w'(W)=0. Varying the full action before taking branch values therefore retains

D=(N+dd),Ω=μdD,jα=w0Uα,Tαβ=w0ΩUαUβ,Erest=Mboost=AΩ D=\binom{N+d}{d},\qquad \Omega=\mu_dD,\qquad j^\alpha=w_0U^\alpha,\qquad T^{\alpha\beta}=w_0\Omega U^\alpha U^\beta,\qquad E_{\rm rest}=M_{\rm boost}=\mathcal A\Omega

in characteristic-speed-one units. The equal participating allocation and flat occupied spectrum are those of the preceding participation Hamiltonian.

Contents · Previous · Next