🔬 mesoscale physics

Algebraic localization implies exponential localization in non-periodic insulators

The paper proves that for non-periodic insulators in two and three dimensions, the existence of an orthonormal basis for the Fermi projection with finite second moment (algebraic localization) necessarily implies the existence of an orthonormal basis that decays exponentially fast in space, thereby supporting the Localization Dichotomy Conjecture.

Original authors: Jianfeng Lu, Kevin D. Stubbs

Published 2026-09-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jianfeng Lu, Kevin D. Stubbs

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the world of materials science, understanding how electrons move through a solid is fundamental to designing everything from computer chips to solar cells. In many insulating materials, electrons are trapped in specific energy ranges, unable to flow freely like they do in a metal. To describe these trapped electrons, scientists often use a mathematical tool called a "basis," which is essentially a set of building blocks used to reconstruct the electron's behavior. For decades, researchers have sought a special kind of building block known as a Wannier function. These are ideal because they are highly localized, meaning the electron's probability of being found drops off very quickly as you move away from a central point. When these functions decay exponentially fast, they are incredibly useful for creating simplified models of how materials work and for understanding phenomena like electricity generation in polarized materials.

The existence of these perfectly localized building blocks depends on the shape and symmetry of the material's internal structure. For materials that repeat in a regular, crystalline pattern, scientists have long known the precise conditions required for these functions to exist. However, the real world is often messy. Many materials are non-periodic, meaning they lack that perfect repeating order, such as amorphous solids or disordered alloys. For these irregular systems, it has been a major open question whether the same rules apply. Specifically, researchers wondered if having a set of building blocks that decay at a moderate, algebraic rate (slower than exponential but still fast enough to be useful) was enough to guarantee the existence of the faster, exponentially decaying ones. This question lies at the heart of a broader idea called the "localization dichotomy," which suggests that the ability to localize electrons is deeply tied to the topological properties of the material.

A team of mathematicians and physicists has now provided a definitive answer for two-dimensional non-periodic systems, proving that a moderate level of localization is indeed sufficient to guarantee the existence of the highly localized functions. Their work establishes a rigorous bridge between two different ways of measuring how quickly an electron's influence fades into the distance. They showed that if a system possesses a set of orthonormal basis functions where the average distance of the electron from its center, raised to a power of five plus a tiny amount, remains finite, then it is mathematically guaranteed that a different set of basis functions exists which decays exponentially fast. This finding is significant because it removes the need to assume the material has any specific symmetry or repeating pattern. The proof relies on constructing a new type of position operator, a mathematical tool that tracks where the electrons are, which behaves almost exactly like the standard position operator but is tailored to the specific properties of the electron states in the material.

The researchers achieved this by first acknowledging that in disordered systems, the "centers" of these electron states are not arranged in a neat grid. They demonstrated that despite this lack of order, the centers cannot cluster too densely; there is a natural limit to how many of them can crowd into a small area. Using this insight, they built a new operator that effectively discretizes the space, treating the electron centers as if they were on a grid without forcing them to be there. This new operator allowed them to apply techniques previously reserved for one-dimensional systems to the more complex two-dimensional case. By showing that this new operator has a specific spectral structure with clear gaps between its possible values, they proved that the system can be broken down into smaller, effectively one-dimensional pieces. In these smaller pieces, the mathematics guarantees that the electrons can be described by functions that vanish exponentially fast.

This result supports a conjecture recently proposed by other researchers, which posits that the relationship between algebraic and exponential localization holds true even in the absence of periodic order. The paper does not claim to solve the problem for all possible dimensions or every type of material, but it firmly settles the case for two-dimensional systems regarding the implication that algebraic localization leads to exponential localization. It confirms that if a system allows for a basis with sufficiently fast algebraic decay, it necessarily admits an exponentially localized basis. While the connection to topological triviality remains a conjecture for non-periodic systems, this work establishes the critical mathematical step that algebraic decay implies exponential decay. The work does not rely on the material being a crystal or having any specific symmetry, making it applicable to a much wider class of real-world materials. By proving that a slower, algebraic decay implies a faster, exponential one, the authors have shown that the mathematical machinery required to describe these complex, disordered insulators is more robust than previously thought, offering a clearer path for modeling electronic behavior in imperfect materials.

Technical Summary: Algebraic Localization Implies Exponential Localization in Non-Periodic Insulators

Problem Statement
In electronic structure theory, exponentially localized Wannier functions (ELWFs) serve as a crucial basis for the Fermi projection of insulating Hamiltonians, facilitating the construction of effective tight-binding models and the modern theory of polarization. For periodic insulators in two and three dimensions, it is well-established that the existence of ELWFs is equivalent to the vanishing of specific topological invariants (Chern numbers) and the existence of an orthonormal basis with a finite second moment (algebraic localization with $s=2$ ). This equivalence forms the "Localization Dichotomy."

However, for non-periodic systems, the relationship between algebraic and exponential localization remains less understood. While the "Localization Dichotomy Conjecture" for non-periodic systems posits that algebraic localization implies exponential localization (and topological triviality), this has not been rigorously proven without assuming underlying symmetries. The primary challenge is that standard techniques relying on the Bloch-Floquet transform are inapplicable to non-periodic systems.

Methodology
The authors establish a weaker form of the Localization Dichotomy for non-periodic systems in two spatial dimensions. The core strategy involves constructing a new self-adjoint position operator, $\hat{X}$ , derived from the Fermi projector $P$ and an assumed algebraically localized basis. The proof proceeds through the following steps:

Decomposition Strategy: The authors generalize the approach of Kivelson and Nenciu-Nenciu, who defined Wannier functions as eigenfunctions of the projected position operator $PXP$ in one dimension. In two dimensions, $PXP$ generally lacks a discrete spectrum. To overcome this, the authors aim to decompose the projector $P$ into a family of mutually orthogonal projectors $\{P_j\}$ that are effectively one-dimensional (localized along lines $x = \xi_j$ ). If such a decomposition exists and the projectors admit exponentially localized kernels, the eigenfunctions of the transverse projected operators $P_j Y P_j$ form an exponentially localized basis for $P$ .
Construction of $\hat{X}$ : To ensure the existence of the decomposition $\{P_j\}$ , the authors require a position operator $\hat{X}$ such that $P\hat{X}P$ possesses "uniform spectral gaps." They construct $\hat{X}$ in two stages:
- First, they define a discretized operator $\tilde{X}$ based on the center points $\{\mu_\alpha\}$ of an assumed $s$ -localized basis $\{\psi_\alpha\}$ . Using the property that $P$ admits an exponentially localized kernel, they prove these center points have "bounded density," allowing them to be relabeled to lie on an integer lattice.
- Second, to satisfy the necessary smoothness conditions (specifically, that the operator is not "too far" from the true position operator $X$ in a way that preserves spectral properties), they apply a filter function (inspired by Hastings) to $\tilde{X}$ . This yields $\hat{X}$ , which is close to $X$ in spectral norm and satisfies specific commutation bounds.
Verification of Conditions: The authors verify that the constructed $\hat{X}$ satisfies the assumptions of a key lemma (Lemma 3.1):
- $\hat{X}$ is close to $X$ ( $\|\hat{X} - X\| \leq C$ ).
- $\hat{X}$ is exponentially localized in the sense of its "tilted" norm ( $\|\hat{X}_\gamma - \hat{X}\| \leq C\gamma$ ).
- $P\hat{X}P$ has uniform spectral gaps.

Key Contributions and Results
The main result (Theorem 1) establishes the equivalence between algebraic and exponential localization for orthogonal projectors $P$ on $L^2(\mathbb{R}^2)$ that admit an exponentially localized kernel. Specifically, the paper proves:

Theorem: If there exists an orthonormal basis for the range of $P$ that is $s$ -localized with $s > 5/2$ (i.e., $\int \langle x - \mu_\alpha \rangle^{2s} |\psi_\alpha(x)|^2 dx < \infty$ ), then there exists an orthonormal basis that is exponentially localized.
Technical Threshold: The proof requires the algebraic decay exponent to be strictly greater than $5/2$ . The authors note that while the condition $s > 5/2$ is sufficient for their current analysis, it is likely that this threshold can be lowered in future work.
Symmetry Independence: Unlike previous results, this theorem makes no assumptions about the underlying symmetries of the system (e.g., time-reversal or lattice periodicity). It relies solely on the localization properties of the Fermi projector.

Significance
The paper provides rigorous support for the Localization Dichotomy Conjecture for non-periodic systems, as recently proposed by Marcelli, Monaco, Moscolari, and Panati. By demonstrating that algebraic localization (with a sufficiently high moment) implies exponential localization without invoking topological invariants or symmetry assumptions, the work bridges a gap between the known results for periodic systems and the conjectured behavior of general non-periodic insulators.

The authors explicitly state that their result is a "weaker" form of the full dichotomy because it requires $s > 5/2$ rather than the conjectured $s=1$ (or $s=2$ in the periodic case) and does not yet establish the equivalence with the vanishing of the Chern marker (topological triviality) for non-periodic systems, though they cite recent work by Marcelli et al. that addresses the algebraic-to-topological link. The paper concludes that the techniques used may be generalizable to higher dimensions via an inductive procedure, potentially establishing similar results for $s > d + 1/2$ in $d$ dimensions.

More like this