OAI/Probability/InvariantIsing/Cavity/CavityWeightedMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Polynomial approximation of reciprocal normalizers in bounded replica tests. Extra-replica mixed moments determine the limit.

  1. lemma OAI.InvariantIsing.cavity_weighted_comp_integrable line 14
  2. lemma OAI.InvariantIsing.cavity_weighted_polynomial_integral line 29
  3. lemma OAI.InvariantIsing.cavity_weighted_approx_error line 47
  4. theorem OAI.InvariantIsing.cavity_weighted_moments_tendsto line 62
  5. theorem OAI.InvariantIsing.cavity_reciprocal_normalizer_tendsto line 108