`comparisonTable`

definition

show as: view math explainer →

module: IndisputableMonolith.QFT.UVCutoff
domain: QFT
line: 223 · 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 223.

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

 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:
 234    1. Spacetime is truly continuous at all scales
 235    2. UV effects are observed beyond the τ₀ cutoff
 236    3. Running couplings don't follow φ-ladder -/
 237structure UVCutoffFalsifier where
 238  /-- Spacetime found to be continuous below τ₀ scale -/
 239  continuous_spacetime : Prop
 240  /-- Trans-cutoff physics observed -/
 241  trans_cutoff_physics : Prop
 242  /-- φ-ladder running not confirmed -/
 243  phi_ladder_fails : Prop
 244  /-- Falsification condition -/
 245  falsified : continuous_spacetime ∨ trans_cutoff_physics ∨ phi_ladder_fails → False
 246
 247end UVCutoff
 248end QFT
 249end IndisputableMonolith

papers checked against this theorem

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