Registry · Definition IV.D388 tau-effective formalized

IV.D388 — τ-Ising Hamiltonian on T²

Ising Hamiltonian H = -J Σ σ_iσ_j - h Σ σ_i on lattice Λ ⊂ T² with periodic BCs from torus topology. No edges, uniform coordination number. J>0 favors alignment.

Book IV Part 7 Ch. 63

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.ManyBody.Magnetism

Symbol: Tau.BookIV.ManyBody.IsingHamiltonian