Registry · Proposition IV.P173 tau-effective formalized

IV.P173 — AB interference shift

An electron beam split into paths gamma_1, gamma_2 encircling magnetic flux Phi_B acquires relative phase Delta phi = (e/hbar) Phi_B by Stokes' theorem; this Aharonov-Bohm interference shift is observable even where B = 0, confirming that holonomy has direct physical consequences.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.AbInterferenceShift