Pith. sign in
module module high

IndisputableMonolith.QFT.Confinement

show as:
view Lean formalization →

The QFT.Confinement module supplies the Cornell potential and related confinement quantities in Recognition Science. It encodes the standard quark-antiquark form V(r) = -α/r + σr using RS constants and cost functions. QCD modelers would cite these definitions when linking RS-native units to hadron phenomenology. The module consists entirely of declarations and supporting lemmas with no proofs.

claim$V(r) = -\alpha/r + \sigma r$ (Cornell potential for the quark-antiquark interaction)

background

This module sits inside the QFT domain of Recognition Science and imports the RS time quantum τ₀ = 1 tick from Constants together with cost functions from the Cost module. The supplied module documentation identifies the Cornell potential as the standard phenomenological form for the quark-antiquark potential. Sibling declarations cover string tension, asymptotic freedom, and related confinement observables built on these imports.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module feeds the parent IndisputableMonolith.QFT module, which collects Tier 2 derivations of quantum field theory fundamentals from the Recognition Science framework. It supplies the phenomenological bridge between RS constants and observed QCD potentials as stated in the module documentation.

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)