Registry · Remark IV.R317 tau-effective not_applicable

IV.R317 — Comparison with the Fourier uncertainty principle

Phase Transport Monotonicity is the tau^3-analogue of the classical Fourier uncertainty principle but with hbar_tau instead of 1/(4pi), because the relevant geometry is the compact CR-coupled fiber T^2 rather than R; the Fourier uncertainty principle is the decompactification limit when torus radii go to infinity.

Book IV Part 3 Ch. 20

Lean Formalization

Module: