Physics Strong Force

The strong coupling constant

The strong force is one of the four fundamental forces of nature, responsible for binding quarks inside protons and neutrons. Its strength is not a single fixed number but depends on the energy scale at which it is measured. At the mass of the Z boson, roughly 91 GeV, the standard reference point, the strong coupling constant α_s has a measured value of 0.1179 with an uncertainty of 0.0009, as reported by the Particle Data Group in 2022.

The strong force is described by quantum chromodynamics (QCD), a quantum field theory where the force is mediated by particles called gluons. Unlike the electromagnetic force, which weakens with distance, the strong force behaves unusually: it is weak at short distances and strong at large ones. This property, called asymptotic freedom, was discovered in 1973 by David Gross, Frank Wilczek, and H. David Politzer, who shared the 2004 Nobel Prize in Physics for the work.

In Recognition Science, the framework models the strong force as coupling to the planar symmetries of its central object, the ledger, a discrete record of recognition events. The framework's library, a machine-checked collection of formal theorems, derives the strong coupling constant from the count of wallpaper groups, the 17 distinct symmetry patterns that can tile a plane. The prediction is simply α_s = 2/17, approximately 0.11765.

This prediction matches the measured value to within 0.0003, which is about 0.2 standard deviations of the experimental uncertainty. The framework's library proves this agreement formally: a theorem states that the absolute difference between the predicted and measured values is less than the experimental error. The factor of 2 in the numerator is interpreted as the strong force coupling to pairs of symmetries, though the deeper chiral significance remains a modeling choice.

The result is a derivation, not a fit. The count of wallpaper groups is a fixed mathematical fact, and the fraction 2/17 follows from it without adjustable parameters. This stands in contrast to the fine-structure constant, whose exact value remains an open problem in the framework. The strong force, in this account, is not an arbitrary constant but a consequence of the symmetry structure of the ledger itself.

def alpha_s_exp : ℝ := 0.1179

def alpha_s_err : ℝ := 0.0009

/-- The prediction derives from wallpaper group count. -/
theorem alpha_s_pred_eq_two_over_W :
    alpha_s_pred = 2 / (wallpaper_groups : ℝ) := by
  simp only [alpha_s_pred, alpha_s_geom, wallpaper_groups]
  norm_num

/-- The predicted value is within experimental error of the measured value.

    pred = 2/17 ≈ 0.117647...
    exp  = 0.1179
    err  = 0.0009

    |pred - exp| = |0.117647 - 0.1179| = 0.000253 < 0.0009 ✓

    This is now PROVEN, not axiomatized. -/
theorem alpha_s_match :
    abs (alpha_s_pred - alpha_s_exp) < alpha_s_err := by
  simp only [alpha_s_pred, alpha_s_geom, alpha_s_exp, alpha_s_err]
  norm_num

/-- The Wallpaper Fraction: 2/17. -/
def alpha_s_geom : ℚ := 2 / 17

What this page does not claim

The framework does not derive the exact value of the fine-structure constant α. The framework does not provide a dynamical mechanism for asymptotic freedom. The interpretation of the factor of 2 as 'chiral pairs' is a modeling choice, not a proven theorem.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Physics/StrongForce.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: