Appendix B Version 2
Chamber transport, killing, and complete path limits
The geometric chamber model [M24] and its continuous and absorbing extensions [M26, M27] use a different complete source from canonical packet exchange. There is one material tracer, squared-norm chamber volume, deterministic rectified boundary transfer, and intrinsic uniform stirring. The Bell ratio is absent from the elementary stirring generator; it emerges in the natural path limit. Its squared-norm volume, normalized face allocation, absence of extra traffic, and fresh stirring statistics are nevertheless explicit constitutive inputs. This chapter records the common proof once and states precisely which absorbing and adaptive extensions it supports.
B.1 Interaction selection within the finite inventory
Fix a finite coherent space containing source, apparatus, controller, every returning memory, and resource/failure modes. An inaccessible reference remains inside each fibre and every controlled operator acts trivially on it. Let be complete configuration projectors and . The actual state is , with . Zero-volume exceptions are assigned a fixed failure flag.
The contact-selection result is conditional on the following independent material assumptions. At fixed configuration and normalized microscopic coordinate , candidate energy is degree two in amplitudes, continuous in and controls , and generates a metric- and symplectic-preserving field fixing zero. Elementary stirring and native configuration transfers keep instantaneously fixed and conserve the same energy, without an additional coordinate chosen to compensate a ray-dependent energy change. Full-support stirring is admitted. Arbitrarily weak simultaneous probes connect a spanning graph of the full active inventory on nonempty open sets of rays, and energies vary continuously when these probes tend to zero.
Under these assumptions, on each connected applicable inventory,
independently of the actual configuration and microscopic coordinate.
Isoenergetic stirring gives for almost every product-uniform target . Full support and continuity extend equality to the whole chamber, removing microscopic dependence. The finite-cone Killing-field argument of Theorem 12.1, together with degree-two energy normalization, gives . On an active transfer , no-work conservation gives on an open ray set. A Hermitian quadratic form vanishing on an open sphere patch vanishes everywhere by real analyticity; polarization then gives . Connectivity propagates equality, and continuity in simultaneous probe strength gives it at the zero-probe limit as well.
□The simultaneous-contact assumption covers a source-off read: testing only edges active at that exact zero-current instant would not connect the labels. The absence of a compensating coordinate is equally substantive. Adding a real work coordinate with energy and transfer
preserves energy for arbitrary different . Such a recoil changes the declared complete inventory; ordinary energy conservation alone does not exclude it. The preceding proposition is therefore a reduction within a finite material class, not universal physical admission.
B.2 Volumes, portals, and the primitive stochastic law
Let a bounded piecewise regular Hermitian drive . Define
Then . The total chamber volume is one. Initially use density one on the union; alternatively a ready source supported in one volume-one chamber needs only two independent uniform microscopic coordinates, not an initial draw among sectors.
Between stirring and crossings,
On the lower face , allocate an interval of transverse width to destination . Allocate its matching upper incoming interval in width . If their lower endpoints are , set
The map satisfies . Zero-current faces are absent. This normalized flux allocation is a geometric postulate, not a consequence of conservation alone. No extra circulation or independent side jumps are allowed in this model.
The only elementary random generator is state-independent Poisson stirring at rate :
Each target uses fresh product uniforms conditional on the complete past; there is no readable future seed or free stirring archive. The Poisson count on a finite horizon is finite almost surely, with mean and unbounded support. A finite consumable stirring bath has not been constructed.
Density one is preserved. Consequently and . The characteristic construction is nonexplosive on finite horizons with integrable total flux and has no positive-probability node loss for bounded piecewise regular finite Hamiltonians.
Interior drift has zero divergence. Relative upper-boundary speed is , exactly the incoming flux supplied by (B.2); lower-face outflow is . Resetting a mass uniformly in volume preserves density one. Localize initially to positive volumes and bounded event counts. Characteristics, flux-preserving portals and reset averaging bound the substochastic density by one. Expected counts are therefore bounded by the integrated total current, ruling out explosion as the count cutoff is removed.
After arrival at , before the next event,
Arrival times have an absolutely continuous density bounded by . At almost every such arrival the right accumulated incoming flux is positive on a sufficiently short subsequent interval, by Lebesgue differentiation. The trajectory must reach its lower exit before a positive gap can coexist with . Initial and refreshed depths are strictly below the upper boundary almost surely. Thus exceptional collapsing upper-boundary trajectories have zero mass. Removing the volume cutoff loses no probability. The density-one solution is normalized and its directed boundary flux is , proving both formulas.
□These statements do not yet determine conditional waiting times. For example under , starting in sector 0, the first exit has density on . If no stirring occurs for the next , the return time is exactly . This singular line in the two-event law has mass at least , whereas the limiting Bell two-time law has a density. The finite chamber process is therefore genuinely different from the Bell process.
B.3 The global finite-horizon path theorem
The absorbing extension includes the unabsorbed case by setting all killing rates to zero. During one no-capture epoch let
with . Coefficients are deterministic after conditioning on the complete chemical history at the epoch start. The volumes are now unnormalized, , and
The actual chemical hazard at occupied site is , independently of depth. The same portals and stirring act until capture.
The killed density equation is
Thus surviving density one solves the interior equation, while relative upper-boundary speed remains . The gap satisfies ; its positive integrating-factor form gives the preceding node argument. The reaction density is . Classical killing does not determine a coherent daughter; the reaction continuation below is a separate law.
Fix labels and horizon . Set
The limiting comparator has native rates on occupied chambers and chemical rates . Its output contains the complete native path, capture time/channel, and null or terminal failure symbols.
For the total-variation distance between the finite-stirring killed path law and its comparator is at most the following expression, capped at one:
If , the native path is constant and the two chemical laws agree exactly. With the unabsorbed proof sharpens the final exponential denominator from to and removes the term.
First suppress killing while retaining the compressed drift (B.5). This auxiliary skeleton is only a proof device. Its density is at most : compression has rate at most , portals preserve flux, and a uniform reset preserves the bound. For the comparator without killing, occupations obey . Indeed solves its positive forward equation with nonnegative added source . A stopped finite-state comparison followed by removal of cutoffs proves this domination even near nodes. Both skeletons' incoming fluxes are therefore bounded by .
An occupied visit to either starts below , arrives while , or stays in during a downward excursion from to . Initial low-volume mass is at most per label. The incoming visits cost their flux integral. Each completed downward excursion consumes at least of negative variation in the band; occupation at its deterministic start is at most . The union bound gives for each skeleton. Stop both on such visits.
Condition on a common independent Poisson stirring-time partition. Each interval starts at with uniform depth and transverse coordinate in its current chamber. Put . Until its first native exit the exact depth is
The first-exit subdensities into , before the occupied-volume stop, are
For interval length , use
After summing destinations and integrating, the first-exit density difference is at most . Adding the no-exit atom costs no more than this quantity in total variation, since its discrepancy is the integral of the density difference.
After a microscopic arrival its depth is at least , so there cannot be a second microscopic exit within this short interval before the volume stop. The comparator's two-or-more probability is bounded by , using a dominating rate- Poisson clock. Hence the complete interval-kernel discrepancy is at most .
For the Poisson partition, . One proof integrates , the probability that lie in the same interval. A union bound over the initial gap and all Poisson starts bounds a gap longer than by . Sequential conditional coupling, with the two node budgets, yields (B.8) for the auxiliary skeletons.
Finally append the same independent unit exponential and stop each path when reaches . Select using the common probabilities . This common marking/stopping kernel contracts total variation and produces the actual killed laws. For native labels never change and the same construction couples the whole law exactly. When , a fresh depth at least cannot be swept twice if ; the sharper unabsorbed estimate follows by the same proof.
□If , let . Then and imply
The incoming and outgoing flux at a label are bounded by ; insert that bound into (B.7), using . These finite integrals justify cutoff removal. At fixed graph, horizon and reaction bounds, in fixed units gives a coarse path error. Growing resources require the actual right-hand side, including , to vanish in the same limit.
B.4 Conditional capture and finite adaptive epochs
For a product mark that does not reveal the native site, define
The declared coherent reaction is , followed by its specified fibre-preserving outgoing isometry. This assumption fixes more than the scalar hazard. Density-one capture makes the old-site posterior and leaves depth uniform in each site. The map
therefore produces density one in the normalized daughter chambers, when is the declared injective site embedding. If channels merge sites, the outgoing multiplicity must remain in the retained configuration or the construction requires an explicitly specified measure-preserving merge. Zero-rate branches are absent.
This readiness is conditional on the complete chemical history, not necessarily on the earlier native path. To concatenate at most adaptive epochs, require either an explicitly fresh carrier conditional on the complete past or a quiet interval before the next active epoch, with , all killing off, and stirring retained. Conditional on at least one stir in that interval, the final normalized depth and transverse coordinate are independent fresh uniforms given the earlier macroscopic path and its final site. Failure costs .
Suppose the coherent daughter and resource maps are as just specified, the coefficients of each epoch are deterministic conditional on its complete chemical history, all adaptive controls use retained physical records, and the epoch bounds are uniform on the admitted complete histories. Then
The common output includes all native paths, event times, product marks, nulls, failures, exhaustion, copied memories and permitted resource returns represented by the specified subsequent maps.
On matching chemical events, exact event times and prior retained outputs, the normalized source and next bounded programme coincide. Successful quiet refresh supplies identical independent microscopic readiness in the matched occupied site. The interval comparison in Theorem B.3 is uniform conditional on that site. Node costs need not be uniform conditional on the whole prior native path: average them under each model's actual epoch law conditional on chemical history, where density one gives the stated site distribution, and bound the failure events by these marginal probabilities. Sequential maximal couplings of the short-interval kernels, the union bound for the two node events in each epoch, and the refresh-failure union bound prove (B.11). A common subsequent record map contracts the bound.
□An arbitrary event-dependent change of wave generator does not satisfy these hypotheses. Start in sector 0 under and freeze at the first actual native exit . Its one-way density is on . After freezing, certainly, but the wave stays at and
Thus . The reaction continuation and conditional readiness assumptions cannot be omitted merely because the policy is causal.
B.5 Continuous coordinates and the finite split extension
Let be a material work coordinate, with local weights and currents obeying
The density-one microscopic region is , , with dynamics
Interior divergence is , exactly balanced by killing. The moving upper boundary has relative incoming speed . Thus the same portals preserve the correct flux, wherever the stated flow is defined. A global completion is available for the following finite split class; it is not inferred for arbitrary simultaneous singular transport and reactions.
During a no-event translation block, and sector mass is fixed. Set
Use generalized inverses and retain between stirs. The change of cancels the depth scaling, preserving complete volume. If , integrating the continuity equation against monotone cutoffs gives for almost every rank. Vacuum gaps do not require division by zero.
During a gate block take and first omit killing. Then is fixed. Conditional on with , define , and normalized depth . The unabsorbed theorem applies on this fibre. Its error is
where are essential uniform bounds for the normalized fibre rates and weight derivatives, and is (B.7) on that fibre. Bounded local gate matrices make these estimates uniform; zero- fibres have no probability. A chemical fixed- block instead uses Theorem B.3 conditioned on its complete initial fibre law and the corresponding uniform bounds.
Alternating finitely many exact translations with such gates or chemical blocks, and supplying quiet refreshes wherever conditional depth is not fresh, yields the sum of the local bounds and failures. The proof couples matching labels and exact event times at each gate; intervening identical quantile maps append identical continuous work paths. The common path space is
with finite retained record labels incorporated in . Resource parameters and the unknown complete input are fixed for each law; mixing admitted preparations averages their error bounds. A physically recorded derivative of requires another admitted contact and is not supplied by placing the mathematical path in this comparison space.
B.6 Filtration, resources, and target status
The limiting intensities are conditional on the complete input parameters, the natural native/chemical path history, and when that coordinate is included. Omitting unresolved preparation parameters or an unrecorded requires posterior averaging of those rates. In the microscopic filtration revealing and all stirring draws, the next boundary crossing is predictable between stirs. The Bell compensator is a natural-filtration limit, not a formula valid after arbitrary microscopic archive exposure.
On isolated epochs the limit uses the specified Hamiltonian current in physical time. During a non-Hermitian no-capture epoch or a changed acquisition Hamiltonian, the wave and its current differ from the isolated experiment. The theorem does not equate those paths. Common measurable stopping and output maps contract path total variation. Conditioning on an event of probability at least costs at most ; no uniform rare-event claim follows if vanishes.
The technical result derives the complete path law from finite geometric residence and intrinsic stirring; it is stronger than mean-flux matching. Norm volumes, normalized rectified faces, no extra traffic, intrinsic Poisson stirring and fresh conditional microscopic readiness remain premises of this chamber model. Capture continuation and adaptive renewal require their additional assumptions. The contact-selection theorem restricts its specified material inventory; it does not prove that every substance belongs to that inventory. The later finite-gas pilot construction is a different microscopic realization: it neither derives this chamber geometry nor converts the chamber's primitive stirring into a theorem retrospectively. Both must be distinguished from a universal derivation using only the older source principles.