We investigate the exact solution of the honeycomb model proposed by Kitaev and derive an explicit formula for the projector onto the physical subspace. The physical states are simply characterized by the parity of the total occupation of the fermionic eigenmodes. We consider a general lattice on a torus and show that the physical fermion parity depends in a nontrivial way on the vortex configuration and the choice of boundary conditions. In the vortex-free case with a constant gauge field we are able to obtain an analytical expression of the parity. For a general configuration of the gauge field the parity can be easily evaluated numerically, which allows the exact diagonalization of large spin models. We consider physically relevant quantities, as in particular the vortex energies, and show that their true value and associated states can be substantially different from the one calculated in the unprojected space, even in the thermodynamic limit.
The exactly solvable Kitaev honeycomb lattice model is realized as the low-energy effect Hamiltonian of a spin-1/2 model with spin rotation and time-reversal symmetry. The mapping to low-energy effective Hamiltonian is exact without truncation errors in traditional perturbation series expansions. This model consists of a honeycomb lattice of clusters of four spin-1/2 moments and contains short-range interactions up to six-spin (or eight-spin) terms. The spin in the Kitaev model is represented not as these spin-1/2 moments but as pseudospin of the two-dimensional spin-singlet sector of the four antiferromagnetically coupled spin-1/2 moments within each cluster. Spin correlations in the Kitaev model are mapped to dimer correlations or spin-chirality correlations in this model. This exact construction is quite general and can be used to make other interesting spin-1/2 models from spin-rotation invariant Hamiltonians. We discuss two possible routes to generate the high-order spin interactions from more natural couplings, which involves perturbative expansions thus breaks the exact mapping, although in a controlled manner.
The Kitaev honeycomb model is a paradigm of exactly solvable models, showing nontrivial physical properties such as topological quantum order, Abelian and non-Abelian anyons, and chirality. Its solution is one of the most beautiful examples of the interplay of different mathematical techniques in condensed matter physics. In this paper, we show how to derive a tensor network (TN) description of the eigenstates of this spin-1/2 model in the thermodynamic limit, and in particular for its ground state. In our setting, eigenstates are naturally encoded by an exact 3d TN structure made of fermionic unitary operators, corresponding to the unitary quantum circuit building up the many-body quantum state. In our derivation we review how the different ``solution ingredients'' of the Kitaev honeycomb model can be accounted for in the TN language, namely, Jordan-Wigner transformation, braidings of Majorana modes, fermionic Fourier transformation, and Bogoliubov transformation. The TN built in this way allows for a clear understanding of several properties of the model. In particular, we show how the fidelity diagram is straightforward both at zero temperature and at finite temperature in the vortex-free sector. We also show how the properties of two-point correlation functions follow easily. Finally, we also discuss the pros and cons of contracting of our 3d TN down to a 2d projected entangled pair state (PEPS) with finite bond dimension. The results in this paper can be extended to generalizations of the Kitaev model, e.g., to other lattices, spins, and dimensions.
We analyze the gapped phase of the Kitaev honeycomb model perturbatively in the isolated-dimer limit. Our analysis is based on the continuous unitary transformations method, which allows one to compute the spectrum as well as matrix elements of operators between eigenstates at high order. The starting point of our study consists of an exact mapping of the original honeycomb spin system onto a square-lattice model involving an effective spin and a hard-core boson. We then derive the low-energy effective Hamiltonian up to order 10 which is found to describe an interacting-anyon system, contrary to the order 4 result which predicts a free theory. These results give the ground-state energy in any vortex sector and thus also the vortex gap, which is relevant for experiments. Furthermore, we show that the elementary excitations are emerging free fermions composed of a hard-core boson with an attached spin- and phase-operator string. We also focus on observables and compute, in particular, the spin-spin correlation functions. We show that they admit a multiplaquette expansion that we derive up to order 6. Finally, we study the creation and manipulation of anyons with local operators, show that they also create fermions, and discuss the relevance of our findings for experiments in optical lattices.
We present a solution of Kitaev's spin model on the honeycomb lattice and of related topologically ordered spin models. We employ a Jordan-Wigner-type fermionization and find that the Hamiltonian takes a BCS-type form, allowing the system to be solved by Bogoliubov transformation. Our fermionization does not employ nonphysical auxiliary degrees of freedom and the eigenstates we obtain are completely explicit in terms of the spin variables. The ground state is obtained as a BCS condensate of fermion pairs over a vacuum state which corresponds to the toric-code state with the same vorticity. We show in detail how to calculate all eigenstates and eigenvalues of the model on the torus. In particular, we find that the topological degeneracy on the torus descends directly from that of the toric-code, which now supplies four vacua for the fermions, one for each choice of periodic vs antiperiodic boundary conditions. The reduction of the degeneracy in the non-Abelian phase of the model is seen to be due to the vanishing of one of the corresponding candidate BCS ground states in that phase. This occurs in particular in the fully periodic vortex-free sector. The true ground state in this sector is exhibited and shown to be gapped away from the three partially antiperiodic ground states whenever the non-Abelian phase is gapped.
These lecture notes focus on the Kitaev honeycomb model, a two-dimensional quantumsystem with three distinct Ising-type interactions, depending on the direction of eachbond. This model has proven particularly important for describing quantum spin liquids,as well as for applications in topological quantum computing, due to its exotictopological properties. It constitutes the first exactly solvable theoretical model thatfully captures the behavior of a quantum spin liquid. We begin by presenting the geometryof the model, the Hamiltonian that describes the system, and Alexei Kitaev's effort toobtain an exact analytical solution, based on the decomposition of the Hilbert spaceinto flux sectors. We then present Ettore Majorana's observation that the Dirac equationalso admits real solutions, leading to the theoretical prediction of Majorana fermions-- particles that are identical to their antiparticles. We examine how the spatialseparation of Majorana operators leads to the rise of unbound Majorana fermions, andshowcase the exotic topological properties that manifest in physical systems such assuperconducting wires. Next, we represent the Hamiltonian in the basis of Majoranafermions, by expressing spin operators using four Majorana operators. The transitionfrom the extended space
L~ to the physical subspace
Lis achieved through a gauge transformation of the
Z2 group. We thenreformulate the Hamiltonian in the basis of complex bond and matter fermions, transitionto momentum space, and assume that the system lies in the zero-flux sector. Through theBogoliubov--de Gennes transformation, we arrive at the final diagonalized Hamiltonianin the quasiparticle basis. Finally, we represent the possible phases -- the gaplessphase (phase
B) and the gapped phases (phase
Aαi) -- compute thecorresponding energy spectrum, and present the complete phase diagram. By employing thecorrelation function, we show that all phases are characterized by strong quantumentanglement and spin fractionalization, classifying the system as a quantum spin liquid.