OAI/Probability/SLE/Gauge/SerpentinePhysicalMass.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The stopped dense serpentine experiment in the original half-plane coordinates, with one common physical sausage mesh and its exact m^(2-d) mass threshold.

  1. lemma OAI.SLEExactGauge.Serpentine.physicalExperimentChart_closedEmbedding line 20
  2. lemma OAI.SLEExactGauge.Serpentine.normalizedExperimentDisk_scaled line 31
  3. lemma OAI.SLEExactGauge.Serpentine.physical_ribbon_mass_threshold line 44
  4. theorem OAI.SLEExactGauge.Serpentine.uniform_serpentine_physical_stopped_mass line 59