Jordan-Wigner Transformation

• Jordan-Wigner transformation is a mapping that converts spin-½ operators into fermionic operators using nonlocal string operators, preserving canonical anticommutation relations.
• It reformulates strongly correlated spin Hamiltonians into effective fermionic problems, allowing for exact solutions and streamlined mean-field methods in various dimensions.
• The approach extends to different lattice geometries and models, underpinning simulation techniques in quantum many-body physics, quantum simulation, and integrable systems.

The Jordan-Wigner (JW) transformation is a nonlocal, algebraic mapping that establishes an exact correspondence between quantum spin-$\frac{1}{2}$ operators and canonical fermionic (or, more generally, parafermionic or Majorana) degrees of freedom. It provides a concrete mechanism for trading the $su(2)$ algebra of spins for the canonical anticommutation relations (CAR) of fermions, enabling the direct application of powerful fermionic many-body techniques to strongly correlated spin systems, and forms a central tool in quantum many-body theory, quantum information, and quantum simulation.

1. Formal Definition and One-Dimensional Construction

The JW transformation maps a chain of $M$ spin-$\frac{1}{2}$ sites to spinless fermion operators by associating to each site $p$: $$c_p = \left(\prod_{q<p} 2 S_q^z\right) S_p^- = \phi_p S_p^-, \qquad c_p^\dagger = S_p^+ \left(\prod_{q<p} 2 S_q^z\right) = S_p^+ \phi_p,$$ where $S_p^\pm = S_p^x \pm i S_p^y$ are the conventional spin-raising and -lowering operators, and the "JW string" is

$$\phi_p = \prod_{q<p} (1-2 n_q) = \exp\left(i\pi\sum_{q<p} n_q\right), \qquad n_q = c_q^\dagger c_q.$$

This mapping ensures that the resulting $c_p, c_p^\dagger$ satisfy the full CAR: $$\{c_p, c_q^\dagger\} = \delta_{pq}, \qquad \{c_p, c_q\} = 0,$$ even though the original $S_p^\pm$ obey $su(2)$ commutation relations. The inverse transformation expresses spins in terms of fermions and strings: $$S_p^- = c_p \phi_p, \qquad S_p^+ = c_p^\dagger \phi_p,$$ and $S_p^z = n_p - \tfrac12$ (Henderson et al., 2022).

This construction generalizes to any linear chain or, with added auxiliary degrees of freedom and appropriate Klein factors or string prescriptions, to tree graphs (Backens et al., 2018), higher spatial dimensions (Po, 2021, Gulacsi, 2024, Zhang, 2 Dec 2025), and systems with additional internal structure (e.g., for spinful fermions or multi-orbital models) (Gulacsi, 2024, Gulacsi, 2024).

2. Algebraic Structure, Generalizations, and Onsager Algebra

The JW mapping is underpinned by an algebraic structure involving local operators $\{\eta_i\}$ subject to: $$\eta_i \eta_{i+1} = -\eta_{i+1} \eta_i, \qquad \eta_i \eta_j = \eta_j \eta_i \quad (|i-j|>1), \qquad \eta_i^2 = 1.$$ For specific choices of $\eta_{2j-1} = \sigma_j^x$, $\eta_{2j} = \sigma_j^z \sigma_{j+1}^z$, one recovers the standard JW chain, but the algebraic structure allows for substantial generalization (Minami, 2021). Such sets generate the Onsager algebra—a central object in the exact solution of the two-dimensional Ising model and integrable systems. The algebraic generalization of JW thus not only facilitates fermionization but provides explicit realizations for the infinite family of conserved quantities in integrable models.

The construction extends to $n$-state clock models (with $\mathbb{Z}_n$ variants) and higher-dimensional or cluster models, always provided that the generators obey the requisite commutation relations. Accordingly, the algebraic JW framework is a robust unifying language for mapping a large class of spin, clock, and parafermionic chains to fermionic or Majorana quadratic systems (Minami, 2021).

3. JW Transformation for Generic Hamiltonians and String Operators

For a generic $S^z$-conserving two-body spin Hamiltonian,

$$H_S = H_0 + \sum_p x_p S_p^z + \sum_{p<q} x_{pq} S_p^z S_q^z + \sum_{p<q} J_{pq}(S_p^+ S_q^- + S_q^+ S_p^-) + i \sum_{p<q} K_{pq}(S_p^+ S_q^- - S_q^+ S_p^-),$$

the JW mapping yields

$$H_F = H_0 + \sum_p x_p \bar n_p + \sum_{p<q} x_{pq} \bar n_p \bar n_q + \sum_{p<q} J_{pq} (-c_p^\dagger c_q + c_q^\dagger c_p) \phi_p \phi_q + i \sum_{p<q} K_{pq} (-c_p^\dagger c_q - c_q^\dagger c_p) \phi_p \phi_q,$$

with $\bar n_p = n_p - \frac12$ and $\phi_p$ as above (Henderson et al., 2022).

Here, every off-diagonal two-body spin-flip term ($S^+ S^-$) is mapped to a one-body fermionic hopping term ($c^\dagger c$) multiplied by a (generally nonlocal) JW string, and diagonal $S^z S^z$ terms map directly to density-density interactions.

The string operators $\phi_p$ are diagonal in the occupation basis and encode fermionic statistics in the spin representation. They satisfy,

$\phi_p c_q = (-1)^{\theta(q<p)} c_q \phi_p,$

and their computational handling in matrix elements and mean-field theory is tractable through generalized Wick theorems or Lie-algebraic similarity transformations (Henderson et al., 2022, Tabrizi et al., 24 Aug 2025).

4. Strong–Weak Duality and Mean-Field Reduction

A principal feature revealed by recent studies is the "strong–weak duality" enforced by the JW map. In the original spin representation, correlations arise from off-diagonal two-body operators; under the JW mapping, these become effective one-body terms. This "rank reduction" means that a strongly correlated spin Hamiltonian is mapped to a (partially) weakly correlated fermionic problem, and mean-field methods (Hartree–Fock, HF) become much more effective (Henderson et al., 2022, Tabrizi et al., 24 Aug 2025, Henderson et al., 2024).

For example, in the 1D XXZ model with anisotropy $\Delta = 0$ and open boundaries, the JW strings vanish entirely, yielding a free-fermion Hamiltonian for which the HF solution is exact. For nonzero $\Delta$ or higher spatial dimensions, the transformed Hamiltonian involves interacting fermions, but the reduction in operator rank still enables the construction of surprisingly compact and accurate mean-field references.

Post-HF correlation can be restored through Lie-algebraic similarity transformations (LAST), employing both unitary (uLAST) and non-unitary operators, which systematically recover static and dynamic correlation, size consistency, and permutation invariance of site labels (Henderson et al., 2023, Tabrizi et al., 24 Aug 2025).

5. JW Mapping Beyond 1D: Trees, Higher Dimensions, and Symmetric Constructions

The nonlocality of JW strings in higher dimensions, on trees, or with periodic boundary conditions introduces topological and computational subtleties. In periodic 1D chains, for example, the string enforces a statistical boundary twist—fermion Hamiltonians acquire periodic or antiperiodic boundary conditions depending on the fermion parity sector, necessitating careful projection to avoid spectral redundancy (1804.00147).

On tree graphs, auxiliary junction spins (Klein factors) are introduced to enforce the correct anticommutation statistics between fermions on different branches, enabling the mapping of local tree-structured spin Hamiltonians to local fermion models (Backens et al., 2018).

In two and three dimensions, several advanced JW-type mappings have been developed to balance locality, symmetry preservation, and computational feasibility, using reordered strings (Gulacsi, 2024), local Z$_2$ gauge fields (Po, 2021, Li et al., 2021), or parton (Majorana or composite fermion) decompositions. These constructions extend the reach of JW ideas to square, kagome, diamond, and cubic lattices, enabling exact bosonization of Hubbard-type and $t$–$J$ models, and providing new frameworks for quantum spin-liquid models (Po, 2021, Li et al., 2021).

In three dimensions, the JW transformation enables the exact fermionization of the 3D Ising model, mapping spin operators to fermion bilinears with nontrivial string phases. The solution uses Clifford algebraic techniques, Fourier and Bogoliubov transformations, and projects to the physical sector, preserving topological features (e.g., emergent Chern-Simons structure) and universal critical properties (Zhang, 2 Dec 2025).

6. Permutational Invariance, Generalized Strings, and Gate-Efficient Mappings

For finite systems, the standard JW mapping depends on the ordering of sites, causing approximate solutions (e.g., mean-field or truncated CI) to exhibit spurious labeling dependence. This was resolved by the introduction of the extended JW (EJW) transformation, which generalizes the string operator: $$\phi_p(\boldsymbol\theta) = \exp\left(i \sum_{q \neq p} \theta_{pq} n_q\right),$$ with antisymmetric parameters $\theta_{pq}$ chosen to satisfy $|\theta_{pq} - \theta_{qp}| = \pi$ and optimized variationally. This unitary similarity transformation restores full permutation invariance and can incorporate additional static correlation (Henderson et al., 2023, Henderson et al., 23 Dec 2025).

Moreover, unified frameworks such as the Multilayer Segmented Parity (MSP) family interpolate continuously between JW, parity, and Bravyi–Kitaev transformations, optimizing the trade-off between Pauli-string weight and hardware locality for quantum simulation. MSP can significantly reduce gate counts and operator aggregation for quantum circuit implementations, with JW representing the most local, maximally weighted extreme (Li et al., 2021).

7. Applications and Physical Consequences

The JW transformation underlies much of the exact diagonalization of quantum spin chains and facilitates the effective simulation of quantum chemistry and strongly correlated lattice models on both classical and quantum platforms.

Its applications include:

• Exact solution of the 1D XY and XXZ chains via mapping to free or interacting fermions;
• Determination of strong-correlation regimes in spin models via mean-field reduction and systematic correlation corrections (LAST family) (Henderson et al., 2022, Tabrizi et al., 24 Aug 2025, Henderson et al., 2024);
• Fermionization of arbitrary tree graphs and Majorana braiding simulation in quantum circuits (Backens et al., 2018);
• Description of the phase diagram and thermodynamics of 3D spin models through Clifford-algebraic JW mapping (Zhang, 2 Dec 2025);
• Construction of efficient measurement schemes for variational quantum algorithms, exploiting hidden symmetries (global $z$-rotations) of the JW mapping to reduce measurement overhead (Davis et al., 31 Dec 2025);
• Structural understanding of integrable models and Onsager algebra representations via algebraic generalizations (Minami, 2021);
• Generalization to spinful systems (arbitrary internal symmetry, higher spin $s$) and the accurate, polynomial-cost treatment of DOCI/seniority-zero correlated states in quantum chemistry (Henderson et al., 23 Dec 2025).

The JW framework's adaptability and transparency, especially when augmented by symmetry-restoring extensions and gate-optimal partitionings, render it a foundational tool in contemporary many-body quantum science.