This appendix supplies the radial comparison estimates used before the writer is active. Detector coordinates and ages are used until physical clock units are explicitly restored. Put
The decreasing cutoffs have their specified constant continuations. The exact conditional solution starts from χ(r)=2re−r2/(2L2)/(π1/4L3/2) on r>0. All estimates hold separately in each conserved sector and therefore for their coherent spinor, without sampling a sector. Norms are half-line norms or, equivalently, norms of the normalized odd extension.
Indeed h∑kf(y+kh)≤∫f+hTV(f) for nonnegative integrable f of bounded variation: compare the value in each cell to its cell average and sum the cell variations. Apply this to the square of the jth derivative of the odd extension, whose variation is at most 2djdj+1. Multiplication by an h-periodic taper of normalized cell norm Ak consequently costs at most BjAkh−k. For a taper polynomial P rising from zero to one on a unit transition, with two transitions of width η and two omitted edge strips of width η, define
All taper integrals here are polynomial integrals with rational coefficients. Two different analytical tapers will be used for the same exact conditional wave. Their estimates are not interchanged.
The lens b′′+γb=0, b(0)=1, b′(0)=0 satisfies, for 0≤s<π/2,
coss≤b≤1,b′≤0,∣b′∣≤sins,b′2+γb2≤1.
For the first inequality, b−coss is the sine convolution of (1−γ)b until a hypothetical first zero; it prevents that zero. Also (b′2+b2)′=2b′b(1−γ)≤0, and differentiating b−coss or integrating the equation yields the derivative bound. In each cell centered at ci set x=r−ci, y=x/b, and
Φi(s,r)=b−1/2eimb′x2/(2b)χ(ci+y)a(y/h).
The core residual has norm ≤cb−2. Its radial derivative, divided by mh, has norm at most c∣b′∣/(2b2)+C3/(2m2hb3), by differentiating its amplitude and quadratic phase. At an origin well the helper is odd; at an origin barrier it vanishes in a collar. Thus the even extension of each potential and the odd extension of the helper justify integration by parts without an origin force or a self-adjoint half-line momentum assertion.
Here and below use the explicit weak-potential bounds
Define M1=15/(8ηh), f=1/2+5h/8+F1/(mh), q0=(B1e0+B0A1/h)/(mh), and J3=(secstans+log(secs+tans))/2. Duhamel's inequality and its differentiated equation give the explicit increasing majorants
They bound ∥ui−Φi∥ and ∥∂r(ui−Φi)∥/(mh). In detail, the force term in the differentiated error equation is ≤f∥ui−Φi∥; the outer-mismatch derivative contributes (1/2+5h/8)T0+V∣b′∣T0/2+V(T1+M1T0)/(mhb); and the weak-trap derivative contributes F1/(mh)+F0{∣b′∣/2+C1/(mhb)}. Integrating these terms and the core residual proves (78)–(79), rather than assuming an abrupt switch.
Let G1(s)=∫0sγ(x)dx and G2(s)=∫0s(s−x)γ(x)dx during the gate. For s≤g, b≤1−cos(g)G2(s) and ∣b′∣≤G1(s). The identities G1(g)=g/2, G2(g)=3g2/22 imply, for s≥g,
Use the preceding bounds as bU,pU before g and put G−(s)=1/2−(1/2−η)bU(s), G+′(s)=(1/2−η)pU(s). These functions are nonnegative and increasing on the needed interval; G− is a lower gap and G+′ an upper gap speed, not derivatives of a common artificial lens.
For completeness the moving-gap estimate is obtained with linear CDF cutoffs centered on each positive barrier, with half-width w(s). The helper vanishes in these gaps, so the mass and integrated absolute current there are at most D(s)2 and hD(s)q(s) after disjoint gaps are summed. Differentiating the expectation of a moving linear cutoff costs at most w′D2/(2w)+hDq/(2w). Initial symmetric smoothing costs ϵ0 below, and replacing a soft terminal cut by each of the two associated sharp classifier cuts costs their intervening error mass. Summing over both cuts at every positive barrier gives
There is no collar across zero: its cumulative mass is exactly zero, and the single first-cell classifier is paid by its share of D2. At s− the helper gap contains the classifiers because G−(s−)>1/4. The initial Gaussian density ρ0=χ2 obeys
TV(ρ0)<12/(7L),TV(∣ρ0′∣)≤20/L2.
The first follows from its single maximum 4/(eπL)<6/(7L); the second from integrating the Gaussian derivative polynomial. Symmetric linear smoothing and linear interpolation in half-cells of length ℓ=h/2 give
For the interpolation estimate, the integrated error of a linear interpolant on a cell is at most one eighth of the cell length times the variation of the function there; apply this first to ρ0 and then to its derivative. The reference preimage in each half-cell is shifted from the ideal sector cut by at most 0.000052316289ℓ, as follows from the periodic rotor error (0.007233)2. Summing the corresponding initial masses with the Gaussian fold inequality gives R. Thus R refers to the original reference age 1.22, not s−.
Here is also an explicit finite-range bound used in this comparison. For the periodic conditional solution zi starting flat on a circle of length two, energy differentiation gives ∥zi′∥≤mh/2, since dsd⟨T+γVi⟩=γ′⟨Vi⟩≤γ′V. Each periodic cell has mass h/2. The auxiliary wave 2χzi has residual norm at most
The two kinetic products use the Gaussian folds; the last two terms pay the finite outer and weak cutoffs. Its outer norm is at most TG, because h∑k≥0ρ0(1000+kh)≤∫1000∞ρ0+hρ0(1000)<22/749. Consequently the fixed-age mismatch with the original periodic label is
This is less than 0.002588532236512050. The quiet-prefix allowance is included once.
For the whole age interval use the fixed transition bands between relative distances h/5 and 3h/10 from neighboring wells. The quintic helper and its derivative vanish on these bands because b(s)≤cos(s−g) and cos(s−−g)<0.4. A Lipschitz soft binary label with slope at most 10/h must vary by at least 1/2 along any trajectory that starts outside the bands and subsequently changes its label. Hence, directly under the reference wave law,
This is a pathwise union estimate and permits the final age to depend on all other coordinates. One does not replace an age union by its largest single-age probability.
For an outer threshold the situation is different: reference ranks that escape at age s form the upper ray [Fs(1000),1]. Their union is one ray. Therefore, on [−1/8,13/10], its mass is at most qout=((13/10)β+TG)2, and
Cqout<1.547666958047712×10−8.(84)
The negative-age extension is the exact finite-trap evolution treated below and has a still smaller tail. If the actual rank differs from the original Gaussian rank by at most δ, expanding this ray by δ also covers the actual terminal escape. Adding it to the binary moving cuts uses N=256001 cuts in the conservative 2Nδ allowance. With known drift β∗ and remaining wave-law mean absolute drift I, Markov's inequality and optimization in δ−β∗ give
Only domination of the original law is used. The same expanded outer ray pays whole-history escape if clock confinement and the absolute rank integral hold throughout the whole interval.
The following coefficients also supply the energy inputs for holding. Put A=W−F, A0=V+1, and use
A1=246,A2=280,A3=2112,A4=2160
for derivative ceilings of A, with ∥U′∥≤A1. They are deliberately loose bounds, not additional hypotheses. For the cap its first derivative is −S5(z)(1−2ηz); the sum of absolute coefficients is at most 32, and the next three derivatives are bounded by 326k−1η−(k−1) with the cell powers of h restored. Leibniz's rule gives the displayed bounds after the outer cutoff. The smooth logistic cutoff has derivatives through order four bounded by 1010: on its central half the logit derivatives are bounded by 32,256,3072,49152; at an edge put x=1/t≥4, use sigmoid derivatives ≤75e−A, e−A≤4e−x, and the Bell-polynomial bound 50x8. Its maximum is at most 1500088/74<1010. The weak cutoff rescales these derivatives by 10−k. The capped potential is C3 with bounded weak fourth derivative, which suffices for these third energy graphs; no fourth radial Hamiltonian graph is invoked.
Then ∥Hju∥≤Nj, j=1,2,3, throughout the gate and static plateau. To check this directly, ∥H02χ∥,∥H03χ∥<1 by the Gaussian products and the finite weak cutoff. The first graph obeys ∥Hu∥≤∥H0χ∥+V+F0<V+1=N1 by graph Duhamel and ∫γ′=1. The identities
For the second line retain the intermediate bound ∥H2u∥≤(1+A0γ)2+B∗γ and integrate (H3)′=γ′(3AH2+3[H,A]H+[H,[H,A]]). Smooth approximation on the common graph domain justifies the identities.
To evaluate the smaller reference-current bound use the transported cell construction with P=B9 and Ck through order four. Fix a horizon a<π/2 (here a=s+; the holding calculation uses 4/3). With M1=(315/128)/(ηh), M2=(2520/64)/(η2h2) put
These bound ∥u−Φ∥ and ∥H(u−Φ)∥. The gate derivative source is at most (V+F0)D9(g); it is not omitted. Set PE={2mD9(Q9+F0D9)}1/2, PE2=2m{Q9+(V+F0)D9} at s=a. The form inequality and half-line Sobolev give ∥E∥∞≤(2D9PE)1/2, ∥E′∥∞≤(2PEPE2)1/2. With ρ∗=6/(7L) use
This follows by expanding all three error terms in the bilinear current, including E∗E′. For a=s+, D9<0.006877, Q9<2.364×108, and j∗<9.194×106.
Restore M=10, v=1, T0=0.03, σ=0.001 in SI units and ℏ=6.62607015×10−34/(2π). For the next two current identities, use physical radius rphys=10−4r and its normalized conditional wave, of density ρ=∑i∣ui∣2; sector sums are implicit in products and r in their integrals denotes rphys. The radial physical mass is mphys=252ℏT0/(10−4)2. For G=ϕ(S−vt−Sc)u(S,rphys) the radial energy density and clock correction are e=ℜ(u∗Hphysu) and k=−e/(Mv). If K is the conditional CDF, write Bk=∫0rk, bk=∫k. Substituting into the exact rank numerator gives
where jE=(ℏ/(2mphys))ℑ(u∗∂rphys(Hphysu)+(Hphysu)∗∂rphysu). The intrinsic term is bounded by ℏaj∗N1/(Mv2T0). Returning to detector units, for the energy term use the H2 current J2=m−1ℑ(u∗(Hu)′+(Hu)∗u′), ∥J2∥1≤(PH+N1P)/m. For the conservative duration Ts=0.0377 let ε=ℏTs/(2Mv2T02) and bound its density by
This enlarged density also bounds the unchanged reference. The energy contribution is at most ερe(PH+N1P)/m. Finally ∣Bk−Kbk∣≤2∥Hphysu∥/(Mv), ∫2∣ϕϕ′∣≤2p1, and ∫γ˙dt=1 for each clock offset. With T=0.04, the reference functional is bounded by
The quiet correction Iq is explicitly controlled below. This is a functional of the comparison wave, not an assertion that G solves the autonomous Schrödinger equation.
All terms are supported at r≥2000. Here is an explicit polynomial recipe for their norms. Set y=r/L, qf=1/(2mL2), U0(y)=y2+3, U1(y)=2y/L, U2(y)=2/L2, and (c0,c1,c2,c3,c4)=(1,1/2,32/25,1000,20000). These bounds follow by rescaling the cutoff derivatives 5,128,106,2×108 by its width ten. Define
The sharper first bound is the direct recurrence for (y2+3)χ on y≥20. For u(s)=e−isHFχ, −1/8≤s≤0, the boundary errors after multiplication by the real clock packet are
In particular (Δ0,Δ1,Δ2,Δ3)<(1.116×10−102,2.947×10−99,1.195×10−95,6.072×10−92) in the corresponding clock derivative units. The constants pk are given next. Substituting these in the rank functional pays the negligible Iq; 10−40 is a convenient outward ceiling for that term in (87).
They follow by expanding the powers of sine and cosine and integrating on the packet support. Convolution with the nonnegative mollifier contracts every derivative norm; normalization costs at most qs. Let d=0.0001 seconds and
Differentiating the conditional equation gives these bounds for ∥GS∥,∥GSS∥,∥GSSS∥ and its logarithmic-envelope coefficient. In the third derivative use 2HSH+HHS=3HSH+[H,HS]; the commutator costs B∗. The first derivative improves to a sum of squares because the real packet derivative and the unitary conditional derivative have zero real cross term.
The denominator-free rank stability estimate of Section 24, for an error with norms D,e1,e2, is
The derivatives here are clock derivatives. Decompose the exact error from the same prepared stock as follows. If Eh is the prepared error, Ua the actual propagator, ψc the evolution of the product handoff under the clipped gate, and ψp agrees with ψc until Tg=0.0033 and evolves statically thereafter, put
Then Ψ−G=Ep+Ec+El+Er+Es identically. The carried ramp error is counted once, the new static error starts from zero, and the quiet boundary difference is included in Er. The free clock and its Galilean transport belong to every propagator.
Use the defining expressions in (31), (32), and (37), not the rounded enclosures in Section B.7. In particular, HSSo is the ordinary, phase-restored Hessian bound, not the gauged bound HSS. The old-wave norm Dold is distinct from the enlarged-wave norm Dh in Appendix B. The remote force coefficients are explicitly
where (a0,a1,a2,a3)=(140,43600,70141750,1387431060000), F∗=0.080802, f∗=0.201, and μ=252ℏT0/(10−4)2. These are the product-rule bounds for the retained preparation phase and its scalar selfpotential; Fc<5×10−6 and Fc2<0.09. Set Aphys=ℏA0/T0, Fa=b1Aphys, Fa2=b2Aphys and collar widths g1=0.0005, g2=0.00025. Initialize
Here the collars move at speed v, cancelling Galilean transport; the inner transition lies where the outer collar equals one. Clock commutators give the first two equations. Weighted continuity for the error and for its first clock momentum gives the other four. The radial kinetic term commutes with every collar. The two initial local-momentum inequalities follow by integration by parts and Cauchy–Schwarz. Thus this is a closed positive comparison system, including the remote preparation force. With ej=Pj/ℏj, use its exact time integrals in (89); bound ∫P12≤P1(T)∫P1. For T=0.04 the resulting contribution is <1.954625×10−17.
The last line is Fourier interpolation ∥ESS∥2≤∥ES∥∥ESSS∥. These are clock derivatives and require only the third radial energy graph. After Tg the ramp error's clock norms are conserved by the static propagator. Endpoint ceilings for duration T=0.04 in (89) give <4.073932×10−16. The time Tg is counted from handoff: the trailing support point 0.1009999999+Tg exceeds the gate end 0.1041.
For the static component the energy gauge U(S)=exp[−iHphys(S−S0)/(ℏv)] transforms the generator to vp+(p−Hphys/v)2/(2M). Its three commuting corrections are generated by p2/(2M), −pHphys/(Mv) and Hphys2/(2Mv2). The first two ordinary clock derivatives become powers of (p−Hphys/v)/ℏ, which commute with all three corrections. For Ts=0.0377, ε=ℏTs/(2Mv2T02), the triples (D,e1,e2) for these three factors are respectively
The last term follows from ∣e−iελ2−1∣≤2ε∣λ∣. Thus ∥H2(e−iεH2−1)u∥≤2ε∥H3u∥; no fourth radial graph is required. Sum the triples, and use the static versions of G2 (with its gate term removed) and G1,QG in (89). The static contribution is <3.770360×10−19.
For the clipped evolution let Aj=Aphysbj/vj, j=1,…,4, and A0=Aphys. The global physical clock moments obey
P˙k≤j=1∑k(jk)ℏj−1AjPk−j,Pk(0)=ℏkpk,P0=1.
Define their polynomial majorants recursively by equality. This is an explicit finite triangular recursion to degree k, using no radial derivative. Four static left collars of width gc=0.0002 are supported below 0.10081, below the initial clock support and before activation. Their transitions are nested; where they act all clipped clock forces vanish. Weighted continuity therefore yields the local polynomials
This retains the common propagator's force; differentiating a Duhamel integral as though the propagator commuted with p would not suffice. Their exact polynomial time integrals in (89), with ∫P1c2≤P1c(T)∫P1c, give <2.240929×10−21.
For the clipped-to-static comparison use the moving weight χ(t,S)=min(1,exp[−106(S−0.1009−vt)]). Its derivative satisfies χt+vχS=0 and ∣χS∣≤106χ. Let Lk=∥χpkψc∥, 0≤k≤3, and bound them with the positive system
Extending these nonnegative integrals back from Tg to zero is conservative. The static propagator commutes with p. Using the endpoint triples over the duration T in (89) gives <2.817683×10−29. Thus neither remote exact clock tail has been set to zero.
Each of the five component expressions includes its own quadratic 2e12 term. For their sum use (∑j=15e1j)2≤5∑j=15e1j2. Add four further copies of the five quadratic terms to their sum. This extra allowance is <2.117822196256773×10−27. Together with (87) this gives
Iold<6.655453611235769×10−16.(90)
All absolute values precede the live joint-coordinate integral. The components are wave-law integrals; the original-law cap is inserted only in the event conversion.
The scalar terminal comparison, on T=0.04, is independently bounded by
The gate coefficient is a supremum over the whole clock packet, not the single-offset integral. It is below 55 and gives Dend<3.034377484488931×10−11. For each radial cut the exact conditional CDF KΨ and helper CDF Ku obey
∫w(S)∣KΨ(S,b)−Ku(S,b)∣dS≤∥∣Ψ∣2−∣G∣2∥1≤2Dend.
Indeed subtract the two densities against the centered indicator 1r<b−Ku(S,b), of modulus at most one. Under the exact terminal wave law KΨ is uniform conditional on S; equivariance transports the original cap, giving 2CNDend for all N=256001 cuts. This is terminal domination by the exact wave, never a newly imposed cap relative to the helper.
All displayed decimal bounds can be checked by the following finite rational procedure; the formulae above, rather than abbreviated decimals, are the inputs. For 0≤t≤4/3 use the 24-term alternating Taylor sums for sine and cosine with the next-term one-sided remainder. Bound square roots by rational bisection, and logarithms by
after taking reciprocal arguments where useful. Machin's identity π=16arctan(1/5)−4arctan(1/239) with alternating remainders bounds π. Rational arithmetic permits arbitrary refinement. For (80) use the breakpoints 0,s−/220,g and 64 equally spaced subintervals in every [s−/2j,s−/2j−1], j=20,…,1. Take every nonnegative numerator factor at the right endpoint and the increasing lower gap at the left. No monotonicity of their ratio is assumed. For (83) use 128 equal subintervals and right endpoint rectangles for the increasing product Dq. These give
For a positive system y′=Ay, rescale by a positive diagonal matrix S, put B=S−1AS, z0=S−1y0, and sum zk=(TB)kz0/k!. If α=T∥B∥∞<K+2, the omitted norm after degree K is at most
∥zK∥∞K+1α1−α/(K+2)1.
For the time integral sum Tzk/(k+1) and multiply this tail by T/(K+2). For the homogeneous system append the constant state one, use scales (10−29,10−47,10−28,10−35,10−33,10−40,1) and K=80. For the combined global/local tail system, ordered (P0,…,P4,L0,…,L3), use (1,10−19,10−38,10−57,10−76,10−42,10−60,10−68,10−72) and K=100. In both cases α<10 for T=0.04. This states every matrix entry, initial value, quadrature partition and remainder rule needed to evaluate the bound without a separate coefficient ledger or numerical propagation of the Schrödinger equation.