OAI/Probability/SKBarriers/Dynamics/HeatBathEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.coupling_self line 14
2. theorem OAI.SK.Analytic.coupling_comm line 17
3. def OAI.SK.Analytic.interactionSum line 23
4. theorem OAI.SK.Analytic.interactionSum_eq_edges line 26
5. theorem OAI.SK.Analytic.hamiltonian_eq_interactionSum line 60
6. theorem OAI.SK.Analytic.interactionSum_update line 66
7. theorem OAI.SK.Analytic.hamiltonian_update line 103
8. theorem OAI.SK.Analytic.localField_update line 116