`UVCutoffFalsifier`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.QFT.UVCutoff on GitHub at line 237.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 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.