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

Back to manuscript

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

Nearby in this section