Section 2 4 October 2026
The model and its statistical assumptions
2 The model and its statistical assumptions
Use finitely many massive coordinates , a finite internal space containing source and apparatus, and an inaccessible reference . The complete state is
A quantum clock coordinate is appended in Section 7. Coordinates of otherwise passive source particles can be included in confining ground states. Internal spin is part of ; there is no extra actual spin assignment.
Every source contact, recorder, controller, protection device and reset receiver belongs to the same spinor Schrödinger inventory. Its admitted Hamiltonians are
with self-adjoint semibounded realizations specified below. Every operation is identity on . There is no additional classical device that reads a nonlinear function of a source ray without participating in this wave dynamics.
This inventory statement restricts the admitted material interactions. Adding a contact changes and hence the wave controlling actual motion. A separate nonlinear ray-reading device is not part of the model. Semiboundedness and mathematical admissibility do not by themselves establish that every such matrix-valued potential is realizable by known laboratory matter.
Physical material positions have velocity given by the local real kinetic momentum per unit mass:
The formula is used only where . There are no further random displacements or circulation terms.
This is the standard Bohmian law, with established provenance [1, 2, 4]. Its independent physical content is differentiable material motion governed by wave kinetic momentum. For a scalar wave it says . Separating the real Schrödinger equation gives
Its gradient determines acceleration along the flow. This is a mechanical postulate. Symmetry or continuity alone does not force it, as Section 10 demonstrates.
Conditional on each supplied classical preparation description , the full initial configuration law is
Fresh ready cells and the clock are supplied in specified product waves, independent of the unknown input. There is a finite stock. No subsequent reset is assumed to generate a fresh seed conditional on an arbitrarily exposed microscopic past.
For reference-uniform claims the initial preparation is a fixed linear embedding of an arbitrary normalized into the apparatus, with fixed smooth spatial stock independent of . In particular it may be written , with passive source orbitals included in . The finite input dimension and the fixed prepared spatial factors give a uniform finite bound. All operations act as identity on ; Schmidt decomposition reduces any pure input to reference rank no larger than the finite input dimension. Mixed inputs are covered by purification. No uniform claim for arbitrary unknown spatial wavefunctions with unbounded derivative norms is implied.
This is the only stochastic/ensemble input in the adopted dynamics. Initial and the deterministic flow generate every later probability. It is not derived from source/readout incompleteness, from equilibration, or from a typicality slogan. The equilibrium and conditional-wave literature distinguishes these issues [3]. For example a real stationary wave has , so an initially nonequilibrium distribution is stationary too. Universal dynamical equilibration is false in this class without additional hypotheses.
2.1 Self-adjointness, domains and nodes
The driven library uses scalar confining quadratics, affine coordinate terms with finite Hermitian coefficients, bounded smooth matrix potentials, and finitely many smooth time windows. On each fixed finite programme, all coefficients and their required derivatives are bounded. Completing the square bounds affine forces below. Finite internal gates are bounded. The resulting oscillator operator plus infinitesimally oscillator-bounded affine terms and bounded potentials is self-adjoint on the oscillator domain. Smooth vectors are preserved on finite intervals. One can verify the last assertion by commuting through the equation: scalar quadratics keep total order fixed, affine terms lower derivative order, and bounded smooth terms contribute only lower derivatives. Finite sums of Gaussian packets used below are such vectors.
Suppose the wave is on each programme interval and
For the smooth nonsingular inventory above, the guidance flow exists throughout for -almost every initial position and pushes to . It neither loses mass at a node nor reaches infinity in finite time with positive equilibrium probability.
Direct differentiation using the Hermitian potential gives . On compact subsets of , the locally smooth velocity has a unique flow and the continuity equation gives partial equivariance up to its exit. Under this killed flow, the position distribution is dominated by .
Expected distance travelled before exit is bounded by
Escape to infinity would require infinite distance. To control nodes, along a surviving path differentiate . Its expected total variation is bounded by
Here and . Reaching a node while remaining in a bounded region would send to , which has probability zero by the preceding bound. Initial nodes have zero probability. Exhaust the local domains; there is no remaining loss of mass. Domination by the normalized density then becomes equality. Finitely many switches concatenate without a new random draw. This is the current-integrability argument underlying the general existence theorem of Teufel and Tumulka [9]; no theorem for arbitrary singular potentials is imported.
□The autonomous Hamiltonian below has an additional scalar free kinetic term and smooth bounded functions of the clock multiplying affine pointer operators. The same commutator estimates, now also including clock weights and derivatives, give smooth finite-moment evolution and (5). Its initial clock packet has finite momentum moments at each finite mass. Thus the lemma covers the complete state, not just a reduced pointer.
2.2 The law on complete histories
Let be the almost-sure flow. The complete path measure is explicitly
Continuous path space is standard Borel, so regular conditional laws for a finite or countably generated record history exist. For any past event of positive probability, the conditional future is the normalized restriction of the initial integral to its preimage under the flow. Given the complete initial state the future is deterministic. Given only coarse past records it is usually history dependent. Predictable crossing times need not have a compensator absolutely continuous in . No Bell intensity, Markov hazard or exponential threshold is asserted in this filtration.
Where the pointwise current vanishes for an interval, positions are fixed. Current reversal reverses the corresponding instantaneous velocity, with its accumulated initial-position information retained. Nodes are handled by Lemma 2.4; conditioning on a zero-probability event is not assigned a normalized daughter.