---
title: Kramers–Wannier Duality Operators
url: https://www.emergentmind.com/topics/kramers-wannier-operators
type: topic
---

# Kramers–Wannier Duality Operators

Kramers–Wannier operators are lattice or field-theoretic duality operators that implement the exchange between order variables and disorder variables, originally in the Ising model and now in a wide range of generalized settings. In the modern formulation, they are typically non-invertible symmetry defects rather than ordinary unitary internal symmetries: they act by intertwining local operator algebras, by gauging and Fourier/Hadamard transforms, or by sector-dependent quantum operations, and their fusion commonly yields projectors or sums of symmetry defects instead of an inverse. Recent work extends this structure from the \(1+1\)d transverse-field Ising model to Hopf-algebraic chains, subsystem-symmetric models, higher-dimensional bosonization dualities, higher-form gauge theories, integrable quantum chains, and explicit shallow quantum circuits [2602.10183].

## 1. Canonical Ising construction and the order–disorder exchange

In the standard \(1+1\)d setting, the transverse-field Ising chain exhibits the basic Kramers–Wannier map between local spin operators and disorder variables. One formulation uses dual variables
\[
\mu_{j+1/2}^x=\sigma_j^z\sigma_{j+1}^z,\qquad
\mu_{j+1/2}^z=\prod_{k\le j}\sigma_k^x,
\]
so that the Ising interaction and transverse field are exchanged, and the Hamiltonian is mapped to its dual with couplings interchanged. In operator language this becomes the familiar order–disorder exchange: local order operators are mapped to bond or string operators, and vice versa [2508.20167].

For critical quantum chains, the Kramers–Wannier operator is naturally realized as a “half-step translation” in an anyonic fusion basis. In the critical transverse-field Ising chain, the resulting operator \(\mathsf{D}\) commutes with the Hamiltonian at criticality and satisfies
\[
\mathsf{D} X_{l} = Z_{l} Z_{l+1\,(\mathrm{mod}\,L)} \,\mathsf{D}, \qquad
\mathsf{D} Z_{l} Z_{l+1\,(\mathrm{mod}\,L)} = X_{l+1\,(\mathrm{mod}\,L)} \,\mathsf{D},
\]
while its square is not the identity but
\[
\mathsf{D}^{2} = \frac{1}{2}\,T\,\left( 1 + \eta_{(L)} \right),
\qquad \eta_{(L)}=\prod_{l=1}^L X_l.
\]
This makes the operator non-invertible and shows that lattice translation mixes with the defect fusion rule [2410.06727].

A related and more sector-sensitive formulation appears for the transverse-field Ising chain on a ring, where the duality must be implemented with a proper treatment of charge sectors and twisted boundary conditions. There the Kramers–Wannier map is encoded by a superoperator \(U\) on the tensor product of the Ising and dual-Ising Hilbert spaces, satisfying
\[
U \left( X_i \otimes \mathbb{1} \right) = \left( \mathbb{1} \otimes \hat{Z}_i \hat{Z}_{i+1} \right) U,
\qquad
U \left( Z_{i-1} Z_i \otimes \mathbb{1} \right) = \left( \mathbb{1} \otimes \hat{X}_i \right) U.
\]
The associated quantum operation has an operator-sum representation
\[
\mathcal{E}(\rho) = \sum_{\{s\}} D_s \rho D_s^\dagger,
\qquad
D_s := \langle s | \Delta | \psi \rangle,
\]
and reproduces the well-known non-invertible fusion rules [2405.09361].

## 2. Non-invertibility, fusion, and categorical structure

A defining feature of Kramers–Wannier operators is that their composition does not produce an inverse. In the Ising CFT language, the duality defect satisfies the canonical fusion rule
\[
D \times D = 1 + \psi,
\]
and higher-dimensional analogs preserve the same structural principle: the square of the defect becomes a sum or projector built from symmetry defects rather than the identity [2111.01141].

On the lattice, this non-invertibility often appears as a projector onto symmetry-neutral sectors. For the critical Ising and \(3\)-state Potts chains constructed from fusion-category \(F\)-moves, the corresponding MPOs satisfy
\[
\mathbb{Z}_2:\quad \mathsf{D}^{2} = \frac{1}{2}\,T\,(1+\eta_{(L)}),
\qquad
\mathbb{Z}_3:\quad \mathsf{D}^{2} = \frac{1}{3}\,T\,(1+\eta_{(L)}+\eta_{(L)}^{\dagger}),
\]
so the categorical fusion survives on the lattice but is mixed with translation [2410.06727].

In the transverse-field Ising chain on a ring, the quantum-operation approach makes the same point in sector language. The duality defect has fusion
\[
\hat{~} \times = 1 + (-1)^t Q,
\]
and the checkerboard of twisted and untwisted sectors shows that the duality exchanges charge and twist rather than acting as a single unitary symmetry on a fixed Hilbert space [2405.09361].

This non-invertible structure persists in many generalized settings. In modulated-symmetry chains, the non-invertible reflection defect satisfies
\[
D\,D = \mathsf{C}\ \prod_{q=1}^n \Big(\sum_{a=0}^{N-1} U_q^a\Big),
\qquad
U_q\,D = D\,U_q = D,
\]
so the square is proportional to projectors onto neutral sectors of each modulated symmetry generator [2406.12962]. In integrable constructions, Kramers–Wannier-like operators built from transfer matrices satisfy
\[
(\mathcal U^\dagger)^+\times \mathcal U^+=1+\mathcal P
\]
in Ising-type models, and
\[
(\mathcal Q^\dagger)^{++}\times \mathcal Q^{++}=1+\mathcal O+\mathcal O^2
\]
in the \(\mathbb{Z}_3\) parafermionic case [2509.01853].

A common misconception is that Kramers–Wannier operators are merely unitary basis changes. The recent literature instead treats them as non-invertible defects, MPOs, or quantum operations whose algebra is controlled by projectors, higher-form sectors, or defect fusion, not by group inverses [2405.09361].

## 3. Generalized constructions beyond the ordinary Ising chain

A substantial generalization replaces the \(\mathbb{Z}_2\) data of the Ising chain by a finite-dimensional semisimple Hopf \(C^*\)-algebra \(H\). In the Hopf–Ising chain, local operators are “Hopf Pauli” operators
\[
X^a_L |b\rangle = |ab\rangle,\qquad
X^a_R |b\rangle = |b S(a)\rangle,
\]
and
\[
Z_L^\alpha |a\rangle = \sum_{(a)} \alpha(S(a_{(1)})) |a_{(2)}\rangle,\qquad
Z_R^\alpha |a\rangle = \sum_{(a)} |a_{(1)}\rangle \alpha(a_{(2)}).
\]
When \(H\) is self-dual, a symmetric Hadamard form \(\Theta\) defines a unitary \(F:|a\rangle\mapsto |\Theta_a\rangle\), and the Kramers–Wannier duality operator is
\[
D := (F^\dagger)^{\otimes L} \circ KW.
\]
It exchanges order and disorder operators through
\[
D X_j^{x_r} = (Z_j Z_{j+1})^{\Theta_{x_r}} D,\qquad
D (Z_j Z_{j+1})^{\Theta_{x_r}} = X_{j+1}^{x_r} D,
\]
and obeys
\[
T^{-1} D^2 = |H| U^{Reg}.
\]
At criticality it becomes a non-invertible symmetry defect, and in the infrared flows to a weakly integral \(\mathbb{Z}_2\)-graded fusion category with \(C_0=\mathrm{Rep}(H)\) and \(C_1=\{D\}\) [2602.10183].

A parallel generalization appears in symmetry-TFT treatments of generalized Ising models. There, Kramers–Wannier duality is implemented by an interface \(D\) that combines gauging of a subsymmetry with Fourier transform of local weights. For finite-group symmetry \(G\), the generalized Ising partition function
\[
\mathcal{Z}^{\mathrm{Vect}_G}(\Sigma_\triangle^\vee;\theta)=\sum_{\sigma\in G^{\mathsf{V}(\Sigma^\vee)}}\prod_{\mathsf{e}}\theta_\mathsf{e}\big(\sigma_{\underline{\mathsf{e}}}^{-1}\sigma_{\overline{\mathsf{e}}}\big)
\]
is mapped by group Fourier transform to a \(\mathrm{Rep}(G)\)-valued formulation, and fully gauging the symmetry produces the non-abelian Kramers–Wannier dual [2408.06074].

The same theme appears in modulated-symmetry chains. There the canonical gauging map is
\[
\prod_{\ell} Z_{\ell}^{\Delta_{j,\ell}} \mapsto Z_{j,j+1}, \qquad
X_j \mapsto \prod_{\ell} X_{\ell,\ell+1}^{\Delta^{\mathsf{T}}_{j,\ell}},
\]
and the dual modulation profile is reflected:
\[
f_j^{\vee\,(q)} = f_{-j}^{(q)}.
\]
This yields a Kramers–Wannier duality even when ordinary reflection symmetry is absent, because the composite operator \(D:=M\tilde D\) can commute with the Hamiltonian at the self-dual point although \(M\) itself is not a symmetry [2406.12962].

A plausible implication is that “Kramers–Wannier operator” is no longer tied to a single abelian gauging recipe. In the current literature it denotes a broader class of duality defects whose microscopic realization may come from Hopf pairings, symmetry TFT boundary changes, modulated-symmetry gauging, or sector-selective projectors, while preserving the order–disorder exchange and non-invertible fusion.

## 4. Higher dimensions, higher-form symmetries, and subsystem versions

Kramers–Wannier operators now appear well beyond \(1+1\) dimensions. In a bosonization framework for parity-gauged Majorana systems, minimal fermionic translations become higher-dimensional Kramers–Wannier operators after projection onto higher-form symmetry sectors. On the square lattice, the bosonized operator takes the form
\[
T^b_x\sim \sideset{}{'}\prod_f \frac{1+i\,W_f}{\sqrt2}\,\frac{1+i\,X_{e_x^f}}{\sqrt2},
\qquad
D_{\mathrm{KW}}\sim T^b_x\Bigl(\prod_m \tfrac{U_m^x+1}{2}\Bigr),
\]
and acts by conjugation as
\[
W_f\mapsto X_{e_x^f}\mapsto W_{f+a_x},
\qquad
V_{e_y^f}\mapsto V'_{e_y^f}\mapsto V_{e_y^{f+a_x}}.
\]
Its non-invertibility comes from the higher-form projectors \(\prod_m \tfrac{U_m^x+1}{2}\) [2508.20167].

Subsystem-symmetric lattice models furnish another extension. In the plaquette Ising model with subsystem \(\mathbb{Z}_2\) symmetry, the subsystem Kramers–Wannier operator \(\mathcal{N}^{\text{sub}}\) gauges the full subsystem symmetry and maps local operators by
\[
\mathcal{N}^{\text{sub}}\;
\sigma^z_{i,j}\sigma^z_{i+1,j}\sigma^z_{i,j+1}\sigma^z_{i+1,j+1}
=
\widehat{\sigma}^x_{i+\frac{1}{2},j+\frac{1}{2}}
\mathcal{N}^{\text{sub}},
\]
\[
\mathcal{N}^{\text{sub}}\;\sigma^x_{i,j}
=
\widehat{\sigma}^z_{i-\frac{1}{2},j-\frac{1}{2}}
\widehat{\sigma}^z_{i+\frac{1}{2},j-\frac{1}{2}}
\widehat{\sigma}^z_{i-\frac{1}{2},j+\frac{1}{2}}
\widehat{\sigma}^z_{i+\frac{1}{2},j+\frac{1}{2}}
\mathcal{N}^{\text{sub}}.
\]
Gauging twice yields a “grid” operator rather than an inverse, and the associated duality defects are mobile in both spatial directions [2304.09886].

Higher-form and gauge-theoretic versions also exist. In lattice higher gauge theory, the Kramers–Wannier operator is the topological operator \(U[C_{D-p-1}]\) acting on Wilson-surface operators \(W[C_p]\) by the intersection-number phase
\[
U[C_{D-p-1}] W[C_p] U^{-1}[C_{D-p-1}] = g(C_p)^{I[C_p, C_{D-p-1}]} W[C_p].
\]
Under the generalized Kramers–Wannier duality,
\[
Z_G^{(p)}(\beta) = Z_{/\widehat{G}^{(D-p-2)}(\widehat{\beta}),
\]
the symmetry operator is mapped to a dual Wilson operator, and order/disorder braiding becomes the higher-form analog of the Ising \(\sigma\)–\(\mu\) algebra [2507.06555].

In \(3+1\)d gauge theory, codimension-1 Kramers–Wannier-like defects \(\mathcal{N}(M_3)\) arise by gauging a \(1\)-form \(\mathbb{Z}_2\) symmetry and dressing the interface with a \(U(1)_2\) Chern–Simons theory. Their fusion is
\[
\mathcal{N}(M_3)\times \mathcal{N}(M_3)
=
\frac{1}{|H^0(M_3,\mathbb{Z}_2)|}
\sum_{\Sigma\in H_2(M_3,\mathbb{Z}_2)}
(-1)^{Q(\Sigma)} L(\Sigma),
\]
which is explicitly the higher-dimensional analog of \(D\times D=1+\psi\) [2111.01141].

## 5. MPOs, quantum circuits, and explicit implementations

A major development is the explicit realization of Kramers–Wannier operators as finite-depth or matrix-product operators. In the wave-function construction for critical Ising and Potts chains, the operator is obtained from a sequence of \(F\)-moves and admits a translationally invariant MPO form. For the Ising case,
\[
\mathsf{D} = \frac{1}{\sqrt{2}\,\mathrm{Tr}_{\text{aux.}} \left( \mathbb{A}_{1} \cdots \mathbb{A}_{L} \right),
\]
with local tensor
\[
\mathbb{A}_{l} = \frac{1}{2}
\begin{pmatrix}
(1+Z_{l})\mathsf{H}_{l}  &  (1+Z_{l})\mathsf{H}_{l}Z_{l} \\
(1-Z_{l})\mathsf{H}_{l} &  (1-Z_{l})\mathsf{H}_{l}Z_{l}
\end{pmatrix},
\]
making the non-invertible defect explicit at the tensor-network level [2410.06727].

Sequential-circuit realizations are now also available. For a nonintegrable scarred Ising model, the Kramers–Wannier operator is represented by the finite-depth sequential quantum circuit
\[
U = \frac{1 + i Z_1 Z_N}{\sqrt{2}}
      \prod_{j=N}^{1}
      \frac{1 + i X_j}{\sqrt{2}}
      \frac{1 + i Z_j Z_{j+1}}{\sqrt{2}},
\]
which implements
\[
U X_i U^\dagger = Z_i Z_{i+1},
\qquad
U (Z_{i-1}Z_i) U^\dagger = X_i
\]
in the \(\eta=+1\) sector, with boundary twists encoding the non-invertible sector dependence [2508.05403].

Integrable trotterizations of the critical Ising chain reveal an additional doubling in discrete time. The continuous-time duality operator
\[
{\sf D} = \frac{1}{2}\,{\cal U}\,(\mathbb{1}+{\sf P})
\]
splits into two inequivalent discrete-time operators,
\[
{\frak D}_-(\Omega) = {\sf D}\,\prod_{j=1}^{N}\frac{\mathbb{1} - i\,\Omega\, Z_j}{1 - i\,\Omega},
\qquad
{\frak D}_+(\Omega) = {\sf D}\,\prod_{j=1}^{N}\frac{\mathbb{1} + i\,\Omega\, X_j X_{j+1}}{1 + i\,\Omega},
\]
with
\[
{\frak D}_+(\Omega)^2 = \tfrac{1}{2}(\mathbb{1}+{\sf P})\,{\sf T}\,{\sf V}(\Omega),
\qquad
{\frak D}_-(\Omega)^2 = \tfrac{1}{2}(\mathbb{1}+{\sf P})\,{\sf T}\,{\sf V}(\Omega)^\dagger.
\]
They implement “half-translations” along discrete light-cone directions \(x\pm t\) [2511.03947].

The most recent purely unitary implementations achieve logarithmic depth with nonlocal connectivity. In \(1\)d \(\mathbb{Z}_2\), one constructs a unitary \(U_{KW}\) such that
\[
U_{KW}\sigma^x_j U_{KW}^\dagger = \sigma^z_j \sigma^z_{j+1},
\qquad
U_{KW}(\sigma^z_{j-1}\sigma^z_j)U_{KW}^\dagger = \sigma^x_j,
\]
while in \(2\)d the map becomes
\[
Z_v Z_{v'} \mapsto Z_e,
\qquad
X_v \mapsto \prod_{e \supset v} X_e.
\]
These circuits have depth \(O(\log N)\) and generalize to arbitrary \(\mathbb{Z}_n\) dualities [2607.01624].

A common misunderstanding is that Kramers–Wannier duality necessarily requires linear-depth local circuits. The shallow-circuit results show that logarithmic-depth, spatially nonlocal unitary circuits can realize the exact duality maps in \(1\)d and \(2\)d, although purely local connectivity still imposes linear-depth costs [2607.01624].

## 6. Phases, interfaces, and applications

Kramers–Wannier operators organize phase structure and critical behavior. In the Hopf–Ising case based on the self-dual Kac–Paljutkin algebra \(H_8\), the self-dual Hamiltonian is studied numerically and four of the six \(\mathrm{Rep}(H_8)\)-symmetric gapped phases are identified:
A: fully symmetric (GSD 1),  
B: preserves the invertible \(\mathbb{Z}_2 \times \mathbb{Z}_2\) subgroup (GSD 2),  
C: preserves the diagonal \(\mathbb{Z}_2\) (GSD 2),  
D: fully SSB (GSD 5).  
The transitions \(A\leftrightarrow B\) and \(C\leftrightarrow D\) are described by Ising critical lines, and a multicritical point appears at \(J = 1/2,\ K_c \approx 0.978\) [2602.10183].

In symmetry-enriched topological phases, translation can enforce Kramers–Wannier self-duality. For the Wen–plaquette model on a cylinder, one-site translation along the edge swaps the boundary operators \(S_{\tilde p,L}\leftrightarrow S_{p,L}\), which in the effective spin chain become \(\tau^x_{\tilde p,L}\leftrightarrow \tau^z_{\tilde p,L}\tau^z_{\tilde p-1,L}\). As a result, translation-invariant perturbations force both the edge Hamiltonian and the entanglement Hamiltonian to be Kramers–Wannier self-dual. However, edge–entanglement-spectrum correspondence does not hold generically; it appears only in a finite domain in Hamiltonian space where both effective theories realize the critical Ising model [1411.6932].

Mixed-state constructions provide another application. In higher-order subsystem SPT phases, tracing out the bulk can produce \(1\)d mixed states with a strong non-invertible Kramers–Wannier symmetry \(\mathrm{D}^{(1)}\) satisfying
\[
\mathrm{D}^{(1)}\,\rho=\rho\,\mathrm{D}^{(1)}.
\]
Interfaces then diagnose phase distinctions: when no local projector can preserve the relevant Kramers–Wannier symmetry across an interface, the two mixed states are in distinct phases [2603.03455].

Quantum many-body scarring offers a dynamical application. In a nonintegrable model with exact scar states \(|S_+\rangle\), \(|S_-\rangle\), and \(|\bar S\rangle\), the Kramers–Wannier circuit maps
\[
U\,|S_+\rangle = |\bar S\rangle,
\qquad
U\,|\bar S\rangle = |S_+\rangle,
\qquad
U\,|S_-\rangle = |\psi_T\rangle,
\]
where \(|\psi_T\rangle\) lies in a twisted sector with no exact scar. This is used as a diagnostic: scars are stable when the duality preserves the embedding conditions, and fragile when the dual image lies outside the protected sector [2508.05403].

Other applications are computational or combinatorial. For the SU(2) principal chiral model, the Kramers–Wannier dualization rewrites constrained worldline fluxes as unconstrained dual plaquette variables and disorder loop variables, producing a second representation with real and positive weights suitable for Monte Carlo simulation [1709.04691]. For Boolean satisfiability, a generalized Kramers–Wannier duality maps the #SAT partition function to a dual problem involving non-negative solutions of a Diophantine system of equations [1310.2252]. For planar Ising models with arbitrary bond couplings, the exact free energy is expressed as the determinant of ordered and disordered operators defined on vertices and dual vertices, making the duality explicit even in the random-bond case [2306.02220].

A final limitation concerns universality claims. Several works emphasize that Kramers–Wannier self-duality alone does not force a unique infrared outcome. In the Wen–plaquette setting, tricritical Ising or first-order self-dual transitions remain possible [1411.6932]. In the Hopf case, the Frobenius–Schur indicator of the infrared defect cannot be fixed purely at the lattice level because the defect mixes with translation [2602.10183]. This suggests that Kramers–Wannier operators are best understood as precise algebraic structures whose physical consequences depend on the symmetry sector, boundary conditions, and renormalization-group realization rather than as a single universal mechanism.

Source: https://www.emergentmind.com/topics/kramers-wannier-operators