`predictions`

definition

show as: view math explainer →

module: IndisputableMonolith.QFT.UVCutoff
domain: QFT
line: 203 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.QFT.UVCutoff on GitHub at line 203.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 200    3. **Cosmic ray spectrum**: GZK cutoff might be modified
 201    4. **Black hole formation**: Minimum mass related to τ₀
 202    5. **Loop corrections**: Finite and calculable with RS cutoff -/
 203def predictions : List String := [
 204  "Dispersion relation corrections at E ~ E0",
 205  "Modified loop corrections near cutoff",
 206  "Finite quantum gravity effects",
 207  "Discrete spacetime effects in cosmology"
 208]
 209
 210/-! ## Comparison with Other Approaches -/
 211
 212/-- Other UV regularization approaches:
 213
 214    | Approach | Cutoff | Physical? |
 215    |----------|--------|-----------|
 216    | Dimensional reg | ε → 0 | No |
 217    | Pauli-Villars | Heavy mass M | Artificial |
 218    | Lattice QCD | Lattice spacing a | Physical on lattice |
 219    | String theory | String length l_s | Yes |
 220    | **RS** | τ₀ discreteness | **Yes, fundamental** |
 221
 222    RS is unique in providing a first-principles, non-arbitrary cutoff. -/
 223def comparisonTable : List String := [
 224  "Dim. reg: No physical cutoff, just mathematical trick",
 225  "Pauli-Villars: Artificial heavy particles",
 226  "Lattice: Physical for computation, not fundamental",
 227  "Strings: Physical but requires extra dimensions",
 228  "RS: Physical from information-theoretic discreteness"
 229]
 230
 231/-! ## Falsification Criteria -/
 232
 233/-- The derivation would be falsified if:

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.