OAI/Probability/SKGap/Terminal/PairBoltzmann.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SKGap.exp_spin line 13
  2. lemma OAI.SKGap.exp_spin_product line 25
  3. def OAI.SKGap.pairBoltzmannWeight line 33
  4. def OAI.SKGap.pairBoltzmannMean line 35
  5. lemma OAI.SKGap.pairBoltzmannWeight_factor line 38
  6. lemma OAI.SKGap.pairBoltzmann_partition line 45
  7. lemma OAI.SKGap.pairBoltzmannMean_eq line 51
  8. lemma OAI.SKGap.pair_gradients_representation line 68
  9. lemma OAI.SKGap.tanh_add_real line 79
  10. lemma OAI.SKGap.tanh_pair_residual line 88
  11. lemma OAI.SKGap.tanh_pair_variance line 105
  12. lemma OAI.SKGap.pairBoltzmann_signed_bound line 122
  13. lemma OAI.SKGap.update_true_false line 149
  14. lemma OAI.SKGap.conditionalExpectation_updates line 162
  15. lemma OAI.SKGap.weight_update_factor line 173
  16. lemma OAI.SKGap.conditionalExpectation_local line 180
  17. lemma OAI.SKGap.spin_affine line 200
  18. lemma OAI.SKGap.conditionalDifference_local line 210
  19. lemma OAI.SKGap.spinGradient_update line 218
  20. lemma OAI.SKGap.conditionalSiteEnergy_local line 222