m_b_PDG_unc_GeV
plain-language theorem explainer
The declaration defines the PDG 2024 uncertainty on the bottom quark MS-bar mass as 0.03 GeV. Researchers validating Recognition Science mass predictions for the bottom quark against experimental data cite this value when checking if the RS rung-21 prediction falls inside the quoted band. The definition is a straightforward numerical constant with no computational steps.
Claim. The PDG 2024 uncertainty on the bottom quark MS-bar mass is $0.03$ GeV.
background
The Bottom Quark MS-bar Mass Scorecard module records PDG 2024 data stating $m_b(m_b) = 4.18$ GeV in the MS-bar scheme with the uncertainty supplied here. Recognition Science assigns the bottom quark to rung 21 on the phi-ladder as a down-type fermion in generation 3. The module imports constants together with two-loop QCD RGE and mass anomalous dimension tools to evolve masses for direct comparison with the experimental band.
proof idea
The declaration is a direct definition that assigns the constant value 0.03 to the real number representing the PDG uncertainty.
why it matters
It supplies the experimental uncertainty for the bottom quark mass scorecard, enabling checks that the RS-predicted mass lies within the PDG band. This supports validation of the phi-ladder mass formula at rung 21. The definition completes the input data for the scorecard with no further dependencies.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.