Non-Abelian Statistics in one dimension: topological momentum spacings and SU(2) level $k$ fusion rules
Martin Greiter, F.D.M. Haldane, and Ronny Thomale

TL;DR
This paper demonstrates that non-Abelian SU(2) level k anyon statistics in one-dimensional spin chains manifest through topological momentum spacings, linking fusion rules to domain wall configurations in critical spin models.
Contribution
It introduces a novel connection between topological momentum spacings in 1D spin chains and SU(2) level k fusion rules, extending the understanding of non-Abelian anyons to one dimension.
Findings
Topological momentum spacings encode non-Abelian statistics.
Fusion rules correspond to domain wall configurations.
Derived rules for Ising and SU(2) level k anyons.
Abstract
We use a family of critical spin chain models discovered recently by one of us [M. Greiter, Mapping of Parent Hamiltonians, Springer, Berlin/Heidelberg 2011] to propose and elaborate that non-Abelian, SU(2) level anyon statistics manifests itself in one dimension through topological selection rules for fractional shifts in the spacings of linear momenta, which yield an internal Hilbert space of, in the thermodynamic limit degenerate states. These shifts constitute the equivalent to the fractional shifts in the relative angular momenta of anyons in two dimensions. We derive the rules first for Ising anyons, and then generalize them to SU(2) level anyons. We establish a one-to-one correspondence between the topological choices for the momentum spacings and the fusion rules of spin \half spinons in the SU(2) level Wess--Zumino--Witten model, where the internal Hilbert spaceâŠ
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Non-Abelian Statistics in one dimension:
topological momentum spacings and SU(2) level fusion rules
Martin Greiter
Institute for Theoretical Physics, University of WĂŒrzburg, Am Hubland, D-97074 WĂŒrzburg, Germany
ââ
F.D.M. Haldane
Department of Physics, Princeton University, Princeton, New Jersey 08544, USA
ââ
Ronny Thomale
Institute for Theoretical Physics, University of WĂŒrzburg, Am Hubland, D-97074 WĂŒrzburg, Germany
Abstract
We use a family of critical spin chain models discovered recently by one of us [M. Greiter, Mapping of Parent Hamiltonians, Springer, Berlin/Heidelberg 2011] to propose and elaborate that non-Abelian, SU(2) level anyon statistics manifests itself in one dimension through topological selection rules for fractional shifts in the spacings of linear momenta, which yield an internal Hilbert space of, in the thermodynamic limit degenerate states. These shifts constitute the equivalent to the fractional shifts in the relative angular momenta of anyons in two dimensions. We derive the rules first for Ising anyons, and then generalize them to SU(2) level anyons. We establish a one-to-one correspondence between the topological choices for the momentum spacings and the fusion rules of spin spinons in the SU(2) level WessâZuminoâWitten model, where the internal Hilbert space is spanned by the manifold of allowed fusion trees in the Bratelli diagrams. Finally, we show that the choices in the fusion trees may be interpreted as the choices between different domain walls between the possible, degenerate dimer configurations of the spin chains at the multicritical point.
I Introduction
The concept of fractional quantization, and, in particular, fractional statistics wilczek90 , is witnessing a renaissance of interest in recent years. This is due to possible applications of states supporting excitations with non-Abelian statistics stern10n187 to the rapidly evolving field of quantum computing and cryptography. The paradigm for this class is the Pfaffian state moore-91npb362 ; greiter-92npb567 , which has been proposed to describe the experimentally observed quantized Hall plateau at Landau level filling fraction  greiter-92npb567 . The state supports quasiparticle excitations which possess Majorana fermion states at zero energy read-00prb10267 . Braiding of these half-vortices yields non-trivial changes in the occupations of the Majorana fermion states, and hence renders the exchanges non-commutative or non-Abelian ivanov01prl268 ; stern-04prb205338 . Since this âinternalâ state vector is insensitive to local perturbations, it is preeminently suited for applications as protected qubits in quantum computation kitaev03ap2 ; nayak-08rmp1083 . Non-Abelian anyons are further established in other quantum Hall states including Read-Rezayi states read-99prb8084 , in the non-Abelian phase of the Kitaev model kitaev06ap2 , the YaoâKivelson and YaoâLee models yao-07prl247203 ; yao-11prl087205 , and in the family of non-Abelian chiral spin liquid (NACSL) states introduced by two of us greiter-09prl207203 ; scharfenberger-11prb140404 ; greiter-14prb165125 . The latter were subsequently revisited from a coupled ladder approach meng-15prb241106 ; lecheminant-17prb140406 , continuum limit interpolation glasser-15njp082001 , as well as from the viewpoint of Gutzwiller-projected superconductors liu-18prb195158 and topological entanglement entropy wildeboer-16prb045125 .
In this article, we propose and elaborate that the possibility of non-Abelian statistics is not limited to two spacial dimensions, but exists in certain families of one dimensional spin models as well. In particular, we use a family of (multi-) critical spin chain models discovered recently by one of us Greiter11 (and for SU(2) level 2 shortly thereafter independently obtained by Nielsen et al. nielsen-11jsmte11014 ), to show that the SU(2) level anyon statistics of the spinons of these models manifests itself in one dimension through topological selection rules for the fractional momentum spacings, which constitute the equivalent to fractional relative angular momentum for anyons in two dimensions. In Section II, we review the fractional momentum spacings of the spinons excitation in an model discovered by Shastry and one of us, commonly referred to as the HaldaneâShastry model haldane88prl635 ; shastry88prl639 . This model constitutes a lattice WessâZuminoâWitten model wess-71plb95 ; witten84cmp455 ; DiFrancescoMathieuSenechal97 , and the spinons obey Abelian half-Fermi statistics haldane91prl937 ; greiter09prb064409 . We further review the formalism of extended Young tableaux greiter-07prl237202 ; scharfenberger-12jpa455202 , which provides the single particle momenta of the spinon excitations. In Section III, we first review the ground state and the associated parent Hamiltonian of a similar, exactly solvable, critical spin model for a spin chain Greiter11 ; thomale-12prb195149 ; nielsen-11jsmte11014 . This model supports spinon excitations with Ising-type, non-Abelian statistics. We then generalize the formalism of extended Young tableaux greiter-07prl237202 to the case and find that after every second spinon, there are two possible choices for the quantization of the momentum spacingâit can either be integer or half integer. This yields an equivalent number of choices as we would obtain if we had one Majorana fermion state for each spinon, in analogy to the Majorana fermion states located at the quasiparticles of the MooreâRead state in the quantum Hall effect moore-91npb362 ; kopnin-91prb9667 ; read-00prb10267 . The choice we have after the 1st, 3rd, 5th etc. spinon is that the spacings between the neighboring single spinon momenta can either be that of Bose (or Fermi) statistics, or be that of half-Fermi statistics. We call the momentum spacings for this model Majorana spacings. In Section IV, we review the generalization of the model to arbitrary spin , generalize the formalism of extended Young tableaux accordingly, and derive the rules for the momentum spacings of non-Abelian SU(2) level anyons. These are not as easily stated, but reasonably simple as far as the principles are concerned. The mapping of these rules back to the related family of quantized Hall states, the Read-Rezayi states read-99prb8084 , may be instructive in formulating explicit matrix representations of SU(2) level anyons in two dimensions, a task which so far has been accomplished only for Ising anyons ivanov01prl268 . Finally, we establish a one-to-one correspondence between the rules for the momentum spacings we have derived from the formalism of extended Young tableaux, and the fusion rules of spinons within the SU(2) level algebra. The physical information regarding the momentum spacings can hence be transferred to the spinon bases bouwknegt-94plb448 ; bouwknegt-95plb304 ; bouwknegt-96npb345 ; bouwknegt-99npb501 of the conformal field theory, the WessâZuminoâWitten model wess-71plb95 ; witten84cmp455 ; affleck86npb409 ; affleck-87prb5291 .
II Fractional momentum spacings and Abelian anyons in 1D
II.1 The HaldaneâShastry model
The HaldaneâShastry model haldane88prl635 ; shastry88prl639 ; haldane91prl1529 ; shastry92prl164 ; haldane-92prl2021 ; kawakami92prb1005 ; talstra95 ; bernevig-01prl3392 ; greiter-06prl059701 ; greiter-07prl237202 is one of the most important paradigms for a generic spin liquid on a chain. Consider a spin chain with periodic boundary conditions and an even number of sites on a unit circle embedded in the complex plane:
sites with spin on unit circle:withÂ
The -Hamiltonian
[TABLE]
where is the chord distance between the sites and , has the exact ground state
[TABLE]
where the sum extends over all possible ways to distribute the -spin coordinates on the unit circle and
[TABLE]
The ground state is real, a spin singlet, has momentum
[TABLE]
where we have adopted a convention according to which the âvacuumâ state has momentum (and the empty state has ), and energy
[TABLE]
The ground state (II.1) with (3) was known long before the model, as it can be obtained by Gutzwiller projection from Slater determinant states describing filled bands gutzwiller63prl159 ; kaplan-82prl889 ; metzner-87prl121 . The Hamiltonian (1) possesses a Yangian symmetry haldane-92prl2021 ; ha-93prb12459 , is fully integrable talstra-95jpa2369 , and also amenable to exact solution via the asymtotic Bethe Ansatz haldane91prl1529 ; kawakami92prb1005 ; ha-93prb12459 ; ha-94prl2887 .
We will not verify the model explicitly here, but rather focus on the fractional momentum spacings of the spinon excitations, which reflect their Abelian anyon statistics.
II.2 Spinon excitations and fractional statistics
The elementary excitations for the HaldaneâShastry model are free spinon excitations, which carry spin and no charge. They constitute an instance of fractional quantization, which is both conceptually and mathematically similar to the fractional quantization of charge in the fractional quantum Hall effect laughlin83prl1395 . Their fractional quantum number is the spin, which takes the value in a Hilbert space (II.1) made out of spin flips , which carry spin 1.
One-spinon states.âTo write the wave function for a -spin spinon localized at site , consider a chain with an odd number of sites and let be the number of or spins condensed in the uniform liquid. The spinon wave function is then given by
[TABLE]
which we understand substituted into (II.1). It is easy to verify and , which shows that the spinon transforms as a spinor under rotations.
The localized spinon (6) is not an eigenstate of the Hamiltonian (1). To obtain exact eigenstates, we construct momentum eigenstates according to
[TABLE]
where the integer corresponds to a momentum quantum number. Since contains only powers and
[TABLE]
will vanish unless . There are only roughly half as many-spinon orbitals as there are sites. Spinons on neighboring sites hence cannot be orthogonal. Acting with (1) on (7), we obtain haldane91prl1529 ; bernevig-01prl3392 ; bernevig-01prb024425 ; Greiter11
[TABLE]
To make a correspondence between and the spinon momentum , we translate (7) counterclockwise by one lattice spacing (which we set to unity for present purposes) around the unit circle,
[TABLE]
With , we find
[TABLE]
The energy (9) can be written as , with the spinon dispersion given by
[TABLE]
as depicted in Figure 1. The interval of allowed spinon momenta spans only half of the Brillouin zone, and alternates with even vs. odd.
Two-spinon states.âTo write the wave function for two -spin spinons localized at sites and , consider a chain with even and . The two-spinon state is then given by
[TABLE]
A momentum basis for the two-spinon states is given by
[TABLE]
where . For or outside this range, vanishes identically, reflecting the overcompleteness of the position space basis. Acting with (1) on (7), we obtain haldane91prl1529 ; bernevig-01prl3392 ; bernevig-01prb024425 ; Greiter11
[TABLE]
with
[TABLE]
and . Since the âscatteringâ of the non-orthogonal basis states in (15) only occurs in one direction, increasing while keeping fixed, the eigenstates of have energy eigenvalues , and are of the form
[TABLE]
A recursion relation for the coefficients is readily obtained from (15).
If we identify the single-spinon momenta for according to
[TABLE]
with a statistical shift  greiter-05prb224424 ; greiter-06prl059701 , we can write the energy
[TABLE]
where is the ground state energy (5) and the spinon dispersion (12).
Fractional statistics.âThe mutual half-Fermi statistics of the spinons manifests itself in the fractional shift in the single-spinon momenta (19) and (20), as we will elaborate now greiter09prb064409 . The Ansatz (14) unambiguously implies that the sum of the two spinon momenta is given by , and hence (19) and (20). The shift is determined by demanding that the excitation energy (21) of the two-spinon state is a sum of single-spinon energies, which in turn is required for the explicit solution here to be consistent with the models solution via the asymptotic Bethe ansatz ha-93prb12459 ; essler95prb13357 ; greiter-05prb224424 .
The shift decreases the momentum of spinon 1 and increases momentum of spinon 2. This may surprise at first as the basis states (14) are constructed symmetrically with regard to interchanges of and . To understand the asymmetry, note that implies . The dispersion (12) implies that the group velocity of the spinons is given by
[TABLE]
which in turn implies that . This means that the relative motion of spinon 1 (with ) with respect to spinon 2 (with ) is always counterclockwise on the unit circle (see Figure 2).
The shifts in the individual spinon momenta can hence be explained by assuming that the two-spinon state acquires a statistical phase whenever the spinons pass through each other. This phase implies that is shifted by since we have to translate spinon 1 counterclockwise through spinon 2 and hence counterclockwise around the unit circle when obtaining the allowed values for from the PBCs. Similarly, is shifted by since we have to translate spinon 2 clockwise through spinon 1 and hence clockwise around the unit circle when obtaining the quantization of .
That the crossing of the spinons occurs only in one direction is a necessary requirement for fractional statistics to exist in one dimension. If the spinons could cross in both directions, the fact that paths interchanging them twice (i.e., once in each direction) are topologically equivalent to paths not interchanging them at all would imply for the statistical phase, i.e., only allow for the familiar choices of bosons or fermions. With the scattering occurring in only one direction, arbitrary values for are possible. Note that the one-dimensional anyons break neither time-reversal symmetry (T) nor parity (P).
The fractional statistics of the spinons manifests itself further in the fractional exclusion (or generalized Pauli) principle introduced by one of us haldane91prl937 . If we consider a state with spinons, we can easily see from (7), (8), and (14) that the number of orbitals available for further spinons we may wish to create is , where is the number of or spins in the remaining uniform liquid. (In this representation, the spinon wave functions are symmetric; two or more spinons can have the same value for .) In other words, the creation of two spinons reduces the number of available single spinon states by one. They hence obey half-Fermi statistics in the sense of the generalized Pauli exclusion principle. (For fermions, the creation of two particles would decrease the number of available single particle by two, while this number would not change for bosons.)
II.3 Young tableaux and many-spinon states
The easiest way to obtain the spectrum of the model is through the one-to-one correspondence between the Young tableaux classifying the total spin representations of spins and the exact eigenstates of the the HaldaneâShastry model for a chain with sites, which are classified by the total spins and the fractionally spaced single-particle momenta of the spinons greiter-07prl237202 .
This correspondence yields the allowed sequences of single-spinon momenta as well as the allowed representations for the total spin of the states such that the eigenstates of the HaldaneâShastry model have momenta and energies
[TABLE]
where and denote the ground state momentum and energy, respectively, and is the single-spinon dispersion. The correspondence hence does not only provide the quantum numbers of all the states in the spectrum, but also shows that it is sensible to view the individual spinons as particles, rather than just as solitons or collective excitations in many body condensates. We now proceed by stating these rules without further motivating or even deriving them.
To begin with, the Hilbert space of a system of identical SU() spins can be decomposed into representations of the total spin, which commutes with (1) and hence can be used to classify the eigenstates. These representations are compatible with the representations of the symmetric group SN of elements, which may be expressed in terms of Young tableaux Hamermesh62 ; InuiTanabeOnodera96 . The general rule for obtaining Young tableaux is illustrated for three spins in Fig. 3. For each of the spins, draw a box and number the boxes consecutively from left to right. The representations of SU() are constructed by putting the boxes together such that the numbers assigned to them increase in each row from left to right and in each column from top to bottom. Each tableau indicates symmetrization over all boxes in the same row, and antisymmetrization over all boxes in the same column. This implies that we cannot have more than boxes on top of each other for SU() spins. For SU(2), each tableau corresponds to a spin representation, with the number of boxes in the row, and stands for a multiplet .
The one-to-one correspondence between the Young tableaux and the non-interacting many-spinon eigenstates of the HaldaneâShastry model is illustrated in Fig. 4 for a chain with sites. The rule is that in each Young tableau, we shift boxes to the right such that each box is below or in the column to the right of the box with the preceding number. Each missing box in the resulting, extended tableaux represents a spinon. The extended tableaux provide us with the total spin of each multiplet, which is given by the representation specified by the original Young tableau, the number of spinons present, and the individual spinon momentum numbers , which are just the numbers in the boxes above or below the dots representing the spinons. The single-spinon momenta are obtained from those via
[TABLE]
which implies , with for .
The total momentum and the total energies of the many-spinon states are given by (23) with
[TABLE]
and the single-spinon dispersion
[TABLE]
where we use a convention according to which the âvacuumâ state has momentum (and the empty state has ).
This correspondence shows that spinons are non-interacting, with momentum spacings appropriate for half-fermions. We may interpret the Haldane-Shastry model as a reparameterization of a Hilbert space spanned by spin flips (II.1) into a basis which consists of the Haldane-Shastry ground state plus all possible many-spinon states.
III Majorana spacings and Ising anyons
III.1 An exact model of a critcal spin chain described
by a Pfaffian
As for the HaldaneâShastry model, we consider a one-dimensional lattice with periodic boundary conditions and an even number of sites on a unit circle embedded in the complex plane. The only difference is that now the spin on each site is :
sites with spin 1 on unit circle:withÂ
The ground state wave function we consider here greiter02jltp1029 ; greiter-09prl207203 ; Greiter11 is given by a bosonic Pfaffian state in the complex lattice coordinates supplemented by a phase factor,
[TABLE]
The Pfaffian is given by the fully antisymmetrized sum over all possible pairings of the particle coordinates,
[TABLE]
The âparticlesâ represent re-normalized spin flips acting on a vacuum with all spins in the state,
[TABLE]
where the sum extends over all possibilities of distributing the âparticlesâ over the lattice sites allowing for double occupation,
[TABLE]
and
[TABLE]
This state is translationally invariant with momentum , a spin singlet, real, and invariant under P and T. It may be viewed as the one-dimensional analog of the non-Abelian chiral spin liquid greiter-09prl207203 ; greiter-14prb165125 .
Like the ground state of the HaldaneâShastry model, the state (27) describes a critical spin liquid in one dimension, with algebraically decaying correlations. It does not, however, serve as a paradigm of the generic spin state, as the generic state possesses a Haldane gap haldane83pl464 ; haldane83prl1153 ; affleck90proc ; Fradkin91 in the spin excitation spectrum due to linearly confining forces between the spinons affleck-87prl799 ; affleck-88cmp477 ; greiter02jltp1029 ; greiter-07prb184441 ; greiter10np5 .
The Pfaffian state (29) with (27) is the exact ground state of the Hamiltonian Greiter11 ; thomale-12prb195149
[TABLE]
with energy eigenvalue
[TABLE]
This model was shortly afterwards independently rediscovered by Nielsen, Cirac, and Sierra nielsen-11jsmte11014 . The effective field theory of the Hamiltonian (III.1) is given by the SU(2) level WessâZuminoâWitten model wess-71plb95 ; witten84cmp455 ; affleck86npb409 ; affleck-87prb5291 . It was further shown very recently by Michaud et al. michaud-13prb140404 that one can construct a critical spin model of the WessâZuminoâWitten universality class if one only keeps the leading two- and three-body spin terms in (III.1), and adjusts the coefficients accordingly.
In analogy to the non-Abelian quasiparticles of the Pfaffian state in the quantized Hall effect, the spinons of the model are Ising anyons. The space of the (in the thermodynamic limit) degenerate states associated with the non-Abelian statistics is spanned by the Majorana fermion orbitals at the quasiparticle or spinon excitations. The model hence provides us with a framework to study Ising anyons in one dimension.
III.2 Generation of the ground state by projection from Gutzwiller states
We will show now that the ground state (27) can alternatively be generated by considering two (identical) HaldaneâShastry or Gutzwiller states (3) and projecting onto the triplet or configuration contained in
[TABLE]
at each site greiter02jltp1029 ; greiter-09prl207203 .
This projection can be accomplished very conveniently using Schwinger bosons schwinger65proc ; Auerbach94 . In terms of those, the SU(2) spin operators are given by
[TABLE]
where is the vector consisting of the three Pauli matrices, and () are independent boson creation (annihilation) operators which obey
[TABLE]
The spin quantum number is given by half the number of bosons,
[TABLE]
and the usual spin states (simultaneous eigenstates of and ) are given by
[TABLE]
In particular, the spin- states are given by
[TABLE]
i.e., and act just like the fermion creation operators and in this case. The difference between fermion creation and Schwinger boson creation operators shows up only when two (or more) creation operators act on the same site or orbital. The fermion operators create an antisymmetric (or singlet) configuration (in accordance with the Pauli principle),
[TABLE]
while the Schwinger bosons create a totally symmetric (triplet, or higher spin if we create more than two bosons) configuration,
[TABLE]
To generate the ground state (27), we first rewrite (II.1) in terms of Schwinger bosons,
[TABLE]
where and the âs are those lattice sites which are not occupied by any of the âs. Then the Pfaffian state (29) with (27) is up to an overall normalization factor given by
[TABLE]
To verify (47), use the identity
[TABLE]
where indicates symmetrization over all the variables in the curly brackets, and
[TABLE]
which is readily verified with (37), (III.2), and the definition (30). To prove (III.2), use the following identity due to Frobenius frobenius-1882ram53 ,
[TABLE]
The projective construction directly reveals that the state (29) with (27) inherits several symmetries from the Gutzwiller state (translational, SU(2) spin rotation, parity, and time reversal).
III.3 Topological degeneracies and non-Abelian statistics
It is well established that spatially well separated quasiparticle excitations or vortices carrying half of a Dirac flux quanta each in the non-Abelian quantized Hall state described by the Pfaffian moore-91npb362 ; greiter-91prl3205 ; greiter-92npb567 will span an internal or topological Hilbert space of dimensions ( for either even or odd fermion numbers) nayak-96npb529 , in accordance with the existence of one Majorana fermion state at each vortex core kopnin-91prb9667 ; read-00prb10267 ; ivanov01prl268 ; stern-04prb205338 . The Majorana fermion states can only be manipulated through braiding of the vortices, with the interchanges being non-commutative or non-Abelian moore-91npb362 ; ivanov01prl268 ; stern10n187 .
The question we wish to address in this paper is whether there is any manifestation of this topological space of dimension , or the Majorana fermion states, in the spinon excitation Hilbert space suggested by the ground state (27). In Section II.2, we have seen that the fractional statistics of the spinons in the HaldaneâShastry model, and presumably in any model supporting one-dimensional anyons, is encoded in the momentum spacings of the excitations. This is not too surprising, as there are no other suitable quantum numbers, like the relative angular momentum for two-dimensional anyons, available. We will propose now that the topological degeneracies, or the occupation numbers of the fermions consisting of the Majorana fermions, are once again encoded in the momentum spacings between single spinon states.
In the HaldaneâShastry model, the spacings between neighboring momenta were always half integer, in accordance with half-Fermi statistics, as the difference between consecutive spinon momentum numbers was always an odd integer,
[TABLE]
This follows directly from the construction of the extended Young tableaux illustrated in Fig. 4. When two spinons are in neighboring columns, the difference of the is one and hence an odd integer; when we insert complete columns without spinons in between, the number of boxes we insert is always even.
We will now show that for the chain with the Hilbert space parameterized by the ground state and all spinon excitations above it, the corresponding rule is
[TABLE]
As , we have a total of spacings which can be either even or odd, and another spacings which are always odd. With the single spinon momenta given by
[TABLE]
this yields momentum spacings which can be either an integer or an half-integer times for odd. This is a topological distinctionâfor Abelian anyons, one choice corresponds to bosons or fermions (which, for most purposes, are equivalent in one dimension), and the other choice to half-fermions. For spinons which are well separated in momentum space, the states spanning this in total dimensional topological Hilbert space become degenerate as we approach the thermodynamic limit.
To derive (54), we introduce a second formalism of extended Young tableaux, this time for spin . The general rule we wish to propose for obtaining the tableaux is illustrated in Fig. 5 for three spins with . The construction is as follows. For each of the spins, put a row of two adjacent boxes, which is equivalent to the Young tableau for a single spin without any numbers in the boxes. Put these small tableaux on a line and number them consecutively from left to right, with the same number in each pair of boxes which represent a single spin. To obtain the product of some extended Young tableau representing spin on the left with a spin tableau (i.e., a row of two boxes with the same number in it) on the right, we follow the rule
[TABLE]
i.e., we obtain only one new tableau with both boxes from the right added to the top row if the tableau on the left is a singlet, and three new tableaux if it has spin one or higher. These three tableaux are constructed by adding both boxes to the bottom row (resulting in a representation ), by adding the first box to the bottom row and the second box to the top row without stacking them on top of each other (resulting in a representation ), and by adding both boxes to the top row (resulting in a representation ). In each extended tableau, the boxes must be arranged such that the numbers are strictly increasing in each column from top to bottom, and that they are not decreasing from left to right in that the smallest number in each column cannot be smaller than the largest number in the column to the left of it. In analogy to the case of the HaldaneâShastry model, the empty spaces in between the boxes are filled with dots representing spinons. The spinon momentum number associated with each spinon is given by the number in the box in the same column. A complete table of all the extended Young tableaux for four spins is shown in Fig. 6. The assignment of physical single spinon momenta to the spinon momentum numbers (55) is identical to this assignment for the HaldaneâShastry model, as we can obtain the states of the Hilbert space by Schwinger boson projection (i.e., by projecting on spin on each site) from states contained in the dimensional Hilbert space of two models, a projection which commutes with the total momentum. The correctness of this assignment has further been verified numerically up to sites scharfenberger-12jpa455202 .
With the tableau structure thus in place, all that is left to show is that the allowed momentum spacings obey (54). Looking at any of the tableaux in Fig. 6, we note that from left to right, the spinons alternate between being assigned to the first of the two boxes with a given number and being assigned to the second of such two boxes. This follows simply form the fact that the number of boxes in between the columns with the two neighboring spinons must be even. The first spinon momentum number is always odd, but all the other âs can be either even or odd. The rule is therefore that if is odd, the -th spinon is assigned to the first of the two boxes with number , and the momentum spacing can be either even or odd,
33evenor3344oddor334455evenorâŠ
If is even, however, the -th spinon is assigned to the second of the two boxes with number , and the momentum spacing has to be odd, as we can insert only an even number of columns between the two spinons (recall that we cannot stack two boxes with the same number in it on top of each other):
34oddor345456oddor3454567678oddorâŠ
The spacings between the single spinon momenta are hence as stated in (54).
IV Topological momentum spacings for SU(2) level anyons in
general
IV.1 Generalization of the model to arbitrary spin S
The projective generation introduced in Section III.2 can be generalized to arbitrary spin :
[TABLE]
In order to write this state in a form similar to (27)â(31),
[TABLE]
where
[TABLE]
is the âvacuumâ state in which all the spins are maximally polarized in the negative -direction, we introduce re-normalized spin flip operators which satisfy
[TABLE]
If we assume a basis in which is diagonal, we may write
[TABLE]
The wave function for the spin state (59) is then given by
[TABLE]
where . Note that these states are similar to the Read-Rezayi states read-99prb8084 in the quantized Hall effect.
As for the state discussed in Section III.2, the projective construction (59) directly implies several symmetries. The state is translationally invariant with ground state momentum , a spin singlet, and real.
It was again shown by one of us Greiter11 that (59) (or (60) with (64)) is the exact ground state of the Hamiltonian
[TABLE]
with energy eigenvalue
[TABLE]
Note that the HaldaneâShastry Hamiltonian (1) and the Hamiltonian (III.1) are just special cases of this general model.
IV.2 Momentum spacings and topological degeneracies
In Section III.3, we have shown that the non-Abelian statistics of the Pfaffian state (27), and in particular the topological degeneracies associated with the Majorana fermion states, manifests itself in topological choices for the (kinematic) momentum spacings of the spinon excitations above the ground state (27). Specifically, we found that if we label the single spinon momenta in ascending order by , the spacings can be either even or odd multiples of if is odd, while it has to be an odd multiple if is even.
In this Section, we formulate the corresponding restrictions for the general spin chain with ground state (59). We will first state the rules and then motivate them. Recall that spinons are represented by dots placed in the empty spaces of extended Young tableaux, and that the momentum number of spinon is given by the number in the box it shares a column with. For general spin , the tableau describing the representation on each site is given by
[TABLE]
i.e., a horizontal array of boxes indicating symmetrization, which all contain the same number.
If this number is , the spinons we assign to any of these boxes will have momentum number . Let us denote the number of the box a given spinon with momentum number is assigned to, by , such that box number corresponds to the first, and box number to the last box with number in it:
[TABLE]
We will see below that if a representation of a spin chain with spinons is written in terms of an extended Young tableau, the first spinon with momentum number will always have box number , and the last spinon with will have . The restrictions corresponding to the non-Abelian (SU(2) level ) statistics of the spinons are described by the flow diagram of the numbers shown in Figure 7.
Let us elaborate this diagram first for the case , which we have already studied in Section III.3. In this case,
[TABLE]
For odd, we may move from to either via the horizontal arrow or via the semicircle in Figure 7a, and may hence be either even or odd, respectively. For even or , however, the semicircle is the only available continuation, which implies that the spacing must be odd.
For general , Figure 7b implies that the spacings can be even or odd until is reached, which is then followed by an odd integer spacing , as the semicircular arrow is the only possible continuation at this point. Note that for , the minimal number of spinons is two (these two spinons then have an odd integer spacing ), and that we cannot have more than spinons with the same momentum number , as is even.
We will now motivate this diagram. To begin with, we generalize the formalism of extended Young tableaux to arbitrary spin . The construction is similar to the one for outlined in Section III.3. For each of the spins, put a row of adjacent boxes. Put these tableaux on a line and number them consecutively from left to right, with the same number in each row of boxes representing a single spin. To obtain the product of some extended Young tableau representing spin on the left with a spin tableau (i.e., a row of boxes with the same number in it) on the right, we first recall
[TABLE]
which implies that we obtain either or new tableaux, depending on which number is smaller. In terms of extended Young tableaux, (70) translates into
[TABLE]
The first tableau on the right-hand side of (71) exists only for , the second only for , and so on. Note that the shape of the right boundary of the extended Young tableaux for does not determine which tableaux are contained in the expansion of , as this depends only on the number . In the expansion (71), the boxes representing a single spin always reside in adjacent columns. In an extended tableau, the numbers in the boxes are equal or increasing as we go from left to right, and strictly increasing from top to bottom. The empty spaces we obtain as we build up the tableaux via this method represent the spinons. Note that we cannot take a given tableau and just add a pair of spinons by inserting them somewhere, as the resulting tableau would not occur in the expansion.
In Figure 8, we illustrate the principle by writing out a few terms in the expansion for an chain. We now turn to the question what this construction implies for the momentum spacings of the spinons. It is very easy to see from Figure 8 that and is odd, and that and is even (odd) for even (odd). Let us assume we have a spinon with momentum number and box number . If we take , , and , this spinon would be represented by a dot which shares a column with the second box with number in it,
[TABLE]
For the box number of the next spinon, there are only two possibilities:
(i) , which implies that is even. The spinons either sit in neighboring columns with , or contain an even number of spin representations (with boxes each) in between them. For our example, the corresponding tableaux are
[TABLE]
This possibility produces the unidirectional, horizontal arrows in Figure 7. If , this possibility does not exist, and there are either no further spinons or has to be odd.
(ii) , which implies that is odd. For our example, the tableaux are
[TABLE]
This possibility produces the bidirectional, semicircle arrows in Figure 7.
This concludes the motivation of the flow diagram in Figure 7b. As in Sections II.3 and III.3, the single spinon momenta are given by
[TABLE]
This yields momentum spacings which can be either an integer or an half-integer times .
V Correspondence with SU(2) level fusion rules
In this section, we establish a one-to-one correspondence between the topological choices for the momentum spacings and the fusion rules of spin spinons in the SU(2) level WessâZuminoâWitten model wess-71plb95 ; witten84cmp455 . The results we present are completely consistent with, and in many ways complementary to, those obtained by Bouwknegt, Ludwig, and Schoutens bouwknegt-94plb448 ; bouwknegt-95plb304 ; bouwknegt-96npb345 ; bouwknegt-99npb501 based on the Yangian symmetry of the conformal field theory.
The âdeformedâ Lie algebra SU(2) level is in essence an SU(2) spin algebra with the maximal spin restricted to ,
[TABLE]
The fusion rules, and also the only possible rules consistent with associativity, are given by
[TABLE]
We will now investigate what these fusion rules imply for the spinons of the models studied in the previous sections.
We begin with the HaldaneâShastry chain, which is a microscopic lattice realization of the SU(2) level Wess-Zumino-Witten model. For , the relevant fusion rules (V) are
[TABLE]
i.e., the fusion of two representations always yields a unique representation. The fusion diagram we obtain as we combine, starting from , spinons with , is likewise unique, as illustrated in Figure 9a. In the case of the HaldaneâShastry model, the momentum spacings of the spinons are always odd, in accordance with Abelian half-Fermi statistics, a result we ultimately wish to relate to the fusion diagram.
We now turn to the model discussed in Section III. The relevant fusion rules for are
[TABLE]
i.e., whenever we reach a representation on a horizontal link in the fusion diagram, we have a choice between obtaining or when fusing it with the next spinon on the right, as illustrated in Figure 9b. Since we reach after every second spinon, the number of choices we obtain is completely equivalent to the number we obtained via the extended Young tableau formalism in Section III.3 (see also Figure 7b). With this formalism, we further established that the momentum spacing is odd whenever fusing the previous spinon does not allow for a choice, and may be either even or odd whenever the previous fusion provided us with a choice.
We may hence tentatively assume that, whenever the direction of the declining or ascending lines in the lower diagram in Figure 9b changes, the spacing between the two spinons on both sides is odd (as for Abelian half-Fermi statistics), and that whenever the direction of the line does not change, the spacing is even (as for Abelian Bose or Fermi statistics).
We will now confirm this assumption by elaborating the case of the general spin model discussed in Section IV. The spinons of this model obey non-Abelian SU(2) level statistics. The relevant fusion rules are
[TABLE]
i.e., unless or on a horizontal link in the fusion diagram, we have a choice of two possible representations when we fuse with the next spinon, as illustrated in Figure 9c. Each line in the lower diagram of this figure represents a spinon, and each dot on its left represents the fusion of this spinon with the representation from all the previous spinons. The numbers on the declining or ascending lines denote the box numbers of the spinons, which are assigned according to the assumption we wish to confirm. As assigned, they are uniquely determined by the vertical position and directions of the lines in the diagram. Drawn with solid lines on the left of the diagram is the simple sequence , , , , which corresponds to following the horizontal arrows in the flow diagram shown in Figure 7b. This implies that the momentum spacings , , and are even for this sequence. The dotted lines represent the alternatives. Each time we change the direction of the lines, say from declining to ascending as we add the second spinon, the dot at the kink corresponds to one of the bidirectional, semicircle arrows in Figure 7b. The kinks hence represent even spacings , as assumed above.
The diagram in Figure 9c shows that there is a very large number of possible trajectories. Unless we have reached or , both of which correspond to the last box in Figure 7b, we have the choice between continuing in the direction of the line representing the previous spinon (which implies even, as for Abelian Bose or Fermi statistics), or changing the direction (which implies odd, as for Abelian half-Fermi statistics).
With the last spinon, we must always reach . If the number of sites of the chain with PBCs is even, we must conclude with . It is not difficult to see from Figure 9c that the number of spinons must be even in this case. If is odd, however, we must conclude with . The number of spinons is given by plus a non-negative, even integer. These restrictions are completely consistent with what we would expect from the projective construction of the wave functions we discussed in Section IV.2. If is odd, we need at least one spinon in each of the HaldaneâShastry chains we project together. Further spinons can only be created in pairs.
It is not really surprising that there is a one-to-one correspondence between the fusion rules of SU(2) level spinons with and the rules for constructing the internal Hilbert space for the SU(2) level anyons we have derived in the previous sections. It is instructive, however, as this correspondence provides us with the physical momentum spacings we obtain as we fuse the representations of the individual spinons according to the fusion diagram in Figure 9c.
Since the notation of the momentum numbers is tied to the Young tableau formalism introduced in Reference  greiter-07prl237202, and generalized to higher spin models in the previous sections, it is appropriate to state the rules for the momentum spacings in a generally more familiar language. If we fuse two SU(2) spinons in an SU(2) level model (either one of the microscopic models introduced by one of us Greiter11 ; nielsen-11jsmte11014 or the conformal field theory of Wess, Zumino and Witten wess-71plb95 ; witten84cmp455 , with the spinon bases studied by Bouwknegt, Ludwig, and Schoutens bouwknegt-94plb448 ; bouwknegt-95plb304 ; bouwknegt-96npb345 ; bouwknegt-99npb501 ) with each, and neighboring single spinon momenta and , the spacing between these two momenta is quantized according to Abelian half-Fermi statistics, if and only if there is a kink between the spinons in the Bratteli diagram,
[TABLE]
where is the length of the chain with PBCs. (âNeighboringâ here means that there are no other spinons with momenta between and ). If, on the other hand, the two spinons form a straight line in the Bratelli diagram, the spacing between the neighboring single spinon momenta and is quantized according to Bose or Fermi statistics (which are equivalent for our purposes here),
[TABLE]
These shifts are topological quantum numbers. The spinon states with different shifts become degenerate in the thermodynamic limit, but since the states are topologically different, it is not possible to connect them with local perturbation. The situation here is analogous to the Majorana fermion states in the vortex cores of the quasiparticles of the MooreâRead state.
VI Domain walls in valence bond phases
One way to understand the SU(2) level WessâZuminoâWitten model for a spin chain with spin is as a description of the multicritical point between the different âdimerizationâ or valance bond solid (VBS) phases the spin chain can assume in the ground state. Three of the possible VBS configurations for a chain with spin are shown in Figure 10. Here, the spin at each site is understood to be formed through the completely symmetric projection of spin âs onto one spin . Before projection, the constituent spin âs are arranged into dimers, indicated by the solid, horizontal lines, which are just singlets formed by two spins at neighboring sites on the same constituent chain.
In this framework, single spinon excitations are minimal domain walls between the dimerized phases. In Figure 11, we illustrate the correspondence between the spinons, the labels from Figure 9, and the Bratteli diagrams with a few examples. Let us first look at Figure 11a. The first spinons shifts the dimer configurations from the initial one, to which we assign label , by one lattice spacing. Following the terminology introduced in Section V, we assign the label to the chain where one constituent chain (and in this first example we have only one constituent chain) has shifted by one lattice spacing. If the number of sites on the chain is even, we need an even number of domain walls, and hence an even number of spinons in each constituent chain to close the boundary. This is in correspondence with the Bratteli diagram shown to the right of the chain in Figure 11a. Three of the many, possible spinon configurations for a spin chain, and the corresponding Bratteli diagrams, are shown in Figures 11b, 11c, and 11d. In these pictures, the distance between spinons on the same constituent chain in units of lattice spacings is an odd number, and an even number for neighboring spinons on different constituent chains. Making the connection with the results of Sections IV.2 and V, we see that the momentum spacing between neighboring spinons is according to (78) for spinons on the same constituent chain, and according to (79) for spinons on different constituent chains. Periodic chains with an odd number of sites require an odd number of domain walls, and hence an odd number of spinons, on each constituent chain. The minimal number of spinons in this case is , as illustrated for an chain in Figure 11c. In Figure 11d, we give an example indicating how the application of these rules proceeds to chains with general spin .
Viewing spinons, which are by definitions excitations with spin and no charge (as compared to electrons, which have spin and charge , or spin flips, which carry spin 1 and no charge), as domain walls in dimerized chains is intuitively rewarding. It correctly captures many subtle techical issues like the state counting, and hence to a limited extent also the statistics, even though no information regarding the physical manifestation of the fractional statistics, the fractional shifts in the momentum spacings, can be extracted. That a direct correspondence between the dimer phases and the Bratteli diagrams can be established, however, is remarkable since the chains we describe are critical, and do not display any dimerization patterns. The reason is that we can view the critical, and for multicritical, phases of the spin chains as the critical points between all the possible dimer phases. At criticality, quantum fluctuations will have destroyed any possible dimerization in the chains, butâand this is the crucial pointâwill not have altered the topological properties of the spinon excitations we can visualize as domain walls in dimerized chains. The quantum statistics of the spinons, is among these topological properties. Of course, the spinon excitations in the critical chains are not localized in real space, and do not provide a context to consider neighboring spinons in real space. As we have argued in Section IV.2, the good and robust quantum numbers in the critical chains are the topological shifts in the relative spacings between neighboring spinons in momentum space, not in real space.
VII Conclusion
In this article, we have argued that in one dimension, non-Abelian, and in particular SU(2) level statistics, manifests itself in fractional, topological shifts in the spacings of neighboring quasiparticle momenta , and derived the general rules which patterns for the shifts are allowed for each . For , the case of Ising anyons, we found that the state counting of the internal Hilbert space associated with the non-Abelian statistics is equivalent to that of Majorana fermion states attached to the spinons. This led us to refer to the shifts as Majorana spacings. For this case, the braiding of the vortices carrying Majorana fermions in the two dimensional analog, the Pfaffian quantum Hall state, is also well understood ivanov01prl268 . We consider it likely that we can learn something about the open problem of the braiding properties of SU(2) level vortices in ReadâRezayi states by exploring the analogy to the one dimensional models we studied here.
The most important aspect of the emerging picture is the general validity, which needs some clarification. We have derived the formalism for non-Abelian SU(2) level statistics using spin chains with spin tuned to the multicritical point. We found that the quantum statistics of the spinons in these systems is encoded in the topological shifts in momentum spacings between spinons with neighboring momenta, as detailed in Section IV.2. The only case where the individual spinon momenta are known to be perfectly good quantum numbers, however, is the HaldaneâShastry model for spin . A natural question to ask, therefore, is what happens in a general, critical or multi-critical, spin chain, when the spinon momenta are not good quantum numbers. Are our results, or is our formalism, still applicable to the general case? Fortunately, the answer is yes. The spacings between the adjacent momenta of the particles carrying the Abelian or non-Abelian, fractional statistics are given by the sum of the topological shifts derived above, and integer spacings which we have not specified. In (78) and (79), the topological shifts are and 0, repectively.
The key point is that while there is no reason to assume that the integers in (78) and (79), are good quantum numbers in a general system, the topological shifts are always good quantum numbers.
The situation is comparable to fermions, bosons, and anyons in two space dimensions. There, the relative angular momentum between two identical particles is an odd integer times for fermions, an even integer times for bosons, and an even integer plus the statistical parameter times for anyons. In a many particle state in two-dimensions, like an electron liquid forming a quantized Hall state or a liquid of quasiparticles with fractional statistics forming a daughter fluid, the relative momentum between two fermions or two anyons is never a good quantum number. The topological shift, that is, the integer being odd or even for fermions or bosons, respectively, and shifted by away from bosons for Abelian anyons, however, is always a good quantum number. This shift specifies the (fractional) statistics. Similarly, the momenta of the Abelian and non-Abelian anyons in one space dimension do not have to be good quantum numbers, while the topological shifts to the otherwise integer momentum spacings we derived above, will always be good quantum numbers. These spacings specify the Abelian or non-Abelian statistics, and are topological properties of the SU(2) level WZW model.
An important, but by contrast unresolved, question is whether the non-Abelian statistics of the one-dimensional models, if realized in a multi-critical spin chain in the laboratory, could be used in quantum computation or quantum cryptography. Unfortunately, we have no definite answers to report at the present time.
Acknowledgements.
MG would like to thank Eddy Ardonne for discussions. MG and RT are supported by the DFG through SFB 1170 ToCoTronics (project B04), and further acknowledge financial support from the DFG through the WĂŒrzburg-Dresden Cluster of Excellence on Complexity and Topology in Quantum Matter â ct.qmat (EXC 2147, project-id 39085490). FDMH acknowledges funding from the Princeton Center for Complex Materials, a MRSEC supported by NSF Grant DMR 1420541.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) F. Wilczek, Fractional statistics and anyon superconductivity (World Scientific, Singapore, 1990).
- 2(2) A. Stern, Nature 464 , 187 (2010).
- 3(3) G. Moore and N. Read, Nucl. Phys. B 360 , 362 (1991).
- 4(4) M. Greiter, X. G. Wen, and F. Wilczek, Nucl. Phys. B 374 , 567 (1992).
- 5(5) N. Read and D. Green, Phys. Rev. B 61 , 10267 (2000).
- 6(6) D. A. Ivanov, Phys. Rev. Lett. 86 , 268 (2001).
- 7(7) A. Stern, F. von Oppen, and E. Mariani, Phys. Rev. B 70 , 205338 (2004).
- 8(8) A. Y. Kitaev, Ann. Phys. 303 , 2 (2003).
