OAI/Probability/SLELocalization/FiniteClock.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Finite Clock estimates.

  1. lemma OAI.SLEExactGauge.FiniteClock.live_density_below line 16
  2. lemma OAI.SLEExactGauge.FiniteClock.exponential_clock_bound line 45
  3. lemma OAI.SLEExactGauge.FiniteClock.good_physical_clock line 122
  4. theorem OAI.SLEExactGauge.finiteCenteredPhysicalTime_tight line 211