Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · proposition · 39b16f67
Proposition: Euler mass schedule and frozen-step channel comparison
Stage 3: energy, erasure cost, and a conditional mass law › Stability, adiabaticity, and finite-step errors · lines 1524–1565 · proof included or linked
Hawk04-D@1#prop:discrete
Let , with and Lipschitz constant on a common positive-mass domain. For step size , let . If the exact solution, numerical iterates, and connecting intervals remain in that domain, then
One may take and on .
Separately, suppose a finite proxy Hamiltonian obeys
Replacing the actual mass path over one step by its initial value changes the complete unitary channel by at most in half-diamond distance. Multiple compatible step allowances add by telescoping.
Proof. The exact solution's local Euler residual is at most
Thus the global error obeys . Sum the geometric series and use .
Duhamel's formula bounds the propagator difference by
Apply the isometry-to-channel estimate and CPTP contraction at each matched interface.
Displayed formulas in this passage
unlabeled · line 1532
unlabeled · line 1539
unlabeled · line 1550
unlabeled · line 1559