stringTension
plain-language theorem explainer
String tension supplies the numerical coefficient 0.18 GeV² for the linear term in the Cornell potential modeling quark confinement. Nuclear physicists and QCD modelers reference this value when computing hadron masses or flux tube energies. The definition is a direct assignment without further computation or proof steps.
Claim. $σ = 0.18$ GeV², the constant force coefficient in the long-distance quark potential $V(r) = -α_s/r + σ r$.
background
In the QFT.Confinement module confinement arises from J-cost distance scaling where the effective potential between color charges takes the form J(r) ≈ -α/r + σ r. The short-distance Coulomb term reflects asymptotic freedom while the linear term enforces confinement. This module imports constants and cost functions from upstream modules to ground the model in Recognition Science.
proof idea
The declaration is a direct numerical definition assigning the value 0.18 drawn from lattice QCD measurements. No lemmas are applied; it serves as a constant input for downstream constructions such as the Cornell potential.
why it matters
This definition anchors the confinement scale in the Recognition Science framework by supplying the coefficient for the linear growth term in the J-cost potential. It feeds directly into the Cornell potential definition and related bounds in the QCDToNuclearBridge module, enabling derivations of r_min and alpha_over_sigma comparisons. The value aligns with the empirical string tension that emerges from the eight-tick octave and phi-ladder structure in the broader theory.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.