Expand this Topic clickable element to expand a topic
Skip to content
Optica Publishing Group

Efficient pixel-by-pixel optimization of photonic devices utilizing the Dyson’s equation in a Green’s function formalism: Part I. Implementation with the method of discrete dipole approximation

Open Access Open Access

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 [13]. 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 [46]. 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,712]. 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 E(r) generated by an excitation Eexc(r), for a structure as described by a given permittivity ε(r). For illustration of the main idea of the paper, suppose we would like to optimize a figure of merit:

FOM=F(E(r0)),
given by a function F depending on the field E(r0) of the structure at a target point r0. The optimization then typically requires one to evaluate the following change of the figure of merit between two successive iterations:
ΔFOM=F(E(new)(r0))F(E(old)(r0)),
where E(old)(r) and E(new)(r) are the fields that correspond to the permittivity distribution ε(old) and ε(new) before and after the iteration, respectively.

Define the change in permittivity distribution Δεε(new)ε(old) between two iterations. Using the Lippman–Schwinger equation [19], we can determine the new electric field in the whole space:

E(new)(r)=E(old)(r)+Vk02G(old)(r,r)Δε(r)E(new)(r)dr,
where k0 is the free space wavevector, and G(old) is the electric Green’s functions of the system as described by ε(old), which is supposed to be known. The integration is only over the volume V where Δϵ0, 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 V in pixels, determine first the electric field E(new)(r) for each pixel of V by solving a square linear system of equations, and then determine the electric field in the whole space by application of (3) outside volume V. This approach is commonly known as the discrete dipole approximation (DDA) [1921]. 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 ΔFOM as described in Eq. (2).

However, in the case of single-pixel modification, Δε is non-zero only in a small volume V centered at r. It is then in fact possible to determine ΔFOM in a much simpler way. To see this, by combining Eq. (3) with Eq. (2), we have

ΔFOM=F(E(old)(r0)+k02VG(old)(r0,r)Δε(r)E(new)(r))F(E(old)(r0)),
where the integration over the volume V has been evaluated, assuming that the size of V is much smaller than the wavelength.

We can easily determine E(new)(r) for every new structure that differs from the old structure by a single pixel modification at r. Indeed, from Eq. (3), E(new)(r) can actually be determined straightforwardly and efficiently, by solving the simple following Lippman–Schwinger equation:

E(new)(r)=E(old)(r)+k02VG(old)(r,r)Δε(r)E(new)(r).
Equation (5) represents a very small linear system for E(new)(r). In the three-dimensional (3D) case, this equation represents a 3×3 linear system. For two-dimensional (2D) cases, this equation represents either a 2×2 linear system for the magnetic field polarization, or 1×1 linear system for the electric field polarization. It is valid as long as the dimension of V 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 E(old)(r) in Eq. (4) and that therefore require a continuous permittivity change. In the following then, we use the same r 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

E(new)(r)=E(old)(r)+k02VG(old)(r,r)Δε(r)E(new)(r).
To calculate the Green’s function of the new structure, we start with the Dyson [18] equation:
G(new)(r,r)=G(old)(r,r)+k02VG(old)(r,r)Δε(r)G(new)(r,r).
We compute G(new)(r,r) first, by solving
G(new)(r,r)=G(old)(r,r)+k02VG(old)(r,r)Δε(r)G(new)(r,r).
Equation (8) represents a simple scalar equation in 2D electric-field polarization, or a 4×4 linear system in 2D magnetic-field polarization, or a 9×9 linear system in 3D. Once G(new)(r,r) is determined, the Green’s function of the new structure G(new)(r,r) for an arbitrary pair of coordinates r and r 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 N 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 N 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 |EmHm, for which case the FOM has the form

FOM=|S(E×Hm*+Em*×H)·dS|2,
where S is the cross section of the waveguide.

Equation (9) is of the general form,

FOM=F(E|Ω,Em)=|Ω(E·Om^Em+Em*·O^E)·dΩ|2|η(E|Ω,Em)|2,
where O^ and Om^ are linear operators, and Ω the spatial region where FOM is computed. η is bilinear with respect to both E and Em.

With a single pixel variation, the change in FOM thus becomes

ΔFOM=F(E(old)+k02VG(old)(r,r0)TΔε(r)E(new)(r)|Ω,Em)F(E(old)|Ω,Em),
where we use the Lorentz reciprocity relation:
G(old)(r0,r)=G(old)(r,r0)T.
Equation (11) can be transformed, using the linearity of η with respect to E and Em, and neglecting the second-order term, as [12]
ΔFOM=2k02VRe(Eadj(old)(r)·Δε(r)E(new)(r)),
where Eadj(old)(r) is the adjoint field, obtained in the whole space by sending mode |EmHm backwards from Ω, in a second simulation with permittivity ϵ(old), and thus,
Eadj(old)(r)·E(new)(r)=η(E(old)|Ω,Em)*η(G(old)(r,r0)TE(new)(r)|Ω,Em).
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 E(new) with E(old) in these equations, since the difference between E(new) and E(old) is of the order O(Δε). 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 |E(r0)|2, where r0 is the position of the detector. The wavelength considered is the telecom wavelength λ=1.55μm, and the design space has a size 2λ×2λ and is divided into 62×62 pixels. Each pixel has a size of 50nm×50nm. We consider the polarization where the electric field is perpendicular to the 2D plane.

 figure: Fig. 1.

Fig. 1. Concentration of light intensity at a target point. The optimization aims at maximizing light intensity at a target point (the black dot), separated from the source (the red dot) by a distance of one wavelength. The wavelength is λ=1.55μm. We consider a scalar electric field perpendicular to the plane. The permittivities allowed for the binary system are respectively 2.25 and 6.25. The space for optimization has a square size with a dimension of 2λ×2λ, divided into 50nm×50nm square pixels.

Download Full Size | PDF

We perform the optimization for a binary system, consisting of a background material with permittivity εbck=2.25, representative of silica, and a second material, with a permittivity differing from that of the background material by Δεmax=4, 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.

 figure: Fig. 2.

Fig. 2. Performance of various continuous optimization techniques for the light concentration setup in Fig. 1. (a) FOM in a log10 scale as a function of the iteration number; black curve: pixel-by-pixel binary-adjoint optimization guided by gradient information, starting from silica background; green curve: level-set optimization of a binary structure from a random binary configuration; blue and red curves: continuous optimization followed by level-set optimization starting either from silica background or a random starting point, respectively. The constant maximal permittivity change in the domain in each iteration is constrained to be 0.25. The crosses on the curve show the end of continuous optimization. (b) Corresponding to each case in (a), the left column shows the initial structure. The middle column shows the final structure with the corresponding FOM in a log10 scale. The right column shows the electric field intensity distribution for the final structure, in a log10 scale. (c) FOM in a log10 scale as a function of the iteration number. Both curves correspond to a continuous adaptive optimization process, starting from the same initial conditions as continuous optimization of (a), but with a maximal permittivity change between iterations continuously reduced to guarantee a monotonic ascent of the FOM during the optimization process. (d) Corresponding to the two cases in (c), the left column shows the structure at the end of the continuous optimization process. The middle column shows the structure after a thresholding process to create a binary structure. In both columns, the corresponding FOM in a log10 scale for each structure is also shown. The right column shows the electric field intensity distributions in a log10 scale for the final binary structures. Each iteration takes approximately 0.1 s on an Intel core i5-7200u CPU at 2.50 Ghz, RAM 8 GB.

Download Full Size | PDF

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 (FOM=101.97) 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 (FOM=102.65), 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 FOM=103 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 104 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 104, 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.

 figure: Fig. 3.

Fig. 3. Performance of our Green-function-based optimization techniques for the light concentration setup in Fig. 1. (a) FOM in a log10 scale as a function of the iteration number. The solid lines are from our optimization techniques, starting from a uniform silica design region. Each iteration takes 0.15 s on an Intel(r) core(tm) i5-7200u CPU at 2.50 ghz, RAM 8 GB. Solid black line: the optimization process starts from the first iteration. Other solid color lines: the first 250, 500, 750, or 1000 iterations involve randomly adding high index pixels. The optimization process starts afterwards. The dashed dotted lines are from adaptive continuous optimization included for comparison purposes. (b) Evolution of structure and the corresponding electric field intensity profiles during the optimization process. The structures are taken at the iterations numbers 336, 500, 1250, 2308 along the black line in (a). The FOM in a log10 scale of the final structure is also indicated. (c) The electric field intensity distribution of the final structure shown in (b), as calculated using the FDFD method. (d) The top and bottom rows show the initial and final structures, and the corresponding electric field intensity distribution shown in a log10 scale for the four cases as presented in Fig. 1(a), where the initial structures consist of randomly added pixels. The FOM in a log10 scale of the final structure is also shown.

Download Full Size | PDF

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 λ1=1.31μm, and λ2=1.55, 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 2μm×2μm 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 40×40 pixels. Each pixel has a size of 50nm×50nm. We consider the polarization where the electric field is perpendicular to the 2D plane.

 figure: Fig. 4.

Fig. 4. Mode and frequency splitter. Light coming from the fundamental mode of a 1-μm-wide multimode waveguide is sent into either of the 0.3-μm-wide single-mode waveguides depending on its wavelength. Light with the wavelength λ1=1.31μm is sent to the left waveguide, and light with the wavelength λ2=1.55μm is sent to the right waveguide.

Download Full Size | PDF

In this design, the FOM is the average of power-coupling efficiencies, from the input mode |Ein1Hin1 toward the output mode |Eout1Hout1 at wavelengths λ1, and the input mode |Ein2Hin2 toward the output mode |Eout2Hout2 at wavelengths λ2, respectively:

FOM=12i=12|Souti(E×Houti*+Eouti*×H)·dS|24[SinRe(Eini×Hini*)·dS][SoutiRe(Eouti×Houti*)·dS].
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 FOM=79% for an empty initial structure [Figs. 5(a) and 5(b)], and a FOM=74% for a filled initial structure [Figs. 5(c) and 5(d)]. Our method reaches a comparable high performance of FOM=78% and FOM=80%, 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.

 figure: Fig. 5.

Fig. 5. Performance of our optimization techniques for the splitter setup in Fig. 4. (a), FOM as a function of iteration number. The red curves are from our approach. The blue curves are from the use of a continuous optimization followed by a level set optimization (FDFD). The design region in the starting structure is empty. (b) The top row shows the initial structure, the final structure, as well as the electric field intensity distribution at the two wavelengths of λ1=1.31μm and λ2=1.55μm, respectively, with the corresponding power-coupling efficiencies at each wavelength. The bottom row is the same as the top row, except with our method. (c) Same as (a), for a starting structure with a filled design region. (d) Same as b, for starting structure with a filled design region. Green’s function initialization (FDFD Matrix inversion) requires 130 s per λ, then each iteration time is 0.1 s per λ with our method, as for FDFD (the total domain is similar as previous example, but the design space where Green’s function is updated in our method is reduced), on an Intel core i5-7200u CPU @2.50 Ghz, RAM 8 GB.

Download Full Size | PDF

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.

 figure: Fig. 6.

Fig. 6. Optimization under the constraint of minimum feature sizes, using the example shown in Fig. 1. (a) Optimized structure and the electric field intensity distribution, for a minimum feature size of 50 nm. (b) Same as (a), for a minimum feature size of 100 nm. (c) Same as (a), for a minimum feature size of 150 nm. (d) FOM as a function of iteration number, using our method, for the three cases shown in (a)–(c). The times taken per iteration are 0.15 s, 0.75 s, 1.25 s for the minimum feature sizes of 50 nm, 100 nm, and 150 nm, respectively.

Download Full Size | PDF

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]  

Cited By

Optica participates in Crossref's Cited-By Linking service. Citing articles from Optica Publishing Group journals and other participating publishers are listed here.

Alert me when this article is cited.


Figures (6)

Fig. 1.
Fig. 1. Concentration of light intensity at a target point. The optimization aims at maximizing light intensity at a target point (the black dot), separated from the source (the red dot) by a distance of one wavelength. The wavelength is λ = 1.55 μm . We consider a scalar electric field perpendicular to the plane. The permittivities allowed for the binary system are respectively 2.25 and 6.25. The space for optimization has a square size with a dimension of 2 λ × 2 λ , divided into 50 nm × 50 nm square pixels.
Fig. 2.
Fig. 2. Performance of various continuous optimization techniques for the light concentration setup in Fig. 1. (a) FOM in a log10 scale as a function of the iteration number; black curve: pixel-by-pixel binary-adjoint optimization guided by gradient information, starting from silica background; green curve: level-set optimization of a binary structure from a random binary configuration; blue and red curves: continuous optimization followed by level-set optimization starting either from silica background or a random starting point, respectively. The constant maximal permittivity change in the domain in each iteration is constrained to be 0.25. The crosses on the curve show the end of continuous optimization. (b) Corresponding to each case in (a), the left column shows the initial structure. The middle column shows the final structure with the corresponding FOM in a log10 scale. The right column shows the electric field intensity distribution for the final structure, in a log10 scale. (c) FOM in a log10 scale as a function of the iteration number. Both curves correspond to a continuous adaptive optimization process, starting from the same initial conditions as continuous optimization of (a), but with a maximal permittivity change between iterations continuously reduced to guarantee a monotonic ascent of the FOM during the optimization process. (d) Corresponding to the two cases in (c), the left column shows the structure at the end of the continuous optimization process. The middle column shows the structure after a thresholding process to create a binary structure. In both columns, the corresponding FOM in a log10 scale for each structure is also shown. The right column shows the electric field intensity distributions in a log10 scale for the final binary structures. Each iteration takes approximately 0.1 s on an Intel core i5-7200u CPU at 2.50 Ghz, RAM 8 GB.
Fig. 3.
Fig. 3. Performance of our Green-function-based optimization techniques for the light concentration setup in Fig. 1. (a) FOM in a log10 scale as a function of the iteration number. The solid lines are from our optimization techniques, starting from a uniform silica design region. Each iteration takes 0.15 s on an Intel(r) core(tm) i5-7200u CPU at 2.50 ghz, RAM 8 GB. Solid black line: the optimization process starts from the first iteration. Other solid color lines: the first 250, 500, 750, or 1000 iterations involve randomly adding high index pixels. The optimization process starts afterwards. The dashed dotted lines are from adaptive continuous optimization included for comparison purposes. (b) Evolution of structure and the corresponding electric field intensity profiles during the optimization process. The structures are taken at the iterations numbers 336, 500, 1250, 2308 along the black line in (a). The FOM in a log10 scale of the final structure is also indicated. (c) The electric field intensity distribution of the final structure shown in (b), as calculated using the FDFD method. (d) The top and bottom rows show the initial and final structures, and the corresponding electric field intensity distribution shown in a log10 scale for the four cases as presented in Fig. 1(a), where the initial structures consist of randomly added pixels. The FOM in a log10 scale of the final structure is also shown.
Fig. 4.
Fig. 4. Mode and frequency splitter. Light coming from the fundamental mode of a 1-μm-wide multimode waveguide is sent into either of the 0.3-μm-wide single-mode waveguides depending on its wavelength. Light with the wavelength λ 1 = 1.31 μm is sent to the left waveguide, and light with the wavelength λ 2 = 1.55 μm is sent to the right waveguide.
Fig. 5.
Fig. 5. Performance of our optimization techniques for the splitter setup in Fig. 4. (a), FOM as a function of iteration number. The red curves are from our approach. The blue curves are from the use of a continuous optimization followed by a level set optimization (FDFD). The design region in the starting structure is empty. (b) The top row shows the initial structure, the final structure, as well as the electric field intensity distribution at the two wavelengths of λ 1 = 1.31 μm and λ 2 = 1.55 μm , respectively, with the corresponding power-coupling efficiencies at each wavelength. The bottom row is the same as the top row, except with our method. (c) Same as (a), for a starting structure with a filled design region. (d) Same as b, for starting structure with a filled design region. Green’s function initialization (FDFD Matrix inversion) requires 130 s per λ , then each iteration time is 0.1 s per λ with our method, as for FDFD (the total domain is similar as previous example, but the design space where Green’s function is updated in our method is reduced), on an Intel core i5-7200u CPU @2.50 Ghz, RAM 8 GB.
Fig. 6.
Fig. 6. Optimization under the constraint of minimum feature sizes, using the example shown in Fig. 1. (a) Optimized structure and the electric field intensity distribution, for a minimum feature size of 50 nm. (b) Same as (a), for a minimum feature size of 100 nm. (c) Same as (a), for a minimum feature size of 150 nm. (d) FOM as a function of iteration number, using our method, for the three cases shown in (a)–(c). The times taken per iteration are 0.15 s, 0.75 s, 1.25 s for the minimum feature sizes of 50 nm, 100 nm, and 150 nm, respectively.

Equations (15)

Equations on this page are rendered with MathJax. Learn more.

FOM = F ( E ( r 0 ) ) ,
Δ FOM = F ( E ( new ) ( r 0 ) ) F ( E ( old ) ( r 0 ) ) ,
E ( new ) ( r ) = E ( old ) ( r ) + V k 0 2 G ( old ) ( r , r ) Δ ε ( r ) E ( new ) ( r ) d r ,
Δ FOM = F ( E ( old ) ( r 0 ) + k 0 2 V G ( old ) ( r 0 , r ) Δ ε ( r ) E ( new ) ( r ) ) F ( E ( old ) ( r 0 ) ) ,
E ( new ) ( r ) = E ( old ) ( r ) + k 0 2 V G ( old ) ( r , r ) Δ ε ( r ) E ( new ) ( r ) .
E ( new ) ( r ) = E ( old ) ( r ) + k 0 2 V G ( old ) ( r , r ) Δ ε ( r ) E ( new ) ( r ) .
G ( new ) ( r , r ) = G ( old ) ( r , r ) + k 0 2 V G ( old ) ( r , r ) Δ ε ( r ) G ( new ) ( r , r ) .
G ( new ) ( r , r ) = G ( old ) ( r , r ) + k 0 2 V G ( old ) ( r , r ) Δ ε ( r ) G ( new ) ( r , r ) .
FOM = | S ( E × H m * + E m * × H ) · d S | 2 ,
FOM = F ( E | Ω , E m ) = | Ω ( E · O m ^ E m + E m * · O ^ E ) · d Ω | 2 | η ( E | Ω , E m ) | 2 ,
Δ FOM = F ( E ( old ) + k 0 2 V G ( old ) ( r , r 0 ) T Δ ε ( r ) E ( new ) ( r ) | Ω , E m ) F ( E ( old ) | Ω , E m ) ,
G ( old ) ( r 0 , r ) = G ( old ) ( r , r 0 ) T .
Δ FOM = 2 k 0 2 V Re ( E adj ( old ) ( r ) · Δ ε ( r ) E ( new ) ( r ) ) ,
E adj ( old ) ( r ) · E ( new ) ( r ) = η ( E ( old ) | Ω , E m ) * η ( G ( old ) ( r , r 0 ) T E ( new ) ( r ) | Ω , E m ) .
FOM = 1 2 i = 1 2 | S out i ( E × H out i * + E out i * × H ) · d S | 2 4 [ S in Re ( E in i × H in i * ) · d S ] [ S out i Re ( E out i × H out i * ) · d S ] .
Select as filters


Select Topics Cancel
© Copyright 2024 | Optica Publishing Group. All rights reserved, including rights for text and data mining and training of artificial technologies or similar technologies.