Bandwidth statistics from the eigenvalue moments for the Harper Hofstadter problem



Similar documents
March 29, S4.4 Theorems about Zeros of Polynomial Functions

Examples of Tasks from CCSS Edition Course 3, Unit 5

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, Notes on Algebra

Big Ideas in Mathematics

Current Standard: Mathematical Concepts and Applications Shape, Space, and Measurement- Primary

MA107 Precalculus Algebra Exam 2 Review Solutions

NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS

Similarity and Diagonalization. Similar Matrices

South Carolina College- and Career-Ready (SCCCR) Pre-Calculus

CORRELATED TO THE SOUTH CAROLINA COLLEGE AND CAREER-READY FOUNDATIONS IN ALGEBRA

The Quantum Harmonic Oscillator Stephen Webb

An example of a computable

South Carolina College- and Career-Ready (SCCCR) Algebra 1

Pre-Algebra Academic Content Standards Grade Eight Ohio. Number, Number Sense and Operations Standard. Number and Number Systems

Algebraic Concepts Algebraic Concepts Writing

Algebra Academic Content Standards Grade Eight and Grade Nine Ohio. Grade Eight. Number, Number Sense and Operations Standard

Continued Fractions and the Euclidean Algorithm

Zeros of Polynomial Functions

On the representability of the bi-uniform matroid

RESONANCES AND BALLS IN OBSTACLE SCATTERING WITH NEUMANN BOUNDARY CONDITIONS

The Open University s repository of research publications and other research outputs

Zero: If P is a polynomial and if c is a number such that P (c) = 0 then c is a zero of P.

REVIEW EXERCISES DAVID J LOWRY

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

Reflection Positivity of the Free Overlap Fermions

Notes on Determinant

GRADES 7, 8, AND 9 BIG IDEAS

Université Lille 1 Sciences et Technologies, Lille, France Lille Laboratoire de Physique des Lasers, Atomes et Molécules Équipe Chaos Quantique

Solving Simultaneous Equations and Matrices

Prentice Hall Algebra Correlated to: Colorado P-12 Academic Standards for High School Mathematics, Adopted 12/2009

A note on companion matrices

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

9.2 Summation Notation

Isotropic Entanglement

Lecture 13: Factoring Integers

BookTOC.txt. 1. Functions, Graphs, and Models. Algebra Toolbox. Sets. The Real Numbers. Inequalities and Intervals on the Real Number Line

Mean Value Coordinates

parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL

ALGEBRA 2 CRA 2 REVIEW - Chapters 1-6 Answer Section

Algebra 1 Course Title

Inner Product Spaces and Orthogonality

1 Lecture: Integration of rational functions by decomposition

Thnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks

MATH 095, College Prep Mathematics: Unit Coverage Pre-algebra topics (arithmetic skills) offered through BSE (Basic Skills Education)

3. INNER PRODUCT SPACES

Matrices and Polynomials

Inner Product Spaces

PRE-CALCULUS GRADE 12

The Characteristic Polynomial

Factorization Theorems

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

Section 1.1. Introduction to R n

Chapter 7. Lyapunov Exponents. 7.1 Maps

How To Understand And Solve Algebraic Equations

Chapter 17. Orthogonal Matrices and Symmetries of Space

Arithmetic and Algebra of Matrices

MATH 132: CALCULUS II SYLLABUS

Common Core Unit Summary Grades 6 to 8

Collatz Sequence. Fibbonacci Sequence. n is even; Recurrence Relation: a n+1 = a n + a n 1.

Math 115A HW4 Solutions University of California, Los Angeles. 5 2i 6 + 4i. (5 2i)7i (6 + 4i)( 3 + i) = 35i + 14 ( 22 6i) = i.

LOGNORMAL MODEL FOR STOCK PRICES

Performance Level Descriptors Grade 6 Mathematics

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Math at a Glance for April

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives

Continued Fractions. Darren C. Collins

Characterization Of Polynomials Using Reflection Coefficients

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

Math 131 College Algebra Fall 2015

Copyrighted Material. Chapter 1 DEGREE OF A CURVE

Florida Math Correlation of the ALEKS course Florida Math 0028 to the Florida Mathematics Competencies - Upper

DRAFT. Further mathematics. GCE AS and A level subject content

a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)

Essential Mathematics for Computer Graphics fast

Florida Math for College Readiness

Alex, I will take congruent numbers for one million dollars please

Tips for Solving Mathematical Problems

1 Sets and Set Notation.

If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?

Lecture 13 - Basic Number Theory.

Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test

Algebra Unpacked Content For the new Common Core standards that will be effective in all North Carolina schools in the school year.

Taylor and Maclaurin Series

n 2 + 4n + 3. The answer in decimal form (for the Blitz): 0, 75. Solution. (n + 1)(n + 3) = n lim m 2 1

Nonlinear Iterative Partial Least Squares Method

Friday, January 29, :15 a.m. to 12:15 p.m., only

Algebra 2 Chapter 1 Vocabulary. identity - A statement that equates two equivalent expressions.

Ideal Class Group and Units

Algebra I Vocabulary Cards

Math 120 Final Exam Practice Problems, Form: A

Math 55: Discrete Mathematics

Vocabulary Words and Definitions for Algebra

Algebra I Credit Recovery

Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Short Programs for functions on Curves

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

11.1. Objectives. Component Form of a Vector. Component Form of a Vector. Component Form of a Vector. Vectors and the Geometry of Space

Transcription:

J Phys A: Math Gen 33 (000) 6875 6888 Printed in the UK PII: S0305-4470(00)1138-9 Bandwidth statistics from the eigenvalue moments for the Harper Hofstadter problem O Lipan Division of Physics, Mathematics, and Astronomy, California Institute of Technology, Pasadena, CA 9115, USA E-mail: olipan@itscaltechedu Received 4 January 000, in final form 1 July 000 Abstract A method for studying the product of bandwidths for the Harper Hofstader model is proposed, which requires knowledge of the moments of the midband energies A general formula for these moments is conjectured, and the asymptotic representation for the product of bandwidths computed in the limit of a weak magnetic flux using Szegö s theorem for Hankel matrices Then a first approximation for the edge of the butterfly spectrum is given and its connection with Lévy s formula for Brownian motion discussed 1 Introduction A system of electrons on a square lattice in a uniform magnetic field displays an intricate energy spectrum For a rational magnetic flux, ie = πp/q, with p and q relatively prime integers, there are q bands in the spectrum if q is odd For q even, the bands at E = 0 are touching [6, 7] The aim of this paper is to study the asymptotic properties of the product of bandwidths First, a method to obtain the band spectrum is discussed Secondly, the problem to be addressed is defined more precisely The Hamiltonian of electrons on a square lattice in a uniform magnetic field, in terms of magnetic translations T 1 and T,isgivenby H = T 1 + T1 + T + T (11) where T 1 and T obeys the following commutation relation: T 1 T = e i T T 1 (1) In (1), is the magnetic flux (see [6, 30] for details concerning magnetic translations) For a rational magnetic flux, = π p q (13) the Hamiltonian becomes a q q matrix From now on, p and q will be relatively prime integers One representation for the translation operators is T 1 = e iθ 1 w 1 T = e iθ w (14) 0305-4470/00/396875+14$3000 000 IOP Publishing Ltd 6875

6876 O Lipan where w 1 = 0 1 0 0 0 1 1 0 (15) w = diag(e i, e i,,e iq ) (16) and θ j, j = 1, are real numbers (Bloch parameters) In this representation, the Hamiltonian is represented by the following matrix: a 1 b 1 0 b q b 1 a b H(θ) = 0 b a 3 bq 1 b q 0 b q 1 a q (17) where a n (θ) = λ cos( n + θ ) (n = 1,,,q) b n (θ) = e iθ 1 and θ = (θ 1,θ ) Chamber s relation [10], states that the characteristic polynomial of the Hamiltonian matrix decomposes into a θ-independent polynomial P p/q (E) of degree q and a function h(θ), det(h (θ) E) = P p/q (E) + h(θ) (18) h(θ) = ( 1) q 1 (cos(qθ 1 ) + cos(qθ )) (19) When θ varies, the function h(θ) varies between 4 and 4, so, for a given rational flux = πp/q, the bands are obtained by intercepting the graph of the polynomial P p/q (E) with the horizontal lines drawn at 4 and 4 Figure 1 shows the procedure for p = 1, q = 3 For the case in figure 1 there are three bands, because q = 3 Counting from the left these are Band 1 = [ 1 3, ], Band = [1 3, 1+ 3] and Band 3 = [, 1+ 3] Denote the widths of these bands by 1, and 3, respectively In general, for a polynomial P p/q (E), the widths will be denoted by, counting from negative to positive energies, 1,, q The roots of the polynomial P p/q (E) are eigenvalues for the Hamiltonian, for special values of Bloch momenta θ = (π/q, π/q) Let us call these roots E 1,,E q, counting from the negative to positive values of E For the example in figure 1, p = 1,q = 3, these eigenvalues are E 1 = 6,E = 0,E 3 = 6 The energies E 1,E,,E q are called midband energies These energies were studied in [, 30] using the Bethe ansatz The problem can be now stated as follows: find the asymptotic formula for the products of the bandwidths, ie q n (110) n=1

Bandwidth statistics the for Harper Hofstadter problem 6877 Figure 1 Bands for P 1/3 = x 3 +6x In the final section of the paper, it is found that, for a weak magnetic field = π 1 q 0, the asymptotic formula can be arranged as a product of terms, each term approaching zero faster than the next-neighbour term, equation (514): q n q q q exp( qd 0 + d 1 +O(1)) (111) n=1 Here, d 0 and d 1 are some constants Before ending this section, we write the polynomial P p/q (E) as a characteristic polynomial of a tridiagonal matrix In this way it will become easier to compute the moments of the roots of the polynomial P p/q (E), which we need to obtain the asymptotic formula (111) The moments will be the main object of study in section 3 From this point to the end of the introduction, the formulae are taken from [0] The roots of P p/q (E) are special eigenvalues and correspond for those θ for which h(θ) = 0 Studying the polynomial P p/q (E) becomes easier if we choose another representation for the Hamiltonian matrix: T 1 = e iθ 1 w 1 (11) T = e i / e iθ e iθ 1 w w 1 (113) In this case the Hamiltonian matrix acquires the form 0 a 1 0 ā q ā 1 0 a H(θ) = 0 ā 0 0 (114) aq 1 a q 0 ā q 1 0 with a r = ( [ ( 1+exp i r + 1 ) ]) +iθ e iθ 1 Chamber s relation in the above representation is det( H(θ) E) = P p/q (E) + h(θ) (115)

6878 O Lipan where h(θ) = ( 1) q 1 (cos(qθ 1 ) + ( 1) p cos(q(θ + θ 1 ))) (116) This last representation is convenient because for the special value θ 0 = (θ 10,θ 0 ) = (0,π(1+p/q)), simultaneously h(θ 0 ) = 0 (117) and a q (θ 0 ) = 0 (118) which makes H(θ 0 ) a tridiagonal matrix Out of this tridiagonal matrix, recursive equations can be deduced for generating the polynomial P p/q (E) Let P 0 (E), P 1 (E),, P q (E) be a sequence of polynomials generated by the following relations: P 0 (E) = 1 (119) P 1 (E) = E (10) P n (E) = EP n 1 (E) β n 1 P n (E) (n =, 3,,q) (11) where ( ) β n = 4 sin n (n = 1,,,q) (1) = πp/q It follows that P q (E) = P p/q (E) and that the polynomial P p/q (E) is the characteristic polynomial of the following tridiagonal matrix, which contains only positive numbers: 0 β 1 0 0 1 0 β M = 0 1 0 0 (13) βq 1 0 0 1 0 P p/q (E) = det(m E) (14) Bandwidth product From the paper [1], it is known that the bandwidths obey the inequalities (with e = exp(1) = 718 ): (1+ 5) P p/q (E n) < 8e n < P p/q (E n) n = 1,,q (1) where P p/q (E n) is the derivative of P p/q (E) computed at the eigenvalue E n, which are the roots of P p/q (E) Consequently, (+ 5) q 1 q n=1 P p/q (E n) < q n=1 n <(8e) q 1 q n=1 P p/q (E n) ()

Bandwidth statistics the for Harper Hofstadter problem 6879 The product q n=1 P p/q (E n) can be re-expressed as q (E j E i ) (3) j>i=1 The formula (3) can be written as a product of two Vandermonde determinants: 1 1 1 E 1 E E q 1 E 1 E1 E q 1 1 q (E j E i ) = E 1 E Eq 1 E E E q 1 j>i=1 (4) E q 1 1 E q 1 Eq q 1 1 E q Eq Eq q 1 By this observation, the product q n=1 P p/q (E n) can be written in terms of the eigenvalue moments, defined as s k = q n=1 Putting it all together gives (+ 5) q 1 σ q 1 < E k n k = 1,, 3, (5) q n=1 where σ q 1 is the Hankel determinant: σ q 1 = n <(8e) q 1 σ q 1 (6) q s 1 s s q 1 s 1 s s 3 s q s s 3 s 4 s q+1 s q 1 s q s q+1 s q (7) To obtain the asymptotic representation of the product of the bandwidths, as q, a separate study of the eigenvalue moments, s k, is necessary The next section is dedicated to this study 3 Eigenvalue moments First, we show that [k /4] s k = q a j (k) cos(πjp/q) if q>k (31) j=0 where a j are integer numbers that do not depend on p and q Here [k /4] is the integer part of k /4 To see this, note that the eigenvalue moments can be computed from the trace of the powers of the matrix M, equation (13): s k = Tr(M k ) (3)

6880 O Lipan Let us consider two examples, for k = 4 and 6: q 1 Tr(M 4 ) = (βm +4β m 1β m ) (33) m=1 q 1 Tr(M 6 ) = (6βm 3 +6β m 1 β m +6β m 1 βm +6β m β m 1 β m ) (34) m=1 where β m = 0ifm<0 The sum can be extended to q, because β q = 0 We find then (here C := e πip/q ): s 4 = Tr(M 4 ) = In general, q (( C m C m ) +4( C m 1 C m+1 )( C m C m )) m=1 = 4q(7+cos(πp/q)) (35) s k = q m=1 l 0 +l 1 + +l j =k d l0 l 1 l j β l j m j βl 1 m 1 βl 0 m (36) where j takes values between 0 and k 1; compare with (34) The coefficients d l0 l 1 l j do not depend on p and q They only depend on k and on (l 0,l 1,,l j ) Moreover, we can write q m=1 β l j m j βl 1 m 1 βl 0 m = n g n C ξ n (37) where g n are integer numbers which do not depend on p and q and the index n runs from 0 over a finite range In the above sum, the only non-zero terms will arise for those powers ξ n which do not depend on m This fact is a consequence of the structure of (l 0,l 1,,l j ) and not of p and q The sum over m will collect q identical terms so in the result the parameter q will be factor out Note that for a fixed k the same (l 0,l 1,,l j )-structure is present for all q>kforq k, some (l 0,l 1,,l j ) are not present For example, for q = k the term β m k+1 β m 1 β m is not present, whereas for all q>kit is present The maximum value for j in (31) is [k /4] This will be explained later, in section 4, after formula (45) To proceed further, note that in the formula for s k, equation (31), the parameter p appears only in the ratio p/q Because of this, the analysis of the eigenvalue moments can be extended to all real magnetic fluxes Indeed, for an irrational ω, let us consider a sequence of rational approximants p n /q n ω,asn For each n we obtain So, in the limit n, s 4,n = 4q n (7+cos(πp n /q n )) (38) E 4 (ω) := lim n qn j=1 E4 j,n q n = 4(7+cos(πω)) (39)

Bandwidth statistics the for Harper Hofstadter problem 6881 where E j,n, j = 1,,q n are the special eigenvalues (roots of P pn /q n (E)) for the flux n = πp n /q n Here are the first five limit eigenvalue averages: E (ω) =4 (310) E 4 (ω) =4(7+cos(πω)) (311) E 6 (ω) =4(58 + 36 cos(πω)+ 6 cos(4πω)) (31) E 8 (ω) =4(539 + 504 cos(πω)+ 154 cos(4πω)+ 4 cos(6πω)+ 4 cos(8πω)) (313) E 10 (ω) =4(5486 + 6580 cos(πω)+ 770 cos(4πω)+ 780 cos(6πω) +10 cos(8πω)+ 40 cos(10πω)+ 10 cos(1πω)) (314) Now, a natural question comes to mind: is there a general formula for s k, or equivalently for E k (ω)? At this time, I have a partial answer to this question From the first eigenvalue moments the following statement can be inferred: ( ) ( ) [k k /4] E k (k m 1)!! k! (ω) = 1+ k k (k 1)!! (k j m=1 m )! P m(k) sin m (πω) (315) where for each m the positive integer number j m is that one for which [(j m +1) /4]+ m [(j m +) /4] (316) The first pairs (m, j m ) are (, 0), (4, 1), (6, ), (8, ), (10, 3), (1, 3), (14, 4), (16, 4), (18, 4) P m (k) is a polynomial of degree 3m j m 3 This is so because the power of k in front of sin m (πp/q) is m There is one more detail about P m (k) which can be found by inspection of the first few terms Namely, the coefficients of the largest power in k, ie λ m in P m (k) = λ m k 3m j m 3 + (317) are generated by x sinh( x) = λ m x m (318) m=0 The following is a list of the first three polynomials P m (the first eight polynomials are listed in the appendix): P 1 (k) = 1 3 (319) P (k) = 1 90 (7k 4k 15) (30) P 3 (k) = 1 1890 (31k4 60k 3 101k +66k + 80) (31) From the formula (315) we find s k that we need in (7) Namely, s k = q E k (p/q) if q>k (3) In order to compute the asymptotic representation of the Hankel determinant (7), knowledge of P m (k) will suffice, because the largest moment needed in (7) is s q which is still given by the formula (3), since q>(q )/ Because there is no general formula for the

688 O Lipan polynomials P m (k), the asymptotic representation for the bandwidth product for all magnetic fluxes cannot be computed Still, the case = π 1 when q can be analysed, which is done in the final q section Before that, the eigenvalue moments can be further studied, using the summation formula (317) The analysis from the next section, besides its intrinsic value, is also useful for understanding the asymptotic formula for the bandwidth product in the case of a weak magnetic flux 4 The edge of the butterfly spectrum and Lévy s formula for Brownian motion In order to obtain a first approximation for the edge of the spectrum, we can make use of the general formula which gives the eigenvalue moments (315) Let us write the formula for the eigenvalue moments as a power series in k and retain only the largest power in k Call the result the first approximation to the eigenvalue moments, and use (1) as a superscript to mark it: and q n E k,(1) j,n j=1 = q n ( k k ) [k /4] m=0 For k we obtain q n E k,(1) j,n = q n (Ck k k sin(π(p n /q n )) ) sinh (k sin(π(p n /q n ))) j=1 E (1) max (ω) = lim p n /q n ω ( 1 λ m m km sin m π p ) n (41) q n (4) ( ) lim q n (Ck k k sin(π(p n /q n )) 1/k k ) (43) sinh (k sin(π(p n /q n ))) from which, the first approximation of the edge of the butterfly spectrum is given by E max (1) (ω) = 4e 1 sin(πω) (44) where 0 ω 1 and the flux is = πω Figure presents, for each p/q, q = 53,p = 1,,,5, the spectrum E j (p/q), j = 1,,q on a horizontal line The vertical coordinate is the flux (though we represented only p/q and not πp/q) The horizontal coordinate is obviously energy Superimposed on Figure Spectrum for q = 53 and the function 4e 1 sin(πω), the first approximation for the edge

Bandwidth statistics the for Harper Hofstadter problem 6883 the above-described spectrum is the graph of 4e 1 sin(πω) as a function of ω, which is the first approximation to the edge of the spectrum Second-order approximations can be obtained by summing the next largest power of k, namely all terms that contain k m 1 It is quite clear that a full understanding of the sequence of polynomials P m (k) will enable us to decipher the fractal character of the edge of the spectrum At this point it is worth mentioning works connected to the eigenvalue moments formula, (315) The geometric interpretation of the trace of the Hamiltonian can be found, for example, in [8] For this, consider the square lattice Z, where Z are the integer numbers Let Ɣ k be the set of all paths of lengths k which start and end at the origin (0, 0) For such a path Ɣ, let area(ɣ) be the oriented area enclosed by Ɣ (see [5] for details) Then we have Tr(H k ) = q q area(ɣ) (45) e iπ p Ɣ Ɣ k Compare this expression with the formulae for the eigenvalue moments For example, for k = we obtain that 4 7 = 8 represents the number of paths of length 4 starting and ending at the origin, which enclose zero area With the interpretation (45) for the eigenvalue moments, it is easy to explain the maximum value [k /4] reached by j in (31) The maximum value for the area(ɣ), when Ɣ has a fixed perimeter of k, is achieved when Ɣ is a square with edge of length k/ (when k is even), so the area is k /4 By the same token, for k odd, the maximum area is [k /4] As k random walks with k steps, approach (using a suitable renormalization, see [9]) two-dimensional Brownian motion The probability distribution of the areas enclosed by a planar Brownian motion was computed first by Lévy [4] Lévy s result is g area / E[exp(ig area)] = (46) sinh(g area /) where E[ ] is the expectation value and g is a real parameter Also, in a recent paper [5], Mingo and Nica studied the power sums of the areas What these authors found is that ( ) 1 k (area(ɣ)) m = R k m (k) if k>m (47) Ɣ Ɣ k where R m (k) is a rational function in k The degree of R m (k) (ie the difference between the degrees of the numerator and the denominator of R m (k)) is equal to m, and the leading coefficient of R m (k), call it ν m, is generated by z sin z = ν m (m)! (z)m (48) j=0 Both of these results are connected with the generating function for the leading coefficients of the polynomials P m (k), equation (318) The formula for the eigenvalue moments, equation (315) goes beyond Lévy s formula From this perspective, a full understanding of the polynomials P m (k) will shed new light on planar Brownian motion 5 Asymptotic representation of the product of bandwidths for a weak magnetic field and Szegö s theorem We now aim to compute the asymptotic representation of the product of the bandwidths, q n=1 n, for a weak magnetic flux, = π 1 q, when q We will use the inequality (6) together with the asymptotic representation of the Hankel determinant, (7) The entries of

6884 O Lipan the Hankel determinant are the moments s k, see (3) Up to the first order of approximation, equation (4), the moments are ( ) k k sin(π/q) s k = q k sinh(k sin(π/q)) (51) To go further, and because of lack of knowledge of the polynomials P m (k), it is assumed that (for the case of a weak flux), the second and all other orders of approximation are much smaller than the first order Moreover, because k sin(π/q) C 1 < sinh(k sin(π/q)) ek/q <C k = 1,,,q 1 (5) the influence of the first approximation term, ie k sin(π/q) sinh(k sin(π/q)) (53) on the asymptotic formula is considered to be of the same order of magnitude as given by the term e k/q In (5) C 1 πe/ sinh(π) = 0739 and C e 1/π / sinh(1) = 1169 Thus the moments s k to be used to find the asymptotic formula for the Hankel determinant are ( ) k s k = q e k/q k (54) and it follows that 1 0 0 ( ) 0 σ q 1 = q q e q+1 1 0 ( ) 4 ( ) 0 1 ( ) 4 ( ) 0 1 ( ) 4 ( ) 4 ( ) 4 (55) The dimension of σ q 1 is q To find the asymptotic representation of σ q 1,asq, we shall employ a theorem of Szegö One version of this theorem [17], gives the asymptotic behaviour of a determinant D n 1 (f ) := det(b µν ) 0 µ,ν n 1 whose generic element can be expressed as b µν = 1 1 x µ+ν f(x)dx (56) that is to say, the entries of the determinant can be expressed as the moments of a function f(x) The theorem says that, as n, ( ) D n 1 (f ) = D n 1 (1) exp nc 0 + 1 jcj 8 +O(1) (57) j=1

Bandwidth statistics the for Harper Hofstadter problem 6885 where c k k = 0, 1,,are the Fourier coefficients of the function ln(f (cos θ)): c k = 1 π e ikθ ln(f (cos θ))dθ (58) π π To apply this theorem we need the function f The generic term in the Hankel determinant σ q 1 can be expressed as an integral as follows: b µν = 1 π 4µ+ν x µ+ν K (x) dx (59) where K (x) is the complete elliptic integral of the first kind: K (x) = π/ 0 1 (1 x sin θ) 1/ dθ = π F 1 ( 1, 1 ; 1; x ) (510) Here x + x = 1 and F 1 (a, b; c; x) is Gauss hypergeometric series [3] The function f is then f(x)= K (x) (511) The determinant D n 1 (1) can be computed exactly and is given by the following product, using formula (15) in [7]: n 1 D n 1 (1) = k=1 ( k + 1 ) 1 ( ) 1 k Ck k (51) For large values of n D n 1 (1) = n(n 1)+O(1) Combining with the result of Szegö s theorem, the asymptotic representation of σ q 1 reads as ( ) ( q σ q 1 = q q e q+1 4 q(q 1) D π q 1 (1) exp qc 0 + 1 jcj ) 8 +O(1) (513) Here c 0 = 079 From this we find, as q, for a weak magnetic field ( = π 1 q ), q n q q q exp( qd 0 + d 1 +O(1)) (514) n=1 where d 0 and d 1 are constants which cannot be made precise because of the inequality we started with, equation (6), and because of the approximations we have used, equations (51) and (54) Suppose now that the bandwidths are written as an exponential: n = e µ nq (515) From the above definition we obtain the asymptotic formula for the average value µ n : q n=1 µ n = ln + ln q q q d ( ) 0 1 q +O (516) q At the limit, q n=1 µ := lim µ n = ln (517) q q j=1

6886 O Lipan 6 Conclusions This paper contains asymptotic results on the bandwidths in the Hofstadter spectrum for twodimensional electrons in a magnetic field Besides definite results, it also leaves some open questions The important results are: the asymptotic formula (514), the formula for the edge of the spectrum (44) and the conjecture on the general formula for the eigenvalue moments (315) The open questions are What is the general formula for the polynomials P m (k)? How do we obtain the fractal structure of the edge of the spectrum from the eigenvalue moments? How do we find the asymptotic representation for the product of the bandwidths for every flux, using Szegö s formula? Papers [1, 4, 5, 11 16, 18, 19,, 3, 8, 31, 3] are included as useful general references for this subject Acknowledgments I am grateful to PBWiegmann for introducing me to this subject and for his many valuable comments and ideas I would like to express my gratitude to B Simon for helpful discussions and for the fruitful scientific environment he created during the time this paper was written I owe special thanks to A G Abanov, P Di Francesco, Y Last, V Sahakian, A Soshnikov and J Talstra, for stimulating discussions Appendix Here the first eight polynomials P m (k) are listed, which appeared in the eigenvalue moment formula (315) The following formulae are conjectured from the first 5 eigenvalue moments (314): P 1 = 3 1 (A1) P = 90 1 (7k 4k 15) P 3 = 1890 1 (31k 4 60k 3 101k +66k + 80) (A) (A3) P 4 = 37 800 1 (17k 7 1044k 6 + 46k 5 + 38k 4 +7k 3 1 44k 0k + 5 00) (A4) P 5 = 374 00 1 (555k 9 31 887k 8 + 137 946k 7 43 774k 6 + 90 499k 5 796 57k 4 +647 416k 3 + 1661 436k 95 184k 3991 680) (A5) P 6 = 10 16 06 000 1 (1414 477k 1 3 155 043k 11 + 300 761 97k 10 1517 115 007k 9 + 470 753 473k 8 10 693 488 61k 7 + 0 071 853k 6 5 93 159 133k 5 + 11 996 84 390k 4 + 11 841 173 876k 3 +45 697 115 160k + 1 156 530 400k 90 810 70 000) (A6) P 7 = 10 16 06 000 1 (86 685k 14 8595 813k 13 + 110 951 109k 1 819 736 01k 11 + 3945 073 115k 10 13 604 875 839k 9 +36 03 850 77k 8 73 33 185 763k 7 + 108 49 09 0k 6

Bandwidth statistics the for Harper Hofstadter problem 6887 10 643 403 168k 5 + 1 711 359 64k 4 65 709 83 536k 3 63 479 070 70k 19 85 750 080k + 186 810 64 000) P 8 = 0 841 060 40 000 1 (118 518 39k 17 54 493 67k 16 + 104 055 035 58k 15 133 596 37 660k 14 + 9844 400 576 738k 13 56 735 776 354 034k 1 +47 874 19 87 336k 11 847 184 36 535 60k 10 +94 971 84 780 007k 9 494 658 969 019 451k 8 +8359 347 851 375 54k 7 11 07 96 976 651 080k 6 +11 409 4 33 806 816k 5 7994 766 40 003 888k 4 +4489 556 615 965 15k 3 344 931 101 3 640k 806 985 556 876 800k + 4668 397 493 760 000) (A7) (A8) References [1] Abanov A G, Talstra J C and Wiegmann P B 1998 Asymptotically exact wave functions of the Harper equation Phys Rev Lett 81 11 5 [] Abanov A G, Talstra J C and Wiegmann P B 1998 Hierarchical structure of Azbel Hofstadter problem: strings and loose ends of Bethe ansatz Nucl Phys B 55 571 96 [3] Abramowitz M and Stegun I A (ed) 1964 Handbook of Mathematical Functions (NBS Appl Math Ser vol 55) (Washington, DC: US Govt Printing Office) [4] Avron J, van Mouche P and Simon B 1990 On the measure of the spectrum for the almost Mathieu operator Commun Math Phys 13 103 18 [5] Bellissard J and Simon B 198 Cantor spectrum for the almost Mathieu equation J Funct Anal 48 408 19 [6] Barelli A and Fleckinger R 199 Phys Rev B 46 11 559 69 [7] Bellissard J and Barelli A 1993 J Physique 3 471 99 [8] Bellissard J, Camacho C J, Barelli A and Claro F 1997 Exact random walk distributions using noncommutative geometry J Phys A: Math Gen 30 L707 9 [9] Bilingsley P 1968 Convergence of Probability Measures (New York: Wiley) [10] Chambers W G 1965 Linear-network model for magnetic breakdown in two dimensions Phys Rev 140 A135 43 [11] Guillement J P, Helffer B and Treton P 1989 Walk inside Hofstadter s butterfly J Physique 50 019 58 [1] Harper P G 1955 Single band motion of conduction electrons in a uniform magnetic field Proc Phys Soc A 68 874 [13] Helffer B and Sjöstrand J 1988 Analyse semi-classique pour léquation de Harper I (avec application á létude de léquation de Schrödinger avec champ magnétique) Suppl Bull Soc Math France vol 116, Fasc 4, Mémoire 34 [14] Hiramoto H and Kohomoto M 199 Electronic spectral and wavefunction properties of one-dimensional quasiperiodic systems: a scaling approach Int J Mod Phys B 6 81 30 [15] Hofstadter D 1976 The energy-levels of Bloch electrons in rational and irrational magnetic fields Phys Rev B 14 39 49 [16] Jitomirskaya S and Last Y 1998 Anderson localization for the almost Mathieu equation III Semiuniform localization, continuity of gaps and measure of the spectrum Commun Math Phys 195 1 14 [17] Johansson K 1988 On Szegö s asymptotic formula for toeplitz determinants and generalizations Bull Sci Math II 11 57 304 [18] Krasovsky I V 1999 Bethe ansatz for the Harper equation: solution for a small commensurability parameter Phys Rev B 59 3 8 [19] Hoshi K and Hatsugai Y 000 Landau levels from the Bethe ansatz equations Phys Rev B 61 4409 1 [0] Kreft C 1995 Spectral analysis of Hofstadter-like models Thesis Technischen Universität Berlin, Berlin [1] Last Y 1994 Zero measure spectrum for the almost Mathieu operator Commun Math Phys 164 41 3 [] Last Y 1995 Almost everything about the almost Mathieu operator I Proc 11th Int Conf of Mathematical Physics ed D Iagolnitzer (Boston, MA: Academic) pp 366 7 [3] Last Y and Wilkinson M 199 A sum rule for the dispersion relations of the rational Harper equation J Phys A: Math Gen 5 613 33

6888 O Lipan [4] Lévy P 1951 Wiener s random function and other Laplacian random functions ed J Neyman Proc nd Berkeley Symp on Mathematical Statistics and Probability (Berkeley, CA: University of California Press) pp 171 87 [5] Mingo J A and Nica A 1998 On the distribution of the area enclosed by a random walk on Z J Comb Theory series A 84 55 86 [6] Rammal R and Bellissard J 1990 An algebraic semiclassical approach to Bloch electrons in a magnetic field J Physique 51 1803 30 [7] Szegö G 1939 Orthogonal Polynomials (American Mathematical Society Colloquium Publications, vol XXIII) (New York: American Mathematical Society) [8] Thouless D J 1990 Scaling for the discrete Mathieu equation Commun Math Phys 17 187 93 [9] Wannier G H, Obermair G M and Ray R 1979 Magnetoelectronic density of states for a model crystal Phys Status Solidi (b) 93 337 [30] Wiegmann P B and Zabrodin A V 1994 Quantum group and magnetic translations Bethe-ansatz for the Asbel Hofstadter problem Nucl Phys B 4 495 514 [31] Wilkinson M 1987 An exact renormalization group for Bloch electrons in a magnetic field J Phys A: Math Gen 0 1791 [3] Yong Tan and Thouless D J 1991 Total bandwidth for the Harper equation III Corrections to scaling J Phys A: Math Gen 4 4055 66