Content deleted Content added
m →The spectral type: Added 2 dois to journal cites using AWB (10104) |
|||
| (46 intermediate revisions by 23 users not shown) | |||
Line 1:
{{Short description|Self-adjoint operator that arises in physical transition problems}}
In [[mathematical physics]], the '''almost Mathieu operator''', named for its similarity to the [[Mathieu function|Mathieu operator]]<ref name=simon1982almost>{{cite journal |last1=Simon |first1=Barry |year=1982 |title=Almost periodic Schrodinger operators: a review |journal=Advances in Applied Mathematics |volume=3 |issue=4 |pages=463-490}}</ref> introduced by [[Émile Léonard Mathieu]],<ref>{{cite web |title=Mathieu equation |url=https://encyclopediaofmath.org/wiki/Mathieu_equation |website=Encyclopedia of Mathematics |publisher=Springer |access-date=February 9, 2024}}</ref> arises in the study of the [[quantum Hall effect]]. It is given by
: <math> [H^{\lambda,\alpha}_\omega u](n) = u(n+1) + u(n-1) + 2 \lambda \cos(2\pi (\omega + n\alpha)) u(n), \, </math>
acting as a [[self-adjoint operator]] on the [[Hilbert_space#Sequence_spaces|Hilbert space <math>\ell^2(\mathbb{Z})</math>]]. Here <math>\alpha,\omega \in\mathbb{T}, \lambda > 0</math> are parameters. In [[pure mathematics]], its importance comes from the fact of being one of the best-understood examples of an [[ergodic]] [[Schrödinger operator]]. For example, three problems (now all solved) of [[Barry Simon]]'s fifteen problems about Schrödinger operators "for the twenty-first century" featured the almost Mathieu operator.<ref>{{cite book |first=Barry |last=Simon |chapter=Schrödinger operators in the twenty-first century |title=Mathematical Physics 2000 |pages=283–288 |publisher=Imp. Coll. Press |___location=London |year=2000 |isbn=
For <math>\lambda = 1</math>, the almost Mathieu operator is sometimes called '''Harper's equation'''.
==
The structure of this operator's spectrum was first conjectured by [[Mark Kac]], who offered ten martinis for the first proof of the following conjecture:
{{blockquote|text=
For all <math>\lambda \neq 0</math>, all irrational <math>a</math>, and all integers <math>n_1, n_2</math>, with <math>0 < n_1+ n_2a < 1</math>, there is a gap for the almost Mathieu operator on which <math>k(E) = n_1 + n_2a</math>, where <math>k(E)</math> is the integrated [[density of states]].
}}
This problem was named the 'Dry Ten Martini Problem' by [[Barry Simon]] as it was [[Martini (cocktail)#Preparation|'stronger']] than the weaker problem which became known as the 'Ten Martini Problem':<ref name=simon1982almost></ref>
{{blockquote|text=
For all <math>\lambda \neq 0</math>, all irrational <math>a</math>, and all <math>\omega</math>, the spectrum of the almost Mathieu operator is a [[Cantor set]].
}}
==Spectral type==
If <math>\alpha</math> is a [[rational number]], then <math>H^{\lambda,\alpha}_\omega</math>
is a periodic operator and by [[Floquet theory]] its [[spectrum (functional analysis)|spectrum]] is purely [[absolutely continuous]].
Line 14 ⟶ 27:
Since the transformation <math> \omega \mapsto \omega + \alpha </math> is minimal, it follows that the spectrum of <math>H^{\lambda,\alpha}_\omega</math> does not depend on <math> \omega </math>. On the other hand, by ergodicity, the supports of absolutely continuous, singular continuous, and pure point parts of the spectrum are almost surely independent of <math> \omega </math>.
It is now known, that
*For <math>0 < \lambda < 1</math>, <math>H^{\lambda,\alpha}_\omega</math> has surely purely absolutely continuous spectrum.
*For <math>\lambda= 1</math>, <math>H^{\lambda,\alpha}_\omega</math> has
| last = Jitomirskaya | first = S. | author-link = Svetlana Jitomirskaya
*For <math>\lambda > 1</math>, <math>H^{\lambda,\alpha}_\omega</math> has almost surely pure point spectrum and exhibits [[Anderson localization]].<ref>{{cite journal |last=Jitomirskaya |first=Svetlana Ya. |title=Metal-insulator transition for the almost Mathieu operator |journal=[[Annals of Mathematics|Ann. of Math.]] |volume=150 |year=1999 |issue=3 |pages=1159–1175 |doi= |jstor=121066 }}</ref> (It is known that almost surely can not be replaced by surely.)<ref>{{cite journal |first=J. |last=Avron |first2=B. |last2=Simon |title=Singular continuous spectrum for a class of almost periodic Jacobi matrices |journal=[[Bulletin of the American Mathematical Society|Bull. Amer. Math. Soc.]] |volume=6 |year=1982 |issue=1 |pages=81–85 |doi= 10.1090/s0273-0979-1982-14971-0|zbl=0491.47014 }}</ref><ref>{{cite journal |first=S. |last=Jitomirskaya |first2=B. |last2=Simon |title=Operators with singular continuous spectrum, III. Almost periodic Schrödinger operators |journal=[[Communications in Mathematical Physics|Comm. Math. Phys.]] |volume=165 |year=1994 |issue=1 |pages=201–205 |zbl=0830.34074 |doi=10.1007/bf02099743}}</ref>▼
| doi = 10.1016/j.aim.2021.107997
| journal = [[Advances in Mathematics]]
| page = 6
| title = On point spectrum of critical almost Mathieu operators
| url = https://www.math.uci.edu/~mathphysics/preprints/point.pdf
| volume = 392
| year = 2021}}</ref>
▲*For <math>\lambda > 1</math>, <math>H^{\lambda,\alpha}_\omega</math> has almost surely pure point spectrum and exhibits [[Anderson localization]].<ref>{{cite journal |last=Jitomirskaya |first=Svetlana Ya. |title=Metal-insulator transition for the almost Mathieu operator |journal=[[Annals of Mathematics|Ann. of Math.]] |volume=150 |year=1999 |issue=3 |pages=1159–1175 |doi= 10.2307/121066|jstor=121066 |arxiv=math/9911265|bibcode=1999math.....11265J |s2cid=10641385 }}</ref> (It is known that almost surely can not be replaced by surely.)<ref>{{cite journal |
That the spectral measures are singular when <math> \lambda \geq 1 </math> follows (through the work of Yoram Last and Simon)
<ref>{{cite journal |
from the lower bound on the [[Lyapunov exponent]] <math>\gamma(E)</math> given by
: <math> \gamma(E) \geq \max \{0,\log(\lambda)\}. \, </math>
This lower bound was proved independently by Joseph Avron, Simon and [[Michael Herman (mathematician)|Michael Herman]], after an earlier almost rigorous argument of Serge Aubry and Gilles André. In fact, when <math> E </math> belongs to the spectrum, the inequality becomes an equality (the
==
Another striking characteristic of the almost Mathieu operator is that its spectrum is a [[Cantor set]] for all irrational <math>\alpha</math> and <math>\lambda > 0</math>. This was shown by [[Artur Avila|Avila]] and [[Svetlana Jitomirskaya|Jitomirskaya]] solving the by-then famous
▲[[Image:Hofstadter's_butterfly.png|thumb|Hofstadter's Butterfly]]
Furthermore, the [[Lebesgue measure]] of the spectrum of the almost Mathieu operator is known to be▼
▲Another striking characteristic of the almost Mathieu operator is that its spectrum is a [[Cantor set]] for all irrational <math>\alpha</math> and <math>\lambda > 0</math>. This was shown by [[Artur Avila|Avila]] and [[Svetlana Jitomirskaya|Jitomirskaya]] solving the by-then famous "Ten Martini Problem"<ref>{{cite journal |first=A. |last=Avila |first2=S. |last2=Jitomirskaya |title=The Ten Martini problem |work=Preprint |year=2005 |id={{ArXiv|math|0503363}} }}</ref> (also one of Simon's problems) after several earlier results (including generically<ref>{{cite journal |first=J. |last=Bellissard |first2=B. |last2=Simon |title=Cantor spectrum for the almost Mathieu equation |journal=[[Journal of Functional Analysis|J. Funct. Anal.]] |volume=48 |year=1982 |issue=3 |pages=408–419 |doi=10.1016/0022-1236(82)90094-5 }}</ref> and almost surely<ref>{{cite journal |last=Puig |first=Joaquim |title=Cantor spectrum for the almost Mathieu operator |journal=Comm. Math. Phys. |volume=244 |year=2004 |issue=2 |pages=297–309 |doi=10.1007/s00220-003-0977-3 }}</ref> with respect to the parameters).
: <math> \operatorname{Leb}(\sigma(H^{\lambda,\alpha}_\omega)) = |4 - 4 \lambda| \, </math>▼
for all <math>\lambda > 0</math>. For <math> \lambda = 1 </math> this means that the spectrum has zero measure (this was first proposed by [[Douglas Hofstadter]] and later became one of Simon's problems).<ref>{{cite journal |
▲Furthermore, the measure of the spectrum of the almost Mathieu operator is known to be
▲: <math>Leb(\sigma(H^{\lambda,\alpha}_\omega)) = |4 - 4 \lambda| \, </math>
▲for all <math>\lambda > 0</math>. For <math> \lambda = 1 </math> this means that the spectrum has zero measure (this was first proposed by [[Douglas Hofstadter]] and later became one of Simon's problems<ref>{{cite journal |first=A. |last=Avila |first2=R. |last2=Krikorian |title=Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles |journal=[[Annals of Mathematics]] |volume=164 |year=2006 |issue=3 |pages=911–940 |doi=10.4007/annals.2006.164.911 }}</ref>). For <math> \lambda \neq 1 </math>, the formula was discovered numerically by Aubry and André and proved by Jitomirskaya and Krasovsky.
The study of the spectrum for <math> \lambda =1 </math> leads to the [[Hofstadter's butterfly]], where the spectrum is shown as a set.
==
{{reflist|2}}
{{Functional analysis}}
[[Category:Spectral theory]]
| |||