OAI/Probability/InvariantIsing/Cavity/CavityFiniteHeightLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Small uniform changes of overlap levels do not change the limiting spectral-block tests, even when the finite cascade depth grows.

  1. lemma OAI.InvariantIsing.cavity_finite_block_replica_average line 14
  2. theorem OAI.InvariantIsing.cavity_finite_height_integral_error line 36