Skip to content
Shadow Theory

Chapter 16 Version 2

Minimal traces, projected histories, and the constitutive boundary

Reading position 23 of 53

16.1 What the Jordan theorem does and does not select

The successive names “no-surplus incidence,” “single-channel exclusion,” “Jordan representation,” and “minimal positive boundary trace” describe closely related conditions in the checkpoint corpus. They are consolidated here into one equivalence theorem, with the statistical objects made explicit [C03, M30]. This prevents the same mathematical condition from being counted repeatedly as an independent derivation.

Theorem 16.1 (Minimal positive mean incidence)

Fix a complete edge and an integrable prescribed signed current J(t)J(t). Let μ(B)=BJ(t)dt\mu(B)=\int_B J(t)dt and let finite nonnegative measures α,β\alpha,\beta satisfy αβ=μ\alpha-\beta=\mu. There is a unique finite nonnegative measure ρ\rho such that

α=μ++ρ,β=μ+ρ,α+β=μ+2ρ, \alpha=\mu^++\rho,\qquad \beta=\mu^-+\rho, \qquad \alpha+\beta=|\mu|+2\rho, (16.1)

where μ+(dt)=[J(t)]+dt\mu^+(dt)=[J(t)]_+dt and μ(dt)=[J(t)]+dt\mu^-(dt)=[-J(t)]_+dt. The following conditions are equivalent:

  1. α+β\alpha+\beta is the least possible total incidence measure;

  2. its total mass is the least possible among representations of μ\mu;

  3. α\alpha and β\beta are mutually singular;

  4. α=μ+\alpha=\mu^+ and β=μ\beta=\mu^-.

If α(dt)=Fnm(t)dt\alpha(dt)=F_{nm}(t)dt and β(dt)=Fmn(t)dt\beta(dt)=F_{mn}(t)dt, these are also equivalent to FnmFmn=0F_{nm}F_{mn}=0 almost everywhere and to Fnm+Fmn=JnmF_{nm}+F_{mn}=|J_{nm}| almost everywhere.

Proof

Let A+A_+ and AA_- be a Hahn decomposition for μ\mu. For every measurable BB,

μ+(B)=μ(BA+)=α(BA+)β(BA+)α(B). \mu^+(B)=\mu(B\cap A_+) =\alpha(B\cap A_+)-\beta(B\cap A_+)\leq\alpha(B).

Thus ρ=αμ+\rho=\alpha-\mu^+ is nonnegative. The identity αβ=μ+μ\alpha-\beta=\mu^+-\mu^- gives also ρ=βμ\rho=\beta-\mu^-, proving (16.1) and uniqueness. Its least sum in measure order is μ|\mu|, and its least total mass is μ([0,T])|\mu|([0,T]); either is attained exactly when ρ=0\rho=0. If α\alpha and β\beta are mutually singular, their common submeasure ρ\rho must vanish. Conversely the Jordan parts are mutually singular. In the absolutely continuous case, ρ(dt)=K(t)dt\rho(dt)=K(t)dt with K0K\geq0, and the final equivalences follow by checking the two signs of JJ.

The theorem supplies a unique minimal representation of a signed mean measure. It does not say that an actual source must choose this representation. In particular, opposite pathwise counts are already supported at distinct times in an ordinary jump process with no simultaneous events, even when K>0K>0. Their pathwise mutual singularity is therefore not the mean-measure minimality appearing in the theorem.

Corollary 16.2 (The exact scope of the MPBT rate statement)

Suppose a source has initial occupancy w(0)w(0), realizes each expected pair current, satisfies any equivalent minimal-incidence condition in Theorem 16.1, and is admitted to be a time-inhomogeneous Markov process with rates depending on the deterministic wave programme and the present sector. Then its rates on occupied sectors are [Jnm]+/wm[J_{nm}]_+/w_m. Conversely, the nonexplosive Bell law in Lemma 15.2 has those minimal mean incidence measures.

Proof

Pair matching and initial equality imply π=w\pi=w. Markovity gives Fnm=wmknmF_{nm}=w_m k_{nm}, while the theorem gives Fnm=[Jnm]+F_{nm}=[J_{nm}]_+. Division is valid for wm>0w_m>0. The converse follows by taking expectations of the Bell compensator with marginal ww.

Without Markov admission, the same minimal mean measures give only

E[1{Xt=m}λnm(tFt)]=[Jnm(t)]+, \mathbb E\left[1_{\{X_{t-}=m\}} \lambda_{nm}(t\mid\mathcal F_{t-})\right]=[J_{nm}(t)]_+,

and Proposition 14.5 disproves uniqueness of timing. Without initial equality, the means generated by an assigned Bell rate are πm[Jnm]+/wm\pi_m[J_{nm}]_+/w_m, generally not [Jnm]+[J_{nm}]_+. These premises cannot be removed by calling a probability-weighted flux a mass flux.

One equivalent cost formulation has an immediate additional meaning. For a real sector observable ff, define its quadratic jump variation by [f(X)]T=tT(f(Xt)f(Xt))2[f(X)]_T=\sum_{t\leq T}(f(X_t)-f(X_{t-}))^2. Under pair matching,

E([f(X)]T)=0T{n,m}(Jnm+2Knm)(fnfm)2dt. \mathbb E\bigl([f(X)]_T\bigr) =\int_0^T\sum_{\{n,m\}} (|J_{nm}|+2K_{nm})(f_n-f_m)^2\,dt. (16.2)

The compensator proves the identity. Requiring this quantity to be minimal for every ff is equivalent to K=0K=0 almost everywhere: choose sector indicator functions to detect any positive surplus on an incident edge. This gives an independently interpretable fluctuation cost, but its universal minimization remains mathematically equivalent to the same minimal-incidence assumption. It is not a weaker theorem forcing it.

16.2 What isolation and a one-use reaction resource can select

The older incidence manuscript contains two narrower physical selection arguments worth preserving separately from the statistical variational law [M02]. They operate on an explicitly specified reaction class.

Proposition 16.3 (Isolation and stochastic modularity)

Suppose a Markov candidate assigns rates knmk_{nm} to primitive binary bonds. Assume that each such bond can physically be isolated while holding its instantaneous wave and Hamiltonian block fixed; that disabling other bonds leaves the two rates on the retained bond unchanged; that an absent bond has no transition; and that in each isolated experiment the coherent-weighted candidate flux fnm=wmknmf_{nm}=w_mk_{nm} obeys the coherent continuity equation. Then fnmfmn=Jnmf_{nm}-f_{mn}=J_{nm} on every positive-weight bond in the full experiment.

Proof

In the isolated experiment the destination continuity equation has exactly one intersector term, namely fnmfmnf_{nm}-f_{mn}. Its Schrödinger value is JnmJ_{nm} for the unchanged wave and block. Stochastic modularity transfers this equality to the original experiment.

The conclusion eliminates divergence-free current reassignment, but fnm=[Jnm]++Knmf_{nm}=[J_{nm}]_++K_{nm} with Knm=Kmn0K_{nm}=K_{mn}\geq0 still survives. The assumed compatibility of a coherent-weighted candidate flux is not automatically an empirical statement about πmknm\pi_mk_{nm}; calibrated initialization and equivariance establish their equality. Likewise, Hamiltonian locality alone does not imply stochastic modularity or the physical ability to isolate every joint-configuration bond of an entangled preparation.

Proposition 16.4 (Restricted exact selector with a spent resource)

In addition to Proposition 16.3, suppose the complete actual reaction list on a monotone contact consists only of

(r,live,a)(i,spenti,ai), (r,\mathrm{live},a)\longrightarrow(i,\mathrm{spent}_i,a\star i),

where aia\star i retains an immutable certificate, no inverse reaction restores the live resource, and Jir0J_{ir}\geq0 throughout the allowed window. Then every positive-weight forward rate is kir=Jir/wrk_{ir}=J_{ir}/w_r and every reverse rate is zero. From calibrated initial weights these are the actual minimal Bell rates on that window.

Proof

The full reaction list makes fri=0f_{ri}=0. Proposition 16.3 gives firfri=Jirf_{ir}-f_{ri}=J_{ir}, so wrkir=Jirw_rk_{ir}=J_{ir}. From initial ww, the resulting forward equation preserves ww; existence on the stated finite wave domain follows from Lemma 15.2 restricted to its nonzero currents. Thus coherent-weighted and actual mean fluxes agree.

A nonempty example has one live state rr, spent states ii, normalized coefficients ici2=1\sum_i|c_i|^2=1, and

H=igi(ciirciri),Ψ0=r. H=i\hbar g\sum_i(c_i|i\rangle\langle r| -\overline c_i|r\rangle\langle i|), \qquad \Psi_0=|r\rangle.

For 0tπ/(2g)0\leq t\leq\pi/(2g), wr=cos2(gt)w_r=\cos^2(gt), wi=ci2sin2(gt)w_i=|c_i|^2\sin^2(gt), and Jir=2gci2sin(gt)cos(gt)J_{ir}=2g|c_i|^2\sin(gt)\cos(gt). The selected forward rates are 2gci2tan(gt)2g|c_i|^2\tan(gt). In a finite window s<π/(2g)s<\pi/(2g), the null probability is cos2(gs)\cos^2(gs) and the probability of spent record ii is ci2sin2(gs)|c_i|^2\sin^2(gs). This exact selector has a concrete irreversible reaction-resource premise. Continuing the same Hamiltonian past current reversal contradicts its inverse-free reaction list and pair matching; the restricted theorem does not extend unchanged.

Nor does directed certificate growth replace bond ownership. On a diamond rufr\to u\to f and rvfr\to v\to f, take positive candidate flows jj on all four edges. Add kk along the uu route and subtract kk along the vv route, with 0<k<j0<k<j. Vertex divergences are unchanged and every edge remains forward, but the next-route ratio at rr becomes (j+k):(jk)(j+k):(j-k). At k=j/2k=j/2 it is 3:13:1 instead of 1:11:1. Isolation and stochastic modularity are the assumptions that disallow this independent reassignment; acyclic histories and spent certificates alone do not.

16.3 Projection can create visible countertraffic

A declared fine process and a grouped readout must not be assigned independent minimal laws without checking compatibility. Let a partition B1,,BrB_1,\ldots,B_r group the fine sectors and let Yt=aY_t=a when XtBaX_t\in B_a. Set

Wa=iBawi,Jbac=iBa,jBbJji. W_a=\sum_{i\in B_a}w_i,\qquad J^{\rm c}_{ba}=\sum_{i\in B_a,j\in B_b}J_{ji}. (16.3)

The actual projected flow is a sum of directed fine flows, not the positive part of their signed sum.

Theorem 16.5 (Sign alignment and strong lumpability)

For a fine Bell process with marginal ww, the mean directed flow of its projected readout is

Fbaproj=[Jbac]++Cab,Cab=iBa,jBbJjiJbac20. F^{\rm proj}_{ba}=[J^{\rm c}_{ba}]_++C_{ab},\qquad C_{ab}=\frac{\sum_{i\in B_a,j\in B_b}|J_{ji}| -|J^{\rm c}_{ba}|}{2}\geq0. (16.4)

The excess vanishes precisely when all nonzero currents across that block pair have the same orientation. On intervals with positive fine weights, the generator-level condition

jBb[Jji]+wi=κba(t)independently of iBa \sum_{j\in B_b}\frac{[J_{ji}]_+}{w_i}=\kappa_{ba}(t) \quad\text{independently of }i\in B_a (16.5)

is sufficient for the projected process to be Markov in its own history. It is necessary if the same projected transition kernel is required for every fine starting state in a block at every starting time. Under this condition,

κba=[Jbac]++CabWa. \kappa_{ba}=\frac{[J^{\rm c}_{ba}]_++C_{ab}}{W_a}. (16.6)

Thus a common projected Bell law requires both this closure and sign alignment. These are not necessary conditions for all endpoint quantum measurement statistics.

Proof

Put A=cross[Jji]+A=\sum_{\rm cross}[J_{ji}]_+ and B=cross[Jji]+B=\sum_{\rm cross}[-J_{ji}]_+. Then AB=JbacA-B=J^{\rm c}_{ba} and A+B=crossJjiA+B=\sum_{\rm cross}|J_{ji}|. Since A=[AB]++min(A,B)A=[A-B]_++\min(A,B), (16.4) follows, with Cab=min(A,B)C_{ab}=\min(A,B). It is zero precisely when positive and negative cross-block currents do not both occur.

Conditional on the entire projected past, the current fine state has some posterior supported in its present block. Under (16.5), averaging the fine exit intensity into another block gives κba\kappa_{ba} for every such posterior. The projected counting compensators are therefore those of the deterministic Markov generator κ\kappa; uniqueness of its first-jump construction gives the Markov law. Necessity at the claimed generator-level scope follows by starting in two fine states i,ii,i' in one block and comparing the first-order probability of entering BbB_b during [t,t+dt][t,t+dt]. Equality of the common projected kernel requires equality of their block-rate sums. This is strong lumpability, not a necessary condition for a single exceptional initial mixture to exhibit Markov projection [F06]. Multiplying (16.5) by wiw_i and summing over BaB_a gives Waκba=FbaprojW_a\kappa_{ba}=F^{\rm proj}_{ba}, proving (16.6).

The projection theorem is stated locally on positive-weight intervals to avoid assigning rates to unoccupied fine states. When its identities hold on all such intervals of the piecewise-constant domain, the node-safe law of Lemma 15.2 supplies the joins. No freely chosen post-node source distribution is introduced.

Example 16.6 (Minimal microscopic motion with zero coarse current)

On four cyclic sectors use H=ia(SS)H=i\hbar a(S-S^\dagger) and the uniform wave (1,1,1,1)/2(1,1,1,1)/2. Every fine clockwise current is a/2a/2, so every clockwise rate is 2a2a. Group even sites into one block and odd sites into the other. The opposite fine routes cancel in JcJ^{\rm c}, giving Jc=0J^{\rm c}=0, while F10proj=F01proj=aF^{\rm proj}_{10}=F^{\rm proj}_{01}=a. Each fine state has a single exit of rate 2a2a into the other block, so the projection is strongly lumpable and its parity flips at rate 2a2a. Therefore

P(YtY0)=1e4at2. P(Y_t\ne Y_0)=\frac{1-e^{-4at}}2.

A process constructed anew from the coarse Bell formula with zero current would never change parity. Both have constant coarse weights 1/21/2, but they are different histories of the same readout. Microscopic minimality therefore does not mean minimality after every grouping.

Example 16.7 (A sufficient hidden-factor realization)

Let H=HCHE\mathcal H=\mathcal H_C\otimes\mathcal H_E with rank-one product sectors (c,η)(c,\eta), product wave ψξ\psi\otimes\xi, and Hamiltonian HCI+IHEH_C\otimes I+I\otimes H_E. The factorization is preserved. A fine edge changing cc while keeping η\eta fixed has

J(c,η),(c,η)=ξη2JccC,wcη=ψc2ξη2. J_{(c',\eta),(c,\eta)}=|\xi_\eta|^2J^C_{c'c},\qquad w_{c\eta}=|\psi_c|^2|\xi_\eta|^2.

Its Bell rate, on occupied sectors, is [JccC]+/ψc2[J^C_{c'c}]_+/|\psi_c|^2, independent of η\eta. Crossedges with both labels changing are absent. Thus the cc readout has aligned fluxes and is strongly lumpable; its projected law is the coarse Bell law. The conclusion relies on this factorization and interaction structure. A correlated returning factor with new couplings need not satisfy either identity.

This is the precise meaning of transfer to a coarse aperture in the checkpoint argument [C03]. Erasing route labels does not erase their crossing counts. An integrated current is an expected signed count, not an outcome probability unless the protocol also guarantees the relevant single-event and survival conditions.

16.4 Finite directional response: a completed counterconstruction

The checkpoint proposed a finite-response sign gate as a possible physical implementation of directional exclusion. Its correct partial result can be stated as a theorem, while retaining the distinction between a flux ansatz and an actual rate law.

Proposition 16.8 (Directional exclusion with lag is not current matching)

Let d(t)[1,1]d(t)\in[-1,1] and define proposed directional fluxes on a two-sector cut by

qf=J[d]+,qr=J[d]+. q_f=|J|[d]_+,\qquad q_r=|J|[-d]_+. (16.7)

They have no simultaneous opposite traffic, but their signed flux is Jd|J|d. They realize the prescribed current exactly if and only if d=sgnJd=\operatorname{sgn}J wherever J0J\ne0. For t0t\geq0, take

J(t)=J0tanh(t/TJ),τd˙=1d,d(0)=1,J0,TJ,τ>0. J(t)=-J_0\tanh(t/T_J),\qquad \tau\dot d=-1-d,\qquad d(0)=1, \qquad J_0,T_J,\tau>0.

On any finite interval on which the probabilities below stay strictly between zero and one, the completion that prescribes actual fluxes qf,qrq_f,q_r has an explicit Markov realization with occupation p1p_1 and

w1(t)=wJ0TJlogcosh(t/TJ),p1(t)w1(t)=2J00tes/τtanh(s/TJ)ds,0<p1(t)w1(t)2J0τ2/TJ(t>0).\begin{align}w_1(t)&=w_*-J_0T_J\log\cosh(t/T_J),\tag{16.8}\\ p_1(t)-w_1(t) &=2J_0\int_0^t e^{-s/\tau}\tanh(s/T_J)\,ds, \tag{16.9}\\ 0<p_1(t)-w_1(t)&\leq2J_0\tau^2/T_J\qquad(t>0). \tag{16.10}\end{align}

The target current is negative after zero, while the gate selects the old positive direction until t=τlog2t=\tau\log2. This is a finite preparation and timing counterexample to equating directional exclusion with Bell selection.

Proof

Equation (16.7) gives qfqr=0q_fq_r=0, qfqr=Jdq_f-q_r=|J|d, and qf+qr=Jdq_f+q_r=|J||d|. The gate solution is d=1+2et/τd=-1+2e^{-t/\tau}. Integrating w˙1=J\dot w_1=J gives (16.8). Define p1(t)=w+0tJ(s)d(s)dsp_1(t)=w_*+\int_0^t|J(s)|d(s)ds. Subtraction gives (16.9). Positivity of the integrand proves strictness, and tanh(s/TJ)s/TJ\tanh(s/T_J)\leq s/T_J with 0ses/τds=τ2\int_0^\infty s e^{-s/\tau}ds=\tau^2 proves (16.10).

For example, choose the horizon so that

J0TJlogcosh(T/TJ)<w,w+2J0τ2/TJ<1. J_0T_J\log\cosh(T/T_J)<w_*,\qquad w_*+2J_0\tau^2/T_J<1.

Then both w1w_1 and p1p_1 remain inside (0,1)(0,1). Set

k10(t)=qf(t)1p1(t),k01(t)=qr(t)p1(t). k_{10}(t)=\frac{q_f(t)}{1-p_1(t)},\qquad k_{01}(t)=\frac{q_r(t)}{p_1(t)}. (16.11)

These are bounded on the finite closed interval, and pp solves their master equation with the chosen initial distribution. Uniqueness of the finite-state forward equation proves that pp is the actual occupation, and hence that the assigned qq are its actual directed fluxes. The underlying target wave current is nonempty as well: take Ψt=(1w1(t),w1(t))\Psi_t=(\sqrt{1-w_1(t)},\sqrt{w_1(t)}) and

H(t)=iΩ(t)(1001),Ω(t)=J(t)2w1(t)(1w1(t)). H(t)=i\hbar\Omega(t)(|1\rangle\langle0|-|0\rangle\langle1|), \qquad \Omega(t)=\frac{J(t)}{2\sqrt{w_1(t)(1-w_1(t))}}.

Direct differentiation gives Schrödinger evolution and current JJ. This smooth finite programme is used only for the gate counterexample; it is not an extension of the piecewise-constant selection theorem.

The rates in (16.11) depend on the prepared ensemble law through pp. The proposition is an executable time-dependent statistical completion for the given preparation, not a derived preparation-independent local material actuator. If instead one divides the same qq by the wave weights, the actual occupation ν\nu obeys

ν˙1=ν0w0qfν1w1qr, \dot\nu_1=\frac{\nu_0}{w_0}q_f-\frac{\nu_1}{w_1}q_r, (16.12)

and (16.9) no longer follows. A correct mean-flux estimate cannot be transferred across those different completions. Nor does a gate bound on total traffic alone control signed current: the gate can permit almost the right amount of traffic in the wrong direction.

The scope of the useful estimate is nevertheless explicit. In the prescribed-actual-flux completion, its expected total count is 0TJddt0TJdt\int_0^T|J||d|dt\leq\int_0^T|J|dt, and P(NT1)min(1,ENT)P(N_T\geq1)\leq\min(1,\mathbb E N_T). Its occupation discrepancy is quadratic in response time for this smooth reversal. These are completed finite calculations. They neither prove the original Bell law at finite response time nor establish a passive apparatus measuring that native traffic without changing the experiment.

16.5 One chain, two possible constitutive choices

The variational selection chain can now be given precisely. For a fixed finite complete source and control domain:

  1. Supply linear coherent evolution, one actual sector, the declared fundamental resolution, and every future-active memory.

  2. Impose expected pairwise Hamiltonian-current realization. Supply initial ww, or impose its control-stable coherent-evacuation domain so that Theorem 14.6 forces it.

  3. Impose the relative-entropy reaction principle with its neutral Markov reference and zero-background prescription. Theorem 15.4 then selects the conditional Bell path law in physical time, including nodes and null intervals.

  4. Admit explicit coherent apparatus contacts in that same complete source. Apply their joint law and physical record maps, retaining returning factors. Corollary 15.6 transfers the path estimate to those complete experiments; it does not supply universal admission of all possible contacts.

A second internally specified route replaces the entropy premise by an explicit Markov premise and minimal positive mean incidence. It yields the same Bell kernel by Corollary 16.2, but it does not explain timing within a history-dependent class. These are two constitutive presentations, not successive deductions from increasingly weak old assumptions.

The earlier kinetic construction supplies a different conditional route: Hamiltonian current production, conservative packet export, scalar pair chemistry, and a residence/path limit [M01]. Its comparison proof retains the intrinsic chemistry and full participation hypotheses. Chapter 6 provides their new finite-gas realization and a finite-recombination comparison. The earlier direct incidence model already allocated normalized escape responses [M02]; it cannot be credited with deriving that allocation a second time. The variational law above can instead replace the kinetic reaction premise as a statistical constitution, but it does not derive that chemistry from the canonical action. A full-state record interface requires its own common physical inventory; equality of mean currents alone never establishes that embedding.

The predictive-current quotient developed in the foundations chapter identifies the source distinctions needed to determine every future w,Jw,J under the admitted coherent controls. Once a conditional generator has been selected, that quotient together with XX determines its kernel. The direction of this implication matters: the quotient organizes the required source information; it does not manufacture the probability law.

IngredientConsolidated consequenceInput retained
Hamiltonian continuityAntisymmetric currents and weight evolutionWave, Hamiltonian, resolution
Expected pair-current matchingπw\pi-w constant; conditional calibrationStatistical event-current identification
Minimal mean incidencePositive-current numeratorPhysical no-surplus premise; no timing selection alone
Path entropy minimizationFinite-background rate and Markov timingNeutral reference and extremal statistical law
Zero-background limitBell paths with (15.13)Limit prescription, fixed finite domain
Physical record projectionCommon-output error and coarse-law testAdmitted joint contacts; sign alignment/closure where claimed

The event-law block is mathematically selected within an explicit statistical constitution. Its entropy principle and expected edge-current constraint are not consequences of the older information-completion premises. Chapter 6 addresses the same Bell target by an independently specified microscopic model, and Chapter 7 supplies ordinary physical records under that model's additional coupling rule. This is constitutive internal completion with controlled effective errors, not a derivation of the entropy principle or a universal necessity theorem for Bell dynamics.