pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.QFT.Confinement

show as:
view Lean formalization →

The Confinement module assembles the Cornell potential V(r) = -α/r + σr together with related string tension and breaking length definitions for quark-antiquark systems. Researchers modeling hadron spectra or strong-interaction phenomenology would cite these objects when mapping RS constants onto QCD observables. The module is built entirely from imported constants and cost functions, with no internal proofs.

claimThe Cornell potential is $V(r) = -α/r + σ r$, where α denotes the short-distance coupling and σ the string tension; auxiliary definitions cover asymptotic freedom, color potential via J-cost, and the breaking length at which the linear term dominates.

background

The module sits inside the QFT tier of Recognition Science and imports the RS time quantum τ₀ = 1 tick from Constants together with cost structures from the Cost module. It adopts the standard phenomenological form for the quark-antiquark potential and expresses confinement parameters in RS-native units (c = 1, ħ = φ^{-5}). The local setting therefore links the Recognition Composition Law and phi-ladder directly to the linear rise of the potential at large separation.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

It supplies the confinement potential and string-tension objects to the parent QFT module, which collects Tier 2 derivations of quantum field theory fundamentals from Recognition Science. The definitions therefore close the phenomenological bridge between the eight-tick octave and observed QCD string tension, feeding directly into the larger QFT derivation list.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (22)