standardUVDescription
plain-language theorem explainer
A string definition captures the standard description of ultraviolet divergences in quantum field theory loop integrals. Physicists addressing renormalization would reference it when contrasting artificial cutoffs with discrete spacetime regularizations from Recognition Science. The content is a direct statement that the integral ∫ dk k diverges logarithmically.
Claim. The standard ultraviolet description states that integrals of the form $I = ∫ d^4k / (k^2 - m^2)^n$ for $n ≤ 2$ diverge as $k → ∞$, with the explicit form $∫_0^∞ dk k^3 / k^2 = ∫_0^∞ dk k$ diverging logarithmically.
background
The QFT module derives the ultraviolet cutoff from Recognition Science discreteness at the τ₀ scale, where momenta cannot exceed p_max = ℏ/τ₀. This supplies a physical regularization absent in conventional treatments that introduce artificial Λ → ∞. Upstream structures include SpectralEmergence, which forces SU(3) × SU(2) × U(1) gauge content and exactly three generations from the Q₃ simplex, and PhysicsComplexityStructure, which establishes that J-cost minimization is strictly convex with unique minimum at x = 1.
proof idea
This is a definition that directly assigns a string literal describing the divergence. No lemmas are applied; it serves as reference text for the conventional approach.
why it matters
This definition establishes the baseline ultraviolet divergence problem resolved by the Recognition Science natural cutoff from spacetime discreteness. It precedes the physical p_max bound derived from the phi-forcing chain and eight-tick octave. The module targets a major paper on information-theoretic regularization, with no downstream uses recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.