Registry · Proposition IV.P158 tau-effective formalized

IV.P158 — Schr"odinger shadow

In the large-n limit, the projected evolution Phi_p o Phi_{n,n+1} o Phi_p^{-1} converges to unitary evolution exp(-i H Delta t / hbar) with Hamiltonian determined by sector content at p and hbar = hbar_tau = Lift_QM(iota_tau). The Schrodinger equation is a shadow of the discrete propagation operator.

Book IV Part 1 Ch. 7

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.SchrodingerShadow