Skip to content
Shadow Theory

Section 11 9 October 2026

Actual source graphs and finite-time complete currents

Reading position 12 of 16

11 Actual source graphs and finite-time complete currents

Write m0=∥fR∥2m_0=\|f_R\|^2 and m1=∥(h+1)1/2fR∥2m_1=\|(h+1)^{1/2}f_R\|^2. The form tail gives m0≤1m_0\leq1 and, at R=40R=40, m1<(1+4⋅10−14)2<1+10−12m_1<(1+4\cdot10^{-14})^2 <1+10^{-12}. The source ladder operators give the ordered bounds

∥YHs−1∥≤423Ω,∥Hs1/2YHs−1∥≤3+1/2Ω. \|YH_s^{-1}\|\leq\frac{4\sqrt2}{3\Omega},\qquad \|H_s^{1/2}YH_s^{-1}\| \leq\frac{\sqrt3+1/\sqrt2}{\sqrt\Omega}. (11.1)

Indeed Hs=Ω(N+1/2)H_s=\Omega(N+1/2) and Y=(a+a†)/2Y=(a+a^\dagger)/\sqrt2. The downward and upward coefficients of aHs−1aH_s^{-1} and a†Hs−1a^\dagger H_s^{-1} are bounded by 2/(3Ω)2/(3\Omega) and 2/Ω2/\Omega, respectively. For the weighted versions, their squared ratios are

n(n−1/2)Ω(n+1/2)2≤1Ω,(n+1)(n+3/2)Ω(n+1/2)2≤6Ω. \frac{n(n-1/2)}{\Omega(n+1/2)^2}\leq\frac1\Omega,\qquad \frac{(n+1)(n+3/2)}{\Omega(n+1/2)^2}\leq\frac6\Omega.

The first inequality is direct and the second ratio decreases from its value 66 at n=0n=0. Their sum in YY proves (11.1). These are full-source operator bounds, not a bound on a selected actual occupation.

Consequently

∥K01/2(fR⊗Y)Hs−1∥2≤CΩ2:=32m19Ω2+(3+1/2)2m0Ω. \|K_0^{1/2}(f_R\otimes Y)H_s^{-1}\|^2 \leq C_\Omega^2:= \frac{32m_1}{9\Omega^2} +\frac{(\sqrt3+1/\sqrt2)^2m_0}{\Omega}. (11.2)

The two terms follow by splitting K0=(h+1)+HsK_0=(h+1)+H_s on the forcing vector, with the ordering in (11.1) preserved.

Proposition 11.1 (All-frequency response with a physical source graph)

For θ<1\theta<1 and every E∈RE\in\mathbb R, η>0\eta>0,

∥Tph1/2(A−E−iη)−1LHs−1∥2≤2271+θ1−θg2CΩ2η2. \|T_{\rm ph}^{1/2}(A-E-i\eta)^{-1}LH_s^{-1}\|^2 \leq \frac{22}{7}\frac{1+\theta}{1-\theta} \frac{g^2C_\Omega^2}{\eta^2}. (11.3)

For the actual input pp of (10.6), with q(0)=0q(0)=0, let qTq_T agree with its forced QQ equation on [0,T][0,T] and then evolve homogeneously with AA. If Hsp∈L2(0,T)H_sp\in L^2(0,T), then

∫0∞e−2ηt∥Tph1/2qT(t)∥2dt≤2271+θ1−θg2CΩ2η2∫0Te−2ηs∥Hsp(s)∥2ds. \int_0^\infty e^{-2\eta t}\|T_{\rm ph}^{1/2}q_T(t)\|^2dt \leq \frac{22}{7}\frac{1+\theta}{1-\theta} \frac{g^2C_\Omega^2}{\eta^2} \int_0^T e^{-2\eta s}\|H_sp(s)\|^2ds . (11.4)

Also, whenever Hsp∈L1(0,t)H_sp\in L^1(0,t),

Q(t):=∥Tph1/2q(t)∥≤∣g∣2271+θ1−θ CΩ∫0t∥Hsp(s)∥ ds. Q(t):=\|T_{\rm ph}^{1/2}q(t)\| \leq |g|\sqrt{\frac{22}{7}\frac{1+\theta}{1-\theta}}\, C_\Omega\int_0^t\|H_sp(s)\|\,ds . (11.5)
Proof

By (10.8) and (10.10), Tph≤22K/[7(1−θ)]T_{\rm ph}\leq22K/[7(1-\theta)]. The form K=A+1K=A+1 commutes with the actual AA resolvent, whose unweighted norm is at most 1/η1/\eta. Its input satisfies ∥K1/2LHs−1∥≤1+θ∣g∣CΩ\|K^{1/2}LH_s^{-1}\| \leq\sqrt{1+\theta}|g|C_\Omega. Their ordered product proves (11.3). The finite lower bound on KK is positive; rescaling by that bound gives the equivalent unit-coercive form convention if needed. No commutation of TphT_{\rm ph} with AA is used.

Extend 1[0,T]Hsp1_{[0,T]}H_sp by zero. The causal exponentially damped Fourier transform of the Duhamel equation is the resolvent multiplier applied to this complete source vector. Plancherel with (11.3) proves (11.4), as in Theorem 6.1. There is no derivative of the time cutoff in this argument and no frequency-band assumption. Finally Duhamel in the stationary positive KK form and ∥K1/2e−itAv∥=∥K1/2v∥\|K^{1/2}e^{-itA}v\|=\|K^{1/2}v\| give (11.5).

□

The 1/η21/\eta^2 cost includes all actual bound poles and continuum. It cannot be discarded because the fixed-reference continuum-only calculation happened to be η\eta independent. The source weights in (10.12) and (11.3) are also different.

Proposition 11.2 (Source graphs for the actual feedback evolution)

Let the normalized entrance be Ψ(0)=ϕ⊗∣1⟩⊗ζ\Psi(0)=\phi\otimes|1\rangle\otimes\zeta, with any normalized passive finite internal vector ζ\zeta. Under the actual static parent (10.1), put a=∣g∣d0a=|g|d_0. Then

H1(t):=∥Hs1/2Ψ(t)∥≤3Ω/2+aΩ/2 t,∥HsΨ(t)∥≤Ω{3/2+3 at+a2t2/2},e(t):=∥q(t)∥≤∣g∣{3 t+at2/2}.\begin{align}H_1(t):=\|H_s^{1/2}\Psi(t)\| &\leq\sqrt{3\Omega/2}+a\sqrt{\Omega/2}\,t, \tag{11.6}\\ \|H_s\Psi(t)\| &\leq\Omega\{3/2+\sqrt3\,at+a^2t^2/2\}, \tag{11.7}\\ e(t):=\|q(t)\| &\leq |g|\{\sqrt3\,t+at^2/2\}. \tag{11.8}\end{align}

Since PP commutes with HsH_s, the first two bounds also control the corresponding graphs of the actual pp.

Proof

The commutator is [Hs,H]=−igΩdRpY[H_s,H]=-ig\Omega d_Rp_Y, with pY=−i∂Yp_Y=-i\partial_Y. The expectation identity and ∥pYΨ∥≤2/Ω∥Hs1/2Ψ∥\|p_Y\Psi\|\leq\sqrt{2/\Omega}\|H_s^{1/2}\Psi\| give

∣ddtH12∣≤a2Ω H1. \left|\frac d{dt}H_1^2\right| \leq a\sqrt{2\Omega}\,H_1 .

Regularizing the square root if necessary and integrating gives (11.6). The norm derivative for HsΨH_s\Psi obeys

ddt∥HsΨ∥≤∥[Hs,H]Ψ∥≤a2Ω H1(t). \frac d{dt}\|H_s\Psi\| \leq\|[H_s,H]\Psi\| \leq a\sqrt{2\Omega}\,H_1(t).

Its initial norm is 3Ω/23\Omega/2; integrating the preceding linear bound gives (11.7).

These computations can be justified without assuming the future source stays Gaussian. Let PNP_N project onto source occupations 0,…,N−10,\ldots,N-1, and use the full-space operators

HN=h+Hs+gdRPNYPN. H_N=h+H_s+g d_RP_NYP_N.

They are self-adjoint on D(h)∩D(Hs)D(h)\cap D(H_s) with uniform infinitesimal relative bounds and the coercivity (10.2). For every vector in this common domain, HNu→HuH_Nu\to Hu, because PNP_N commutes with HsH_s and converges in its form norm. The resolvent identity, with the uniformly bounded nonreal resolvents on its left, gives strong resolvent convergence; the associated unitary groups converge strongly on compact time intervals. For N≥2N\geq2 the entrance lies in PNHP_N\mathcal H and remains there, so both source graphs are bounded operators on that invariant subspace. The commutator is −igΩdRPNpYPN-ig\Omega d_RP_Np_YP_N and obeys the same uniform estimates as above. Hence the displayed graph bounds hold for e−itHNΨ(0)e^{-itH_N}\Psi(0). At each time, strong wave convergence and weak lower semicontinuity of the closed graphs of Hs1/2H_s^{1/2} and HsH_s pass these bounds to the actual wave. No finite source truncation remains in the result.

Lastly, from the exact equation for qq and its zero entrance,

∥q(t)∥≤∣g∣∥fR∥∫0t∥Yp(s)∥ ds≤∣g∣2/Ω∫0tH1(s) ds. \|q(t)\|\leq |g|\|f_R\|\int_0^t\|Yp(s)\|\,ds \leq |g|\sqrt{2/\Omega}\int_0^tH_1(s)\,ds .

Here ∥fR∥≤1\|f_R\|\leq1 and PP commutes with HsH_s. This is (11.8). The feedback term in (10.6) has not been set to zero anywhere.

□

11.1 All coherent terms in the original physical currents

The nominated current constitution is the nonrelativistic canonical one:

jr[Ψ]=Im⁡Ψ†∇rΨ,jY[Ψ]=ΩIm⁡Ψ†∂YΨ. j_r[\Psi]=\operatorname{Im}\Psi^\dagger\nabla_r\Psi,\qquad j_Y[\Psi]=\Omega\operatorname{Im}\Psi^\dagger\partial_Y\Psi.

Define differences relative to the actual PP wave,

δρ=∣Ψ∣2−∣ϕp∣2,δj=j[Ψ]−j[ϕp]. \delta\rho=|\Psi|^2-|\phi p|^2,\qquad \delta j=j[\Psi]-j[\phi p].

The vector ϕp\phi p is generally unnormalized and does not solve an autonomous closed evolution. It is a wave comparison, not a separately assigned physical flow. To make its continuity defect explicit, set F=gY⟨ϕ,dRq⟩r\mathcal F=gY\langle\phi,d_Rq\rangle_r and M(t)=∥p(t)∥2M(t)=\|p(t)\|^2. The feedback equation gives, in distributions,

∂t∣ϕp∣2+div⁡j[ϕp]=sP:=2∣ϕ∣2Im⁡(p†F),M=1−∥q∥2,M′=∫sP. \partial_t|\phi p|^2+\operatorname{div}j[\phi p] =s_P:=2|\phi|^2\operatorname{Im}(p^\dagger\mathcal F), \qquad M=1-\|q\|^2,\quad M'=\int s_P. (11.9)

The products are integrable under the earned source graphs: for example ∥F∥≤∣g∣d0∥Yq∥\|\mathcal F\|\leq |g|d_0\|Yq\|. Even if M>0M>0 and the comparison is normalized, writing ρP=∣ϕp∣2\rho_P=|\phi p|^2, its density ρP/M\rho_P/M and current j[ϕp]/Mj[\phi p]/M have source sP/M−M′ρP/M2s_P/M-M'\rho_P/M^2. Normalization therefore does not create conservative equivariance. The estimates below retain the original unnormalized comparison and need neither a second flow nor a continuity-defect allowance.

Lemma 11.3 (Full electron and source current differences)

With dr=∥∇rq∥d_r=\|\nabla_rq\| and dY=∥∂Yq∥d_Y=\|\partial_Yq\|,

∥δρ∥1≤2e+e2,∥δjr∥1≤dr+e+edr,∥δjY∥1≤Ω{(1+e)dY+e2/Ω H1(t)},\begin{align}\|\delta\rho\|_1&\leq2e+e^2,\tag{11.10}\\ \|\delta j_r\|_1&\leq d_r+e+ed_r,\tag{11.11}\\ \|\delta j_Y\|_1 &\leq\Omega\{(1+e)d_Y+ e\sqrt{2/\Omega}\,H_1(t)\}, \tag{11.12}\end{align}

where dr≤2 Q(t)d_r\leq\sqrt2\,Q(t) and dY≤2/Ω Q(t)d_Y\leq\sqrt{2/\Omega}\,Q(t).

Proof

For any derivative DD, expand before estimating:

jD[ϕp+q]−jD[ϕp]=cDIm⁡{(ϕp)†Dq+q†D(ϕp)+q†Dq}. j_D[\phi p+q]-j_D[\phi p] =c_D\operatorname{Im}\{ (\phi p)^\dagger Dq+q^\dagger D(\phi p)+q^\dagger Dq\}.

Thus every interference term and the quadratic error current remain. Cauchy–Schwarz, ∥p∥≤1\|p\|\leq1 and ∥∇ϕ∥=1\|\nabla\phi\|=1 give the electron estimate. For the source, ∥∂Yp∥≤2/Ω H1\|\partial_Yp\|\leq\sqrt{2/\Omega}\,H_1 because PP commutes with the source kinetic form. Multiplication by cY=Ωc_Y=\Omega gives (11.12). The density expansion gives (11.10). Finally the electron and source kinetic terms are included with their stated coefficients in TphT_{\rm ph}, giving the two derivative bounds. Spectral orthogonality of PP and QQ has not been used to discard a pointwise cross term.

□
Corollary 11.4 (An explicit finite-time current bound)

For the same static parent with Ω=.01\Omega=.01, g=10−6g=10^{-6}, R=40R=40, d0≤41d_0\leq41 and the entrance of Proposition 11.2,

Q(100)<.00051,e(100)<.000176,∫0100∥δjr(t)∥1dt<.045033131<.046,∫0100∥δjY(t)∥1dt<.003970830<.004.\begin{align}Q(100)&<.00051,\qquad e(100)<.000176,\tag{11.13}\\ \int_0^{100}\|\delta j_r(t)\|_1dt &<.045033131<.046,\tag{11.14}\\ \int_0^{100}\|\delta j_Y(t)\|_1dt &<.003970830<.004. \tag{11.15}\end{align}
Proof

Equations (10.4), (10.9) and (11.2) give the rational enclosure

2271+.000621−.00062{32(1+10−12)9(.01)2+254(.01)}<3382. \frac{22}{7}\frac{1+.00062}{1-.00062} \left\{\frac{32(1+10^{-12})}{9(.01)^2} +\frac{25}{4(.01)}\right\}<338^2 .

Here (3+1/2)2=7/2+6<25/4(\sqrt3+1/\sqrt2)^2=7/2+\sqrt6<25/4. Let a=41⋅10−6a=41\cdot10^{-6}. Equations (11.5)–(11.8) consequently admit the polynomial upper bounds

Q‾(t)=338⋅10−8{(3/2)t+(7/8)at2+a2t3/6},e‾(t)=10−6{(7/4)t+at2/2},H‾1(t)=.123+.071at.\begin{aligned}\overline Q(t)&=338\cdot10^{-8} \{(3/2)t+(7/8)at^2+a^2t^3/6\},\\ \overline e(t)&=10^{-6}\{(7/4)t+at^2/2\},\\ \overline H_1(t)&=.123+.071at. \end{aligned}

All roundings are outward: 3<7/4\sqrt3<7/4, .015<.123\sqrt{.015}<.123 and .005<.071\sqrt{.005}<.071. Substitute dr≤(10/7)Q‾d_r\leq(10/7)\overline Q and dY≤15Q‾d_Y\leq15\overline Q, using 2<10/7\sqrt2<10/7, 200<15\sqrt{200}<15. The two current integrands are bounded by

107Q‾+e‾+107e‾ Q‾,.01{15(1+e‾)Q‾+15e‾ H‾1}. \frac{10}{7}\overline Q+\overline e+ \frac{10}{7}\overline e\,\overline Q, \qquad .01\{15(1+\overline e)\overline Q+ 15\overline e\,\overline H_1\}.

These are explicit nonnegative rational polynomials. Exact integration on [0,100][0,100] gives respectively 0.045033130836…0.045033130836\ldots and 0.003970829749…0.003970829749\ldots. Direct evaluation of the same polynomials gives (11.13). The exact integrals are

1134834897087472426492520000000000000000000,9529991397954224264924000000000000000000000, \frac{113483489708747242649}{2520000000000000000000}, \qquad \frac{95299913979542242649}{24000000000000000000000},

so integer comparison verifies both printed outward ceilings. No continuum quadrature enters this bound.

□

The electron integral has units of relative-coordinate length, and the source integral of source-coordinate length in the chosen dimensionless YY convention. They bound j[Ψ]−j[ϕp]j[\Psi]-j[\phi p], not the entire absolute currents. They are not event probabilities. A detector or tube claim requires a corresponding surface/guard and an original-law transport interface with its own constants. Comparing to a freely propagated intended source instead of the actual pp would additionally require the feedback phase and current cost of p−pfreep-p_{\rm free}.

The compact scalar and oscillator constitute a definite mathematical example with actual source feedback, full Coulomb poles and continuum, and complete canonical currents. A finite-mass source/COM reduction, source field energy, retardation, loading, clock and a microscopic Pauli or Dirac current identification remain separate physical questions. None is inferred from the exact Coulomb calibration or from the small forcing tail.

11.2 Flow and companion-paper interfaces

For the entrance of Proposition 11.2, the actual parent (10.1) is the constant-gg case of the Full Coulomb–source flow theorem in the revised companion paper [3]. The reduced-mass units, the smooth compact dipole and its full collar, the first excited source entrance, the passive internal factor, and both canonical currents agree. Constant gg satisfies that theorem's bounded absolutely continuous control hypothesis on every finite horizon, including [0,100][0,100]. Its common first-domain, tangent-regularity and logarithmic-current arguments consequently supply a deterministic reference-compatible flow for this actual wave, with reference-almost-sure collision and node avoidance. An original joint law absolutely continuous with respect to the entrance wave density is transported by reweighting those same paths once. A quantitative domination factor for (2.7) is a further premise, not a consequence of absolute continuity.

The current bounds above do not apply that flow theorem to ϕp\phi p. Conservative two-flow stability in the revised P3 requires two admitted conservative flows, a common positive tube, and a bound for the probability of leaving it. Its separate signed-source appendix requires a normalized reference, classical local regularity, and finite source and divergence costs. Neither conclusion follows by analogy from (11.9). No variable-coefficient spin-curl current is used here; adding one would require its own derivative regularity and current estimates.

The Gaussian preparation and instrument results of P1 [1] and the finite repeated-record protocol of P2 [2] concern their own effective parents, complete entrance laws and decoders. The present estimates establish neither those entrance premises nor fresh independence, renewed readiness, or repeated unknown-input measurement. Conversely, wave reset or preparation of an actual law does not supply a missing derivative, source graph or flow hypothesis for the present parent. Any composition must verify the same complete configuration and every retained correlation on the same time interval.