OAI/Probability/UnimodularPercolation/Criticality/ScaleLimits.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Analytic scale limits and quantitative parameter estimates.

  1. theorem OAI.Percolation.log_sublinear_of_subexp line 16
  2. theorem OAI.Percolation.tendsto_atTop_of_div_nat_pos line 33
  3. theorem OAI.Percolation.tendsto_exp_of_div_nat_neg line 41
  4. theorem OAI.Percolation.corridor_scale_limits line 51
  5. theorem OAI.Percolation.exists_corridor_scales_of_slopes line 106
  6. theorem OAI.Percolation.exists_corridor_scales line 177