Chapter 16 Version 2
Minimal traces, projected histories, and the constitutive boundary
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.
Fix a complete edge and an integrable prescribed signed current . Let and let finite nonnegative measures satisfy . There is a unique finite nonnegative measure such that
where and . The following conditions are equivalent:
is the least possible total incidence measure;
its total mass is the least possible among representations of ;
and are mutually singular;
and .
If and , these are also equivalent to almost everywhere and to almost everywhere.
Let and be a Hahn decomposition for . For every measurable ,
Thus is nonnegative. The identity gives also , proving (16.1) and uniqueness. Its least sum in measure order is , and its least total mass is ; either is attained exactly when . If and are mutually singular, their common submeasure must vanish. Conversely the Jordan parts are mutually singular. In the absolutely continuous case, with , and the final equivalences follow by checking the two signs of .
□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 . Their pathwise mutual singularity is therefore not the mean-measure minimality appearing in the theorem.
Suppose a source has initial occupancy , 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 . Conversely, the nonexplosive Bell law in Lemma 15.2 has those minimal mean incidence measures.
Pair matching and initial equality imply . Markovity gives , while the theorem gives . Division is valid for . The converse follows by taking expectations of the Bell compensator with marginal .
□Without Markov admission, the same minimal mean measures give only
and Proposition 14.5 disproves uniqueness of timing. Without initial equality, the means generated by an assigned Bell rate are , generally not . 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 , define its quadratic jump variation by . Under pair matching,
The compensator proves the identity. Requiring this quantity to be minimal for every is equivalent to 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.
Suppose a Markov candidate assigns rates 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 obeys the coherent continuity equation. Then on every positive-weight bond in the full experiment.
In the isolated experiment the destination continuity equation has exactly one intersector term, namely . Its Schrödinger value is for the unchanged wave and block. Stochastic modularity transfers this equality to the original experiment.
□The conclusion eliminates divergence-free current reassignment, but with still survives. The assumed compatibility of a coherent-weighted candidate flux is not automatically an empirical statement about ; 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.
In addition to Proposition 16.3, suppose the complete actual reaction list on a monotone contact consists only of
where retains an immutable certificate, no inverse reaction restores the live resource, and throughout the allowed window. Then every positive-weight forward rate is and every reverse rate is zero. From calibrated initial weights these are the actual minimal Bell rates on that window.
The full reaction list makes . Proposition 16.3 gives , so . From initial , the resulting forward equation preserves ; 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 , spent states , normalized coefficients , and
For , , , and . The selected forward rates are . In a finite window , the null probability is and the probability of spent record is . 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 and , take positive candidate flows on all four edges. Add along the route and subtract along the route, with . Vertex divergences are unchanged and every edge remains forward, but the next-route ratio at becomes . At it is instead of . 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 group the fine sectors and let when . Set
The actual projected flow is a sum of directed fine flows, not the positive part of their signed sum.
For a fine Bell process with marginal , the mean directed flow of its projected readout is
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
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,
Thus a common projected Bell law requires both this closure and sign alignment. These are not necessary conditions for all endpoint quantum measurement statistics.
Put and . Then and . Since , (16.4) follows, with . 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 for every such posterior. The projected counting compensators are therefore those of the deterministic Markov generator ; uniqueness of its first-jump construction gives the Markov law. Necessity at the claimed generator-level scope follows by starting in two fine states in one block and comparing the first-order probability of entering during . 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 and summing over gives , 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.
On four cyclic sectors use and the uniform wave . Every fine clockwise current is , so every clockwise rate is . Group even sites into one block and odd sites into the other. The opposite fine routes cancel in , giving , while . Each fine state has a single exit of rate into the other block, so the projection is strongly lumpable and its parity flips at rate . Therefore
A process constructed anew from the coarse Bell formula with zero current would never change parity. Both have constant coarse weights , but they are different histories of the same readout. Microscopic minimality therefore does not mean minimality after every grouping.
Let with rank-one product sectors , product wave , and Hamiltonian . The factorization is preserved. A fine edge changing while keeping fixed has
Its Bell rate, on occupied sectors, is , independent of . Crossedges with both labels changing are absent. Thus the 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.
Let and define proposed directional fluxes on a two-sector cut by
They have no simultaneous opposite traffic, but their signed flux is . They realize the prescribed current exactly if and only if wherever . For , take
On any finite interval on which the probabilities below stay strictly between zero and one, the completion that prescribes actual fluxes has an explicit Markov realization with occupation and
The target current is negative after zero, while the gate selects the old positive direction until . This is a finite preparation and timing counterexample to equating directional exclusion with Bell selection.
Equation (16.7) gives , , and . The gate solution is . Integrating gives (16.8). Define . Subtraction gives (16.9). Positivity of the integrand proves strictness, and with proves (16.10).
For example, choose the horizon so that
Then both and remain inside . Set
These are bounded on the finite closed interval, and solves their master equation with the chosen initial distribution. Uniqueness of the finite-state forward equation proves that is the actual occupation, and hence that the assigned are its actual directed fluxes. The underlying target wave current is nonempty as well: take and
Direct differentiation gives Schrödinger evolution and current . 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 . 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 by the wave weights, the actual occupation obeys
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 , and . 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:
Supply linear coherent evolution, one actual sector, the declared fundamental resolution, and every future-active memory.
Impose expected pairwise Hamiltonian-current realization. Supply initial , or impose its control-stable coherent-evacuation domain so that Theorem 14.6 forces it.
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.
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 under the admitted coherent controls. Once a conditional generator has been selected, that quotient together with determines its kernel. The direction of this implication matters: the quotient organizes the required source information; it does not manufacture the probability law.
| Ingredient | Consolidated consequence | Input retained |
|---|---|---|
| Hamiltonian continuity | Antisymmetric currents and weight evolution | Wave, Hamiltonian, resolution |
| Expected pair-current matching | constant; conditional calibration | Statistical event-current identification |
| Minimal mean incidence | Positive-current numerator | Physical no-surplus premise; no timing selection alone |
| Path entropy minimization | Finite-background rate and Markov timing | Neutral reference and extremal statistical law |
| Zero-background limit | Bell paths with (15.13) | Limit prescription, fixed finite domain |
| Physical record projection | Common-output error and coarse-law test | Admitted 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.