Chapter 31 Version 2
Noncommuting tests and rival actual motions
An endpoint Born weight is too weak a test of the complete construction. The following experiment keeps pending excitation, loss products, copied records, a reset receiver and an inaccessible reference through a second, noncommuting operation. The rival processes then show exactly what the constitutive motion law selects beyond one-time equilibrium and reliable macroscopic records.
31.1 A full finite measurement and continuation example
Use as projectors and set
The receptor weights are exactly
Take one unknown source with an inaccessible two-dimensional reference:
The reduced source coherence is . Neither independent copies nor reference control are used.
31.1.1 Null followed by an incompatible measurement
The ideal orthogonal-record null map is , with trace ; its retained coherent null is the vector (29.4). A later probe in this ideal comparator gives
To verify, write and apply (29.5) term by term, or expand (29.4) and trace only the named factor. The trace of the displayed matrix is ; its normalized reference state is the matrix with entries divided by . For the unnormalized reference state is
Their sum is , an explicit reference consistency check. A frozen original input would instead give ; a fully -dephased daughter would give . Both fail this finite experiment.
31.1.2 Captured copy, reset, spatial feedback and a second record
Copy the captured label, retain its spatial archive, reset by (29.9), keeping , and use
Apply an write to a fresh pointer. The ideal branch coefficients, with all resource factors attached, are
Their probabilities are
| Retained first record | Second | Second |
|---|---|---|
They sum to capture probability . Reference daughters are and , respectively. Literal spatial feedback uses the smooth contact, with , and the bound (29.11). The copied archive remains held while the working pointer can recoil. Thus the exact table is the ideal target with explicit finite classifier, feedback and clock errors, not an assertion that finite Gaussian records are orthogonal.
31.1.3 A complete reversal remains a different experiment
In the driven bank, if every response, source gate, copy and spatial write is coherently undone with all receiving systems, that full bank wave returns to its input, up to a known common phase. Resetting only while a copy or survives does not achieve that return. A later incompatible probe distinguishes the two retained states. No global projection has been inserted at a declaration. In the finite autonomous realization the controller also remains in the complete state: its recoil and entanglement are bounded by the clock comparison, not claimed to be exactly undone by these apparatus inverse pulses.
An inverse need not negate a massive kinetic energy. For the piecewise constant half-period alternative to (28.8), a trap centred at sends a ground packet centred at zero to one centred at in time . Each conditional oscillator has common equally spaced spectrum, so evolution for is . Evolving for a complementary positive duration realizes the inverse, up to a common phase. Finite internal gate inverses reverse a bounded matrix term. Smooth forced displacements can likewise be undone on the specified coherent packets by a reversed centre trajectory and known phase correction. A claim of inversion on an arbitrary oscillator state would require its full propagator rather than this restricted packet identity.
31.1.4 Independent verification
Exact symbolic calculations checked the full vector, resource unitarity, all four status weights, both null reference matrices, the four feedback probabilities, the complete SWAP export and the noncommuting transported-trap identity. All 32 exact checks passed. These finite calculations are checks of the displayed proofs, not substitutes for them.
For the exact quintic writer with , , , , and , direct quadrature and inverse-CDF calculations give
| Quantity | Value |
|---|---|
| Initial right-tail atom | |
| Later threshold crossing | |
| Final no-crossing null | |
| Sum |
The symbolic Schrödinger residual is exactly zero. An independent finite-difference evaluation had relative residual below ; the quantile ODE residual was below and the first-passage quadrature discrepancy below . Figure 28.1 uses these parameters. No simulation evidence is used to assert a universal event-law selection.
31.2 Rival actual motions and the selection obligations
The strongest candidate must survive a rival that preserves more than endpoint Born weights. We give such a rival and state precisely what it defeats.
31.2.1 Same local net current, mutually singular paths
For a smooth positive density of the same complete wave, define an equivariant diffusion by
Its Brownian innovations are an explicit additional stochastic premise. The Fokker–Planck current is , so it matches even the local current, not just its divergence. We only assert its global existence where checked below; this is an equivariant diffusion rival, not a claim that every axiom of Nelson's stochastic mechanics has been derived.
For a stationary harmonic ground-state pointer centred at zero, the adopted theory has . The rival is the globally well-posed Ornstein–Uhlenbeck process
It has the identical invariant Gaussian density but moves at positive times. More strongly, on any its path law and the adopted guidance path law have TV distance one: Brownian diffusion paths have quadratic variation , whereas the absolutely continuous guidance paths have zero. These are disjoint measurable path events. The comparison does not require an experimentally admitted passive quadratic-variation meter.
Use the same semibounded Hamiltonian
and the equal superposition of its two spin-labelled ground packets. Its stationary density is
The adopted configuration is fixed. The diffusion (31.4) has smooth globally Lipschitz drift
and invariant law . For , the probability it changes the sign record during is no greater than
Set and . On , : the sign is that of , a concave function vanishing at zero and positive at for . Thus on both sides of the central interval. Stop at the first hit of zero. The Itô–Tanaka formula gives only nonpositive interior drift and a nonpositive local-time contribution at zero; its positive contributions are . Since and stationarity gives ,
Finally . Sign change requires a hit of zero, so the same bound applies. Existence and invariance follow directly from the displayed Lipschitz drift and the stationary Fokker–Planck equation.
□Thus arbitrarily reliable finite-horizon records can coexist with mutually singular microscopic paths. The velocity postulate selects the adopted law within the new theory; record success does not independently force that postulate. Deterministic divergence-free changes provide further rivals: in an isotropic real two-dimensional Gaussian, preserves the same density while changing a sign record with probability for . This particular rotor is a counterexample to inference from continuity, not a proposed fully symmetry-constrained replacement. More general quantum-equivalent deterministic alternatives are established in primary work [DG98].
31.2.2 A finite discrete rival with a sharp complete-path discriminator
On the book's finite graph, let
It preserves individual net currents, support and equilibrium and remains Markov. On a binary monotone write with , the rates per are forward and backward. The wave weights are , its final state is 1, and expected total jump count is ; integrability of this count and vanishing nodal holding survival give a nonexplosive path law.
A path with exactly one jump at has density
The Bell law has exactly one jump, uniform in . Since , the common mass of the two path measures is precisely the integral of this rival one-jump density. Therefore
This is a concrete surviving balanced-traffic countermodel with exact Born endpoints. It is not an independently selected new event mechanism. It confirms why endpoint agreement, even with correct individual net currents, would be insufficient to claim Bell closure.
31.2.3 Obligation-by-obligation verdict in the adopted continuum
Individual current realization. The kinetic-momentum postulate specifies the pointwise material current . Equivariance and the flow derive expected net flux through each physical interface. There is no freely reassigned cycle current within that postulate. This does not identify those interfaces with arbitrary finite internal Hamiltonian matrix edges in (1.4).
Surplus traffic. At a regular point of an interface the velocity has one sign and actual crossings realize its local direction. If an entire interface is integrated or microscopic coordinates are omitted, opposite directions on different patches give
In general . Coarse countertraffic and recrossing can survive. Neither their absence nor graph Bell minimality is falsely claimed. No extra Brownian traffic is allowed by the stated mechanical law.
Conditional timing. Equations (28.3) and (28.6) give the whole path and every conditional history, including current reversals and nulls. The explicit physical-time first-passage example has a derived nonexponential law. Other waiting laws are different constitutions, not unresolved free choices inside this one. Coarse histories generally fail Markov closure and are not assigned Bell rates by projection.
The alternative therefore closes the operational programme with a selected physical motion law and its material contacts. It gives up the original finite-sector microscopic claim rather than pretending to derive it.
31.3 Dependencies and the surviving distinction
The shared source/readout representation and finite coherent gate algebra remain useful across constitutions. They become predictions only after a complete motion law and an admitted initial ensemble are specified. Within this part the dependency chain is
The exact driven storage theorem and the autonomous surface-current estimate replace an unsupported inference from final equilibrium to archive truth. The copy-cut transfer term is needed whenever an old declaration is moved to a receiver before its original pointer is reset.
| Ingredient | Status in the massive constitution |
|---|---|
| Wave-current identities and coherent finite gates | Retained, with every source, material register and reference in the specified wave. Internal edge currents are not actual spin-jump currents. |
| Continuous configuration records | The guidance, quantile and endpoint logic of Chapter 25 is retained; positive kinetic energy, confining storage and a retained autonomous controller supply this part's stronger material realization. |
| Preparation | Complete initial equilibrium and a finite independent ready stock are supplied. A conditional subsystem preparation does not imply universal equilibrium or freshness after an exposed microscopic history. |
| Protection | The retained-bank gap estimate applies to bounded internal perturbations and commuting spatial spectators; arbitrary unbounded disturbances remain outside its hypotheses. |
| Copies, nulls, loss and reset | All coherent branches, original correlations and receiving systems are retained. A local ready appearance is not global erasure. |
| Final outputs and actual history | Complete retained-state trace bounds and held/transfer surface budgets are different estimates. Neither is promoted to arbitrary raw-path TV. |
| Finite Bell or pilot constitution | A different actual ontology and event mechanism. Shared gate matrices do not make its microscopic path the path derived in this part. |
Bohmian motion, equilibrium-conditioned measurement and the general existence mechanism have established provenance. The construction here uses them in a common finite semibounded resource model, with the exact forced writer, transported-trap reset and the controller graph-norm-to-archive-current estimate proved above. It establishes internal closure under the stated physical axioms and controlled finite-horizon implementation of ideal instruments. It does not establish the universal necessity of those axioms, preparation from arbitrary initial data, a relativistic completion, unlimited memory, or a perfect autonomous clock for all time.
The diffusion rival demonstrates that even very reliable macroscopic archives do not single out this microscopic motion among all equivariant alternatives. It does not introduce an unspecified freedom inside the adopted motion law: once the initial configuration is fixed, every event and continuation in this constitution is fixed. This is the distinction between a demonstrated constitutive completion and a derivation of that constitution from the older interface alone.