HAL Id: jpa-00246408
https://hal.archives-ouvertes.fr/jpa-00246408
Submitted on 1 Jan 1991
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.
Braid-structure in a harper model as an example of phase space tunneling
Armelle Barelli, Christian Kreft
To cite this version:
Armelle Barelli, Christian Kreft. Braid-structure in a harper model as an example of phase space tunneling. Journal de Physique I, EDP Sciences, 1991, 1 (9), pp.1229-1249. �10.1051/jp1:1991203�.
�jpa-00246408�
J.
Phys.
I France1(1991)
1229-1249 SEPTEMBRE 1991, PAGE 1229Classification
Physics
Abstracts03.65 71.15 75.20
Braid-structure in
aharper model
as anexample of phase space tunneling
Annelle Barelli
(*)
and Christian KreftTechnische Universitfit Berlin, MA 7-2, Strasse des 17. Juni136, D-1000 Berlin12,
Germany
(Received
27Febmary
1991,accepted
infinal form
6 May1991)
Rksnmk. Nous considkrons un moddle d'dlectron sun rdseau carrd en
champ magn6tique
uniforme. A la limite des
champs
foibles, une interaction aux seconds voisins suffisammentgrande
entraine unedkgdndrescence
des niveaux de Landau lesplus
bas en quatre sous-niveaux tressds. Un effet tunnel dansl'espacc
desphases,
vu sous lejour
de l'extension de la mdthode BKW initide par M. Wilkinson,explique numkriquement
cephdnomdne.
Los effets dus I deschamps magndtiques plus
klevks sont examinds.Abs~act. We consider an electron on a square lattice in a uniform
magnetic
field. For small fields a sufficientlarge
secondne1gllbour coupling splits
the lowest Landau levels into a braid like structure. Phase spacetunneling
in thespirit
of Wilkinson's extension of the WEBapproximation
is verifiednumerically
toexplain
thephenomenon.
Furthermore thehigh
fields effects are alsodiscussed.
1. InUoducdon.
The
quantum
behaviour of Bloch electrons in a uniformmagnetic
field has beeninvestigated
over and over since the
early
works of Landauill
and Peierls[2]. Many
studies have beenperformed during
the fifties in order tocompute
the bandspectrum,
thedensity
of states, thetransport coefficients,
etc.[3].
In1976,
Hofstadter[4]
revealed in a numerical work the nice fractal structure of thespectrum
of theHarper
Model[5],
as a function of the nornlalizedmagnetic
flux per lattice-cell.The case of a two dimensional electron on a
periodic
lattice has been ofspecial
interest in Solid StatePhysics during
the last ten years :superconductor
networks[6],
normal metalnetworks
[7],
theQuantum
Han Effiect[8],
one dimensional chains withquasiperiodic potentials [9]. Recently
these models have been used also for theQuantum
Han Effect inorganic
conductors[10],
in fluxphases
of the Hubbard model[lla]
and inAnyon
superconductivitty [12].
(*)
Permanent address: Centre dePhysique Thborique,
C-N-R-S-Luminy,
Case907, 13288 Marscille Cedex 09, France.To describe the Hamiltonian we
replace
the momentumoperator P~ by
thequasi-
momentum operator
K~
=~
(P~ eA~)
whereA~
is the vectorpotential (B
= rot
A),
a ish
the lattice
spacing,
e is the electriccharge
of the carriers and h is Planck's constant. For a uniformmagnetic
field in two dimensions one hasB
= a
iA2 a2A1 (1.I)
and
#
is the flux per unit-cell and#o
=
~ the flux
quantum.
e
In
(1.2)
the role of Planck's constant isreplaced by
themagnetic
flux ratio y.Tuning
themagnetic
field weapproach
the semiclassical limit y- 0. The
corresponding
classicalphase
space at B
=
0 is the
quasi-momentum
space,namely
the Brillouin zone of thecorresponding
lattice.Topologically
it is 2-torus and themagnetic
fieldsimply
transfornls it into a noncommutative 2-torus
[13].
Vfhenever y
=
2
arp/q ~p/q
e l~l)
the lattice Hamiltonian H recovers someperiodicity
and Bloch'stheory applies
as well. As a result H can berepresented by
asclfadjoint
q x q -matrix whose entries are
periodic
functions of thequasi-momentum.
Thus if y is close to a rationalmultiple
of 2 ar, it isagain possible
to compute thespectrum using
semiclassicalmethods.
Based on these facts many theoretical and mathematical works were
published during
the last ten years. In this context the worksby
Wilkinson[14]
are ofspecial importance.
Heapplied
WKB method to get a renornlalization groupanalysis
of Hofstadter's spectrum.Using pseudodifferential
operatortechniques
Helffer andSj6strand [16l
gave arigorous proof
ofWilkinson's ideas.
Another
point
of view wasdeveloped by
Beflissard and Rammalusing C*-algebraic techniques
to reformulate[15]
and extend the semiclassical resultsill, 13].
In a recent paper
II?]
thealgebraic approach
has been used tocompute
the Landausublevels of a Hamiltonian on a
triangular
lattice. Thecomparison
between the semiclassical fornlulae and the exact calculation of the spectrum for y e 2drill
gave anamazingly
accurateagreement
even fory's relatively large (namely y/2
ar «109b).
In the
present
work we continue on this lineby describing
anexample
of atunneling
effect inphase
space.Recently
the WKBtheory
has been extendedby
Wilkinson and Austin[18]
who
applied
it to a lattice-model with threefoldsymmetry.
We have used thisapproach
toinvestigate
a Hamiltonian on a squarelattice, already proposed by
M. Wilkinson[14],
with second nearestneighbour hopping
ternl of size e.Beyond
a critical value e~ e~ the minimum of the classical energy function bifurcates into four
degenerated
minima inphase
space.For e e~ the
tunneling
between these wellsgets large
andproduces
an observablesplitting
of each Landau level into four sublevels. Due to the nonvanishing
realpart
of thetunneling
action the sublevels form nice braid like structure as one varies themagnetic
field(Fig. I).
Following
Wilkinson'sapproach
wecomputed
anapproximate
fornlula to describe thisphenomenon
andcompared
itnumerically
to the exactspectrum.
Theagreement
isastonishingly good.
We also observed a nice structure of the
spectrum
near# Iwo =1/2 (Fig. 9). Using
thetechniques previously developed [11, 16]
we will discussqualitatively
theshape
of the spectrum at such ahigh
field.N 9 BRAIDING IN A HARPER-LIKE MODEL 1231
spectrum
ofsquare
Lattice with2.Neighbours(E~=1/2)
o-i
, , _~×_
, ; /.
I »'
_,'~"~
i "' i
_," ~i _-~'~"
/" I ,--"~'
,l'
j
''I _,"' I
I .' _I.-..'
~;,'
.,' """i
» :~ l ;"
)
/ ~." ,'
j
/ ~.'_, ,"
.~ ,'
i ,' '.
I.'" I
[ ~,(
,'/,'j /
i~,,.'i',f7 ",
j"'
j ;,
.~
(. ~
" 'h/~
~, _i f
'
.,""~' Ii
~',_
'. ".~
~
~
~ ,==*~~' ~ ~' '" ',, ~
o
-3 -2.8 -2.6
~
-2.4 -2.2 -2
Fig.
I. Braid structure.The paper is
organized
as follows : in section 2 wepresent
the model and some methods useful to reveal itsproperties.
Section 3 is devoted to theapplication
of semiclassicalexpansions.
In section 4 weexplain
thetunneling argument
and the results of our numericalcalculation.
Finally
in section 5 the case#/#o =1/2
is studied.2. Tile model and its
properties.
This section is devoted to the introduction of the model in consideration. In the
following
discussion of itsproperties
wepresent
the differenthelpful techniques
in this context.2.1 2D BLOCH ELECTRONS IN A UNIFORM MAGNETIC FIELD.
Using
the notations definedin reference
[llb]
we define the secondneighbour tight-binding
Hamiltonian in a uniformmagnetic
field Bthrough
themagnetic
translations( by
H=Tj+Tj~+T~+Tj~+e(T)+Tj~+T(+Tj~). (2.I)
Here e is the second
neighbour hopping
term andTi
and T~satisfying
the commutation rulesIi
91TjT~=e'YT~TI, y=20r " =20r#). (2.2)
#o
Here
#
= ai a~ B is themagnetic
fluxthrough
the unit cell.For e
=
0 we recover the well
analyzed
HofstadterHamiltonian,
with itsinteresting nesting
properties
of thespectrum
first described in[4].
Different authors
[4, 16, 17, 20, 21]
worked with thistype
of models. A very efficientapproach
forstudying
them consists inseeing
them as members of the abstract non commutativeC*-Algebra generated by Ti
and T~.Following
thisstrategy, emphasized by
Bellissard and Rammal[I16, llc],
the differentrepresentations
of thisalgebra
on Hilbert spacesgive
rise to differenttechniques
used in this context. In this section we willconstantly
refer to these papers. For a mathematical overview see[13, 22].
In this article we will
mainly
use the matrixrepresentation
for rational fluxes and theWeyl representation
in the y- 0 limit. Also the
purely algebraic point
of view ishelpful.
Forexample
thesymmetries
of the spectrum aregiven through explicitly
known*,homeomorph,
ism. In this way one findsI) W(8,tZ)#W(E,I-tZ)
it) «(s;a)=«(s,a+n) (neZ)
iii) W(8,
a)
# W
(-
8, a).
Here
«(s,
a)
denotes the set ofspectral points
of the Hamiltonian withoverlap
s and fluxa =
y/2
or(I.e. iii)
is provenby changing (
into T~(I
=
1, 2)).
2.2REPRESENTATIONS oF THE ALGEBRA. For rational fluxes
y=2~r~
q
~p A q =
I,
p, q eZ
we getby
Bloch's theorem a matrixrepresentation
ofA~.
on the direct,integral
space)~ d~k
C we consider the matrix valued functions of the torusT~ (for
details~2
on tiffs way of
writing
Bloch's theorem see Ref.[23])
1j(k)
=e"
~§j(k
eT~)
with
i
~ ~ 2wi~i
Wj=
,
W2=
~ ~Eh#q~q I=0,..,q-I.
°
2«i~(q-I)
e q
This
representation
of H leads to a finite differenceequations
withBloch-~oundary
conditiongk(I)
=
gk(f
+q) e'~
Note that
«
(H)
=
~J
«(H(k)
, keT2
where
«(H(k))
=
(z/det (z-H(k)) =0)
isjust
the matrixspectrum.
This allows to compute thespectrum numerically using simple algoritllms
for matrixdiagonalization.
Numerically (Fig. 4)
it showed that the bandedges
occur for k=
(0,
0 and k=
(
or, or),
thatis for
points
ofhigh
symmetry within the Brillouin zone(except
when q=
2).
M 9 BRAIDING IN A HARPER-LIKE MODEL 1233
spectrum of
square
Lattice with2.Neighbour(£=I/4)
I
"'f C"'" "/]~~'Q_%@@ :jj.__ /
,I'
.,
_I' '[._j_).~'z]@ji~~
~'"-""'____,, ~,:
'"',,"~ ~~~-,[
~~/~
/"'
't
m+~'s-,. ~Wt&Q25#'
'fi~ , mq j~~.--
~w~f .RW~
y~ 'K', ""y"' _§~TW
~'~
l @"
:~~
%.~
» o
~~i~ ~~l~i~ ,>~b ~#~~
f
3~~
lR'_q- p~
'~x§L( /
___
~-_,
'j
,."'~; "?, j, ~#,'~"' ',
~ ,' ___':$.Q£JL' 4i,£.j=___ /
( '%~~ ~/ l'
lo
~
-. .dk
J~f~~ .$ ~yP" _~MW
..:
-=.$WS.$
)~ff~"
~W'
_,/
,_/"~
-3 -2 -1 0 Enew 1 2 3 4 5
Fig.
2.Spectrunl
of the Hanfiltonian for e=
JR-
spectrum of
square
Lattice with2.Neighbours(£#1/2)
1
-< .,,t : .,,, I,,. . ., j/ /
.. .;_.._.=. ; ..-.-.;÷ a
'"--' ~'""
~;;""
/
~j~ /
..-j~3~,
~~
WiRKlil d'~§~" 'i... "~'
q5~T ---~~'~~---~-~__'+%~,
j
/. :.. "-:,' ~.-; .-;~ ~, ,,, .-==-.. ., .,
~ ;__[ L"Q£
~.,
=_._'_. /''~
"~'~ q~W~~°""" /"
+
~,
,~"' ,.-~~3§,
.mw0
-3 -2 -1 0 1 snow 2 3 4 5 6
Fig.
3.SpectnJm
of the HanfiltoJliaJl for e=
1/2.
p/q-1/2 pfq+if3
1
pfq-i/4 pfq-1/?
3
z
i
i
a
Fig.
4. BandstnJcturealong
lines ofhigh
symJnetry in the Brillouin zone for e=
1/2.
In
figures
1-3 wepresent
the bandspectrum
for different rationalmagnetic
fluxes y and values of e=
I/4, 1/2.
Thecomputation
was done for all rationalspig
with q « 40 ingeneral
and q «100 in the
region
y ~ ~ " Infigure
9 we used denominators up to q = 307.10
In order to
perform
a semiclassicalanalysis
of our Hamiltonian we useWeyl's
represen-tation of
Heisenberg's
commutation relations[q, pi =iy
onL~(R)
whichprovides
Tj
= e~P, T~ = e~~ where p =(
~ is the momentumoperator
andq is the
position
operator.i
bq
Writing
e~P +e~~P
=
2 cos
~p)
we derive H=
2 cos
~p)
+ 2 cos(q)
+ 2 e cos(2
p)
+ 2 s cos(2 q) (2.3)
This formula
represents
the Hamiltonian in the notion of asymbol
of apseudodifferential operator.
We will refer to thispicture
as tile « ClassicalRepresentation
» of the Hamiltonian.The
analysis
of the classicalsymbol
is the aim of the next section.2.3 CLASSICAL HAMILTONIAN. The
phase
spaceanalysis
of the classical HamiltonianH~p,
q=
f~p)
+f(q), f (x)
= 2 cos
(x)
+ 2 e cos(2 x)
is the basis of the semiclassical
analysis
of our model and willgive
a first hint of the character of thespectrum.
Unlike in theordinary Schr6dinger Equation,
the kinetic term is notquadratic
withrespect
to p. It is notstrictly positive,
butequal
to thepotential
term. In tiffscase the
system
exhibits criticalpoints
away from p = 0.Since
H~p,
q)
isperiodic
withperiod
2 or in both variables it is sufficient to restrict theanalysis
to the unit cell(Brillouin zone)
T=
[0,20r]~. According
to renormalizationN 9 BRAIDING IN A HARPER-LIKE MODEL J235
arguments
thisperiodicity produces
tile recursive structure of the spectrum[4, 16] by tunneling
between different unit cells.In table
I,
wegive
the location and the nature of the criticalpoints
as functions of theparameter
e e[0, ii-
Infigure
5 the levels set of H for different values of e are shown.Table I. Location and nature
of
the criticalpoints.
ki,
e 0ki
=
k~
= 0 maximum maximumki
" °
>
k2
" "
saddle
point
maXlmUE~k~ = ~r,
k~
=
0
kj
=0, k~
= ± Arccos
(- I/4 e)
~
=
~j~rc~os ~~)~~) k~~ ~
~°~~ ~°~ ~~~ ~~~~~~~"~~
ki
= ± Arccos
(- I/4 s), k~
= or
k~ =
k~
= ± Ar~~~
(_ 1j4 g)
does not exist minimumkj
=k~
= or minimum maximum
For s
~ the minimwn at k~ =
(or,
or)
isregular, namely
the second derivative of H is 4positive
definite. lvhile for s~ we find four
regular
minima with same energy located at 4k~ =
(±Arccos ),
±Arccos),
while at(or, or)
there is a localregular
e e
maximum. Notice that these four minima are
exactly symmetric through
a fourfold rotation.The transition between the two
shapes
occurs for e= e~ = when the Hamiltonian near the 4
extremals is of order four
H~=i/4(kc+P,kc+q)=-3+ ~P~+q~)+O~P~+q~). (2.4)
In the semiclassical
analysis
the behaviour of the Hamiltonian near the criticalpoints
determines the character of the spectrum for small fluxes. For e
~ near the critical
point,
H 4behaves like a harmonic oscillator with Landau levels linear in y. For
e = a Bohr-
4 Sommerfeld
quantization
methodgives
rise to levelsproportional
toy~.
Ife ~ we
get
a4
phase
spaceequivalent
to the double wellproblem
for theordinary Schr6dinger operator.
Note that in the latter case more local maxima embedded in the spectrum appear.
They give
rise to other Landau levelsemerging
from thepoint (E
=
2,
y=
0
).
0.
,
i
0.0
'
0.0
0.2 0A 0.6 0.8 1.0N 9 BRAIDING IN A HARPER-LIKE MODEL 1237
3. Semiclassical
expausioo
at weakmagnetic
field.To
specify
these arguments we derive a semiclassicalexpansion
of the energyeigenvalues
ofour Hamiltonian up to order
y~
near the bottom wells. In order to do so, a moresyrnlnetric representation
ofA~
is very useful.3.I ANOTHER REPRESENTATION AND THE HARMONIC OSCILLATOR APPROXIMATION.
According
to reference[I Ii
we willexpand
the Hamiltonian(2.3)
around the criticalpoints
and will use thefollowing representation
~
;(k~+&q>
J " e J " ~
,
where
Ki
andK~
areoperators fulfilling Heisenberg's
commutation relation[Ki, K~]
= I and
k
=
(ki, k~)
eR~.
Since we are interested in the behaviour of H near the bottom wells we choose for k one of the critical
points
I.e, k=
k~
=
(Arccos ),
Arccos vith e ~l/4.
A fornlal4 e 4 e
expansion
of Hgives
a harmonic oscillatorH=-8()1+y16j)1(Kj+Kj+o(y3/2~ (3.i>
with
spectrum
E~=-~~~~~+y~~~~~~(2n+1)+O(y~) (nefll). (3.2)
So the bottom well energy is
given by
the Landau levelsE~.
The sameanalysis
near other criticalpoints gives
:kj=k~=0 E~=4+4e-y(1+4e)(2n+1)+O(y~) (nef4) (3.3)
kj=k~=or E~=-4+4e+y(1-4e)(2n+1)+O(y~) (nefll). (3.4)
(kj, k~>
=(0,
« or(kj, k~>
=
(«,
0)
E[=4e-y~~~~~~(2n+1)-)+O(y~) (nefll). (3.5)
For e
=
1/2
weget
there three families of Landau levels withnegative slopes converging
to6,
2 and + 2respectively.
3.2 SECOND ORDER EXPANSION.
Following
the strategyexplained
in reference[lib]
weget further corrections to this formula if we consider the
higher
orderexpansion
of the Hamiltonian as aperturbation
of the harmonic oscillator. Let us set :H=Eo+y(Ho+V).
We
apply
standardperturbation theory [24]
on the harmonic oscillator HamiltonianHo
with apotential
such thatV
=
/ (K/
+
K/)
y
~~
~~
~(K)
+K()
+ O(y
~/~)
(3.6)
4 8 48 8
Since V is a
polynomial
inKi K~
all terms in theperturbation expansion
are so and the matrixMm-mm
a)
x x
x
Ma~-Hw
x
b)
Fig. 6.- Semiclassical and exact spectnJm for e =1/2: a) harmonic
approximation,
b) tunneling effect. Solid line : senficlassical approximation ; crosses exact spectrum.N 9 BRAIDING IN A HARPER-LIKE MODEL 1239
elements
in Vi n')
can becomputed.
We deriveEn(Y) "~~~)~
+Y
~~(~f~ (2n+1)-£j(88~+1)(2n+1)~+88~j+o(y~).
(3.7).
Note that we do not find terms of odd order in
/
in theenergy
expansion,
since all the matrix elementscontaining
odd powers ofKi K~
vanish.Formula
(3.7)
for theasymptotic
behavior of thespectrum
has been verifiednumerically
and found to bequite
accurate(see Fig. 6).
Someexceptional
cases,arising
in the model studiedhere,
have beenanalyzed
in more details. The results will bepresented
in the next section.4.
Tuonefiog
Mithio the unit cell.In this section we will summarize Wilkinson's extention of WKB
[18]
andapply
it to ourproblem
oftunneling
inside a unit cell. As stated above this leads to anexplanation
of the braid structure formedby
thesplitting
of the lowest Landau Levels infigure
I.As seen in section 2.3 the classical energy function in our model shows for e
~ e~ =
I/4
abifurcation of the
single
minimum in the center of each unit cell into fourdegenerate
minimaA, B,
C and D(Fig. 7).
In section 3 weexplained
how each of themgives
rise to Landau levelsE~(y)
definedby
formula(3.7). Equivalently
this result is foundby
Bohr-Sommerfeldquantization
of the closed classical orbitsdA, dB,
etc. near the bottom wellsA, B,
etc.SA(E)
= p
dq
d~
defines the classical action related to each orbit. Due to the fourfold symmetry the orbits can be transformed into each other
by
rotations ofor/2
and the actionintegrals
are the sames~(E)
=
s~(E)
=
sc(E)
=
s~(E>.
In
quantum
mechanics we associate with each levelE~(y)
fourdegenerate
one-welleigenstates (A), (B), C)
and(D)
localized near the bottom wellsA, B,
C and Drespectively. Projecting
the Hamiltonian onto thisapproximate
basis leads to an effective 4 x 4 matrix operatorHT.
As usual thesplitting
of the levelE~
isgiven by
theeigenvalues
ofHT.
The matrix elements are the
tunneling amplitudes
between the related states.They
arecomputed by
means of theimaginary part
oftunneling
actions Im(S~~),
Im(S~c),
etc.defined
through
Im
(SA~)
=
Im p
dql.
CAB
Here
eA~
is a closedcomplex path
in thecomplex
energy surfaceH(q,
p=
E
~p,
qEC ) joining
the classical orbitsd~
andd~ (see Fig. 7).
Such apath
exists sinceH~p,
q)
is real.Again by symmetry
all of them enclose the same area~lll(~i)"~lll(~AB)"'
"~lll(SDA).
ciassicataJiowedorbit
rcaJpanofcompiexpath
/ /
A B
R 54)
D c
dassicflollowedorbit imaginuypartofcomplexpath
/ ~
A S~) B
Fig.
7. -Paths inphase
space.N 9 BRAIDING IN A HARPER-LIKE MODEL 124J
4.I EFFECTIVE TUNNELING HAMILTONIAN. Due to the rotational symmetry of the
problem
the effective HamiltonianH~
has the formt r
I
H~=
° ~(4.I)
r
I
0 tt r
I
0The matrix element t=
re'°
=
(A(H(B)
is ingeneral complex. By symmetry
r =
(A (H( C)
=
(C (H( A), describing
the interaction between the secondneighbours (I.e. (A)
andC)),
has to be real in order to get a hermitian matrix.The
eigenvalues
ofH~
areAi=r+2rcos0, A~=r-2rcos0 A~=-r+2rsin0, A~=-r-2rsin0.
For
particular
values of r and t= r e~° these
eigenvalues
can cross.According
to Wilkinson t is ingeneral
acomplex
number. At the lowest order in y(as
y-
0)
itsamplitude
r isgiven by
the usualtunneling
energy[25]
w Im
SA~ (E)
r = y exp
2 " Y
where w
= 2 or
(bSA/@E)~
is the oscillatorfrequency.
For E we take the energy of the
quantized orbit,
that is E=
E~(y)
of section 3.The Bohr-Sommerfeld
quantization
can not determine thephase
of each state(A),
(B), C)
and(D).
However thephase
of thecyclic product
of matrix elements around a closedloop
inphase
spacegets
a well defined value :jAjHj BjjBjHj CjjcjHj DjjDjHjAj =r~e~'°
Re
S~
The
phase
4 0= + gr is defined
through
the action S~along
a closedpath joining
all Yfour contours
A, B,
C and D. The term(2. or/2)
is a Maslov indexemerging
from the twotuming points along
such apath (Fig. 7).
To compute this index we use the rule described for instance in reference[26] according
to which it isequal
to the number of stable fixedpoints
minus the number of unstable fixed
points
dividedby
two.The coefficient r is
analogously given by
a termdecaying exponentially
in ImS~c.
A closeranalysis
of thecomplex paths (see below) suggests
that Im(S~c)
~Im(S~~)
and the correction due to r can beneglected.
Inserting
the coefficients into the matrixgives
thesplitting
of the energyE~~>~~
= ± ~~°
e
~~~
cos
~~
~~
+ "
"
~
~ ~ ~
(4.2) E~~~>
= =
i~°
e+~
Sin
tl~
+
i
The corrected bottom well energy is
given by E)~~= E~(y)+E~~~
k=1,2,3,4
whereE~(y)
iscomputed
inequation (3.7).
JOURNAL DE PHYSIQUE I T I, M 9, SEPTEMBRE I991 49
Thus the
broadening
of levels in the braids is controlledby exp(- (Im S~( /y),
while thefrequency
of the oscillations observed infigure
I isgiven by
Re(S~/y).
To evaluate this formula we need the action
integrals
ImS~(E~(y))
and ReS~(E~(y)).
The
specific
form of theHamiltonian, namely H~p,
q)
=
f~p
+f (q )
=
E allows to
compute
real andcomplex paths
in the energy shellexplicitly (see Appendix).
We get four solutions of-p(q)
for each value of qcorresponding
to the differentpaths connecting neighbouring
wells.The Riemann surface I
=
(q,
p eC~
H(q,
p= E
)
for 3~ E
~ 2 is
computed through using
variablesf
= e'~ anda~ = e'P For e
=
1/2,
1is thengiven by
thepolynomial equation
~4-2 ~3- jE- f(t)j ~2-2
~ + i
=
o
(4.3)
with
f(f)
=
f
+f (f~
+f ~~).
Since thedegree
of thepolynomial
is four weget
four 2Riemann sheets. The
computation
of the cuts is tedious butelementary
and shows that weget
ten cuts.
Using
Hurwitz's theorem[27]
it follows that thegenius
of thismanyfold
is 7. Anexplicit
calculation of this manifoldpermits
to check that indeed I admits 7 holes. It also follows from such ananalysis
that several nonhomotopic paths
arecontributing
to the action.We have
neglected
all but the most naturalpath
in our calculation which we believe is the shortest. The numerical resultsuggests
that this guess is correct. We have notinvestigated
thetopology
of this manifold further[28].
4.2 COMPARISON WITH EXACT SPECTRUM. The
possibility
to computenumerically
theexact
(Sect. 2.2)
as well as theapproximated
spectrum(last section)
allows to test the accuracy of the semiclassical method for finite y.We are faced with two sources of error
limiting
theprecision.
The exactspectrum
is abandspectrum
while theapproximation
isgiven by
apoint spectrum.
So theknowledge
of theeigenenergies
is restricted to thebandlength
which isexponentially
small in y. on the other hand thecomputation
of theapproximated
spectrum involves a numericalintegration limiting
the
precision,
too. As a result the effect of the «diagonal tunneling
»(I.e.
between contours A andc~
can not beobserved,
since the coefficient r is of the same order as the bandwidth. This is connected to the fact that thecomplex path
from A to C is of the samelength
as the onebetween
repeated
contours in different unit cells.The observed
crossings
of braids are realcrossings
due to theargument given
in section 4.Ias
long
as we canneglect tunneling
between various cells. Since tiffstunneling
between cells does notdestroy
the rotational fourfold symmetry we suspect that braids cross anyway. A test for it will be to compute the Chem numberscorresponding
to the gaps from either side of thecrossing.
Thechange
in thesign
of these Chem numbers would be aproof
that realcrossings
indeed occur.
If one restricts the
comparison
to thesplitting
ofenergies considering
(E~~~E~~~)/2
and (E~~~E~~~)/2
one can check the nextneighbour tunneling
inside a unit cell.Using
also themean
energies
E~~>~~= (E~~~ + E ~~~)/2 and E~~>~~
= (E~~~ + E ~~~)/2 allow to test the harmonic
approximation.
The data of the exact(no index)
and theapproximated (index w)
spectrumare
presented
in table II for selected values of y. Infigure
6a we show thecomparison
for a wide range of y. Note that r can be estimatednumerically
from the difference E~~~~~ E~~>~~and is found to be much smaller than the
splitting.
The harmonic
approximation
worksfairly
well up to a = ~=
0.02.
Figure
6b shows that 2 orthe
exponential damping
and the oscillation observed in the braid structure is well describedby
the abovetheory
oftunneling.
Thequalitative agreement
with formula(4.2)
isastonishing
well up to a=
0.015.
N 9 BRAIDING IN A HARPER-LIKE MODEL J243
Table II.
CoJnparison of
seJniclassical and exact spectruJn at selected y.p q y
( E(I)
E (2)~j~ ~(i)
~ (2)~j~ ~(3)
~ (4)~j~ ~(3)
~ (4)~/~
l 100 0.0628 6.04742 x 10-6 5.97555 x 10-~' 3.55317 x 10-~' 3.32270
x 10-6
98 0.0641 7.05507 x
10-6
6.75341x10-6
5.52107 x10-~
5.55445 x10-6
96 0.0654 10.9706 x 10-6 10.6403
x10-6
3.25535 x10-6
3.44692 x10-6
92 0.0682 16.7132 x
10-6
16.5907 x10-6
8.33658 x10-6
7.74342x
10-6
90 0.0698 17.7426 x
10-6
16.9970 x10-6
15.9590 x10-6
16,1280x
10-6
85 0.0739 43.1212 x 10-6 42.7613 x 10-6 7.90317 x
10-6
7.69656 x 10-670 0.0897 276.175 x
10-6
276.030 x10-6
326.767 x10-6
425.853x
10-6
39 0.1611 034.93 x
10-6
106.16 x 10-6 6 662.52 x10-6
8 309.58 x 10-65. Senddassic near q = 2.
In this section we will discuss the observed spectrum near a =
~
=
We will however not
2 or 2
give
a full detailed calculation.Following
the method described in section2.2,
theoriginal
HamiltonianH=2cos
(q)+2cos ~p)+2ecos (2q)+2ecos (2p)
is first transformed into :
H
=
e~~
Wj
+ e~P W~ +e[e~~~ W)
+ e~~PW(]
+ h-c-(5.I)
where
Wi= [~ ~j
= «j,lI§= [~. j~j
= «~ with «j, «~ and «~, Pauli matrices
. i
0
~~ 0 -1
At a
=
1/2
thespectrum splits
into two bandsgiven by
:E=(q,p
=
2 e
ices (2 q)
+ cos(2p)1
± 2~/cos2 (q)
+cos2 ~p)
=
=
2(-
2 e + 2 Ed ±Q~) (5.2)
with A
=
cos~ (q)
+cos~ ~p).
E-(q,
p)
isrepresented
infigure
8.S-I AT A
=
2 : LANDAU LEVELS. In this
particular
case the bandedge corresponding
to A= 2 is
given by E(
=
2(2
s ±/)
reached at the criticalpoint kj
~ =
k~~
= 0.H is
quantized according
to section 3,I and here wesimply
have toapply
thefollowing
rule p
-
kj~
+/~ Kj
andq -
k~
~
+
/~ K~
wherey'
= y or
H
= s
[cos (2 11 Kj)
+ cos
(2 11 K2)11
+ 2 C°S
(/~ Ki)
"1 + ~ ~°~
~~ ~2~
"2 ~~"~~
with
1=[~ ~j
0
6
4
2
o
-4
~
0.8
0.4
0 0.2 0.4 0.6 0.8 1
Fig.
8.Energy
shell at a=
1/2
ande =
1/2.
Expanding
H up to the ordery'~
one gets:
_ ~
/ ,48/±1(2n+1)+~(16s±/)x
~~
~~~* ~/
~~x
Ii
+(2
n + I)~l
±j/ Y'~
+ o(y'3) (5.4)
which describes the Landau levels near the band
edge E(
=
2(2
s ±/).
5.2 A
=
0 : A DIRAC OPERATOR. Here the band
edge
differs from theprevious
one suchthat
Et
=
4 s and this value is obtained near the critical
point ki
~ =
k~~
= " therefore2 the
quantization
rule is p-
"
+11 Kj
andq -
"
+
llK~.
The Hamiltonian is then2 2
expressed
as follows H= e
jars (2 W Kj
+ CDs
(2 W K2)1
' 2 Sin(/~ ~i
"i ~ "~
~~ ~~~
"(j
~~
M 9 BRAIDING IN A HARPER-LIKE MODEL 1245
Expanding
H up to first order iny'
one obtains :H=-4s-2$(Kj«i+K~«~)+4ey'(K)+K))+O(y'~/~). (5.6)
This Hamiltonian can be
easily diagonalized
because of itscomplete equivalence
with the Dirac Hamiltonian[16].
Following
the strategypreviously developed [lib]
let us setHo
=Kj
«j +K~
«~=
~
~~ ~~j
then
Kj
+iK~
0H(
=
K)
+K(
+
I«~[Kj, K~]
=
K)
+K(
«~(5.7)
The
eigenvalues
ofH(
are 2 n and 2 n + 2 at this order iny'.
The
perturbation
calculationperformed
onH~ leads,
up to ordery'~,
to the final result:
Et
=
-4s±
(2ny')~/~ (l ~'~ )~~~+4sy'(2n+1) ey'~[1+ (2n+1)~]. (5.8)
2
5.3
QUANTIzATION
FAR FROM THE WELLS, A= ~.
This case
gives
rise to a line of 16 ecritical
points
definedby
A=
cos~ (q)
+cos~ ~p)
= ~
(see Fig.
8 for the case s=
1/2).
16 s
Since we are not at a bottom well we cannot a
priori
follow the results of section 3.However a look at
figure
9 shows that thespectrum
looks verymuch
like thespectrum
of aspectrum
of square Lattice with2.Neighbours(£=1/2)
0.56
,
-
-~i ~ ~~ -~ i-
~~~ ~ - = - ~ ~ ~'
~.~~ ~ , ,'~, ~~ %_ '
©Z~
~i
9~
i$£
-~i '~~@~~, ~ "/H~ . ' ~'.-
' ' > ' ~'' .
" "' ~" ~ '
W ~ k'k '
~ ~' ' @ $ ~~. '~~ ~ '
~ " ' ' ~ ~
~ l# 'il ( '~~ i / 1-
o ~ '~W
~ . ~o # ~ ' $ .
~ WI ~ ~h / %
) ~ m. ~ "-*" +'
' ~ '~~ ''~
~~', '
" >
~ . - 0 -
~
~~ ~ ~ ~,
~$~ ~ "
. *~ -M' - - ~.-
-
* -' -~W .
=
'
~
~ ~
~~ ~
"' '~
" "
"-
,
"~,-
o-s
-2.4
-2.2
Fig.
quantized
versionA'~
of A(namely
the Hofstadterspectrum),
foldedthrough
the relation(5.2).
So let us first use the semiclassicalexpansion given
in section 3 forA'~
near
A'~
=
0, namely
A~
=
y'(K)
+K()
~~ (K)
+K()
+ O(y'~) (5.9)
The
eigenvalues
e~ ofA'~
are then
given by
e~ =
y'(2n+1)-~[l
+
(2n+1)~]+O(y'~). (5.10)
With
that,
we are able to compute thecorresponding eigenvalue Ep
of the initial Hamiltonianusing equation (5.2),
Ep =-4s+4se~-2/. (5.ll)
In
figure
10 wecomputed Ep
for different values of n. These curves fitqualitatively
well with thepicture
of the exact spectrum near « =1/2
infigure
9.En
~ -0.1 -0.08 -0.06 -0.04 -0.02
Fig.
10. Senfidassical resultEj(y)
for n= 1, 2,
,
7.
However,
we see that the exactspectrum
for s=1/2 gives
values of energy below the minimal valueES
=
5/2 permitted by
formula(5,ll).
This is due to the next order correction of the effective Hamiltonian.
Following
the workby
Helffer and
Sj6strand [16]
one can represent the Hamiltonian Hby
mean of thequantization
of a classical function in the form :H
=
H~°~
+Y'H~~~
+y'~
H~~~ + O(y'~) (5.12)
M 9 BRAIDING IN A HARPER-LIKE MODEL 1247
where
H~°~= -2(-2
s+2 EdQ~).
The rulesgiven
in[16] permit
tocompute
H~~~ which is here
H~~~(q,
p = 4 s sin(q)
sin~p) (5.13)
It is called the first
subprincipal symbol.
Using perturbation theory,
we can inprinciple compute
corrections due to H~~~,H~~~ The order
y'
correction due to H~~~actually
vanishes. So we need tocompute
H~~~ to compare with the
picture.
The calculation of H~~~ is much harder and we did notperform
it. Thus we cannot conclude. However it is to be noticed that the second order correction to the energy comes from two terms : from the first orderperturbation
correction due toH~~)
and from the second order correction due to H~~~ which has the form,~
(n
(H~~~(Jn)
(~~~~
~i
~(o) ~jo)
If
Ej°~
= 2(-
2 e + 2 se~
/)
is the level such thatE)°~
~
E(°~
for any Jn # n at thegiven
value ofy',
then8E~
~0, showing
that this termproduces
a correction with theright sign.
5.4 SOME WORDS ABOUT THE MINIWELLS. In fact H~~~ breaks the invariance
along
thefamily
of curves A= const. This will
give
rise to local minima in the effective operator ; these local minima are what Helffer andSj6strand
called « miniwells ».Following
theirth~
theseminiwells should create their own
system
of Landau levels if wereplace y' by y' [29].
Moreover,
because of rotation symmetry these Landau levels shouldgive
rise to minibraidsby tunneling
effect. We are not able to see these minibraids on thepicture
and this isprobably
because the values of
y'
for which it should be observed are too small to be seen in our calculation.6. Conclusion.
It has been
numerically
verified that Wilkinson's extention of WKBapplies
also to atunneling phenomenon
within a lattice unit cell. Theresulting
canonical invariant formula(4.2)
describes the spectrum
quite
well for smallmagnetic
fields.It has also been demonstrated that the second
neighbour
Hofstadter Hamiltonian possessesan
interesting
behaviour in tiffs kind of models as the interactionparameter
s is varied.Seeing
the Hamiltonian as a member of an abstract non commutativeC*-Algebra
is foundto be very
helpful
indetermining
variousaspects
of the quantum behaviourusing
all the differentrepresentations
mentioned above.Especially
thecomparison
of the classicalpicture
and thealgebraic representation
localizednear critical
points
inphase
space allows aprediction
of the structure of thespectrum.
The semiclassical
expansion
near the bottom wells in power of y hasalready
been studiedrigorously
both in thealgebraic
framework[11, 13]
and withpseudodifferential operators techniques [16, 30,
3Ii.
The WKB method has also been thesubject
of manyrigorous works,
even for the case of
Harper's
model[16]. However,
thepseudodifferential
operatorsapproaches
used up to now involvebreaking
thephase
space symmetry. Thisexample
shows that there is a need for aphase
space treatment of thetunneling
effect. To getgeneral
resultsone should