1. INTRODUCTION
Photonic device designers have been toying with the idea of using gain and loss in linear [1] and nonlinear [2] optical systems in order to produce unidirectional couplers or low intensity switches, in that order, for a long time. The advent of parity time () symmetry in quantum mechanics [3,4], the idea that non-Hermitian Hamiltonians invariant under space–time reflection might possess a real spectrum, brought a new structure to these approaches. Two ideas made use of this quantum mechanical tool to describe a planar slab waveguide [5] and coupled optical structures with symmetric gain and losses [6]. The latter became seminal for the field of -symmetric photonics and has inspired a plethora of optical proposals [7,8].
The quintessential -symmetric optical device is the balanced gain and loss dimer that has been experimentally realized in diverse optical platforms [9–13]. It can be understood as a finite, nonunitary realization of the Lorentz group [14] allowing for three types of propagation dynamics: periodic field amplitude oscillation with amplification, as well as linear and exponential field amplitude amplification. The first case corresponds to the -symmetric regime, where eigenvalues are real. The second case is the Kato exceptional point, where the eigenvalues are degenerate and equal to zero. The third case displays -symmetry breaking, where the two eigenvalues are purely imaginary and the complex conjugates of each other. It is also known that any optical realization of the Lorentz group in the broken -symmetric regime shows asymptotic behavior, for renormalized intensities, that depends only on the interplay of gain and coupling parameters for both linear [14] and nonlinear systems [7].
We are interested in a natural extension of the nonlinear -symmetric dimer: its periodic repetition over a circular loop. Light propagation through these so-called necklaces where individual waveguides are homogeneously spaced has been shown to (dis)allow a -symmetric regime for (even) odd repetition of the dimer [15]. The nonlinear four-waveguide array is known to produce an asymmetric distribution of optical power [16], to possess continuous families of nonlinear modes [17], and it is not symmetric in the usual matrix sense [18]. The absence of exceptional points, for homogeneous arrays of dimension four, was discussed using linear arrays of four subwavelength waveguides [19], while the possibility to restore symmetry through mechanical action has also been shown [20].
Sign up for Photonics Research TOC Get the latest issue of Advanced Photonics delivered right to you!Sign up now
Here, we will construct a slightly more general system where the standard -symmetric dimer is repeated for times over a circular loop, with the addition of constant intra- and interdimer coupling lengths that are different from each other, as shown in Fig. 1(a). Such a model can be realized in laser inscribed arrays of waveguides, circular multicore fibers, toroidal cavities, or electronic systems. In the following sections, we introduce the model and show that it can be composed using the cyclic and Lorentz groups. We will use a group theory approach to further the idea that discrete symmetries in photonics are a powerful design tool [21]. Then, we diagonalize our coupled mode model in the cyclic group basis to show that its dynamics is consistent with those of uncoupled effective dimers with variable couplings. We discuss the eigenvalues of these effective dimers and show that homogeneously distributed necklaces with even numbers of copies always have at least a pair of imaginary eigenvalues and symmetry can be restored by making the intra- and inter-dimer couplings different. Then, we show that the underlying cyclic symmetry suggests the use of these photonic devices as output replicators, where input light is used to select the effective dynamics to replicate in the outputs. We provide finite element simulations to justify our analytic approach using data from experimental work on waveguide laser inscription in silicon. We close our article with a brief summary and conclusion.

Figure 1.Sketch for necklaces formed by the repetition of identical -symmetric dimers. (a) Necklace where intradimer couplings are larger than interdimer couplings, , and repetition factor . (b) Standard -symmetric dimer, ; (c) -symmetric plaquette, ; and (d) necklace with repetition factor .
2. LINEAR MODEL AND ITS UNDERLYING SYMMETRY
The coupled mode formalism for a tightly bound necklace formed by identical -symmetric dimers yields the following set of differential equations: for the field mode amplitude at each fiber, described by the complex-valued functions with . Our optical system generalizes a previous homogeneously coupled periodic array studied in Ref. [15] by allowing different intra(inter)-dimer couplings, (), where the coupling strength, (), and coupling phases, (), are real. The coupling phases can be induced by mechanical twisting in optical fibers or capacitive coupling in electronic systems. Finally, gains and losses in the fibers are quantified by the real parameter . Our periodic array of coupled waveguides is sketched in Fig. 1(a) for the general necklace; we also show sketches for specific realization like the standard -symmetric dimer, Fig. 1(b), the -symmetric plaquette, Fig. 1(c), and a necklace composed by three dimers, Fig. 1(d). Later, we will focus on the last two of these realizations.
The coupled mode equations in Eq. (1) can be written in a more compact way using Dirac notation, where the ket is a simple vector collecting the field mode amplitudes in our model,
The mode-coupling matrix is represented by the operator , a block-tridiagonal matrix which can be written using blocks of matrices, where the symbol stands for the zero matrix, and the auxiliary block matrices, describe the repeating -symmetric dimer, , and the interdimer couplings, . These matrices can be rewritten in operator notation, where the operators are related to the SO(2,1) Lie group [7,14], the Lorentz group in dimensions, and relate to Pauli matrices,
In addition, our necklace is invariant to rotations of rad around its center; in other words, it has an underlying symmetry provided by the cyclic group of dimension . The cyclic group is generated by the powers of the so-called shift operator, , with . These shift operators are matrices in the representation at hand,
Note that the adjoint of the shift operator is given by the relation , and the corresponding unit matrix is simply . We can use the fact that our -symmetric necklace possesses an underlying symmetry to rewrite its mode-coupling matrix, using the Kronecker (outer) product of operators (matrices) belonging to the two symmetries described before.
This underlying symmetry will also manifest in the field mode amplitude vector, Eq. (3), and we use this fact to rewrite it in a compact way, using the collection of -dimensional orthogonal vectors , where only the -th component has a value of one and the rest are null, and the two-dimensional orthogonal vectors and . The complex functions , with and , are the components of the -dimensional vector in Eq. (3).
3. PT SYMMETRY AND PROPAGATION IN THE LINEAR DIMER
We can take advantage of the underlying symmetries of our necklace. It is well known that the Fourier matrix [22], diagonalizes the cyclic group shift operator into the so-called clock matrix,
Note that we have obviated the dimension subindex in the outer product, , of column, , and row, , vectors.
Thus, we can suggest a change of vector basis provided by the Fourier matrix basis, and recover effective propagation dynamics, described by a block-diagonal mode-coupling matrix, where each diagonal block describes a -symmetric dimer whose effective coupling depends on its position in the diagonal, with the new effective complex coupling given by the following expression,
Here, it is straightforward to calculate the eigenvalues of these matrices, and realize that different intra- and inter-dimer complex couplings can restore the -symmetric phase to systems lacking it. For example, homogeneously coupled arrays, with , with even repetition number, with , lack a -symmetric phase [15]. This phase can be restored using inhomogeneous intra- and interdimer couplings, , in an adequate way. Note that inhomogeneous couplings raise soliton stability thresholds in infinite nonlinear -symmetric dimer ladders [23], suggesting a possible stabilizing role for such couplings.
In homogeneously coupled arrays, the block is the standard -symmetric dimer with Kato exceptional point . Each block will have its own exceptional point at the following values of the gain to coupling ratio, for even (odd) dimensions of the cyclic group component, ; the floor operation provides the lowest integer that is less than or equal to its argument. Then, we can realize that arrays where the dimer is repeated for an even number of times always have a pair of complex eigenvalues, , that correspond to the block . These arrays do not have a -symmetric phase. We can also see that there are pairs of diagonal blocks that are the transpose of each other, with for even (odd) dimension . This immediately points to the fact that there will be two-fold degenerate eigenvalues in the arrays when the repetition number is even (odd). Furthermore, the number of imaginary eigenvalues will increase each time the gain to coupling ratio reaches the value for the exceptional point of each block. Figure 2 shows the real to complex eigenvalue transition for necklaces composed of four, Fig. 2(a), and six, Fig. 2(b), waveguides. The simple change of interdimer coupling is enough to induce a -symmetric phase in arrays with even repetition number, but the behavior of the degeneracies and the systemic increase in the number of complex eigenvalues remains universal. Figures 2(c) and 2(d) show the eigenvalues of an array where the intradimer couplings are half the value of the interdimer couplings, . Control of couplings phases, and , introduces another physical parameter to manipulate the type of eigenvalues in the system.

Figure 2.Real (solid lines) and imaginary (dashed lines) parts of eigenvalues as a function of the gain to interdimer coupling ratio, , for arrays of coupled -symmetric dimers with homogeneous intra- and inter-dimer couplings, with repetition factor (a) and (b) , and for inhomogeneous couplings, , with repetition factor (c) and (d) .
The block diagonal, , form of our necklace allows us to construct a propagator for the field mode amplitudes. In the original frame, the propagation of the complex field amplitudes vector, is provided by the propagator matrix, in terms of the propagation matrix of each individual effective dimer [24], where we have used the cardinal sine function, , and the propagation constant, is just the positive eigenvalue of the mode-coupling matrix. It takes real values in the -symmetric regime, providing a nonunitary oscillator, At Kato’s exceptional point it has zero value and provides linear amplification and attenuation of the field amplitudes [25], Finally, it takes purely imaginary values in the broken symmetry regime, providing exponential amplification and attenuation of the field amplitudes,
4. DIMER OUTPUT REPLICATION
Cyclic symmetry has a curious signature. Whenever such a symmetry is present, we can address specific block diagonal elements and produce copies of its dynamics. In our necklace, this is produced by the following initial field mode amplitude vector, that is, the outer product between a vector whose components are all the th roots of the unit, and some initial states for the effective th block diagonal dimer we want to address. Such an initial impinging field produces replication, up to a phase, of the dynamics provided by the th effective dimer, in each and every one of the dimers in the necklace. A simple permutation of input phases allows switching the necklace output, provided that one does not switch to the degenerate pair of the effective dimers, .
It is well known that outside the -symmetric regime, the renormalized power at the th waveguide within the th dimer, will show an asymptotic behavior [7,14], dictated by the parameters of the corresponding effective dimer . Thus, we can engineer photonic devices where all the dimers present the same output, and switch from oscillatory to asymptotic behaviors by permutation of the input field phases.
This type of dimer output port replication could be observed in any physically plausible realization of our necklace. For example, let us consider the case of laser inscribed waveguides in silicon, c:Si, for telecommunication wavelength, . Current techniques allow for control of refractive index properties, , as well as losses, [0.1,3] dB/cm, with waveguide length of about a centimeter [26,27]. We use the commercial finite element software COMSOL to simulate necklaces of two and three identical copies of a passive -symmetric dimer. We use an automatically generated free triangular mesh with size element in the range in the plane perpendicular to the propagation direction, and a fixed mesh with element size of 15 µm in the propagation direction. The latter is of utmost importance when relative phases are involved. The necklaces are composed by four and six waveguides, each one with a radius , in the configurations shown in Fig. 3(a) [Fig. 5(a)] for two (three) dimers. Each dimer is realized by a lossy and a lossless waveguide. The lossy waveguide has complex refractive index , and the lossless waveguide has real refractive index ; note that the indices and only appear in the three-dimer case.

Figure 3.(a) Waveguide geometry used in the finite element simulation and electric field input for replication of the (b) first and (c) second effective dimers. In (b) and (c), red corresponds to an in-phase beam and blue corresponds to a -dephased beam.
The two-dimer system can be described by the coupled mode equation, where the imaginary part of the propagation constant, , and the coupling parameters, and , are all recovered from COMSOL after some analysis. We analyze two configurations, a square one with separation distances , where the intra- and inter-dimer couplings are equal, ; and a rectangular one, with and , with couplings and . The common real part of the propagation constant, , provides a common overall phase for all the field mode amplitudes, which is irrevelant for the analysis. We consider as input the superposition of two Gaussian beams, each a plane wavefront polarized in the vertical direction with waist radius , impinging at the lossy fiber of each dimer.
This array can be mapped to a necklace composed by two -symmetric dimers, with the mapping function that provides an approximated gain/loss given by the parameter . In order to replicate the output of the effective dimer , we use an in-phase superposition of the Gaussian beams, Fig. 3(b), and a -dephased superposition, Fig. 3(c), to replicate the output of the effective dimer . We retrieve from the simulation the values for the vertical component of the electric field at the propagation axis of each waveguide and use them to calculate the renormalized power within each fiber; that is, the power in the fiber divided by the power in the two fibers of its corresponding dimer,
In the homogeneous coupling configuration, addressing the first effective dimer provides oscillations of the renormalized power with approximated propagation constant as shown in Fig. 4(a). Addressing the second effective dimer produces propagation only through fibers () and (), Fig. 4(b), as predicted by the coupled-mode equations. In the inhomogeneous coupling configuration, addressing the first and second effective dimers provides renormalized power oscillations with approximated propagation constants , Fig. 4(c), and , Fig. 4(d), in that order, as predicted by coupled mode theory.

Figure 4.Renormalized power propagation, , showing output replication for (a), (b) homogeneous and (c), (d) inhomogeneous couplings. The dots represent finite element propagation and the lines the analytic coupled mode approximation. See text for details.
For the sake of completeness, we also simulate a necklace of three dimers in the homogeneous and inhomogeneous configurations. The intra- and inter-dimer distances are the same as those used for the four-waveguide necklace. In the homogeneous configuration, these distances are , whereas in the inhomogeneous configuration their values are and . These configurations are sketched in Fig. 5(a). For each configuration, we propagated an initial Gaussian beam superposition to address the first effective dimer (), Fig. 5(b), where the three beams are all in-phase, and the second effective dimer (), Fig. 5(c), where the second beam has a dephasing and the third a dephasing with respect to the first input beam.

Figure 5.(a) Waveguide geometry used in the finite element simulation and electric field input for replication of the (b) first and (c) second effective dimers. In (b) and (c), red corresponds to an in-phase beam, orange corresponds to a -dephased beam, and yellow corresponds to a -dephased one.
In the homogeneous case, we find effective coupling values and an effective loss/gain parameter , leading to approximated propagation constants and . On the other hand, for the inhomogeneous case the equivalent effective parameters found are , , , and lead to approximated propagation constants and for the effective diagonal block dimers. Figure 6 shows the renormalized power propagating through our optical necklaces simulated by finite element methods (dots), as well as our analytic result (solid lines). Port replication through the homogeneous necklace addressing the first and second effective dimers is shown in Figs. 6(a) and 6(b), in that order. The equivalent for the inhomogeneous necklace is shown in Figs. 6(c) and 6(d). Note that the mode-coupling and finite element results are in good agreement for all propagation distances for both the homogeneous and inhomogeneous necklaces when the first, Figs. 6(a) and 6(c), and second, Figs. 6(b) and 6(d), effective dimers are addressed.

Figure 6.Renormalized power propagation, , showing output replication for (a), (b) homogeneous and (c), (d) inhomogeneous couplings. The dots represent finite element propagation and the lines the analytic coupled mode approximation. See text for details.
5. CONCLUSIONS
We have presented a group theoretical analysis for the mode-coupling description of light propagating through so-called necklaces of -symmetric dimers. We showed that the coupled mode matrix comprising the field dynamics in these arrays can be written as a composition of elements of the cyclic group and the -dimensional Lorentz group. Using the fact that the cyclic subcomponent is straightforward to diagonalize, we demonstrated that the necklace effective dynamics is provided by uncoupled -symmetric dimers, where is the number of dimer copies in the necklace. For an even number of copies and homogeneous distribution of the waveguides, there is always at least one effective dimer in the broken symmetry phase. The symmetry of these necklaces can be restored by making the inter- and intra-dimer couplings different in value. In general, for necklaces with three or more dimer copies, there will always be pairs of effective dimers that are the complex conjugated of each other and will show identical light power propagation.
We compared our effective mode-coupling analysis with finite element simulations to obtain good agreement in all cases studied. Our analytic results and computational simulations show that it is possible to use impinging light to switch between the different effective dynamics provided by a necklace of -symmetric dimers and replicate their outputs all over the necklace. Furthermore, our results demonstrate that it is plausible to design devices where oscillations in the -symmetric regime can be switched to linear and exponential field amplitude dynamics at the Kato exceptional point and in the broken-symmetry regime, respectively, by changing the relative phases of input fields. While our results were simulated using experimental parameters from laser inscribed waveguides, they are valid for multicore fibers, toroidal cavities, and electronic devices as well.
As a final note, we want to emphasize that port replication is an intrinsic characteristic of the underlying cyclic symmetry. Thus, we could replace the -symmetric dimer with a different dimer and we could replicate the effective dynamics provided by the new symmetry.
Acknowledgment
Acknowledgment. D. J. Nodal Stevens acknowledges financial support from Red de Tecnologías Cuánticas through the program Verano de Investigación Científica and the Photonics and Mathematical Optics group hospitality. B. M. Rodríguez-Lara acknowledges support from the Photonics and Mathematical Optics Group at Tecnologico de Monterrey and Consorcio en Óptica Aplicada through CONACYT FORDECYT #290259 project grant.