The Jordan–Wigner transformation is a transformation that maps spin operators onto fermionic creation and annihilation operators. It was proposed by Pascual Jordan and Eugene Wigner for one-dimensional lattice models, but now two-dimensional analogues of the transformation have also been created. The Jordan–Wigner transformation is often used to exactly solve 1D spin-chains such as the Ising and XY models by transforming the spin operators to fermionic operators and then diagonalizing in the fermionic basis. This transformation actually shows that the distinction between spin-1/2 particles and fermions is nonexistent. It can be applied to systems with an arbitrary dimension. Analogy between spins and fermions In what follows we will show how to map a 1D spin chain of spin-1/2 particles to fermions. Take spin-1/2 Pauli operators acting on a site of a 1D chain, . Taking the anticommutator of and , we find , as would be expected from fermionic creation and annihilation operators. We might then be tempted to set Now, we have the correct same-site fermionic relations ; however, on different sites, we have the relation , where , and so spins on different sites commute unlike fermions which anti-commute. We must remedy this before we can take the analogy very seriously. A transformation which recovers the true fermion commutation relations from spin-operators was performed in 1928 by Jordan and Wigner. This is a special example of a Klein transformation. We take a chain of fermions, and define a new set of operators They differ from the above only by a phase . The phase is determined by the number of occupied fermionic modes in modes of the field. The phase is equal to if the number of occupied modes is even, and if the number of occupied modes is odd. This phase is often expressed as The transformed spin operators now have the appropriate fermionic canonical anti-commutation relations The inverse transformation is given by Note that the definition of the fermionic operators is nonlocal with respect to the bosonic operators because we have to deal with an entire chain of operators to the left of the site the fermionic operators are defined with respect to. This is also true the other way around. This is an example of a 't Hooft loop, which is a disorder operator instead of an order operator. This is also an example of an S-duality. If the system has more than one dimension the