Appendix C 4 October 2026
An alternative characterization from binary-flag heredity
C An alternative characterization from binary-flag heredity
This argument is independent of the local-control theorem. It uses a stronger compositional statistical assumption in place of the functional and control-family assumptions.
For each admitted scalar configuration dimension , suppose a projective assignment gives a normalized density, positive and on , and zero almost everywhere on . The state classes contain positive Schwartz reference amplitudes, their smooth compactly supported amplitude and phase modifications, and all flag superpositions used below. Fix two nonzero smooth packets in an auxiliary dimension , with disjoint support regions .
For every
assume both conditional laws use the same standalone assignments:
These are ordinary conditional probabilities for the assigned joint density. Define its unknown flag odds
and assume is continuous. Faithfulness makes it finite and positive. No quadratic distribution for the flag is assumed.
The preceding assumptions imply
on nonzero amplitudes, with a fixed positive weight and a real exponent common to dimensions using the same auxiliary law. The integrand is taken as zero at nodes. Only choices with finite normalizers on the admitted class qualify.
If these assignments also obey the scalar guidance continuity equation on the admitted Schrödinger histories, including arbitrary compact phase variations of a positive amplitude, with the differentiability used in that equation, then , each is constant, and the assignment is Born equilibrium.
Let be the two flag probabilities in the joint law. Equation (C.1) gives the two subdensities and for . Equation (C.2) gives their odds at . Consequently, on the common nonzero region,
The conditional identities hold initially almost everywhere; positivity and continuity extend (C.4) throughout that region.
Put , fix a positive reference , and choose smooth nowhere-zero equal to one outside a compact set. Apply (C.4) to the pairs among . Multiplication of density ratios, evaluated outside the compact set, fixes their constant factors. Inside, it then gives . At a chosen point may take any prescribed values in , using exponentials of compactly supported smooth logarithms. Thus is a continuous positive character of .
Its restriction to the phase circle is trivial: its logarithm would be a continuous homomorphism from a compact group to . On positive real numbers, the continuous additive equation for gives . Apply (C.4) to any admitted and a positive reference . This yields (C.3) with . The reference is independent of ; normalization fixes the proportionality constant. Faithful support extends the formula by zero on nodes. The same odds function fixes the same exponent for every system using this flag.
For the dynamical step write , , and . The quantum and assigned continuity equations give
At the initial instant choose with positive amplitude and compact smooth phase . Outside the phase support and vanish, while . Hence the spatially constant right side of (C.5) is zero. If needed its derivative can be defined from the differentiable transported density at such an exterior point.
At an arbitrary point choose and prescribe the mass-weighted trace of its Hessian. This makes arbitrary and gives . Next prescribe arbitrarily. Equation (C.5) gives . Connectedness and normalization complete the proof.
□The dynamical step uses one ordinary scalar Hamiltonian on a domain rich in initial phase variations; it does not require control-universal equivariance. Heredity alone permits the weighted powers in (C.3) and is insufficient to select the square. Conversely, Born equilibrium obeys the stipulated conditionals by direct integration. The principle says that the conditional wavefunction is statistically sufficient under the two indicated subsystem descriptions. That is an additional premise, stronger than the existence of conditional probabilities. This is a precise version of the heredity proposal in [6, Section 8], related to the equilibrium conditional-wavefunction formula in [3].