OAI/Probability/InvariantIsing/Cavity/CavityMagneticBlockModulus.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Asymptotic ties and weak-to-L1 consistency for magnetic block paths with varying block size and prescribed magnetizations.

  1. lemma OAI.InvariantIsing.cavityStrictUniformField_magneticBlock_dist_le line 13
  2. theorem OAI.InvariantIsing.cavity_strict_magnetic_block_asymptotic_ties line 29
  3. theorem OAI.InvariantIsing.cavity_strict_magnetic_block_self_consistency line 61