We prove that the spectrum of the almost Mathieu operator is absolutely continuous if and only if the coupling is subcritical. This settles Problem 6 of Barry Simon's list of Schrödinger operator problems for the twenty-first century.
We show that the integrated density of states of the almost Mathieu operator is absolutely continuous if and only if the coupling is non-critical. We deduce for subcritical coupling that the spectrum is purely absolutely continuous for almost every phase, settling the measure-theoretical case of Problem 6 of Barry Simon's list of Schrödinger operator problems for the twenty-first century.
It is known that the spectral type of the almost Mathieu operator depends in a fundamental way on both the strength of the coupling constant and the arithmetic properties of the frequency. We study the competition between those factors and locate the point where the phase transition from singular continuous spectrum to pure point spectrum takes place, which solves Jitomirskaya's conjecture in \cite{Ji95,J07}. Together with \cite{Aab}, we give the sharp description of phase transitions for the almost Mathieu operator.
In this paper we use results on reducibility, localization and duality for the Almost Mathieu operator, \[ (H_{b,ϕ} x)_n= x_{n+1} +x_{n-1} + b \cos(2 πn ω+ ϕ)x_n \] on $l^2(\mathbb{Z})$ and its associated eigenvalue equation to deduce that for $b \ne 0,\pm 2$ and $ω$ Diophantine the spectrum of the operator is a Cantor subset of the real line. This solves the so-called ``Ten Martini Problem'' for these values of $b$ and $ω$. Moreover, we prove that for $|b|\ne 0$ small enough or large enough all spectral gaps predicted by the Gap Labelling theorem are open.
We establish sharp results on the modulus of continuity of the distribution of the spectral measure for one-frequency Schrodinger operators with Diophantine frequencies in the region of absolutely continuous spectrum. More precisely, we establish 1/2-Holder continuity near almost reducible energies (an essential support of absolutely continuous spectrum). For non-perturbatively small potentials (and for the almost Mathieu operator with subcritical coupling), our results apply for all energies.
We consider skew-product maps over circle rotations $x\mapsto x+α$ (mod 1) with factors that take values in SL(2,R). This includes maps of almost Mathieu type. In numerical experiments, with $α$ the inverse golden mean, Fibonacci iterates of maps from the almost Mathieu family exhibit asymptotic scaling behavior that is reminiscent of critical phase transitions. In a restricted setup that is characterized by a symmetry, we prove that critical behavior indeed occurs and is universal in an open neighborhood of the almost Mathieu family. This behavior is governed by a periodic orbit of a renormal…
The absolutely continuous spectrum of an ergodic family of one-dimensional Schrödinger operators is completely determined by the Lyapunov exponent as shown by Ishii, Kotani and Pastur. Moreover, the part of the theory developed by Kotani gives powerful tools for proving the absence of absolutely continuous spectrum, the presence of absolutely continuous spectrum, and even the presence of purely absolutely continuous spectrum. We review these results and their recent applications to a number of problems: the absence of absolutely continuous spectrum for rough potentials, the absence of absolute…
We show that for almost every frequency alpha \in \R \setminus \Q, for every C^omega potential v:\R/\Z \to R, and for almost every energy E the corresponding quasiperiodic Schrodinger cocycle is either reducible or nonuniformly hyperbolic. This result gives very good control on the absolutely continuous part of the spectrum of the corresponding quasiperiodic Schrodinger operator, and allows us to complete the proof of the Aubry-Andre conjecture on the measure of the spectrum of the Almost Mathieu Operator.
We prove for the square Fibonacci Hamiltonian that the density of states measure is absolutely continuous for almost all pairs of small coupling constants. This is obtained from a new result we establish about the absolute continuity of convolutions of measures arising in hyperbolic dynamics with exact-dimensional measures.
We prove the conjecture (known as the ``Ten Martini Problem'' after Kac and Simon) that the spectrum of the almost Mathieu operator is a Cantor set for all non-zero values of the coupling and all irrational frequencies.
We study the phase transion line of the almost Mathieu operator, that separates arithmetic regions corresponding to singular continuous and a.e. pure point regimes, and prove that both purely singular continuous and a.e. pure point spectrum occur for dense sets of frequencies.
We develop some non-perturbative methods for studying the IDS in almost Mathieu and related models. Assuming positive Lyapunov exponents, and assuming that the potential function is a trigonometric polynomial of degree k, we show that the Holder exponent of the IDS is almost 1/2k. We also show that this is stable under small perturbations of the potential (e.g., potentials which are close to that of almost Mathieu again give rise to almost 1/2 Holder continuous IDS). Moreover, off a set of Hausdorff dimension zero the IDS is Lipschitz. We further deduce from these properties that the IDS is ab…
Quasiperiodic tilings are often considered as structure models of quasicrystals. In this context, it is important to study the nature of the diffraction measures for tilings. In this article, we investigate the diffraction measures for S-adic tilings in R^d, which are constructed from a family of geometric substitution rules. In particular, we firstly give a sufficient condition for the absolutely continuous component of the diffraction measure for an S-adic tiling to be zero. Next, we prove this sufficient condition for "almost all" binary block-substitution cases and thus prove the absence o…
A class of piecewise affine hyperbolic maps on a bounded subset of the plane is considered. It is shown that if a map from this class is sufficiently area-expanding then almost surely this map has an absolutely continuous invariant measure.
We show that for entire maps of the form $z \mapsto λ\exp(z)$ such that the orbit of zero is bounded and such that Lebesgue almost every point is transitive, no absolutely continuous invariant probability measure can exist. This answers a long-standing open problem.
For non-critical almost Mathieu operators with Diophantine frequency, we establish exponential asymptotics on the size of spectral gaps, and show that the spectrum is homogeneous. We also prove the homogeneity of the spectrum for Schödinger operators with (measure-theoretically) typical quasi-periodic analytic potentials and fixed strong Diophantine frequency. As applications, we show the discrete version of Deift's conjecture \cite{Deift, Deift17} for subcritical analytic quasi-periodic initial data and solve a series of open problems of Damanik-Goldstein et al \cite{BDGL, DGL1, dgsv, Go} and…
We prove that for certain partially hyperbolic skew-products, non-uniform hyperbolicity along the leaves implies existence of a finite number of ergodic absolutely continuous invariant probability measures which describe the asymptotics of almost every point. The main technical tool is an extension for sequences of maps of a result of de Melo and van Strien relating hyperbolicity to recurrence properties of orbits. As a consequence of our main result, we also obtain a partial extension of Keller's theorem guaranteeing the existence of absolutely continuous invariant measures for non-uniformly …
We prove that the quasi-periodic Schrödinger operator with a finitely differentiable potential has purely absolutely continuous spectrum for all phases if the frequency is Diophantine and the potential is sufficiently small in the corresponding $C^k$ topology. This is based on a refined quantitative $C^{k,k_0}$ almost reducibility theorem which only requires a quite low initial regularity ``$k>14τ+2$'' and much of the regularity ``$k_0\leq k-2τ-2$'' is conserved in the end, where $τ$ is the Diophantine constant of the frequency.
We prove existence of (at most denumerable many) absolutely continuous invariant probability measures for random one-dimensional dynamical systems with asymptotic expansion. If the rate of expansion (Lyapunov exponents) is bounded away from zero, we obtain finitely many ergodic absolutely continuous invariant probability measures, describing the asymptotics of almost every point. We also prove a similar result for higher-dimensional random non-uniformly expanding dynamical systems. The results are consequences of the construction of such measures for skew-products with essentially arbitrary ba…
We prove uniform hyperbolicity of the renormalization operator for all possible real combinatorial types. We derive from it that the set of infinitely renormalizable parameter values in the real quadratic family $P_c: x\mapsto x^2+c$ has zero measure. This yields the statement in the title (where ``regular'' means to have an attracting cycle and ``stochastic'' means to have an absolutely continuous invariant measure). An application to the MLC problem is given.
Since the pioneering works of Jakobson and Benedicks & Carleson and others, it has been known that a positive measure set of quadratic maps admit invariant probability measures absolutely continuous with respect to Lebesgue. These measures allow one to statistically predict the asymptotic fate of Lebesgue almost every initial condition. Estimating fluctuations of empirical distributions before they settle to equilibrium requires a fairly good control over large parts of the phase space. We use the sub-exponential slow recurrence condition of Benedicks & Carleson to build induced Markov maps of…
Natural measures and statistical properties of non-statistical maps with multiple neutral fixed points
Universidade Federal do Rio Janeiro(里约热内卢联邦大学);University of Warwick(华威大学);Sharif University of Technology(谢里夫理工大学);Institute for Research in Fundamental Sciences (IPM)(伊朗基础科学研究院)