All estimates in this appendix concern the same normalized enlarged wave Ψ and its original actual law. Write C=270000/67499, m=252, h=1/128, M=10kg, v=1m/s, T0=0.03s, ℓ0=10−4m, and μ=μZ=0.01. Radial and pointer coordinates are dimensionless; S and the elapsed time t below have physical units. The origin t=0 is the handoff at laboratory time −0.002s. The transferred entrance estimates are those proved in Section B.5; no law or wave is assigned anew there.
Put b(s)=24B9(s/w), w=0.003, with the constant extensions specified in the model. Direct differentiation gives the following rational ceilings bj≥∥b(j)∥∞:
Indeed B9′=630x4(1−x)4; the first three derivative bounds follow from x(1−x)≤1/4 and ∣1−2x∣≤1, and the coefficient sum of B9(4) is 1360800. These bounds apply on both constant extensions because B9 has four matching endpoint derivatives.
The Gaussian moments ∥yjgb∥2=(2j−1)!!/2j prove ∥gb(j)∥≤gj for j=1,2. The sector-zero pointer is constant, so the same ceilings apply to both sectors, uniformly in the normalized qubit input.
Here ui is the exact smooth-activation radial family, continued backwards by the quiet Hamiltonian at negative ages. On the entire compact support of ϕ, the preparation phase potential has ended. Substitution into the boosted Schrödinger equation leaves precisely the residual ±ℏ2GSS/(2M). The sign is immaterial for the norm estimates, but both pointer and activation derivatives in GSS must be included.
Let N0=1, N1=V+1, N2=1001(V+1)2/1000 and N3=1001(V+1)3/1000, where V=235; these are the energy-graph bounds proved in Section C.3. Set
Write E=Ψ−G. Its entrance norm eh is Dh from Section B.5 plus the backward-quiet discrepancy. For that discrepancy, if e=(e−iσHF−1)χ and ∣σ∣≤1/8, then
The quiet tail estimates in Section C.4 make its physical momentum correction less than 10−100kg,m/s. Let Pr,h be the old ordinary radial error momentum, the loaded-minus-old momentum from Section B.5, and this quiet correction added together.
For completeness the global radial force used in propagating E is explicit. Put mphys=mℏT0/ℓ02, ω=1/(mT0), R=0.201m, a=140s−1, a′=43600s−2 and Fmax=2R2. Define
These follow by differentiating the displayed preparation, weak-trap and capped detector potentials; all remote preparation terms remain. The writer has zero radial derivative. Unitary Duhamel, followed by the ordinary radial momentum commutator, consequently gives
The odd extension at the Dirichlet origin has no boundary term. Approximation on the common smooth core and these uniform bounds justify the differentiated evolution without a fourth radial graph. At Tc=0.0404s, denote the right sides by e∗ and Pr,∗ and put p∗=ℓ0Pr,∗/(ℏmh). Evaluation gives
The exact boosted generator contains ps+ϵps2/2, ϵ=ℏ/(Mv2T0). Define A=∂Z+Z−Π1(b+iμb′). Since the radial potentials commute with this operator, its complete commutator is
For example [A,Hptr]=(A+Π1c)/μ−Π1F and [A,ps]=−iΠ1c′, where c=b+iμb′; c/μ−F−ic′=0 cancels the prescribed driving terms. The clock Laplacian supplies both terms on the right of (115).
Let P(t)=∥−iℏ∂SΨ(t)∥ be the boosted clock momentum, n(t) the moving left-collar norm of width g=0.0005m, and RZ(t)=(∥ZΨ∥2+∥pZΨ∥2)1/2. The entrance estimates allow the conservative values
P(0)≤2×10−27,n(0)≤2×10−26,RZ(0)≤2,
in SI units where applicable; the much sharper actual entrance Ah=∥AΨ(0)∥ is retained. Set
The Heisenberg equations for (Z,pZ) are a rotation with bounded forcing Π1F; its variation-of-constants formula gives RZ(t)≤2+F∗t/T0, without exponentiating the oscillator frequency. The translating collar and clock commutator give
The C∗′ term retains the clock force of the scalar compensation. All inequalities apply to the full wave, including remote clock tails. The oscillator estimates extend from finite-energy approximants by the form-domain bounds just obtained.
For q=0.0002kg,m/s and k=0.04s−1, Y=P+qn satisfies Y′≤kY+f0+f1t, where
The last line is unitary Duhamel applied to (115). The resulting ceilings are
P<2.667201×10−18kg,m,A∗<9.510237×10−12.
Equivariance and Cauchy–Schwarz imply E∣Ψ∣2∫0T∣S˙−v∣dt≤P/M. Thus actual-law domination and Markov's inequality bound the failure of the entire-path deviation ∫∣S˙−v∣≤10−5m by CP/(10−5M)<1.067×10−13. The handoff core ∣Sh−0.102∣≤0.000839m has failure at most
To see this, normalize the unsmoothed cos4 packet on its 0.001m half-width. Its squared density has coefficient 64/35 after scaling to unit half-width; the two edges give the factor 128/35. On either edge use sinx≤x, integrate the eighth power, and enlarge the edge width by the smoothing radius 10−10m. Positive convolution and Jensen preserve this two-sided bound, with the displayed normalization factor. The Dh triangle then uses the exact handoff wave, rather than replacing its marginal.
On the intersection of these two good events, the first possible crossing of Son is after 0.036601s, and the last possible completion of the pulse is before 0.038389s. More directly, the pathwise bound ∣St−(0.104+vtlab)∣≤0.000849m implies St≥0.14154m for every tlab∈[0.0384,0.09]. This proves completion throughout the whole hold, including the exclusion of later returns. The same two exceptional events are charged only once below.
Let Hr(r)∈[0,1] be the soft radial classifier, agreeing with the sharp label ℓ(r) outside its bands B and having ∣Hr′∣≤10/h. Put I0=[−8,8], I1=[16,32] and
Mr(r,Z)=(1−Hr(r))1I0c(Z)+Hr(r)1I1c(Z).
For each absolutely continuous exact trajectory, with witness and readout at laboratory times ta=0.0366, tc=0.0384,
Outside B, Hr(ra) is the binary earlier label; replacing this coefficient by Hr(rc) changes the mismatch by at most its total variation. This proves the inequality without assigning a sampled internal sector.
Throughout this copy interval the entire comparison packet has conditional age in [71/60,4/3]. Use the B9-taper lens expressions D9,Q9 of (86), evaluated at 4/3, and denote these by D,Q; set
qr=mh2mD(Q+F0D).(120)
They give D<0.007640094, Q<262597634.037 and qr<0.003820673. The contraction scale is at most cos(σ−1/300). Since σ−1/300≥59/50 and cos(59/50)<2/5, the compact comparison and its radial derivative vanish on the bands [h/5,3h/10] and their translates. Hence ∥1BG∥≤D and ∥1B∂rG∥≤mhqr. Expanding the exact current of G+E, taking its modulus before integrating any hidden variable, gives
∫B∣Jr[Ψ]∣≤h{Dqr+(D+e∗)p∗+e∗qr}.(121)
For example the four terms before division by m are D(mhqr), D∥∂rE∥, e∗(mhqr) and e∗∥∂rE∥.
On the completed-clock region, let Pg project in each internal sector onto the normalized real Gaussian centered at 0 or 24. The oscillator ladder spectrum proves the fibre inequality
A∗A≥2(I−Pg).(122)
Both operators commute with completed-clock localization. Thus the localized excited component has norm at most A∗/2. The ground-state wrong-inner probability is qI=erfc(8), and contraction and the norm triangle give a pointer cost at most C(qI+A∗/2)2. To combine it with the radial mismatch, use the pointwise inequality
Mr(r,Z)≤∣Hr(r)−i∣+1Iic(Z),i=0,1,
and sum against the exact orthogonal component densities. The square-root multiplier of the first term kills the compact sector-i lens comparison, so its total contribution is at most C(D+e∗)2. Together with the initial band and (121), this proves the copy cost, apart from the already identified exceptional events,
At each full configuration, including S,r,Z, the exact identity is
JZ[Ψ]=μ1ℑ(Ψ†AΨ)+b′Ψ†Π1Ψ.(124)
The second term has not been discarded: it vanishes on every visited point of a good clock path because the pulse is completed there. For R0=[−10,10], R1=[14,34], a path starting in Ii and leaving Ri crosses one of the four width-two bands [−10,−8], [8,10], [14,16], [32,34]. Linear cutoffs of slope 1/2 on these disjoint bands require unit variation for such an exit. Restricted equivariance, actual-law domination and then Cauchy–Schwarz therefore give
P(a hold exit, correct capture, good clock)≤2μC∫1.283∫∣Ψ∣∣AΨ∣dqdτ≤2μC2543A∗<3.271570×10−9.(125)
All hidden-coordinate moduli are taken before integration. The variation counts recrossings and every time of the interval; an endpoint estimate is not being substituted for a path estimate. The global annihilator norm bounds the restricted current, so no unfinished part of the comparison wave has been removed.
Here dj are the half-line Gaussian derivative norms, equivalently the norms of its unitary odd extension. For an integrable absolutely continuous f the grid sum obeys
0≤x<hsuphk∈Z∑f(x+kh)−∫Rf≤h∫R∣f′∣.
This follows by comparing the value at the chosen point of each cell with its integral and then summing the fundamental theorem of calculus bounds. With f=∣χ100(j)∣2, ∫∣f′∣≤2djdj+1 proves the folded bound Bj2. The periodic reference has mass h/2 per cell and circle norm one. Its kinetic energy starts at zero and increases by at most V under the nondecreasing gate, proving ∥∂ruref,iγ∥L2(0,2)≤mh/2. Consequently the norms of 2χ100(j)uref,iγ and 2χ100′∂ruref,iγ are bounded by Bj and B1mh/2, respectively. For the auxiliary 2χ100uref,iγ, the product-rule residual consists respectively of the second Gaussian derivative, the cross derivative, the outer cutoff tail and the weak trap, and their sum is exactly β above. For the decreasing Gaussian density beyond 990, periodic cell masses give a folded tail at most Tail(990)+hρ(990). Writing z=9.9, integration by parts gives
∫z∞y2e−y2dy≤(2z+4z1)e−z2.
The radial density is 4y2e−y2/π in this scaled coordinate. Thus Tail(990)<21/749 and ρ(990)<4/749 in detector coordinates, by e2>7 and π>1. Since h<1/4, their folded sum is below TG2. Unitary integration for age at most 4/3 yields the full-wave bound
∥1rphys≥0.099Ψ∥≤Tr:=34β+TG+e∗.
Negative quiet ages obey the same larger bound by the quiet estimate used in (114); pointer tensor factors have norm one.
The same loaded clock estimate gives a uniform left-collar bound n∗=nh+P/(Mg). Thus the exact radial momentum starts below Pr,0=ℏ3/2/0.01+Pr,h and grows at most at rate Fr=Wr+Qr+Vp,rn∗. There is no writer radial force. The initial outer tail plus the absolute soft-barrier current prove
The inner-tail replacement follows from erfc(8)<e−64/(8π)<1/(14732). All constants in these expressions have now been specified by rational operations, square roots, π, and the lens functions D9,Q9 in (86). Outward evaluation gives
Term
Upper bound
ebase
0.000537032962395581630703
ecorr
0.000010915589215098519870
einner
1.81324790661460×10−22
ehold
3.271569843081749×10−9
ecore
0.000004378860028173163338
edev
1.06689598045912×10−13
eexit
9.127217662854526×10−8
Their sum is strictly below 0.000552421956. The event proof is (119), the positive endpoint bound, (125), and the union with the three common exceptional events (clock core, clock deviation, radial exit). When combined with the earlier-label theorem, those same events are counted once. None of the estimates supplies an independent internal-sector variable, a new actual-law marginal, or an additional physical source beyond the stated effective Hamiltonian.