OAI/Probability/InvariantIsing/Cavity/CavityCutoffEnergyComparison.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A bounded change of energy on the retained set controls its normalized two-replica cutoff law, independently of its mass.

  1. theorem OAI.InvariantIsing.cavity_bounded_cutoff_energy_comparison line 14