Quantum Hall quasielectron operators in conformal field theory
Abstract
In the conformal field theory (CFT) approach to the quantum Hall effect, the multielectron wave functions are expressed as correlation functions in certain rational CFTs. While this approach has led to a wellunderstood description of the fractionally charged quasihole excitations, the quasielectrons have turned out to be much harder to handle. In particular, forming quasielectron states requires nonlocal operators, in sharp contrast to quasiholes that can be created by local chiral vertex operators. In both cases, the operators are strongly constrained by general requirements of symmetry, braiding and fusion. Here we construct a quasielectron operator satisfying these demands and show that it reproduces known good quasiparticle wave functions, as well as predicts new ones. In particular we propose explicit wave functions for quasielectron excitations of the MooreRead Pfaffian state. Further, this operator allows us to explicitly express the composite fermion wave functions in the positive Jain series in hierarchical form, thus settling a longtime controversy. We also critically discuss the status of the fractional statistics of quasiparticles in the Abelian hierarchical quantum Hall states, and argue that our construction of localized quasielectron states sheds new light on their statistics. At the technical level we introduce a generalized normal ordering, that allows us to ”fuse” an electron operator with the inverse of an hole operator, and also an alternative approach to the background charge needed to neutralize CFT correlators. As a result we get a fully holomorphic CFT representation of a large set of quantum Hall wave functions.
pacs:
73.43.Cd, 11.25.Hf, 71.10.PmI Introduction
Ever since Laughlin presented his famous wave function describing the quantum Hall (QH) states laugh (), the construction of trial manybody wave functions has been an important tool to study the properties of the many exotic, strongly correlated states in the QH systemmr (); jain (). In a series of recent papers, it was shown how to use CFT to construct a large class of wave functions describing a subset of the hierarchical QH ground states as well as their quasiparticle excitationshansson07 (); bergh (). Included in this class are the Laughlin wave functions, the wave functions in the positive Jain series , and candidate wave functions for the observed states at and pan ().
The general idea of the CFT construction of QH wave functions is to represent the particles (electrons and quasiholes) of the theory by holomorphic vertex operators in a rational CFT, where the ’s are compact, massless scalar fields. Candidate manybody wave functions of the corresponding QH state are then expressed as correlators, or conformal blocks, of these operators. Depending on the state in question, the wave functions either take the form of a single correlator, or as an antisymmetrized sum over several conformal blocks. The Laughlin states and MooreRead Pfaffianmr () are examples of the former, while general states in the Abelian hierarchy fall into the latter class for the following reason: our constructionbergh () for the level hierarchy states involves different representations of the electron, , involving compact scalar fields , with denoting the position of the particle (we use complex coordinates , etc.); in the simplest case, that of the Jain series, can be thought of as a describing a particle in the composite fermion Landau level. The sum over correlators was thus necessary to antisymmetrize the wave functions among the different representations . Correspondingly, there are independent quasihole operators , describing quasiholes at positions . Candidate wave functions for the ground states at all levels of the hierarchy were thus expressed as linear combinations of conformal blocks containing electron operators only; quasihole excitations localized at some points are obtained by inserting in the correlators. In the Laughlin case our expressions coincided with the original proposals by FubiniFubini (), Moore and Readmr (), and Wenwenorig ().
Although experimentally, QH quasiholes and quasielectrons play a very similar and equally important role, the CFT description of the quasielectron required a rather different approach from that of the holes. The reason for this can be intuitively understood as follows: a quasihole, which corresponds to a charge deficit, can be created at an arbitrary position just by pushing the incompressible electron liquid away from this point. Mathematically this is achieved by inserting the local operator . The creation of a quasielectron amounts to ”pulling in” the electron liquid towards the quasielectron position, ,^{1}^{1}1 We shall denote the quasielectron position with rather than for reasons that will be clear later. but this cannot in general be done, since there is a finite probability that there is already an electron at this position. This conflict with the exclusion principle is mathematically manifested in singularities in the electron wave function. More precisely, inserting the inverse of the hole operator , which does have the correct charge, results in pole terms where is an electron position. The way out of this quandary, which was described in Ref. hansson07, , is to create the fractional excess charge corresponding to a quasielectron by shrinking the correlation hole around one of the electrons. This amounts to replacing one of the elecron operators with a modifed electron operator, , which turns out to be very closely related to the new electron operator which appears at the next level in the hierarchy. In this way we could construct quasielectrons in any angular momentum state, and from these it was possible to, by hand, form coherent superpositions describing localized quasielectrons.
This asymmetry in the description of localized quasiholes versus quasielectrons is somewhat unsatisfactory; an obvious question to ask is whether there exists an operator which, when inserted into a correlator of ’s, directly creates a quasielectron localized at . In our previous work, it was not clear whether or not this could be done. Although, for the reasons given above, such an operator could not be strictly local, it could still be ”quasilocal”, i.e. the nonlocality is seen only at the magnetic length scale. To clear this out is important; as explained by Moore and Read in Ref. mr, , we would, on general grounds, expect quasielectrons to enter the theory in a way very similar to quasiholes. In particular, we would expect the charge and statistics of the quasielectrons to be coded in the properties of this operator, and this could allow for a better understanding of their braiding phases, and thus their quantum statistics.
In this paper we shall explicitly construct such a quasilocal operator, , and show that it has all the general properties expected for a quasielectron operator. We demonstrate that it can be used to explicitly construct manyquasielectron wave functions of both Abelian and nonAbelian states. In particular, we present explicit two and four quasielectron wave functions for the MooreRead Pfaffian state.
The construction of the operator involves two important technical developments. The first concerns the treatment of the background charge needed to neutralize CFT correlators. Our method allows us to directly extract the nonholomorphic Gaussian factors, thus leaving us with purely holomorphic wave functions. The second is related to the precise mathematical meaning of ”shrinking the correlation hole around an electron operator”. As described above, this amounts to forming a new local operator by ”fusing” an electron operator with the inverse of a quasihole. This is achieved by a generalized normal ordering , which in the simplest case amounts to the conventional normal orderinggula (), but in general differs from it.
There is a longstanding controversy about whether the composite fermion (CF) wave functions proposed by Jainjainbook () fit into the original hierarchy scheme of Halperinhalphi () and Haldanehaldhi (). At a superficial level, the two approaches are quite different. The CF scheme predicts explicit wave functions which compare well with numerical simulations, and the CF phenomenology has been very successful in explaining a wide range of experimental data. The hierarchy wave functions, which are expressed as rather complicated multiple integrals, are much harder to deal with, and the phenomenology is much less developed. On the other hand, the newly discovered states that do not fall into the Jain sequences, fit naturally into the hierarchy schemes but are much less straightforward to understand in terms of composite fermions. Also, in a recent work, Bergholtz and Karlhede proved that when defined on a thin torus or cylinder, the Jain states are precisely condensates of quasiparticlesbekar (). Using the formalism developed in this paper, we can explicitly write the full wave functions in the positive Jain series in hierarchical form, i.e. as integrals over multiquasielectron states with appropriately chosen pseudo wave functions. In our opinion, this shows that the CF states are hierarchical in nature.
The paper is organized as follows. In order to settle notation, and to record some formulae that will be important in the following, we start the next section by summarizing some results from Refs. hansson07, and bergh, , on the CFT approach to the hierarchical wave functions. This is followed, in the next subsection, by an outline of a method for handling a homogeneous background charge that will prove to be very useful; some technical details of this discussion are referred to Appendix A. This sets the stage for introducing our construction of a quasilocal quasielectron operator in section III, and in order to minimize technicalities we first do this in the simplest case of a single quasielectron in a Laughlin state. Section IV begins with a general discussion of the status of fractional statistics for quasiparticles in the hierarchical quantum Hall States. Then, specializing again to the Laughlin states, we point out the difficulties encountered when naively extending the methods of the previous section to the case of many quasielectrons, and explain how to proceed. An explicit example, that of the twoquasielectron wave function, is worked out in some detail in Appendix B. In section V, which is of a more technical nature and not necessary for understanding the rest of the paper, we introduce the generalized normal ordering mentioned above, and give a definition of the operator which is appropriate for the more general class of hierarchy states constructed in Ref. hansson07, . The explicit hierarchical form of the Jain wave functions is derived in section VI. Finally, section VII discusses the MooreRead Pfaffian state; here, it is shown how to write down quasilocal quasielectron operators in direct analogy to the Abelian case, and how this leads to explicit two and fourquasielectron wave functions. We end the paper with some conclusions and a discussion of future directions. A short summary of some of the results of this paper was recently given in Ref. hhv08, .
Ii The CFT representation of Quantum Hall wave functions
In order to make this paper reasonably selfcontained, we start by summarizing the formalism used in the CFT description of QH wave functions, as well as recording some formulas that will be used later. In the second subsection, we discuss an important technical issue, namely how to introduce a background charge in the CFT correlators in a consistent manner.
ii.1 Operators, currents and correlators
As mentioned in the introduction, it has been shown that a large class of quantum Hall wave functions may be expressed as correlators, or conformal blocks, in certain CFTs. In order to review the basic formalism, we start with the simplest case, namely the Laughlin states at . In this case there are two normalordered vertex operators representing the electron and quasihole, respectively,
(1)  
(2) 
and as we shall see in a moment, the wave functions for the ground state and quasihole states can be written as correlation functions of these. (The normal ordering symbol will be suppressed in the following. For simplicity we will also drop the subscripts on fields and vertex operators for the Laughlin states as long as there are no ambiguities.) Here, is (the holomorphic part of) a free massless boson field, compactified on a radius and defined by the Euclidean action
(3) 
with . The action is normalized to imply the (holomorphic) two point function The vertex operators satisfy the operator product expansion (OPE)
Here and in the following, denotes a holomorphic derivative, while is used for antiholomorphic derivatives. Using standard methodsgula (), one can explicitly calculate the relevant correlation functions. In particular, the ground state Laughlin wave functions at are given by
(5) 
where is a neutralizing background charge to be discussed in more detail below. Similarly, quasihole states are constructed by insertions of the hole operator .
The (holomorphic) charge density current, , and the corresponding charge operator, , are normalized so that the electron operators (1) have unit charge, as can be seen from the commutator ; similarly, the charge of the hole operator is . This charge is related to the actual electric charge of electrons and quasiparticles, as described in detail in Ref. hansson07, . Translational invariance of the action (3) implies that only charge neutral correlators are nonvanishing, which is why the neutralizing background charge mentioned above is needed. However, there are additional contraints on the correlators, in particular, a correlator involving the divergence of the current has to satisfy the Ward identity gula ():
where the ’s are arbitrary fields with charges . Thus, we find that has support only at the points where a charged field is inserted. We shall make use of this in section III, where we use the Ward identity to construct a quasilocal operator that has support only at the positions of the electrons.
The vertex operators introduced above are primary fields, and as discussed by Moore and Readmr (), the conformal block given by primary fields, such as (5), yields a ”representative” wave function for the QH state in question. In the simplest cases, these are the actual ground states for idealized (singular) Hamiltonians, but in general they are not known to correspond to any potential. The importance of the representative wave functions lies instead in their topological properties and in the assumption that they are ”adiabatically” connected to the correct ground state. This raises the question of how to modify the representative wave functions without destroying their good topological properties. To answer this, Moore and Read first pointed out that to each primary field there is a ”conformal tower” of descendant fields, which have the same charge and the same braiding statistics. They then conjectured that the actual wave function, for a realistic potential admitting a QH liquid ground state, would lie in the space spanned by correlators of fields in such conformal towers, and thus has the same topological properties as the representative wave function obtained from the primary fields only. The descendants of a primary field are obtained from the OPE of this field with the energymomentum tensor, which for the scalar fields considered so far is given by . In general, descendants can be expressed as derivatives of the primary field . In the present paper, we will only be concerned with the simplest case, namely first descendants; the first descendant of an arbitrary primary field is simply a holomorphic derivative,
(6) 
One should, however, note that replacing a primary (electron) operator with a descendant will also change the angular momentum. Thus to construct a set of trial wave functions at a fixed , we must restore the angular momentum e.g. by multiplying with to the appropriate power. Another, more physical, approach is to create local particlehole pairs using the operators and . The precise relationship between these approaches remains to be clarified, and one should also understand how they relate to the methods developed using composite fermions. ^{2}^{2}2There a systematic way of improving the wave functions involves increasing the Hilbert space by including excitons, i.e. states with one or more composite fermions excited to a higher (unfilled) effective Landau level, while conserving the total angular momentum.
Descendant fields are not only important for constructing improved wave functions, but they are in general also needed to get a representative wave function in the first place. In order to illustrate this point, and show how to go beyond the Laughlin states, we end this subsection with an example from the next level in the hierarchy. The simplest state at the second level is the composite fermion state in the positive Jain series. Describing the state requires two independent electron operatorshansson07 (), which, in a suitable basis^{3}^{3}3One is free to use representations with other linear combinations of the boson fields or additional auxiliary boson fields, as long as one does not change the correlations of the electron and hole operators, namely and where K is the matrix of the statewen (). , may be expressed as
(7)  
Here, is an additional, independent bosonic field, described by the same action (3) as . In the following, primary fields are denoted by , while the ’s denote electron operators and are in general descendent fields. The ground state is given byhansson07 ()
(8) 
where denotes antisymmetrization over the electron coordiates . In other words, the ground state is not just a single conformal block as in the Laughlin case, but rather an antisymmetrized sum over correlators involving two different representations of the electron. In analogy to the composite fermion picture, these two representations can be thought of as corresponding to composite fermions in the first and second CF Landau level, respectively. Since our formulation is entirely within the lowest Landau level, what distinguishes the two operators and is the presence of the derivative, which is naturally interpreted as giving the particle an extra ”orbital” spin. This is in turn reflected in a shift in the relation between flux and particle number when transcribing the wave function eq. (8) to the sphere.
There are also two independent hole operators, determined for instance by the conditionsfroh (), ,
(9)  
and quasihole states are obtained by inserting these in the correlator (8). Less dense QH states at level 2 are obtained by modifying the coefficient of (in such a way that remains fermionic). For example, choosing , one obtains a candidate wave function for bergh (). In general, at level of the hierarchy the ground state wave functions are constructed from different electron operators, containing bosonic fields, and with one additional derivative per level. In this way, one can construct explicit wave functions for all hierarchical states corresponding to condensates of quasielectrons; explicit expressions for these wave functions are given in Ref. bergh, .
ii.2 The background charge
We now discuss a somewhat subtle, yet important, technical question, namely that of the background charge . The need for such a background charge is most easily understood in the Coulombgas formalism where the vertex operators are fields that carry charge with respect to (in general several) groups, and the background is needed for the total system to be neutral, and thus to satisfy Gauss’ law. In open systems, such as a QH droplet with an edge, one can place a single large charge at a very large distance, , from the other particles and then extract the correlation functions by carefully taking the limit altbackg ().^{4}^{4}4 It is not obvious that this method will result in wave functions describing electrons forming a quantum Hall droplet  i.e. a state that is homogenous up to distances of the order of the magnetic length away from the edge. That this is in fact the case can be understood by mapping the compactified plane to the sphere, where a homogeneous background charge can be introduced without breaking the conformal symmetry, by coupling it to the Gaussian curvaturegula (). One can then show that the resulting correlators, which by construction describe a homogenous system, reproduce the result from the plane with the ad hoc prescription of taking a single compensating background point charge to infinity. At a technical level, the disadvantage of this method is that it cannot be used in finite geometries, such as the torus, or for open geometries different from the circular disc.
A physically more appealing scheme, that also generalizes to other geometries, is due to Moore and Readmr () who proposed to use a continuous background charge distribution. For the simplest case of the Laughlin state, this is obtained by using
(10) 
where , and is the density of a filled Landau level. The generalization to higher hierarchy levels involves several bosonic fields and is straightforward. This choice has the additional advantage of producing the correct Gaussian factormr () (see below), so the correlators in fact give the full lowest Landau level wave functions.
Using the background charge (10), however, involves some technical problems. A naive calculation will result in integrals of the form , which are not properly defined. There are several ways out of this quandary. The simplest is to consider correlators of full, as opposed to holomorphic, vertex operators, and at the same time use the full field in (10). Then the relevant integrals in the correlators are of the form , which are well defined up to boundary terms. This approach has allowed us to construct hierarchical states on a torus, but the procedure for extracting the wave functions is less straightforwardtorus ().
A second, purely holomorphic, approach was introduced in Ref. hansson07, , where we replaced the continuous background charge with a regular lattice, , of charges, each of magnitude . The lattice spacing, , is related to the magnetic length by , so the limit corresponds to taking the lattice spacing to zero. In Appendix A.2 we outline an extension of this method that allows for calculation of correlators involving insertions of the current and the energy momentum tensor.
We shall now introduce yet another way to treat the homogenous background charge which will prove to be very convenient in the following. The basic idea is to notice that the exponent of (10) is linear in , and thus can be included as part of the quadratic action by a fieldindependent shift. This method has the advantage of using only continuum fields, and will also provide a rigorous setting for the construction of the quasielectron operator in the next section. The following discussion will be entirely in the context of the Laughlin states, but the generalization to the hierarchical states is straightforward. The ideas we present here are presumably well known to experts in CFTc, but have to our knowledge not been used in the context of QH physics.^{5}^{5}5We are in fact indebted to A. A. Zamolodchikov, for pointing out to us that the transformations (11) and (12) could be of use in our formalism.
Let us introduce the shifted field and rewrite the full bosonic action according to
(11) 
where we neglected possible boundary terms. The currents and vertex operators are recast accordingly as
(12)  
From the first line in (12), noting that , we see that the exponential factors needed for the QH wave functions are manifest. The second line in fact shows how the neutrality condition is implemented, in that the current is decomposed into a piece due to the pointlike particles, and a piece coming from the background charge. The total charge is obtained by integrating along a contour enclosing the QH droplet,
(13) 
where we used with the total number of electrons, and the area of the droplet. Thus the original charge neutrality condition now becomes
(14) 
This argument might seem too simple minded since we have been very cavalier about boundary terms, and one might also reasonably ask precisely how the charge neutrality is implemented in the new variables. In Appendix A.1 we present a Hamiltonian analysis, which does not make any assumptions about the boundary, and which explicitly demonstrates how the symmetry is implemented on the quantum states. There we also show that the shift (12) can be implemented at the level of holomorphic vertex operators by
(15) 
The relation (15) will be used in the next section. This way of incorporating the background charge in the action is completely consistent with the previously introduced method of regularizing the background charge by introducing a lattice of fluxtubes. The latter is elaborated in Appendix A.2, and the reader may convince herself that both approaches yield the same wave functions.
Iii The quasielectron operator
With the preliminaries in place, we are ready to address the central issue of this paper – how to construct an operator that directly creates a quasielectron localized at a specific point . In order to present the basic ideas of our construction in the simplest possible way, we will first discuss the Laughlin states. The generalization to the hierarchical states involves several technicalities and will be deferred to Section V. In order to motivate our construction, we start by discussing the qualitative physical picture, before putting it into a formal language. First, recall the case of quasiholes. As mentioned in section II, the onequasihole wave function can be constructed by inserting a local quasihole operator, , into the correlator (5):
(16)  
(17) 
A naive guess for constructing trial wave functions for quasielectrons would be to insert the inverse operator, , into the correlator. This operator has the correct charge and conformal dimension – but it does not yield appropriate fermionic wave functions, as the correlator includes singular factors, such as . The origin of the singularities is the Pauli principle, which makes it impossible to create the excess charge at an arbitrary point, as there is a finite probability that there is already an electron at this position.
However, there is a welldefined procedure to generate a localized excess charge, namely by shrinking the correlation hole around one of the electrons, thus allowing the electron liquid to become denser. Shrinking the correlation hole can be thought of as attaching an antivortex, and it creates the expected excess charge, . As discussed in Ref.hansson07, , this construction naturally leads to wave functions of quasielectrons in good angular momentum states. However, the excess charge can be located at an arbitrary position by building linear combinations of attaching the antivortex at different electrons, weighted with a gaussian weight. In doing this, we have to be careful not to introduce an unwanted antiholomorphic dependence on the electron coordinates . To proceed, we write , and note that since the term in the parenthesis is purely imaginary, it exponentiates to a pure phase. Removing this phase, we can thus use the remaining terms to localize the excess charge in a region of the size of a magnetic length around the point by introducing a factor . The constant was picked so that is the exponential factor appropriate to a particle with charge moving in the magnetic field, and the remaining gaussian term is precisely what is needed to eventually produce the correct gaussian factor for the electrons.
In order to find an operator that performs the desired attachment of the inverse hole, it is useful to recall the Ward identity (II.1). The divergence of the conserved charge current has only support on charged sources, in our case at the electron and quasihole positions, and it can therefore be used to place at the electron positions. However, to obtain welldefined expressions a regularization procedure is needed. In the simplest case, i.e. the Laughlin states, this regularization is nothing but the usual normal ordering. The hierarchical states at level require a generalized notion of normal ordering, which will be discussed in Section V. For the Laughlin states the quasielectron operator can be written in the following form
(18) 
where is nonzero only at the electron positions, and does not see the background charge. We will use the notation rather than since the dependence in (18) amounts to a trivial independent normalization. (The reason for choosing this convention will be clear in a later section.) We can now use the Ward identity (II.1) to evaluate the correlators to get delta functions, , at the electron positions; the integral in turn gives terms , with normal ordering symbol, , defined by
(19) 
where the contour is close enough to not to enclose any other singularitiesgula (). For free fields, the normal ordering (19) coincides (up to an overall constant) with the normal ordering used to define the vertex operators in (1).
That as defined above is an eigenstate of the total charge follows directly from the commutator, , while the quasilocal nature of the charge is revealed by studying the commutator with the localized charge operator
(20) 
where the contour is a circle of radius around . We get up to an exponentially small correction for .
Since is expressed in the shifted field , it is convenient to use the relations (12) to express the original vertex operators, , in terms of the ’s, with the understanding that the expectation values are now taken using the action (11), and with the modified charge neutrality condition (14). In this way we directly calculate the polynomial part, , of the full wave function,
(21) 
with
(22) 
The formula (22) and its generalization (V.2) is one of the main results of this paper.
It was shown in Ref. hansson07, , that the CF wave function for a single quasielectron localized at the origin, in the Laughlin state is given by
where the operator is defined as
(24) 
Thus, inserting the nonlocal operator can be written as a sum over all electron positions of the local operator . Multiple insertions will naturally lead to multiple sums over (different) electron positions. A detailed calculation of the twoquasielectron wave function can be found in App. B. In the earlier construction in Ref. hansson07, , we were to neglect the nonholomorphic terms coming from the derivative acting on the exponential part of the correlation function. This prescription was introduced ad hoc in order to get wave functions in the lowest Landau level. Using instead the quasielectron operator (22) located at the origin to evaluate (21), we reproduce the holomorphic part of (III) exactly. In particular, the derivatives will act only on the polynomial part, so we automatically get holomorphic wave functions without invoking any ad hoc rule. In the following we shall, unless stated otherwise, use the shifted fields (12), and for simplicity of notation we shall suppress the tildes and write instead of .
At this point we should stress a few important points.

The derivative occurring in (III) is a direct consequence of ”fusing” the operators and using the standard normal ordering prescription defined by (19), which amounts to extracting the leading nonsingular term in the OPE. There is however no a priori reason why we should use this prescription. The only formal requirement on the fusion is that the resulting local operator has the same charge and the same conformal dimension as the original composite operator. The first condition follows from charge conservation, and the second from the composition properties of the (orbital) spin. The latter has a geometric meaning in that it gives rise to Berry phases on curved manifolds, and in particular determines the shift on the sphere which is a topological invariantQHspin (). In the hierarchical states where there are several symmetries, conservation of the charges is needed to get correct charge and (mutual) statistics of the quasiparticles.

From (III) we see that the final expression for the electronic wave function is in terms of correlators involving primary fields of the rational CFT and descendants of the form ; as we shall see below, the same will be true for the multiquasielectron case. This structure is important for two reasons. First, it guarantees that the wave functions are analytic as they should be. The second point relates to the discussion following Eq.(6) – correlators containing descendants have the same braiding properties as those with the corresponding primary fields.

We do not expect that inserting will describe a state of two localized quasielectrons, since the operator in (24) is anyonic, as can be readily seen from the OPE . Below we shall explain how to supply the phase factors that are needed to obtain well defined electronic wave functions.
It turns out that these points are connected, and they are all relevant for finding a operator that can be used at any level in the hierarchy. We will return to this, essentially technical, point later in the paper. Finally, we comment that the scheme presented here is manifestly in the disk geometry. It would obviously be of interest to carry out this construction, including the background charge, in finite geometries. We have so far not done this for the sphere; for some recent progress on the torus, see Ref.torus, . In the following section we discuss a question of principal importance: How do we construct localized states of several quasielectrons, and how do we determine their statistics?
Iv Several quasiparticles and anyon statistics
One of the most interesting aspects of quantum Hall quasiparticles is their fractional statistics. While the anyonic statistics of Laughlin quasiholes is very well understood, the situation is less clear for quasielectrons in the Laughlin state as well as for any quasiparticle in a general hierarchy state. This section is devoted to a discussion of these issues, and in particular the statistics of quasielectrons. We begin with a brief overview of what is known, and what is believed, about the statistics of the quasiparticles in the Abelian hierarchy states. We then turn to a more detailed discussion of fractional statistics within the CFT approach, and the specific problems we encounter when seeking to generalize the formalism of the previous section to manyquasielectron excitations, both of the Laughlin states and the more general hierarchical states.
iv.1 Abelian fractional statistics of Quantum Hall hierarchy quasiparticles
We shall here briefly review what is theoretically known about the statistics of the quasiparticles in the Abelian hierarchical states, and discuss in turn holes in the Laughlin states, holes in hierarchical states, and finally quasielectron states.
iv.1.1 Laughlin quasiholes
The anyonic nature of the Laughlin quasiholes is very well understood. The original calculation of the pertinent Berry phase by Arovas et al. arovas () confirmed the assertions made earlier by Halperinhalperin84 () based on a specific ansatz for the hierarchical wave functions, and later it was realized that the fractional statistics could also be encoded in an effective topological low energy theory of the Chern Simons typecstheory (). The calculation of the Berry phase assumed that the QH liquid was incompressible, which in turn was proven by Laughlin using the plasma analogylauiprange (). Alternatively, one can directly use the plasma analogy to compute the normalization factor of a state with widely separated quasiparticles, from which the exchange Berry phase can be extracted. In both cases, the arguments crucially depend on the plasma analogy, which is applicable only when the holomorphic part of the wave function is of Jastrow form. The fractional statistics of the Laughlin holes has also been verified by numerical simulations on small systemsnsim1 (); nsim2 ().
Here we should make a technical comment that will be important in the subsequent discussion of the CFT approach: For the Berry phase to be uniquely defined, the wave function must be a single valued function of the adiabatic parameters. In the present context, this translates into the condition that the electronic wave functions must be single valued functions of the holomorphic hole coordinates. If the normalization constant of the electronic wave function for example contains a ”monodromy” factor , the statistical phase pertinent to the exchange of the two quasiholes, will be the sum of coming from the monodromy, and the Berry phase.
In addition to the explicit calculations, there is also a very general gauge argument due to Kivelson and Rocek, that ties the fractional statistics of a Laughlin hole to its fractional chargekivroc (). It goes as follows: At the center of a Laughlin hole the electron density is zero, and thus we can imagine that it supports a thin tube of unit flux – in fact this was how Laughlin originally argued for the existence of a fractionally charged quasihole. Now imagine transporting another quasihole around the one with a unit flux at the center. Since the quasihole has charge , it will pick up an AharonovBohm phase equal . But the system is made up only of charge electrons all moving entirely in the flux free region, so we can appeal to the ByersYang theorem BY () to conclude that the wave function has to be single valued if the flux equals an integer number of elementary flux quanta. Consequently there must be another phase to cancel the fractional part of the AharonovBohm pase, and this is precisely the fractional statistics phase which is thus equal to (the factor of 2 is because a path corresponding to one particle encircling the other is equivalent to two exchanges). This means that the essentially nonlocal phenomenon of fractional statistics is closely related to the local phenomenon of fractional charge. The latter is both easier to understand theoretically and simpler to measure in the laboratoryfcexp ().
iv.1.2 Quasiholes in hierarchical states
Unfortunately the Laughlin states are among the very few where the Berry phases related to quasiparticle exchange can be calculated analytically without additional assumptions. The other important class are the Halperin stateshalphi () that describe multilayer systems. In all cases the wave function is a single product of Jastrow factors, which means that the powerful plasma analogy may be applied. For states that are not of this type, the arguments for fractional statistics are much weaker. In the original hierarchy proposal by Halperin, the claim was based on the analysis of the hierarchical wave functions, which however are too complicted to allow for an explicit calculation of Berry phases. In a later paper Read analyzed the statistics of the hierarchical states in a more precise way, but had to make a ”orthogonality postulate”, that was made plausible but was not provenread90 (). Another line of arguments is based on effective ChernSimons theories, but unlike the Laughlin case, these cannot be derived from the microscopic theory. The third line of argument, which we shall scrutinize more closely below, is based on CFT.
What, if any, are the implications of the KivelsonRocek (KR) argument in this case? First we should note that the argument is certainly not always applicable. Take for instance the charge quasiholes in the Pfaffian state, which do not obey the expected Abelian statistics, but are known to have nonAbelian statistics. The difficulty lies in the fact that the electron density does not vanish at the position of the hole, as can be seen from the corresponding OPE. The same holds for the quasiholes in the state, so we cannot directly use the KR argument. There is, however, another line of argumentation that strongly suggests that, in the absence of degeneracies, the elementary quasiholes and quasielectrons do obey Abelian fractional statistics for some integer . First we note that according to Laughlin’s original gauge argument one can always form a hole with charge by inserting a thin flux line. For such holes the KR argument holds and we can conclude that the statistics is Abelian with a phase . Alternatively we note that the Berry phase calculation for the Laughlin quasihole of Arovas et al. is valid for any incompressible statearovas (). Next assume that the Laughlin hole can split into two or more fundamental holes, in this case two charge elementary holes. Then we can use a general argument, due to Thouless and Wu, which on the basis of locality suggests that the statistical phase accumulated when a particle encircles a cluster of particles is just the sum of the phases corresponding to encircling the constituentsthwu (). In CFT language this is reflected in the Abelian fusion rules of the underlying current algebras. The clustering conditions do not uniquely define the statistical angles, but do give the constraints and . Using the hole operators in Eq. (9), and noting that the combination corresponds to a Laughlin hole, we find and , which is consistent with the above conditions. ^{6}^{6}6But, and this is very important, this conclusion is only valid provided there are no degeneracies in the multihole states, i.e. the state is completely determined by the position of the quasiparticles. This is not true for the Pfaffian state, and this is precisely what opens the possibility for nonAbelian statistics. In CFT language, the fusion rules are now more complicated since there is an underlying su(2) curent algebra, which allows for two different splitting channels of the Laughlin hole. If we would further demand that also and should have the same statistics as a Laughlin hole, the solution follows uniquely from the clustering conditions. In an early paper, Su used this stronger condition to get , but without considering the possibility of two nonequivalent holessu (). Although we used the state as an example, we believe that the above types of arguments would also constrain the possible statistical angles of the fundamental quasiparticles in a general hierarchical state.
iv.1.3 Quasielectron states
The status of the quasielectrons is less clear, even for the Laughlin states. First there are two rather different proposals for the Laughlin quasiparticle. The first is Laughlins original proposal,
(25) 
which is closely related to the corresponding Laughlin quasiholelauiprange (). The other is the composite fermion wave function (III). In neither case is there any simple argument even for the fractional charge. (The gauge argument which works beautifully for the quasihole is not applicable since it yields a wave function that has components in the second Landau level, and has to be projected.) There is however convincing numerical evidence for the charge to equal . The situation concerning the fractional statistics is less clear. Extensive calculations by Kjønsberg and Leinaasnsim2 (), and by Jeon, Graham, and Jainnsim3 (), have shown that the twoquasielectron wave functions of the Laughlin and Jain type differ substantially in that the latter exhibits a clearly defined statistical angle for well separated quasielectrons, while the former does not. It can of course still be true that the Laughlin quasielectrons have the expected statistics for much larger separation, but that remains to be shown.
Turning to the hierarchical states, the general arguments based on ChernSimons theories or the explicit form of the hierarchical wave functions, can be made also for quasielectrons, and are subject to the same type of criticism. It should be clear that the KivelsonRocek argument is not applicable in this case, but by using the ThoulessWu argument and comparing a quasihole taken around a quasielectron with that of a quasihole taken around another quasihole, we can conclude that the mutual fractional statistics between quasielectrons and quasiholes only differs from that of quasiholes by a sign. Then by noting that having a quasielectron go around a quasielectron  quasihole pair is a trivial operation, we conclude that the statistics of a quasielectron equals that of a quasihole with the same charge. So although one should keep in mind that there is no plasma analogy, and thus no conclusive analytical calculation, the arguments for the fractional statistics of the quasielectrons are nevertheless quite convincing,
iv.2 Quasiparticle statistics in the CFT approach
We now turn to the CFT approach to QH wave functions, and again start, in the first two paragraphs, by discussing the quasihole states, before addressing quasielectrons in the remainder of this section.
iv.2.1 Laughlin quasiholes
Before addressing the question of two Laughlin quasielectrons, we remind ourselves of the corresponding case of two quasiholes. The pertinent correlators are of the form
(26) 
where is given by Eq.(1), is an analytic function of all its arguments, and is the fractional statistics parameter of the quasiholes created by . Referring back to section IV.1.1, we note that this wave function is not singlevalued in the quasihole coordinates, so the statistical phase is no longer given by the Berry phase only. In this case the full statistical phase is given by the monodromy of the correlation function, or the conformal block. This in turn implies that the Berry phase has to be zero, which can easily be explicitly verified using the plasma analogy.
iv.2.2 Quasiholes in hierarchical states
As a concrete example, let us again look at the state which according to (8) can be expressed as a correlator of two types of electron operators. Quasihole excitations of this state are obtained by inserting a number of the charge hole operators and given by (9). In parallell with the Laughlin case, there are monodromies , with and mutual statistics , which is consistent with the expected fractional statistics of the quasiholeswen (). Here we should comment on that our trial wave function eq.8 is not a single correlator of the form eq.26, but an antisymmetrized sum of such correlators. Since, however, the holes have trivial braidings with the electrons, the monodromies will be the same for all terms in the sum, and are thus well defined for the full wave function eq. (8). The same will be true in a general hierarchical state. This, however, does not constitute a proof of the fractional statistics, since we cannot compute the Berry phase, but simply have to assume that it is zero, just as in the Laughlin case. This assumption of having zero Berry phases related to quasiparticle exchange when the wavefunctions are written as CFT correlators, was first tacitly made in the seminal paper by Moore and Readmr (). A heuristic argument for why this should be true was given in Ref. naywil, , and an attempt to construct a generalized plasma analogy using the Coulumb gas formulation of CFT was discussed in Ref. gunay, . Unfortunately, none of these arguments can, in our view, be considered as proofs of a zero exchange Berry phase. Recently Read has given an analytic argument for the vanishing of the Berry phases for a class of nonAbelian wave functions that can be expressed as a single conformal blockread08 (). Although quite general in nature, it is not clear to us whether this kind of argument can be applied also to the states at higher levels in the Abelian hierarchy, where the wave functions are sums of conformal blocks.
It is certainly not true that the Berry phases corresponding to any choice of the quasihole operators vanish. To understand this, recall that within the CFT framework the fractional statistics is reflected in the OPE of the hole operators, which is directly related to the monodromies of their conformal blocks. For example, for the Laughlin states we have , and precisely this factor also enters the full correlation functions involving these operators, giving the monodromy and thus the statistics. There is however a large freedom in choosing the quasihole operators without changing their longdistance physical properties such as charge and statistics. Taking the Laughlin state as an example we can, instead of taking , use one of the following operators,
(27)  
where is a new free scalar field with the same normalization as . In the twoquasiparticle wave function, this will correspond to the replacements and respectively, which shows that is a bosonic operator while is fermionic. Since this only corresponds to an overall rephasing of the electron wave functions, the physics of the quasiholes is clearly unchanged and we have just shuffled the statistical phase from the monodromy to the Berry phase. This freedom in choosing the monodromies of the quasiholes is well known, and was, in a different language, pointed out in an early paper by Halperinhalphi (). Also, everything said so far directly generalizes to holes in arbitrary hierarchical states.
We can now make the conjecture about vanishing Berry phases more precise: Quasihole wave functions that are written in terms of conformal blocks of a collection of hole operators and electron operators , have vanishing Berry phases corresponding to the braiding of the quasiholes for large , as long as all fields in the quasihole vertex operators are also present in the electron operator. In the hierarchy case where there are several electron operators and different hole operators , all fields in the ’s must occur in at least one of the ’s, and the number of electrons, in all the groups must be large.
At this point many readers might think that we are stressing some rather obvious points, but we shall see that in the case of quasielectrons things are more complicated than for the quasiholes. Within our CFT scheme, the choice of hole operators will no longer be arbitrary, and we can in general not expect to read the statistics from the monodromy. This will be especially important in the subsequent discussion of the nonAbelian MooreRead state.
iv.2.3 Two quasielectrons and the quasielectron  quasihole pair
All the basic problems related to generalizing the approach in section III to manyquasielectron states occur already for the simplest case of two quasielectrons or one quasielectron  quasihole pair in the Laughlin state. The general underlying problem was pointed out already at the end of section III — when we use (22) to fuse an anyonic inverse hole operator with an electron, the resulting operator is also anyonic and will introduce an unacceptable nonanalytic behavior in the electron coordinates. To take a specific example, the quasielectron counterpart to (26), using the operator (22), becomes
(28) 
As expected, this wave function is not analytic in the electron coordinates and does thus not describe a state in the lowest Landau level.
At a qualitative level this problem is quite easy to deal with. Because of the localization implied by Eq.(18), the sum is dominated by terms where and are within a magnetic length away from and respectively. For widely separated quasiparticles, i.e. , we can thus make the replacement , to get a function which is analytic in the ’s. Note that the analytic function contains factors which will not be modified, and it is these factors that determine the fractional charge. Although most likely correct for widely separated quasielectrons, this treatment is unsatisfactory for two reasons. First it is hard to estimate the errors involved when and approach each other. In particular this means that such wave functions will not easily accommodate the dense quasiparticle condensates that are the building blocks of the hierarchy, as explained in the next section. Secondly, since the space of states spanned by the correlators of the operators , , and is not holomorphic, it means that the operator cannot easily be thought of as a quasilocal counterpart to the local holomorphic vertex operators and , and this removes much of the formal appeal of our approach.
The difficulties related to the factor on the right hand side of (28) were disucssed already in Ref. hansson07, , and two alternative approaches were proposed. The first was to introduce by hand a suitable factor in the wave function. This is not appropriate here since it would amount to replacing the product by a new, essentially nonlocal, operator that directly creates two quasielectrons. The other approach was to change the inverse hole operator to become bosonic, or alternatively fermionic, so that the resulting operator becomes fermionic or bosonic, respectively.
It should now be clear how to proceed; the latter approach simply amounts to using the operators and in (27) respectively, in the expression for . One should however note that, as opposed to the case of quasiholes, this modification of the operator does not result in a mere rephasing of the electronic wave functions. For instance, using , the factor in (28) is replaced by the holomorphic factor which amounts to changing both the phase and modulus of the wave function. In Appendix B we present an explicit calculation of the twoquasielectron wave function in this basis, along with further technical details.
Using a bosonic or fermionic form of the inverse hole operator in , the resulting wave functions will be holomorphic in the quasielectron coordinates, so the fractional statistics will reside entirely in the Berry phase. Remember that in the case of quasiholes, the fractional statistics could be read off directly from the monodromies of the anyonic operators, while introducing the auxiliary fields yielded wave functions that were holomorphic in the quasihole coordinates with the statistics ”hidden” in the Berry phase. We now propose that the same is true for the quasielectrons, i.e. that their fractional statistics can be obtained directly from the monodromies of the anyonic operators, , which do not contain the extra bosonic field . This amounts to a rather natural extension of the corresponding assumption about vanishing Berry phases in the case of quasiholes. A note of caution is needed here. Since changing the monodromies of the quasielectrons is not merely a rephasing of the wave function, but changes the correlations between the electrons, using different representations leads to slightly different charge profiles. This is only a short distance effect; large distance properties, such as charge and statistics, should be insensitive to this. We should also mention that in Ref. hansson07, we presented a calculation of the Berry phase of two Laughlin quasielectrons using a random phase approximation, but it is not clear how to extend this to higher levels in the hierarchy.
Note that changing the statistics of the inverse quasihole is done with help of an uncharged (in terms of electric charge) bosonic field, and in particular there is no homogeneous background charge that has a screening effect on this additional field.
In order to properly define the correlators, we must introduce a compensating charge also for the field .
Formally we can do this by again putting a continuous background charge, but this is quite unnatural from the physics point of view, and it is also formally unsatisfactory in that it gives the wrong exponential factors in the wave functions.
Alternatively, we can neutralize the correlator by putting a compensating charge at a large distance and take the appropriate limit as explained for instance in Ref. altbackg, . Neither approach is fully satisfactory, although the latter one complies more with the physical picture of creating a quasielectron together with a compensating quasihole or a charged edge excitation. In particular, if we want to view the background charge to be fixed by the ground state, then it should be kept unchanged for the fewquasiparticle case.^{7}^{7}7
We want to stress that this technical difficulty does not affect the construction of the hierarchy ground states where there is a finite density of quasielectrons, and where the charge is naturally neutralized by a new constant charge distribution that contributes to the physical background electric charge.
The most natural way to achieve charge neutrality is to directly consider quasielectron  quasihole pairs. Using the original, anyonic, hole operators we have,
(29) 
which is again not analytic in the electron coordinates, due to the prefactor ( is analytic in ). This problem can be resolved using the same ideas as in the above case of two quasielectrons. Either we can by hand make the approximation , or we modify the hole operator according to
(30) 
and at the same time use the fermionic inverse hole in the quasielectron operator. In this case we create a quasiholequasielectron pair which does not violate the charge neutrality condition of the correlator. In order to neutralize the correlator, we could equally well have used a bosonic form of the quasihole. This would however not give an acceptable wave function, since the OPE has a singular term. In the case of quasielectrons only, or quasiholes only, there is however no problem with using the bosonic representation.
In summary, we believe that the CFT approach to QH wave functions has given strong support to the assignment of fractional statistics that was made earlier on the basis of effective CS theories, reasoning based on hierarchical ansätze, and on general topological arguments. We also suggest that our CFT approach to quasielectrons, based on quasilocal operators, provide arguments for the fractional statistics of the quasielectrons which are at the same level of rigor as those for the elementary quasiholes in the hierarchy states.
V The quasielectron operator and the hierarchy
As explained in section II, states at level in the hierarchy are constructed using electron operators and involve correlators of scalar fields. Since there are also inequivalent hole operators , there are different candidates for the quasielectron operator (18), but, as we shall see, only of these are nonvanishing. Furthermore, in the important case of the Jain states, only one of these operators gives a nonzero result when inserted into antisymmetrized correlators of electron fields. A heuristic argument for this can be given in the language of composite fermionshansson07 (): in hierarchical states that are formed from a number of filled ”effective Landau levels” of composite fermions, the only way to form a quasielectron excitation is to put a composite fermion in an unfilled level. In the language of CFT, this amounts to using , which creates a hole in the highest effective Landau level (defined by the electron operator with the largest number of derivatives, or highest orbital spin), in the construction of .
Even after having specifed which to use in the construction, we cannot directly use the formula (18) to obtain . As we shall see, the difficulty has to do with the use of the normal ordered product defined in (19), and the resolution lies in substituting this with a ”generalized normal ordering procedure”. This section is technical in nature and can be omitted by any reader who is willing to accept that one can consistently define a product with the property (38). We now proceed to prove this, starting from the simplest case of the Jain state.
v.1 The state
The Jain state is at the second level in the hierarchy, and we refer back to section II for the definition of the operators and (where and are primary fields), and the hole operators, and .
Following the logic of the previous section, we now form a bosonic version of the operator by , and then insert one or more of the corresponding operators in a correlator containing an equal number of and operators. Before carrying out the integrals from the operators, we notice that the derivatives in the operators can all be taken out front, to leave us with a correlator involving the primary fields , and . The terms surviving the normal ordering (19) will involve the following structures
(31)  
(32) 
as is shown by identifying terms in the OPE (II.1). Note that the first line cannot be written as a total derivative of a vertex operator, and is thus not the first descendant of any primary field in the theory. This is a technical observation, but it has consequences for the resulting wave functions. Recalling the discussion following Eq.(6), we know that there are general arguments why it is desirable to construct wave functions from primary fields and their descendants only. Moreover, recall that by introducing the bosonic representation for the quasielectrons, all operators in our theory have conformal dimensions such as to ensure that the correlation functions of primary fields are analytic. This in turn implies that correlators of descendants of the form where is a primary field, are also analytic. The way this works is that correlators corresponding to the individual bosonic fields are not analytic but give cut singularities of the form , with noninteger; these however combine to integer powers in the final product, e.g. in (32). Thus terms of the type (31), with the derivatives acting on one of the nonanalytic factors only, will potentially generate pole singularities in the wave function.
A second difficulty is that we seemingly have two different types of quasielectrons, corresponding to the two operators (31) and (32). This might not seem like a problem, but it is in conflict with wellestablished results on the state. In particular, this state is known to be very well described by the composite fermion approach, which predicts only one type of quasielectron; thus one would have hoped to reproduce those results. As shown in Ref. hansson07, , this is achieved if only the product survives.
It turns out that both these problems can be resolved by a redefinition of the normal ordered product (19). This will at the same time put equal to zero and convert the first line in (31) into a total derivative of a primary field. We can then show that the same will happen at all levels in the hierarchy: only one normal ordered product survives, and the resulting operator is the first descendant (or holomorphic derivative) of a primary field.
v.2 The generalized normal ordering
Given the above qualitative arguments against using the naive normal ordering procedure, let us go on to present a generalized normal ordering which does not suffer from these problems. To this end, consider again the OPE,
(33)  
As noted in the previous subsection, the standard normal ordering amounts to extracting the finite second term by the contour integral (19). Alternatively, we could choose to extract the first term, which is a primary field. This has the same charge as the composite operator on the left, but not the same conformal dimension. If we demand that the surviving term of should have the same conformal dimension as the composite operator, we must supplement it with an operator of dimension 1. The only dimensionful parameters at hand are the quasielectron position and the magnetic length . Thus the only two possibilities are and , since would amount to a nonanalytic dependence on the external magnetic field . The term proportional to is allowed, but vanishes for a quasielectron at the origin, and can in general be shown to correspond to an edge term as discussed in Ref. hansson07, . We are thus left with the derivative operator. We cannot, however, just replace by . Instead we recall that the operator (6) has conformal dimension one and amounts to a derivative when acting on a primary field . These considerations thus lead us to define a generalized normal ordering by by
(34) 
where the double contour integral is defined by the contour enclosing the contour. Note that in the Laughlin case, this is equivalent to the conventional normal ordering used in the previous section.
With the prescription (34) the quasielectron operator takes the form,
which should be compared to equation (22). It is now easy to verify that
(36)  
Eq. (36) is exactly the operator which in Ref. hansson07, was found to reproduce the composite fermion wave functions. Thus, inserting one or more of the operators (V.2) into the the correlator (8) yields well behaved quasielectron wave functions of the composite fermion type.
v.3 General hierarchical states
Let us end this section by outlining how our construction generalizes to an arbitrary level of the hierarchy. At the level one has electron operators , , and corresponding hole operators . The latter can always be chosen so that the only singular term in the OPE is given by
(37) 
where is essentially (i.e. up to the additional derivative coming from the normal ordering) the new electron operator that will occur at the next level in the hierarchy.^{8}^{8}8 As explained in Ref. bergh, , the operator is not unique. Technically speaking, there is a freedom in picking the coefficient of when bosonizing the hole operator , since any eveninteger braiding statistics of is permitted, cf. Eq.(27) – this leads to different . Physically, these different choices correspond to how closely one can ”pack” the quasiparticles in the condensate. For instance, starting from , the ’minimal’ choice in Eq.(27) takes us to 2/5. Choosing the coefficient instead, gives the less dense state 4/11 etc. The relation (37) is independent of this choice. When computing correlators containing and ’s, a pole from (37) is necessary for the integral in (V.2) to be nonzero; thus one gets a contribution only for ,
(38) 
i.e. the antivortices described by , can only be attached to the electrons represented by the operator . The hierarchical states constructed in Ref. bergh, are obtained if at every level one forms the quasielectrons using the operator