OAI/Probability/SLELocalization/RetainedFirstMoment.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Retained First Moment estimates.

  1. lemma OAI.SLEExactGauge.finiteCenteredPhysicalTime_uniform line 18
  2. lemma OAI.SLEExactGauge.uniformFiniteTimePhysicalDensity line 102
  3. lemma OAI.SLEExactGauge.compact_initial_bounds line 197
  4. theorem OAI.SLEExactGauge.retainedPositiveFirstMoment line 224