May 19, 2017 - tions result from the action of a universal operator acting .... The explicit action of operator (8) on the |perλ> basis is: su,m,k |perλ> ..... uss,s+t+u,t.
Unified Fock space representation of fractional quantum Hall states Andrea Di Gioacchino,1, 2 Luca Guido Molinari,1, 2 Vittorio Erba,1 and Pietro Rotondo3, 4
arXiv:1705.07073v1 [cond-mat.str-el] 19 May 2017
1
Dipartimento di Fisica, Universit` a degli Studi di Milano, via Celoria 16, 20133 Milano, Italy 2 INFN Milano, via Celoria 16, 20133 Milano, Italy 3 School of Physics and Astronomy, University of Nottingham, Nottingham, NG7 2RD, UK 4 Centre for the Mathematics and Theoretical Physics of Quantum Non-equilibrium Systems, University of Nottingham, Nottingham NG7 2RD, UK
Many bosonic (fermionic) fractional quantum Hall states, such as Laughlin, Moore-Read and Read-Rezayi wavefunctions, belong to a special class of orthogonal polynomials: the Jack polynomials (times a Vandermonde determinant). This fundamental observation allows to point out two different recurrence relations for the coefficients of the permanent (Slater) decomposition of the bosonic (fermionic) states. Here we provide an explicit Fock space representation for these wavefunctions by introducing a two-body squeezing operator which represents them as a Jastrow operator applied to reference states, which are in general simple periodic one dimensional patterns. Remarkably, this operator representation is the same for bosons and fermions, and the different nature of the two recurrence relations is an outcome of particle statistics.
I.
INTRODUCTION
Model wavefunctions, such as Laughlin1 , Moore-Read2 and Read-Rezayi3 states, together with the composite fermions picture4,5 , describe with incredible accuracy the ground state at different filling fractions of strongly correlated two dimensional electrons in the fractional quantum Hall effect (FQHE)6 . They have an elegant representation as functions of the coordinates of the N electrons. For instance, in the symmetric gauge and neglecting the Gaussian factor, the Laughlin state is a homogeneous polynomial of the variables zi = xi − iyi : Y (q) ψL (~z) = (zi − zj )q , (1) j µ ⇔ |perµ i can be constructed from |perλ i through squeezing operations (and same with sl in the fermionic case). The notation µ ← λ is used if |perµ i or |slµ i is obtained with a single squeezing operation from |perλ i or |slλ i. Notice that a squeezing does not change the quantity PN i=1 λi . In the quantum Hall effect the squeezing operations preserve the total angular momentum of the system. Two examples are given in Fig. 1.
D.
Bargmann space representation
Within this formalism, we recover the usual LLL manyparticle wavefunctions in the Bargmann space, in which we consider the basis of monomials hz|ri = z r , r = 0, 1, 2, . . . , with νr = r!: λ
h~z|perλ i = perλ (~z) = Permanent[zi j ], λ
h~z|slλ i = slλ (~z) = Determinant[zi j ].
(11)
(a)
0
(b)
(c)
4
3
1 2
5
(6,1,0)
6
0
1 2
3
4
5
6
0
1 2
3
4
5
6
0
1 2
3
4
5
6
0
1 2
3
4
5
6
(6,1,0)
(6,1,0)
(5,2,0)
(4,2,1)
FIG. 1. (a) Each site 0, 1, 2, . . . is an angular momentum state in the LLL. A configuration of occupancies corresponds to a partition. Here the lattice configuration on the left corresponds to the partition (6, 1, 0). (b) Lattice and partition representation of one of the possible squeezings of the partition (6, 1, 0). In Fock space, this corresponds to the action of the two-body operator a†2 a†5 a6 a1 . (c) The squeezing (6, 1, 0) → (4, 2, 1) shows the power of the Fock space representation. Indeed using the operator a†2 a†4 a6 a0 , minus signs arising in the fermionic case are automatically taken into account, making the unification of the bosonic and fermionic FQH states made in Eq. (16) possible.
For example, the states in Eq. (4) become: III.
per440 (z1 , z2 , z3 ) = 2z14 z24 + 2z14 z34 + 2z24 z34 , sl410 (z1 , z2 , z3 ) = z14 z2 −z14 z3 +z24 z3 −z2 z34 +z1 z34 −z1 z24 . (12) Notice that while slλ coincides with the antisymmetric monomials used in mathematics, perλ does not coincide with the usual symmetric monomials mλ . The latter are defined as perλ , with only one copy of each monomial. For example: m440 (z1 , z2 , z3 ) = 21 per440 (z1 , z2 , z3 ). 1 In general, mλ (~z) = n0 !...n perλ (~z). ∞! ization constant for mλ is
1 p m = νλ
r
1 N!
s
A.
(13)
(14)
It is useful to specify the action of a† , a, and s on the basis of monomials: q 1 a†r mλ = (N +1) νr (nr + 1) mλ+r , p ar mλ = N νr mλ−r or 0 if r ∈ / λ, n ˆ r mλ = n r mλ , if u ∈ / λ or m ∈ /λ 0 m−u su,m,k mλ = (nu+k + 2)(nu+k + 1)mµ k= 2 ∈N (n otherwise, u+k + 1)(nm−k + 1)mµ (15) where µ is the partition squeezed from λ.
Main result
The bosonic (fermionic) Jack polynomials (times a Vandermonde determinant), including Laughlin, MooreRead and Read-Rezayi wavefunctions, can be obtained in Fock space by the action of an operator on an appropriate root: |ψλ i = I −
Thus, the normal-
n0 ! . . . n∞ ! . νλ1 . . . νλN
FOCK SPACE REPRESENTATION OF FQHE JACK STATES
K S Eλ − D
−1
|λi.
(16)
The root |λi is a permanent |perλ i (bosons) or a determinant |slλ i (fermions). In the following, we will unify the notation and use simply |λi. S is a two-body operator, which we call squeezing operator : ∞ X ∞ X ∞ X
s
(s + t)!(s + u)! † as+t a†s+u as+t+u as . (s + t + u)!s! s=0 t=1 u=1 (17) The sums encompass all possible squeezing operations (“squeezings” for brevity) described in section II C, where one particle in s and one in s+t+u are taken to s+t and s+u. The initial distance t+u is squeezed to |t−u|. The coefficients produce the proper combination of squeezed permanents (determinants) that compound a Jack polynomial (times a Vandermonde). A simple example is illustrated in Fig. 2. D is an operator diagonal on permanents or determiS=
u
4 nants: D|µi = Eµ |µi with Eµ = hµ| D |µi =
N X
µ2j
j=1
KX (µi − µj ), + 2 i