deconfinementTemperature
plain-language theorem explainer
DeconfinementTemperature supplies the numerical threshold 0.17 at which the confining string in the J-cost potential melts into a quark-gluon plasma. QCD modelers working inside the Recognition Science framework cite this constant when locating the phase boundary between confined hadrons and deconfined quarks. The entry is a direct constant definition with no reduction steps or lemmas applied.
Claim. The deconfinement temperature is defined as $T_d = 0.17$ in Recognition Science units, corresponding to the scale at which the linear term in the color potential is overcome by thermal fluctuations.
background
The module derives confinement from J-cost distance scaling on color charges. The potential takes the form $J(r) = -α/r + σr$, where the first term encodes short-distance asymptotic freedom and the second term produces linear growth with string tension σ at long distance. This structure follows from the Recognition Composition Law applied to the J-cost functional, with the linear regime responsible for the permanent binding of quarks into hadrons.
proof idea
The definition is a direct numerical assignment of the constant 0.17, chosen to match the conventional QCD transition scale of roughly 170 MeV.
why it matters
The definition marks the temperature at which the J-cost linear potential ceases to confine, completing the high-temperature side of the confinement picture developed in the module. It supports the target of expressing QCD confinement through Recognition Science J-cost scaling and supplies the scale needed for any later treatment of the quark-gluon plasma phase. No downstream theorems currently reference the constant.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.