Physics Recognition Coupling

Recognition coupling

Physics recognition coupling is a quantity that compares two very different ways of calculating a particle's mass. One way comes from the Standard Model of particle physics, where masses run with energy according to renormalization group (RG) equations. The other way comes from a geometric structure that assigns each fermion a large "residue" number. The coupling is simply the ratio of these two residues: the geometric one divided by the perturbative one. In plain terms, it asks how much stronger the geometric rule is than the Standard Model's own corrections.

The discrepancy is large. For the electron, the geometric residue is about 13.95, while the Standard Model's perturbative residue is about 0.05. The ratio is on the order of a few hundred. For quarks, the geometric residues are around 10.7 and 5.7, while the perturbative residues are between 0.2 and 0.5, again giving ratios in the hundreds. This ratio is defined as the recognition strength, a discrete record of how much the geometric structure dominates the perturbative correction for a given species.

The framework does not claim that this ratio is a single universal constant. The definition is explicit: the ratio depends on what you mean by the perturbative residue, including its endpoints, scheme, and policy. The framework only defines the comparison; it does not assert universality. What it does establish, in its machine-checked library of formal theorems, is a lower bound for the electron. The theorem electron_geo_gt_13_953 proves that the electron's geometric residue is greater than 13.953. A second theorem, electron_strength_gt_100, proves that if the electron's perturbative residue is exactly 0.04942583, then the recognition strength is greater than 100.

The larger hypothesis, called structural dominance, is that the geometric residue, not the perturbative one, determines the mass. The mass would follow a relation like m = m_struct times phi raised to the geometric residue, replacing the Standard Model's RG relation. This is a definition, not a theorem. It is a proposal for what the mass formula should look like, and it is stated as a predicate that holds when the geometric residue differs from the perturbative one and the strength exceeds 100.

What the framework establishes, then, is a precise vocabulary for a gap. It names the two residues, defines their ratio, and proves a concrete lower bound for the electron. It does not yet show that the ratio is the same for all particles, nor that the structural dominance hypothesis is true. Those remain targets. The practical consequence is that the framework now has a formal way to state the question: is the Standard Model's RG running a shadow of a stronger geometric force, and if so, by what factor?

/-- Lower bound on the geometric residue for the electron (from the proven gap bounds). -/
theorem electron_geo_gt_13_953 : (13.953 : ℝ) < geometric_residue Fermion.e := by
  -- ZOf e = 1332, so this is exactly the lower bound on gap(1332).
  have hZ : ZOf Fermion.e = 1332 := by native_decide
  simpa [geometric_residue, hZ] using (gap_1332_bounds).1

/-- A basic (non-universal) strength statement: if `rg_val = 0.04942583`,
then the ratio `F(Z)/f_RG` is certainly > 100 for the electron. -/
theorem electron_strength_gt_100 (rg_val : ℝ) (h_rg : rg_val = 0.04942583) :
    (100 : ℝ) < electron_strength rg_val := by
  unfold electron_strength recognition_strength
  -- rewrite rg residue value
  rw [h_rg]
  have hden_pos : (0 : ℝ) < (0.04942583 : ℝ) := by norm_num
  have hnum_gt : (13.953 : ℝ) < geometric_residue Fermion.e := electron_geo_gt_13_953
  -- It suffices to show 100 * 0.04942583 < 13.953.
  have h100 : (100 : ℝ) * (0.04942583 : ℝ) < (13.953 : ℝ) := by norm_num
  have hnum_gt' : (100 : ℝ) * (0.04942583 : ℝ) < geometric_residue Fermion.e :=
    lt_trans h100 hnum_gt
  -- divide by positive denominator
  exact (lt_div_iff₀ hden_pos).2 hnum_gt'

/-- The Recognition Strength for species f: the factor by which the geometric
    structure exceeds the perturbative RG effect. -/
def recognition_strength (f : Fermion) (rg_val : ℝ) : ℝ :=
  geometric_residue f / rg_val

/-- The "Zero Parameter" hypothesis: The mass is determined by the Geometric Residue,
    not the Perturbative Residue. The RG running is a small correction or shadow.

    m_i = m_struct * φ^(F(Z))

    The standard RG relation m = m_struct * φ^(f_RG) is **REPLACED** by the
    stronger geometric lock-in. -/
def structural_dominance_holds (f : Fermion) (rg_val : ℝ) : Prop :=
  geometric_residue f ≠ rg_val ∧
  recognition_strength f rg_val > 100

What this page does not claim

The recognition strength is a single universal constant for all particles. The structural dominance hypothesis is proved true. The framework derives the fine-structure constant or any other Standard Model coupling.

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/RecognitionCoupling.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: