🔢 mathematics

Uniform Hyperbolicity, Bandgaps and Edge Modes in Aperiodic Systems of Subwavelength Resonators

This paper employs the formalism of uniform hyperbolicity and a propagation matrix framework to rigorously characterize the spectral gaps and edge modes of aperiodic one-dimensional arrays of subwavelength resonators, extending strict multicone criteria and spectral bounds from bi-infinite to semi-infinite and finite systems.

Original authors: Habib Ammari, Clemens Thalhammer, Alexander Uhlmann

Published 2026-09-30

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Habib Ammari, Clemens Thalhammer, Alexander Uhlmann

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

Imagine a long, thin chain of tiny objects, each one capable of humming at a specific pitch when struck by a wave. In the world of physics, these are called resonators. When you line them up, they do not just hum individually; they talk to their neighbors, creating a complex chorus of sound or light that travels along the chain. Scientists have long been fascinated by what happens when these chains are perfectly ordered, like a marching band in step. But the real world is rarely so neat. Often, the chain is a jumble of different types of resonators, arranged in a pattern that never repeats. This disorder makes predicting the behavior of the wave incredibly difficult. The central question is simple yet profound: if you build a chain out of a limited set of building blocks, arranged in a random, non-repeating order, can you still predict exactly which frequencies of sound or light will pass through and which will be blocked?

This is the puzzle tackled by a team of researchers who studied one-dimensional arrays of these subwavelength resonators. These are special objects designed to interact with waves that are much larger than the objects themselves, a phenomenon that allows for the manipulation of sound and light in ways that were previously thought impossible. The researchers focused on a specific type of disorder where the chain is constructed by sampling from a finite library of distinct "blocks." Each block might contain a single resonator or a small cluster of them. By stringing these blocks together in a random sequence, they created systems that are far more chaotic than simple periodic arrangements, rendering many standard mathematical tools useless. Their goal was to map out the "spectral distribution" of these systems—essentially, to draw a precise map of which frequencies are allowed to travel freely and which are forbidden, creating gaps in the spectrum known as bandgaps.

The team discovered that despite the apparent randomness of the arrangement, the behavior of the entire chain is strictly determined by the properties of the individual blocks used to build it, provided a specific geometric condition known as the "source-sink condition" is met. They proved that if you know how a single block of resonators affects a wave, you can predict the behavior of an infinitely long, randomly assembled chain. Specifically, they found that a frequency will be blocked from traveling through the entire system if it is blocked by every single type of block in the library AND the blocks satisfy this source-sink condition. If even one type of block allows a frequency to pass, or if the geometric alignment of the blocks fails this condition, that frequency may find a way through the chaotic chain. This result, which they rigorously demonstrated using a modern mathematical framework called uniform hyperbolicity, provides a powerful rule for designing materials with specific wave-blocking properties without needing to simulate the entire, massive structure.

However, the story becomes more intricate when the chain is not infinite but has a beginning and an end, or when it is cut to a finite length. In these cases, the researchers found that the edges of the system play a critical role. Just as a river might form a whirlpool at the edge of a cliff, waves can become trapped at the very ends of these resonator chains, creating special "edge modes" that exist in the gaps where no other waves can travel. The team developed a precise method to predict when these edge modes will appear. They showed that these trapped waves occur only when the physical properties of the blocks and the specific way they are arranged at the boundary align in a very particular geometric relationship. If this relationship is not met, the edge remains silent, and the spectrum of the finite chain looks exactly like the spectrum of the infinite one, minus the forbidden gaps.

To reach these conclusions, the researchers had to reinvent how they looked at the problem. Instead of tracking the wave as it moves from one resonator to the next, which creates a messy and complicated picture, they shifted their perspective to look at how the wave propagates through entire blocks at once. They treated each block as a single unit that transforms the wave in a specific way. By analyzing the mathematical "signature" of these transformations, they could determine whether the wave would grow, shrink, or oscillate as it traveled through the chain. They proved that if the transformations of all the different blocks in the library push the wave in a consistent, diverging direction, the wave cannot survive in the middle of the chain, creating a perfect bandgap. This approach allowed them to turn a problem of infinite complexity into a manageable check of a few simple conditions on the building blocks.

The researchers also addressed the practical reality that no system is truly infinite. They showed that for large but finite chains, the spectrum is almost entirely determined by the infinite case, with the only exceptions being those specific edge modes. This means that engineers designing these materials can rely on the behavior of the infinite system to predict the performance of real-world devices, provided they account for the possibility of waves getting stuck at the ends. In their simulations, they observed that when the conditions for edge modes were met, extra frequencies appeared in the gaps, acting as unique fingerprints of the system's boundaries. When the conditions were not met, the gaps remained clean and empty, exactly as predicted by the infinite model.

Ultimately, this work provides a rigorous foundation for understanding and designing disordered metamaterials. It moves beyond the idea that disorder is purely chaotic and unpredictable, showing instead that there is a deep, underlying order dictated by the components themselves. The findings confirm that by carefully selecting a library of building blocks and ensuring they meet the necessary geometric criteria, one can engineer materials that block specific frequencies with absolute certainty, regardless of how those blocks are randomly arranged. This is a significant step forward in the field of wave manipulation, offering a clear path to creating acoustic and electromagnetic devices that can filter, guide, or trap energy with unprecedented precision. The researchers have effectively turned the chaos of a disordered chain into a predictable and controllable system, proving that even in randomness, the rules of the building blocks reign supreme.

Technical Summary: Uniform Hyperbolicity, Bandgaps and Edge Modes in Aperiodic Resonator Systems

Problem Statement
This work addresses the spectral characterization of one-dimensional arrays of subwavelength resonators arranged in aperiodic (disordered) sequences. Specifically, the authors investigate bi-infinite, semi-infinite, and finite systems constructed by sampling from a finite library of distinct "building blocks," where each block may contain multiple resonators. The primary challenge lies in characterizing the spectral gaps (regions devoid of eigenvalues) and the distribution of eigenmodes in these strongly disordered systems. Unlike systems that are merely compact perturbations of periodic ones, these block-disordered arrays prevent the use of standard tools like the truncated Floquet-Bloch transform. The goal is to rigorously determine the spectrum of the composite system solely in terms of the properties of its constituent blocks, extending the classical Saxon-Hutner theorem to this setting.

Methodology
The paper employs a multi-step reduction strategy, moving from the physical continuum problem to a discrete dynamical system analysis:

Capacitance Matrix Approximation: In the subwavelength high-contrast regime, the continuous Helmholtz resonance problem is reduced to a discrete eigenvalue problem involving a generalized capacitance matrix $VC$ . For large arrays, this converges strongly to a self-adjoint Jacobi operator $J$ on $\ell^2(\mathbb{Z})$ .
Transfer to Propagation Matrices: To analyze the spectral equation $(J - \lambda)v = 0$ , the authors introduce transfer matrices. However, recognizing that transfer matrices are neither unimodular nor local to individual resonators, they perform a change of basis to propagation matrices $P^\lambda(i)$ . These matrices belong to $SL(2, \mathbb{R})$ and depend only on the local parameters (length, spacing, wave speed) of the $i$ -th resonator.
Block-Level Characterization: The propagation matrices of individual resonators within a block are multiplied to form block propagation matrices $P^\lambda_d$ . This allows the analysis to return to the scale of the building blocks rather than individual resonators.
Uniform Hyperbolicity and Cocycles: The spectral properties are linked to the dynamics of the block propagation matrix cocycle. The authors utilize the concept of uniform hyperbolicity (equivalent to dominated splitting for $SL(2, \mathbb{R})$ cocycles). A key theoretical tool is the invariant cone criterion, which provides a sufficient condition for uniform hyperbolicity based on the geometric arrangement of the fixed points (sources and sinks) of the block matrices on the real projective line $\mathbb{RP}^1$ .
Pseudo-ergodicity: The analysis assumes the block sequence is pseudo-ergodic (containing every possible finite subsequence), a generic condition satisfied by independent and identically distributed (i.i.d.) sampling with probability one. This ensures that the spectral properties of a single realization represent the entire hull of possible sequences.

Key Contributions and Results

Generalized Saxon-Hutner Theorem (Theorem 3.20): The paper establishes a rigorous necessary and sufficient condition for the existence of spectral gaps in bi-infinite block-disordered systems.
- Sufficient Condition: If all block propagation matrices $P^\lambda_d$ are hyperbolic (i.e., $|\text{tr}(P^\lambda_d)| > 2$ ) and the family satisfies the source-sink condition (all sink fixed points lie in the same connected component of $\mathbb{RP}^1$ excluding the source fixed points), then $\lambda$ is in a spectral gap ( $\lambda \notin \sigma(J)$ ).
- Necessary Obstruction: If any block propagation matrix fails to be hyperbolic (i.e., $|\text{tr}(P^\lambda_d)| \le 2$ ), then $\lambda$ belongs to the spectrum.
- This result characterizes the spectral gaps of the composite system as the intersection of the gaps of the constituent blocks, provided the source-sink condition holds.
Characterization of Edge Modes (Theorem 4.4): For semi-infinite systems, the authors explicitly characterize edge-induced eigenmodes. These modes exist if and only if the stable direction of the block propagation matrix cocycle at the boundary coincides with the Neumann boundary condition vector $(1, 0)^\top$ . The paper provides a criterion (Corollary 4.5) based on the source-sink condition to determine when such edge modes are impossible.
Spectral Bounds for Finite Systems (Theorem 4.7): Leveraging the finite section method and limit-operator arguments, the authors prove that the spectrum of any finite block-disordered array is strictly contained within the union of the spectra of the corresponding semi-infinite systems (both positive and negative half-lines). This implies that the bulk spectrum of finite systems is determined by the block properties, with the only potential deviations being edge modes.
Physical Interpretation of Coburn's Lemma: The paper proves a physical version of Coburn's lemma for these systems (Theorem 4.6), stating that for a given frequency in a spectral gap, a disordered system cannot support edge modes at both the left and right boundaries simultaneously; it can support at most one.

Significance and Claims
The paper claims to provide a rigorous, modern framework for understanding wave localization and spectral gaps in block-disordered metamaterials. By shifting from transfer matrices to propagation matrices and utilizing the language of uniform hyperbolicity, the authors achieve a "block-level" characterization that is analytically tractable.

The significance lies in:

Rigorous Proof: Strengthening and proving a Saxon-Hutner-type result for block-disordered systems using strict multicone criteria, moving beyond heuristic arguments.
Explicit Edge Mode Characterization: Providing a precise geometric condition (via the stable direction in $\mathbb{RP}^1$ ) for the existence of edge modes in semi-infinite and finite systems, explaining phenomena like "spectral pollution" observed when the source-sink condition is violated.
Finite System Bounds: Establishing that the spectral distribution of finite arrays is fully determined by the constituent blocks and their semi-infinite limits, up to a finite number of edge modes.

The authors note that these results can be extended to non-reciprocal systems with imaginary gauge potentials and that the framework naturally generalizes seminal results from random Schrödinger operators (such as the existence of Lyapunov exponents and the absence of absolutely continuous spectrum) to Jacobi operators arising in subwavelength resonator arrays. The work does not propose new experimental setups but rather provides the theoretical underpinning for interpreting the spectral behavior of such disordered metamaterials.

More like this