Registry · Proposition IV.P96 tau-effective formalized

IV.P96 — Linear Confinement Potential

The defect functional D_C for a quark-antiquark pair with eta-separation delta satisfies D_C(delta) = D_C(0) + sigma_tau * delta + O(delta^2), where the tau-string tension sigma_tau = kappa(C;3) * g[omega]^2 establishes linear confinement.

Book IV Part 5 Ch. 39

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.LinearConfinementPotential