{'fraction_non_alphanumeric': 0.03270084779975777, 'fraction_numerical': 0.009573793182997866, 'mean_word_length': 4.403552508569648, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Paired modes of heterostructure cavities in photonic crystal waveguides with split band edges

: We investigate the modes of double heterostructure cavities where the underlying photonic crystal waveguide has been dispersion engineered to have two band-edges inside the Brillouin zone. By deriving and using a perturbative method, we show that these structures possess two modes. For unapodized cavities, the relative detuning of the two modes can be controlled by changing the cavity length, and for particular lengths, a resonant-like effect makes the modes degenerate. For apodized cavities no such resonances exist and the modes are always non-degenerate. these two modes depends on how the perturbation that creates the DHC couples the band-edge Bloch states. We ﬁnd that for unapodized perturbations the coupling of the band-edge Bloch states can be altered by changing the length of the cavity. This changes the relative detuning of the two DHC modes and for particular lengths makes them degenerate. Using our theory, we show that for apodized cavities these degeneracies do not exist and the detuning simply decreases with increasing cavity length.


Introduction
Optical cavities that confine light over many optical cycles are much studied devices in modern photonics. Such cavities have been realised by using photonic crystals (PC) where an optical bandgap is used to confine light. The use of such PC based cavities has been reported in a wide range of experiments including all optical switching [1], cavity quantum electrodynamics [2], optomechanical interactions [3], and such structures have also been used to construct low threshold lasers [4]. In all cases, the purpose of the cavity is to strengthen the interaction of light with matter. This means that it is often desirable to maximize the quality factor of the cavity while minimizing its modal volume.
A type of PC cavity with a very high quality factor to modal volume ratio is the double heterostructure cavity (DHC). DHCs have been shown to achieve experimental quality factors of ∼ 10 6 [5,6] and theoretical quality factors of greater than 10 8 [7] while maintaining a modal volume of ∼ (λ 0 /n) 3 . As shown in Fig. 1(a), DHCs are constructed by weakly perturbing a photonic crystal waveguide (PCW). This can be done, for example, by changing the period of the PCW [5], shifting the position of cylinders [6], altering the refractive index of the background [8] or even by adding a superstrate [9]. The dispersion curve associated with the PCW in the perturbed region is offset from that of the unperturbed region. This creates a modegap, where modes bound to the perturbed region can exist. Recently, much effort has gone into tailoring the nature of the perturbation to minimize coupling into unbound states and maximising the quality factor [7,10,11]. This is achieved by constructing a perturbation that "gently" confines light in the direction along the PCW, reducing out-of-plane losses and hence increasing its quality factor [10,11].
On the other hand, it was found that the existence and characteristics of cavity modes are fundamentally modified if optical resonators are based on waveguides whose dispersion features 'split band-edges' (SBE), which appear inside the Brillouin zone (BZ). Examples of such resonators include sections of omniguide fibers [12], periodic structures with anisotropic layers [13][14][15], and side-coupled periodic waveguides [16]. In particular, it was shown that there appear two pairs of forward and backward propagating waves arbitrarily close to split band edges, and nontrivial coupling between all four waves can give rise to a pair of cavity modes with nontrivial tuning properties [16].
In this paper, we show that the combination of the two concepts, double heterostructure cavities and split band-edges, opens new possibilities for controlling the cavity modes in PCs. Whereas a conventional W1 PCW has dispersion with a single band-edge appearing at the BZ edge [Figs. 1(a) and 1(b)], we can perform dispersion engineering leading to SBE by altering the radius of the holes adjacent to the PCW [Figs. 1(c) and 1(d)]. Previous analysis [10] has shown that a DHC mode is essentially made up of an envelope function that modulates the band-edge Bloch mode of the underlying PCW. Here, using perturbation theory, we show that when there are two inequivalent band-edge states inside the BZ due to SBE, the DHC mode is made up of a superposition of the two band-edge Bloch modes, each modulated by its own envelope function. As there are two band-edge Bloch states, the DHC has two bound modes. The nature of these two modes depends on how the perturbation that creates the DHC couples the band-edge Bloch states. We find that for unapodized perturbations the coupling of the bandedge Bloch states can be altered by changing the length of the cavity. This changes the relative detuning of the two DHC modes and for particular lengths makes them degenerate. Using our theory, we show that for apodized cavities these degeneracies do not exist and the detuning simply decreases with increasing cavity length.

Formulation of theory
We begin by outlining our theory which we use to analyse the physics governing the underlying behaviour of the DHC modes. As in our previous work on PCWs [17], our approach is based on the effective mass theory by Luttinger and Kohn [18], adapted to PCs. For simplicity, we analyse the problem for a two dimensional PC. Generalising the theory to PC slab structures is straightforward, but is not within the scope of this paper as it does not affect the physics we discuss. In this geometry, we take the unperturbed structure as a PCW that is periodic in the x-direction (see Fig. 1) and is dispersion engineered in a fashion such that the minima of its dispersion relation are not at the BZ edge or centre [ Fig. 1(d)]. Throughout this paper we look at H z polarised modes of a PCW with a background index n b = 3.0, air holes of radius 0.3d, where d is the period, and the radius of the holes adjacent to the waveguide are changed to 0.4d. The equation governing the modes of the PCW is where ε(r) is the permittivity of the PCW and the subscript k x indicates the dependence on the Bloch wavevector. The cavity mode then satisfies where we have constructed the cavity by adding the perturbation δ ε(r) as shown in Fig. 1. We choose to expand the cavity modes using the Bloch basis set, that is, the modes of the PCW.
Here we can choose our basis set such that we can use the wavevector k x , spanning all reciprocal space, to index our modes. The expansion takes the form Substituting Eq. (3) in Eq. (2), using Eq. (1) and taking the inner product with E * k x (r), we obtain the expression in reciprocal space where the normalisation condition has been used. We now need to make further approximations if we wish to proceed analytically. DHCs are typically created by weakly perturbing a PCW, and consequently their modes are weakly bound along the x-direction. Thus the typical width of a DHC mode is larger than a period of the PCW. C(k x ) is then expected to be narrow in reciprocal space. Since there are two inequivalent band minima, C(k x ) is then composed of two narrow peaks centred on each minimum. We can thus L and k (2) L are the Bloch wavevectors of the two band minima. We note that according to the general symmetry properties of Bloch modes in dielectric PCs [19][20][21], Provided that the separation between k (1) L and k (2) L is large compared to their widths we can rewrite Eq. (4) as two equations, one where k x has values where the function L ) is dominant. The first of the two equations is We now multiply by exp and integrate over k x . On the left hand side this gives where denotes an expansion about the band minimum in powers of −id/dx and arises as a result of inverse Fourier transforming with respect to k x . It is given by where ω L is the frequency of the band-edge and D L is the curvature of the band-edge. We choose to keep only the leading order derivative as the band-edge is quadratic to first order and the envelope function along x is slowly varying compared to the period of the PCW. We now turn to the RHS of Eq. (6). Since F 1 and F 2 are narrow functions, the main Bloch mode contribution is from the Bloch mode corresponding to the Bloch wavevector upon which the minimum is centred, that is, modes corresponding to the Bloch wavevectors k (1) L and k (2) L respectively. We L )x where j denotes either 1 or 2. After some manipulation, the final equation isL where f 1 (x) and f 2 (x) are envelope functions and Due to the symmetry relations formulated in Eq. (5), δ E 11 = δ E 22 and δ E 12 = δ E * 21 . Carrying out the same process as above for the second equation we write the two equations in matrix form giving where we have recast the normalisation parameter M in terms of that over a unit cell, that is, M = (2π/d)E with E = cell dx ∞ −∞ dy ε(r)||E(r)|| 2 . We note that the diagonal terms are equivalent and the off-diagonal terms are each other's complex conjugates, as a consequence of symmetry relations in Eq. (5). Thus, when computing the frequency of the DHC modes the magnitude of the diagonal terms determine how deeply the frequency of the modes moves into the modegap, while the off-diagonal terms determine the relative frequency detuning of the two states. The states will then become degenerate if the contribution of the off-diagonal terms vanishes.
Finally, from Eq. (3) the cavity mode is given by which implies that the mode is composed of a superposition of band-edge Bloch modes each modulated by an envelope function given by solving Eq. (10). By using the symmetry relations where f R = f 1 + f 2 and f I = i f 1 − i f 2 . Accordingly, the eigenmode of Eq. (10) can be reformulated for the real envelope functions f R (x) and f I (x), We now can see from Eqs. (12) and (13) that the profiles of cavity modes are real-valued (up to a constant overall phase), being a superposition of real and imaginary parts of the complex Bloch waves with the corresponding envelope functions. Although the phase of a Bloch function can be chosen freely, leading to changes in its real and imaginary parts, the final mode profile does not depend on the overall phase of the Bloch wave.

Results and Discussion
We now use our theory to compute the DHC modes. We examine unapodized cavities where we create the DHC by altering the refractive index of the background material by Δn = 0.005, as well as apodized cavities where the index of the background is altered according to a Gaussian profile with a maximum index change of Δn = 0.005. Creating the cavity in this way is similar to the photosensitive cavities previously investigated numerically in [8] and experimentally in [22]. Figures 2(a) and 2(d) show the frequency of the DHC modes as a function of the length of the cavity for unapodized and Gaussian cavities respectively. Here, the numerical calculations were carried out using the finite element package COMSOL. The existence of two modes is a result of the fact that there are two band minima. We highlight the intertwining of the two lines in Fig. 2(a). The difference in frequency of the two modes is shown in Figs. 2(b) and 2(e). This frequency splitting is associated with the off-diagonal terms in Eq. (10). There is a small discrepancy between the numerics and our theory for the splitting as result of using a single band-edge mode at each minimum and assuming weak coupling between the two minima. These assumptions lead to a slight difference between numerics and theory in the k-space distribution of the field, in turn leading to a slight shift in the positions of the zero-crossings in Fig. 2(b). To correct this discrepancy a higher order theory would be necessary. As shown in Figs. 2(c) and 2(f), the average frequency of the two modes is in excellent agreement with the numerics, which indicates that the diagonal terms in Eq. (10) accurately describe how deep the modes move into the bandgap. Importantly, our theory highlights the key difference between the apodized and unapodized cavities, that is, the unapodized cavities have modes whose detuning oscillates with width, while the apodized cavity's modes have a detuning which decreases with cavity length. Figures 3(a) and 3(b) show the modes of the DHC with a length of 9d computed with our perturbation theory. Here, the odd mode is now the fundamental mode as, from Fig. 2(a), it is evident that the modes have crossed. Figure 3(c) shows a comparison between a full numerical calculation of the fields and our perturbation theory. The good agreement indicates that the theory correctly computes both the decay rate of the envelope functions as well as their phases. From these figures it is clear that the perturbation theory contains the underlying physics governing the behaviour of these modes. The theory thus has the potential to be used as a first-principles guide to designing such structures.
We now analyse the modes of the unapodized cavity. As shown in Fig. 2(a) both the numerical solutions and the perturbation theory predict crossings of the two modes at periodic  intervals, meaning that we expect the fundamental mode to alternate from being even to odd with respect to the cavity centre. From Eq. (10) it is apparent that this behaviour is associated with the contribution of the off-diagonal terms. When these terms are large, the difference in frequency of the two modes is large, and when their contribution vanishes, the equations decouple and the modes are degenerate. Here, the δ E i j (x) terms depend on x and do not completely vanish unless the perturbation is zero. At the degenerate points however, they evidently have no net contribution to the frequency of the DHC modes. From the symmetry relations in Eq. (5), it is easy to see that the off-diagonal terms are oscillating complex valued functions. When these terms are such that they average to zero along the length of the cavity, the contributions of the off-diagonal terms vanish and the modes become degenerate. of the frequency of the modes on the length of the cavity is different to that of the unapodized cavity. This difference between the apodized and unapodized cavities is best explained in terms of the envelope functions in reciprocal space. Recall that the functions L ) are the FTs of the envelope functions. As the envelope of the DHC mode is slowly varying, these functions are narrow in comparison to their separation in reciprocal space and thus couple weakly. In order to illustrate how the band extrema couple in reciprocal space, we solve Eq. (10) with the coupling terms artificially set to zero. This gives us the shape of L ) in the absence of coupling. This is shown for the unapodized cavity in Fig. 4(a). The sidelobes of the maximum centred on the origin are associated with the reflections at the abrupt sidewalls of the cavity [10]. The blue curve is for a cavity with length 10.5d and has a zero at k x d − k (1) L d ∼ 1.2. This zero coincides very closely to the centre of the equivalent peak for F 2 (k x − k (2) L ) and thus the frequencies of the two modes of a DHC with length 10.5d are almost degenerate [c.f. Fig. 2(a)]. The broken green line in Fig. 4(a) is for a cavity with length  8d. Its sidelobes do not have a zero near k x = k (2) L and thus its modes are strongly coupled. We thus deduce that when one of the sidelobes of L ) is centred, it decouples the contribution from the two band extrema and the modes become degenerate. These sidelobes lead to the intersections of the frequency of the DHC modes as a function of the cavity length shown in Fig. 2(a). The function F 1 (k x − k (1) L ) in the absence of coupling for a Gaussian cavity is shown in Fig. 4(b). Here, the reflections at the edges of the cavity are "gentle" and as a result such sidelobes do not exist in reciprocal space. The behaviour of the frequency of DHC modes for apodized cavities is then simple: as the cavity length increases the envelope becomes wider in space and more confined in reciprocal space and hence the coupling between the two band extrema decreases. This agrees with the behaviour shown in Fig. 2(b).
Although we used a two-dimensional model to analyze the modes of split band DHCs, we expect to observe the same behavior for such modes in PC slab structures. In fact, our theoretical model can still be used in PC slab structures with minor modifications. A three-dimensional derivation ends up only differing via the integral in Eq. (9), which also contains an integration over the out-of-plane coordinate.

Conclusion
In conclusion, we have suggested and demonstrated new approaches for flexible control of cavity modes in double-heterostructure photonic-crystal cavities. We have shown that cavities created in dispersion engineered photonic crystal waveguides featuring split band edges inside the Brillouin zone generally support a pair of cavity modes. The mode detuning depends non-trivially on the length and shape (apodized or unapodized) of the cavity region, offering possibilities to either increase or fully cancel the mode detuning. We also anticipate that these results may lead to advances in realization of tailored nonlinear light-matter interactions based on the paired cavity modes.