HAL Id: jpa-00246736
https://hal.archives-ouvertes.fr/jpa-00246736
Submitted on 1 Jan 1993
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Semiclassical methods in solid state physics : two examples
Jean Bellissard, Armelle Barelli
To cite this version:
Jean Bellissard, Armelle Barelli. Semiclassical methods in solid state physics : two examples. Journal
de Physique I, EDP Sciences, 1993, 3 (2), pp.471-499. �10.1051/jp1:1993145�. �jpa-00246736�
Classification
Physics
Abs tracts75.10 71.25.C 03.65F
Semiclassical methods in solid state physics
:two examples
Jean Bellissard and Armelle Barelli
Laboratoire de
Physique Quantique
Universit6 Paul Sabatier 118, route de Narbonne F-31062 ToulouseCedex,
France(Received
22July
1992,accepted
in final form 9August 1992)
Rdsumd. Ce travail est une revue de deux
problbmes
motiv6s par l'6tude des modbles bidi- mensionnels pour lasupraconductivitd
I hautetemp6rature
critique. Lapremibre partie
con-cerne l'6tude du spectre
d'6nergie
pour des dlectrons de Bloch bidimensionnels soumis £ unchamp magndtique
uniforme. Une analysesemi-classique
permet d'encomprendre
les propr16t6s qualitatives et quantitatives. La deuxibme partie est un plaidoyer pour l'utilisation des m6thodes du "ChaosQuantique"
dans l'6tude des systbmes de fermions fortement corr616s. La distribution des dcarts de niveaux d'un modble t J en deux dimensions, en fournitune illustration.
Abstract. We present here a review of two problems motivated
by
2D models forhigh
Tcsuperconductivity.
The first part concerns the energy spectrum of 2D Bloch electrons in auniform
magnetic
field. A semiclassicalanalysis
provides a qualitative as well asa
quantitative understanding
of this spectrum. In the second part we make the case for theapplication
of"Quantum Chaos" to
strongly
correlated fermion systems. It is illustrated by the levelspacing
distribution for the t J model in two dimensions.
1met R. Rammal for the first time at the Paris
meeting
on Statistical Mechanics inJanuary
1983. Pierre Moussa introduced us to each other. Some
similarity
between Rammal's work on theSierpinski
lattice[75]
and some one dimensional almostperiodic
models studiedby Bessis,
Moussa and
myself [15]
was the reasonwhy
he wanted to make myacquaintance.
During
the short discussion we hadtogether
at thismeeting,
it becameimmediately
clear that we had twopoints
in common : we had bothgot
ourdegree
in a Frenchuniversity,
and both worked hard to understand the structure of the Hofstadterspectrum [55].
On the first
point,
we shared thehardship
ofbeing
outsiders in the French research institu- tionsheavily
dominatedby
the smart butarrogant
"Grandes Ecoles" alumni.On the
second,
we were both fascinatedby
thecomplexity
and theimportance
ofmagnetic
field effects in Solid StatePhysics.
Bloch electrons in a
magnetic field, superconductor
or normal metalnetworks,
thequantum
Halleffect,
electronicproperties
ofquasicrystals, high Tc superconductors
andquantum
chaos472 JOURNAL DE
PHYSIQUE
I N°2have been the focus of our
frequent
andcontinuing
dhcussions over the years since then. Not to mention thesubjects
ofdaily life, professional matters, politics
andprivate problems
as well.Scientific
ambition,
astrong
need for affection and a woundedpride secretly
underlied his life. Rammal died on aFriday
in the middle of a scientific discussion after years of heartbreak for hiscountry falling apart,
and years of acutephysical pain, despite
thehope
that medicaltechnology
gave him for the better.Jean Bellksard
Toulouse, July
19921. BlocI~ electrons in a
magnetic
field.Electronic motion in a
crystal subject
to amagnetic
field has been one of the maintopics
in Solid StatePhysics.
Amagnetic
field breaks the time reversalsymmetry
and reveals details of themicroscopic
structure of acrystal.
The Halleffect,
the de Ham vanAlphen effect,
electronicdiamagnetism
inmetals,
the Meissnereffect,
fluxquantization
of vortices insuperconductors
and more
recently
themagnetoresistance
oscillations inslightly
disorderedmetals,
and thequantum
Halleffect,
areexamples
of thecomplexity
amagnetic
field introduces inhomogeneous
materials.
The first
study
of suchproblems
goes back to Landau in 1930[58]
for the motion of electrons in ametal,
in the effective massapproximation.
It was soon followedby
the work of Peierls[72]
for Bloch electrons. But it took until thefifties,
with a paperby Luttinger [64]
to start asystematic study
of theproblem.
The main remarkcoming
out of these works is thatmagnetic
translation
operators [94]
aregenerating
the effective Hamiltoniandescribing
the electronic motion in theindependent
electronapproximation.
The case of two dimensionalsystems
ina
perpendicular
uniformmagnetic
field becameincreasingly important
after thedevelopment
of electronic devices such as MOSFETS or
heterojunctions [2].
It isnowadays possible
toget
metallic thin films 2001
thick.Many
of the afore mentioned effectsare
actually
enhanced in two dimensions.More
recently,
thediscovery
ofhigh Tc superconductors
incopper-oxides [12]
led severalexperts
to propose that the main mechanismleading
toCooper pairs,
liesprobably
in theplanes
of the copperatoms, reducing
theproblem
to two dimensions.Moreover,
the fluxphases approach
reduces theproblem
to the case ofindependent charged particles
in a lattice and amagnetic
field. Eventhough
this lastapproximation
isquestioned nowadays,
it led manyphysicists
to go back to thequestion
of the 2D electronic lattice motion in a uniformmagnetic
field.
If we denote
by
U and V the twomagnetic
translationsdescribing
such asystem, they
areunitary operators fulfilling
thefollowing
commutation rules :UV =
e~~'"VU (I)
Here,
o =#/#o
is the ratio between themagnetic
flux# through
the unit cell and the fluxquantum lo
=hle (h
is Planck's constant and e the electroncharge).
To describe the electronic motion in a
crystal,
let us consider first the case for which a = 0corresponding
to the absence of amagnetic
field.Only
those energy levels near the Fermi energyparticipate
inconduction,
so that we can restrict ourselves to a finite set of bandscrossing
the Fermi surface. Forsimplicity,
let us restrict ourselves to the case ofonly
one such band. LetE(k) (k
=(ki, k2) being
thequasimomentum)
be thecorresponding
band function.By
Blochtheory, E(k)
isperiodic
withrespect
to thereciprocal
lattice. Peierls thenproposed
to
replace
k=
(ki, k2) by
the dimensionlessoperator
K =(Ki, K~),
whereK»
=) I"h£ A»)
= COnSt
(P» eA»)
,
»
in the
expression
of E toget
the effective hamiltonian. Here A=
(Ai,A~)
is the vectorpotential,
a~(p
=1, 2)
are the latticespacings
in each direction.Remembering
thate~~i
ande~~? satisfy
the commutation relation(I),
the Peierls Hamiltc- nian can be written as aconvergent
power series in theoperators
U and V.The
rigorous justification
of this Peierls substitution has been done in[IS, 85]
and leads to corrections to the Peierls Hamiltonian. But whatever thecorrections,
the effective Hamiltonianalways
admits arepresentation
in the formHe~
"~j hmi,1112(°)U~~
v~~~~~~~~~~~'
(2)
(~l~i,~1~~)~zz
where
hm~,m~(al's
are smooth functions of a. This seriesusually
convergesabsolutely.
The
simplest
case consists inlooking
at a square lattice for whichwe
ignore
thehigher
order terms in(2).
Itgives
rise to the sc-called"Harper
model"namely [49]
:HHarper
" u +u~~
+ v +v~~ (3)
The
analogy
between(I)
and the canonical commutation relations(where
h =h/2x), jQ, pi
= ;h,
(4)
between the
position Q
and the momentum Poperators,
is realized if wereplace
Uby e~~
,
V
by
e~Q and 2xoby
h. Therefore aplays
the role of an effective Planck constant in(I).
l'he main difference is that h is a fixedparameter
once and forall,
whereas a isproportional
to themagnetic
field and can be varied like a tunableparameter.
We thus have realized a concrete
system
in which one can test the semiclassical methods. Ina
crystal
with latticespacing
of order of11,
anda
strong
realisticmagnetic
field of order of 10 T weget
a of the orderof10~~,
which isquite
small andjustifies
a semiclassicalapproach.
However if we build
artificially
a network with latticespacing
of the order oflpm,
in amagnetic
field of few
Gauss,
we canget
o te I. Such networks were indeed builtby
the Grenoble group[68, 69] by
mean ofsuperconductors.
The de Gennes[34]
and Alexander[I] theory
for such networkspermits
to relate in asimple
way thegroundstate
energy of theHarper
Hamiltonian(3)
to the normalmetal-superconductor
transition curve in thetemperature-magnetic
fieldphase
space. In thisproblem
however the electroncharge
e must bereplaced by
theCooper pair charge 2e,
inlo.
1.I ALGEBRAIC APPROACH. Another
approach
to(I)
consists inconsidering
the case forwhich o =
p/q
is a rational number. Then U~ and V arecommuting.
In an irreduciblerepresentation
we canalways represent
U and Vby
mean of q x q matricese~~iu
ande'~?v
where u and v are unitaries such thatu~
= v~
= I uu
=
e~~'P'~vu (5)
Substituting
in theexpression (2)
for the effectiveHamiltonian,
weget
ak-dependent
q x qmatrix which can be
numerically diagonalized
on acomputer, giving
rise to afamily
of q subbands.JOURNAL DE PHYSIQUE I f 3, N'2, FEBRUARY lW3 17
474 JOURNAL DE
PHYSIQUE
I N°2~ ~ """_ =.=W W=.,_.)""' ~
/
',,
.,,
.-.u-~~~~"--Zl-.-
/
", ""'"-~ ~~~~~i~~' _/.""'
/"'§ ~h&. ~%O~~i'~ fi" /
lk 'NAG. ~3" ./6Y' ~df
W
'W'
S W' Jz7las, I /WS ,1 ,Ai6Kl
~3V '"Ml' ~Q13~7
V/l~~ ~4l ~~4
~
/ /~j£fi~_ _/@ ~
.j
If. :,: ::::.. '";:::, :,;. .t,) ~@if~' & )/
N~ Y~4~ W ~Jh~~ A1
ova w 4m ~qy ~m
ZdS f ;,<Gd£S l ,©Wl
iW'
'&f '4
j" ~
_/ N
/~ ",
,,'
,_;.~" ',_
/
., ,.--- ~,. ,/
/. :.. ,.,.
'll.,
.,,i>11" 1.1,:'.',
.: .. .,
~~
-3.5 -2.0 -1.5 -1.0 -0.5 0.0 0.5 1.0 1.5 2.0 2.5 3.0 3.5
Fig-I- Spectrum
ofHarper's
model(Hofstadter's butterfly).
For
Harper's model,
thisdiagonalization
isespecially simple
for the subbandedges
are ob- tained fork~
= 0 orx/q
mod 2x. It gave rise to the famous Hofstadter'sbutterfly [55] (see Fig. I).
As one can see fromfigure I,
theeigenvalue spectrum
as themagnetic
fluxvaries,
exhibits a fractal structure of
high complexity.
The first mathematical
difficulty,
in this numericalapproach,
is to show that whenever the fluxo becomes
irrational,
one canapproximate
thespectrum by
mean of the rational one. Thiscan be done
using C*-algebra techniques (see [71]).
A
C*-algebra
A is acomplex
vector space, with a bilinearproduct,
and an antilinear involutiona E A -- a* E A
satisfying (ab)*
= b*a*. Moreover A has a norm for which it is a Banachspace
(namely
eachCauchy
sequenceconverges)
and satisfiesllall~
=lla*all (6)
A unit I is an element of A such that aI
= Ia
= a
,
Va e A. Therefore from
(6) ))I)
= I. A
C*-algebra
has notnecessarily
anyunit,
but if some unit exists it isunique.
One canalways enlarge
aC*-algebra by adding
a unitby
brut force. A*-homomorphism
p A -- B betweentwo
C*-algebras
A andB,
is a linear map such thatp(ab)
=
p(a)p(b), p(a*)
=p(a)*.
This structure is
actually
very natural from twopoints
of view.First of
all,
thetopology generated by
this norm ispurelj~ algebraic,
because(6)
tells us that[[a[)~
is thespectral
radius of a*a(a purely algebraic concept).
This is confirmedby
the fact that if p is a*-isomorphism
from A to B then p is normpreserving.
Thus the norm is analgebraic
invariant.Moreover,
the antilinear involutionpermits
to definepositive elements, namely
those elements ofA
which can be written in the form a*a for some a EA.
Thispositivity property
is essential inQuantum
Mechanics in that itpermits
to define energy andgroundstates
for instance.Then,
if a EA, ))a
II is the smallest non
negative
number "c" such that 0 < a*a < cI.It can be shown
[78]
that there is aunique largest C*-algebra Au (up
toisomorphism) generated by
two "abstract" unitaries U and Vsatisfying (I). Au
contains a unit. It is called the "'rotationalgebra"
and had been defined and studiedby
Rieflel[78]. Moreover, given
anycompact
subset I ofR,
one can show that there is aC*-algebra AI generated by
elements of the form(2)
where thehm~,m~
are continuous functions of oon I and vanish all but for a finite number of them.
AI
hasalways
a unit. In a certain senseAI
can be seen asUo~ IAn. Actually
for a e I there is a natural
*-homomorphism
paAI
--Ao
which consists inevaluating
all thehm~,m~'s
at o.Given an element a in a
C*-algebra AI
with a unitI,
itsspectrum SpA(a)
is the set ofcomplex
numbers z e C such that zIa has no inverse element in A.
The main result
justifying
the numerical calculation is :Theorem i Let H
= H* a
self adjoint
elementof AI,
where I is acompact
subsetof
R.Then the
spectrum E(a)
=Sp
A
(pa(H))
is continuous withrespect
to anamely
its gapedges
are continuous
functions of
a. ~A
C*-algebra
can berepresented by operators
in a Hilbert space.Namely
arepresentation
x is the data of a Hilbert space
7i,,
called therepresentation
space, and ofa
*-homomorphism
x A --
B(7i,)
into theC*-algebra
of boundedoperators
on7i;
For the rotation
algebra
severalrepresentations
havephysical meaning.
Forinstance, Harper
in 1955[49]
used thefollowing
one7i,
=£~(Z), namely
the Hilbert space ofquantum
stateson a discrete lD
chain,
and theoperator x(U)
is the translationby
one, whereasx(V)
is themultiplication by e~~'(~~°'~)
if N is theposition operator.
It is not difficult to seethen,
that theSchr6dinger equation x(HHarper)~l
"E~I,
whereHHarper
isgiven by (3)
isnothing
but theHarper equation
~l(n
+I)
+~l(n 1)
+ 2 cos2x(z
on)#i(n)
=E~I(n) (7)
We can also represent U and V on
f~(Z~) namely
in a 2Dlattice, by
mean of the discretemagnetic
translations. Atlast,
one can alsorepresent
them onL~(R) by e~w~i
ande~W~?
where 7
=
2xa, 1(2
is theposition operator
andIll
"-I).
Many
otherrepresentations
do exist and are useful forpractical
purposes.1.2 SEMICLASSICAL ANALYSIS. To go forward on the
knowledge
of the Hofstadter spec-trum, we will use the semiclassical
analysis namely
we willdevelop
anasymptotic
calculus asa -- 0. This can be done as follows
setting
7= 2xo
we use the
representation x(U)
=e'~~~+w~~~ x(v)
=
e~~~?+w~?~
,
(8)
and
expand
the effective Hamiltonian(3)
in powers of@.
If k =
(ki, k~)
is chosen as a maximum or a minimum k=
kc
of the band functionE(k),
onegets
for H anexpression
of the formH =
E(kc)
+I(fif~~ )~vI(~ltv
+O(7~~~)
,
(9)
47G JOURNAL DE
PIIYSIQUE
I N°2Energy
-2 / ~
/
/~~'~~
"
o
' -2.5
-2.75
-3
-3.25
3 5
-3.75
o o.02 o.04 o-fit, @,I»I i,1 ~~~
Fig.2. Comparison
between exact spectrum and semiclassical formulae for the Landau levels in the Harper model; points are extracted from the numerical exact spectrum, full curves representsemiclassical formulae
given by Equation (11).
where
M~v
is the effective mass matrix near the extremum and +(resp. -)
is chosen fora minimum
(resp. maximum).
TheO(7)
term isnothing
but Landau's Hamiltonian inthe effective mass
approximation.
Thecorresponding eigenvalues
are easy toget, namely (n EN)
:En
=E(kc)
+j ~~j+j~
+o(72)
,
(lo)
1 2
where ml, m2 are the
eigenvalues
ofM,
and n E N labels thecorresponding
Landau levels.The
O(7~)
term can be obtained from(9) by perturbation theory.
Inparticular
if H ispoly-
nomial in U andV,
one canget
anexpansion
ofEn
in(10)
at every order in 7. Inparticular
for
Harper's equation,
the Landau levels aregiven by (see Fig. 2)
Et
= +
4
7(2" +1)
+)~ ll
+(2~
+1)~l fit"~
+("
+l)~l
+(7~)j (11)
Such an
expression
canactually
begeneralized
near each rational valuep/q
eQ
of a. Forindeed, using
the matrices u andv in
eq.(5),
and thegenerators Up
=pp(U)
and Vp =pp(V),
the
sub-C*-algebra
ofMq(C)
©Ap generated by
U'= u ©
Up
and V' = v © Vp isisomorphic
to
Ao
if o=
p/q
+fl.
Therefore in thisrepresentation,
the effective Hamiltonian pa(H)
can beseen as a q x q matrix
kp
with elements inAp.
In much the same way weget
anexpansion
near6 =
2xfl
te0,
if wereplace Up
and Vpby e~(~i+W~i)
ande~(~?+W~?)
anddeveloping
in power8 ofli.
The difference is that for 6= 0 the "band function"
E(k)
isreplaced by
a matrix valued functions7i(k). Diagonalizing 7i(k) gives
a sequence of q subbandsEi(k),
,
Eq(k),
whichgives
thespectrum
ofpp/q(H),
whenever we vary k.Correspondingly
weget k-dependent eigenstates )I)k
,
I =
I,
, q.
Such a "classical" mechanics
corresponds
to motion in a fiber bundle. Here the((k, )I)~)
eT~
xC~;
k eT~)
is a line bundle associated to the i~~ subband.To describe the
spectrum
near a bandedge,
wepick
up a band(namely
we choose I e[I, q]),
and let
kc
be the value of k for whichE;(kc)
is the bandedge
we consider. Thenkc
is a maximum or a minimum ofE;.
In order to reduce theproblem
to the case a --0,
wereplace
the matrix valued Hamiltonian
kp by
an effective band Hamiltonian
by
mean of a standard Schurcomplement
formulatip(z)
=
(<lfip4
+(<lfipo;
~~
~ Q;fiplo
,
(12)
where
ii)
=(I)k_k~, Q;
=Iq (I) (ii
andIq
is the unit matrix inMq(C).
The
eigenvalue
E ofkp
near
E; (kc)
is thengiven by
theequation
:E =
eigenvalue
ofjip(E)
Expanding (12)
in powers ofli gives
rise toan
expansion
of the same form aseq.(9)
wherenow M is the effective mass for the subbands. So we
get
Landau sublevels at each bandedge.
However the
O(6)
termsplits
into twopieces
where
fl;(k)
=
(I)kk(I(.
The first term isproportional
to (b( andgives
rise to adiscontinuity
of the derivative of the band
edges (namely
forn =
0)
at o =p/q (I.e.
6=
0).
Notice that@@
is thedensity
of states at the bandedge.
The other term is
proportional
to 6 and accounts for the curvature of the i~~ bundle introducedby
the matrix Hamiltonian~(k).
Itproduces
anasymmetry
of the derivative of the bandedges
near o =
p/q (see Fig. 3).
Formula
(13)
was written for the first timeby
Wilkinson[92]
for theHarper
model. Rammal[76]
rederived it forHarper's
model and related the derivativefiE;,n(6) /fi6
to themagnetization
of a
superconducting network, using
Abrikosov'stheory.
The formula(13)
was derived in fullgenerality (namely
for any modelgiven by Eq.(7))
in[13] (see
also[51, 77])
where it was called the Wilkinson-Rammal formula.1.3 BANDTOUCHING. The Wilkinson-Rammal formula is valid
Only
at a bandedge
sep-arated from other
bands, namely
wheneverE;(kc)
is asimple eigenvalue
of~(kc).
On thecontrary,
if two bands touch at k=
kc,
theasymptotic
is different anddepends
upon the order of the contact between them. Whenever two bands touch eachother,
the contact isgenerically
conical
(see Fig. 4). Degenerate perturbation theory
indicates that the effective Hamiltonianjip(z)
in(12)
must be a 2 x 2 matrixcorresponding
to theeigenprojection
:1<1(<1+ 1<'1("1 = fl
,
if
Ei(kc)
=E;>(kc),
I and I'being
the labels of thetouching bands,
andkc
the conicalpoint.
One can show that the lowest order term in the
jip(z) expansion
isgiven (after
a suitable choice ofcoordinates) by
a Diracoperator, namely
jip(z)
=E; (kc
+Vi l~,
~~~
~~~
~'~~~
+O(d) (14)
'1 2
478 JOURNAL DE
PHYSIQUE
I N°2jliflfl
W A
/$~flli~
iw'l'wl
J4' @ 1J©K
~ Jk~P'lK ~
/ ~~S~K N
~,./ ~~_~~, '.,~
IS-I' ..ll.I@#I,'I.," .),b"
~~'
,'. "" ,"' .~' /I I
lYl lift
/~4~ @1
IV I 'W3©V' 13Vl
4 r W TALT /@~ 1&
jP' £ ~~K£ # £lP'k ~3L
/~@$/l.,. _,,~l'$~h~),
IS ...,:.i;.. ;÷;;;..;1::," ."~
.,
.c' '. ;:I°,;;; ....;,I:'... b,Q,
-1.2 -1.0 -0.8 -0.6 -0.2 0.4 0.6 1.0
Fig-S- Asymmetry
of the central bandedges
for theHarper
model near a=
1/3.
Thus Landau sublevels are
replaced by
Dirac levelsnamely
Ez,~z =
E; (kc)
+24@sgn(n)
+O(6)
,
(15)
where n e Z is the Dirac label.
For
Harper's model,
it was shown in[17]
that there is no gap at E= 0. In
particular
ifo =
p/q,
where q is even, the middle gap is closedproducing
a conicalbandtouching.
This is what we can see infigure
4 at a =1/2
where the Dirac levels aregiven by (6
=2x(a 1/2))
Ef~
=+2(2n(6()~'~ (l *)
+
O((6(~'~)
n > 0(16)
' 2
~
Non
generic touching
had been studied in[9].
Playing
with such a semiclassicalanalysis permits actually
to reveal thetopology
of the classical bandsunderlying
thesystem.
A bunch of Landau sublevels will reveal the existence of a local extremum in a subband. Theslope
of these levelspermits
to measure the localcurvature of the subband
near this extremum. The
expansion
of this level in power of 6permits
inprinciple
tocompute
thehigher
order derivatives of the subband function. In much the same way, Dirac levels reveal the existence of a conicalbandtouching.
At last saddlepoints
alsoproduce
aspecial packing
of sublevels. This has been studiedby
Helfler andSj6strand [52].
Itpermits
to understand inparticular why
the Hausdorfl dimension of the Hofstadterspectrum
may not vanish[88].
L
o
r
g ~
ki
k2
r
FigA.
Conical contact between bands at half flux in theHarper
model.1.4 TUNNELING EFFECT. The
previous analysis
does not account forexponentially
smallterms in a
(or
ap/q)
which may beproduced by
thetunneling
effect.Actually considering
E(k)
to be the classical Hamiltonian whereki (resp. kz) represents
classical momentum(resp. position)
we mayget tunneling
between wells in the k =(ki, k2) phase
space. BecauseE(k)
isperiodic
ink,
any well isactually infinitely degenerate by
mean of the translation inreciprocal
space. It willproduce
abroadening
of the Landau levels and sublevels whichgives
an
exponentially
small correction as a or ap/q
-- 0. Thisbroadening
has been describedby
Wilkinson[92]
andHelfler-Sj6strand [52].
Before
going
intoit,
let us restrict ourselves to thesimpler
case for which we haveclassically degenerate
wells in the cell ofperiods
of thereciprocal lattice,
close to each other. Such aphenomenon
appears for thefollowing
model studiedby
Wilkinson[92]
and Barelli-Kreft[10]
Hw=U+U~~+V+V~~+t2(U~+U~~+V~+V~~), (17)
with12
>1/4. Indeed, if12
<1/4, Hw
admits aunique
classical minimum atki
"k2
"
x mod 2x which bifurcates at 12 "
1/4
into a local maximum andgives
rise to four minimasymmetric by
a fourfold rotation aroundki
"
k2
" x. Thissymmetry produces
an exactclassical
degeneracy.
Thus thecorresponding
Landau sublevels areexactly degenerate
moduloO(tY").
To describe the
tunneling
effect between these fourwells,
wereplace
the Hamiltonianby
a4 x 4 effective Hamiltonian for each value of the Landau quantum number
n.
Using
the rotation480 JOURNAL DE
PHYSIQUE
I N°2symmetry,
this matrix admits thefollowing
form :0 t r
il
~~~~~~~
~"~7~~
~' ~~~~
t r
?
0where
En (7)
h the n~~ Landau sublevelcomputed
asbefore,
r= f E R and t e C.
Using
WKB
techniques [50, 93],
one can write t(resp. r)
in terms oftunneling
action8 Sn_n_(re8p.
Sopp)
betweenneighbouring
wells(resp, diagonally opposite wells)
in the form :where w
aslov's corrections.
It
turns outthat
(Imsopp( > (Imsnn.(so
thatr
becomesnegligible
compare to t.
contrary to the
Schr6dinger
case, the realpart
of n_n doesterms in
the
pressionof
levelsplitting when 7 varies.
E~
=+~de-lIm(sn_n
)jH ~~~(~~(s~
~
/~
~i)
~
~~~~-(lm(Sn
n,)(/~ ~i~(fi~(
s/
~#) (~°)
The
corresponding
Landau levelsplits
into four levels like a braid as 7 varies(see Fig. 5).
The same
phenomenon
has been also observed with Dirac sublevels[9].
Infigure
6 is repre- sented thebraiding
of Dirac sublevelsproduced by
thetouching
of two bandsalong
five conicalpoints
with an exact fourfoldsymmetry
around the fifth one. One can see onfigure
7 that the WKB formulae fitquite
well with thediagonalization
method.The
broadening
of Landau sublevels can be described in much the same wayby using
thereciprocal
group translationsymmetry
in thek-phase
space instead of the fourfold rotationsymmetry
used above.We
replace
then the Hamiltonian we startedfrom, by
an effective HamiltonianHtunnei acting
in the Hilbert spacegenerated by
the Landaueigenstates
ofgiven quantum
number n associated to each well. Since each such well is labelledby
apoint
in a 2Dlattice, Ht~nn~j
can beseen as
acting
onf~(Z~) by
mean ofmagnetic
translations.However,
when onecomputes
thecorresponding flux,
one can see that nowHtunn~j
eAo>
with a'=
lla
mod I instead[92, 52].
This scale invariance of thespectrum
wasproposed
for the first timeby
Azbel [6] whoemphasized
the role of the continuous fractionexpansion
of a. The Gauss map a'-- I
lo (see
in
[57]) precisely generates
thisexpansion.
If H has the fourfold
symmetry
of theoriginal lattice,
so does
Htunn~j.
Moreover the ma- trix element ofHtunnei
between two wells located at sites I and I' isproportional
toe~~"'/~
where
Sill
is thetunneling
action between the wells and I'. So thatas 7 -- 0
only
thenearest
neighbouring
wells should be accounted for. This leads to thefollowing approximate
Hamiltonian :
Htunnei
"7~e~'~~'~'H
(Uo> +UJ~
+ Va> +VJ~)
+ O(e~~'/~)
,(21)
with
S'
> ImS.This formula shows that the
broadening
of each Landau sublevel isactually given by
aHarper
Hamiltonian, properly renormalized;
thus thecorresponding
spectrum isagain
the Hofstadterspectrum of
Square
Lattice with2.Neighbours(ml/2)
oi
j , ~,~
, j =.w..
I -<'
I ,, ,
~ ,,
~ _,/ _--.~'~
,,' i ---'
_.,,' ,
, ,,"
, :..
, ., _>_:-'
,.'~.
.~/ ',
/ ' /
0 '>
/
$' l [ ]
I
o
-3 -2.S -2.6 -2.4 -2.2 -2
Energy
Fig-b-
Braid structure for Landau sublevels in aHarper-like
model with second nearestneighbour
interaction(from [io]).
one.
Repeating
this constructionagain
andagain gives
rise inprinciple
to the fractal structure of thespectrum.
However the
previous analysis
worksonly
for wellseparated
Landau sublevels. Near the bandcenters,
Helfler andSj6strand
havedeveloped
the same kind of ideas andthey
have shown that forHarper's model,
eachstep
of the renormalizationanalysis
can belocally
describedby
mean of four standardforms,
one of thembeing
theHarper model,
the otherstaking
thepossible
bandtouchings
into account.The same
analysis
has beenperformed by
Kerdelhud[56]
for theHarper
model on atriangular
or
honeycomb
lattice.The main result of Helfler and
Sj6strand
is contained in thefollowing
theorem[52]
Theorem 2 There is C >
0,
such thatif
o admits a continuousfraction expansion of
theform [al,a2,
,
an, with an > C
Vn,
then thespectrum E(a) of Harper's equation
has azero
Lebesgve
measure.We remark however that if C >
I,
the set of such a's haszero
Lebesgue
measure. Aconjecture (The
Ten Martiniproblem
of Kac[17])
is thatE(a)
should have a zeroLebesgue
measure forany irrational a.
482 JOURNAL DE
PHYSIQUE
I N°2"~~=l)ill% Mf....~,"..'
' ,S ,/
'.,
-.-ml Rl"1,'
, ._ '_ "' FJ0©'- ' ' _' j '_ j '_ ' M~' W ~' _' _" l
, , ,~1~ sw ~5w ~< i A~I ,w. 1~ w+~ w ~r~/ _/ /
I S, m+ hi
l'~ci at' I^"i iV¾~' -" /
I K~I~ N&, WW A'ii ill ~ &5JT
~
41'/ /i 'I v/ '~ &~
" i' i r/ +A WI j,w ~ i
I' '%k I A it +£~' [l~/£ ~W. id ~ V '1
ii ~o I ~ WI (&$£ '~fiQ J ( ~ £ ~ j<
0 ii i ~z
qy,
~ irik~ m~t v Jili&' i'W' / W@ / /4' I ~X' I /Wl
~~
~~y' j ~,~' _/ S~_~q,I' j ' 'p$/ j@It'; .v
, O'f _ ~ Hm~+'; j
'@
~
jj/
tin ~"
1 &+@ -m
@~d C v ~j;
it,, I
'i
"ilk~~'~I.#ii.fli~ )" (
I _.m11/W"',
it
Rbb ? Y WV £"W/i
','~W' ' f-~ '~@'~'j',"'~M'~ w' ,' '~~~'
jfli_/ ( ""@_
«Ii #jR+@ 4')1'
/ "_wwiRl~ojf * '~_" '~_J*O*£MM W WWOOW'j' 'F_~' ' h'_'W"
~ id1 ~ wi /J&2wHW3w¾w1 iw lr IN i ii
q
hwh ~*d ' '' M ' / M d J '~ 4W' w~w<r/ m_ q I ~ki ,_/ p J J y m "I ?I
till .14W" ,f~ 16-1 lx. I,a J', fi7bs- lilt
IIf "W& ~/ '.jm W/ NW 'W W'.,' ' S 4AC'j ii
#. ml
+ ~Sn W twi- -IW f~'PO' i~ WV- '#' /lW ?4@$" #
a I w%r j'j w K ~ A y' ww I a
f j%f .AW.Yi Ii '~ W #' il ii I
, my j',=/ j, ', ,, A jr ~' ,O@ j
/ w m <,j# I - I m' I
I , $& f h ~'k '_ O~©' _' ' I
_/ / A3%W§ §
/J'f
/ § I/ ,." _/ HS@w" '~
' i' ', i
/
/
...I, fi@)Kj
,
W
/ ,
i
/
Ill"'ii2/WJ/~lL I ,~'~
-5 -4 -3 -2 -1 f) 2 4 ~
Fig.6.
Braid structure for Dirac sublevels in aHarper,like
model with third nearestneighbour
interaction(from [9]).
1.5 FLUX PHASES THEORY. The
discovery
of copper oxidesuperconductors
in 1986 hasprobably
been one of the mostimportant
events in Solid StatePhysics
in years. The mainreason is that it
provides probably
a new mechanism forpairing
of electrons. Thecorresponding
forces are much
stronger
than thephonon coupling
in BCStheory, producing higher
criticaltemperature. Yet,
this mechanism is still not understood.Nevertheless the enormous effort since then
by
theoreticians haspermitted
to concentrate the studies on a small number of models. It isright
nowaccepted by
most of theexperts
that thekey phenomena
are to be found in a 2Dmodel, representing
the Fermiplectrons
in theCopper orbitals,
theOxygen being
thereonly
to create an effectivedoping by
holes in theseorbitals. One
possible
model is the sc-called Hubbard model in twodimensions,
with astrong
electron-electroninteraction,
which can beapproximated by
the sc-called t J model as an effective Hamiltonian.A
great
deal of work has been done infinding
agood approximate ground
state for such a model. One of theapproaches proposed
was the sc-called fluxphase approximation.
The basic idea in such anapproach
is that in the t Jmodel, spin
variables can be considered as slow whereascharge
variables arerapid.
Therefore a kind ofBorn-Oppenheimer approximation
leads to a model in which thespins
arefrozen, creating
an effectivemagnetic
fieldacting
oncharges
(here holes).
In this adiabaticapproximation,
thecharged particles
becomeindependent,
and theHamiltonian
becomes similar to theHarper
model. However themagnetic
field is nolonger
/
110÷x~
~j
/ ~ ~
/ x
/ x
/ '
I h
ow~÷~
~
Q x
I ,
I j
i '
"''°~
f~' Ax'
/
<'
, i_-~$ i ',
~ £ '% ~
"°°~"TI7~©f~i~~~T)~7k~jtS~llT
~j~w°~'
,,
~ 'i~gncu,F'u,~ , ~/
k I
~ , ,,
~~_~
"~~j
t,
~~ ~
, i
I I
I
~ i'j
~
~'~~~~
~
t
~
' ',x
, ~
'
~
~
lX¾ll~
, &l'
K
Energy 0.6
o.4
0 2 ''~i
Flux
,'I 1-.
-0.2 l~~
I '"
-0.6
Fig.?.