Skip to content
Shadow Theory

Section 2 4 October 2026

The model and its statistical assumptions

Reading position 3 of 15

2 The model and its statistical assumptions

Use finitely many massive coordinates q∈Rnq\in\mathbb R^n, a finite internal space HI\cH_I containing source and apparatus, and an inaccessible reference RR. The complete state is

(Ψ,Q),Ψ∈L2(Rn;HI⊗HR),∥Ψ∥=1,Q∈Rn. (\Psi,Q),\qquad \Psi\in L^2(\mathbb R^n;\cH_I\otimes\cH_R),\quad \norm{\Psi}=1,\quad Q\in\mathbb R^n. (1)

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 Ψ\Psi; there is no extra actual spin assignment.

Constitutive assumption 2.1 (Universal material inventory)

Every source contact, recorder, controller, protection device and reset receiver belongs to the same spinor Schrödinger inventory. Its admitted Hamiltonians are

H(t)=−∑k=1nℏ22mk∂k2+V(q,t),V=V†, H(t)=-\sum_{k=1}^n\frac{\hbar^2}{2m_k}\partial_k^2+V(q,t), \qquad V=V^\dagger, (2)

with self-adjoint semibounded realizations specified below. Every operation is identity on RR. 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 VV 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.

Constitutive assumption 2.2 (Kinetic-momentum motion)

Physical material positions have velocity given by the local real kinetic momentum per unit mass:

Q˙k(t)=vkΨ(Q(t),t),vkΨ=jkρ,ρ=Ψ†Ψ,jk=ℏmkIm⁡Ψ†∂kΨ. \dot Q_k(t)=v_k^\Psi(Q(t),t),\quad v_k^\Psi=\frac{j_k}{\rho},\quad \rho=\Psi^\dagger\Psi,\quad j_k=\frac{\hbar}{m_k}\operatorname{Im}\Psi^\dagger\partial_k\Psi. (3)

The formula is used only where ρ>0\rho>0. 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 Ψ=ReiS/ℏ\Psi=Re^{iS/\hbar} it says mkvk=∂kSm_kv_k=\partial_kS. Separating the real Schrödinger equation gives

∂tS+∑k(∂kS)22mk+V−∑kℏ22mk∂k2RR=0. \partial_tS+\sum_k\frac{(\partial_kS)^2}{2m_k}+V -\sum_k\frac{\hbar^2}{2m_k}\frac{\partial_k^2R}{R}=0.

Its gradient determines acceleration along the flow. This is a mechanical postulate. Symmetry or continuity alone does not force it, as Section 10 demonstrates.

Constitutive assumption 2.3 (Initial complete equilibrium)

Conditional on each supplied classical preparation description cc, the full initial configuration law is

P(dQ0∣c)=∥Ψ0c(Q0)∥I,R2 dQ0. \Prb(dQ_0\mid c)=\norm{\Psi_0^c(Q_0)}_{I,R}^2\,dQ_0. (4)

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 ψSR\psi_{SR} into the apparatus, with fixed smooth spatial stock independent of ψSR\psi_{SR}. In particular it may be written χ0(x)Φready(q)ψSR\chi_0(x)\Phi_{\rm ready}(q)\psi_{SR}, with passive source orbitals included in Φready\Phi_{\rm ready}. The finite input dimension and the fixed prepared spatial factors give a uniform finite W3W_3 bound. All operations act as identity on RR; 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 QQ 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 v=0v=0, 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 qα∂βq^\alpha\partial^\beta 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.

Lemma 2.4 (Conservative motion through the nodal problem)

Suppose the wave is C2C^2 on each programme interval and

∫0T(∥∂tΨt∥2+∑k∥∂kΨt∥22)dt<∞. \int_0^T\left(\norm{\partial_t\Psi_t}_2+ \sum_k\norm{\partial_k\Psi_t}_2^2\right)dt<\infty. (5)

For the smooth nonsingular inventory above, the guidance flow exists throughout [0,T][0,T] for ρ0\rho_0-almost every initial position and pushes ρ0\rho_0 to ρt\rho_t. It neither loses mass at a node nor reaches infinity in finite time with positive equilibrium probability.

Proof

Direct differentiation using the Hermitian potential gives ∂tρ+∑k∂kjk=0\partial_t\rho+\sum_k\partial_kj_k=0. On compact subsets of ρ>0\rho>0, 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 ρt\rho_t.

Expected distance travelled before exit is bounded by

∫0T ⁣∫∣j∣ dq dt≤C∫0T∑k∥∂kΨt∥2dt<∞. \int_0^T\!\int |j|\,dq\,dt \le C\int_0^T\sum_k\norm{\partial_k\Psi_t}_2dt<\infty.

Escape to infinity would require infinite distance. To control nodes, along a surviving path differentiate log⁡ρ\log\rho. Its expected total variation is bounded by

∫0T ⁣∫(∣∂tρ∣+∣j∣ ∣∇ρ∣ρ)dq dt≤∫0T(2∥∂tΨt∥2+C∥∇Ψt∥22)dt<∞.\begin{aligned}\int_0^T\!\int\left(|\partial_t\rho| +\frac{|j|\,|\nabla\rho|}{\rho}\right)dq\,dt &\le\int_0^T\left(2\norm{\partial_t\Psi_t}_2 +C\norm{\nabla\Psi_t}_2^2\right)dt<\infty. \end{aligned}

Here ∣∇ρ∣≤2∣Ψ∣∣∇Ψ∣|\nabla\rho|\le2|\Psi||\nabla\Psi| and ∣j∣≤C∣Ψ∣∣∇Ψ∣|j|\le C|\Psi||\nabla\Psi|. Reaching a node while remaining in a bounded region would send log⁡ρ\log\rho to −∞-\infty, 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 Φt,0Ψ\Phi_{t,0}^\Psi be the almost-sure flow. The complete path measure is explicitly

P(A)=∫1{(Φt,0Ψ(q))0≤t≤T∈A}ρ0(q) dq. \Prb(A)=\int 1_{\{(\Phi_{t,0}^\Psi(q))_{0\le t\le T}\in A\}} \rho_0(q)\,dq . (6)

Continuous path space is standard Borel, so regular conditional laws for a finite or countably generated record history exist. For any past event BB 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 dtdt. 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.