Let ξ=(ξ0,…,ξd−1) be all standardized physical entrance coordinates and let Γd(ξ)=∏iϕ(ξi). Conditional on the same retained X=x, write the actual density as
The score is assigned arbitrarily on zero-density sets. In particular ∑iJi concerns the full conditional density, including every archive and unused future source. The comparison Gaussian fixes the analysis coordinates and describes the quantum stock; it does not specify the actual law px.
Lemma 5.1 (Moments and boundary traces from weak scores)
Under (5.1), the actual second moment Mi=Eξi2 is finite and the ordinary physical Fisher information satisfies
Iiabs=Ji+2−Mi≥0,Mi≤Ji+2.(5.2)
Restrict the complete actual density to the physical box ∣ξi∣≤Ri and extend by zero in the quantile coordinates ui=Φ(ξi). Its directional variations obey
Vi≤DRi{Ji+Ji+2},DR=2πeR2/2.(5.3)
For a common radius R, total score J=∑iJi, one writer and n active archives,
Sn≤DRn+4{J+J+2d}.(5.4)
Proof
First prove finiteness rather than assuming the integration by parts is legitimate. Choose even compact smooth cutoffs 0≤χR≤1, nonincreasing in ∣ξi∣, increasing to one, with uniformly bounded ξiχR′. Set MR=E(ξi2χR). Integration by parts against the compact test ξiχR gives
MR=E(χR+ξiχR′)+E(ξiχRsi)≤1+MRJi.
Spectator cutoffs can be exhausted: the active test is bounded and its score term is integrable by Cauchy. Solving the quadratic gives MR≤[(Ji+Ji+4)/2]2; monotone convergence proves Mi<∞. Now ξisi is integrable. Removing the cutoff, its bounded derivative term tends to zero by dominated convergence, giving Eξisi=Mi−1. The ordinary score is si−ξi, so
Iiabs=E(si−ξi)2=Ji+2−Mi.
This proves (5.2) without presupposing the moment.
For almost every x, the one-coordinate marginal pi,x has weak derivative equal to the integrated joint derivative. Conditional expectation and Cauchy imply ∥pi,x′∥1≤Ii,xabs. An integrable nonnegative W1,1(R) density tends to zero at both infinities, so 2suppi,x≤∥pi,x′∥1. On the box interior, differentiating in ui introduces 1/ϕ(ξi)≤DRi; score Cauchy bounds the integrated interior variation by DRiJi. At each of the two quantile faces the zero extension contributes the trace of the density. Integrating all other coordinates bounds their sum by
BV traces or a limiting regular face justify the same assertion for weak densities. This proves (5.3). Finally apply weighted Cauchy to the coefficients (2,1,…,1) in Sn. Their squared sum is n+4; including unused coordinates in J and d only enlarges the upper bound. This proves (5.4).
□
Higher moments, when assumed, give a useful separate tail estimate:
τ≤i∑RipE∣ξi∣p.(5.5)
The second-moment part of this estimate follows from the weak-score hypothesis. A twentieth moment does not follow from that argument and will be explicitly required for the next row.
Corollary 5.2 (A finite cap-free preparation row)
Include one writer, 100 warmup archives, and one untouched subsequent measurement source, so d=102. Suppose the actual complete conditional law satisfies
i∑Ji≤100,i∑E∣ξi∣20≤1015.
Use D=A=50, the complete entrance box ∣ξi∣≤10, and analysis grid N=1040. Then the preparation and all later current-zero holds satisfy
The ideal boxed writer fee is bounded by 2.6331×1023/(42100)<5.192874123844×10−8. The actual complete-box tail is at most 1015/1020=10−5. Substitution in Theorem 4.2 gives the stated rational decimal ceilings; the copy ceiling includes the additional 4×10−31 bad-set term.
For reproducible directed inequalities one may use 2π<2.51 and bound e50 by its positive Taylor sum through degree 200 plus the next term divided by 1−50/202. For the lower exponential bounds used in the tails, e>∑j=051/j!=163/60 suffices, together with Φ(−x)≤e−x2/2/(2x) for x>0. All row decisions consequently reduce to rational inequalities.
□
An explicit non-Born member of this class consists of 102 independent actual centered Gaussians of variance 5/2 in the standardized physical coordinates. Its full relative Fisher is
J=102(1−2/5)2(5/2)=91.8,
and its twentieth-moment sum is
102(19!!)(5/2)10=6.368862690925598…×1014<1015.
Its ground-relative density is unbounded. Its quantile Fisher is infinite: for one coordinate the integrand contains x2p(x)/ϕ(x)2, whose exponential factor grows at infinity. Independence is used only to exhibit this member; neither the theorem nor its constants impose it.
Theorem 5.3 (Uniform writer-score family and all retained records)
Let a consistent stock family provide, for every finite n, the full conditional density of the writer, n warmup sources, one unused future source, and retained X. Suppose its weak relative scores satisfy
Jw(n)≤J∗<∞for every n,Ji(n)<∞for every other coordinate of each prefix.
Then for every 0<ε<1 there are finite n, finite physical cutoffs and finite separations D,A for which complete retained-archive freshness is at most 3ε/4 and the probability of any wrong warmup copy-and-hold record is less than 0.42ε.
Proof
Choose Rw2≥8(J∗+2)/ε. The writer tail is at most ε/8 and
Vw≤V∗:=DRw(J∗+J∗+2),
independently of n. Choose finite n≥1 so that V∗/(42n)≤ε/4. For this chosen full prefix, choose each of the n+1 source cutoffs to satisfy Ri2≥8(n+1)(Ji(n)+2)/ε. Their aggregate tail is at most ε/8; hence τ≤ε/4. All boxed source variations are finite by Lemma 5.1. Set S=Sn and H=n+S/2 and choose
N≥max{1,8nS/ε},β≤512n2H2ε2,δ≤2048n2NH2ε2.(5.10)
The two terms in En are at most ε/(16n) each, so En≤ε/(8n). Thus freshness is at most ε/4+ε/4+ε/(4n)≤3ε/4, and the all-record bound is at most
ε(41+512n1+81)≤ε(83+894)=712299ε<0.42ε.
Here 512>89/4. The factor n in (5.10) prices all own-event records; a schedule controlling freshness alone does not automatically do so.
It remains to realize these positive β,δ thresholds with finite Gaussian parameters. Fix c=3 and choose η sufficiently small for the source-end part of β. Choose finite k with Φ(−k)<η/2. Increase D until e−2Dc is below both the desired displacement allocation and η/2, and until Φ(−(D−c)) and Φ(−(D+c)) meet their respective allocations. Increase A>k until e−2A(A−k) and Φ(−(2A−k)) meet the remaining allocations. Lemma 3.3 proves the required map and copy bounds. All choices are finite after this finite prefix has been selected. The translations and conjugated holding swaps described above implement the corresponding smooth prescribed parent.
□
The order of these choices matters. A common second-moment box whose total moment grows like b(n+1) would require R2≥b(n+1)/τ. Its writer variation enclosure contains eb(n+1)/(2τ), which can grow faster than 2n. The theorem fixes the writer cutoff before increasing the source count, assigning costly source variations to the later grid and separation choices.
Proposition 5.4 (Why finite-prefix smoothness is insufficient)
There is a consistent actual stock family for which every finite physical prefix has a smooth positive density, finite relative Fisher and bounded coordinate second moments, but the complete ideal baker output satisfies, for every n≥1,
TV(Law(Rn,Zn),U⊗Law(Zn))>125505189>0.4.
Proof
Take independent standard normals Y,G1,G2,… and set Zjin=Y+2−6jGj; use writer u=Φ(Y) and sources vj=Φ(Zjin). Every finite covariance is nonsingular. For a prefix containing the writer and m sources, differentiation at fixed source coordinates gives
A bank with n warmup archives and an untouched receiver has m=n+1. Thus this family fails the uniform full conditional writer hypothesis, although its writer marginal is exactly standard normal. The final archive bn reveals vn=2bn−⌊2bn⌋, hence Znin. Define the archive prediction r={2nΦ(Znin)}. Circle distance obeys
distT(r,r)≤2−5n∣Gn∣/2π.
Since 2π>2.5, the event ∣Gn∣≤0.8 implies this distance is at most 0.01 for all n≥1. Under an independent uniform remainder, the same archive-dependent circle interval has probability 0.02. Meanwhile
Pr(∣Gn∣≤0.8)>2.511.6(1−0.32).
Subtracting 0.02 gives 5189/12550. The strict inequality follows from e−0.32>1−0.32 and 2π<2.51.
Fix n and any complete entrance law with conditional L1 densities fx. As D,A→∞,
TV((Tn)#μ,(Bn)#μ)⟶0.
No cap or Fisher condition is needed for this fixed-law assertion.
Proof
For fixed u<1/2 and v∈(0,1), FD−1(u)=−D+Φ−1(2u)+o(1) and its minority posterior tends to zero. The copy position is −A+Φ−1(v)+o(1), and the return and archive outputs tend to (2u,v/2). Reflection gives the other branch. Consequently B−1TD,A→I almost everywhere. Finite iteration excludes only the finite family of dyadic cuts and their preimages. The corresponding full difference maps preserve Lebesgue measure. For bounded continuous h on the closed cube, dominated convergence gives ∥h∘K−h∥1→0. Approximate an arbitrary f∈L1 by such h and use
∥f∘K−f∥1≤2∥f−h∥1+∥h∘K−h∥1.
This proves TV convergence on each X fibre. Dominated convergence in the actual X law completes the argument.
□
A qualitative growing-family sufficient condition is stronger: require that U conditional on the entire consistent source tape and X has an L1 density. Dyadic cell averaging converges in L1 on each such fibre. Its error is precisely the ideal complete-remainder freshness error before projecting to a finite retained tape. Dominated convergence allows a finite n to be selected for each tolerance; Proposition 5.5 then selects finite separations for that fixed prefix. Proposition 5.4 explains why absolute continuity of every finite prefix is weaker than this premise.
Proposition 5.6 (A finite-resource obstruction without a density cap)
For n=44 and D=A=12, there is a smooth actual complete law with physical relative Fisher exactly 100 whose final marginal ready distance from uniform exceeds 0.94.
Proof
Take actual writer Q0∼N(10,1) and independent standard-normal actual archives. The entrance ratio is e10Q0−50, with physical relative score 10 in the writer direction and zero in every archive direction. Its relative density is unbounded. The Gaussian upper-tail inequality implies Φ(−8.1)<0.005/244 and Pr(Q0>8.1)>0.96. On this event every ideal digit is right and every ideal remainder is greater than 0.995. For each actual archive, exclude its initial quantiles outside [10−12,1−10−12]; the aggregate exclusion probability is at most 88×10−12. With c=3,k=8, Lemma 3.3 gives, on the right good branch, a ready-coordinate error per cycle at most 10−48+10−41. Induction bounds the accumulated error by (244−1)(10−48+10−41)<10−20. Every actual remainder therefore stays in the right good branch and the final one exceeds 0.99. Thus
Pr(R44>0.99)>0.96−88×10−12,
whereas uniform assigns 0.01 to this event. The difference exceeds 0.94. Complete archive-conditioned distance is at least this marginal distance by projection. This is a finite-resource counterexample, not a failure of an upper estimate.
□
For comparison, the cap-based physical-score row does survive with C=10, J≤100, R=6, n=44, D=A=12 and N=1019. The direct cap trace bound is Vi≤DRJi+2C, and the complete-box tail is 2CdΦ(−R). With d=46, including the untouched future source, D6<1.65×108 and Φ(−6)<10−9 give S44<1.2×1010 and Vw<1.65000002×109. Using δ<2×10−30, β≤2×10−12+10−18 in (4.8) gives E44cap≤1.864000022×10−8 and freshness <2.440519056475×10−5. Alternatively, the complete quantile-score row n=18,C=10,Jq≤104 with N=1015 gives E18cap≤1.8097009×10−10 and freshness ≤9.5367793580805×10−5. These are different admitted-law classes; the cap-free row of Corollary 5.2 changes both the class and the resources.