Abstract
In this paper, we use recent breakthroughs in the study of coupled subwavelength resonator systems to reveal new insight into the mechanisms responsible for the fundamental features of Anderson localization. The occurrence of strong localization in random media has proved difficult to understand, particularly in physically derived multi-dimensional models and systems with long-range interactions. We show here that the scattering of time-harmonic waves by high-contrast resonators with randomly chosen material parameters reproduces the characteristic features of Anderson localization. In particular, we show that the hybridization of subwavelength resonant modes is responsible for both the repulsion of energy levels as well as the widely observed phase transition, at which point eigenmode symmetries swap and very strong localization is possible. We derive results from first principles, using asymptotic expansions in terms of the material contrast parameter and obtain a characterization of the localized modes in terms of generalized capacitance matrices. This model captures the long-range interactions of the wave-scattering system and provides a concise framework to explain the exotic phenomena that are observed.
Similar content being viewed by others
1 Introduction
As waves propagate through our environment they often encounter materials with random structures. These random media might be organic substances, fluids, or structured materials that have been subjected to random perturbations. As a result, there is a large field concerned with the propagation of waves in random media, with lots of attention being devoted to the eye-catching phenomenon of wave localization [19, 23]. The seminal work in this area was the observation by Philip Anderson in 1958 that random media could be free from diffusion [11]. His work concerned the transport of electrons in random lattices, but has inspired studies in many different wave regimes [12, 14,15,16, 18, 26, 30, 32].
Wave localization is typically constrained by the diffraction limit. Anderson localization is generally not an exception to this and the localization length is typically limited by the wavelength, meaning it diverges in the low-frequency regime. As a result, in this classical setting, inhomogeneities on length-scales smaller than the wavelength will have a negligible effect on wave scattering and wave transport is characterized by effective parameters where any small disorder can be neglected. However, recent developments of systems exhibiting subwavelength wave localization are able to overcome this limit [3, 22, 28, 31]. Crucially, this is achieved in locally resonant materials, whose constituents exhibit resonance at small (i.e. subwavelength) frequencies. In particular, high-contrast resonators are a natural example of subwavelength resonance (see e.g. [3] for a comprehensive review of related phenomena; a famous example is the Minnaert resonance of air bubbles in water [28]).
While random systems of subwavelength resonators are challenging to understand, the spectra of periodic systems are much more straightforward. A periodic crystal of N repeated high-contrast resonators is known to have N subwavelength resonant band functions. A band gap is guaranteed to exist above these bands and other gaps can exist between them, depending on the choice of geometry [3]. Perturbations can create eigenmodes with eigenfrequencies within these band gaps. These ‘midgap’ modes are elements of the point spectrum and cannot couple with the Bloch modes so decay exponentially quickly away from the defect. Some examples of localized modes, for a planar square lattice of high-contrast three-dimensional resonators with randomly chosen material parameters are shown in Fig. 1. We can derive concise formulas for the the midgap frequencies that exist when there are finitely many random perturbations and can describe the localized modes of a fully random structure by increasing the number of perturbations.
The behaviour of the randomly perturbed systems studied here can be understood by considering the simple phenomena of hybridization and level repulsion. That is, when two eigenmodes are coupled, one of the eigenfrequencies of the resulting hybridized modes will be shifted up while the other will be shifted down. Meanwhile, level repulsion means that when disorder is added to the entries of a matrix, the eigenvalues have a tendency to separate [27]. These can be used to explain, firstly, the observation that the stronger the disorder, the more localized modes are created, as well as the tendency for the eigenmodes to become more strongly localized as the strength of the disorder increases. The most commonly studied random matrices are Gaussian ensembles, for which the distributions of eigenvalue separations are well known [27]. In our setting, however, we have a non-linear eigenvalue problem so are not able to use this theory. As a result, we will elect to study the simple case of uniformly distributed perturbations (however, we consistently noticed qualitatively very similar results to the case of Gaussian perturbations).
The phase transition whereby disordered media changes from being conducting (exhibiting only weak localization) to being insulating (the absence of diffusion) is referred to as the Anderson transition [11, 26]. In this work, we similarly observe a phase transition at a positive value of the perturbation strength. At this transition, eigenfrequencies become degenerate and the symmetries of the corresponding modes swap (i.e., even modes change to odd modes, and vice versa). In general, when eigenmodes hybridize, the volume of their support increases, decreasing the extent to which they can be said to be localized. This trend, however, breaks down at the phase transition. At this point, any small perturbation will lift the degeneracy and cause the modes to decouple, producing strongly localized modes. A sharp peak in the average degree of localization is observed here, which is a key signature of the transition.
The analysis in this work is based on the generalized capacitance matrix, which is a powerful tool for characterising the subwavelength resonant modes of a system of high-contrast resonators [3]. In essence, the capacitance formulation provides a discrete approximation to the continuous spectral problem of the PDE-model, valid in the high-contrast asymptotic limit. This approximation is based solely on first principles and provides a natural starting point for both theoretical analysis and numerical simulation of Anderson localization. The inclusion of long-range interactions is a crucial feature of the capacitance matrix: the off-diagonal entries \(C_{ij}\) decay slowly, according to \(1/|i-j|\). In contrast, previous studies of Anderson localization in quantum-mechanical and Hamiltonian systems are mainly limited to the case of short-range interactions \(1/|i-j|^{d+\varepsilon }\), where d is the dimension and \(\varepsilon > 0\) [1, 11, 17]. Since Anderson’s original work [11], localization was believed to only occur in systems with short-range interactions but, more recently, localization has been demonstrated in systems with long-range interactions [24, 29]. Nevertheless, the long-range interactions and the dense random perturbations in the setting studied here make the problem considerably more challenging than Anderson’s original model, and precise statements on the spectrum of the discrete model are generally beyond reach.
Anderson localization has been studied in other systems related to the current setting, most notably for classical waves in [17]. However, the analysis is typically based on approximating the continuous (differential) equation by a discrete (difference) equation. In contrast, the novelty of our approach is that the discrete capacitance approximation studied in this work is derived from first principles and is a natural approximation based on the physical properties of the system. It is important to emphasize that tight-binding and nearest-neighbour formulations are not applicable in the setting of high-contrast resonators and give poor approximations [6, 20, 21].
The analysis in this work deepens the understanding of localization in systems with long-range interactions. We begin by describing the Helmholtz partial differential model of interest in Sect. 2 and derive the corresponding generalized capacitance formulation in Sect. 3. Within this framework, the Helmholtz problem is approximated by a spectral problem for a discrete operator, where the random disorder is manifested through multiplication by a diagonal operator. The capacitance formulation leads to a concise characterization of localized modes in the case of finitely many defects in an infinite structure, whereby the problem reduces to a nonlinear eigenvalue problem for a Toeplitz matrix. This is presented in Sect. 4 and allows for a detailed study of level repulsion and phase transition, providing insight into the mechanism of Anderson localization in systems with long-range interactions. Additionally, we study the limit when the number of defects increases, demonstrating an increasing number of localized modes. Finally, in Sect. 5 we consider the fully random case, i.e. when all resonators in a finite array are taken to have random parameters. As observed in discrete systems with short-range interactions (see, e.g., [17]), the band structure of the unperturbed case persists, while localized modes emerge around the edges of the bands. As the perturbation increases, the level repulsion will cause the localized frequencies to separate and increase the degree of localization.
2 Formulation of the Resonance Problem
We assume that the resonator system consists of periodically arranged scatterers, whose material parameters may be non-periodic. We work in d spatial dimensions, where d can be either 2 or 3 (Anderson localization in one-dimensional systems is a very different and somewhat more straightforward phenomenon). We consider a lattice \(\Lambda \) of dimension \(1\le d_l\le d\), generated by the lattice vectors \(l_1,\ldots , l_{d_l}\):
We let \(P_l: \mathbb {R}^d \rightarrow \mathbb {R}^{d_l}\) be the projection onto the first \(d_l\) coordinates, and \(P_\perp : \mathbb {R}^d \rightarrow \mathbb {R}^{d-d_l}\) be the projection onto the last \(d-d_l\) coordinates. For simplicity, we assume that \(P_\perp l_i = 0\), which means that the lattice is aligned with the first \(d_l\) coordinate axes. For a point \(x\in \mathbb {R}^d\), we use the notation \(x = (x_l,x_0)\), where \(x_l =P_lx\) and \(x_0 = P_\perp x\). We let \(Y \subset \mathbb {R}^{d}\) be a fundamental domain of the given lattice:
Inside Y, we assume that there are N scatterers, or resonators, \(D_i\subset Y\), for \(i=1,\ldots ,N\). These are disjoint, connected domains with boundaries in \(C^{1,s}\) for some \(0<s<1\). For \(m\in \Lambda \), we let \(D_i^m\) denote the translated resonator, and we let \(\mathcal {D}\) denote the total collection of resonators:
We let \(v_i^m\) denote the wave speed in \(D_i^m\), and v denote the wave speed in the surrounding medium. Each resonator is additionally associated to a parameter \(\delta _i^m\), which describes the contrast between the resonator and the surrounding.
Throughout this work, we will consider the equation
The natural setting to achieve subwavelength resonance is to consider the high-contrast case [3], whereby we assume that
for some small parameter \(\delta \rightarrow 0\). Within this high-contrast regime, we are interested in subwavelength solutions to (2.1). These are defined as non-trivial solutions for which the frequency \(\omega =\omega (\delta )\) depends continuously on \(\delta \) and has the asymptotic behaviour
This asymptotic condition is the notion of the “subwavelength” regime that we consider in this work.
The dual lattice of \(\Lambda \), denoted \(\Lambda ^*\), is generated by \(\alpha _1,\ldots ,\alpha _{d_l}\) satisfying \( \alpha _i\cdot l_j = 2\pi \delta _{ij}\) and \(P_\perp \alpha _i = 0\), for \(i,j = 1,\ldots ,d_l.\) The Brillouin zone \(Y^*\) is defined as \(Y^*:= \big (\mathbb {R}^{d_l}\times \{\textbf{0}\}\big ) / \Lambda ^*\), where \(\textbf{0}\) is the zero-vector in \(\mathbb {R}^{d-d_l}\). We remark that \(Y^*\) can be written as \(Y^*=Y^*_l\times \{\textbf{0}\}\), where \(Y^*_l\) has the topology of a torus in \(d_l\) dimensions.
3 Generalized Capacitance Matrices
In this section, we introduce the capacitance matrix formalism, which characterizes the subwavelength spectrum of (2.1) in terms of a discrete operator. In its simplest form, the generalized quasiperiodic capacitance matrix \({\widehat{\mathcal {C}}}^\alpha \) gives a concise characterization of the periodic problem. We then generalize this framework to a general, possibly random, parameter distribution. Similar characterizations, in terms of the generalized capacitance matrix, have been used to study the subwavelength resonant modes of many different systems of high-contrast resonators, see [3] for a review. In the case of a compact perturbation of a periodic system, this capacitance formalism reduces to an eigenvalue problem for a Toeplitz matrix.
3.1 Layer potentials and the quasiperiodic capacitance matrix
In the case of a periodic system, the spectrum of (2.1) is well-known to consist of a countable sequence of continuous spectral bands. These bands consist of propagating “Bloch” modes that are not spatially localized. The general theory for periodic elliptic operators is reviewed in [25] and presented for the specific case of periodic subwavelength resonators in [3]. In this section, we briefly summarize the main results. We assume that the material parameters satisfy
for some constants \(\delta _i, v_i\), \(i=1,\ldots ,N\).
The capacitance matrix describes the band functions in the subwavelength limit, whereby the Helmholtz equation reduces to Laplace’s equation. To define this matrix, we begin by letting G(x) be the Green’s function for Laplace’s equation in \(d=2\) or \(d=3\):
For \(\alpha \in Y\setminus \{0\}\), we can then define the quasiperiodic Green’s function \(G^{\alpha }(x)\) as
The series in (3.2) converges uniformly for x and y in compact sets of \(\mathbb {R}^d\), \(x\ne y\) and \(\alpha \ne 0\). The quasiperiodic single layer potential \(\mathcal {S}_D^{\alpha }\) is defined as
Restricting to \(x\in \partial D\), \(\mathcal {S}_D^\alpha \) is an invertible operator \(\mathcal {S}_D^\alpha : L^2(\partial D) \rightarrow H^1(\partial D)\) for \(\alpha \ne 0\) (see, for example, [3] for a review of layer potential operators with applications to subwavelength physics).
Definition 3.1
(Quasiperiodic capacitance matrix) Assume \(\alpha \ne 0\). For a system of \(N\in \mathbb {N}\) resonators \(D_1,\dots ,D_N\) in Y we define the quasiperiodic capacitance matrix \({\widehat{C}}^\alpha =({\widehat{C}}^\alpha _{ij})\in \mathbb {C}^{N\times N}\) to be the square matrix given by
At \(\alpha = 0\), we can define \({\widehat{C}}^0\) to be the limit of \({\widehat{C}}^\alpha \) as \(\alpha \rightarrow 0\), which is known to exist [3]. Having defined the capacitance matrix, we now introduce the generalized capacitance matrix, which allows us to account for the material parameters of the resonators.
Definition 3.2
(Generalized quasiperiodic capacitance matrix) For a system of \(N\in \mathbb {N}\) resonators \(D_1,\dots ,D_N\) in Y we define the generalized quasiperiodic capacitance matrix, denoted by \({\widehat{\mathcal {C}}}^\alpha =({\widehat{\mathcal {C}}}^\alpha _{ij})\in \mathbb {C}^{N\times N}\), to be the square matrix given by
Since (2.1) is periodic, it is well-known that the spectrum consists of continuous bands parametrized by \(\alpha \). For small \(\delta \), there are N such bands \(\omega _i(\alpha )\), \(i=1,\ldots ,N\) satisfying \(\omega _i(\alpha ) = O(\delta ^{1/2})\). We have the following result [3].
Theorem 3.3
Let \(d\in \{2,3\}\) and \(0<d_l\le d\). Consider a system of N subwavelength resonators in the periodic unit cell Y, and assume \(|\alpha |> c > 0\) for some constant c independent of \(\omega \) and \(\delta \). As \(\delta \rightarrow 0\), there are N subwavelength resonant frequencies, which satisfy the asymptotic formula
Here, \(\{\lambda _n^\alpha : n=1,\dots ,N\}\) are the eigenvalues of the generalized quasiperiodic capacitance matrix \({\widehat{\mathcal {C}}}^\alpha \in \mathbb {C}^{N\times N}\), which satisfy \(\lambda _n^\alpha =O(\delta )\) as \(\delta \rightarrow 0\).
The spectrum of the unperturbed periodic array consists of a countable collection of spectral bands \(\omega ^\alpha \), which depend continuously on \(\alpha \in Y^*\). The bands which are subwavelength, in the sense of the asymptotic condition (2.2), are described by the eigenvalues of the generalized quasiperiodic capacitance matrix \({\widehat{\mathcal {C}}}^\alpha \) thanks to Theorem 3.3. These bands consist of propagating “Bloch” modes and might have band gaps between them. The introduction of (random) perturbations to the model will, in some cases, create localized modes with resonant frequencies lying in one of the band gaps. One advantage of the subwavelength regime we study is that there will always be a band gap above the top subwavelength spectral band, provided \(\delta \) is sufficiently small. See [8] for a detailed exposition of this phenomenon. Many of the examples considered in this work are of this type, whereby localized modes are perturbed away from the top of the subwavelength resonant spectrum due to the introduction of defects. We will also consider structures that have band gaps between the subwavelength bands, such as the dimer array depicted in Fig. 2d.
In this work, we consistently use the superscript \(\ \widehat{} \ \) to denote quantities posed in terms of the dual variable \(\alpha \in Y^*\). In subsequent sections, we will re-frame the capacitance formulation to the real-space variable \(m \in \Lambda \). We introduce the Floquet transform \(\mathcal {F}: \ \bigr (\ell ^2(\Lambda )\bigr )^N \rightarrow \left( L^2(Y^*)\right) ^N\) and its inverse \(\mathcal {I}: \ \left( L^2(Y^*)\right) ^N \rightarrow \bigr (\ell ^2(\Lambda )\bigr )^N \), which are given by
We can now define the real-space capacitance coefficients and generalized capacitance coefficients, respectively, as
indexed by the real-space variable \(m\in \Lambda \).
3.2 Discrete-operator formulation
The goal, now, is to derive a capacitance formulation which is valid even in the case when the material parameters are not distributed periodically.
We seek solutions u to (2.1) which are localized and in the subwavelength regime, as defined by the asymptotic condition (2.2). It has been shown previously that for a resonant mode u to exist within this regime, it must have an eigenfrequency \(\omega \) with the asymptotic behaviour \(\omega =O(\sqrt{\delta })\) [3]. Hence, we will write \(\omega \) as
for some constant \(\beta \) independent of \(\delta \). Here, we refer to localization in the \(L^2\)-sense, meaning that modes are said to be localized if they decay sufficiently quickly such that
for any \(x_0\in \mathbb {R}^{d-d_l}\). For simplicity, we also assume that u is normalized in the sense
The crucial property of subwavelength solutions is that they are approximately constant as functions of x inside the resonators \(D_i^m\); such solutions arise as perturbations of the constant solution of the interior Neumann eigenvalue problem of \(-\Delta \) inside \(D_i^m\). Specifically, we have the following result from [9].
Lemma 3.4
Let u be a localized, normalized eigenmode to (2.1) corresponding to an eigenvalue \(\omega \) which satisfies \(\omega = O(\delta ^{1/2})\) as \(\delta \rightarrow 0\). Then, uniformly in \(x\in \mathcal {D}\),
for some \(u_i^m\) which are constant with respect to position x (within each disjoint \(D_i^m\)) and material contrast \(\delta \).
We define . We denote the material parameters as
for some (possibly random) variables \(b_i^m\) which satisfy \(b_i^m = O(1)\) as \(\delta \rightarrow 0\). We define \(\mathcal {B}_m\) as the \(N\times N\) diagonal matrix whose ith entry is given by \(b_i^m\).
The Floquet transform is the tool that allows us to show the following result, by transforming into the dual space and then back again.
Proposition 3.5
Any localized solution u to (2.1), corresponding to a subwavelength frequency \(\omega = \omega _0 + O(\delta )\), satisfies
for every \(m\in \Lambda \), where \(\mathcal {C}^m = \mathcal {I}[{\widehat{\mathcal {C}}}^\alpha ](m).\)
Proof
We can combine the fact from Lemma 3.4 that the eigenmodes are approximately constant on the resonators with the fact from Theorem 3.3 that the modes are given by eigenvectors of the generalized quasiperiodic capacitance matrix to obtain a discrete-operator formulation of the subwavelength resonance problem. This was proved in [9, Proposition 4.2] and says that
for all \(\alpha \in Y^*\). We can choose to pose the problem either in the real (spatial) variable m or in the dual (momentum) variable \(\alpha \). In this framework, equation (3.5), posed in the dual variable \(\alpha \), reads
We can re-frame this equation in the real variable m by taking the inverse Floquet transform. Since \(\textbf{u}^m = \mathcal {I}[{\widehat{\textbf{u}}}^\alpha ](m)\), we can apply \(\mathcal {I}\) to (3.6) to obtain (3.4). \(\square \)
We can write (3.4) in terms of discrete lattice operators. If \(\mathfrak {u}\in \ell ^2(\Lambda ^N,\mathbb {C}^N)\), we define the operator \(\mathfrak {C}\) on \(\ell ^2(\Lambda ^N,\mathbb {C}^N)\) by
Moreover, we define the operator \(\mathfrak {B}\) as the diagonal multiplication by \(\mathcal {B}_m\). With this notation, equation (3.4) reads
The equation (3.7) characterizes the subwavelength resonant frequencies and their corresponding resonant modes. A localized mode corresponds to an eigenvalue of the operator \(\mathfrak {B}\mathfrak {C}\). In the periodic case (when \(\mathfrak {B}= I\)), the spectrum of the lattice operator \(\mathfrak {C}\) is continuous and does not contain eigenvalues, so there are no localized modes. The spectral bands are given by Theorem 3.3 in this case. As we shall see, the operator \(\mathfrak {B}\mathfrak {C}\) might have a pure-point spectrum in the non-periodic case.
For a linear lattice, \(d_l=1\), these operators amount to doubly infinite matrices:
Here, \(\mathfrak {C}\) is the (block) Laurent operator corresponding to the symbol \({\widehat{\mathcal {C}}}^\alpha \).
Remark 3.6
This discrete lattice-operator formulation generalizes the approach used in [9].
3.3 Toeplitz matrix formulation for compact defects
In this section, we assume that the operators \(B_m\) are identity for all but finitely many m. For simplicity, we phrase this analysis in the case \(\Lambda = \mathbb {Z}\), where we assume that the resonators corresponding to \(0 \le m \le M\) have differing parameters, i.e.,
for some parameters \(\eta _i^m \in (-1, \infty )\) which are independent of \(\delta \). We let \(H_m\) be the diagonal matrix with entries \(\eta _i^m\). In this setting, we obtain a (block) Toeplitz matrix formulation. For \(\omega \notin \sigma (\mathfrak {C})\), we define
Proposition 3.7
Assume that \(\Lambda = \mathbb {Z}\) and that \(b_i^m\) are given by (3.8). Then \(\omega _0 \notin \sigma (\mathfrak {C})\) is an eigenvalue of (3.7) if and only if
where \(\mathcal {H}\) is the block-diagonal matrix with entries \(H_m\).
Proof
From (3.6) it follows that, for each m, we have
Since \(H_m\) is only nonzero for \(m=0,1,\ldots ,M\), we have
In other words, \(({\widehat{\mathcal {C}}}^\alpha - \omega _0^2I) {\widehat{\textbf{u}}}^\alpha \) is given by a finite Fourier series in \(\alpha \):
where \(\textbf{c}_m = \mathcal {I}[H_m{\widehat{\mathcal {C}}}^\alpha {\widehat{\textbf{u}}}^\alpha ](m)\). Together with (3.9) we find that
If we denote , we then obtain the following non-linear eigenvalue problem in \(\omega _0\),
where \(\mathcal {H}\) is the block-diagonal matrix with entries \(H_m\). \(\square \)
Remark 3.8
The localized modes can, equivalently, be described by the Toeplitz matrix with entries
leading to the non-linear eigenvalue problem
where \(\mathcal {Y} = (I+\mathcal {H})^{-1} - I\).
Remark 3.9
The analysis in this section generalizes approaches found in [4] and [7, 10].
4 Finite Perturbations of a Chain
In this section, we take the specific example of a chain of equidistant resonators where a finite number of resonators are perturbed, as illustrated in Fig. 2a, b. Specifically, we have the lattice dimension \(d_l = 1\), the space dimension \(d=3\) and we take a unit cell with just a single resonator: \(N=1\). As we shall see, a single defect may induce a one localized mode. When multiple defects hybridize, level repulsion will guarantee the existence of at least one localized mode. We emphasize that the phenomena highlighted in this section are not specific to the dimensionality and will be qualitatively similar in \(d_l =2 \) or \(d_l = 3\); see, for example, Fig. 1.
4.1 Single defect
We assume that \(N = 1\) and that the resonator corresponding to \(m=0\) has a different parameter, i.e.,
for some parameter \(\eta > -1\). In the single-resonator case, \({\widehat{\mathcal {C}}}^\alpha \) is just a scalar \({\widehat{\mathcal {C}}}^\alpha = \lambda _1^\alpha \). It follows from Proposition 3.7 that any eigenvalue \(\omega \) satisfies \(\eta T^0(\omega ) = 1\); in other words that
We let \(\omega _* = \max \limits _{\alpha \in Y^*}\sqrt{\lambda _1^\alpha }\). For \(\omega > \omega _*\), it is clear that \(T^0(\omega ) >0\). Therefore, there are no solutions in the case \(\eta \le 0\). Moreover,
Therefore, if \(\eta >0\), there is a solution \(\omega =\omega _0\) of (4.2). In other words, the defect induces an eigenvalue \(\omega _0^2\) in the pure-point spectrum of \(\mathfrak {B}\mathfrak {C}\), corresponding to an exponentially localized eigenmode.
The expected localized eigenmode is shown in Fig. 3a for a finite system of 31 circular resonators. Here, the capacitance matrix was numerically computed using the multipole expansion method. This method relies on the fact that solutions to the Helmholtz equation on radially symmetric domains can be expressed concisely using Bessel functions for two-dimensional problems (and spherical harmonics for spherically symmetric domains in three dimensions). Hence, a discrete version of the operator \(\mathcal {S}_D^\alpha \) can be obtained by considering a truncated (finite) subset of this basis and using appropriate addition theorems to handle the lattice sums. This was explained in detail in [5, Appendix A] for the three-dimensional case and in [2, Appendix A] for the two-dimensional case. Finally, it is straightforward to implement Definition 3.1 by calculating the inverse operator and integrating over the boundaries to obtain the capacitance coefficients \({\widehat{C}}^\alpha \). The software used to produce the examples presented in this work is available open source online.Footnote 1
4.2 Double defect
Next, we continue with the case \(N=1\) but now assume that there are two defects at the resonators corresponding to \(m=0\) and \(m=M\);
for some parameters \(\eta _1,\eta _2\ne 0\). In this case, the localized modes are characterized by the Toeplitz matrix formulation
where
In other words, we are solving the equation
We observe that
so we seek the solutions \(\omega \) to
In Fig. 4 we show the resonant frequencies of defect modes in a system with two defects. These are obtained by solving (4.4) for \(\eta _1=\eta _2=\eta \) and varying either \(\eta \) or the separation distance M. We see that for any \(\eta >0\) there is at least one localized eigenmode. If either M or \(\eta \) is small, then there is only one solution, as the hybridization means the smaller solution is not greater than the maximum of the Bloch band so there is no localized eigenmode. For any fixed \(\eta \) there is a critical minimum value \(M_{\text {sep}}\) of M in order for two localized eigenmodes to exist. In Fig. 4c we show the relation between the critical values for the distance M and the perturbation strength \(\eta \).
4.2.1 Level repulsion in a two-defect structure
In Fig. 5 we model the resonant frequencies of a system with two random defects. In particular, we assume that the values of \(\eta _1\) and \(\eta _2\) are drawn independently from the uniform distribution \(U[\mu -\sqrt{3}\sigma ,\mu +\sqrt{3}\sigma ]\). We see that for small \(\sigma \) there are still two localized modes, however for larger values of \(\sigma \) the eigenfrequencies can be be lost into the spectral band. Nevertheless, looking at Fig. 5b we see that the introduction of random perturbations causes the average value of each mid-gap frequency to move further apart (and further from the edge of the band gap). This is the phenomenon of level repulsion. One consequence of this is that the eigenmodes, on average, become more strongly localized as the variance \(\sigma ^2\) increases (since the strength of the localization increases when the resonant frequency is further from the edge of the band gap).
Another consequence of level repulsion is that the existence of localized modes is much more robust in the case of two defects than in the case of a single defect. Figure 6a shows the probability of at least one localized eigenmode existing for three different cases: a single defect, a double defect with small separation distance \(M=1\) and a double defect with larger separation distance \(M=6\). The defects are uniformly distributed with means chosen to normalize the distributions in the sense that the largest defect frequency when \(\sigma =0\) is the same in all three cases (\(\omega =0.198\)). We see that the probability of localization drops off quickly for a single defect. When \(\sigma =0.1\), the probability of localization for a single defect is 65.6%, compared to 93.6% for the double defect with small separation distance and 99.3% when the separation distance is larger. The intuitive explanation for the difference between the two double defect cases is that the larger distance causes the two localized eigenfrequencies to be closer together in the deterministic case of \(\sigma =0\), meaning that they interact with one another more strongly so the level repulsion has a greater effect. When at least one localized eigenmode exists, the distributions of the largest localized eigenvalue, shown in Fig. 6b, are similar in all three cases.
4.2.2 Phase transition and eigenmode symmetry swapping
Analogously to Fig. 4a and 7a shows the two localized frequencies, but here in the case \(M=2\). When M is even, the two curves will intersect (here around \(\eta \approx 0.21\)), corresponding to a doubly degenerate frequency. Crucially, this is a transition point whereby the symmetries of the corresponding eigenmodes swap. Below the transition point, the first mode has dipole (odd) symmetry while the second mode has monopole (even) symmetry; above the transition point the first mode has monopole (even) symmetry while the second mode has dipole (odd) symmetry.
We now study the degree of localization around this transition point. Throughout, we define the degree of localization l(u) of an eigenmode \(u\in \ell ^2(\Lambda ^N,\mathbb {C}^N)\) as
We remark that \(0<l(u) \le 1\): small l(u) corresponds to a delocalized mode while \(l(u) = 1\) corresponds to a mode which is perfectly localized to a single resonator.
In Fig. 7b we plot the average degree of localization when the parameters are drawn independently from \(\mathcal {U}[\eta -\sqrt{3}\sigma , \eta +\sqrt{3}\sigma ]\) for \(\sigma = 10^{-4}\). The plot shows a sharp peak at the transition point; a remarkably high degree of localization is achieved even when the variance is small. This can be understood as a decoupling of the (otherwise coupled) modes, which, at the transition point, become concentrated to the individual defects as opposed to both defects.
For higher values of \(\sigma \), we expect to achieve a strong degree of localization for a larger range of \(\eta \). As seen in Fig. 7c, there is a region in the \(\eta \)-\(\sigma \)-plane where we achieve optimal localization. When \(\eta \) is large relative to \(\sigma \), the modes will couple and the degree of localization is low. When \(\sigma \) is large relative to \(\eta \), we are in a regime with, on average, only a single localized mode and a low degree of localization.
4.3 Many defects
The motivation for the above analyses of systems with one or two local defects is to be able to infer properties of fully random systems, which will be studied in Sect. 5. To further this analysis, we again assume that \(N=1\) and consider a system with \(N_d\) independent defects. That is, we assume that
for some parameters \(\eta _1,\dots ,\eta _{N_d}\ne 0\). In this case, we can use the Toeplitz matrix formulation from before to see that the localized modes are characterized by the equation
where \(\mathcal {A}_{\mathcal{H}\mathcal{T}}(\omega ) \) is the \(N_d\times N_d\) matrix given by
We can solve the system (4.7) to find the localized modes for a system of \(N_d\) defects. In Fig. 8 we show how the number of localized modes varies as the number of defects \(N_d\) increases. The number of localized modes is normalized by dividing by the number of defects \(N_d\), to give a measure of the density of localized modes (the number of defects is proportional to the length of the part of the resonator chain that contains the defects, which has length \(N_dM\)). Different values of M and \(\sigma \) are compared. In all cases, we observe that as \(N_d\) becomes large the system appears to converge to a state whereby between \(30\%\) and \(50\%\) of the modes are localized.
5 Fully Random Parameter Distribution
Here we adopt the setting of Sect. 4 but additionally assume that all parameters \(b_i^m\) are randomly distributed. We assume that
where \(\mathfrak {H}\) is a diagonal operator. Here, we take \(\eta _i^m\) to be independent and uniformly distributed on \([-\sqrt{3},\sqrt{3}]\). In order to guarantee that the material parameters remain positive, we require \(\sigma < \frac{1}{\sqrt{3}}\).
Localized modes are characterized by the equation
In other words, we have characterized the problem in terms of the spectral problem for a random perturbation of a discrete operator. We emphasize that the unperturbed part of the operator, namely \(\mathfrak {C}\), is a dense matrix, whose off-diagonal terms describe long-range interactions with slow decay like \(1/|i-j|\). Additionally, the perturbation \(\sigma \mathfrak {H}\mathfrak {C}\) is also a dense matrix, containing random perturbations to both the diagonal- and off-diagonal terms. These two properties make the problem considerably more challenging than Anderson’s original model, and precise statements on the spectrum of \(\mathfrak {C}+ \sigma \mathfrak {H}\mathfrak {C}\) are generally beyond reach.
5.1 Band structure and emergence of localized modes
In Fig. 9, we show the numerically computed density of states, along with the average degree of localization. Here, we take a chain of equally spaced resonators, which in the case \(\sigma = 0\) has a single spectral band. Localized modes emerge as \(\sigma \) becomes nonzero, whose frequencies lie around the edge of the spectral band. Increasing \(\sigma \) leads to more localized modes and a stronger degree of localization.
Next, we turn to the case \(N=2\), for which the density of states is shown in Fig. 10. Here, we take a chain of “dimers”, i.e. a chain of resonators with alternating, unequal, separation distance, as depicted in Fig. 2d. In the case \(\sigma = 0\), which was studied extensively in [5], we have two spectral bands separated by a band gap. For small but nonzero \(\sigma \), the band gap persists and localized modes emerge at either edge of the bands. Increasing \(\sigma \) further, more modes become localized and the band-gap structure disappears.
5.2 Level repulsion in the fully random case
Many of the arguments presented in this work involve the principle of level repulsion: that eigenvalues would tend to separate when increasingly large random errors are added. This was demonstrated in the double defect case in Fig. 5b. We can also study the level repulsion in a finite chain of equally spaced resonators. In particular, Fig. 11a shows that the average separation increases as the perturbation strength \(\sigma \) increases. We also show the distributions of the separations for two specific values of \(\sigma \) in Fig. 11b, c. In Fig. 11b, the perturbations are so small that this distribution is (visually) the same as that of the unperturbed structure. In Fig. 11c, the larger perturbations have affected the shape of the distribution. A distribution of the form \(\exp (-x)\) is shown, for comparison, which is also seen in other randomly perturbed spectral problems (see e.g. Figs. 2 and 3 of [13]). It is worth noting that much of the standard theory of eigenvalues of random matrices is not useful in this case. First, we are making a very specific choice of unperturbed structure, which is periodic and has spectral structure (which is the main factor determining the distribution in Fig. 11b). Additionally, the random perturbations are encoded in the diagonal matrix \(\mathfrak {H}\), such that the entries of \(\mathfrak {C}+ \sigma \mathfrak {H}\mathfrak {C}\) are not independent from one another (entries in the same row have non-zero covariance).
6 Conclusions
This work casts new light on the phenomenon of Anderson localization in systems with long-range interactions. Leveraging recent breakthroughs in high-contrast coupled-resonator theory, we have framed the key properties of this exotic phenomenon in terms of simple formulas and elementary physical principles.
Using the generalized capacitance formulation, we have described Anderson localization in systems of high-contrast subwavelength resonators. Starting from first principles, we derived a discrete asymptotic approximation of the resonant states of the high-contrast Helmholtz problem. This takes the form of a discrete operator with long-range off-diagonal terms and a multiplicative perturbation factor. This can be reduced to a simple linear system in the case of compact defects, yielding exact formulas which reveal the fundamental mechanisms of subwavelength localization and explain the phenomena observed in random systems. Specifically, we characterized the localization in terms of level repulsion, which causes the eigenfrequencies to spread and corresponding modes to become localized. Additionally, we were able to identify a phase transition as an eigenmode swapping event and show that, at this phase transition, strong localization is achievable with an exceptionally small random perturbation. Finally, we studied fully random systems, where localized modes emerge around any edge of the band functions of the unperturbed structure and have properties that can be understood using our earlier results on compact defects.
Data availability
The code used in this study is available at https://doi.org/10.5281/zenodo.6577767. No datasets were generated or analysed during the current study.
References
Aizenman, M., Molchanov, S.: Localization at large disorder and at extreme energies: an elementary derivation. Commun. Math. Phys. 157(2), 245–278 (1993)
Ammari, H., Davies, B.: Mimicking the active cochlea with a fluid-coupled array of subwavelength Hopf resonators. Proc. R. Soc. A 476(2234), 20190870 (2020)
Ammari, H., Davies, B., Hiltunen, E.O.: Functional Analytic Methods for Discrete Approximations of Subwavelength Resonator Systems. arXiv preprint arXiv:2106.12301 (2021)
Ammari, H., Davies, B., Hiltunen, E.O.: Robust edge modes in dislocated systems of subwavelength resonators. J. Lond. Math. Soc. 106(3), 2075–2135 (2022)
Ammari, H., Davies, B., Hiltunen, E.O., Yu, S.: Topologically protected edge modes in one-dimensional chains of subwavelength resonators. J. Math. Pures Appl. 144, 17–49 (2020)
Ammari, H., Fiorani, F., Hiltunen, E.O.: On the validity of the tight-binding method for describing systems of subwavelength resonators. SIAM J. Appl. Math. 82(4), 1611–1634 (2022)
Ammari, H., Fitzpatrick, B., Hiltunen, E.O., Yu, S.: Subwavelength localized modes for acoustic waves in bubbly crystals with a defect. SIAM J. Appl. Math. 78(6), 3316–3335 (2018)
Ammari, H., Fitzpatrick, B., Lee, H., Yu, S., Zhang, H.: Subwavelength phononic bandgap opening in bubbly media. J. Differ. Equ. 263(9), 5610–5629 (2017)
Ammari, H., Hiltunen, E.O.: Edge Modes in Active Systems of Subwavelength Resonators. arXiv preprint arXiv:2006.05719 (2020)
Ammari, H., Hiltunen, E.O., Yu, S.: Subwavelength guided modes for acoustic waves in bubbly crystals with a line defect. J. Eur. Math. Soc. 24(7), 2279–2313 (2022)
Anderson, P.W.: Absence of diffusion in certain random lattices. Phys. Rev. 109(5), 1492 (1958)
Billy, J., Josse, V., Zuo, Z., Bernard, A., Hambrecht, B., Lugan, P., Clément, D., Sanchez-Palencia, L., Bouyer, P., Aspect, A.: Direct observation of Anderson localization of matter waves in a controlled disorder. Nature 453(7197), 891–894 (2008)
Brody, T.A., Flores, J., French, J.B., Mello, P.A., Pandey, A., Wong, S.S.M.: Random-matrix physics: spectrum and strength fluctuations. Rev. Mod. Phys. 53(3), 385 (1981)
Carmona, R.: Exponential localization in one dimensional disordered systems. Duke Math. J. 49(1), 191–213 (1982)
Crane, T., Trojak, O.J., Vasco, J.P., Hughes, S., Sapienza, L.: Anderson localization of visible light on a nanophotonic chip. ACS Photonics 4(9), 2274–2280 (2017)
Davies, B., Lou, Y.: Landscape of wave focusing and localization at low frequencies. Stud. Appl. Math. (2023). https://doi.org/10.1111/sapm.12659
Figotin, A., Klein, A.: Localization of electromagnetic and acoustic waves in random media. Lattice models. J. Stat. Phys. 76(3), 985–1003 (1994)
Filoche, M., Mayboroda, S.: Universal mechanism for Anderson and weak localization. Proc. Natl. Acad. Sci. U. S. A. 109(37), 14761–14766 (2012)
Fouque, J.-P., Garnier, J., Papanicolaou, G., Solna, K.: Wave Propagation and Time Reversal in Randomly Layered Media, Volume 56 of Stochastic Modelling and Applied Probability. Springer Science & Business Media, Cham (2007)
Fröhlich, J., Martinelli, F., Scoppola, E., Spencer, T.: Constructive proof of localization in the Anderson tight binding model. Commun. Math. Phys. 101(1), 21–46 (1985)
Fröhlich, J., Spencer, T.: Absence of diffusion in the Anderson tight binding model for large disorder or low energy. Commun. Math. Phys. 88(2), 151–184 (1983)
Herzig Sheinfux, H., Kaminer, I., Genack, A.Z., Segev, M.: Interplay between evanescence and disorder in deep subwavelength photonic structures. Nat. Commun. 7(1), 1–9 (2016)
Ishimaru, A.: Wave Propagation and Scattering in Random Media. Academic Press, New York (1978)
Jenkins, S.D., Papasimakis, N., Savo, S., Zheludev, N.I., Ruostekoski, J.: Strong interactions and subradiance in disordered metamaterials. Phys. Rev. B 98(24), 245136 (2018)
Kuchment, P.: An overview of periodic elliptic operators. Bull. Am. Math. Soc. 53(3), 343–414 (2016)
Lagendijk, A., Van Tiggelen, B., Wiersma, D.S.: Fifty years of Anderson localization. Phys. Today 62(8), 24–29 (2009)
Mehta, M.L.: Random Matrices and the Statistical Theory of Energy Levels. Academic Press, Boston (1967)
Minnaert, M.: On musical air-bubbles and the sounds of running water. Philos. Mag. 16(104), 235–248 (1933)
Nandkishore, R.M., Sondhi, S.L.: Many-body localization with long-range interactions. Phys. Rev. X 7(4), 041021 (2017)
Segev, M., Silberberg, Y., Christodoulides, D.N.: Anderson localization of light. Nat. Photonics 7(3), 197–204 (2013)
Sheinfux, H.H., Lumer, Y., Ankonina, G., Genack, A.Z., Bartal, G., Segev, M.: Observation of Anderson localization in disordered nanophotonic structures. Science 356(6341), 953–956 (2017)
Torres-Herrera, E.J., Méndez-Bermúdez, J., Santos, L.F.: Level repulsion and dynamics in the finite one-dimensional Anderson model. Phys. Rev. E 100(2), 022142 (2019)
Acknowledgements
The work of HA was partly funded by the Swiss National Science Foundation grant number 200021-200307. The work of BD was partly funded by the EC-H2020 FETOpen project BOHEME under grant agreement 863179. The work of EOH was partially supported by the Simons Foundation Award No. 663281 granted to the Institute of Mathematics of the Polish Academy of Sciences for the years 2021–2023.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Hairer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ammari, H., Davies, B. & Hiltunen, E.O. Anderson Localization in the Subwavelength Regime. Commun. Math. Phys. 405, 1 (2024). https://doi.org/10.1007/s00220-023-04880-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-023-04880-w