r0_fm
plain-language theorem explainer
The nuclear radius parameter r₀ is fixed at 1.2 fm to evaluate the Cornell potential in the bridge from QCD string tension to nuclear binding energies. Researchers modeling semi-empirical mass formulas cite this value when inserting the strong force parameters into the potential at nuclear scales. The definition consists of a direct numerical assignment with no additional computation or lemmas.
Claim. The nuclear radius parameter is given by $r_0 = 1.2$ fm.
background
In the QCD-to-Nuclear Bridge module, this constant connects the strong coupling α_strong = 2/17 and string tension σ = φ^{-5} to the semi-empirical mass formula coefficients. The parameter r₀ appears in the Cornell potential V(r) = -α_s/r + σ r evaluated at the nuclear radius. Upstream results establish α_strong as the RS-derived strong coupling and confirm algebraic properties via the is theorems in foundational modules.
proof idea
This is a direct constant definition assigning the value 1.2 with no lemmas applied or tactics invoked.
why it matters
The definition supplies the evaluation point for the theorem cornell_at_r0_formula, which confirms the correct sign structure of the Cornell potential. It advances the Recognition Science bridge from the phi-ladder and eight-tick octave to nuclear physics, supporting the derivation of SEMF coefficients from α_s and string tension. The module verifies all results with zero sorry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.