Abstract
Here, we introduce an efficient method to perform pixel-by-pixel optimization of photonic devices, based on the Dyson equation in the Green’s function formalism. Unlike continuous optimization techniques widely used for photonic device optimization, pixel-by-pixel optimization automatically results in structures consisting of a discrete set of permittivities, and it incorporates the constraint of a minimum feature size throughout the optimization process. Thus pixel-by-pixel optimizations automatically result in structures amenable to lithographic nanofabrication. We show that the use of a Green’s function formalism enables an efficient pixel-by-pixel update of the structure, where each update is guaranteed to improve the performance of the structure.
© 2019 Optical Society of America under the terms of the OSA Open Access Publishing Agreement
1. INTRODUCTION
It was recently shown that systematic computational optimization can lead to non-intuitive photonic devices that are much more efficient and compact when compared to conventional devices [1–3]. This success, in turn, has motivated efforts to advance computational methods for photonic device optimization.
In general, for typical optimization methods, within each iteration, one starts by evaluating the performance of a structure. The structure is then modified in some fashion with the aim to improve the device performance. This process is repeated until a structure with a sufficiently good performance is found. In these optimization methods, therefore, developing a technique to determine how to modify the structure in an iteration is of central importance.
In addition to some of general considerations in optimizations, there are considerations specific to photonic device designs. First of all, most on-chip photonic devices are constructed from a discrete set of materials. In fact, many current non-intuitive devices are constructed by etching air voids into silicon [4–6]. These structures thus consist only of two materials, silicon and air for example. In this paper, we refer to a structure that consists only of two materials as a binary structure. For practical considerations, it is often desirable that the optimization procedure results in a binary structure. Second, on-chip photonic devices are typically fabricated with lithographic techniques, which requires that the minimum feature sizes of the devices must be larger than a certain threshold. Optimization methods for photonic devices needs to consider these practical considerations.
Among all the methods for photonic device optimization, the adjoint method, which is a continuous optimization method, has been widely used [2,3,7–12]. In this method, the gradient of the figure of merit (FOM) with respect to the continuous variation of the dielectric function in every pixel of the structure can be efficiently computed. One then modifies the structure based on the gradient. A key advantage of this method is that within each iteration, one simultaneously adjusts a large number of design parameters. Also, since the gradient points to the direction for the improvement of FOM, every iteration improves the device performance. However, the adjoint method typically modifies the dielectric function of the structure continuously. Thus, it may not result in an optimized structure that is binary, even if the starting structure is [3]. Neither does the method guarantee an optimized structure with a required minimum feature size.
There have been attempts seeking to modify adjoint methods to generate structures that satisfy the practical constraints. For example, one can seek to approximate the resulting optimized structure from an adjoint optimization procedure with a binary structure that satisfies the minimal feature size requirement [2,13]. Doing so, however, typically sacrifices some of the device performance. Alternatively, the adjoint method can be combined with a level set method [2,10,14], which guarantees a binary structure, but doing so limits the available search space [15,16].
Instead of using a continuous optimization method, one can use a pixel-based discrete optimization method to guarantee a binary structure with a sufficiently large minimum feature size. One could divide the structure into pixels, where each pixel has a size equal to the minimum feature size. To get a binary structure consisting of silicon and air, for example, one considers only structures where each pixel consists of either silicon or air. One of the difficulties here, however, is to design a strategy to modify the structure. Within each iteration, one could evaluate a few candidate structures before deciding how to modify the structure. This approach, known as the direct binary search [2,17], is however quite expensive computationally. Alternatively, one might consider using the adjoint method for optimization guidance. However the adjoint formulation, which mathematically provides a sensitivity to infinitesimal permittivity change in the system [8,9], is likely to make wrong predictions for binary optimization, in particular for a large refractive index contrast or large pixel size.
In this paper, we introduce a method to overcome the difficulty, as outlined above, for pixel-based discrete optimization method. We show that, once the Green’s function of an initial structure is determined, the change in the FOM, for every structure differing from the initial structure by a single pixel, can be determined efficiently. Thus, one can choose among this set of structures the best in terms of the FOM as the modified structure. Moreover, the Green’s function for the modified structure can also be updated efficiently, using Dyson equations [18]. This process can then be iterated until an optimal structure is found. This approach guarantees that every binary permittivity change improves the FOM. Also, the minimal feature size requirement is straightforwardly satisfied in this method. We will illustrate the method with numerical examples.
The rest of the paper is organized as follows: in the second section, we will demonstrate that a Green’s function formalism [18] allows for an efficient and guaranteed ascent of the FOM for pixeled-based discrete permittivity change, and we will combine it to an adjoint method for better efficiency in a general case. In the third section, we will show various device optimization examples, illustrating remarkable features of the method, including its high stability for highly resonant binary structures, and the straightforward and rigorous control of minimal feature size allowed by the method.
2. MATHEMATICAL BACKGROUND
Consider an electric field generated by an excitation , for a structure as described by a given permittivity . For illustration of the main idea of the paper, suppose we would like to optimize a figure of merit:
given by a function depending on the field of the structure at a target point . The optimization then typically requires one to evaluate the following change of the figure of merit between two successive iterations: where and are the fields that correspond to the permittivity distribution and before and after the iteration, respectively.Define the change in permittivity distribution between two iterations. Using the Lippman–Schwinger equation [19], we can determine the new electric field in the whole space:
where is the free space wavevector, and is the electric Green’s functions of the system as described by , which is supposed to be known. The integration is only over the volume where , i.e., only in the volume where there is variation of the permittivity between two successive iterations.To solve Eq. (3), one can discretize the volume in pixels, determine first the electric field for each pixel of by solving a square linear system of equations, and then determine the electric field in the whole space by application of (3) outside volume . This approach is commonly known as the discrete dipole approximation (DDA) [19–21]. The DDA method becomes exact when the pixel size is far smaller than the wavelength. This procedure can be used to determine the change in the figure of merit as described in Eq. (2).
However, in the case of single-pixel modification, is non-zero only in a small volume centered at . It is then in fact possible to determine in a much simpler way. To see this, by combining Eq. (3) with Eq. (2), we have
where the integration over the volume has been evaluated, assuming that the size of is much smaller than the wavelength.We can easily determine for every new structure that differs from the old structure by a single pixel modification at . Indeed, from Eq. (3), can actually be determined straightforwardly and efficiently, by solving the simple following Lippman–Schwinger equation:
Equation (5) represents a very small linear system for . In the three-dimensional (3D) case, this equation represents a linear system. For two-dimensional (2D) cases, this equation represents either a linear system for the magnetic field polarization, or linear system for the electric field polarization. It is valid as long as the dimension of is much smaller than the wavelength and is applicable for arbitrary magnitude of .Therefore, we have shown that, if we know the Green’s function of a given (“old”) structure, from Eqs. (4) and (5), one can determine the change of the FOM for all single pixel modification in an efficient and rigorous way, valid even for high-permittivity change such as binary change. Using this information, among all the structures that differ from the old structure by a single-pixel modification, we can then select the structure that offers the best improvement in the FOM as our new candidate (“new”) structure. This is a major improvement in comparison with traditional optimization techniques, such as adjoint method with standard EM methods, that perform a first-order derivative perturbation with the only available old field in Eq. (4) and that therefore require a continuous permittivity change. In the following then, we use the same to denote the pixel where we have carried out the modification of the structure.
To complete the iterative process, we will also need to compute the field in the new structure, as well as its Green’s function. The field in the new structure can be straightforwardly calculated as
To calculate the Green’s function of the new structure, we start with the Dyson [18] equation: We compute first, by solving Equation (8) represents a simple scalar equation in 2D electric-field polarization, or a linear system in 2D magnetic-field polarization, or a linear system in 3D. Once is determined, the Green’s function of the new structure for an arbitrary pair of coordinates and can then be determined using Eq. (7).We note that solving an electromagnetic scattering problem using Eqs. (7) and (8), by adding sequentially the different pixels constituting a device, was proposed in Ref. [22]. Our contribution here is to point out the effectiveness of this approach in the context of optimization.
In terms of the computational time, if our design region consists of pixels, after simulating an initial structure, at each iteration, the cost of determining and solving for the new structure is far smaller than the cost for solving the initial structure. This is in contrast with traditional approaches in discrete optimization, where in each iteration one needs to fully solve structures to determine the new structure.
In terms of the memory requirement, in the simplest implementation of Eqs. (5)–(8), one needs to store the full Green’s function of the structure. This is doable for a modest-size structure, but it can become expensive when the structure becomes larger. In this paper, in the numerical demonstration of the next section, we do store the full Green’s function. In a subsequent paper [23], we show that there exists a more efficient way of storing the Green’s function.
Above, for illustration purposes, we have focused on a FOM that depends only on the field value at a single spatial point. In practice, other forms of FOM may be used. As an example, later in this paper, we will optimize the power coupling efficiency into a particular waveguide mode, as described by the modal field pattern , for which case the FOM has the form
where is the cross section of the waveguide.Equation (9) is of the general form,
where and are linear operators, and the spatial region where FOM is computed. is bilinear with respect to both and .With a single pixel variation, the change in FOM thus becomes
where we use the Lorentz reciprocity relation: Equation (11) can be transformed, using the linearity of with respect to and , and neglecting the second-order term, as [12] where is the adjoint field, obtained in the whole space by sending mode backwards from , in a second simulation with permittivity , and thus, In the optimization process, in each iteration, the adjoint field is updated using an equation similar to Eq. (6). The change in FOM is then efficiently computed using Eq. (13). In our implementation, since Eq. (9) involves both the E and H field, we evaluate and update both the electric and magnetic Green’s function.We end this section by commenting on the connection and the contrast of the present method with the standard adjoint variable method. When is small, the change of FOM can be obtained with either Eq. (4) or Eq. (13), but replacing with in these equations, since the difference between and is of the order . Such a replacement is equivalent to the standard adjoint variable method, where the gradient of FOM with respect to an infinitesimal change of is computed in this way. Thus, in a certain sense, one can view our work as a generalization of the standard adjoint variable method to the case of a discrete and large change of dielectric function.
3. DESIGN EXAMPLES
To demonstrate the power of the method, we consider first a 2D problem, consisting of a structure and a point source. The aim of the optimization is to maximize the light intensity at a target point separated from the source by a distance of one wavelength [Fig. 1(a)]. The figure of merit is therefore simply , where is the position of the detector. The wavelength considered is the telecom wavelength , and the design space has a size and is divided into pixels. Each pixel has a size of . We consider the polarization where the electric field is perpendicular to the 2D plane.
We perform the optimization for a binary system, consisting of a background material with permittivity , representative of silica, and a second material, with a permittivity differing from that of the background material by , which is representative of the effective index of a Silicon slab. In the optimization process, the starting structure consists of a uniform background.
We first solve this problem with a few established approaches. All these approaches utilize the finite difference frequency domain method (FDFD) [24] as the method to solve Maxwell’s equations. These approaches all utilize the standard adjoint variable method, where the gradient of FOM to an infinitesimal change of is computed. In Fig. 2, we show the performance of the FOM as a function of iteration steps for a few of these methods.
In Fig. 2(a), the blackline shows the performance the “binary-adjoint” method, starting from silica background. In this method, at each iteration, one performs a binary change for the single pixel where there is the highest gradient of FOM as calculated by the adjoint method. With this method, before reaching the final value, the FOM increases at every iteration. The FOM saturates and no longer improves after approximately 100 iterations. While not visible in the graph due to the use of a log scale in the figure, the FOM in fact oscillates in this regime: the iterations consist of adding and removing the same pixel. The behavior here indicates that the gradient as calculated in the adjoint variable method, which is for an infinitesimal change, does not accurately predict the change of FOM for a discrete large change of the dielectric function. The final value of the FOM is relatively low () compared with the other methods. The final structure features a one-dimensional array of a high-dielectric region, reminiscent of a waveguide microcavity [25], that increases light intensity at the target point [Fig. 2(b)].
The green line in Fig. 2(a) shows the performance of the “binary level-set” method. In this method, one starts from a random binary configuration. The gradient of the FOM with respect to the shape of the level set that defines the boundaries between the binary regions is then calculated with the adjoint method. Based on such gradient, the shape of the binary regions is updated based on the Hamilton–Jacobi evolution [10,12,14]. To satisfy the minimum feature size requirement, however, in each iteration, one updates the regions in a pixelated fashion. Compared with the binary-adjoint method, in this method, in each iteration, one simultaneously changes multiple pixels, which enables exploration of a larger phase space. The final FOM is higher (), corresponding to a structure where the entire design region is used to enhance the field strength at the detector point. The convergence behavior, in terms of FOM as a function of the iteration number, is not monotonic. There are iteration steps where the FOM in fact decreases significantly, which again points to the fact that the adjoint variable method, which is designed to describe the change of FOM for the infinitesimal structure change, does not accurately predict the change of FOM for a discrete large change of the geometrical shape.
In Fig. 2(a), the blue and red lines show the performance of the method of continuous permittivity optimization, from two different starting points, of either a uniform silica background, or a random starting point, both of which are shown in Fig. 2(b). In this method, at each iteration, all pixels undergo a continuous permittivity change proportional to the calculated gradient of FOM. In gradient-based optimization methods, the magnitude of the change along the gradient direction still needs to be specified. Here, we set a constant maximal permittivity change in the domain in each iteration to be 0.25. With such method, the FOM improves monotonically until it saturates, at which point oscillation starts to occur. Once the oscillation occurs, we use a binary thresholding and a level-set optimization to generate a binary structure and to further improve the performance. The resulting is significantly better than the previous method, since the gradient information computed with the adjoint variable method is more applicable to guide permittivity change in each iteration, when such permittivity change is small.
Finally, in Fig. 2(c), we show the results from a continuous adaptive optimization method. This method is similar to the method of continuous permittivity optimization as discussed above, with the only difference being that the maximal permittivity change between iterations is continuously reduced in the optimization process. For this particular optimization problem, the optimal structures are highly resonant and can be very sensitive to small dielectric permittivity change. Reducing the maximal permittivity change adaptively thus ensures that the gradient information as obtained by the adjoint variable method remains relevant for structure update. In that case, FOM close to can be obtained, but the number of iterations is significantly larger. Also, in this method, we obtain the final binary structure through permittivity thresholding. But it is no longer possible to further improve the FOM on such binary structure through level-set optimization. As a result, the binary structure has a FOM that is quite a bit lowered as compared to the structure obtained from continuous optimization [Fig. 2(d)]. The final optimized structure is strongly non-intuitive. The field pattern corresponding to such a structure indicates both an increase of local density of states at the source location and a focusing of light toward the detector position.
We now optimize the system with our approach as described in Section 2. Section 2 shows that it is possible to efficiently compute the change of FOM with respect to all single-pixel variations, and to update the Green’s function of the system for each single-pixel variation. Based on this algorithm, in each iteration, we vary the single pixel to achieve the largest improvement of the FOM. There are a few attractive aspects of this algorithm. (1) In this method, there is no empirical parameter in the optimization process. This is in contrast with the methods discussed above, which use the parameters such as maximal permittivity change steps in continuous optimization, or velocity in level-sets optimization. In practice, there is substantial subtlety in choosing the value of these parameters to achieve good performance of the optimization algorithms. Removing the use of such empirical parameters is therefore an advantage of our proposed method. (2) In this method, the FOM improves at each iteration by design. (3) The optimization is guaranteed to end within a finite number of steps, and it ends when no single-pixel variation can improve the FOM.
We illustrate the performance of our method in Fig. 3, where we show the FOM as a function of iteration steps for a few random starting points. Since our method requires the knowledge of the Green’s function of such starting points, we start with a silica initial background, where the Green’s function is known, and add random pixels within the first iterations (250, 500, 750, and 1000 iterations), before starting the optimization process. For all starting points, our method results in final structures with a FOM above , which significantly exceeds the best FOM obtained from the adaptive continuous optimization method. The optimized structures are automatically binary. The number of iterations required to reach the optimal structure is also smaller when compared to the adaptive continuous optimization method.
In Fig. 3(b), we show the evolution of the structure in the optimization process. The high-index regions first extend along the source–target axis, and then, as they reach the upper and bottom borders of the optimization space, it progressively expands inside the whole domain. This progressive pixel-by-pixel shape evolution is reminiscent of the cell-by-cell morphogenesis evolution in nature [26]. The high FOM of the solution obtained by our algorithm has been confirmed with FDFD [Fig. 3(c)].
We consider in Fig. 4 a second example for the design of an integrated demultiplexer. The input port of the device consists of a 1-μm-wide waveguide, and the output ports of the device consists of two 0.3-μm-wide monomodal waveguides. We inject light at two wavelengths , and , into the fundamental mode of the input waveguide. The input waveguide is multi-moded at both wavelengths. The aim of the design is to separate the two wavelengths to two output waveguides. This device thus operates both as a mode converter and a wavelength sorter. To achieve this aim, we modify the structure in a design region located between the input and output waveguides. Like the example above, we consider only binary structures with permittivities of 2.25 and 6.25, respectively. The design region is divided into pixels. Each pixel has a size of . We consider the polarization where the electric field is perpendicular to the 2D plane.
In this design, the FOM is the average of power-coupling efficiencies, from the input mode toward the output mode at wavelengths , and the input mode toward the output mode at wavelengths , respectively:
This FOM is of the form of Eq. (9). In each iteration, we use the algorithms in Eqs. (10)–(14) to compute the change of FOM with respect to all single-pixel variations. We then update the structure by changing the pixel that leads to the best improvement of FOM. The Green’s function of the updated structure is then computed using Eqs. (6)–(8). We use two initial structures, both of which have a uniform design region with a permittivity of 2.25 and 6.25, respectively, connected to the three waveguides. These two initial structures are referred to as “empty” and “filled” initial structures below. The Green’s functions for such an initial structure are not available analytically, and instead, they are obtained by the finite difference frequency domain method.As a comparison, we first optimize this system using a standard method, where we perform a continuous adjoint-based optimization, followed by binarization and binary-level-set optimization. We obtain a structure with a for an empty initial structure [Figs. 5(a) and 5(b)], and a for a filled initial structure [Figs. 5(c) and 5(d)]. Our method reaches a comparable high performance of and , respectively, for both initial configurations (Fig. 5). In the previous example, where the structure is highly resonant, we see that in the optimization based on continuous optimization, it is difficult to reach a high-performing structure that is binary and that satisfies minimal feature constraint, since the structure is highly sensitive to detailed changes. In contrast, this system is not strongly resonant, and the FOM of the final structures obtained by either the continuous optimization methods or by our method are more comparable.
As seen in Figs. 5(a) and 5(c), in comparison to the standard continuous optimization method, the number of iterations required to reach the optimal structure is larger with our method. On the other hand, even in this case of non-resonant devices, where our method is less competitive in terms of the number of iterations, our method can still result in high-efficiency solutions that are generally not accessible with standard methods for achieving a binary structure such as the level-set methods.
A key advantage of our method is that it can straight-forwardly consider the minimum feature size requirement. We show in Fig. 6 the solutions obtained for the first device optimization example of Fig. 1(a), starting from silica background, for minimal feature sizes of 50 nm [Fig. 6(a)], 100 nm [Fig. 6(b)], and 150 nm [Fig. 6(c)], respectively. In all cases, in the simulation, the pixels as used in Eq. (3) are still 50 nm in size. When we update the structure in each iteration, however, we update a block of pixels simultaneously, with a block containing 1, 4, and 9 pixels, respectively, to satisfy the minimum feature size requirement. The resulting structures from such an update always satisfy the minimum feature size requirements.
In general, the FOM of the optimal structures, as well as the number of iteration steps, decreases as the minimum feature size increases. This is expected since the size of the phase space decreases as the minimum feature size increases. Examining the three optimal structures shown in Figs. 6(a)–6(c), we observe that, switching from 50 nm pixels to 100 nm pixels, the two optimal structures for 50 nm and 100 nm minimum feature sizes are quite similar to each other, whereas for 150 nm minimum feature sizes, the optimal structure is completely different. The result here clearly indicates the importance of incorporating the minimum size in the optimization process: an optimization process that disregards the minimum feature size requirement may not produce a structure that is implementable for a given fabrication technology. In addition, incorporating the minimum feature size requirement restricts the phase space and hence can result in the use of less iteration steps. The concept of simultaneous update of a group of pixels can also be used to implement other optimization constraints, for example, for imposing symmetry in a given structure.
4. CONCLUSION
In this article, we have introduced an efficient pixel-by-pixel discrete optimization technique, which rigorously guarantees a monotonic ascent of the figure of merit in photonic optimization, even for large discrete binary permittivity changes. This technique is based on the Dyson’s equation in a Green’s function formalism. Our technique guarantees an optimized structure that is binary, and it straightforwardly incorporates constraints on minimum feature size requirements in nanofabrication. Compared with the standard optimization method based on combinations of adjoint variable and level-set methods, we present numerical examples showing that our method produces higher-efficiency structures, especially for resonant systems. Our method could be important for systematical optimization of on-chip photonic devices.
Funding
Air Force Office of Scientific Research (AFOSR) (FA9550-17-1-0002); FP7 People: Marie-Curie Actions (PEOPLE) (600382).
REFERENCES
1. B. Shen, P. Wang, R. Polson, and R. Menon, “An integrated-nanophotonics polarization beamsplitter with 2.4 × 2.4 μm2 footprint,” Nat. Photonics 9, 378–382 (2015). [CrossRef]
2. A. Y. Piggott, J. Lu, K. G. Lagoudakis, J. Petykiewicz, T. M. Babinec, and J. Vučković, “Inverse design and demonstration of a compact and broadband on-chip wavelength demultiplexer,” Nat. Photonics 9, 374–377 (2015). [CrossRef]
3. J. Lu and J. Vučković, “Objective-first design of high-efficiency, small-footprint couplers between arbitrary nanophotonic waveguide modes,” Opt. Express 20, 7221–7236 (2012). [CrossRef]
4. D. Pavesi, Silicon Fundamentals for Photonics Applications. Silicon photonics (2004).
5. M. Soltani, S. Yegnanarayanan, and A. Adibi, “Ultra-high Q planar silicon microdisk resonators for chip-scale silicon photonics,” Opt. Express 15, 4694–4704 (2007). [CrossRef]
6. P. Sanchis, P. Villalba, F. Cuesta, A. Håkansson, A. Griol, J. V. Galán, A. Brimont, and J. Martí, “Highly efficient crossing structure for silicon-on-insulator waveguides,” Opt. Lett. 34, 2760–2762 (2009). [CrossRef]
7. M. P. Bendsøe and O. Sigmund, Topology Optimization Theory, Methods and Applications (Springer, 2003).
8. N. K. Georgieva, S. Glavic, M. H. Bakr, and J. W. Bandler, “Feasible adjoint sensitivity technique for EM design optimization,” IEEE Trans. Microwave Theory Tech. 50, 2751–2758 (2002). [CrossRef]
9. G. Veronis, R. W. Dutton, and S. Fan, “Method for sensitivity analysis of photonic crystal devices,” Opt. Lett. 29, 2288–2290 (2004). [CrossRef]
10. C. M. Lalau-Keraly, S. Bhargava, O. D. Miller, and E. Yablonovitch, “Adjoint shape optimization applied to electromagnetic design,” Opt. Express 21, 21693–21701 (2013). [CrossRef]
11. V. Liu, Y. Jiao, D. A. Miller, and S. Fan, “Design methodology for compact photonic-crystal-based wavelength division multiplexers,” Opt. Lett. 36, 591–593 (2011). [CrossRef]
12. O. D. Miller, “Photonic design: from fundamental solar cell physics to computational inverse design,” arXiv:1308.0212 (2013).
13. A. Y. Piggott, J. Petykiewicz, L. Su, and J. Vučković, “Fabrication-constrained nanophotonic inverse design,” Sci. Rep. 7, 1786(2017). [CrossRef]
14. S. Osher and J. A. Sethian, “Fronts propagating with curvature-dependent speed: algorithms based on Hamilton–Jacobi formulations,” J. Comput. Phys. 79, 12–49 (1988). [CrossRef]
15. X. Guo, W. Zhang, and W. Zhong, “Explicit feature control in structural topology optimization via level set method,” Comput. Methods Appl. Mech. Engrg. 272, 354–378 (2014). [CrossRef]
16. P. D. Dunning and H. A. Kim, “A new hole insertion method for level set based structural topology optimization,” Int. J. Numer. Methods Eng. 93(1), 118–134 (2013). [CrossRef]
17. M. A. Seldowitz, J. P. Allebach, and D. W. Sweeney, “Synthesis of digital holograms by direct binary search,” Appl. Opt. 26, 2788–2798 (1987). [CrossRef]
18. E. N. Economou, Green’s Functions in Quantum Physics, 2nd ed. (Springer-Verlag, 1990).
19. E. M. Purcell and C. R. Pennypacker, “Scattering and absorption of light by nonspherical dielectric grains,” Astrophys. J. 186, 705 (1973). [CrossRef]
20. B. T. Draine, “The discrete-dipole approximation and its application to interstellar graphite grains,” Astrophys. J. 333, 848–872 (1988). [CrossRef]
21. O. J. Martin and N. B. Piller, “Electromagnetic scattering in polarizable backgrounds,” Phys. Rev. E 58, 3909 (1998). [CrossRef]
22. O. J. Martin, A. Dereux, and C. Girard, “Iterative scheme for computing exactly the total field propagating in dielectric structures of arbitrary shape,” J. Opt. Soc. Am. A 11, 1073–1080 (1994). [CrossRef]
23. S. Boutami and S. Fan, “Efficient pixel-by-pixel optimization of photonic devices utilizing the Dyson’s equation in a Green function formalism: Part II. implementation using standard electromagnetic solvers,” J. Opt. Soc. Am. B 36, 2387–2394 (2019). [CrossRef]
24. W. Shin and S. Fan, “Choice of the perfectly matched layer boundary condition for frequency–domain Maxwell’s equations solvers,” J. Comput. Phys. 231, 3406–3431 (2012). [CrossRef]
25. S. Fan, J. N. Winn, A. Devenyi, J. C. Chen, R. D. Meade, and J. D. Joannopoulos, “Guided and defect modes in periodic dielectric waveguides,” J. Opt. Soc. Am. B 12, 1267–1272 (1995). [CrossRef]
26. G. F. Oster, N. Shubin, J. D. Murray, and P. Alberch, “Evolution and morphogenetic rules: the shape of the vertebrate limb in ontogeny and phylogeny,” Evolution 42, 862–884 (1988). [CrossRef]