Exponential Dynamical Localisation in Expectation

• The paper establishes an exponential decay bound for the time evolution propagator via phase averaging, proving exponential dynamical localisation in expectation.
• It utilizes eigenfunction correlators and centre-grouped decay estimates from almost-localisation methods to bridge spectral data with dynamical estimates.
• The result clarifies the role of phase averaging in quasi-periodic systems, distinguishing it from almost-sure and quenched localisation frameworks.

Searching arXiv for relevant papers on exponential dynamical localisation in expectation and closely related formulations. tool call: arxiv_search({"^^^^^^^^9query9 dynamical localization^^^^^^^^9\9 expectation almost Mathieu operator9^^^^^^^^", "^^^^^^^^9max_results9 ^^^^9\9query9^^^^, "^^^^^^^^9sort_by9 "^^^^^^^^9relevance9 tool call: arxiv_search({"^^^^^^^^9query9 dynamical localization^^^^^^^^9\9 OR ti:^^^^^^^^9\9 dynamical localization^^^^^^^^9\9 "^^^^^^^^9max_results9 ^^^^9\9query9^^^^, "^^^^^^^^9sort_by9 "^^^^^^^^9relevance9 Exponential dynamic localisation in expectation is a formulation of localisation for quantum dynamics in which the time-uniform transition amplitude between distant sites decays exponentially after averaging over an external parameter or random environment. In the arXiv literature supplied here, the phrase is used most explicitly for the supercritical almost Mathieu operator, where the average is taken over the phase PRESERVED_PLACEHOLDER_^^^^9query9^^^^, and the central conclusion is an exponential bound of the form

PRESERVED_PLACEHOLDER_^^^^9\9^^^^

for suitable PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9^^^^ and PRESERVED_PLACEHOLDER_^^^^9max_results9^^^^ (&&&^^^^9query9^^^^&&&). Closely related papers study adjacent but distinct notions—almost sure dynamical localisation, quenched localisation in probability, or deterministic zero-velocity transport bounds—making the qualifier “in expectation” mathematically decisive rather than terminological.

^^^^9\9^^^^. Formal statement of the notion

A canonical strong form of dynamical localisation is the exponentially decaying expectation bound

PRESERVED_PLACEHOLDER_^^^^9sort_by9^^^^

In the quasi-periodic setting of the almost Mathieu operator, the expectation is not an i.i.d. disorder average but phase averaging over PRESERVED_PLACEHOLDER_^^^^9relevance9^^^^. The paper "Exponential dynamical localization for the almost Mathieu operator" formulates the relevant eigenfunction-correlator decay through

PRESERVED_PLACEHOLDER_^^^^9query9^^^^

where PRESERVED_PLACEHOLDER_^^^^9all:\9^^^^ is a complete orthonormal basis of eigenfunctions and PRESERVED_PLACEHOLDER_^^^^9 OR ti:\9^^^^ denotes integration over phase $\theta$ (&&&^^^^9query9^^^^&&&).

The dynamical conclusion is then stated as Corollary ^^^^9\9^^^^.^^^^9 expectation almost Mathieu operator9^^^^: PRESERVED_PLACEHOLDER_^^^^9\9query9^^^^ This is the precise sense in which the paper says the result “can be best called exponential dynamical localization in expectation” (&&&^^^^9query9^^^^&&&).

The same source also presents the abstract formulation in terms of bounded exponential moments of the position operator. A plausible implication is that the expectation formulation is designed to control both propagation amplitudes and weighted spatial moments of time-evolved states within a single exponential framework.

^^^^9 expectation almost Mathieu operator9^^^^. Operator-theoretic setting: the almost Mathieu regime

The operator under study is the one-frequency almost Mathieu operator on PRESERVED_PLACEHOLDER_^^^^9\9\9^^^^,

PRESERVED_PLACEHOLDER_^^^^9\9 expectation almost Mathieu operator9^^^^

with coupling PRESERVED_PLACEHOLDER_^^^^9\9max_results9^^^^, irrational frequency PRESERVED_PLACEHOLDER_^^^^9\9sort_by9^^^^, and phase PRESERVED_PLACEHOLDER_^^^^9\9relevance9^^^^ (&&&^^^^9query9^^^^&&&).

The localisation theorem is proved in the supercritical regime

PRESERVED_PLACEHOLDER_^^^^9\9query9^^^^

The arithmetic hypothesis is expressed either as Diophantine frequency,

PRESERVED_PLACEHOLDER_^^^^9\9all:\9^^^^

or, more generally, by requiring

PRESERVED_PLACEHOLDER_^^^^9\9 OR ti:\9^^^^

to be sufficiently small. The theorem is stated for PRESERVED_PLACEHOLDER_^^^^9\99^^^^ for some PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9query9^^^^, so it includes all Diophantine PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9\9^^^^ and some weakly Liouville frequencies (&&&^^^^9query9^^^^&&&).

The phase parameter plays a dual role. Spectral localisation is available for almost every PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9 expectation almost Mathieu operator9^^^^, but the dynamical statement is averaged over PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9max_results9^^^^. This distinction is essential: the result is not uniform in PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9sort_by9^^^^, and it is not an almost-sure-in-PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9relevance9^^^^ estimate with a PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9query9^^^^-independent constant. The expectation in this setting is therefore an ergodic phase average rather than a disorder expectation in the Anderson sense (&&&^^^^9query9^^^^&&&).

The paper also stresses that pure point spectrum with exponentially decaying eigenfunctions is a spectral statement, whereas dynamical localisation concerns the time-evolution operator PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9all:\9^^^^. The latter is stronger: pure point spectrum alone does not automatically imply a uniform-in-time bound on propagation amplitudes (&&&^^^^9query9^^^^&&&).

^^^^9max_results9^^^^. Eigenfunction correlators and localisation centres

The proof mechanism proceeds through a reduction from dynamics to eigenfunction correlators. For a general family PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator9 OR ti:\9^^^^ of self-adjoint operators on PRESERVED_PLACEHOLDER_^^^^9 expectation almost Mathieu operator99^^^^, with pure point spectrum for PRESERVED_PLACEHOLDER_^^^^9max_results9query9^^^^-a.e. PRESERVED_PLACEHOLDER_^^^^9max_results9\9^^^^, one chooses for each eigenfunction PRESERVED_PLACEHOLDER_^^^^9max_results9 expectation almost Mathieu operator9^^^^ a localisation centre PRESERVED_PLACEHOLDER_^^^^9max_results9max_results9^^^^ satisfying

PRESERVED_PLACEHOLDER_^^^^9max_results9sort_by9^^^^

This centre decomposition is the structural device used to convert spectral localisation data into dynamical estimates (&&&^^^^9query9^^^^&&&).

The key abstract bound is

PRESERVED_PLACEHOLDER_^^^^9max_results9relevance9^^^^

and, after regrouping according to the centre PRESERVED_PLACEHOLDER_^^^^9max_results9query9^^^^,

PRESERVED_PLACEHOLDER_^^^^9max_results9all:\9^^^^

After averaging in PRESERVED_PLACEHOLDER_^^^^9max_results9 OR ti:\9^^^^, the same structure persists with integrals over the parameter space (&&&^^^^9query9^^^^&&&).

In one dimension, the decisive hypothesis becomes an exponential bound on the averaged centre-grouped PRESERVED_PLACEHOLDER_^^^^9max_results99^^^^-mass: PRESERVED_PLACEHOLDER_^^^^9sort_by9query9^^^^ From this one obtains

PRESERVED_PLACEHOLDER_^^^^9sort_by9\9^^^^

Thus exponential decay of centre-grouped eigenfunction mass implies exponential decay of the averaged propagator. The conceptual point is that orthogonality is exploited within each centre sector rather than estimating the full eigenfunction expansion term-by-term (&&&^^^^9query9^^^^&&&).

^^^^9sort_by9^^^^. Resonances, almost localisation, and phase averaging

The nontrivial model-specific input is an almost-localisation theorem for solutions of the almost Mathieu difference equation. Resonances are defined by the arithmetic condition that PRESERVED_PLACEHOLDER_^^^^9sort_by9 expectation almost Mathieu operator9^^^^ is PRESERVED_PLACEHOLDER_^^^^9sort_by9max_results9^^^^-resonant for PRESERVED_PLACEHOLDER_^^^^9sort_by9sort_by9^^^^ if

PRESERVED_PLACEHOLDER_^^^^9sort_by9relevance9^^^^

These resonant scales are the only locations where uniform exponential decay can fail (&&&^^^^9query9^^^^&&&).

Away from resonances, the invoked theorem states that for PRESERVED_PLACEHOLDER_^^^^9sort_by9query9^^^^, there exist PRESERVED_PLACEHOLDER_^^^^9sort_by9all:\9^^^^ and PRESERVED_PLACEHOLDER_^^^^9sort_by9 OR ti:\9^^^^ such that if PRESERVED_PLACEHOLDER_^^^^9sort_by99^^^^, then there are PRESERVED_PLACEHOLDER_^^^^9relevance9query9^^^^ with the following property: every solution PRESERVED_PLACEHOLDER_^^^^9relevance9\9^^^^ of

PRESERVED_PLACEHOLDER_^^^^9relevance9 expectation almost Mathieu operator9^^^^

satisfying

PRESERVED_PLACEHOLDER_^^^^9relevance9max_results9^^^^

obeys

PRESERVED_PLACEHOLDER_^^^^9relevance9sort_by9^^^^

whenever PRESERVED_PLACEHOLDER_^^^^9relevance9relevance9^^^^ lies in the nonresonant region

PRESERVED_PLACEHOLDER_^^^^9relevance9query9^^^^

where PRESERVED_PLACEHOLDER_^^^^9relevance9all:\9^^^^ are the PRESERVED_PLACEHOLDER_^^^^9relevance9 OR ti:\9^^^^-resonances of PRESERVED_PLACEHOLDER_^^^^9relevance99^^^^ (&&&^^^^9query9^^^^&&&).

This almost-localisation estimate is converted into an averaged eigenfunction bound: PRESERVED_PLACEHOLDER_^^^^9query9query9^^^^ The mechanism is twofold. For nonresonant phases, eigenfunctions centred at PRESERVED_PLACEHOLDER_^^^^9query9\9^^^^ decay exponentially at PRESERVED_PLACEHOLDER_^^^^9query9 expectation almost Mathieu operator9^^^^. For resonant phases, one uses only a trivial bound, but the measure of the exceptional phase set is exponentially small in PRESERVED_PLACEHOLDER_^^^^9query9max_results9^^^^. The expectation estimate is therefore created by phase averaging over a sparse resonant set rather than by a pointwise-in-PRESERVED_PLACEHOLDER_^^^^9query9sort_by9^^^^ dynamical argument (&&&^^^^9query9^^^^&&&).

Once this averaged centre-grouped decay is inserted into the abstract reduction, one obtains the exponential propagator bound of Corollary ^^^^9\9^^^^.^^^^9 expectation almost Mathieu operator9^^^^. The same argument yields bounded exponential moments of the position operator, as stated in the abstract (&&&^^^^9query9^^^^&&&).

^^^^9relevance9^^^^. Distinction from neighbouring localisation concepts

The phrase “in expectation” can be confused with several nearby but inequivalent formulations. The distinction is explicit in the supplied literature.

For quasi-one-dimensional random operators on strips, the relevant result is an almost sure sharp exponential decay of the eigenfunction correlator,

PRESERVED_PLACEHOLDER_^^^^9query9relevance9^^^^

from which one gets almost sure dynamical localisation and exponential decay of the Fermi projection. The paper does not state an Aizenman-type expectation theorem; the probabilistic mode is almost sure, not in expectation (&&&^^^^9\9sort_by9^^^^&&&).

For the parabolic Anderson model with Weibull potential, localisation is formulated for the normalised quenched solution PRESERVED_PLACEHOLDER_^^^^9query9query9^^^^. The central profile theorem states that, uniformly on a mesoscopic neighbourhood of the peak,

PRESERVED_PLACEHOLDER_^^^^9query9all:\9^^^^

and complete localisation means

PRESERVED_PLACEHOLDER_^^^^9query9 OR ti:\9^^^^

These are quenched high-probability statements about a random evolving mass profile, not annealed expectation bounds (&&&^^^^9\9relevance9^^^^&&&).

In the many-body setting, a different adjacent notion appears: deterministic zero-velocity Lieb–Robinson-type bounds such as

PRESERVED_PLACEHOLDER_^^^^9query99^^^^

or low-energy commutator bounds of the form

PRESERVED_PLACEHOLDER_^^^^9all:\9query9^^^^

These assumptions imply exponential clustering of eigenvectors and, in one dimension, area laws and matrix-product-state approximability. However, they are deterministic statements for a fixed Hamiltonian and do not involve disorder averages PRESERVED_PLACEHOLDER_^^^^9all:\9\9^^^^ (&&&^^^^9\9query9^^^^&&&).

A further distinct use of localisation occurs in theory-space Anderson models, where a disordered nearest-neighbour mass matrix yields exponentially localised mass eigenvectors,

PRESERVED_PLACEHOLDER_^^^^9all:\9 expectation almost Mathieu operator9^^^^

and loop-generated deterministic non-local couplings may preserve, weaken, or enhance that static localisation. This is neither time-dependent dynamical localisation nor an expectation theorem (&&&^^^^9\9all:\9^^^^&&&).

The common misconception is therefore to identify every exponential localisation estimate with the same probabilistic notion. In the supplied corpus, “in expectation,” “almost sure,” “in probability,” and “deterministic” label materially different objects, norms, and averaging procedures.

^^^^9query9^^^^. Scope, limitations, and open directions

The expectation theorem for the almost Mathieu operator is proved for PRESERVED_PLACEHOLDER_^^^^9all:\9max_results9^^^^ and for frequencies satisfying PRESERVED_PLACEHOLDER_^^^^9all:\9sort_by9^^^^, in particular all Diophantine PRESERVED_PLACEHOLDER_^^^^9all:\9relevance9^^^^ (&&&^^^^9query9^^^^&&&). It does not treat all irrational frequencies, it does not cover the critical or subcritical regimes PRESERVED_PLACEHOLDER_^^^^9all:\9query9^^^^, and it does not produce a pointwise-in-PRESERVED_PLACEHOLDER_^^^^9all:\9all:\9^^^^ exponential dynamical localisation statement with uniform constants. The decay rate PRESERVED_PLACEHOLDER_^^^^9all:\9 OR ti:\9^^^^ is positive but non-explicit, because the underlying almost-localisation estimates are themselves nonquantitative (&&&^^^^9query9^^^^&&&).

The paper also isolates several natural unresolved questions. One is whether the limit in

PRESERVED_PLACEHOLDER_^^^^9all:\99^^^^

exists as an actual limit rather than only a PRESERVED_PLACEHOLDER_^^^^9 OR ti:\9query9^^^^. Another is whether, in one dimension, PRESERVED_PLACEHOLDER_^^^^9 OR ti:\9\9^^^^ coincides with the minimal Lyapunov exponent. A further question is whether analogous positive decay rates can be established for other quasi-periodic models in regimes of positive Lyapunov exponent (&&&^^^^9query9^^^^&&&).

Within the literature represented here, the significance of exponential dynamic localisation in expectation is therefore precise. It is a strong dynamical statement, stronger than mere pure point spectrum, formulated through exponentially decaying expected propagator amplitudes or eigenfunction correlators. In the almost Mathieu case the expectation is phase averaging; in other contexts one instead encounters almost-sure strip localisation, quenched localisation in probability for the parabolic Anderson model, deterministic zero-velocity transport suppression in many-body systems, or static localisation of mass eigenvectors in theory space (&&&^^^^9query9^^^^&&&). This suggests that the phrase is best understood not as a generic synonym for localisation, but as a specific probabilistic mode of dynamical control.