Mathematical Foundations of the Non-Hermitian Skin Effect

Abstract

We study the skin effect in a one-dimensional system of finitely many subwavelength resonators with a non-Hermitian imaginary gauge potential. Using Toeplitz matrix theory, we prove the condensation of bulk eigenmodes at one of the edges of the system. By introducing a generalised (complex) Brillouin zone, we can compute spectral bands of the associated infinitely periodic structure and prove that this is the limit of the spectra of the finite structures with arbitrarily large size. Finally, we contrast the non-Hermitian systems with imaginary gauge potentials considered here with systems where the non-Hermiticity arises due to complex material parameters, showing that the two systems are fundamentally distinct.

Introduction

Understanding the skin effect in non-Hermitian physical systems has been one of the hottest research topics in recent years [1–7]. The skin effect is the phenomenon whereby the bulk eigenmodes of a non-Hermitian system are all localised at one edge of an open chain of resonators. This phenomenon is unique to non-Hermitian systems with non-reciprocal coupling. It has been realised experimentally in topological photonics, phononics, and other condensed matter systems [8–11]. By introducing an imaginary gauge potential, all the bulk eigenmodes condensate in the same direction [4, 12, 13]. This has deep implications for the fundamental physics of the system. For example, the non-Hermitian skin effect means that the conventional bulk-edge correspondence principle is violated.

In this paper, we study the non-Hermitian skin effect in a deep subwavelength regime using first-principles mathematical analysis. The ultimate goal of subwavelength wave physics is to manipulate waves at subwavelength scales. Recent breakthroughs, such as the emergence of the field of metamaterials, have allowed us to do this in a way that is robust and that beats traditional diffraction limits. Here, we consider one-dimensional systems of high-contrast subwavelength resonators as a demonstrative setting to develop a mathematical and numerical framework for the non-Hermitian skin effect in the subwavelength regime.

We consider finite chains of subwavelength resonators with an imaginary gauge potential supported inside the resonators. This imaginary gauge potential is realised by adding an additional first-order term to the classical Helmholtz differential problem (the $\gamma$-term in the system of Eq. 4). It is worth emphasizing that the $\gamma$-term is added only inside the subwavelength resonators, which are much smaller than the operating wavelength. Without exciting the structure’s subwavelength resonances, the effect of the $\gamma$-term would be negligible. Using an asymptotic methodology that was previously developed for Hermitian systems [14, 15], we can approximate the subwavelength eigenfrequencies and eigenmodes of a finite chain of resonators by the eigenvalues of a matrix, which we call the gauge capacitance matrix. When $\gamma =0$, this capacitance matrix reduces to the capacitance matrix previously derived for Hermitian systems of subwavelength resonators [15, 16]. This traditional capacitance matrix was originally developed to model the analogous many-body problem in the setting of electrostatics [17, 18]. Given this matrix formulation, we can use the well-established theory of tridiagonal Toeplitz matrices and operators to prove the condensation of eigenmodes at one of the edges of the finite chain.

Using established spectral theory for tridiagonal Toeplitz matrices, we will show the topological origins of the non-Hermitian skin effect. That is, we will demonstrate the condensation of the eigenmodes. As a consequence of the condensation of the eigenmodes, the imaginary gauge potential leads to a mismatch between the eigenvalues of a finite chain and the band structure of the associated infinite periodic structure, when the band structure is computed over the standard Brillouin zone (as used for Hermitian problems). However, the correspondence between the spectra of finite and infinite structures can be understood if the spectral bands of the infinite periodic structure are computed over the complex plane, in the sense that the quasiperiodicities must be allowed to be complex [19]. The eigenmodes behave as Bloch waves with a complex wave number, with the imaginary part describing the exponential spatial decay of the amplitude. We will show in Theorem 4.8 that the generalised Brillouin zone introduced in (40) gives the correct description of the limiting problem.

Although the spectrum of the infinite periodic problem computed over the standard Brillouin zone does not provide the correct approximation of the spectrum of a finite resonator chain, the problem is nonetheless insightful to investigate in its own right. We will consider exceptional points where eigenvalues and eigenvectors coincide and the quasiperiodic gauge capacitance matrix is not diagonalisable [20] and prove their existence for periodic dimer structures at the edges of the Brillouin zone. We will also show that the set of exceptional points in terms of the separating distance between the two identical resonators (which constitutes the dimer) in the unit cell separates two different phases described by different values of the winding number of the eigenvalues, which is known as the vorticity.

The imaginary gauge potential considered here is not the only way to break the Hermiticity of a system of subwavelength resonators. This is also achieved by making the material parameters complex valued, corresponding to sources of energy gain or loss in the system. An important class are PT-symmetric systems, which satisfy a combination of time-reversal and inversion symmetry. They inspired a plethora of explorations in topological photonics and phononics and their mathematical foundations [20–23]. Based on the contrast with the previous work [20, 24], it is natural to divide non-Hermitian systems into two classes depending on whether they can be reduced to Hermitian systems through an imaginary gauge transformation. If such reduction is possible (which we examine in Appendix D), the eigenmodes will be closely approximated by Bloch modes over the standard Brillouin zone, and the vorticity will vanish. This means, on the one hand, that vorticity can be considered as a topological indicator of the appearance of the skin effect and, secondly, that the spectral convergence of large structures with vanishing vorticity can be understood using the standard approaches for Hermitian systems, based on computations over the standard Brillouin zone [25]. Conversely, in the setting considered in this work, this convergence does not hold as the system is fundamentally distinct from any Hermitian system. The current work is the first to establish the convergence theory when such reduction is not possible and the eigenmodes are described through the generalised (complex) Brillouin zone.

The rest of this paper is organised as follow: in Sect. 2 we present the mathematical setup of the problem and derive an asymptotic approximation of the subwavelength eigenfrequencies and their associated eigenmodes. These are accurately approximated by the spectrum of the gauge capacitance matrix. Section 3 is dedicated to the mathematical analysis of the skin effect. The condensation of the eigenmodes is proved and the non-uniform distribution of the subwavelength eigenfrequencies is illustrated. Section 4 studies the infinite periodic case. In Sect. 4.1 we first take the quasiperiodicities to be real. We show that using the standard Brillouin zone does not lead to the correct modeling of the limit of the set of subwavelength eigenfrequencies as the size of the system goes to infinity. Nevertheless, the band functions over the standard Brillouin zone are used to define the vorticity, which we show that it is non-trivial in the current setting. Such topological invariant can be used as an indicator of the skin effect since it is trivial for other non-Hermitian structures obtained by taking the material parameters inside the subwavelength resonators complex. In Sect. 4.2, we introduce the generalised (complex) Brillouin zone and prove the convergence of the subwavelength eigenfrequencies of a finite system to the bands of the corresponding infinitely periodic structure computed over the generalised Brillouin zone. In Appendix A we summarise the well-established theory of Toeplitz matrices and operators, while in Appendix B we present some additional numerical results for finite dimer systems with imaginary gauge potentials. In Appendix C we show how to obtain a generalised discrete Brillouin zone for different dimer systems. Finally, in Appendix D we show that systems with non-Hermiticity arising from complex material parameters can be described in the limit when their sizes go to infinity by bands of corresponding infinitely periodic structures computed over the standard Brillouin zone.

Preliminaries

We consider a one-dimensional chain of N disjoint subwavelength resonators $D_i:=(x_i^{\mathsf{L}},x_i^{\mathsf{R}})$, where ${(x_i^{\mathsf{L},\mathsf{R}})}_{1\le i\le N}\subset \mathbb{R}$ are the 2N extremities satisfying $x_i^{\mathsf{L}}<x_i^{\mathsf{R}}<x_{i+1}^{\mathsf{L}}$ for any $1\le i\le N$. We fix the coordinates such that $x_1^{\mathsf{L}}=0$. We also denote by ${\ell }_i=x_i^{\mathsf{R}}-x_i^{\mathsf{L}}$ the length of the i-th resonators, and by $s_i=x_{i+1}^{\mathsf{L}}-x_i^{\mathsf{R}}$ the spacing between the i-th and $(i+1)$-th resonator. The system is illustrated in Fig. 1. We will use

$$\begin{array}{c}\hfill D:=\bigcup _{i=1}^N(x_i^{\mathsf{L}},x_i^{\mathsf{R}})\end{array}$$

to symbolise the set of subwavelength resonators.

Fig. 1.

A chain of N subwavelength resonators, with lengths ${({\ell }_i)}_{1\le i\le N}$ and spacings ${(s_i)}_{1\le i\le N-1}$

As a scalar wave field u(t, x) propagates in a heterogeneous medium, it satisfies the following one-dimensional wave equation:

$$\begin{array}{c}\hfill \frac{1}{\kappa (x)}\frac{\partial _{}^2}{\partial t^2}u(t,x)-\frac{\partial }{\partial x}\left(\frac{1}{\rho (x)},\frac{\partial }{\partial x},u,(t,x)\right)=0,(t,x)\in \mathbb{R}\times \mathbb{R}.\end{array}$$

The parameters $\kappa (x)$ and $\rho (x)$ are the material parameters of the medium. We consider piecewise constant material parameters

where the constants ${\rho }_b,\rho ,\kappa ,{\kappa }_b\in {\mathbb{R}}_{>0}$. The wave speeds inside the resonators D and inside the background medium $\mathbb{R}\backslash D$, are denoted respectively by $v_b$ and v, the wave numbers respectively by $k_b$ and k, and the contrast between the densities of the resonators and the background medium by $\delta$:

$$\begin{array}{c}\hfill v_b:=\sqrt{\frac{{\kappa }_b}{{\rho }_b}},v:=\sqrt{\frac{\kappa }{\rho }},k_b:=\frac{\omega }{v_b},k:=\frac{\omega }{v},\delta :=\frac{{\rho }_b}{\rho }.\end{array}$$ 1

Up to using a Fourier decomposition in time, we can assume that the total wave field u(t, x) is time-harmonic,

$$\begin{array}{c}\hfill u(t,x)=\Re (e^{-\mathbf{i}\omega t}u(x)),\end{array}$$

for a function u(x) which solves the one-dimensional Helmholtz equations:

$$\begin{array}{c}\hfill -\frac{{\omega }^2}{\kappa (x)}u(x)-\frac{\text{d}}{\text{d}x}\left(\frac{1}{\rho (x)},\frac{\text{d}}{\text{d}x},u,(x)\right)=0,x\in \mathbb{R}.\end{array}$$ 2

In this work, we will consider the variation of (2),

$$\begin{array}{c}\hfill -\frac{{\omega }^2}{\kappa (x)}u(x)-\gamma (x)\frac{\text{d}}{\text{d}x}u(x)-\frac{\text{d}}{\text{d}x}\left(\frac{1}{\rho (x)},\frac{\text{d}}{\text{d}x},u,(x)\right)=0,x\in \mathbb{R},\end{array}$$ 3

for a piecewise constant coefficient

This new parameter $\gamma$ extends the usual scalar wave equation to a generalised Strum–Liouville equation via the introduction of an imaginary gauge potential [26]. Alternatively, one may think about (3) as a damped wave equation where the damping acts in the space dimension instead of the time dimension.

In these circumstances of piecewise constant material parameters, the wave problem determined by (3) can be rewritten as the following system of coupled one-dimensional equations:

4

where for a one-dimensional function w, we denote by

$$\begin{array}{c}\hfill {w|}_{\mathsf{L}}(x):=\underset{\begin{array}{c}s\to 0\\ s>0\end{array}}{lim}{w(x-s)\text{and}w|}_{\mathsf{R}}(x):=\underset{\begin{array}{c}s\to 0\\ s>0\end{array}}{lim}w(x+s)\end{array}$$

if the limits exist.

We are interested in the resonances $\omega \in \mathbb{C}$ such that (4) has a non-trivial solution. We will perform an asymptotic analysis in a high-contrast limit, given by $\delta \to 0$. We will look for the subwavelength modes within this regime, which we characterise by satisfying $\omega \to 0$ as $\delta \to 0$. This limit will recover subwavelength resonances, while keeping the size of the resonators fixed.

In all what follows we will denote by $H^1(D)$ the usual Sobolev spaces of complex-valued functions on D.

Definition 2.1

(Subwavelength eigenfrequency) A (complex) frequency $\omega (\delta )\in \mathbb{C}$, with a non-negative real part, satisfying

$$\begin{array}{c}\hfill \omega (\delta )\to 0\text{as}\delta \to 0,\end{array}$$ 5

and such that (4) admits a non-zero solution $v(\omega ,\delta )\in H^1(D)$ for $\omega =\omega (\delta )$, is called a subwavelength eigenfrequency. The solution $v(\omega ,\delta )$ is called a subwavelength eigenmode.

We can immediately see that $\omega =0$, is a trivial solution to (4) corresponding to an eigenmode which is constant across all the resonators. In what follows, we will restrict attention to other solutions of (4).

The use of the Dirichlet-to-Neumann map has proven itself to be an effective tool to find solutions to (4) that lend themselves to asymptotic analysis in the high-contrast regime. Hereafter, we will adapt the methods of [15] to (4).

The first step is to solve the outer problem

6

for some boundary data $f_i^{\mathsf{L},\mathsf{R}}\in {\mathbb{C}}^{2N}$. Its solution is simply given by

7

where $a_i$ and $b_i$ are given by

$$\begin{array}{c}\hfill \left(\begin{array}{c}{a}_i\\ b_i\end{array}\right)=-\frac{1}{2\mathbf{i}sin(k{s}_i)}\left(\begin{array}{cc}{e}^{-\mathbf{i}k{x}_{i+1}^{\mathsf{L}}}& -e^{-\mathbf{i}k{x}_i^{\mathsf{R}}}\\ -e^{\mathbf{i}k{x}_{i+1}^{\mathsf{L}}}& e^{\mathbf{i}k{x}_i^{\mathsf{R}}}\end{array}\right)\left(\begin{array}{c}{f}_i^{\mathsf{R}}\\ f_{i+1}^{\mathsf{L}}\end{array}\right),\end{array}$$

as shown in [15, Lemma 2.1]. The second and harder step is to combine the expression for the outer solution (7) with the boundary conditions in order to find the full solution. We will handle this information through the Dirichlet-to-Neumann map.

Definition 2.2

(Dirichlet-to-Neumann map) For any $k\in \mathbb{C}$ which is not of the form $n\pi /s_i$ for some $n\in \mathbb{Z}\backslash \{0\}$ and $1\le i\le N-1$, the Dirichlet-to-Neumann map with wave number k is the linear operator ${\mathcal{T}}^k:{\mathbb{C}}^{2N}\to {\mathbb{C}}^{2N}$ defined by

$$\begin{array}{c}\hfill {\mathcal{T}}^k[{(f_i^{\mathsf{L},\mathsf{R}})}_{1\le i\le N}]={\left(\pm ,\frac{\text{d}w}{\text{d}x},(x_i^{\mathsf{L},\mathsf{R}})\right)}_{1\le i\le N},\end{array}$$

where w is the unique solution to (6).

We refer to [15, Section 2] for a more extensive discussion of this operator, but recall that ${\mathcal{T}}^k$ has a block-diagonal matrix representation

$$\begin{array}{c}\hfill T^k\left(\begin{array}{c}{f}_1^{\mathsf{L}}\\ f_1^{\mathsf{R}}\\ ⋮\\ f_N^{\mathsf{L}}\\ f_N^{\mathsf{R}}\end{array}\right)=\left(\begin{array}{cccccc}\mathbf{i}k& & & & & \\ & A^k(s_1)& & & & \\ & & A^k(s_2)& & & \\ & & & \ddots & & \\ & & & & A^k(s_{(N-1)})& \\ & & & & & \mathbf{i}k\\ \end{array}\right)\left(\begin{array}{c}{f}_1^{\mathsf{L}}\\ f_1^{\mathsf{R}}\\ ⋮\\ f_N^{\mathsf{L}}\\ f_N^{\mathsf{R}}\end{array}\right),\end{array}$$ 8

where, for any real $\ell \in \mathbb{R}$, $A^k(\ell )$ denotes the $2\times 2$ symmetric matrix given by

$$\begin{array}{c}\hfill A^k(\ell ):=\left(\begin{array}{cc}-{\displaystyle \frac{kcos(k\ell )}{sin(k\ell )}}& {\displaystyle \frac{k}{sin(k\ell )}}\\ {\displaystyle \frac{k}{sin(k\ell )}}& -{\displaystyle \frac{kcos(k\ell )}{sin(k\ell )}}\end{array}\right).\end{array}$$ 9

Consequently, $T^k$ is holomorphic in k in a neighbourhood of the origin and admits a power series representation $T^k={\sum }_{n\ge 0}{k}^n{T}_n$, where

$$\begin{array}{c}\hfill T_0=\left(\begin{array}{cccccc}0& & & & & \\ & A^0(s_1)& & & & \\ & & A^0(s_2)& & & \\ & & & \ddots & & \\ & & & & A^0(s_{(N-1)})& \\ & & & & & 0\\ \end{array}\right),\end{array}$$ 10

and $A^0(s):={lim}_{k\to 0}{A}^k(s)$.

The above properties of the Dirichlet-to-Neumann map will be crucial to find subwavelength eigenfrequencies. We will use ${\mathcal{T}}^k$ and $T^k$ interchangeably.

Characterisation of the Subwavelength Eigenfrequencies

The Dirichlet-to-Neumann map allows us to reformulate (4) as follows:

11

We can then further rewrite (11) in weak form by multiplying it by a test function $w\in H^1(D)$ and integrating on the intervals. Explicitly, we obtain that u is solution to (11) if and only if

$$\begin{array}{c}\hfill a(u,w)=0\end{array}$$ 12

for any $w\in H^1(D)$, where

$$\begin{array}{cc}\hfill a(u,w)& =\sum _{i=1}^N{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{u}^{\prime }{\overline{w}}^{\prime }-\gamma u^{\prime }\overline{w}-\frac{{\omega }^2}{v_b^2}u\overline{w}\text{d}x\hfill \\ \hfill & -\delta \sum _{i=1}^N\overline{w}(x_i^{\mathsf{R}}){\mathcal{T}}^{\frac{\omega }{v}}{[u]}_i^{\mathsf{R}}+\overline{w}(x_i^{\mathsf{L}}){\mathcal{T}}^{\frac{\omega }{v}}{[u]}_i^{\mathsf{L}}.\hfill \end{array}$$ 13

We also introduce a slightly modified bilinear form

$$\begin{array}{cc}\hfill a_{\omega ,\delta }(u,w)& =\sum _{i=1}^N\left({\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},u^{\prime },{\overline{w}}^{\prime },-,\gamma ,u^{\prime },\overline{w},\text{d},,x,+,{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},u,\text{d},,x,{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},\overline{w},\text{d},,x\right)\hfill \\ \hfill & -\sum _{i=1}^N\left({\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},\frac{{\omega }^2}{v_b^2},u,\overline{w},\text{d},,x,+,\delta ,\left(\overline{w},(x_i^{\mathsf{R}}),{\mathcal{T}}^{\frac{\omega }{v}},{[u]}_i^{\mathsf{R}},+,\overline{w},(x_i^{\mathsf{L}}),{\mathcal{T}}^{\frac{\omega }{v}},{[u]}_i^{\mathsf{L}}\right)\right).\hfill \end{array}$$ 14

This new form parametrised by $\omega$ is an analytic perturbation of the $a_{0,\delta }$ form, which is continuous and its associated variational problem is well-posed on $H^1(D)$ and so $a_{\omega ,\delta }$ inherits this property. Specifically, for every summand of $\Re (a_{0,\delta })$ the following holds for any $\epsilon >0$

$$\begin{array}{cc}& \sum _{i=1}^N\left[{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},u^{\prime },{\overline{u}}^{\prime },\text{d},,x,-,\gamma ,{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},u^{\prime },\overline{u},+,{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},u,\text{d},,x,{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},\overline{u},\text{d},,x\right]\hfill \\ \hfill & \ge \sum _{i=1}^N[\Vert u^{\prime }{\Vert }_{L^2(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}^2-\frac{\epsilon \gamma }{2}\Vert u^{\prime }{\Vert }_{L^2(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}^2-\frac{\gamma }{2\epsilon }{\Vert u\Vert }_{L^2(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}^2+|{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}u\text{d}x{|}^2]\hfill \\ \hfill & =\sum _{i=1}^N[(1-\frac{\gamma \epsilon }{2})\Vert u^{\prime }{\Vert }_{L^2(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}^2-\frac{\gamma }{2\epsilon }{\Vert u\Vert }_{L^2(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}^2+|{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}u\text{d}x{|}^2].\hfill \end{array}$$

From the compactness of the injection of $H^1$ into $L^2$ and $\epsilon$ small enough, it follows that $\Re (a_{0,\delta })$ satisfies a Gårding inequality. On the other hand, it follows from the explicit form (8) of the Dirichlet-to-Neumann operator that

$$\begin{array}{c}\hfill \Im (a_{0,\delta }(u,u))=0,\end{array}$$

implies that u is constant on each $[x_i^{\mathsf{L}},x_i^{\mathsf{R}}]$. But, $\Re (a_{0,\delta }(u,u))=0$ for u constant on each $[x_i^{\mathsf{L}},x_i^{\mathsf{R}}]$ implies that the constants are all zero. Thus one obtains the well-posedness of the associated variational problem.

We exploit this, by defining the $h_j(\omega ,\delta )$ functions as the Lax–Milgram solutions to the variational problem

$$\begin{array}{c}\hfill a_{\omega ,\delta }(h_j(\omega ,\delta ),w)={\int }_{x_j^{\mathsf{L}}}^{x_j^{\mathsf{R}}}\overline{w}\text{d}x\end{array}$$ 15

for every $w\in H^1(D)$ and $1\le j\le N$. In the following lemma we show that the functions $h_j$ allow us to reduce (12) to a finite dimensional $N\times N$ linear system by acting as basis functions.

Lemma 2.3

Let $\omega \in \mathbb{C}$ and $\delta \in \mathbb{R}$ belong to a neighbourhood of zero such that $a_{\omega ,\delta }$ is coercive. The variational problem (12) admits a non-trivial solution $u\equiv u(\omega ,\delta )$ if and only if the $N\times N$ non-linear eigenvalue problem

$$\begin{array}{c}\hfill (I-\mathbf{C}(\omega ,\delta ))\mathit{x}=0\end{array}$$

has a solution $\omega$ and $\mathit{x}:={(x_i(\omega ,\delta ))}_{1\le i\le N}$, where $\mathbf{C}(\omega ,\delta )$ is the matrix given by

$$\begin{array}{c}\hfill \mathbf{C}(\omega ,\delta )\equiv {(\mathbf{C}{(\omega ,\delta )}_{\mathit{ij}})}_{1\le i,j\le N}:={\left({\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},h_j,(\omega ,\delta ),\text{d},,x\right)}_{1\le i,j\le N}.\end{array}$$ 16

Proof

This can be shown using the arguments presented in [15, Lemma 3.4]. $\square$

Subwavelength eigenfrequencies are thus the values $\omega (\delta )$ satisfying (5) for which $I-\mathbf{C}(\omega ,\delta )$ is not invertible.

Discrete Approximation of the Subwavelength Eigenfrequencies and the Gauge Capacitance Matrix

In the high-contrast, low-frequency scattering problems, recent work has shown that capacitance matrices can be used to provide asymptotic characterisations of the resonant modes [14]. Capacitance matrices were first introduced to describe many-body electrostatic systems by Maxwell [17], and have recently enjoyed a resurgence in subwavelength physics. In particular, for one-dimensional models like the one considered here, a capacitance matrix formulation has proven to be very effective in both efficiently solving the problem as well as providing valuable insights in the solution [15, 16]. Therefore, we seek a similar formulation for the case of subwavelength resonators with an imaginary gauge potential.

In the case of systems of Hermitian subwavelength resonators (i.e., when $\gamma =0$), the entries of the capacitance matrix are defined by

$$\begin{array}{c}\hfill {\mathcal{C}}_{i,j}=-{\int }_{\partial D_i}\frac{\partial V_j}{\partial \nu }\text{d}\sigma ,\end{array}$$ 17

where $\nu$ is the outward-pointing normal, $D_i$ the i-th resonator and $V_i:\mathbb{R}\to \mathbb{R}$ the solutions of the problems

18

where ${\delta }_{\mathit{ij}}$ denotes the Kronecker symbol; see [14].

Here, the formulation for the non-Hermitian system (4) is different from the Hermitian case. The following definition is in agreement with the three-dimensional case for the skin effect [27]. We let ${\mathbb{R}}^{\ast }:=\mathbb{R}\backslash \{0\}$.

Definition 2.4

(Gauge capacitance matrix) For $\gamma \in {\mathbb{R}}^{\ast }$, we define the gauge capacitance matrix ${\mathcal{C}}^{\gamma }\in {\mathbb{R}}^{N\times N}$ by

$$\begin{array}{c}\hfill {\mathcal{C}}_{i,j}^{\gamma }:=-\frac{|D_i|}{{\int }_{D_i}{e}^{\gamma x}\text{d}x}{\int }_{\partial D_i}{e}^{\gamma x}\frac{\partial V_j(x)}{\partial \nu }\text{d}\sigma ,\end{array}$$ 19

where $V_j$ is defined by (18).

It is easy to see that the gauge capacitance matrix is tridiagonal, non-symmetric, and is given by

20

while all the other entries are zero.

The following proposition is a central result. It shows that to leading order in $\delta$ the gauge capacitance matrix encodes all the information of subwavelength eigenfrequencies.

Proposition 2.5

Let $\omega \in \mathbb{C}$ and $\delta \in \mathbb{R}$ belong to a small enough neighbourhood of zero. Then, the matrix $\mathbf{C}(\omega ,\delta )$ from (16) has the following asymptotic expansion:

$$\begin{array}{c}\hfill \mathbf{C}(\omega ,\delta )=I+\frac{{\omega }^2}{v_b^2}{V}^{-1}-\delta V^{-1}{\mathcal{C}}^{\gamma }{V}^{-1}+\mathcal{O}({(\omega +\delta )}^2).\end{array}$$ 21

Here,

$$\begin{array}{c}\hfill V=\text{diag}({\ell }_1,\cdots ,{\ell }_N)\end{array}$$ 22

is the volume matrix.

Proof

We need to show that unique solution $h_j(\omega ,\delta )$ with $1\le j\le N$ to the variational problem (12) has the given integral asymptotic behaviour as $\omega ,\delta \to 0$. From the definition of $a_{\omega ,\delta }$, the function $h_j\equiv h_j^{\alpha }(\omega ,\delta )$ satisfies the following differential equation written in strong form

$$\begin{array}{c}\hfill \left\{\begin{array}{c}-h_j^{″}-\gamma h_j^{\prime }-\frac{{\omega }^2}{v_b^2}{h}_j+\sum _{i=1}^N\left({\displaystyle {\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_j\text{d}x}\right)\hfill \\ {\mathbb{1}}_{(x_i^{\mathsf{L}},x_i^{\mathsf{R}})},={\mathbb{1}}_{(x_j^{\mathsf{L}},x_j^{\mathsf{R}})}\hfill & \text{in}\bigcup _{i=1}^N(x_i^{\mathsf{L}},x_i^{\mathsf{R}}),\hfill \\ -\frac{\text{d}{h}_j}{\text{d}x}(x_i^{\mathsf{L}}),=\delta {\mathcal{T}}^{\frac{\omega }{v}}{[h_j]}_i^{\mathsf{L}}\hfill & \text{for all}1\le i\le N,\hfill \\ \frac{\text{d}{h}_j}{\text{d}x}(x_i^{\mathsf{R}})=\delta {\mathcal{T}}^{\frac{\omega }{v}}{[h_j]}_i^{\mathsf{R}}\hfill & \text{for all}1\le i\le N.\hfill \end{array}\right)\end{array}$$ 23

Since ${\mathcal{T}}^{\frac{\omega }{v}}$ is analytic in ${\omega }^2$, it follows that $h_j(\omega ,\delta )$ is analytic in ${\omega }^2$ and $\delta$: there exist functions ${(h_{j,2p,k})}_{p\ge 0,k\ge 0}$ such that $h_j(\omega ,\delta )$ can be written as the following convergent series in $H^1(D)$:

$$\begin{array}{c}\hfill h_j(\omega ,\delta )=\sum _{p,k=0}^{+\infty }{\omega }^{2p}{\delta }^k{h}_{j,2p,k}.\end{array}$$ 24

By using the power series expansion of the Dirichlet-to-Neumann map and identifying powers of $\omega$ and $\delta$, we obtain equations characterising the functions ${(h_{j,2p,k})}_{p\ge 0,k\ge 0}$,

25

with the convention that $h_{j,2p,k}=0$ for negative indices p and k. It can then be easily obtained by induction that

$$\begin{array}{c}\hfill h_{j,2p,0}=\frac{{\mathbb{1}}_{(x_j^{\mathsf{L}},x_j^{\mathsf{R}})}}{v_j^{2p}{\ell }_j^{p+1}}\text{for any}p\ge 0,1\le j\le N.\end{array}$$

Then, for $p=0$ and $k=1$, we find that $h_{j,0,1}$ satisfies

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill -h_{j,0,1}^{″}-\gamma h_{j,0,1}^{\prime }& +\sum _{i=1}^N\left({\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}},h_{j,0,1},,\text{d},,,x\right){\mathbb{1}}_{(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}=0,\hfill & \hfill \text{in}D,\\ \hfill & -\frac{\text{d}{h}_{j,0,1}}{\text{d}x}(x_i^{\mathsf{L}})={\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{L}},\hfill & \hfill \text{for}\text{all}1\le i\le N,\\ \hfill & \frac{\text{d}{h}_{j,0,1}}{\text{d}x}(x_i^{\mathsf{R}})={\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{R}},\hfill & \hfill \text{for}\text{all}1\le i\le N.\\ \hfill \end{array}\right)\end{array}$$ 26

From (10) with $f_i^{\mathsf{L},\mathsf{R}}:=h_{j,0,0}(x_i^{\mathsf{L},\mathsf{R}})={\delta }_{\mathit{ij}}/{\ell }_j$ for $1\le i\le N$, we obtain

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\hfill {\mathcal{T}}_0{[h_{j,0,0}]}_1^{\mathsf{L}}& =0,\hfill & \hfill \\ \hfill {\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{L}}& =-\frac{1}{{\ell }_j}\frac{1}{s_{i-1}}\left({\delta }_{\mathit{ij}},-,{\delta }_{(i-1)j}\right),\hfill & \hfill \text{for}2\le i\le N,\\ \hfill {\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{R}}& =\frac{1}{{\ell }_j}\frac{1}{s_i}\left({\delta }_{(i+1)j},-,{\delta }_{\mathit{ij}}\right),\hfill & \hfill \text{for}1\le i\le N-1,\\ \hfill {\mathcal{T}}_0{[h_{j,0,0}]}_N^{\mathsf{R}}& =0.\hfill & \hfill \end{array}\right)\end{array}$$ 27

The general solution for the ODE

$$\begin{array}{c}\hfill -y^{″}-a{y}^{\prime }+b=0\end{array}$$

is given by

$$\begin{array}{c}\hfill y(x)=\frac{{\kappa }_1{e}^{-ax}}{a}+\frac{\mathit{bx}}{a}+{\kappa }_2\end{array}$$

for two constants ${\kappa }_1$ and ${\kappa }_2$. So the solution to (26) on ${\mathbb{1}}_{(x_i^{\mathsf{L}},x_i^{\mathsf{R}})}$ is given by

$$\begin{array}{c}\hfill h_{j,0,1}=\frac{{\kappa }_1{e}^{-\gamma x}}{\gamma }+\frac{x}{\gamma }{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_{j,0,1}\text{d}x+{\kappa }_2,\end{array}$$

having derivative

$$\begin{array}{c}\hfill \frac{\text{d}}{\text{d}x}{h}_{j,0,1}=-{\kappa }_1{e}^{-\gamma x}+\frac{1}{\gamma }{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_{j,0,1}\text{d}x.\end{array}$$

Imposing the transmission conditions on the derivatives,

$$\begin{array}{c}\hfill -{\kappa }_1{e}^{-\gamma x_i^{\mathsf{L}}}+\frac{1}{\gamma }{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_{j,0,1}\text{d}x=-{\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{L}},\\ \hfill -{\kappa }_1{e}^{-\gamma x_i^{\mathsf{R}}}+\frac{1}{\gamma }{\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_{j,0,1}\text{d}x={\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{R}},\end{array}$$

we obtain a value for the integral

$$\begin{array}{c}\hfill {\int }_{x_i^{\mathsf{L}}}^{x_i^{\mathsf{R}}}{h}_{j,0,1}\text{d}x=\gamma \frac{{\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{R}}{e}^{\gamma {\ell }_i}-{\mathcal{T}}_0{[h_{j,0,0}]}_i^{\mathsf{L}}}{(1-e^{\gamma {\ell }_i})},\end{array}$$

which combined with (27) yields the result after some careful algebraic manipulation. $\square$

The following corollary, whose proof is similar to the analogous results in [16, 28], describes how the gauge capacitance matrix characterises the non-trivial solutions to (4):

Corollary 2.6

(Discrete approximations of the eigenfrequencies and eigenmodes) The N subwavelength eigenfrequencies ${\omega }_i$ satisfy, as $\delta \to 0$,

$$\begin{array}{c}\hfill {\omega }_i=v_b\sqrt{\delta {\lambda }_i}+\mathcal{O}(\delta ),\end{array}$$

where ${({\lambda }_i)}_{1\le i\le N}$ are the eigenvalues of the eigenvalue problem

$$\begin{array}{c}\hfill {\mathcal{C}}^{\gamma }{\mathit{a}}_i={\lambda }_{i}V{\mathit{a}}_i,1\le i\le N.\end{array}$$ 28

Furthermore, let $u_i$ be a subwavelength eigenmode corresponding to ${\omega }_i$ and let ${\mathit{a}}_i$ be the corresponding eigenvector of ${\mathcal{C}}^{\gamma }$. Then

$$\begin{array}{c}\hfill u_i(x)=\sum _j{\mathit{a}}_i^{(j)}{V}_j(x)+\mathcal{O}(\delta ),\end{array}$$

where $V_j$ are defined by (18) and ${\mathit{a}}^{(j)}$ denotes the j-th entry of the eigenvector.

Lemma 2.7

(Properties of the gauge capacitance matrix)

• (i)
  Recall the Hermitian capacitance matrix $\mathcal{C}$, defined in (17). Then, for any $1\le i,j\le N$ it holds that

  $$\begin{array}{c}\hfill \underset{\gamma \to 0}{lim}{\mathcal{C}}_{i,j}^{\gamma }={\mathcal{C}}_{i,j};\end{array}$$
• (ii)
  For equally spaced identical resonators: $s_i=s,{\ell }_i=\ell$ for all $1\le i\le N$, the gauge capacitance matrix is almost Toeplitz1 taking the form

  29

Skin Effect and Localised Interface Modes

We now turn to the question of eigenmode condensation. We will begin by proving that the skin effect occurs in a finite system of subwavelength resonators. Then, once this fundamental result has been established, we will consider more exotic structures. For example, we will consider a structure with an interface formed by adjoining two half-structures with opposite signs of $\gamma$, leading to wave localisation along the interface, as shown Sect. 3.2.

Skin Effect

Using the extensive theory of Toeplitz matrices and operators, we will now show that the system (4) is a prototypical example of the non-Hermitian skin effect. We will consider a system of equally spaced identical resonators as described in Lemma 2.7 (ii). That is, a chain of N resonators with $s_i=s$ and ${\ell }_i=\ell$ for all $1\le i\le N$. For this case, the particular structure of the capacitance matrix allows us to apply existing results concerning the spectra of tridiagonal Toeplitz matrices, which we briefly recall in Appendix A. We will be able to derive a variety of explicit results that would not be possible for more complex situations. Nevertheless, Corollary 2.6 applies for more general cases and the numerical results (which we present for dimers in Appendix B) show that similar results hold for systems with multiple resonators in the unit cell.

Applying the explicit formula for the eigenpairs of perturbed tridiagonal Toeplitz matrices from Lemma A.6 to ${\mathcal{C}}^{\gamma }$, we obtain

Theorem 3.1

The eigenvalues of ${\mathcal{C}}^{\gamma }$ are given by

$$\begin{array}{cc}\hfill {\lambda }_1& =0,\hfill \\ \hfill {\lambda }_k& =\frac{\gamma }{s}coth(\gamma \ell /2)+\frac{2|\gamma |}{s}\frac{e^{\frac{\gamma \ell }{2}}}{|e^{\gamma \ell }-1|}cos\left(\frac{\pi }{N},(k-1)\right),2\le k\le N.\hfill \end{array}$$ 30

Furthermore, the associated eigenvectors ${\mathit{a}}_k$ satisfy the following inequality, for $2\le k\le N$

$$\begin{array}{c}\hfill |{\mathit{a}}_k^{(i)}|\le {\kappa }_k{e}^{-\gamma \ell \frac{i-1}{2}}\text{for all}1\le i\le N,\end{array}$$ 31

for some ${\kappa }_k\le {(1+e^{\frac{\gamma \ell }{2}})}^2$.

Here, ${\mathit{a}}_k^{(i)}$ denotes the i-th component of the k-th eigenvector. It is easy to show that the first eigenvector ${\mathit{a}}_1$ is a constant vector (i.e. ${\mathit{a}}_1^{(i)}$ is the same for all i). From Theorem 3.1, we can see that the eigenmodes display exponential decay both with respect to the site index i and the factor $\gamma$. We show this decay in a simulation of a large system of resonators in Fig. 2. Furthermore, (31) shows that changing the sign of $\gamma$ swaps the edge at which the localisation occurs.

Fig. 2.

Eigenvector localisation for a system of $N=36$ resonators with $s=\ell =1$ and $\gamma =0.5$. Following (31) the eigenmodes present an exponential decay and are thus localised on the left. The top-left eigenmode is associated to the trivial eigenvalue 0

Of particular interest is the application of Lemmas A.2, A.3 and A.4 to the gauge capacitance matrix. The combination of these lemmas shows that the localisation of the eigenvectors of both the finite and semi-infinite capacitance matrix depends on the Fredholm index of the symbol of the associated Toeplitz operator at the corresponding eigenvalue or, equivalently, of its winding number. Specifically, every eigenvector having the corresponding eigenvalue laying the region of the complex plane where the Fredholm index (or equivalently, the winding number of the symbol) is negative, has to be localised. This shows the intrinsic topological nature of the skin effect.

Indeed, the Toeplitz symbol of the Toeplitz operator associated to (29) encloses the ellipse $E\subseteq \mathbb{C}$

$$\begin{array}{c}\hfill z-b\in E\iff \frac{\Re {(z)}^2}{a+c}+\frac{\Im {(z)}^2}{a-c}=1,\end{array}$$

where a, b and c are the below diagonal, diagonal and above diagonal elements of the Toeplitz operator. In particular the boundary of the ellipse is drawn by $\theta \mapsto a{e}^{\mathbf{i}\theta }+b+c{e}^{-\mathbf{i}\theta }$ so that the winding in the interior of the ellipse is negative for $\gamma >0$ and positive for $\gamma <0$.

In Fig. 3 we display the convergence of the pseudospectrum and the topologically protected region of negative winding number. We remark that the trivial eigenvalue 0 is outside of the region as the winding number is not defined there. As a consequence, the corresponding eigenvector is not localised.

Fig. 3.

$\epsilon$-pseudospectra of ${\mathcal{C}}^{\gamma }$ for $\epsilon ={10}^{-k}$ for $k=1,\cdots ,5$. Shaded in grey is the region where the symbol $f_T$ has negative winding, for T the Toeplitz operator corresponding to the semi-infinite structure. The pseudospectra are computed using [29]

The explicit formula for eigenvalues from Lemma A.6 also gives some insight on the distribution of the density of states. The property of the cosine to have minimal slope when it is close to its maxima and minima, causes eigenvalues to cluster at the edges of the range of the spectrum. This is demonstrated by the non-uniform distribution of the black dots in Fig. 3.

We conclude this section with a qualitative analysis of the spectral decomposition of ${\mathcal{C}}^{\gamma }$. In Fig. 4a we show the eigenvector localisation as a function of the site index for finite arrays of various sizes. The localisation of a vector v is measured using the quantity ${\Vert v\Vert }_{\infty }/{\Vert v\Vert }_2$. After rescaling the site index, we expect there to be some invariance to the array size N, based on the formulas of Lemma A.6. Figure 4b shows, on the other hand, the singular values of the eigenvector matrix, again with the indices normalised. The number of non-zero singular values is a proxy for the dimension of the range of the matrix. This has an exponential dependence on N. As a result, Fig. 4 shows that as N increases, despite the number of eigenvalues growing like N, the rank of the matrix of eigenvectors is fixed. As a result, we have an increasing number of collinear eigenvectors. This can be interpreted as there existing an exceptional point of “infinite” order in the arbitrarily large system.

Fig. 4.

As $N\to \infty$, the finite structure exhibits an exceptional point of “infinite” order: arbitrarily many eigenmodes become close to parallel. Here shown in the case $s=\ell =1$ and $\gamma =0.5$

Non-Hermitian Interface Modes Between Opposing Signs of $\gamma$

We now consider interface modes between two structures where the sign of $\gamma$ is switched from negative (on the left part) to positive (on the right part). Most commonly, localised interface modes are formed by creating a defect in the system’s geometric periodicity (see, for example, [30]). In non-Hermitian systems based on complex material parameters, similar localised interface modes have been shown to exist in the presence of a defect in the periodicity of the material parameters [16, 24]. Given the existence of the skin effect, demonstrated in the previous section, it is reasonable to expect that we might be able to produce a similar localisation effect using systems of resonators with imaginary gauge potential. With this in mind, we consider the following system of $N=2n$ resonators:

32

It is not difficult to see that also with this system we can recover a capacitance matrix for which a similar result as Corollary 2.6 holds. In particular, generalising (19), we get

The decay properties of the eigenvectors (31) and the symmetry property with respect to $\gamma$ show that this symmetric system (32) has all but two modes localised at the interface. These interface modes are shown in Fig. 5, superimposed on one another to portray the general trend.

Fig. 5.

Plot of all the eigenmodes localised at the interface associated to a system described by (32). The x-axis encodes the site index of the resonators. Simulation performed with a structure of $N=50$ resonators, $\ell =s=1$ and $\gamma =1$. Two trivial eigenmodes are not shown

Infinite Periodic Case

For the infinite periodic case we consider a one-dimensional system constituted of N periodically repeated disjoint subwavelength resonators. We assume that for some $\ell >0$, ${\ell }_i=\ell$ for all $i\in \mathbb{Z}$. We use the same notation as in [16]. Specifically, L is the size of the unit cell and $\alpha$ denotes the quasiperiodicity parameter of the Floquet-Bloch transform.

Standard Brillouin Zone

Similar to the finite case, we are first interested in resonant frequencies ${\omega }^{\alpha }(\delta )$ for any $\alpha$ in the first Brillouin zone $Y^{\ast }:=(-\frac{\pi }{L},\frac{\pi }{L}]$. In the periodic case, we call $\alpha \mapsto {\omega }^{\alpha }(\delta )$ band functions.

In order to get the quasiperiodic capacitance matrix one needs to apply similar modification as in the finite case to the procedure of [16], where the reader can find the details of the derivation.

Definition 4.1

(Quasiperiodic gauge capacitance matrix) For $\gamma \in {\mathbb{R}}^{\ast }$, we define the quasiperiodic gauge capacitance matrix ${\mathcal{C}}^{\gamma ,\alpha }\in {\mathbb{R}}^{N\times N}$ by

$$\begin{array}{cc}& {\mathcal{C}}_{i,j}^{\gamma ,\alpha }:=\left(\frac{\gamma }{s_i},\frac{{\ell }_i}{1-e^{-\gamma {\ell }_i}},-,\frac{\gamma }{s_{i-1}},\frac{{\ell }_i}{1-e^{\gamma {\ell }_i}}\right){\delta }_{\mathit{ij}}+\left(-,\frac{\gamma }{s_i},\frac{{\ell }_j}{1-e^{-\gamma {\ell }_j}}\right){\delta }_{i(j-1)}\hfill \\ \hfill & +\left(\frac{\gamma }{s_j},\frac{{\ell }_j}{1-e^{\gamma {\ell }_j}}\right){\delta }_{i(j+1)}\hfill \\ \hfill & +\left(-,e^{-\mathbf{i}\alpha L},\frac{\gamma }{s_N},\frac{{\ell }_1}{(1-e^{-\gamma {\ell }_1})}\right){\delta }_{\mathit{iN}}{\delta }_{j1}+\left(e^{\mathbf{i}\alpha L},\frac{\gamma }{s_N},\frac{{\ell }_N}{(1-e^{\gamma {\ell }_N})}\right){\delta }_{i1}{\delta }_{\mathit{jN}}.\hfill \end{array}$$ 33

The following results hold.

Proposition 4.2

The N subwavelength band functions ${(\alpha \mapsto {\omega }_i^{\alpha })}_{1\le i\le N}$ satisfy, as $\delta \to 0$,

$$\begin{array}{c}\hfill {\omega }_i^{\alpha }=v_b\sqrt{\delta {\lambda }_i^{\alpha }}+\mathcal{O}(\delta ),\end{array}$$

where ${({\lambda }_i^{\alpha })}_{1\le i\le N}$ are the eigenvalues of the eigenvalue problem

$$\begin{array}{c}\hfill {\mathcal{C}}^{\gamma ,\alpha }{\mathit{a}}_i={\lambda }_i^{\alpha }V{\mathit{a}}_i,1\le i\le N,\end{array}$$ 34

where V is defined by (22). We select the N values of $\pm \sqrt{\delta {\lambda }_i}$ having positive real parts.

Lemma 4.3

For $N=2$ and ${\ell }_1={\ell }_2=\ell$, the eigenvalues of ${\mathcal{C}}^{\gamma ,\alpha }$ are given by

$$\begin{array}{c}\hfill {\lambda }_1^{\alpha }=\frac{\gamma \left(\left(e^{\gamma },+,1\right),(s_1+s_2),-,\sqrt{2},e^{\gamma /2},\sqrt{\left(4,s_1,s_2,cosh,(\gamma -\mathbf{i}\alpha L),+,d\right)}\right)}{2\left(e^{\gamma },-,1\right)s_1{s}_2}\ell \\ \hfill {\lambda }_2^{\alpha }=\frac{\gamma \left(\left(e^{\gamma },+,1\right),(s_1+s_2),+,\sqrt{2},e^{\gamma /2},\sqrt{\left(4,s_1,s_2,cosh,(\gamma -\mathbf{i}\alpha L),+,d\right)}\right)}{2\left(e^{\gamma },-,1\right)s_1{s}_2}\ell ,\end{array}$$

where $d=cosh(\gamma ){(s_1-s_2)}^2+{(s_1+s_2)}^2$. On the other hand, for $N=1$ (i.e., when $s_1=s_2=s$ and ${\ell }_1={\ell }_2=\ell ;L=\ell +s$), we have

$$\begin{array}{c}\hfill {\lambda }_1^{\alpha }={\lambda }_2^{\alpha }=\frac{\gamma \left(e^{\gamma },-,e^{\mathbf{i}L\alpha },+,1\right)-e^{\gamma }{e}^{-\mathbf{i}L\alpha }}{s\left(e^{\gamma },-,1\right)}\ell ,\end{array}$$ 35

and ${\mathcal{C}}^{\gamma ,\alpha }$ can be considered as a scalar.

The band theory of ${\mathcal{C}}^{\gamma ,\alpha }$ is very rich due to the non-Hermitian structure of the matrix. Indeed one might rapidly see that for some general $1\le i,j\le N$

$$\begin{array}{c}\hfill {\mathcal{C}}_{i,j}^{\gamma ,\alpha }\ne \overline{{\mathcal{C}}_{j,i}^{\gamma ,\alpha }}.\end{array}$$

From now we will consider systems of periodically repeated dimers, that is $N=2$, and ${\ell }_i=\ell =1$. The band functions ${\omega }^{\alpha }$ present very interesting symmetries as the following lemma shows. This behaviour is observed in Fig. 6, where we see the symmetry of the real parts and antisymmetry of the imaginary parts.

Fig. 6.

Band functions of a periodically repeated dimer with $s_1=1$, $s_2=2$ and $\gamma =0.5$. For both ${\omega }_1^{\alpha }$ and ${\omega }_2^{\alpha }$ we observe points $E_{1,2}\in \mathbb{C}$ with non-zero winding (see Proposition 4.6)

Lemma 4.4

Let $\gamma \in {\mathbb{R}}^{\ast }$. Then,

$$\begin{array}{c}\hfill {\mathcal{C}}^{\gamma ,-\alpha }=\overline{{\mathcal{C}}^{\gamma ,\alpha }}.\end{array}$$

Therefore, the real part of the eigenvalues is symmetric and the imaginary part is antisymmetric with respect to $\alpha \mapsto -\alpha$.

The next lemma establishes the exceptional points of the system, where the eigenvalues and the eigenvectors of the quasiperiodic gauge capacitance matrix simultaneously coalesce.

Lemma 4.5

Let $N=2$ and $0<\gamma$. Then the two eigenvalues of ${\mathcal{C}}^{\gamma ,\alpha }$ coalesce if and only if $\alpha =\pm \frac{\pi }{L}$ and

$$\begin{array}{c}\hfill cosh(\gamma )\left(s_1^2,-,6,s_1,s_2,+,s_2^2\right)+{(s_1+s_2)}^2=0.\end{array}$$ 36

The geometrical multiplicity of the eigenvalue is then 1.

Proof

The eigenvalues coalesce if and only if $\text{tr}{({\mathcal{C}}^{\gamma ,\alpha })}^2-4det({\mathcal{C}}^{\gamma ,\alpha })=0$, which reads

$$\begin{array}{c}\hfill \frac{{\gamma }^2{\text{csch}}^2\left(\frac{\gamma }{2}\right)\left(4,s_1,s_2,cosh,(\gamma -\mathbf{i}\alpha L),+,cosh,(\gamma ),{(s_1-s_2)}^2,+,{(s_1+s_2)}^2\right)}{2s_1^2{s}_2^2}=0.\end{array}$$

Comparing real and imaginary parts, we recover the sought formula.

In order to establish the geometrical multiplicity of the eigenvalue, which reads $\text{tr}({\mathcal{C}}^{\gamma ,\frac{\pi }{L}})/2$, we need to find the dimension of the kernel of ${\mathcal{C}}^{\gamma ,\frac{\pi }{L}}-\text{tr}({\mathcal{C}}^{\gamma ,\frac{\pi }{L}})/2$. After some algebraic manipulation, we obtain

$$\begin{array}{c}\hfill {\mathcal{C}}^{\gamma ,\frac{\pi }{L}}-\frac{1}{2}\text{tr}({\mathcal{C}}^{\gamma ,\frac{\pi }{L}})=\left(\begin{array}{cc}\frac{\gamma (s_2-s_1)}{2s_1{s}_2}& \frac{\gamma \left(s_1,-,e^{\gamma },s_2\right)}{\left(e^{\gamma },-,1\right)s_1{s}_2}\\ \frac{\gamma \left(e^{\gamma },s_1,-,s_2\right)}{\left(e^{\gamma },-,1\right)s_1{s}_2}& \frac{\gamma (s_1-s_2)}{2s_1{s}_2}\end{array}\right),\end{array}$$

so that its eigenvectors read

$$\begin{array}{c}\hfill v_{\pm }=\left(\begin{array}{c}\pm \sqrt{2}\sqrt{e^{\gamma }\left(cosh,(\gamma ),,\left(s_1^2,,-,,6,s_1,s_2,,+,,s_1^2\right),,+,,{(s_1+s_2)}^2\right)}-e^{\gamma }{s}_1+\left(e^{\gamma },,-,,1\right)s_2+s_1\\ 2e^{\gamma }{s}_1-2s_2\end{array}\right),\end{array}$$

which obviously agree for $\gamma$ as above. $\square$

We denote by

$$\begin{array}{c}\hfill {\gamma }_c(s_1,s_2)\end{array}$$ 37

the unique critical $\gamma$ satisfying (36).

In Fig. 7 we consider a periodic chain of dimers having $s_1=1$ and $s_2=2$. We plot the two eigenvalues in the complex plane as $\alpha$ varies across the Brillouin zone, from $-\pi /L$ to $\pi /L$. Lemma 4.5 tells us that, for these parameter values, the eigenvalues will coalesce when ${\gamma }_c=0.73899$. The crossing of this critical ${\gamma }_c$ corresponds to a fundamental behavioural change in the band functions. This observation leads to the following results:

Fig. 7.

Eigenvalue behaviour in the complex plan as $\alpha$ varies over the Brillouin zone for different values of $\gamma$ for a system of periodically repeated dimers with $s_1=1$ and $s_2=2$. The value ${\gamma }_c(1,2)=0.73899$ corresponding to a system with exceptional point signs the change from open to close band structure

Proposition 4.6

Consider a system of periodic dimers with spacings $s_1$ and $s_2$ and band functions ${\omega }_i^{\alpha }$ for $i=1,2$. There exists complex points $E_i\in \mathbb{C}$ with non-zero winding of ${\omega }_i^{\alpha }$ for $i=1,2$ if and only if $0<\gamma <{\gamma }_c(s_1,s_2)$.

Proof

The main observation of the proof is that for $0<\gamma <{\gamma }_c(s_1,s_2)$ we have, for $\sigma =(12)$, the permutation of two symbols,

$$\begin{array}{c}\hfill \Re \left({\omega }_i^{\frac{\pi }{L}}\right)\ne \Re \left({\omega }_{\sigma (i)}^{\frac{\pi }{L}}\right),\Im \left({\omega }_i^{\frac{\pi }{L}}\right)=\Im \left({\omega }_{\sigma (i)}^{\frac{\pi }{L}}\right),\end{array}$$

while for $\gamma >{\gamma }_c(s_1,s_2)$, the opposite happens:

$$\begin{array}{c}\hfill \Re \left({\omega }_i^{\frac{\pi }{L}}\right)=\Re \left({\omega }_{\sigma (i)}^{\frac{\pi }{L}}\right),\Im \left({\omega }_i^{\frac{\pi }{L}}\right)\ne \Im \left({\omega }_{\sigma (i)}^{\frac{\pi }{L}}\right).\end{array}$$

This is easily seen from the fact that $\text{tr}{({\mathcal{C}}^{\gamma ,\frac{\pi }{L}})}^2-4det({\mathcal{C}}^{\gamma ,\frac{\pi }{L}})$ changes sign at $\gamma ={\gamma }_c(s_1,s_2)$ as we can see from the formula in the proof of Lemma 4.5. Combining this with Lemma 4.4 we can conclude that ${\omega }_i^{\alpha }$ draws a closed curve on the complex plane if and only if $0<\gamma <{\gamma }_c(s_1,s_2)$. The non-triviality of the winding then follows by the fact that the real and the imaginary parts of ${\omega }_i^{\alpha }$ are periodic with period $\frac{2\pi }{L}$. $\square$

Corollary 4.7

The vorticity

$$\begin{array}{c}\hfill {\nu }_{\gamma }:=\frac{1}{2\pi }{\int }_{-\frac{\pi }{L}}^{\frac{\pi }{L}}\frac{\partial }{\partial \alpha }arg({\omega }_2^{\alpha }-{\omega }_1^{\alpha })\text{d}\alpha \end{array}$$ 38

of a system of periodically repeated dimers is non-zero integer if and only if $0<\gamma <{\gamma }_c(s_1,s_2)$.

In Fig. 8, we plot just one of the eigenvalues in the complex plane, to fully illuminate the behaviour we observed in Fig. 7. We can clearly see the fundamental change that occurs at the transition when $\gamma$ crosses the value ${\gamma }_c(s_1,s_2)$, whereas when $\gamma <{\gamma }_c$ the eigenvalue forms a single closed loop, when $\gamma >{\gamma }_c$ this loop is broken open to form a C-shaped curve that connects to the other eigenvalue to form a single loop. At the transition between these two states, when $\gamma ={\gamma }_c$, the two eigenvalues form two touching closed loops. In Fig. 8c, we show how the critical value ${\gamma }_c$ varies as a function of the ratio of the spacings between the two resonators. Of course, when $s_1=s_2$ the system is just a single repeating resonator so this critical value vanishes. Otherwise, it is strictly positive.

Fig. 8.

Band function winding and its relation to ${\gamma }_c$. The crossing of ${\gamma }_c$ induces a change in the winding of the band functions and thus of the vorticity ${\nu }_{\gamma }$. Computed for a system of $N=2$ periodically repeated resonators with spacing $s_1=1$ and $s_2=2$

Complex Band Theory and Generalised Brillouin Zone

We saw in Sect. 3 that the eigenmodes of a finite system of subwavelength resonators with imaginary gauge potential have exponentially decaying amplitudes. Further more, we saw that the system displays signs of an “infinite” order exceptional point in the limit as its size becomes large. Our final results of this paper concern the precise nature of the limiting spectrum, as the size becomes arbitrarily large.

A crucial first question is how to understand the spectrum of the limiting operator. For periodic (Hermitian) systems, the natural tool to apply is the Floquet–Bloch transform. However, as shown in Sect. 4.1, this does not lead to the correct limit of the set of the eigenvalues associated with the finite structure as its size goes to infinity. Indeed the spectrum of any finite system is purely real, while the spectral bands of a infinite system have a non-zero imaginary part. This is because the eigenmodes of the infinite periodic system are not Bloch modes, in the traditional sense. Instead, we will consider the Floquet–Bloch transformation with complex quasi-periodicity, so that we are able to account for the potential growth or decay of the amplitude of the eigenvectors [19].

Recently, the truncated Floquet–Bloch transformation has been applied to recover information about the band structure from finite approximations in Hermitian systems [25, 31]. Here, since we are considering the quasi-periodicity to be complex, we apply a slightly different method. We consider a system of N resonators. For a resonance ${\omega }_j$, we compute the corresponding quasi-periodicity by

$$\begin{array}{c}\hfill {\alpha }_j:=\underset{\alpha \in \mathbb{C}}{\text{argmin}}|{\omega }_j-{\mathrm{\omega }}^{\alpha }|,\end{array}$$ 39

where ${\mathrm{\omega }}^{\alpha }$ is the subwavelength eigenfrequency of a system with one resonator repeated periodically. In Fig. 9, we display this procedure for an array of $N=60$ resonators. In Fig. 9a, we show the minimising region of (39) and see clear local minima of the function $|{\omega }_j-{\mathrm{\omega }}^{\alpha }|$ for values of $\alpha$ that are symmetric about the imaginary axis. In Fig. 9b we show the resulting complex quasi-frequencies ${\alpha }_j$, plotted against their indices, and in Fig. 9c, we plot the complex band functions ${\alpha }_j\mapsto {\omega }_j$. In Appendix C, we present the analogous numerical results for a system of periodically repeated dimers both in the Hermitian case and non-Hermitian case with complex material parameters.

Fig. 9.

Complex band structure of a system of $N=60$ resonators with $\ell =s=1$ and $\gamma =1$. The non-trivial imaginary part encodes the exponential decay of the eigenmodes presented in Sect. 3

The above numerical results suggest that we introduce the following set, called the generalised Brillouin zone:

$$\begin{array}{c}\hfill {\mathcal{Y}}^{\ast }:=\{(\alpha ,\beta (\alpha ))\in Y^{\ast }\times \mathbb{R}:{\lambda }_i^{\alpha +\mathbf{i}\beta (\alpha )}\in {\mathbb{R}}^{+}\text{for}i=1\text{or}2\}.\end{array}$$ 40

Here, ${\lambda }_i^{\alpha +\mathbf{i}\beta (\alpha )}$ for $i=1,2$ are defined in Lemma 4.3. The value of this set is immediately clear from the following convergence result:

Theorem 4.8

• (i)Consider a chain of N resonators with $s_i=s$ and ${\ell }_i=\ell$ for all $1\le i\le N$. Let the subwavelength eigenfrequency ${\lambda }_k$ be defined by (30). Then, there exists $(\alpha ,\beta (\alpha ))\in {\mathcal{Y}}^{\ast }$ such that $|{\lambda }_k-{\lambda }^{\alpha +\mathbf{i}\beta (\alpha )}|\to 0$ as $N\to +\infty$;
• (ii)Consider a system of dimers, i.e. with ${\ell }_i=\ell =1$. Then, the same result as in (i) holds as the number of dimers goes to infinity.

Proof

One first notices that because of the boundedness of the spectrum and after a possible renaming, ${\lambda }_k$ have to converge in $\mathbb{R}$ as $N\to +\infty$. The key idea of the proof is to use the explicit formulations from Lemma 4.3 and Picard’s little theorem. Indeed, this is enough for item (i) as $\mathbb{C}\ni \alpha \mapsto {\lambda }^{\alpha }\in \mathbb{C}$ is entire and so in particular ${\mathcal{Y}}^{\ast }\ni \alpha \mapsto {\lambda }^{\alpha }$ is surjective to $\mathbb{R}$ up to possibly one point. For item (ii) the application of Picard’s little theorem to the argument of the square root shows that $\mathbb{C}\ni \alpha \mapsto {\lambda }_i^{\alpha }\in \mathbb{C}$ for $i=1,2$ fails to be surjective because of the branch cut, but the opposite signs in ${\lambda }_1^{\alpha }$ and ${\lambda }_2^{\alpha }$ compensate, concluding the proof. $\square$

In Fig. 9c, we plot both the discrete pairs $({\alpha }_j,{\omega }_j)$ and the continuous curve, computed over ${\mathcal{Y}}^{\ast }$. We see perfect agreement between the discrete and continuous data, to the extent that it is difficult to distinguish the continuous curve from the discrete crosses. This agreement is remarkable given that the finite structure here is still relatively small, having $N=60$ resonators. Further numerical results, including the extension to the case of resonator dimers, can be found in Appendix C.

Concluding Remarks

We have derived from first principles the mathematical theory of the non-Hermitian skin effect arising in subwavelength physics in one dimension. Through a gauge capacitance matrix formulation, we obtained explicit asymptotic expressions for the subwavelength eigenfrequencies and eigenmodes of the structure. This allowed us to characterise the system’s fundamental behaviours and reveal the mechanisms behind them. In particular, the exponential decay of eigenmodes (the skin effect) for a system of finitely many resonators was shown to be induced by the Fredholm index of an associated Toeplitz operator. We also showed how the system behaves as its size becomes large and developed appropriate tools to understand this spectral convergence.

A natural question to ask is how the non-Hermitian system considered here compares to other non-Hermitian systems. For example, while the non-Hermiticity here arises due to the imaginary gauge potential, it is possible to break Hermiticity by simply making the material parameters complex valued. This has been studied previously in the subwavelength setting [16, 20]. It has been shown that, under the assumption of PT-symmetry, these non-Hermitian systems support exceptional points [20] and that the analysis of infinite periodic structures can be restricted to the standard (real) Brillouin zone [16]. As a result, the spectrum of the finite structure converges to the band structure of the infinite one. In Appendix D, we show that this is due to the fact that, away from exceptional points, these non-Hermitian systems with complex material parameters can be mapped to a Hermitian system under an appropriate transformation. That is, they are equivalent to a Hermitian one away from exceptional points. Conversely, the system considered in this work, which is non-Hermitian due to the introduction of an imaginary gauge potential, is fundamentally distinct from the Hermitian system and a generalised (or complex) Brillouin zone must be considered to understand the limiting spectrum.

The explicit theory we have developed is only possible because of the simple structure of the gauge capacitance matrix and the rich literature on (tridiagonal) Toeplitz matrices and perturbations thereof. The theory of systems with periodically repeated cells of K resonators remains incomplete as no similar result to Lemma A.6 is known for block-Toeplitz matrices. However, we have shown numerically that the phenomena generalise to systems of many resonators (in Appendices B and C). The other important generalisation of this work is to higher-dimensional systems, in which it is well known that the skin effect can be realised [32]. This will be the subject of a forthcoming publication [27].

Toeplitz Theory

Item (iii) of Lemma 2.7 is a very powerful result as it allows us to apply the rich theory of Toeplitz matrices. In this section, we will restate some useful results adapted to our needs.

Definition A.1

An $N\times N$ Toeplitz matrix T is a matrix whose entries are constant on the diagonals, in the sense that there exits $a_{1-N},\cdots a_0,\cdots ,a_{N-1}\in \mathbb{C}$ so that

$$\begin{array}{c}\hfill T_{i,j}=a_{i-j}\end{array}$$ 41

for $i,i=1,\cdots ,N$. A semi-infinite matrix ${(T_{i,j})}_{i,j\in \mathbb{N}}$ respecting (41) for a sequence ${(a_i)}_{i\in \mathbb{Z}}\subset \mathbb{C}$ is called a Toeplitz operator. The symbol of a Toeplitz operator is the function

$$\begin{array}{cc}\hfill f_T:S^1& \to \mathbb{C}\hfill \\ \hfill z& \mapsto \sum _{k\in \mathbb{Z}}{a}_k{z}^k,\hfill \end{array}$$

where $S^1$ is the unit circle.

For an operator A we denote by

$$\begin{array}{c}\hfill \text{sp}(A):=\left\{\lambda ,\in ,\mathbb{C},:,A,-,\lambda ,,\text{is not invertible}\right\}\end{array}$$

the spectrum of A. For some $\epsilon >0$, we denote by ${\text{sp}}_{\epsilon }(A)$ the pseudo-spectrum of A defined equivalently [33, Section 4] by

$$\begin{array}{cc}\hfill \lambda \in {\text{sp}}_{\epsilon }(A)& {\iff \Vert (A-\lambda )}^{-1}\Vert >{\epsilon }^{-1}\hfill \\ \hfill & \iff \lambda \in \text{sp}(A+E)\text{for some}E\text{such that}\Vert E\Vert <\epsilon \hfill \\ \hfill & \iff \lambda \in \text{sp}(A)\text{or}\Vert (A-\lambda )u\Vert <\epsilon \text{for some}u\text{such that}\Vert u\Vert =1.\hfill \end{array}$$

The spectrum of a Toeplitz operator is well understood, as the next lemma shows [34, Theorem 1.10].

Lemma A.2

Let T be a Toeplitz operator with symbol $f_T\in L^{\infty }$. Then

$$\begin{array}{c}\hfill \text{sp}(T)=\underset{=:{\text{sp}}_{\text{ess}}(T)}{\underbrace{\left\{\lambda ,\in ,\mathbb{C},:,T,-,\lambda ,,\text{is not Fredholm}\right\}}}\cup \left\{\lambda ,\in ,\mathbb{C},:,\text{Ind},(,T,-,\lambda ,),\ne ,0\right\},\end{array}$$

where $\text{Ind}(A)$ is the Fredholm index of A. In particular, for $f_T$ continuous we have

$$\begin{array}{c}\hfill \text{sp}(T)=f_T(S^1)\cup \left\{\lambda ,\in ,\mathbb{C},:,w,(,f_T,,,\lambda ,),\ne ,0\right\},\end{array}$$

where $w(f,\lambda )$ is the winding number of f around $\lambda$.

From Lemma A.2 we can see that the spectrum of a Toeplitz operator potentially has non-zero measure in the complex plane. It is therefore impossible that the spectrum of a sequence of Toeplitz matrices converges to the one of a Toeplitz operator in general. The following result [33, Theorem 7.3] shows, however, that such a convergence result exists if we consider pseudospectra:

Lemma A.3

Let T be a Toeplitz operator with continuous symbol $f_T$ and let $T_N$ be the truncation of $T_N$ to the upper-left $N\times N$ submatrix. Then, for any $\epsilon >0$,

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}{\text{sp}}_{\epsilon }(T_N)={\text{sp}}_{\epsilon }(T),\end{array}$$

in the Hausdorff metric, meaning that

$$\begin{array}{c}\hfill {\text{sp}}_{\epsilon }(T)=\{z\in \mathbb{C}:\exists z_N\in {\text{sp}}_{\epsilon }(T_N):z_N\to z\}.\end{array}$$

While Lemma A.3 describes the convergence of the pseudospectra of $T_N$, we also know how the corresponding eigenvectors behave. For example, we have the following lemma, from [33, Section 7]:

Lemma A.4

Let T be a Toeplitz operator with continuous symbol $f_T$ and let $T_N$ be the truncation of T to the upper-left $N\times N$ submatrix. Let $\lambda \in \mathbb{C}$ be such that $w(f_T,\lambda )<0$. Then, if $f_T$ is sufficiently smooth, the corresponding eigenvector decays exponentially. Furthermore, there exists some $M>1$ which is such that $\lambda$ is a $M^{-N}$ pseudoeigenvalue of $T_N$ with corresponding eigenvector $v_N$ satisfying

$$\begin{array}{c}\hfill \frac{|v_N^{(j)}|}{{max}_j|v_N^{(j)}|}\le M^{-j},\end{array}$$

where $v_N^{(j)}$ is the j-th component of v.

Tridiagonal Toeplitz Matrices

As the capacitance matrices we handle are tridiagonal, we focus now on the well understood theory of tridiagonal Toeplitz matrices. We will denote $N\times N$ tridiagonal Toeplitz matrices by their diagonal entries

$$\begin{array}{c}\hfill T_N(a,b,c):=\left(\begin{array}{cccccc}b& c& & & & \\ a& b& c& & & \\ & \ddots & \ddots & \ddots & & \\ & & a& b& c\\ & & & a& b\end{array}\right).\end{array}$$

The eigendecomposition of tridiagonal Toeplitz matrices is well understood, as the following result [35, Section 2] shows:

Lemma A.5

(Eigenvalues and eigenvectors of tridiagonal Toepliz matrices) The eigenvalues of $T_N(a,b,c)$ are given by

$$\begin{array}{c}\hfill {\lambda }_k=b+2\sqrt{\mathit{ac}}cos\left(\frac{k}{N+1},\pi \right),1\le k\le N,\end{array}$$

and the corresponding eigenvectors

$$\begin{array}{c}\hfill u_k^{(i)}={\left(\frac{a}{c}\right)}^{\frac{i}{2}}sin\left(\frac{\mathit{ik}}{N+1},\pi \right),1\le k\le n\text{and}1\le i\le N,\end{array}$$

where $u_k^{(i)}$ is the i-th coefficient of the k-th eigenvector.

The spectral theory of tridiagonal matrices that are almost Toeplitz has been object of many studies. In this work we are interested in $N\times N$ matrices with the modified Toeplitz structure

$$\begin{array}{c}\hfill {\tilde{T}}_N(a,b,c):=\left(\begin{array}{cccccc}b+a& c& & & & \\ a& b& c& & & \\ & \ddots & \ddots & \ddots & & \\ & & a& b& c\\ & & & a& b+c\end{array}\right).\end{array}$$

For matrices of the type ${\tilde{T}}_N(a,b,c)$ the spectral theory is fully understood as well, as the following lemma [36, Theorem 3.1] shows:

Lemma A.6

Suppose that $ac\ne 0$, $a+b+c=0$ and let $\mu$ be an eigenvalue of ${\tilde{T}}_N(a,b,c)$ then either $\mu ={\mu }_1:=0$ and the corresponding eigenvector is $v_1=\mathbf{1}$ or

$$\begin{array}{c}\hfill \mu ={\mu }_k:=b+2\sqrt{\mathit{ac}}cos\left(\frac{\pi }{N},(k-1)\right),2\le k\le N,\end{array}$$

and the corresponding eigenvector

$$\begin{array}{c}\hfill v_k^{(j)}={\left(\frac{a}{c}\right)}^{\frac{j-1}{2}}\left(a,sin,\left(\frac{j(k-1)\pi }{N}\right),-,a,\sqrt{\frac{a}{c}},sin,\left(\frac{(j-1)(k-1)\pi }{N}\right)\right),\end{array}$$

for $2\le k\le N\text{and}1\le j\le N.$

It should be noted that the condition $a+b+c=0$ guarantees that ${\mu }_1=0$.

Proposition A.7

Let $N\in \mathbb{N}$ and $({\lambda }_{i,N},u_{i,N})$ for $1\le i\le N$ and $({\mu }_{i,N},v_{i,N})$ for $2\le i\le N$ be the eigenpairs of $T_N(a,b,c)$ and ${\tilde{T}}_N(a,b,c)$ respectively so that the conditions of Lemma A.6 are satisfied. Then there exists an injective map ${\sigma }_N:\{2,\cdots ,N\}\to \{1,\cdots ,N\}$ such that for any $i=2,\cdots ,N,$

$$\begin{array}{c}\hfill |{\mu }_{{\sigma }_N(i),N}-{\lambda }_{i,N}|\to 0\text{as}N\to \infty \end{array}$$

and

$$\begin{array}{c}\hfill \Vert v_{{\sigma }_N(i),N}-u_{i,N}\Vert \to 0\text{as}N\to \infty .\end{array}$$

Proof

This is now trivial using the explicit formulations from Lemmas A.5 and A.6. $\square$

Despite not having a surjective mapping, there is only one eigenvalue of the perturbed matrix that cannot be approximated via the Toeplitz matrix and this eigenpair is known explicitly (${\mu }_1=0$, $v_1=\mathbf{1}$).

Dimer Systems of Subwavelength Resonators with Imaginary Gauge Potentials

In this appendix, we briefly present some numerical illustrations of the skin effect in a system of finitely many dimers. Figure 10a shows the eigenvectors in a system of subwavelength resonator dimers with imaginary gauge potential, which are clearly strongly localised at one edge. This is a skin effect analogue to the simpler case studied in Sect. 3, with the corresponding modes plotted in Fig. 2. Then, Fig. 10b is the analogue of Fig. 3, which shows that the spectrum of repeated dimers presents a bipartition and remains purely real.

Fig. 10.

Eigenmodes and spectrum for a system of $N=61$ dimers with $\ell =1$, $s_1=1$ and $s_2=2$ and $\gamma =1$

Generalised Discrete Brillouin Zone for Dimer Systems

In Sect. 4.2, we have shown that in order to describe an infinite array of subwavelength resonators with imaginary gauge potential, the correct quasiperiodicity space to use lies in a region of the complex plane. This generalised Brillouin zone is needed in order to take into account decaying eigenmodes. In this appendix, we first show that this is indeed a generalisation of the standard (real) Brillouin zone. In Fig. 11a and b we consider a large system of equally spaced identical Hermitian resonators ($\gamma =0$). Figure 11a shows the real and imaginary part of quasiperiodicities computed as described in Sect. 4.2. We notice that despite the optimisation region is a region of the complex plane, the resulting quasifrequencies are real as expected. Figure 11b compares the computed discrete band structure and the actual band structure for the periodic case. There is very close agreement between them.

Fig. 11.

Discrete band approximation for various systems. Figure 11a and b show a system of $N=60$ Hermitian equally spaced identical resonators with $\ell =s=1$ and $\gamma =0$. Figure 11c and d show a system of $N=60$ Hermitian dimers with $\ell =1$, $s_1=1$, $s_2=2$ and $\gamma =0$. Figure 11e and f show a system of $N=60$ non-Hermitian dimers with complex material parameters $v_1=1+1.38\mathbf{i}$, $v_2=1-1.42\mathbf{i}$, $\ell =1$, $s=1$ and $\gamma =0$

Then we compute the same for a large system of Hermitian ($\gamma =0$ and real material parameters) dimers. In this case, due to the presence of multiple bands, we slightly modify the procedure of Sect. 4.2. In this case we consider the minimisation

$$\begin{array}{c}\hfill {\alpha }_j:=\underset{\alpha \in \mathbb{C}}{\text{argmin}}|{\omega }_j-{\mathrm{\omega }}^{\alpha }|,\end{array}$$

where ${\mathrm{\omega }}^{\alpha }$ is one of the two eigenvalues of the corresponding quasiperiodic capacitance matrix. We notice again that, as expected, the quasiperiodicities are real despite an optimisation occurring over $\mathbb{C}$ (Fig. 11c) and that the band functions are recovered accurately (Fig. 11d).

To exemplify the approach, we take a system of dimers with complex material parameters ${\kappa }_b$ and ${\rho }_b$ (and $\gamma =0$). In this case, we optimise again with respect to one of the two eigenvalues of the corresponding quasiperiodic capacitance matrix. Also, as shown by Fig. 11e and f, the quasiperiodicities are real despite our optimisation procedure is occurring over $\mathbb{C}$ and the band functions are recovered accurately.

Systems with Complex Material Parameters and Imaginary Gauge Transformations

In this appendix, we highlight the fundamental difference between the current work and previous work on subwavelength non-Hermitian systems [24]. We show that systems with non-Hermiticity arising from complex material parameters are indeed, how Fig. 11 hints to, reducible to Hermitian systems away from exceptional points. This implies that the vorticity $\nu$ defined by the same formula as in (38) is trivial, see [24].

We consider the ordinary differential equation (ODE)

$$\begin{array}{c}\hfill {\psi }^{″}+VC\psi =0,\end{array}$$ 42

where V is a diagonal matrix encoding the (complex) material parameters and C the (Hermitian) capacitance matrix. We assume that VC is diagonalisable and invertible, i.e., we are away from exceptional points. Equation (42) describes the set of subwavelength eigenfrequencies. After a change of basis we can thus assume $VC=D=\text{diag}({\lambda }_1,{\lambda }_2)$. We introduce the transformation

$$\begin{array}{cc}\hfill G:\mathbb{R}& \to {\mathbb{C}}^2\hfill \\ \hfill t& \mapsto ({\lambda }_1^{-\frac{1}{2}}t,{\lambda }_2^{-\frac{1}{2}}t),\hfill \end{array}$$

and then consider

$$\begin{array}{c}\hfill \varphi (t)=\psi \circ G(t),\end{array}$$

which satisfies

$$\begin{array}{c}\hfill \varphi {(t)}^{″}=D^{-1}·({\psi }^{″}\circ G(t)).\end{array}$$

Therefore, $\varphi (t)$ satisfies the Hermitian ODE

$$\begin{array}{c}\hfill {\varphi }^{″}+\varphi =0\end{array}$$

as

$$\begin{array}{c}\hfill D({\varphi }^{″}(t)+\varphi (t))=D{D}^{-1}({\psi }^{″}\circ G(t))+D(\psi \circ G(t))=({\psi }^{″}+D\psi )\circ G(t)=0.\end{array}$$

Funding

Open access funding provided by Swiss Federal Institute of Technology Zurich Partial financial support was received from the Swiss National Science Foundation and Engineering and Physical Sciences Research Council.

Data Availability

The datasets generated during and/or analysed during the current study are available in the repository https://doi.org/10.5281/zenodo.8081076.

Declarations

Conflict of interest

The authors have no competing interests to declare that are relevant to the content of this article.