* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Landau Levels and Quantum Group
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Double-slit experiment wikipedia , lookup
Wave–particle duality wikipedia , lookup
Bell test experiments wikipedia , lookup
Bohr–Einstein debates wikipedia , lookup
Quantum chromodynamics wikipedia , lookup
Delayed choice quantum eraser wikipedia , lookup
Quantum decoherence wikipedia , lookup
Renormalization wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Probability amplitude wikipedia , lookup
Aharonov–Bohm effect wikipedia , lookup
Basil Hiley wikipedia , lookup
Topological quantum field theory wikipedia , lookup
Particle in a box wikipedia , lookup
Density matrix wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Coherent states wikipedia , lookup
Quantum entanglement wikipedia , lookup
Renormalization group wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Quantum dot wikipedia , lookup
Bell's theorem wikipedia , lookup
Quantum field theory wikipedia , lookup
Path integral formulation wikipedia , lookup
Scalar field theory wikipedia , lookup
Hydrogen atom wikipedia , lookup
Quantum fiction wikipedia , lookup
Many-worlds interpretation wikipedia , lookup
Quantum computing wikipedia , lookup
Orchestrated objective reduction wikipedia , lookup
Quantum teleportation wikipedia , lookup
EPR paradox wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
Quantum machine learning wikipedia , lookup
Quantum key distribution wikipedia , lookup
Quantum state wikipedia , lookup
History of quantum field theory wikipedia , lookup
Quantum cognition wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Hidden variable theory wikipedia , lookup
arXiv:hep-th/9311111v1 19 Nov 1993 OS-GE-36-93 (revised) November 1993 Landau Levels and Quantum Group Haru-Tada Sato† Institute of Physics, College of General Education Osaka University, Toyonaka, Osaka 560, Japan Abstract We find a quantum group structure in two-dimensional motions of a nonrelativistic electron in a uniform magnetic field and in a periodic potential. The representation basis of the quantum algebra is composed of wavefunctions of the system. The quantum group symmetry commutes with the Hamiltonian and is relevant to the Landau level degeneracy. The deformation parameter q of the quantum algebra turns out to be given by the fractional filling factor ν = 1/m (m odd integer). ———————————————————————– † Fellow of the Japan Society for the Promotion of Science E-mail address : hsato@jpnyitp. yukawa.kyoto-u.ac.jp 1 There have been many discussions in the study of quantum groups and algebras [1, 2]. Quantum group structures are found in (2+1)-dimensional topological Chern-Simons theories [3] as well as in rational conformal field theories and integrable lattice models [4]. Although the abelian ChernSimons theory does not possess a quantum group structure in the literature [3], it might be possible to exhibit one in some other senses. There have been also interesting investigations of condensed matter problems such as the fractional quantum Hall effect making use of the abelian Chern-Simons theory [5]. These observations bring us to find a quantum group structure in two-dimensional motion of nonrelativistic electrons in a uniform magnetic field. In this paper we consider the one body problem of such electron system and derive a quantum group algebra acting within each Landau level. It is also shown that the presence of a periodic potential term gives rise to the same quantum group structure. These quantum group structures allow us to expect a new approach to the quantized Hall effect utilizing the representation theory of the quantum groups. Let us review some basic facts about non-interacting charged particle (charge e and mass m) in a constant magnetic field B perpendicular to the x-y plane [7]. It is useful to adopt the following phase space variables instead of xi and pi : πi = pi − ec Ai βi = πi − mωǫij xj (1) (2) where ǫ11 = ǫ22 = 0, ǫ12 = −ǫ21 = 1 and eB ω = mc Ai = − 21 Bǫij xj − ∂i Λ. (3) (4) The vector β is related to the cyclotron center and the scalar function Λ is the gauge function which will be fixed later. The commutation relations at the quantum level are [πi , πj ] = [βj , βi ] = ih̄mωǫij [πi , βj ] = 0 and thus βi commute with the Hamiltonian 1 H= (π 2 + π22 ). 2m 1 2 (5) (6) The diagonalized angular momentum is given by J3 = h̄(b† b − a† a) (7) a a† ! = 1 (π1 (2mh̄ω)1/2 ± iπ2 ) (8) b b† ! = 1 (β2 (2mh̄ω)1/2 ± iβ1 ) (9) where and these satisfy [a, a† ] = [b, b† ] = 1 (10) and all other commutators are zero. The Hamiltonian being reexpressed as 1 H = h̄ω(a† a + ), 2 (11) it is obvious that J3 commutes with the Hamiltonian. The dynamical symmetry su(2) is thus generated by j+ = b† a, j− = a† b, 1 j = (b† b − a† a). 2 (12) It is worth noticing that the polynomials [8] Wnm = (β1 )n+1 (β2 )m+1 , n, m ≥ −1 (13) satisfy the W∞ algebra [9] m+l [Wnm , Wkl ] = ih̄mω{(m + 1)(k + 1) − (n + 1)(l + 1)}Wn+k + O(h̄2 ) (14) and [Wnm , H] = 0. (15) Combining the generators Wnm in the following way T(α1 ,α2 ) ∞ mω α1 α2 X i m−1 = exp(−i ( )n+m α1n α2m Wn−1 ) , h̄ 2 n,m=0 h̄ 3 (16) we get the magnetic translation operators [11] i Tα = exp( α · β), h̄ α = (α1 , α2 ) (17) which are interpreted as the translations accompanied by the gauge transformations; i −2 ie Tα = exp lB ǫij xi αj + {Λ(x + α) − Λ(x)} τα 2 h̄c where (18) s h̄ i , τα = exp( α · p). mω h̄ The lB is called the magnetic length which describes the radius of the area occupied by a degenerate state. The commutation relations among the magnetic translations become (for example see [6]) lB = 1 −2 ǫij ai bj )Ta+b . [Ta , Tb ] = 2i sin( lB 2 (19) Now we show a quantum algebra Uq (su(2)) of which deformation parameter is defined by physical quantities. Let us introduce the following combinations of the magnetic translations which translate a fundamental distance ∆ yet to be determined later: L−1 = L1 = T(−∆,−∆) − T(∆,−∆) q − q −1 (20) T(∆,∆) − T(−∆,∆) q − q −1 (21) K = T(2∆,0) . (22) These operators satisfy the following relations [L1 , L−1 ] = K − K−1 , q − q −1 KL±1 K−1 = q ±2 L±1 (23) with the identification −2 q = exp(i∆2 lB ). 4 (24) The algebra (23) is nothing but the quantum algebra Uq (su(2)) identifying E+ = L1 , E− = L−1 and t = K; [E+ , E− ] = t − t−1 , q − q −1 tE± t−1 = q ±2 E± . (25) We then consider a representation of the quantum algebra in order to determine ∆. The operator K and the Hamiltonian commute with each other and are simultaneously diagonalizable. Choosing the gauge Λ = 21 Bxy for simplicity, the simultaneous eigenfunction for both is found to be exactly the familiar Landau states [10] |n, li ≡ exp{2πi l y − y0 1 x − 2 (y − y0 )2 }Hn ( ) Lx 2lB lB (26) and l Lx on which we have imposed the periodic boundary condition; 2 y0 = −2πlB px = 2πh̄ l . Lx (27) (28) Hn (x) is the Hermite polynomial. We have ignored ortho-normalization factor for (26), which is not important in the following argument. From eqs.(20), (21) and (26), we see 1 l2 Lx ∆i , L± |n, li = [ ± 2πl B ]|n, l ± 2 2 Lx ∆ 2πlB x −x ∆ = 2π 2 lB . Lx −q where the notation [x] means [x] = qq−q and it becomes x in the limit −1 q → 1. If we require that the representation space is spanned by all the 2 degenerate Landau states (26), we should choose Lx ∆/2πlB = 1. Hence (29) This is nothing but the deviation of the coordinate y0 such that it changes the quantum number l by one. The generators of the quantum algebra (20)-(22) behave on the representation basis (26) as 1 L±1 |n, li = [ ± l]|n, l ± 1i , 2 5 (30) K|n, li = q 2l |n, li . (31) K measures the quantum number l and L±1 raises (lowers) l. We remark that our quantum algebra is associated with only the quantum number l, namely the degeneracy of the Landau levels. The energy level n is invariant under the action of the quantum algebra. This is the difference from the case of the su(2) algebra (12). Second, we discuss the case of a periodic potential in the same gauge H= 1 1 2 (p̂1 + mωy)2 + p̂ + V (x, y) 2m 2m 2 (32) where V (x + a1 , y) = V (x, y + a2 ) = V (x, y) . According to the Bloch theorem, we put the wave function of the form ψ(x, y) = exp( h̄i px x)φ(x, y) φ(x + a1 , y) = φ(x, y) (33) (34) into the Schrödinger equation Hψ = Eψ. It is convenient to introduce the dimensionless quantities: −1 −1 ξ = lB x, η = lB y + lB px h̄−1 , E = 21 h̄ωǫ , V (x, y) = mωh̄v(ξ, η) 2 u(ξ, η) = φ(x, y + lB pxh̄−1 ) . (35) 2 If lB pxh̄−1 is proportional to the period a2 or V is independent of y, Hψ = Eψ becomes ! d d2 2 ( + iη) + 2 + ǫ − v(ξ, η) u(ξ, η) = 0 . (36) dξ dη We see that u will be solved as a function of only three variables ξ, η and ǫ. We thus fix the form of the eigenfunctions i −1 −1 |ǫ, pi ≡ exp( px)f (lB x, lB y + lB ph̄−1 , ǫ) . h̄ (37) We consider the case of the following degeneracy ǫ(p1 ) = ǫ(p2 ) = . . . = ǫ(p2j+1 ) pk = 2πh̄ Lnkx (k = 1, . . . , 2j + 1) 6 (38) where j is a positive integer and nk = −j + k − 1. The magnetic translation acts on the state (37) as i¯ 1 ∆( mω∆ + pk ) |ǫ, pk+1 i , T(∆,∆) |ǫ, pk i = exp ¯ h̄ 2 (39) ¯ is an unknown parameter which will be determined later by the where ∆ representation theory. We therefore find the quantum algebra given by the following generators T(∆,∆) − T(−∆,∆) ¯ ¯ (40) L1 = −1 q−q T(−∆,−∆) − T(∆,−∆) ¯ ¯ L−1 = (41) −1 q−q and K = T(2∆,0) ¯ . (42) −2 ¯ . q = exp(ilB ∆∆) (43) When ¯ = N1 a1 , ∆ ∆ = N2 a2 (44) where N1 and N2 are integers, only the magnetic translation operators still commute with the Hamiltonian and thus our quantum algebra commutes with the Hamiltonian. The action on the eigenstates are obtained using (39) L±1 |ǫ, nk i = [ 12 ± nk ]|ǫ, nk±1 i , K|ǫ, nk i = q 2nk |ǫ, nk i . (45) ¯ The number of the degenerate states being Now let us determine ∆. n = 2j + 1, the dimension of the representation is 2j + 1. We notice that our representation (45) coincides with the spin-j representation of Uq (su(2)) when q n = 1. One of the allowed values of q is thus q = exp( ¯ is determined and ∆ ¯ = ∆ 2πi ) 2j + 1 Lx . 2j + 1 7 (46) (47) The condition (44) is satisfied when Lx and Ly are written as Lx = (2j + 1)N1 a1 , Ly = (2j + 1)N2 a2 . (48) Finally, some remarks are in order. In eqs.(40)-(43), we have intro¯ which discriminates the representations. Also duced another parameter ∆ ¯ However in this in eqs.(20)-(24), it is of course possible to introduce ∆. 2 ¯ case, the number of the degenerate states being given by n = Lx Ly /2πlB ,∆ ¯ amounts to (Lx /Ly )∆. When Lx = Ly , ∆ becomes ∆ after all. While in the ¯ 6= ∆ even if Lx = Ly . case of V 6= 0 we notice that ∆ The limit q → 1 can be performed by the double scaling limit Lx → ∞ and B → 0 keeping Lx B = const. or the value ∆ (for example, Lx B = 2πh̄c/e∆). The generators L±1 and the RHS of the commutation relation −2 (K − K−1 )/(q − q −1 ) become singular on lB → 0. The singular part of the generators is simply given by replacing Tα with τα . Hence appropriately rescaled generators of the quantum algebra reduce to the u(1) generators, i.e., just the translations when we consider the limit q → 1. The quantum group structure is found to be relevant to the degeneracies of the Landau Level. So far as a periodic potential is concerned, it is also known that each Landau level splits into some subbands of equal weight under a weak sinusoidal potential [12]. We can deduce that the representation basis of a quantum group is composed of wavefunctions labeled by quantum numbers of these degeneracies and that there exists a quantum group symmetry with the value (46). 2 We have assumed lB px h̄−1 ∝ a2 in deriving eq. (36). The proportional constant is the integer N2 nk . This condition implies that the magnetic-flux quanta (fluxon) per unit cell φa = a1 a2 eB/hc is given by φa = 1 . N1 N2 (2j + 1) (49) The electron density per unit cell is ρa = a1 a2 1 = , Lx Ly N1 N2 (2j + 1)2 (50) 1 ρa = . φa 2j + 1 (51) and the filling factor is thus ν= 8 This is a fractional filling of ν = 1/m (m odd), which appears in the Laughlin function [13]. It might be possible to examine a many-particle system along the same line as this paper and we therefore expect the existence of a quantum group symmetry with the value of deformation parameter q = exp(2πiν) . (52) It is not until the quantum group symmetry exists that the above relation will be proved. Furthermore, q being a root of unity, the representation theory [14] is considerably different from those of (12),(14) and (19). Hence, our derivation of the quantum group symmetry will give some nontrivial suggestions. Generalizing the consideration of this paper to many-particle systems, we might obtain a new feature of fractional Hall systems and of other condensed matter problems [15] related to the Landau-level degeneracies. Acknowledgements The author would like to thank N. Aizawa, K. Higashijima, N. Ohta and H. Shinke for valuable discussions and useful suggestions. References [1] V. Drinfeld, Proc. ICM-86, Berkeley, 1986, pp.798-820; M. Jimbo, Lett. Math. Phys. 10 (1985) 63; 11 (1986) 247; Commun. Math. Phys. 102 (1986) 537. [2] P. P. Kulish and N. Yu. Reshetikhin, J. Sov. Math. 23 (1983) E. K. Sklyanin, Usp. Math. Nauk. 40 (1985) 214. [3] E. Witten, Commun. Math. Phys. 121 (1989) 351; G. Siopsis, Mod. Phys. Lett. A6 (1991) 1515; E. Guadagnini, M. Martellini and M. Mintchev, Nucl. Phys. B336 (1990) 581. [4] ”Yang-Baxter Equation in Integrable Systems”, ed. M. Jimbo (World Scientific, Singapore, 1990). 9 [5] ”The Quantum Hall Effect”, ed. R. E. Prange and S. M. Girvin (Springer-Verlag, New York, 1986). [6] S. M. Girvin, A. H. MacDonald and P. M. Platzman, Phys. Rev. B33 (1986) 2481. [7] S. Fubini, Mod. Phys. Lett. A6 (1991) 347; G. V. Dunne, A. Lerda and C. A. Trugenberger, Mod. Phys. Lett. A6 (1991) 2819. [8] A. Cappelli, C. A. Trugenberger and G. R. Zemba, Nucl. Phys. B396 (1993) 465. [9] C. N. Pope, X. Shen and L. J. Romans, Nucl. Phys. B339 (1990) 191. [10] L. Landau and E. Lifshitz, ”Quantum Mechanics”, 3rd ed. (Pergamon, Oxford, 1977). [11] E. Brown, Phys. Rev. 133 (1964) A1038; J. Zak, Phys. Rev. 134 (1964) A1602; ibid. A1607. [12] A. Rauh, G. H. Wannier and G. Obermair, Phys. Status Solidi (b) 63 (1974) 215. [13] R.B. Laughlin, Phys. Rev. Lett. 50 (1983) 1395. [14] G. Lusztig, Contemp. Math. 82 (1989) 59. [15] A. Lerda and S. Sciuto, Nucl. Phys. B401 (1993) 613; R. Caracciolo and M.A.R. Monteiro, Phys. Lett. B308 (1993) 58. 10