OAI/Probability/InvariantIsing/Cavity/CavityUniformTreeLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A limit valid for every sequence of labeled trees is uniform in the tree choice and survives averaging over the original cascade law.

  1. lemma OAI.InvariantIsing.cavity_uniform_zero_of_all_selections line 15
  2. lemma OAI.InvariantIsing.cavity_average_zero_of_all_selections line 35