Transverse-field Ising model operator

The transverse-field Ising model (TFIM) on a chain of $n$ sites is

$H = -J\sum_{i=1}^{n-1} Z_iZ_{i+1} - h\sum_{i=1}^{n} X_i.$

Genuinely quantum. Unlike the classical Ising operator, $[H, Z_i] \neq 0$ because $X_i$ and $Z_i$ anticommute: $\{X,Z\}=0 \Rightarrow XZ=-ZX$. The transverse field therefore drives real transitions between computational-basis states, and $H$ cannot be diagonalized simply by inspection.

Exact solvability. Via a Jordan–Wigner transformation, the 1D TFIM maps exactly onto free fermions, giving the closed-form dispersion relation (periodic chain, $N\to\infty$)

$\epsilon(k) = 2J\sqrt{1 + (h/J)^2 - 2(h/J)\cos k},$

so ground-state energies and gaps are known in closed form at every system size — the reason this model is the standard exact benchmark for VQE, Trotterized time evolution, and quantum annealing schedules.

Quantum phase transition. At zero temperature, tuning $h/J$ drives a transition at the self-dual point $h=J$ between a ferromagnetically ordered phase ($h<J$, spontaneous $\mathbb{Z}_2$ symmetry breaking of the global spin-flip $\prod_i X_i$) and a paramagnetic phase ($h>J$, field-aligned along X). The transition is continuous, with the gap closing as $\Delta \sim |h-J|^{z\nu}$ — the paradigmatic example distinguishing a quantum phase transition (driven by $h/J$ at $T=0$) from the thermal transition of the classical 2D Ising model, to which the 1D TFIM's partition function is related by a quantum-classical mapping.

Use in the catalog. This operator sits directly above the classical Ising Hamiltonian and the XXZ chain in the family of exactly-characterizable spin models: setting $h=0$ recovers the classical diagonal operator, and the model's non-commuting structure is exactly what a Trotter-based Hamiltonian simulation or a VQE ansatz must reproduce.