Optical waveguiding by atomic entanglement in multilevel atom arrays

Significance

Atomic ensembles constitute a dominant platform for realizing quantum interfaces between light and matter. In dense and ordered arrays, destructive interference in photon emission leads to the emergence of subradiant states, which are protected from radiative decay and have long lifetimes. This phenomenon has attracted a lot of interest recently, with work showing that collective emission can be used to realize improved quantum memories and atomic mirrors. These ideas strongly rely on one assumption: that atoms have a unique ground state. Our work discusses the survival of subradiance for atoms with complex internal structure. In particular, we unveil a different mechanism for subradiance, which crucially depends on entanglement, a radical departure from the physics of classical-dipole lattices or 2-level atom arrays.

Abstract

The optical properties of subwavelength arrays of atoms or other quantum emitters have attracted significant interest recently. For example, the strong constructive or destructive interference of emitted light enables arrays to function as nearly perfect mirrors, support topological edge states, and allow for exponentially better quantum memories. In these proposals, the assumed atomic structure was simple, consisting of a unique electronic ground state. Within linear optics, the system is then equivalent to a periodic array of classical dielectric particles, whose periodicity supports the emergence of guided modes. However, it has not been known whether such phenomena persist in the presence of hyperfine structure, as exhibited by most quantum emitters. Here, we show that waveguiding can arise from rich atomic entanglement as a quantum many-body effect and elucidate the necessary conditions. Our work represents a significant step forward in understanding collective effects in arrays of atoms with realistic electronic structure.

Realizing efficient atom–light interactions is a major goal in quantum optics. Due to the intrinsically weak coupling between photons and atoms in free space, atomic ensembles have risen as one of the workhorses of the field, as the interaction probability with photons is enhanced due to the large number of atoms in the cloud (1). Atomic ensembles have broad potential applications, which include, among others, photon storage and retrieval (1–3), few-photon nonlinear optics (4–7), and metrology (8–10). The fidelity of an atomic ensemble in carrying out any of these applications is fundamentally limited by the so-called optical depth, which is a product of the interaction probability between a single atom and a photon in a given optical mode and the total number of atoms. While the important role of optical depth is ubiquitously stated in literature (11–14), the underlying arguments in fact rely on one crucial assumption: that the atoms do not interact with each other and thus that photon emission happens at a rate given by that of single atoms. It is clear, however, that this approximation breaks down when atoms are close to each other, as photon emission is a wave phenomenon and interference and multiple scattering effects will be relevant at short distances.

In dense and ordered atomic arrays (15–24), strong constructive or destructive interference of light emitted by excited atoms allows one to exceed the fidelities predicted by these simple optical depth arguments in applications (25). For example, it has been theoretically shown that interference can impact communication and metrology applications: It enables both an exponential improvement in the fidelity of a quantum memory (25, 26) and an improvement of the signal-to-noise ratio in optical lattice clocks (27, 28). More generally, interference in arrays can give rise to exotic phenomena (29–37), which have no counterpart in disordered atomic gases. These include perfect reflection of light (38, 39) or the existence of guided topological edge states of light in 2-dimensional (2D) arrays (40, 41).

In these previous theoretical works, the atoms were assumed to have a unique electronic ground state. For 2-level atoms, and within the single-excitation manifold, multiple scattering enables a process where an excited atom $i$ can interact and exchange its excitation with another atom $j$ in its ground state (shown in Fig. 1A). The resulting dynamical equations are exactly equivalent to $N$ classical polarizable dipoles interacting via their radiated fields. In particular, it is well-known that ordered arrays of dielectric particles can support lossless guided modes (42–44). Within the context of infinite atomic arrays, waveguiding manifests itself in the form of perfectly “subradiant” single-excitation states with zero decay rate (25, 33), a key idea underlying the previously proposed phenomena. In reality, though, most atoms display a rich hyperfine structure—which arises from the coupling between the total electron and nuclear angular momenta—and have more than one ground state. Given the growing body of theoretical and experimental literature about atomic arrays, it is critical to understand the underlying physics of collective optical phenomena for atoms with nontrivial internal structure.

Fig. 1.

Illustration of the breakdown of the 2-level atom picture of dipole–dipole interactions, due to atomic hyperfine structure. (A) Illustration of photon-mediated interactions between two 2-level atoms, with unique ground and excited states. (B) Schematic of a 1D array of multilevel atoms extended along the $z$ direction. The atoms considered have 2 ground states $\left\{\left|0\right.⟩,\left|1\right.⟩\right\}$, with Zeeman quantum numbers $m_g=\left\{-1/\mathrm{2,1}/2\right\}$, and 4 excited states $\left\{\left|2\right.⟩,\left|3\right.⟩,\left|4\right.⟩,\left|5\right.⟩\right\}$, with quantum numbers $m_e=\left\{-3/2,-1/\mathrm{2,1}/\mathrm{2,3}/2\right\}$, respectively. The angular-momentum quantization axis lies parallel to the orientation of the chain. The transitions are coupled by photons of different polarization (depicted by different colors), such that $m_e-m_g=\left\{0,\pm 1\right\}$, for polarizations $\left\{\pi ,{\sigma }^{\mp }\right\}$, respectively. (C) Illustration of the breakdown of a 2-level subspace and subradiance. It is assumed that all atoms are initially in ground state $m_g=-1/2$, with the exception of atom $i$, which decays from a stretched state emitting a photon. While atom $i$ necessarily ends up in state $m_g=-1/2$, the emitted photon does not have a spatially uniform polarization. In particular, in a geometry that is not purely 1D, the emitted photon could drive another atom $k$ out of the stretched 2-level subspace (here illustrated by absorption of a ${\sigma }^{+}$ photon). Once atom $k$ is outside the 2-level subspace, the excited state can decay into an unoccupied state (illustrated here by emission of a $\pi$ photon) at the rate of a single, isolated atom, which is not affected by collective effects.

The complexity introduced by hyperfine structure is illustrated in Fig. 1, where one can see that light-mediated dipole–dipole interactions generally do not allow the atomic dynamics to be confined to a 2-level subspace. In particular, even if atoms are initialized in such a subspace, emitted photons can drive other atoms out of the 2-level manifold, as photons do not have a uniform polarization in space. Once an atom is excited out of this subspace, the possibility to decay into unoccupied ground states cannot be suppressed by interference. Thus, even for a single excitation, the mechanism of subradiance, if it exists, could involve some many-body phenomena. Indeed, the condition for subradiance to exist has already been investigated in the “Dicke” limit (45), where all atoms are located at a single point and thus effectively interact with a single, common electromagnetic mode. Interestingly, it was found that subradiance required a specific entanglement structure within the ground-state manifold.

In this article, we tackle the problem of collective effects in extended arrays of atoms with hyperfine structure. In particular, using a generalized “spin model” describing dipole–dipole interactions in the presence of hyperfine structure, we identify and analyze different classes of subradiant single-excitation states in a 1D atomic array. We find that the classical waveguiding effect still underlies the vast majority of subradiant states. Here, over large spatial regions, atoms in the array essentially live within a 2-level subspace, interrupted by local “defect” states or domain walls that divide “phase-separated” regions. However, we also describe a truly many-body mechanism, where waveguiding is enabled through rich, long-range entanglement within the ground-state manifold, and we elucidate the necessary conditions for its existence. These results are an important step forward in understanding collective effects in atoms with realistic electronic structure.

Spin Model and Minimal Toy Atom

Here, we introduce a spin model to describe the photon-mediated quantum interactions between atoms. We consider atoms whose electronic structure consists of a ground- and excited-state manifold, with total hyperfine angular momenta quantum numbers $F_g$ and $F_e$, respectively. A complete basis can be obtained by labeling states according to the projection of angular momentum along the $z$ axis, $\left|F_{g/e}\hspace{0.17em}{m}_{g/e}\right.⟩$, where $m_{g/e}\in \left[-F_{g/e},F_{g/e}\right]$ are Zeeman sublevels. We thus can describe the state of an atom by its quantum numbers, i.e., $\left|F_e\hspace{0.17em}{m}_e\right.⟩$ if it is excited or $\left|F_g\hspace{0.17em}{m}_g\right.⟩$ if it is in the ground-state manifold. The ground and excited states couple to light via well-defined selection rules, such that $m_e=m_g+q$, with $q=\left\{0,\pm 1\right\}$ denoting the units of angular momentum that can be transferred by a photon. We can define an atomic raising operator that depends on $q$ as

$${\widehat{\mathrm{\Sigma }}}_{iq}^{†}=\sum _{m_g=-F_g}^{F_g}{C}_{m_g,q}{\widehat{\sigma }}_{F_e{m}_g-q,F_g{m}_g}^i,$$ [1]

where ${\widehat{\sigma }}_{F_e{m}_g-q,F_g{m}_g}^i={\left|F_e\hspace{0.17em}{m}_g-q\right.⟩}_i{\left.⟨F_g\hspace{0.17em}{m}_g\right|}_i$ is the atomic coherence operator between the ground and excited states of atom $i$. This operator conveniently groups all of the possible transitions which transfer $q$ units of angular momentum along $z$. These are weighted by the Clebsch–Gordan coefficients

$$C_{m_g,q}={\left(-1\right)}^{F_g-m_g}\left(\begin{array}{ccc}{F}_g\hspace{1em}\hfill & \hfill 1\hspace{1em}\hfill & \hfill F_e\hfill \\ -m_g\hspace{1em}\hfill & \hfill q\hspace{1em}\hfill & \hfill m_g-q\hfill \end{array}\right),$$ [2]

written here in terms of a Wigner 3j symbol, which reflect the different strengths that the possible transitions couple to light of a given polarization.

Spin Model for Multilevel Atoms.

Intuitively, the interaction with light allows for processes of photon-mediated emission and reabsorption, where the excitation of one atom decays and another is excited. We describe such dynamics by means of a spin model (46–53) where we integrate out the photons and find an all-atomic density matrix that depends only on the internal degrees of freedom of the atoms. Specifically, the evolution of the atomic density matrix ${\widehat{\rho }}_{\mathrm{A}}$ obeys ${\dot{\widehat{\rho }}}_{\mathrm{A}}=-\left(\mathrm{\text{i}}/\hslash \right)\left[\mathcal{H},{\widehat{\rho }}_{\mathrm{A}}\right]+\mathcal{L}\left[{\widehat{\rho }}_{\mathrm{A}}\right]$, where $\mathcal{H}$ is the Hamiltonian, and $\mathcal{L}\left[{\widehat{\rho }}_{\mathrm{A}}\right]$ is the Lindblad operator. For atoms with hyperfine structure and resonance frequency ${\omega }_0$, these operators read

$$\mathcal{H}=\hslash \sum _{i,j=1}^N\sum _{q,q\prime =-1}^1{J}_{ijqq\prime }{\widehat{\mathrm{\Sigma }}}_{iq}^{†}{\widehat{\mathrm{\Sigma }}}_{jq\prime },$$ [3a]

$$\begin{array}{l}\hfill \mathcal{L}\left[\rho \right]=\sum _{i,j=1}^N\sum _{q,q\prime =-1}^1\frac{{\mathrm{\Gamma }}_{ijqq\prime }}{2}\left(2{\widehat{\mathrm{\Sigma }}}_{jq\prime }\rho {\widehat{\mathrm{\Sigma }}}_{iq}^{†}-{\widehat{\mathrm{\Sigma }}}_{iq}^{†}{\widehat{\mathrm{\Sigma }}}_{jq\prime }\rho \right.\\ \hfill \left.-\rho {\widehat{\mathrm{\Sigma }}}_{iq}^{†}{\widehat{\mathrm{\Sigma }}}_{jq\prime }\right),\end{array}$$ [3b]

where we have defined the polarization-dependent spin-exchange and decay rates as

$$J_{ijqq\prime }=-\frac{{\mu }_0{\omega }_0^2}{\hslash }{\left|\mathit{\wp }\right|}^2\hspace{0.17em}{\widehat{\mathbf{\text{e}}}}_q\cdot \text{Re}\hspace{0.17em}\mathbf{\text{G}}\left({\mathbf{\text{r}}}_i,{\mathbf{\text{r}}}_j,{\omega }_0\right)\cdot {\widehat{\mathbf{\text{e}}}}_{q\prime }^{*},$$ [4a]

$${\mathrm{\Gamma }}_{ijqq\prime }=\frac{2{\mu }_0{\omega }_0^2}{\hslash }|\mathit{\wp }{|}^2\hspace{0.17em}{\widehat{\mathbf{\text{e}}}}_q\cdot \text{Im}\hspace{0.17em}\mathbf{\text{G}}\left({\mathbf{\text{r}}}_i,{\mathbf{\text{r}}}_j,{\omega }_0\right)\cdot {\widehat{\mathbf{\text{e}}}}_{q\prime }^{*},$$ [4b]

with $\mathit{\wp }=⟨F_g\Vert e\widehat{\mathbf{\text{r}}}\Vert F_e⟩$ being the reduced matrix element associated with the transition. In the above equations, ${\widehat{\mathbf{e}}}_{\pm 1}=\mp \frac{1}{\sqrt{2}}\left(\widehat{x}\pm \mathrm{\text{i}}ŷ\right)$, and ${\widehat{\mathbf{e}}}_0=\widehat{z}$ are spherical basis vectors. Physically, the spin-exchange and decay rates are proportional to the classical field amplitude projected along polarization $q$ at position ${\mathbf{\text{r}}}_i$, due to a classical oscillating dipole of polarization $q\prime$ at ${\mathbf{\text{r}}}_j$. Naturally, they are given in terms of the free-space electromagnetic Green’s tensor, $\mathbf{\text{G}}\left({\mathbf{\text{r}}}_i,{\mathbf{\text{r}}}_j,{\omega }_0\right)\equiv \mathbf{\text{G}}\left({\mathbf{\text{r}}}_{ij},{\omega }_0\right)$, with ${\mathbf{\text{r}}}_{ij}={\mathbf{\text{r}}}_i-{\mathbf{\text{r}}}_j$, which reads

$$\begin{array}{l}\hfill \mathbf{\text{G}}\left(\mathbf{\text{r}},{\omega }_0\right)=\frac{e^{\mathrm{\text{i}}{k}_{0}r}}{4\pi k_0^2{r}^3}\left[\left(k_0^2{r}^2+\mathrm{\text{i}}{k}_{0}r-1\right)\mathbb{1}\right.+\\ \hfill \hspace{1em}\hspace{1em}\left.+\left(-k_0^2{r}^2-3\mathrm{\text{i}}{k}_{0}r+3\right)\frac{\mathbf{\text{r}}\otimes \mathbf{\text{r}}}{r^2}\right],\end{array}$$ [5]

where $r\equiv \left|\mathbf{\text{r}}\right|$ and $k_0=2\pi /{\lambda }_0={\omega }_0/c$ is the wave number corresponding to the atomic transition energy. Note that the Green’s function ${\mathbf{\text{G}}}_{\alpha \beta }$ is a tensor quantity ($\left\{\alpha ,\beta \right\}=\left\{x,y,z\right\}$), as both the electromagnetic field and the atomic transition have specific polarizations. These equations are derived within the Markovian approximation, which is highly justified for our system under consideration (13, 54, 55).

The dynamics under the master equation can analogously be described in the quantum jump formalism (56), where the last 2 terms in the parentheses of Eq. 3b are combined with $\mathcal{H}$ to form a non-Hermitian Hamiltonian that characterizes the deterministic evolution. Within this formalism, the effective non-Hermitian Hamiltonian is readily given by

$${\mathcal{H}}_{\text{eff}}=\hslash \sum _{i,j=1}^N\sum _{q,q\prime =-1}^1\left(J_{ijqq\prime }-\mathrm{\text{i}}\frac{{\mathrm{\Gamma }}_{ijqq\prime }}{2}\right){\widehat{\mathrm{\Sigma }}}_{iq}^{†}{\widehat{\mathrm{\Sigma }}}_{jq\prime }.$$ [6]

While this equation is quite general, we now highlight several points, which are key to understanding collective decay:

• •First, for a single, isolated atom, we obtain the total decay rate from excited sublevel $m_e$ as ${\mathrm{\Gamma }}_0={\sum }_q{\mathrm{\Gamma }}_{iiqq}{C}_{m_e+q,q}^2$, which is equal for all $m_e$. The branching fraction into a specific ground state $m_g=m_e+q$ is simply given by $C_{m_e+q,q}^2$.
• •Second, the form of ${\mathcal{H}}_{\text{eff}}$ illustrates that, in general, lowering one atom angular-momentum projection by $q$ does not necessarily imply that another atom’s projection is raised by $q$ ($q\prime \ne q$), as $q$ refers to the dipole matrix element and not the global polarization of the emitted photon (Fig. 1C). Thus, a system initialized in a 2-level subspace does not generally remain in that space under coherent dynamics. In particular, even if the initially involved excited state decays to a unique ground state, a different excited state can become populated later in time (see atoms $i$ and $k$ in Fig. 1C). We note that one way to suppress such undesired excitation pathways (e.g., the ${\sigma }^{+}$ transition of atom $k$) is by applying large Zeeman shifts. While this might indeed constitute a practical way to maintain the desired effects of subradiance to some extent given hyperfine structure, our focus here is on identifying a true many-body mechanism for subradiance, which fundamentally persists in the presence of multiple pathways.
• •Finally, we consider the situation where an excited atom has an allowed decay channel into a ground state that is unoccupied by any atoms (illustrated by atom $k$ in Fig. 1C following absorption of a ${\sigma }^{+}$ photon). In that case, there is no interference; the excited state decays into that ground-state level with the full strength of a single, isolated atom. Presumably, any mechanism for strong subradiance must then prevent this process from occurring.

It will also be useful to calculate the emitted quantum field associated with any given atomic state. It can be shown that the positive frequency component reads

$${\widehat{\mathbf{\text{E}}}}^{+}\left(\mathbf{\text{r}}\right)={\mu }_0{\omega }_0^2\sum _{j=1}^N\sum _{q=-1}^1\mathbf{\text{G}}\left(\mathbf{\text{r}},{\mathbf{\text{r}}}_j,{\omega }_0\right)\cdot {\widehat{\mathbf{e}}}_q^{*}\hspace{0.17em}\wp \hspace{0.17em}{\widehat{\mathrm{\Sigma }}}_{jq}.$$ [7]

From Eq. 7, we can find the negative-frequency component ${\widehat{\mathbf{\text{E}}}}^{-}\left(\mathbf{\text{r}}\right)$ by taking the Hermitian conjugate of ${\widehat{\mathbf{\text{E}}}}^{+}\left(\mathbf{\text{r}}\right)$. The field also in principle contains a vacuum noise component (25), which will not affect our quantities of interest and is thus not explicitly written.

One-Dimensional Chain.

From now on, we focus on the problem of a 1D chain. We will see that this system both encodes the classical waveguiding effect previously identified for 2-level atoms and allows for additional highly correlated subradiant states due to multilevel structure. Moreover, 1D allows for numerics on relatively large systems (not dominated by boundaries), and we can take advantage of additional conserved quantities that allow us to simplify the problem. For the sake of simplicity, we choose the direction of the chain to align to the quantization axis of the atoms (i.e., along $z$). This guarantees the conservation of polarization of the emitted photons, as ${\mathbf{\text{G}}}_{\alpha \beta }=0$ along the axis if $\alpha \ne \beta$ (i.e., ${\mathbf{\text{G}}}_{\alpha \beta }$ is a diagonal tensor in the polarization indexes). Therefore, the only nonzero interactions are those preserving polarization (i.e., $q=q\prime$) and the effective Hamiltonian simplifies to

$${\mathcal{H}}_{\text{eff}}=\hslash \sum _{i,j=1}^N\sum _{q=-1}^1\left(J_{ijq}-\mathrm{\text{i}}\frac{{\mathrm{\Gamma }}_{ijq}}{2}\right){\widehat{\mathrm{\Sigma }}}_{iq}^{†}{\widehat{\mathrm{\Sigma }}}_{jq},$$ [8]

where $J_{ijq}\equiv J_{ijqq}$ and ${\mathrm{\Gamma }}_{ijq}\equiv {\mathrm{\Gamma }}_{iiqq}$.

Until now, our spin model captures the dynamics of atoms with any kind of hyperfine structure. Hereafter, we focus on what we consider to be the minimal toy model that captures all of the relevant physics: 6-level atoms with $F_g=1/2$ and $F_e=3/2$ (Fig. 1B). This specific hyperfine structure displays closed transitions, where an excited state with maximum angular-momentum projection $m_e=\pm 3/2$ can decay only to only one ground state, also with maximum angular-momentum projection $m_g=\pm 1/2$ in the ground-state manifold by emitting a circularly polarized photon ($q=\mp 1$). It also exhibits excited states with $m_e=\pm 1/2$ where decay into 2 different ground states $m_g=\pm 1/2$ is allowed, which involve emission of photons of different polarizations ($q=\pm 1$ or $q=0$). To simplify notation, in what follows we label ground states with $m_g=\left\{-1/\mathrm{2,1}/2\right\}$ as $\left\{\left|0\right.⟩,\left|1\right.⟩\right\}$, respectively, and excited states with $m_e=\left\{-3/2,-1/\mathrm{2,1}/\mathrm{2,3}/2\right\}$ as $\left\{\left|2\right.⟩,\left|3\right.⟩,\left|4\right.⟩,\left|5\right.⟩\right\}$, respectively (Fig. 1B).

The conservation of angular-momentum projection along the direction of the chain allows us to diagonalize the Hamiltonian by blocks with well-defined $F_z={\sum }_{i=1}^N{m}_i$, where the sum over Zeeman sublevels includes both ground and excited states (Fig. 2). Note that subspaces with equal magnitude of angular-momentum projection but opposite sign (i.e., $\pm F_z$) display the same energy and decay spectra (i.e., the physics is identical if we simultaneously flip $m_g$ to $-m_g$ and $m_e$ to $-m_e$). In what follows, we study single-excitation subradiant states of various angular momentum manifolds, starting by maximum $\left|F_z\right|$ (as we will show, the most “classical” manifold) and ending by $F_z=0$ (the most complex and where subradiant states enabled by rich entanglement live).

Fig. 2.

Classification of (single-excitation) basis states within each subspace of conserved angular-momentum projection $F_z$ along the z axis. For $\left|F_z\right|=F_z^{\text{max}}$, the states live within a 2-level subspace, where one $\left(N-1\right)$ atoms occupy the excited (ground) states of minimum $m_e\left(m_g\right)$. As $\left|F_z\right|$ is lowered, one type of basis state consists of replacing some number of the ground-state atoms of minimum $m_g=-1/2$ with atoms (shown in red) with $m_g=+1/2$. These basis states containing “defect” atoms predominantly compose subradiant states, as described in the main text.

Motivated by previous work on 1D and 2D arrays with simple atomic structure (25), here we seek to elucidate the properties of eigenstates $\left|{\psi }_{\xi }\right.⟩$ of ${\mathcal{H}}_{\text{eff}}$ in the single-excitation manifold. In particular, such states will have complex eigenvalues ${\omega }_{\xi }=J_{\xi }-i{\mathrm{\Gamma }}_{\xi }/2$ characterizing the energy shifts and decay rates. Of specific interest is the identification of states where the decay rate approaches zero as $N\to \infty$, which implies that the states decouple from radiation fields and correspond to guided modes, and to elucidate the properties of the eigenstates that enable the waveguiding phenomenon. Importantly, while for simple 2-level atoms, the Hilbert space of the single-excitation manifold increases as $\sim N$ and encodes classical linear optics, here the manifold size increases exponentially, raising the possibility for waveguiding through entanglement.

Two-Level Subradiance: $\left|F_z\right|=F_z^{\text{max}}$

In each subspace $F_z$, it is first helpful to consider the full set of possible basis states. For example, within the single-excitation manifold, the maximum allowed value of $F_z$ is given by $F_z^{\text{max}}=\pm |F_e+\left(N-1\right)F_g|=\pm \left(N/2+1\right)$, which is achieved when one atom is excited in the state $\left|2\right.⟩$, with $m_e=-3/2$, while all other atoms are in the ground state $|0\rangle$, with $m_g=-1/2$. These states are connected through a ${\sigma }^{-}$ transition (that is, $q=1$). Since ${\mathcal{H}}_{\text{eff}}$ is block diagonalizable, $\left|F_z\right|=F_z^{\text{max}}$ thus corresponds to an effective 2-level atom subspace.

Numerically, we diagonalize ${\mathcal{H}}_{\text{eff}}$ within this subspace as a function of atom number $N$ and for selected different lattice constants $d$. For each $N$ and $d$, we then find the eigenstate with the minimum decay rate $\mathrm{\Gamma }$, which we plot in Fig. 3A. In agreement with our previous results (25), we find subradiant states if the interatomic distance $d$ is such that $d<{\lambda }_0/2$, ${\lambda }_0$ being the wavelength of the resonant transition. The decay rate of the most subradiant eigenstate scales as $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$, as also found previously for 2-level atoms. We calculate the field intensity radiated by the most subradiant eigenstate $\left|\psi \right.⟩$ by numerically finding the expectation value of the intensity operator $I\left(\mathbf{\text{r}}\right)=⟨\psi |{\widehat{\mathbf{\text{E}}}}^{-}\left(\mathbf{\text{r}}\right)\cdot {\widehat{\mathbf{\text{E}}}}^{+}\left(\mathbf{\text{r}}\right)|\psi ⟩$, according to Eq. 7. The intensity pattern in Fig. 3B demonstrates strong emitted intensity at the ends of the chain and absence of intensity in the middle, as would be expected for a finite-size waveguide.

Fig. 3.

Properties of the most subradiant eigenstate in the $|F_z{|}^{\text{max}}$ manifold. (A) Decay rate $\mathrm{\Gamma }$ of the most subradiant eigenstate vs. atom number, for different lattice constants. The solid lines are guides to the eye and scale as $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$. A, Inset illustrates the kind of states that appear in this manifold (where one atom is in $\left|2\right.⟩$ and all of the others are in $\left|0\right.⟩$). (B) Field intensity (arbitrary units) emitted by the most subradiant mode in a chain of $N=50$ atoms. The field is largely evanescent transverse to the bulk of the chain, while most of the energy is radiated out through scattering at the ends of the chain, as expected for an optical waveguide. Red circles denote atomic positions.

As previously remarked, the guiding effect is entirely classical. Because the ground state is unique and there is only one excitation in the system (i.e., $N$ degrees of freedom), one can alternatively deduce this state by considering $N$ coupled harmonic oscillators. In that case, the stationary states under full master equation evolution are coherent states $\left|{\psi }_{\xi }^{ho}\right.⟩=\left|{\alpha }_1{e}^{-i{\omega }_{\xi }t}\right.⟩\left|{\alpha }_2{e}^{-i{\omega }_{\xi }t}\right.⟩\dots \left|{\alpha }_N{e}^{-i{\omega }_{\xi }t}\right.⟩$. Here, the coherent-state amplitude ${\alpha }_i\propto c_i$ of harmonic oscillator $i$ is proportional to the spin wavefunction amplitude of the corresponding single-excitation spin eigenstate $\left|{\psi }_{\xi }\right.⟩={\sum }_i{c}_i{\sigma }_{20}^i{\left|0\right.⟩}^{\otimes N}$ found earlier. These coherent-state amplitudes evolve in time as $e^{-i{\omega }_{\xi }t}$ with a frequency ${\omega }_{\xi }$ corresponding to the spin-state eigenvalue. These harmonic oscillator states physically describe classical resonant dipole arrays, interacting with each others’ radiated fields. In particular, it is well-known that an infinite array can support guided modes. Starting from such states, we can apply an operator $\mathcal{P}$ that projects these states into the single-excitation manifold, which then exactly reproduces the single-excitation spin eigenstates $\left|{\psi }_{\xi }\right.⟩$. This implies that the resulting physics can be understood purely classically—even if the spin eigenstates themselves are technically entangled—as the entanglement simply arises from the projection at the end. As we will see later on, there are entangled states that do not support any analogy with those of classical dipoles.

The waveguiding concept can be additionally confirmed by considering an infinite chain. In this case, we can diagonalize the Hamiltonian using spin waves with well-defined momentum $k$ along $z$ and readily find ${\mathcal{H}}_{\text{eff}}={\sum }_{q=-1}^1{\tilde{\mathcal{H}}}_{\text{q}}$, where

$${\tilde{\mathcal{H}}}_{\text{q}}=\hslash \sum _k\left(J_{k,q}-\mathrm{\text{i}}\frac{{\mathrm{\Gamma }}_{k,q}}{2}\right){Ŝ}_{k,q}^{†}{Ŝ}_{k,q},$$ [9]

with ${Ŝ}_{k,q}^{†}=N^{-1/2}{\sum }_j{e}^{\mathrm{\text{i}}kdj}{\widehat{\mathrm{\Sigma }}}_{jq}^{†}$ and

$$J_{k,q}=-\frac{{\mu }_0{\omega }_0^2}{\hslash }|\mathit{\wp }{|}^2\hspace{0.17em}{\widehat{\mathbf{\text{e}}}}_q\cdot \text{Re}\hspace{0.17em}\widetilde{\mathbf{\text{G}}}\left(k,{\omega }_0\right)\cdot {\widehat{\mathbf{\text{e}}}}_q^{*},$$ [10a]

$${\mathrm{\Gamma }}_{k,q}=\frac{2{\mu }_0{\omega }_0^2}{\hslash }|\mathit{\wp }{|}^2\hspace{0.17em}{\widehat{\mathbf{\text{e}}}}_q\cdot \text{Im}\hspace{0.17em}\widetilde{\mathbf{\text{G}}}\left(k,{\omega }_0\right)\cdot {\widehat{\mathbf{\text{e}}}}_q^{*}.$$ [10b]

In Eqs. 10a and 10b, $\widetilde{\mathbf{\text{G}}}\left(k\right)={\sum }_j{e}^{-\mathrm{\text{i}}kdj}\mathbf{\text{G}}\left(z_j\right)$ is the discrete Fourier transform of the free-space Green’s tensor. Eigenstates in the single-excitation manifold can be generated by applying a spin raising operator $S_{k,1}^{†}$ to the product ground state ${\left|0\right.⟩}^{\otimes N}$. For $k>{\omega }_0/c$—such that the spin wavevector exceeds the wavevector of free-space radiation—one finds that ${\mathrm{\Gamma }}_{k,q}=0$, indicating the decoupling of the spin wave from radiation fields and thus the guided nature of these excitations. We note that the ability to restrict dynamics to a 2-level subspace is unique to a 1D chain, as in higher dimensions the Hamiltonian of Eq. 6 is not restricted to $q=q\prime$. This motivates the deeper investigation of subradiance in subspaces of other total $F_z$, to find a true many-body mechanism.

Defect States: $\left|F_z\right|=\left|F_z^{\text{max}}\right|-1$

Reducing the angular momentum projection by one unit increases the complexity of the problem. This is manifest in the larger size of the Hilbert subspace, of dimension $dim\left(\mathcal{H}\right)=N^2$. The basis states are of 2 types: 1) defect states where one atom is excited in $\left|2\right.⟩$ ($m_e=-3/2$), $N-2$ atoms are in $\left|0\right.⟩$ ($m_g=-1/2$) (reminiscent of the 2-level subspace of the previous subsection), and one defect atom is in the ground state $|1\rangle$ ($m_g=1/2$) and 2) states where all atoms except one are in the ground state $\left|0\right.⟩$, and the excited state involves level $|3\rangle$ ($m_e=-1/2$), a state without maximal angular momentum projection. From the considerations of the section Spin Model for Multilevel Atoms, it is already clear that any highly subradiant states must exhibit the following features. First, because the basis states containing excited-state $\left|3\right.⟩$ have an allowed transition (via a $q=1$ photon) to state $|1\rangle$, which is unoccupied, such states will decay into $|1\rangle$ at the full strength ${\mathrm{\Gamma }}_0/3$ of a single, isolated atom. Thus, these basis states must constitute a vanishingly small weight of a subradiant state. Second, for basis states composed of a single atom $j$ in state $|1\rangle$, one can conclude that coherent interactions with an atom $i$ in state $|2\rangle$ allow for an exchange $\left|2_i\hspace{0.17em}{1}_j\right.⟩\to \left|0_i\hspace{0.17em}{3}_j\right.⟩$, while we argued already that state $|3\rangle$ is undesirable. Thus, a subradiant state must find some mechanism to “hide” the atom in state $|1\rangle$ from the dynamics.

This intuition agrees with our numerical findings. For the most subradiant eigenstates, the population of state $\left|3\right.⟩$ decreases as ${\sum }_j⟨{\widehat{\sigma }}_{33}^j⟩\sim 1/N^3$; i.e., in the thermodynamic limit the most subradiant eigenstate is mostly formed by defect states and is of the form

$$\left|\psi \right.⟩=\sum _{i,j=1}^N{c}_{ij}\hspace{0.17em}{\widehat{\sigma }}_{20}^i{\widehat{\sigma }}_{10}^j{\left|0\right.⟩}^{\otimes N}.$$ [11]

Fig. 4A shows the spatial profile of the population in levels $\left|1\right.⟩$ and $\left|2\right.⟩$ of the most subradiant eigenstate of a chain of $N=30$ atoms. The population in the excited state $\left|2\right.⟩$ is spatially smooth, as it is distributed among all atoms. On the other hand, the population in the defect level $\left|1\right.⟩$ is localized in a superposition between both edges of the chain (in particular, the defect atom is the third one, counting from both edges). The population of level $\left|3\right.⟩$ is spatially correlated with that of $\left|1\right.⟩$, as $⟨{\sigma }_{33}^j⟩\propto ⟨E^{-}\left({\mathbf{\text{r}}}_j\right)E^{+}\left({\mathbf{\text{r}}}_j\right)⟩⟨{\sigma }_{11}^j⟩$ (SI Appendix). The population in this level is also localized around the third atom, but negligible in the scale of Fig. 4A. As shown in Fig. 4B, the decay rate of the most subradiant state with atom number scales as $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$. Fig. 4C shows the scaling of the field intensity at the position of the central atom of the chain versus that at the defect atom. The latter scales as $I\sim 1/N^3$. This confirms our previous intuition that the defect atom is efficiently “hidden” from the rest of the chain. In particular, the low intensity seen by the defect atom ensures that it cannot be efficiently excited to level $\left|3\right.⟩$ and that the large decay rate of this excited state does not destroy subradiance. The precise spatial location of the defect atom depends on microscopic details and changes depending on the length of the chain (it appears just at the edge for short chains and in atoms farther away from the boundaries for longer chains), but the precise location does not qualitatively alter the physics (SI Appendix).

Fig. 4.

Defect states in $\left|F_z\right|=\left|F_z^{\text{max}}\right|-1$. (A) Spatial profile of the populations of levels $\left|1\right.⟩$ (red) and $\left|2\right.⟩$ (blue) in the most subradiant eigenstate of a chain of $N=30$ atoms. The population of $\left|3\right.⟩$ is negligible in all atoms. The solid lines are guides to the eye. (B) Decay rate of the most subradiant eigenstate vs. atom number $N$. The line is a guide to the eye that scales as $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$. (C) Field intensity (in arbitrary units) at the central and defect atoms. The lines are guides to the eye and follow $I\sim 1/N$ (blue) and $I\sim 1/{\left(N-n\right)}^3$ (red) with $n=\left\{\mathrm{1,3,4}\right\}$, where $n$ represents the position of the atomic defect. For all plots, $d=0.3{\lambda }_0$.

Furthermore, when $F_z=\left|F_z^{max}\right|-n_d$ is further reduced (with $n_d\ll \left|F_z^{max}\right|$), the most subradiant states are of similar character, with long chains of “2-level” atoms interrupted by $n_d$ defects, whose potentially detrimental effects are reduced as they are largely decoupled (SI Appendix). Importantly, the character of such states, dominated by the waveguiding of effective 2-level atoms, does not yet point to any nontrivial mechanism for subradiance.

Phase-Separated and Symmetric States: $F_z=0$

For an even number of atoms, there is a subspace with zero angular-momentum projection. This manifold is the largest one, with dimension that scales exponentially with atom number. In this manifold, we have approximately the same number of atoms in each of the degenerate ground states, allowing for many different combinations. We are able to find 2 different kinds of subradiant states: phase-separated states and symmetric states. In the following, we study these 2 families in detail.

Phase-Separated States.

Decreasing angular momentum increases the number of defects, which tend to localize at the chain edges. In $F_z=0$, approximately half of the chain is made of defects, and phase separation and domain walls emerge, which we discuss in this section. Phase-separated states occur when the number of defects is so large that half of the chain is in a “defect state” with respect to the other half. The “active” phase involves one atom excited in $\left|2\right.⟩$ (or $\left|5\right.⟩$) and $N/2-2$ in $\left|0\right.⟩$ ($\left|1\right.⟩$), which participate in 2-level subradiance: The atoms exchange photons with $q=1\left(-1\right)$ and get excited and decay via closed transitions. The inactive or defect phase consists of $N/2+1$ atoms in $\left|1\right.⟩$ ($\left|0\right.⟩$). It should be noted that the eigenstate is a spatial superposition, where the active part can equally occupy the left and right sides of the chain, with a domain wall in between the phases, as shown in Fig. 5A.

Fig. 5.

Phase-separated subradiant states in $F_z=0$. (A) Sketch of the most subradiant eigenstate. Blue (red) circles represent the phase with one excited atom in $\left|2\right.⟩$ ($\left|5\right.⟩$) and $N/2-2$ atoms in $\left|0\right.⟩$ ($\left|1\right.⟩$). The faded circles represent the “inactive” or defect phase. (B) Evidence of phase separation in a chain of $N=14$ atoms through correlations between $\left|0\right.⟩$ states at atoms $i,j$. (C) Scaling of decay rate with atom number for phase-separated states (orange line). In red is scaling of the most subradiant state of a chain of $N/2-1$ atoms in $\left|F_z^{\text{max}}\right|$. The solid line is a guide to the eye showing a scaling of $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/{\left(N/2-1\right)}^3$. For B and C, $d=0.3{\lambda }_0$.

To observe signatures of phase separation, we calculate connected correlation functions between different Zeeman sublevels $m,n$. These are defined as

$${\mathcal{C}}_{mn}\left(i,j\right)=⟨{\widehat{\sigma }}_{mm}^i{\widehat{\sigma }}_{nn}^j⟩-⟨{\widehat{\sigma }}_{mm}^i⟩⟨{\widehat{\sigma }}_{nn}^j⟩,$$ [12]

where the expectation value is calculated over the most subradiant eigenstate, and $i,j$ are atomic indexes. Fig. 5B shows the correlations ${\mathcal{C}}_{00}\left(i,j\right)$ between $\left|0\right.⟩$ states in different locations for the most subradiant state of a chain of $N=14$ atoms. We observe $\left|0\right.⟩$ states clustering around each other and “repelling” atoms in $\left|1\right.⟩$ states, displaying anticorrelations. The orange line in Fig. 5C shows the scaling of the decay rate with respect to atom number. Due to the exponentially large size of the Hilbert space, we can exactly diagonalize only up to $N=14$ atoms. However, based on our intuition of phase separation, we expect the decay rate to closely coincide with that obtained for the most subradiant eigenstate of a chain of $N/2-1$ atoms in the $\left|F_z^{\text{max}}\right|$ subspace. This calculation is plotted in Fig. 5C (red curve) and seems to agree with the scaling of the phase-separated states.

As in our previous analysis of other manifolds, thus far these results do not point to some fundamentally new mechanism for waveguiding: These states can be understood as the chain separating into 2 domains, where 2-level subradiance occurs independently from the other.

Symmetric States.

We also numerically find evidence of another type of subradiant state, with significant population in states $\left|3\right.⟩$ and $\left|4\right.⟩$. These states also show no particular length scales or features in pairwise correlations, suggesting a qualitatively different mechanism for subradiance. To better grasp the underlying physics, we first introduce a “toy model” Hamiltonian, which is inspired by Eq. 9. In particular, while the Hamiltonian can exactly be written in terms of pure spin wave operators for an infinite system, we consider a hypothetical finite system whose Hamiltonian also takes the same form,

$$H=\hslash \sum _{q=-1}^1\sum _k\left(J_{k,q}-\mathrm{\text{i}}\frac{{\mathrm{\Gamma }}_{k,q}}{2}\right){Ŝ}_{k,q}^{†}{Ŝ}_{k,q},$$ [13]

where ${Ŝ}_{k,q}^{†}=N^{-1/2}{\sum }_j{e}^{\mathrm{\text{i}}kdj}{\widehat{\mathrm{\Sigma }}}_{jq}^{†}$ and $J_{k,q}$ and ${\mathrm{\Gamma }}_{k,q}$ are given in Eq. 10. In particular, as these quantities correspond to the results for an infinite system, we have that ${\mathrm{\Gamma }}_{k,q}=0$ when $\left|k\right|>k_0$. The wavevector $k$ is now taken to be a discrete index, with $k=2\pi n/N$ (with $n\in \left[0,N-1\right]$) to ensure periodic boundary conditions.

A perfectly subradiant eigenstate $\left|{\psi }_{\tilde{k}}\right.⟩$, of well-defined quasi-momentum $\tilde{k}$, with zero decay rate fulfills $\text{Im}\left\{H\left|{\psi }_{\tilde{k}}\right.⟩\right\}=0$. It should be noted that despite the apparent simplicity of Eq. 13, it is in general challenging to diagonalize, as the involved operators have complicated commutation relations. To proceed, we first find a state that fulfills the less demanding condition of being a zero-eigenvalue eigenstate of all spin operators ${Ŝ}_{k,q}$ if $k\ne \tilde{k}$. Such a state is found to be

$$\begin{array}{l}\hfill \left|{\psi }_{\tilde{k}}\right.⟩=\mathcal{N}\sum _{j=1}^N{e}^{\mathrm{\text{i}}\tilde{k}{z}_j}\left(\left|2_j\right.⟩\left|{\mathcal{D}}_{3/2}^j\right.⟩+\beta \left|3_j\right.⟩\left|{\mathcal{D}}_{1/2}^j\right.⟩\right.\\ \hfill \left.\hspace{1em}\hspace{1em}+\beta \left|4_j\right.⟩\left|{\mathcal{D}}_{-1/2}^j\right.⟩+\left|5_j\right.⟩\left|{\mathcal{D}}_{-3/2}^j\right.⟩\right),\end{array}$$ [14]

where $\beta =\left(C_{-1/\mathrm{2,1}}/C_{1/\mathrm{2,1}}\right)$, $\mathcal{N}$ is a normalization constant, and

$$\left|{\mathcal{D}}_{\alpha }^j\right.⟩=\sum _{m\ne j}{\mathcal{P}}_m\left\{{\left|0\right.⟩}^{\otimes n_0}\otimes {\left|1\right.⟩}^{\otimes n_1}\right\}$$ [15]

is a Dicke state where all of the atoms except $j$ are in ground states $\left|0\right.⟩$ or $\left|1\right.⟩$ such that the total angular momentum projection of the Dicke state is $\alpha =\left\{\pm 1/2,\pm 3/2\right\}$. In the above expression, $n_{0\left(1\right)}=\left(N-1\pm 2\alpha \right)/2$ is the number of atoms in state $\left|0\right.⟩\left(\left|1\right.⟩\right)$, and ${\sum }_m{\mathcal{P}}_m$ denotes the sum over all distinct permutations of the ground states. It should be noted that Dicke states are known to exhibit significant multipartite entanglement (57, 58). More importantly, the entanglement of this state cannot be obtained simply by applying a projection operator on a coherent state, as was the case for 2-level subradiance. Remarkably, the limit where $H$ is composed of only one $k$ vector corresponds to ref. 45, which shows the existence of states that are zeros of a single jump operator. Our states, however, must satisfy many relationships involving all spin wave operators ${Ŝ}_{k\ne \tilde{k},q}$.

For the state in Eq. 14 to be a lossless eigenstate of $H$ it needs to fulfill

$$H\left|{\psi }_{\tilde{k}}\right.⟩=\hslash \sum _{q=-1}^1\left(J_{\tilde{k},q}-\mathrm{\text{i}}\frac{{\mathrm{\Gamma }}_{\tilde{k},q}}{2}\right){Ŝ}_{\tilde{k},q}^{†}{Ŝ}_{\tilde{k},q}\left|{\psi }_{\tilde{k}}\right.⟩={\lambda }_{\tilde{k}}\left|{\psi }_{\tilde{k}}\right.⟩,$$ [16]

with ${\lambda }_{\tilde{k}}\in \mathbb{R}$. In Eq. 16, we have utilized the property that $S_{k\ne \tilde{k},q}\left|{\psi }_{\tilde{k}}\right.⟩=0$, to eliminate all but a single spin wave operator from $H\left|{\psi }_{\tilde{k}}\right.⟩$. For $\left|\tilde{k}\right|>k_0$ (such that ${\mathrm{\Gamma }}_{\tilde{k},q}=0$), we find that the eigenstate condition Eq. 16 is satisfied provided that the dispersion relations for both polarizations $\left|q\right|=\mathrm{0,1}$ coincide at $\tilde{k}$; i.e., $J_{\tilde{k},q}\equiv J_{\tilde{k}}$, with a corresponding eigenvalue ${\lambda }_{\tilde{k}}=C_{-1/\mathrm{2,1}}^2\hslash J_{\tilde{k}}$. We subsequently show that an intersection of the dispersion relations at $\left|\tilde{k}\right|>k_0$ gives rise to waveguiding not only in our toy model, but also in the original physical system.

In free space the dispersion relations $J_{k,\pm 1}$ and $J_{k,0}$ are in general different (25) and intersect for a given $\tilde{k}>k_0$ only for distances $d\lesssim 0.17{\lambda }_0$. Numerically, however, it is difficult to confirm directly that an intersection in such a case leads to a decay rate approaching zero as $N\to \infty$. We attribute this to the fact that for the limited $N$ that we can simulate, the small lattice constant $d\ll {\lambda }_0$ still results in significant finite-size effects due to the short length of the chain and because the intersection of the dispersion relations occurs close to radiative wavevectors $\left|\tilde{k}\right|\sim k_0$ (that is, for a short system, significant components of the many-body wavefunction still have wavevectors that couple to radiation). Thus, to better confirm our hypotheses, we add an additional short-range term to the $q=\pm 1$ interaction rates, $J_{ij,q=\pm 1}\to J_{ijq=\pm 1}+J_{ijq=\pm 1}^{\prime }$, given by

$$J_{ij,q=\pm 1}^{\prime }\left(\mathbf{r}\right)=-\frac{360\mathrm{\Delta }}{7}{\left(\frac{d}{\pi r}\right)}^4.$$ [17]

Here, $\mathrm{\Delta }=J_{k=\pi /d,q=0}-J_{k=\pi /d,q=1}$ is the difference between the original free-space dispersion relations of Eq. 10, evaluated at the edge of the Brillouin zone $k=\pi /d$. It can readily be shown that this extra term guarantees that both the dispersion relations and the slopes of the $q=0,\pm 1$ polarizations coincide at the Brillouin zone edges, $\left|k\right|=\pi /d$. In the following, we do not focus on the details of how such dispersion engineering is implemented, although we note that it can potentially be realized by introducing some dielectric structure to change the Green’s function itself or by dressing of atomic levels.

Fig. 6A shows the spatial profile of the most subradiant eigenstate of a finite chain of $N=16$ atoms obtained with dispersion engineering. The populations in levels $\left|2\right.⟩$ and $\left|5\right.⟩$ are identical, and so are the populations in $\left|3\right.⟩$ and $\left|4\right.⟩$. In Fig. 6B, we plot the decay rate of the most subradiant state vs. atom number. In particular, we observe a scaling of the decay rate with atom number of $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$, identical to that observed for classical waveguiding. Fig. 6C shows the fidelity between the most subradiant eigenstate of the finite chain and the toy model state $\left|{\psi }_{\tilde{k}}\right.⟩$ given by Eq. 14. There is extremely good agreement at $\tilde{k}=\pi /d$. In particular, the infidelity at $\tilde{k}=\pi /d$ scales as $ϵ=1-|⟨\psi |{\psi }_{\tilde{k}}⟩{|}^2\sim 1/N^2$, which indicates that our toy model accurately captures the physics of the actual system. Finally, Fig. 6D shows the field intensity emitted by the most subradiant eigenstate of the chain with dispersion engineering. The intensity pattern is consistent with waveguiding along the chain, where most of the field is radiated through the edges. We note that these states are robust against classical fluctuations in the atomic positions, as shown in SI Appendix.

Fig. 6.

Symmetric states in the manifold of zero angular-momentum projection ($F_z=0$). (A) Spatial profile of the most subradiant eigenstate of a chain of $N=16$ atoms, where the $\left|q\right|=1$ component of the Green’s function has been altered according to Eq. 17. (B) Scaling of the decay rate as a function of atom number. The green circles correspond to the case where the $\left|q\right|=1$ component of the Green’s function has been altered according to Eq. 17, and the gray circles are obtained for the unaltered case. The solid line is a guide to the eye and scales as $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 1/N^3$. (C) Overlap between the state $\left|{\psi }_{\tilde{k}}\right.⟩$ given by Eq. 14 and the most subradiant state of a finite chain obtained by numerical diagonalization, as a function of the wavevector $\tilde{k}$. The gray line is obtained for a chain of $N=12$ atoms in free space, while the blue line is obtained for $N=16$ atoms in a medium with dispersion engineering given by Eq. 17. The red shaded area represents the radiative wavevectors. (D) Field intensity (arbitrary units) created by the most subradiant mode in a chain of $N=16$ atoms, obtained by including dispersion engineering. Red circles denote atomic positions. For all plots, $d=0.3{\lambda }_0$.

We emphasize the importance of realizing an intersection of the dispersion relations $J_{k,\pm 1}$ and $J_{k,0}$, to yield this class of highly entangled, waveguiding states. In particular, in the gray circles and curves in Fig. 6 B and C, respectively, we plot the corresponding results where only the free-space Green’s function is used, without the additional term of Eq. 17. It can be seen that although a moderate reduction of decay rate $\mathrm{\Gamma }/{\mathrm{\Gamma }}_0\sim 0.1$ can be achieved, this rate apparently does not decrease with increasing $N$. Furthermore, the overlap fidelity between the numerically obtained eigenstate and the ansatz state does not approach 1, as the differing coherent interactions associated with $q=0,\pm 1$ mix in additional contributions to the eigenstate. We note that, in contrast to the dispersion-engineered situation, these are not the most subradiant eigenstates in the $F_z=0$ manifold (as they are given by the phase-separated states). Thus, we have found these states by exactly diagonalizing the Hamiltonian and filtering out states such that ${\sum }_j⟨{\sigma }_{33}^j⟩>{\sum }_j⟨{\sigma }_{22}^j⟩$, and then selecting the most subradiant states that satisfy that condition. In this situation, we need to diagonalize the full Hamiltonian matrix, instead of simply finding the eigenvalue with the smallest decay rate by using iterative sparse-matrix diagonalization algorithms, which limits the size of the chain that we can successfully diagonalize to $N=12$.

Discussion

To summarize, we have shown that arrays of atoms with hyperfine structure can support highly subradiant, waveguiding states, and we have elucidated the conditions for their existence. In contrast to the classical effect that occurs in atoms with a single ground state, here, the waveguiding is fundamentally enabled by rich, many-body correlations within the ground-state manifold.

Having shown the existence of true waveguiding states, one interesting question going forward is how novel phenomena or applications, previously identified for simple atoms, can be encoded into these highly entangled states. For example, it would be interesting to investigate whether such states support more powerful quantum memory protocols or whether generalizations of such states exist in higher dimensions, such as to support topological edge states. In the case of higher dimensions, while numerics will likely be highly challenging, a promising approach could be the generalization of toy models such as Eq. 13. It would also be interesting to investigate multiexcitation subradiant states, e.g., to see whether they exhibit the same “fermionic” correlations as multiexcitation states in atoms with simple (2-level) structure (25).

An important associated question is how the necessary many-body entanglement in the ground-state manifold can be generated in the first place. We speculate that the same correlated dissipation processes encoded in the dipole–dipole interactions of Eq. 3 might be used to generate the necessary entanglement, such as through the steady state obtained under constant driving (i.e., correlated optical pumping).

More generally, the insight developed in this work could give rise to broader opportunities. For example, under constant driving, one could investigate whether correlated dissipation can give rise to useful many-body correlations within the ground-state manifold, such as for quantum-enhanced metrology (8, 9, 59–61). It would also be interesting to more systematically understand the forms and range of entanglement that can arise, as the Green’s function is varied (e.g., through a dielectric structure) and/or the atomic level structure is altered. Finally, as an optical phenomenon, it is intriguing that we have identified a mechanism for waveguiding that explicitly relies on entanglement. It would be interesting to more broadly search for additional mechanisms of waveguiding and other optical effects (62), which can emerge only through quantum correlations.

Methods

Data Deposition.

There are no measured data associated with the theoretical results presented in this article. The numerical results that support the findings of this study are available from cocorresponding author A.A.-G. upon request to ana.asenjo@columbia.edu.