OAI/Probability/InvariantIsing/Cavity/CavityRegularizedMoments.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Polynomial extra-replica limits with a positive denominator or logarithm regularizer. The unregularized weight may vanish.

  1. theorem OAI.InvariantIsing.cavity_regularized_reciprocal_tendsto line 14
  2. theorem OAI.InvariantIsing.cavity_floored_log_tendsto line 35