OAI/Probability/InvariantIsing/Cavity/CavityCascadeBlockLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite scalar overlap blocks of the rounded cascades converge to the prescribed GG law. This is the overlap input for jointly marked cavity tests, with every replica retained.

  1. theorem OAI.InvariantIsing.cavity_cascade_spin_block_tendsto line 15