comparisonTable
plain-language theorem explainer
This definition supplies a five-element list of strings contrasting ultraviolet regularization schemes in QFT. A researcher examining natural cutoffs would cite it to position the Recognition Science approach against dimensional regularization, Pauli-Villars, lattice, and string methods. The definition is realized by a direct list literal with no computation or lemmas.
Claim. The comparison table is the list of strings: ``Dim. reg: No physical cutoff, just mathematical trick'', ``Pauli-Villars: Artificial heavy particles'', ``Lattice: Physical for computation, not fundamental'', ``Strings: Physical but requires extra dimensions'', ``RS: Physical from information-theoretic discreteness''.
background
The QFT.UVCutoff module derives a natural ultraviolet cutoff from Recognition Science discreteness at the τ₀ scale, bounding momenta by p_max = ℏ/τ₀ and thereby regularizing loop integrals. The local setting is given by the module doc-comment, which contrasts this first-principles cutoff with conventional schemes and flags a potential major paper on information-theoretic regularization. The definition imports constants and phi-forcing structures but depends on no specific upstream lemmas for its content.
proof idea
The definition is a direct list literal. No tactics or lemmas are applied; the five strings are enumerated verbatim in the source.
why it matters
This definition supports the module's core claim that Recognition Science supplies a unique non-arbitrary UV cutoff from discreteness, as stated in the doc-comment. It contrasts the listed approaches to highlight the fundamental character of the τ₀-based regulator. No downstream theorems are recorded, leaving the definition as documentation for the QFT-013 derivation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.