OAI/Probability/SLELocalization/TraceAvoidance.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Is Loewner Trace Using estimates.

  1. lemma OAI.SLEExactGauge.IsLoewnerTraceUsing.positive_solution_live line 15
  2. lemma OAI.SLEExactGauge.BoundaryCutoff.signed_difference_bound line 95
  3. lemma OAI.SLEExactGauge.BoundaryCutoff.neighborhood_live line 107
  4. theorem OAI.SLEExactGauge.separated_forward_path_avoids_trace line 171