The Aharonov-Bohm Effect via Path Integrals
Classically, a charged particle only knows about the electric and magnetic fields: the Lorentz force vanishes identically in any region where , so such a region is dynamically inert. Thread a magnetic flux through a thin, impenetrable solenoid and let an electron travel only through the field-free space outside it, and Newton says nothing should happen. Quantum mechanics disagrees, decisively. Switch the flux on and the electron's interference fringes slide sideways — a real, measured shift — even though the particle never touched a field. This is the Aharonov–Bohm effect, and it is the sharpest evidence we have that the electromagnetic potentials, not just the fields, are the physical objects quantum theory is built on. The path integral makes the effect almost inevitable rather than paradoxical. Feynman's prescription weights every trajectory by , and the action of a charged particle carries the minimal-coupling term — a line integral of a one-form. Because cancels, this term is purely geometric: it depends on the route through the potential, not on the speed or timing. It therefore factors out of each path's amplitude as a phase, and when you compare two routes that pass on opposite sides of the flux, their phase difference is fixed entirely by the flux they bracket, , by Stokes' theorem. The structure is genuinely topological. With the flux line excluded, configuration space is multiply connected, and paths sort into homotopy classes labelled by how many times they wind around the flux. The amplitude is a sum over classes weighted by , so every observable is periodic in with period the flux quantum . You already hold The Feynman Path Integral Formulation and the geometric-phase machinery of Geometric (Berry) Phase; here that loop logic lands its cleanest instance — flux through the loop, no field on the path — and points straight at the Wilson loops of gauge theory.
- A charged particle picks up the phase along a path; in the path integral this is the only place the vector potential enters.
- For two paths bracketing a confined flux the relative phase is — even though everywhere the particle goes.
- The open-path integral is gauge-dependent; only the closed-loop integral (the enclosed flux) is gauge invariant and observable.
- The effect is topological: it depends on the winding number around the excluded flux line, classified by , so observables are periodic in with period .
- The single-electron flux quantum is ; in superconductors the Cooper-pair charge halves it to .
- Doubted for decades, the effect was settled by Tonomura's 1986 electron holography with flux fully sealed inside a superconductor.
- Key idea: in the path integral the vector potential enters only through the gauge-invariant holonomy , an observable, topological phase that survives even where the fields vanish.
In the path integral the vector potential enters only through the gauge-invariant phase factor accumulated around a closed loop; this holonomy is observable through interference even where the fields vanish, and it is periodic in the enclosed flux with period .
Where this lives today
The Aharonov–Bohm phase is now a working tool across mesoscopic physics and quantum technology. In micron-scale metal and semiconductor rings, the electrical conductance oscillates periodically with applied flux at period as electron waves interfere between the two arms — Aharonov–Bohm conductance oscillations are a standard probe of phase coherence in nanostructures, and their -periodic cousins (Al'tshuler–Aronov–Spivak oscillations) diagnose weak localization. The very same single-valuedness that quantizes the AB phase quantizes the flux threading a superconducting ring in units of , and the SQUID magnetometer turns that quantization into the most sensitive magnetic-field detector ever built, resolving small fractions of a flux quantum. Topologically, the effect is the abelian shadow of the Wilson loop; lattice gauge theory computes the non-abelian generalization, and the same holonomy logic drives geometric and topological quantum computing, where information is stored in phases that only global paths can change.
The physical picture
Picture a long solenoid seen end-on, its magnetic field trapped entirely inside. Outside, — but the vector potential does not vanish; it circulates around the solenoid like the velocity field of a bathtub vortex, falling off as but never turning off. Classically that circulation is invisible: no field, no force. Quantum mechanically, the phase of the wavefunction is exquisitely sensitive to it. Send an electron beam past both sides of the solenoid and recombine it, and the two partial waves have run through opposite senses of the circulation. Their interference fringes carry the difference — and that difference is fixed by the flux the two routes enclose between them.
In the path integral this is transparent. Every trajectory carries a phase, and the vector potential adds exactly to it — nothing else. The free dynamics of the two routes is unchanged; only the topological relationship of each route to the flux line differs. Compare the routes and the free parts largely cancel, leaving the difference of the two line integrals, which Stokes' theorem turns into the enclosed flux. The particle's local experience is field-free the whole way; the global winding is what it records. The deepest reading is topological. Excise the impenetrable flux line and the accessible space is multiply connected: a loop encircling the flux cannot be shrunk to a point. Paths fall into homotopy classes labelled by winding number , and the amplitude is a sum over classes weighted by with . Because the label is an integer that no continuous deformation can change, the effect is robust — and because , every observable repeats each time the flux advances by one quantum .
The core equations
The vector potential enters the dynamics through minimal coupling. The Hamiltonian of a charge in a potential replaces the kinetic momentum with , and this single substitution is the entire origin of the effect.
where: — canonical momentum; — charge (an electron has ); — vector potential, ; — scalar potential; — mass. Reading it physically: it is not but that appears in the operator, so the wavefunction responds to directly — the field only enters through its curl, which can vanish where does not. The corresponding classical action carries a velocity-coupling term. Because , that term is a geometric line integral along the trajectory — the key structural fact.
where: — the free-plus-scalar action; — the magnetic line integral, independent of speed and timing. Reading it physically: the magnetic coupling is purely geometric. Reparametrize the path in time however you like and this term is unchanged; only the shape of the route through matters. Feeding this into The Feynman Path Integral Formulation's sum over paths, the vector potential factors out of each amplitude as a pure phase.
where: — amplitude from to ; — the path measure. Reading it physically: the AB phase is not an approximation or a perturbation — it is an exact multiplicative factor on every path. This is why the path integral makes the effect look inevitable: there is simply nowhere else for to hide. Comparing two routes on opposite sides of the flux, the difference of their phases collapses by Stokes' theorem to the enclosed flux. This is the master result.
where: — the two routes; — flux through the surface they bound. Reading it physically: the observable phase difference sees only . Two paths in the same homotopy class differ by a contractible loop enclosing zero flux, so the class-integral is path-independent — the effect is topological, not geometric in the fine sense. Two consequences pin the physics. Gauge freedom shifts the open-path integral but not the loop, and the loop's -periodicity sets the flux quantum.
where: — a single-valued gauge function; ; . Reading it physically: the closed-loop holonomy is the gauge-invariant observable — the abelian Wilson loop — and observables repeat every time advances by .
Our goal is equation (4): to show that in a two-route (double-slit + solenoid) geometry the fringe pattern shifts rigidly by , set by the enclosed flux and nothing else, even though along both routes. The strategy is to attach the factorized AB phase from equation (3) to each route's free amplitude, subtract, and convert the resulting closed-loop line integral into a surface integral of with Stokes' theorem. The subtlety to watch is that this is legitimate only because the accessible region is field-free, which makes the phase constant within each homotopy class.
Step 1. Write the amplitude on each route as its free amplitude times its AB phase: for . Why: equation (3) shows the vector potential multiplies each path's amplitude by exactly this factor; the free physics lives entirely in .
Step 2. Within one route family the line integral is the same for every member. Two paths in class differ by a contractible loop enclosing zero flux, so over that loop. Why: throughout the accessible region, so any loop that does not encircle the flux line encloses no flux; this is what lets us collapse each family to a single phase.
Step 3. Form the detected intensity from the coherent sum: , with . Why: only the relative phase survives in the interference cross-term; is the geometric phase difference already present at zero flux.
Step 4. Close the difference into a loop and apply Stokes: , so and shifts rigidly with ; one quantum restores the original pattern. Why: running backwards joins the two routes into a closed loop encircling the solenoid, whose only enclosed flux is the trapped ; the fringe cosine's argument therefore advances linearly with . Verified: `verify_aq-qm-aharonov-bohm-path-integral.py` confirms is the ordinary two-slit pattern, that is periodic in with period , and that (bright↔dark), matching the Stokes reduction.
Go deeper · Derivation B · 2 minTopological origin: the sum over winding classes and the flux period
Our goal is to expose the AB phase as a one-dimensional unitary representation of the fundamental group of the field-free region, , and to derive the exact flux period from it. The strategy is to split the path integral on the multiply-connected space into homotopy classes labelled by winding number , attach the winding-proportional phase to each class, and then demand that the physics be single-valued in the phase . Watch that the class label is a discrete topological invariant, not a continuous geometric quantity — that is exactly what makes the result robust.
Step 1. Classify paths by homotopy: with the flux line removed, , so every path from to carries an integer winding number counting signed encirclements of the flux. Why: a loop around the excluded line cannot be contracted; the number of times a path winds is a deformation invariant, the generator of the fundamental group.
Step 2. Split the kernel into class sums: with and . Why: a path winding times encircles the flux times, so by equation (4) its AB phase is (up to a common reference); the magnetic phase is constant on each class and pulls out of .
Step 3. Recognize the weights as a representation of : the map is a homomorphism from into the unit circle , i.e. a one-dimensional unitary representation of the fundamental group. Why: consistency of the path integral on a multiply-connected space (Laidlaw–DeWitt / Schulman) requires the class weights to form a unitary -D representation of ; for these are exactly the phases .
Step 4. Impose single-valuedness: since for all integer , physics is -periodic in , hence periodic in flux with period . This is the flux quantum . Why: shifting by leaves every class weight untouched, so no observable can distinguish from ; the period is fixed by the charge alone, giving for electrons and for Cooper pairs. Verified: the verifier confirms is unchanged under for , that the implied period is , and reproduces and numerically.
Limiting cases
| case | result | meaning |
|---|---|---|
| zero flux, | ordinary two-slit pattern; no shift | |
| integer quantum, | , | pattern returns to its zero-flux position (periodicity) |
| half quantum, (electron) | maximal shift: bright fringes move onto former dark fringes | |
| Cooper pairs, | period Wb | superconducting flux quantum, half the single-electron period |
| classical limit, | phase spins infinitely fast; fringes wash out, no observable effect — classical insensitivity restored |
Worked examples
Example 1 — one flux quantum restores the pattern. An electron interferometer encircles a solenoid. By how much flux must you change to slide the fringes back to their starting position, and what is that flux numerically?
Step 1. The pattern returns when advances by , i.e. when increases by one flux quantum .
Step 2. Insert constants: , , so .
Step 3. Evaluate: (equivalently per , or T·m). At exactly this flux and , so the interference pattern is identical to the zero-flux case. One tesla threaded through a core is Wb quanta — the fringes cycle 242 times.
Example 2 — the fringe shift for a real geometry. A electron beam () passes a solenoid; the two arms are separated by and interfere on a screen away, with trapped flux . Find the lateral fringe shift .
Step 1. The zero-flux fringe spacing is . With , , : .
Step 2. The AB phase shifts the pattern by a fraction of a full fringe. Here , so the shift is half a fringe spacing.
Step 3. Therefore . A half-quantum of flux moves the whole fringe pattern sideways by 31 μm — a shift comfortably resolved in an electron microscope, and with on both electron arms the entire displacement is the AB phase.
Origins · 1 minaharonov-bohm effect and how this was discovered
The effect was predicted by Yakir Aharonov and David Bohm in 1959 (Phys. Rev. 115, 485), building on a little-noticed 1949 analysis by Werner Ehrenberg and Raymond Siday. It provoked a decade-long controversy over whether a field-free vector potential could be "real," with sceptics arguing that unavoidable field leakage explained early experiments. The debate was settled by Akira Tonomura and collaborators in 1986 (Phys. Rev. Lett. 56, 792), who sealed a toroidal magnet inside superconducting niobium — the Meissner effect guaranteed zero external field — and measured the predicted phase shift by electron holography. The same holonomy structure, promoted from to non-abelian groups, became the Wilson loop at the centre of modern gauge theory.
Going further
This article grafts the minimal-coupling action onto the sum over paths of The Feynman Path Integral Formulation, where the vector potential factors out as a pure phase, and it realizes the loop logic developed abstractly in Geometric (Berry) Phase — which reads the Aharonov–Bohm effect as a geometric phase (flux through the loop, no field on the path) and gives the spin-½ solid-angle result . Here the loop's holonomy is a topological phase set by the enclosed flux. The abelian holonomy is the Wilson loop; the non-abelian gauge theory that follows promotes it to a path-ordered exponential and makes it the central gauge-invariant observable, while requiring the AB phase around a monopole's Dirac string to be single-valued yields the Dirac charge-quantization condition.
Provenance. Base article QUANT.RQM.AB.1102 (AllQFT "quantum-mechanics" track, Griffiths §10.2 / Sakurai §2.7 / Shankar Ch. 21). Upgraded to v3 canon: the Stokes reduction of the fringe shift, the winding-class decomposition and its period, the gauge-invariance of the loop, and the flux-quantum constants ( Wb, Wb from CODATA) are all recomputed in `verify_aq-qm-aharonov-bohm-path-integral.py`. The base's physics was sound; the upgrade adds the topological derivation, the numeric worked geometry, and the history/scope framing (the effect's decade of controversy, settled by Tonomura 1986).
Prerequisites. The Feynman Path Integral Formulation · Minimal Coupling and Gauge Invariance · Schrödinger Equation in Electromagnetic Fields. Leads to. Geometric (Berry) Phase · Wilson loops and non-abelian gauge theory · Dirac monopole and charge quantization.
If B = 0 everywhere the electron goes, what physically causes the shift?
The vector potential , which does not vanish outside the solenoid even though does. In quantum mechanics the dynamics is governed by through minimal coupling, and the wavefunction accumulates along its path. The two routes bracket the flux, and by Stokes' theorem their phase difference equals . Nothing acts on the electron locally — no force, no field — yet the global topological relationship of its two routes to the trapped flux is physical and measurable. This is precisely why the effect forced physicists to accept the potentials, not just the fields, as carriers of physical content.
Is the Aharonov–Bohm effect action at a distance?
No. There is no signal or force reaching out from the field region. The effect is entirely local in the sense that the electron obeys the local Schrödinger equation with the local everywhere along its path; it is non-local only in that the observable (the loop integral) is a property of a whole closed curve, not of any point. The modern resolution is that (more precisely the connection) is the genuinely local object, and the flux is its holonomy. Calling it action at a distance mistakes a topological, whole-loop quantity for a force propagating through empty space.
Why does the timing or speed of the electron not matter?
Because the magnetic contribution to the action, , is a line integral of a one-form: the cancels between and , leaving a purely geometric integral over the route. Reparametrize the trajectory in time however you like — speed it up, slow it down, pause — and this term is unchanged. This is the same reason the AB phase is topological: it responds to the shape and winding of the path through , not to the kinematics. The free part of the action does depend on timing, but that cancels in the relative phase between the two routes.
How does this relate to Berry's geometric phase?
They are close cousins: both are loop holonomies of a connection, observable through interference. In Geometric (Berry) Phase the connection lives in parameter space and the phase is minus half the solid angle subtended, for spin ½; here the connection is the electromagnetic in real space and the phase is the enclosed flux, . The Berry curvature there plays the role that plays here — a curvature concentrated in a region the system does not enter. The AB effect is arguably the earliest and cleanest instance of a geometric/topological phase, predating Berry's general formulation by two decades.
Why was the effect controversial for so long?
Sceptics argued that no real experiment could perfectly confine the field, so the measured shifts might be ordinary responses to stray leakage rather than a genuine field-free potential effect. The objection was serious: early solenoids and whiskers did leak. The decisive answer came from Tonomura's 1986 experiment, which enclosed a toroidal magnet in superconducting niobium; the Meissner effect expels all field from the superconductor, guaranteeing in the electron's region to extraordinary precision, and the observed phase still matched . This closed the loophole and established the effect as physical beyond dispute.
Does the sum over winding classes double-count anything?
No, because the classes are disjoint by construction: every path belongs to exactly one homotopy class, labelled by its integer winding number around the flux line, and no continuous deformation moves a path between classes. The kernel sums each class once, with the magnetic phase pulled out because it is constant on the class. This is the standard Laidlaw–DeWitt/Schulman construction for path integrals on multiply-connected spaces; the same machinery classifies the statistics of identical particles (bosons vs. fermions in 3D, anyons in 2D), where the relevant group is the braid or permutation group instead of .
What sets the flux quantum, and why is it exactly h/q?
Single-valuedness of the physics under . The class weights with integer are unchanged when advances by , so no observable can distinguish from . The period is therefore , fixed entirely by the charge of the interfering particle: for a single electron, for a Cooper pair. In a superconducting ring the same requirement — that the macroscopic pair wavefunction be single-valued around the ring — quantizes the trapped flux in these units, which is why measuring was direct evidence for pairing.