Localized state for nonlinear disordered stark model

This paper employs diagonalization of linear operators and KAM theory to prove the existence of time quasi-periodic, spatially localized states with arbitrary power-law decay in a nonlinear disordered Stark model for most random realizations and reasonable parameter ranges.

The Gist

Here is an explanation of the paper "Localized State for Nonlinear Disordered Stark Model," translated into everyday language with creative analogies.

The Big Picture: A Crowd in a Stormy, Slanted Room

Imagine a giant, infinite hallway filled with people (these are quantum particles). In a normal hallway, people can walk freely from one end to the other. This is like electricity flowing through a wire.

However, in this paper, the authors are studying a very specific, chaotic scenario:

1. The Disorder (The Mess): The hallway is filled with random obstacles—furniture, puddles, and uneven floors placed randomly. This is the "disorder."
2. The Stark Effect (The Tilt): Now, imagine the entire hallway is tilted at a steep angle, like a slide. Gravity (or an electric field) is pulling everyone down the slope. This is the "Stark" part.
3. The Nonlinearity (The Crowd Effect): Finally, imagine these people aren't just walking; they are pushing and shoving each other. If two people get close, they interact and change each other's path. This is the "nonlinear" part.

The Question: If you drop a person into this messy, tilted, shoving hallway, will they slide all the way down (diffusion), or will they get stuck in one spot (localization)?

The Old vs. The New

The Old Way (The "Atomic Limit"):
Previous scientists tried to solve this by saying, "Let's pretend the people don't push each other much, and the hallway isn't too tilted." They treated the shoving and the tilt as tiny, negligible annoyances. This worked for simple cases, but it's like studying a hurricane by pretending the wind is just a gentle breeze. It doesn't tell you what happens in a real storm.

The New Way (This Paper):
The authors, Hu and Sun, say, "No, let's look at the real storm." They want to prove that even when the people are shoving each other (nonlinearity) and the hallway is tilted (Stark effect), the person can still get stuck in one spot. They call this a "localized state."

The Magic Trick: KAM Theory

How do they prove this? They use a mathematical tool called KAM Theory (Kolmogorov-Arnold-Moser).

The Analogy: Tuning a Radio in a Noisy Room
Imagine you are trying to tune a radio to a specific station (a stable state) in a room full of static noise (chaos and randomness).

• The Problem: The static is so loud that you can't find the signal.
• The KAM Solution: KAM theory is like a super-smart algorithm that says, "If you tweak the frequency just a tiny bit, and the noise isn't too crazy, there is a specific, perfect frequency where the music plays clearly, and the static disappears."

In this paper, the "music" is a Time-Quasi-Periodic State.

• Time-Quasi-Periodic: Imagine a dancer moving in a pattern that repeats, but never exactly the same way twice (like a spiral that never closes). It's a very complex, rhythmic motion that never settles down into a simple loop, yet it never goes wild.
• Localized: The dancer stays in the center of the stage and never wanders off to the audience.

The "Secret Sauce": How They Did It

The authors faced a huge mathematical hurdle. Usually, to prove these states exist, you need to treat the "tilt" and the "shoving" as tiny. But here, the tilt is strong.

The Innovation:
They treated the random obstacles (the disorder) as the "knobs" they could turn.

• Imagine the hallway has a few specific, random bumps. The authors said, "If we adjust the height of just a few of these bumps, we can find a perfect setting where the dancer stays stuck."
• They proved that for most random arrangements of the hallway (most realizations of the disorder), there exists a special, stable dance pattern where the particle stays put, even though it's being pushed and tilted.

The Result: "Power-Law" Decay

The paper proves that these stuck particles don't just stay in one exact spot; they have a "fuzzy" presence that fades away as you move further from the center.

• Exponential Decay: The presence drops off like a cliff (very fast).
• Power-Law Decay (Their Result): The presence drops off like a gentle slope. It's still localized (mostly in one spot), but it has a "tail" that stretches out further than usual.

Why is this cool?
It shows that even in a chaotic, nonlinear world with a strong external force, nature finds a way to create order. The particle doesn't diffuse away; it finds a "safe harbor" and vibrates there forever.

Summary for the General Audience

Think of this paper as a mathematical proof that chaos doesn't always win.

Even if you have a system that is:

1. Messy (random obstacles),
2. Tilted (strong external force),
3. Interactive (particles pushing each other),

...there are still specific, stable "islands" where a particle can stay trapped, vibrating in a complex, rhythmic pattern, refusing to wander off into the chaos. The authors used advanced math (KAM theory) to find these islands and prove they exist for almost any random mess you throw at them.

Technical Summary

Here is a detailed technical summary of the paper "Localized State for Nonlinear Disordered Stark Model" by Shengqing Hu and Yingte Sun.

1. Problem Statement

The paper investigates the existence of time quasi-periodic and spatially localized states in a one-dimensional nonlinear disordered Stark model. The governing equation is a discrete nonlinear Schrödinger equation (DNDSE) with a linear Stark potential (a linearly growing potential due to a constant external force) and a random on-site potential:

$$i\partial_t u_n + \delta(u_{n+1} + u_{n-1}) + n u_n + v_n u_n + \epsilon |u_n|^2 u_n = 0, \quad n \in \mathbb{Z}$$

Key Components:

• $\delta(u_{n+1} + u_{n-1})$: The hopping term (kinetic energy).
• $n u_n$: The Stark potential (linear potential gradient).
• $v_n u_n$: The random disorder potential, where $v_n$ are i.i.d. random variables.
• $\epsilon |u_n|^2 u_n$: The cubic nonlinearity.

The Challenge:
While Anderson localization (due to disorder) and Wannier-Stark localization (due to the linear potential) are well-understood in linear systems, the interplay between nonlinearity, disorder, and the Stark potential is complex. The authors aim to construct solutions that remain localized in space (decaying as $|n| \to \infty$) while oscillating quasi-periodically in time, specifically addressing whether these states can exist beyond the "atomic limit" (where the hopping term is treated as a small perturbation alongside the nonlinearity).

2. Methodology

The authors employ a rigorous mathematical framework combining spectral theory and KAM (Kolmogorov-Arnold-Moser) theory for infinite-dimensional Hamiltonian systems. The methodology proceeds in three main stages:

A. Linear Diagonalization and Eigenvalue Analysis

Before applying KAM theory, the linear part of the operator must be diagonalized to handle the "small divisor" problem inherent in quasi-periodic solutions.

• Operator Decomposition: The linear operator $L = L_0 + V$ is analyzed, where $L_0$ contains the Stark term and hopping, and $V$ is the random potential.
• Unitary Transformation: The authors construct a unitary transformation $G$ that diagonalizes the linear operator $L$.
• Key Innovation (Eigenvalue Derivatives): Unlike previous works that treated the hopping term as a perturbation, this paper treats the hopping term $\delta$ as a fixed parameter within a reasonable range. The authors rigorously estimate the derivatives of the eigenvalues with respect to a finite set of random variables $\{v_{n_k}\}$. This allows them to verify the non-degeneracy condition required for KAM theory without shrinking the hopping term to zero (transcending the atomic limit).

B. Hamiltonian Formulation

The nonlinear equation is transformed into a Hamiltonian system using the coordinate change $u = Gq$.

• The new Hamiltonian $H$ is expressed in terms of action-angle variables $(\theta, I)$ for a finite set of modes and complex coordinates $(q, \bar{q})$ for the remaining infinite modes.
• The perturbation $P$ is analyzed to ensure it satisfies specific decay properties (exponential decay in space) and gauge invariance (conservation of particle number/phase symmetry), which are crucial for the convergence of the KAM iteration.

C. Abstract KAM Theorem and Iteration

The authors establish a new nonlinear KAM theorem tailored for this specific model.

• Iteration Scheme: They construct a sequence of symplectic transformations to eliminate the perturbation terms iteratively.
• Homological Equation: At each step, they solve a homological equation to determine the generating function of the coordinate transformation.
• Measure Estimates: They define a Cantor-like set of parameters (random potentials) where the "small divisor" conditions (Diophantine conditions) are satisfied. The measure of the excluded set is shown to be small ($O(\epsilon^{1/16})$).
• Convergence: The iteration converges to a limit Hamiltonian that is integrable, implying the existence of invariant tori (quasi-periodic solutions) for the original system.

3. Key Contributions

1. Transcending the Atomic Limit:
   Most previous results on nonlinear localization required the hopping term $\delta$ to be extremely small (comparable to the nonlinearity $\epsilon$). This paper proves the existence of localized states for a fixed, non-negligible hopping term $\delta$, provided the nonlinearity $\epsilon$ is sufficiently small. This is achieved by using finite random variables as parameters to control the eigenvalue derivatives, rather than relying on the smallness of the hopping term.

2. Arbitrary Power-Law Decay:
   The constructed solutions exhibit spatial localization with arbitrary power-law decay ($|u_n(t)| \sim |n|^{-d}$ for any $d > 0$). While the authors note that exponential decay is physically expected, their current proof yields power-law decay due to technical constraints in the measure estimates involving truncation techniques.

3. Refined KAM Framework:
   The paper refines the classical KAM iteration scheme. Instead of just constructing a single solution, the authors derive the normal form in a neighborhood of the quasi-periodic state. This provides a systematic framework for analyzing the linear stability and localization properties of solutions near these states, a feature often overlooked in standard KAM applications to PDEs.

4. Handling the Stark Potential:
   The work successfully integrates the linear Stark potential ($n u_n$) into the nonlinear disordered setting, showing that the super-exponential localization of the linear Stark model persists under weak nonlinearity and disorder.

4. Main Results

Theorem 1.1 (Main Result):
For the one-dimensional nonlinear disordered Stark model (1.5):

• Parameters: For a fixed dimension $b$ (number of active modes), a fixed set of indices $J$, and a hopping strength $\delta$ in a reasonable range ($0 < \delta < \delta_0$).
• Nonlinearity: For any sufficiently small nonlinearity strength $0 < \epsilon < \epsilon_0$.
• Random Potential: There exists a Cantor-like set $O_\epsilon$ of random potentials $V = \{v_n\}$ with measure close to the full measure ($meas(O \setminus O_\epsilon) \leq C \epsilon^{1/16}$).
• Existence: For any $V \in O_\epsilon$, the equation admits a solution of the form:
  $$u(x, t) = \sum_{n \in \mathbb{Z}} u_n(t) \delta_n(x)$$
  where $u_n(t)$ are quasi-periodic functions with frequencies $\omega \approx V$.
• Localization: The solution satisfies the spatial decay condition:
  $$\sup_{t \in \mathbb{R}} \sum_{n \in \mathbb{Z}} |u_n(t)|^2 \langle n \rangle^{2d} < +\infty$$
  for any $d > 0$, confirming spatial localization.

5. Significance

• Physical Relevance: The model describes Bose-Einstein condensates in optical lattices subject to gravity or magnetic field gradients. The results suggest that even in the presence of nonlinearity and disorder, particles can remain trapped (localized) rather than diffusing, which is crucial for understanding transport in quantum many-body systems.
• Mathematical Breakthrough: By overcoming the "atomic limit," the paper bridges the gap between idealized perturbative models and more realistic physical scenarios where hopping is significant. It demonstrates that the Wannier-Stark localization mechanism is robust against weak nonlinearities and disorder.
• Future Directions: The authors identify that the current limitation (power-law vs. exponential decay) stems from truncation techniques. They propose that future work could resolve parameter dependence issues to construct families of solutions and potentially achieve exponential decay, further solidifying the connection to physical observations.

In summary, this paper provides a rigorous proof of the persistence of localized, quasi-periodic states in a complex nonlinear disordered system with a linear potential, significantly advancing the mathematical understanding of nonlinear localization beyond perturbative regimes.