skip to main content


Title: Continuity of the Lyapunov Exponent for Analytic Multi-frequency Quasiperiodic Cocycles
Abstract

It is known that the Lyapunov exponent of analytic 1-frequency quasiperiodic cocycles is continuous in cocycle and, when the frequency is irrational, jointly in cocycle and frequency. In this paper, we extend a result of Bourgain to show the same continuity result for multifrequency quasiperiodic $M(2,\mathbb{C})$ cocycles. Our corollaries include applications to multifrequency Jacobi cocycles with periodic background potentials.

 
more » « less
PAR ID:
10553481
Author(s) / Creator(s):
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2024
Issue:
23
ISSN:
1073-7928
Format(s):
Medium: X Size: p. 14423-14463
Size(s):
p. 14423-14463
Sponsoring Org:
National Science Foundation
More Like this
  1. In this paper, we show that one-dimensional discrete multifrequency quasiperiodic Schrödinger operators with smooth potentials demonstrate ballistic motion on the set of energies on which the corresponding Schrödinger cocycles are smoothly reducible to constant rotations. The proof is performed by establishing a local version of strong ballistic transport on an exhausting sequence of subsets on which reducibility can be achieved by a conjugation uniformly bounded in the Cℓ-norm. We also establish global strong ballistic transport under an additional integral condition on the norms of conjugation matrices. The latter condition is quite mild and is satisfied in many known examples. 
    more » « less
  2. Abstract

    We prove an extension of the Moore–Schmidt theorem on the triviality of the first cohomology class of cocycles for the action of an arbitrary discrete group on an arbitrary measure space and for cocycles with values in an arbitrary compact Hausdorff abelian group. The proof relies on a ‘conditional’ Pontryagin duality for spaces of abstract measurable maps.

     
    more » « less
  3. We consider a discrete non-linear Schrödinger equation on Z and show that, after adding a small potential localized in the time-frequency space, one can construct a three-parametric family of non-decaying spacetime quasiperiodic solutions to this equation. The proof is based on the Craig–Wayne–Bourgain method combined with recent techniques of dealing with Anderson localization for two-dimensional quasiperiodic operators with degenerate frequencies.

     
    more » « less
  4. Abstract

    Quasiperiodic systems are aperiodic but deterministic, so their critical behavior differs from that of clean systems and disordered ones as well. Quasiperiodic criticality was previously understood only in the special limit where the couplings follow discrete quasiperiodic sequences. Here we consider generic quasiperiodic modulations; we find, remarkably, that for a wide class of spin chains, generic quasiperiodic modulations flow to discrete sequences under a real-space renormalization-group transformation. These discrete sequences are therefore fixed points of a functional renormalization group. This observation allows for an asymptotically exact treatment of the critical points. We use this approach to analyze the quasiperiodic Heisenberg, Ising, and Potts spin chains, as well as a phenomenological model for the quasiperiodic many-body localization transition.

     
    more » « less
  5. null (Ed.)
    Abstract We consider separable 2D discrete Schrödinger operators generated by 1D almost Mathieu operators. For fixed Diophantine frequencies, we prove that for sufficiently small couplings the spectrum must be an interval. This complements a result by J. Bourgain establishing that for fixed couplings the spectrum has gaps for some (positive measure) Diophantine frequencies. Our result generalizes to separable multidimensional discrete Schrödinger operators generated by 1D quasiperiodic operators whose potential is analytic and whose frequency is Diophantine. The proof is based on the study of the thickness of the spectrum of the almost Mathieu operator and utilizes the Newhouse Gap Lemma on sums of Cantor sets. 
    more » « less