QAtlas.jl logo
QAtlas.jl
  • Home
  • Conventions
  • Models
    • Models
      • Contents
      • Classical Models
      • Ising Square
      • Ising Triangular
      • Quantum Models
      • TFIM
      • Heisenberg
      • Majumdar-Ghosh
      • XXZ
      • Hubbard1D
      • Kitaev Honeycomb
      • Kitaev1D
      • Toric Code
        • Tight-Binding Models
        • Honeycomb
        • Kagome
        • Lieb
        • Triangular
  • Universality Classes
    • Universality Classes
    • Ising
    • Percolation
    • Potts
    • KPZ
    • RMT / Poisson
    • XY / Heisenberg
    • Mean-Field
    • E8
    • Cardy Entanglement
    • CFT Casimir Correction
  • Verification
    • Verification Philosophy
      • QAtlas — Verified Exact-Solution Atlas
      • Model list
      • Bibliography
      • Derivation-note index
    • Cross-Checks
    • Entanglement
    • Disordered
    • Identity Harness
  • Methods
    • Computational Methods
      • Transfer Matrix
      • Bloch Hamiltonian
      • Jordan-Wigner
      • Calabrese-Cardy
      • Exact Diagonalization
      • Automatic Differentiation
  • Derivation Notes
    • JW → TFIM BdG
    • Kramers-Wannier Duality
    • Transfer Matrix Split
    • Yang Magnetization
    • Heisenberg Dimer
    • Bethe Ansatz e₀
    • Heisenberg Spinons
    • XXZ Luttinger Parameters
    • Honeycomb Bloch
    • Kagome Flat Band
    • Lieb Flat Band
    • Calabrese-Cardy OBC/PBC
    • TFIM Entanglement (Peschel)
    • TFIM Loschmidt + DQPT
    • TFIM GGE Quench
    • AD from ln Z
    • Scaling Relations
    • Ising CFT Operators
    • Ising CFT + σ → E8
    • E8 Mass Derivation
Version
  • Models
  • Models
  • Models
GitHub

Models

QAtlas stores exact solutions for specific physical models, organized into classical and quantum categories. Each model page documents the Hamiltonian, all stored results with derivations and references, the fetch API, and the verification tests that ensure correctness.

Contents

  • Classical Models
    • 2D Ising on the Square Lattice
    • Six-Vertex / Ice Rule (Lieb 1967)
  • Quantum Models
    • Transverse-Field Ising Model
    • Heisenberg Chain
    • Hubbard1D Chain
    • Tight-Binding Models
« ConventionsClassical Models »

Powered by Documenter.jl and the Julia Programming Language.

Settings


This document was generated with Documenter.jl version 1.17.0 on Monday 1 June 2026. Using Julia version 1.12.6.