Abstract
Complex photonic-integrated circuits (PIC) may have strongly non-planar topologies that require waveguide crossings (WGX) when realized in single-layer integration platforms. The number of WGX increases rapidly with the complexity of the circuit, in particular when it comes to highly interconnected optical switch topologies. Here, we present a concept for WGX-free PIC that relies on 3D-printed freeform waveguide overpasses (WOP). We experimentally demonstrate the viability of our approach using the example of a 4 × 4 switch-and-select (SAS) circuit realized on the silicon photonic platform. We further present a comprehensive graph-theoretical analysis of different n × n SAS circuit topologies. We find that for increasing port counts n of the SAS circuit, the number of WGX increases with n4, whereas the number of WOP increases only in proportion to n2.
© 2019 Optical Society of America under the terms of the OSA Open Access Publishing Agreement
1. Introduction
Photonic integrated circuits (PIC) are becoming increasingly complex, incorporating thousands of photonic devices on a single chip [1,2]. The silicon photonic (SiP) platform, in particular, stands out to high integration density and offers high-yield fabrication on large-area substrates using mature CMOS processes [3,4]. However, as the complexity of PIC increases, non-planar circuit topologies with hundreds or even thousands of waveguide crossings (WGX) are unavoidable, and the number of WGX often increases in a strongly nonlinear way with the complexity of the circuit. As a consequence, compact WGX have evolved into key building blocks, and substantial research effort has been dedicated to optimizing their performance. This has led to remarkably low insertion loss (IL) of 0.017 dB and crosstalk as small as –55 dB at λ = 1550 nm, demonstrated for partially etched multi-mode interference (MMI) structures that feature a relatively large footprint of approximately 30 × 30 µm2 [2]. Fully etched MMI structures allow to reduce the footprint to, e.g., 9 × 9 µm2, but losses and crosstalk increase to, e.g., 0.028 dB and –37 dB, respectively [5]. Arrays of WGX can be compactly realized by exploiting Bloch modes in multi-mode waveguides: For SiP structures fabricated by electron-beam lithography, values of IL = 0.019 dB and crosstalk of less than –40 dB per WGX were demonstrated for a 101 × 101 WGX array with a 3 µm waveguide pitch [6]. For optical lithography, the best reported values for Bloch mode WGX are IL = 0.04 dB and crosstalk less than –35 dB for a 1 × 10 array of crossings with a 3.25 µm waveguide pitch [7].
However, while these demonstrations are impressive, even IL of the order of a few hundredths of dB and crosstalk of the order of –40 dB per WGX may have a substantial impact on the performance of large-scale PIC that may comprise tens of thousands of crossings. A prime example in this context are high-radix switches that rely on the so-called switch-and-select (SAS) architecture [8]. The SAS scheme offers low crosstalk and simple control but requires a complex and highly non-planar interconnect network that provides a dedicated waveguide from each input to each output port. In fact, finding a layout that gives the minimum number ηn,n of WGX in an n × n SAS circuit, and generally in any circuit, is an NP-complete problem [9], and ηn,n scales with n4/16 according to a still unproven conjecture [10,11]. This leads to tens of thousands of WGX for n = 32 and to approximately one million WGX for n = 64. To illustrate the associated performance penalty by WGX crosstalk, let us consider an example of a waveguide that crosses an array of 100 other waveguides with a crosstalk of –40 dB in each of the crossings. Assuming incoherent superposition of the various crosstalk contributions and interpreting them as random noise that deteriorates the signal, the signal-to-noise power ratio (SNR) would amount to 20 dB. For a 32QAM signals, this would lead to a bit-error ratio (BER) of 6 × 10−4 [12], which is only slightly below the 4.5 × 10−3 limit for hard-decision forward-error correction (HD-FEC) with 7% overhead [13]. This represents a significant deterioration of the signal quality. For 64QAM, which is envisaged for high-speed transmission systems with data rates beyond 500 Gbit/s per wavelength, an SNR of 20 dB would even be insufficient to reach the HD-FEC limit. Such crosstalk levels hence represent a significant deterioration of the signal quality. The situation may become even worse in case the crosstalk signals are superimposed coherently. Moreover, a few hundredths dB of IL per WGX would result in several dB of overall IL that is accumulated over the 100 crossings. This example illustrates that large-scale PIC with highly non-planar topologies may face performance limitations when realized by WGX in single-layer integration platforms.
To overcome the limitations of conventional WGX, multi-layer PIC have been proposed exploiting multiple stacked waveguide layers, realized from silicon [14,15], silicon nitride (Si3N4) [16,17] or as a combination of both waveguide technologies [18–23]. The deposition of the upper layers is typically done by chemical vapor deposition (CVD) and involves chemical-mechanical planarization (CMP) of intermediate SiO2 cladding layers that separate the waveguide layers. While simple two-layer implementations offer decent performance [20,22], three-layer structures have been shown to greatly reduce inter-layer crosstalk while maintaining efficient interlayer coupling [15,21,23]. This allows to reduce the crosstalk to less than –56 dB with remarkably low interlayer coupling losses of less than 0.15 dB from the bottom to the top layer using a pair of vertical directional couplers of approximately 190 µm length per side [21,23]. However, while this approach offers utmost scalability and the ability to cross entire groups of waveguides, the integration of silicon or silicon nitride waveguides into back-end metal layer stacks introduces additional technological complexity and is not yet established as part of the technology portfolios offered by silicon photonic foundries. In addition, all multi-layer PIC demonstrations so far are limited to silicon photonics.
In this paper we demonstrate hybrid 2D/3D photonic integration based on direct-write laser lithography as an alternative approach for realizing non-planar circuit topologies. Our approach is based on 3D-printed freeform polymer structures [24], which we refer to as optical waveguide overpasses (WOP). WOP are realized in situ by two-photon polymerization [25], which has previously been used for fabrication of so-called photonic wire bonds that enable low-loss single-mode connections across chip boundaries [26–29]. The devices offer low crosstalk of less than –75 dB and allow to bridge series of parallel waveguides, thereby replacing a multitude of WGX. We demonstrate the viability of our approach by realizing a 4 × 4 SAS circuit. Based on a graph-theoretical analysis, we estimate that the number of WOP needed to realize a WGX-free n × n SAS PIC scales in proportion to n2/2. A 64 × 64 SAS circuit would hence require only approximately 2000 WOP as opposed to the estimated one million conventional WGX. Fabrication of WOP may be efficiently combined with 3D-printing for die-level packaging [26–29], and offers the opportunity to locally incorporate multi-layer elements into standard SiP circuits, fabricated through readily available foundry services. The concept of 3D-printed WOP is not limited only to silicon photonics but may be transferred to a wide range of alternative photonic integration platforms.
The paper is structured as follows: In Section 2 we introduce the concept of 3D-printed WOP. A graph-theoretical analysis of the number of necessary WOP and WGX for realizing surface-coupled n × n SAS devices is provided in Section 3. Design and experimental testing of the demonstrator device are explained in Section 4. Appendix A provides definitions of graph theory terms. Appendix B gives further details of the graph-theoretical approach used for the analysis in Section 3. Appendix C gives a detailed graph-theoretical analysis of the number of necessary WOP and WGX for realizing facet-coupled SAS devices.
2. Concept of waveguide overpasses (WOP)
The concept of a 3D-printed freeform optical WOP is illustrated in Fig. 1 for the example of a SiP circuit. The PIC may be fabricated through standard processes offered by a commercial SiP foundry, including selective removal of SiO2 cladding layer to access the tapers of the SiP waveguides that need to be interconnected [30]. For fabrication of the WOP, a negative-tone photoresist is locally deposited onto the chip, and the WOP is then 3D-printed into the resist by direct laser writing based on two-photon polymerization. After exposure, the resist is removed, and the free-standing WOP structures are clad by a low-index polymer that acts as cladding and humidity protection (not shown in Fig. 1). Depending on the length, WOP may bridge tens or even hundreds of planar waveguides in the SiP device layer. Figure 1(b) displays scanning electron microscope (SEM) images of the two WOP on our demonstrator device before the cladding was applied, with colors added by image processing for better visualization. Figures 1(c)–1(e) show close-ups of different parts of the lower WOP and demonstrate the accuracy of the direct laser writing method. The two-photon lithography system uses CMOS patterned silicon markers for automated detection of the SiP waveguides that need to be interconnected. The 3D-printing time of one WOP is about 30 s with a significant potential for further reduction. The refractive index of the WOP core material amounts to nWOP ≈ 1.53, and the cladding has a refractive index of ncladding ≈ 1.36 at 1550 nm. Note that the concept has been illustrated for the SiP platform here but can generally be applied to a wide range of PIC technologies. As an example, 3D-printed photonic wire bonds can be efficiently coupled to surface-coupled [28] and edge-coupled InP-waveguides [29].
3. Theoretical analysis of non-planar switch-and-select (SAS) circuit topologies
To experimentally demonstrate the viability of our approach, we use an m × n SAS circuit as an example of a PIC requiring many WGX. In the m × n SAS architecture, each of the m input ports feeds a 1 × n switch distributing the light to one of the n output ports, and each of the n output ports is fed by an m × 1 switch, which selects light from one of the m input ports. An illustration of a basic non-optimized implementation of a 4 × 4 SAS architecture is shown in Fig. 2(a), featuring a total number of 36 WGX in the depicted case, which would scale up to a total number of
for the case of an n × n SAS circuit. In the following, we show that these circuits can be realized with a significantly smaller number of WOP than the number of WGX, even if the layout of the circuit is optimized to reduce the number of WGX. To this end, we exploit graph theory to investigate the scaling of WGX and WOP number for increasing port counts n. For the remainder of this section, we consider the case where input and output ports are accessible from the top surface of the PIC and can hence be positioned anywhere on the chip. This case is referred to as surface coupling. Surface-coupled PIC may, e.g., rely on grating couplers, SiP waveguides that are bent upwards by ion implantation [31], or on 3D-printed lensed couplers [32]. We only give a summary of the results here; mathematical details can be found in Appendix B. In Appendix C, we also discuss the case of facet coupling, for which light is coupled to and from the PIC via waveguide facets along the chip boundary.As a first step of the layout optimization, we exploit the fact that surface coupling allows to route waveguides around the couplers. This is illustrated in Fig. 2(b) for the example of a 4 × 4 SAS. In this implementation, we consider the 1 × n and m × 1 switches at the input and output ports as discrete entities that cannot be subdivided and that may hence be considered as lumped elements (LE). This leads to representation of the SAS circuit by a complete bipartite graph Km,n having two sets M and N of m and n vertices, respectively. Each vertex of set M represents an input port of the SAS and its corresponding 1 × n switch, and each vertex of set N represents an output port and the associated m × 1 switch. Each vertex of one set is connected to each vertex of the other set by a total of mn edges that represent optical waveguides. In the following, we restrict our consideration to the particularly relevant cases of Kn,n, for which the number m of input ports equals the number n of output ports. A generalization to the case of Km,n can be found in Appendix B.
For conventional SAS implementations in single-layer waveguide technology, a layout with the smallest possible number of WGX can be achieved by optimizing the drawing of the corresponding graph model for finding the minimum number of edge crossings (or just crossings), which is an NP-complete problem [9]. Up to now [10], there is only a conjectured formula for the minimum possible number of crossings (crossing number), based on a straightforward graph drawing algorithm, only proven to give an upper bound [11],
Regarding hybrid 2D/3D SAS circuit implementations based on WOP, we again start from the complete bipartite graph Kn,n and determine the number of WOP by subtracting the maximum number of edges that can be realized without crossings (the number of edges in the spanning maximum planar subgraph) from the total number of edges. The total number of edges in Kn,n is n2, and 4n – 4 edges can be realized without crossings [34]. The number of missing edges hence amounts to
and equals the number of WOP necessary to complete the SAS circuit, assuming that each WOP can cross an arbitrary number of planar waveguides, and that crossings of 3D WOP can be avoided, see Appendix B for more details. Note that the length of a WOP is only limited by the write field size of the two-photon lithography system, which currently amounts to approximately 500 µm × 500 µm. In the future, these limitations may be overcome by high-precision stitching of structures that extend across several write fields. Using Eq. (3), we calculate a total number of 196 WOP for an SAS circuit with n = 16, which is considerably smaller than the corresponding number of WGX. A comparison of the scaling of WGX and WOP numbers for increasing port count n is given in the second and third column of Table 1.As a further step of the circuit layout optimization, we may split up the 1 × n and the n × 1 switches at the input and the output into binary trees (BT) of 1 × 2 and 2 × 1 switches, see Fig. 2(d). This allows to reduce the number of WOP to
Besides the total number of WGX or WOP in the circuit, the maximum number of such elements along any optical path through the circuit is an important figure of merit. For the single-layer implementation of the SAS circuit with LE switches, the biggest number of WGX along an optical path amounts to
which scales with n2/4 for large n, see Appendix B for details. The corresponding numbers for increasing port counts n are given in the fifth column of Table 1. For an SAS circuit with n = 16, this leads to up to 49 WGX along a single optical path. In contrast to that, the number of WOP can be kept to at most one along each path, see last column of Table 1.Note that these discussions are independent of 3D-printed structures as a specific way to realize waveguide overpasses and that the findings can be broadly applied to other kinds of overpasses, e.g., in multilayer circuits [15,21,23]. 3D-printed WOP are particularly attractive for use cases in which the number of devices and/or the number of WOP per device are limited, while ultra-low cross-talk and/or the inherent flexibility of 3D printing are important. In contrast to that, the technique might suffer from limited throughput when applied to very complex circuits with thousands of WOP required on a single chip. In this case, monolithically integrated multi-layer circuits [15,21,23], might offer better scalability.
4. Device design, fabrication and experimental characterization
To demonstrate the viability of the WOP concept, we realized a 4 × 4 SAS device, similar to the one illustrated in Fig. 2(d), featuring two WOP. The device was realized on a silicon-on-insulator (SOI) wafer having a 220 nm-thick device and a 2 µm-thick buried oxide layer. All waveguides are realized as oxide-covered strip waveguides with standard width of 500 nm. The SAS circuit consists of four 1 × 4 switches at the input and four 4 × 1 switches at the output. Each of the 1 × 4 switches is realized as a BT of three 1 × 2 switches, and the same technique is applied to the 4 × 1 switches. In general, for realizing a 1 × n switch as a BT, we need (n – 1) 1 × 2 switches, each of which consists of a Mach-Zehnder interferometer (MZI) comprising two multi-mode interference (MMI) couplers and a pair of thermal phase shifters in the MZI arms. In total, there are 2n(n − 1) = 24 MZI and 24·2 = 48 phase shifters, leading to 48 signal pads and a common ground for the electrical control signals. Note that activating one of the two phase shifters of each MZI is sufficient for switching – the second phase shifter has only been implemented for better balancing of the MZI arms. We use surface coupling by grating couplers (GC). One of the WOP bridges three, and the other bridges four SiP waveguides spaced by 3.5 µm, see Figs. 2(d) and 3(c). The footprint of a single WOP amounts to approximately 15 × 160 µm2, including two 50 µm-long tapers for coupling the WOP to the SiP waveguides. This is more than an order of magnitude smaller than previously demonstrated overpasses realized by direct laser inscription of low-index contrast 3D-waveguides into glass matrices [36].
For switching, each of the possible input-output connections can be established by activating four phase shifters: Two phase shifters at the BT at the input are used to switch to the targeted output, and another two phase shifters are needed at the BT at the output to select the input. For an n × n SAS circuit with n = 4, accessing the full set of n! = 24 switch states would require to operate one phase shifter in each of the 24 MZI. To establish a specific switch state, i.e., a specific set of connections between input and output ports, it is sufficient to simultaneously operate a maximum of $2n\lceil{{{\log }_2}n} \rceil = 16$ phase shifters, while the remaining phase shifters along unused optical paths are idle. In the experiment, we use a multi-channel current source that we can flexibly connect to the 16 relevant pads out of the overall set of 48 phase shifters. The electrical connection to the chip is established through two multi-contact probe wedges (MCW), see Figs. 3(a) and 3(b), each one with 15 DC probes. For each of these wedges, twelve probes connect to the phase shifters, two probes are used for the common ground connection pads on the chip, and one probe is left idle. From the n2 = 16 optical paths connecting the various inputs and outputs of the switch, four paths contain one of the two WOP, see Fig. 2(d).
To characterize the performance of our SAS PIC, we measured the transmission spectra of all 16 optical paths, see Fig. 3(d). To eliminate the fiber-chip coupling losses, we use a reference structure composed of two GC that are connected by a short on-chip waveguide. The GC are not optimized and show maximum transmission at a wavelength of 1560 nm with a fiber-chip coupling loss of approximately 6.3 dB per coupling interface. For each path, we measure the transmission as a function of wavelength, and we correct the data to eliminate the fiber-chip coupling losses. In Fig. 3(d), the transmission spectra of the 12 optical paths without WOP is displayed in pale blue, and the bright blue trace corresponds to the average insertion loss of the 12 paths. At 1550 nm, the average on-chip loss of the paths without WOP amounts to approximately 7 dB and originates from 8 MMI splitters, 4 phase shifters and up to 6.2 mm of on-chip SiP waveguide for each optical path. Using optimized devices on the SiP platform, namely MZI with insertion loss of 0.33 dB [8], waveguides with propagation losses of 0.2 dB/mm, and waveguide lengths of up to only 3 mm, the losses can be reduced to below 2 dB. We also measure the remaining two sets of two paths, each set containing the same WOP – the results are depicted in pale red, and the average for each set is given by a bright red solid line. The insertion losses of the two WOP, indicated as black curves in Fig. 3(d), are extracted from the difference of the bright blue and the two bright red curves by additionally taking into account the different lengths of the on-chip SiP waveguides along the various optical paths. At a wavelength of 1550 nm, we measured insertion losses of 1.6 dB and 1.9 dB for the two WOP. These comparatively high losses are mainly caused by a non-optimum design of the on-chip coupling structures for the WOP and may be reduced to well below 1 dB by optimizing the design of the PIC and of the freeform WOP. This expectation is supported by [28], in which 3D-printed waveguides with a minimum curvature radius of r = 40 µm and with losses of (0.4 ± 0.3) dB have been demonstrated. These numbers are comparable to the loss of 0.3 dB that have been reported for a three-layer evanescently coupled photonic circuit overpass [21,23]. Note that surface roughness of the 3D-printed WOP, visible in Figs. 1(c) and 1(e), has only minor impact on the insertion loss. This is mainly due to the relatively small refractive index contrast of the overclad WOP (ncore = 1.53, ncladding = 1.36), which reduces the roughness-induced scattering compared to high-index-contrast silicon-photonic waveguides. Moreover, the roughness is mainly induced by horizontal slicing of the 3D structure during the writing process, which makes the horizontal WOP sections essentially invariant along the propagation direction.
The high losses in the current structures arise from the fact that the WOP bridges only four or less SiP waveguides, leading to a small width w = 17 µm of the oxide-overcladding rib underneath the WOP, see Fig. 1(b). Moreover, the distance d = 20 µm between the tips of the tapered on-chip SiP waveguides and the edge of the oxide opening was chosen rather small. In combination, these effects resulted in a trajectory with a relatively strong curvature with local bending radii r down to 20 µm along the WOP trajectory to maintain a distance of at least 2 µm between the WOP and the 2.3 µm-high oxide-overcladding rib. This problem can be avoided by either bridging more SiP waveguides or by choosing a slightly larger distance d in case only a few waveguides are to be bridged. Specifically, for seven or more SiP waveguides with spacings of 3.5 µm, the width of the overcladding-oxide rib increases to w ≥ 25 µm, which allows to maintain a radius of curvature of more than 40 µm along the WOP trajectory even for d = 20 µm. Taking into account the tapered transition between the SiP on-chip waveguide (lt = 50 µm) and the WOP, the overall space occupied to each side of the overcladding-oxide rib amounts to d + lt = 70 µm. This compares favorably to the 190 µm-long transitions between the bottom and the top layer of a SiN-based multilayer photonic circuit [21,23]. When bridging less than seven in-plane SiP waveguides, we should still maintain a minimum spacing of dtip ≈ 65 µm between the tips of the coupling structures to avoid a strongly bent WOP trajectory. In this case, the space occupied by the WOP to either side of the bridged waveguides is still less than lt + dtip/2 ≈ 83 µm. Note that WOP can also be coupled to vertical waveguide facets [29], e.g., in deep-etched trenches, thereby greatly reducing the footprint by omitting the 50 µm-long tapered transitions.
Regarding scalability of the WOP to large numbers of crossed waveguides, we have performed simulations of 3D polymer waveguides comparable to WOP in our previous work [28], finding that for an optimized waveguide trajectory the insertion loss is dominated by the coupling to the SiP waveguide rather than by the length of the polymer waveguide section. Therefore, assuming an optimized WOP trajectory, increasing the WOP length should not lead to significantly higher losses. Each additionally crossed SiP waveguide increases the WOP length by approximately 3.5 µm, which is dictated by the minimum spacing between the SiP waveguides that is needed to avoid crosstalk between them. Further reduction of the spacing can be achieved by using different SiP waveguide widths to avoid crosstalk [37]. Regarding very complex circuit topologies, the WOP footprint may hence scale very well. The overall footprint of our current SAS circuit amounts to approximately 1.8 × 1.4 mm2, mainly dictated by the rather bulky 500 µm-long thermo-optic phase shifters and the associated electric contact pads. This footprint can be reduced by using MZI switch modules based on ultra-compact liquid-crystal phase shifters, which can provide phase shifts in excess of π for a length of less than 50 µm [38,39].
We also measured the crosstalk from a WOP to one of the SiP waveguides underneath. To this end, we first maximized the optical transmission of two paths through the SAS PIC, where the first path (“Path 1”) contains the WOP while the second path (“Path 2”) contains one of the SiP waveguides underneath. We then launch a strong CW signal into the input of Path 1, and we connect highly sensitive power detectors to the output of both Path 1 and Path 2. Path 1 and Path 2 are marked in green and in blue, respectively, in Fig. 2(d), and the arrows indicate the direction of light propagation for the crosstalk measurement. To isolate the crosstalk contribution of spurious substrate modes excited at the input grating coupler from the impact of the WOP, we modulated the drive current of MZI right before the WOP (“MZI1”, marked in green) with a sinusoidal signal at a distinct lock-in frequency of fLI = 10 kHz. We then used a lock-in amplifier to measure the RMS values of the optical power fluctuations at this modulation frequency both at the output of Path 1 and at the output of Path 2. The crosstalk is obtained by calculating the ratio of the two lock-in signals and amounts to –75 dB at a wavelength of 1550 nm. This number compares favorably with the crosstalk of –56 dB reported for SiN-based multi-layer circuits [21,23]. Note that our crosstalk figure does not account for differences in on-chip loss between the point where the crosstalk is generated and the output GC of Path 1 and Path 2. Also note that this value very likely represents an upper limit for the WOP crosstalk, since it also contains contributions of other on-chip elements such as waveguide bends and lossy MMI couplers that follow MZI1.
5. Summary
We introduced a concept for realizing PIC with non-planar topologies. Planar waveguide crossings (WGX) are replaced by 3D-printed freeform waveguide overpasses (WOP). We demonstrate the viability of the approach using a silicon photonic 4 × 4 switch-and-select (SAS) structure. Our theoretical analysis shows that the number of crossings for an n × n SAS device realized using surface couplers scales with n4/16, while the number of required WOP scales with n2/2. We believe that the results may offer an attractive path towards highly complex PIC with non-planar topologies.
Appendix A: Graph theory
In this section, we shortly summarize a few definitions from graph theory that are used in the graph-theoretical analysis of SAS circuits in Section 3 and Appendices B and C.
- (1) A graph $G({N,E} )$ is defined as an ordered pair consisting of a set of vertices N and a set of edges E, which are two-element subsets of N (one edge connects two vertices). The number of vertices and edges is $|N |$ and $|E |$, respectively. The notation $|X |$ denotes the cardinality (number of elements) of a set X.
- (2) A bipartite graph $G({M,N,E} )$ consists of two sets of vertices M and N and a set of edges E, such that there are no edges between two vertices that are in the same set.
- (3) In a complete graph $G({N,E} ),$ each vertex of set N is connected by an edge to all other vertices of the same set. The number of vertices is $|N |= n$, and the number of edges is $|E |= {{n({n - 1} )} / 2}$. Such a graph is denoted by Kn.
- (4) In a complete bipartite graph $G({M,N,E} ),$ each vertex of set M is connected by an edge to each vertex of the second vertex set N. The number of vertices is $|M |+ |N |= m + n$, and the number of edges is $|E |= mn$. Such a graph is denoted by Km,n.
- (5) A planar graph can be drawn in a plane without edge crossings. From Kuratowski’s theorem [40], it follows that a complete graph Kn is planar if n ≤ 4, and a complete bipartite graph Km,n is planar if m ≤ 2 or n ≤ 2.
- (6) A maximum planar graph would become a non-planar graph by adding one additional edge.
- (7) A plane embedding is a drawing of a planar graph in a plane without edge crossings.
- (8) A plane embedding divides the plane into distinct regions called faces. All faces are bounded by edges except for the single outer face which extends to infinity. In a maximum planar graph plane embedding, each face is defined by three edges. In a bipartite maximum planar graph plane embedding, each face is defined by four edges.
- (9) The crossing number ${\mathop{\textrm {cr}}\nolimits} (G )$ of a graph G counts the minimum number of edge crossings, taking into account all possible drawings of G in a plane. The crossing number of a planar graph is zero.
- (10) The outerplanar crossing number ${\mathop{\textrm {cr}}\nolimits}^{\ast} (G )$ of a graph G counts the minimum number of edge crossings, taking into account all possible drawings of G in a plane, such that all vertices of G lie on a closed boundary curve, and all edges of G are drawn inside the area bounded by the boundary curve.
- (11) The local crossing number ${\mathop{\textrm {lcr}}\nolimits} (G )$ of a graph G is the minimum of the maximum number of crossings along any edge of G, taking into account all possible drawings of G in a plane.
- (12) The local crossing number of a graph drawing counts the maximum number of edge crossings along any edge for that particular drawing.
- (13) A subgraph of a graph G is a graph consisting of sets of vertices and edges that are subsets of sets of vertices and edges of G.
- (14) A spanning maximum planar subgraph of a graph G is a maximum planar subgraph of G that contains all vertices of G.
Appendix B: Graph-theoretical analysis of surface-coupled m × n SAS circuits
As previously mentioned, a surface-coupled m × n circuit with 1 × n and m × 1 LE switches at the input and output ports can be represented by a complete bipartite graph Km,n. The conjectured crossing number of Km,n is given by [11]
In order to find the local crossing number of such drawing it is enough to analyze the 1st quadrant of the 2D Cartesian system, since it contains the largest number of vertices and edges, and since all edges are completely drawn in single quadrants. The two edges that cross the largest number of other edges, $\{{{v_{N,\lceil{{n / 2}} \rceil }},{v_{M,1}}} \}$ and $\{{{v_{N,1}},{v_{M,\lceil{{m / 2}} \rceil }}} \},$ are drawn in blue in Fig. 4(a). It can be easily seen that edge $\{{{v_{N,\lceil{{n / 2}} \rceil }},{v_{M,1}}} \}$ must cross all edges that connect $\lceil{{n / 2}} \rceil - 1$ vertices ${v_{N,1}}, \ldots ,{v_{N,\lceil{{n / 2}} \rceil - 1}}$ to $\lceil{{m / 2}} \rceil - 1$ vertices ${v_{M,2}}, \ldots ,{v_{M,\lceil{{m / 2}} \rceil }}.$ Similarly, edge $\{{{v_{N,1}},{v_{M,\lceil{{m / 2}} \rceil }}} \}$ must cross all edges that connect $\lceil{{n / 2}} \rceil - 1$ vertices ${v_{N,2}}, \ldots ,{v_{N,\lceil{{n / 2}} \rceil }}$ to $\lceil{{m / 2}} \rceil - 1$ vertices ${v_{M,1}}, \ldots ,{v_{M,\lceil{{m / 2}} \rceil - 1}}.$ Therefore, the local crossing number of this drawing amounts to
To analyze the number of necessary WOP, we introduce a term 3D edge, which is an edge that is not restricted to the plane but can be routed in 3D, and we will use it to model a WOP. A WOP does not directly connect two optical devices on the PIC, but rather links two ends of two planar waveguides, each of which is connected to an optical device at its respective other end. The connections of WOP and planar waveguides are an analog to metallic vias that connect metallic wires in different layers of an electric printed circuits board (PCB). In the graph representation, a WOP is modelled by a 3D edge that does not directly connect to two vertices on the plane, but links two planar edges, each of which is connected to another vertex at its respective other end. In order to estimate the number of necessary 3D edges, we first construct a spanning maximum planar subgraph of Km,n, which has 2m + 2n – 4 edges [34]. We do it by connecting each of the vertices ${v_{M, - \lfloor{{m / 2}} \rfloor }}$, ${v_{M,\lceil{{m / 2}} \rceil }}$, ${v_{N, - 1}}$, and ${v_{N,1}}$ to each vertex of the opposite set, see Fig. 4(b). The remaining
edges can be realized using 3D edges. For m = n, Eq. (8) reduces to Eq. (3). The concept is illustrated in Fig. 4(b) for the case of K5,5. The edges of the spanning maximum planar subgraph are depicted in blue, the 3D edges in red (dashed), while the planar edges that connect the 3D edges to the vertices are depicted in black. The red dashed lines are, in fact, vertical projections of 3D edges on the 2D drawing plane.Note that the planar projections of the 3D edges on the drawing plane may cross each other. This, however, does not mean that the two 3D edges cross in 3D space – two freeform WOP can always be 3D-printed such that one passes over the other, and the corresponding 3D edges can be routed analogously. Furthermore, by appropriate routing of the planar and 3D edges, the crossings of projections of 3D edges on the drawing plane can be avoided. Figure 4(b) shows how a possible crossing of projections of two 3D edges between pairs of vertices $\{{{v_{N,2}},{v_{M,2}}} \}$ and $\{{{v_{N,3}},{v_{M,1}}} \}$ has been avoided by making the planar waveguide that connects ${v_{N,2}}$ to the corresponding 3D edge sufficiently long such that it passes underneath the 3D edge between the pair of vertices $\{{{v_{N,3}},{v_{M,1}}} \}$. We believe that this approach might be generalized to avoid crossings of projections of 3D edges for general complete bipartite graphs Km,n – a general proof would need further investigation and is beyond the scope of this paper.
If the 1 × n and m × 1 switches at the input and output ports are realized as BT of 1 × 2 and 2 × 1 switches rather than as LE, we can further reduce the number of 3D edges. We will split the analysis into two cases: when both m and n are odd, and when at least one of them is even. Furthermore, we will only analyze cases where both m and n are ≥ 3 since otherwise, according to Kuratowski’s theorem [40], the complete bipartite graph Km,n is planar. If both m and n are odd, we do the following steps:
Step 1: Construct the spanning maximum planar subgraph of Km,n as described above. The edges of this subgraph are depicted in blue in Fig. 4(c) for the case of K5,5 (m = n = 5). This subgraph has all faces determined by four vertices (two from set M and two from set N) and four edges. There are (m – 3) vertices of set M whose x-coordinates lie between $- \lfloor{{m / 2}} \rfloor + 1$ and $\lceil{{m / 2}} \rceil - 2$ inclusive, and they can be divided into (m – 3)/2 distinct two-element subsets of vertices (because m – 3 is even, and therefore divisible by two): $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 1}}, {v_{M, - \lfloor{{m / 2}} \rfloor + 2}}} \},\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 3}},{v_{M, - \lfloor{{m / 2}} \rfloor + 4}}} \}, \ldots ,\{{{v_{M,\lceil{{m / 2}} \rceil - 3}},{v_{M,\lceil{{m / 2}} \rceil - 2}}} \}.$ Each of these (m – 3)/2 pairs of vertices of set M together with the pair of vertices $\{{{v_{N, - 1}},{v_{N,1}}} \}$ of set N, define (m – 3)/2 faces: $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 1}},{v_{N, - 1}},{v_{M, - \lfloor{{m / 2}} \rfloor + 2}},{v_{N,1}}} \},$$\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 3}},{v_{N, - 1}},{v_{M, - \lfloor{{m / 2}} \rfloor + 4}},{v_{N,1}}} \}, \ldots ,\{{{v_{M,\lceil{{m / 2}} \rceil - 3}},{v_{N, - 1}},{v_{M,\lceil{{m / 2}} \rceil - 2}},{v_{N,1}}} \}.$ For m = 3 there are no such faces. For m = 5, there is only one such face $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 1}},{v_{N, - 1}},{v_{M,\lceil{{m / 2}} \rceil - 2}},{v_{N,1}}} \}= \{{{v_{M, - 1}},{v_{N, - 1}},{v_{M,1}},{v_{N,1}}} \},$ see Fig. 4(c). Note that the results of the expressions $- \lfloor{{m / 2}} \rfloor + i$ and $\lceil{{m / 2}} \rceil - j$ in the subscripts of labels of vertices of set M indicate the x-coordinates of the vertices. Since there is no vertex at x = 0, not a single expression is allowed to result in zero. Therefore, we restrict the values of integers i and j to $i = 1,2, \ldots ,\lfloor{{m / 2}} \rfloor - 1$, and $j = \lceil{{m / 2}} \rceil - 1,\lceil{{m / 2}} \rceil - 2, \ldots ,2$ (the expression $- \lfloor{{m / 2}} \rfloor + i$ is used for vertices on the negative side of the x-axis, while the expression $\lceil{{m / 2}} \rceil - j$ is used for vertices on the positive side of the x-axis).
Step 2: Let us put an auxiliary vertex $v{^{\prime}_{N,\lceil{n/2} \rceil }}$ inside the face defined by vertices $\{{{v_{M, - \lfloor{m/2} \rfloor + 1}},{v_{N, - 1}},{v_{M, - \lfloor{m/2} \rfloor + 2}},{v_{N,1}}} \}.$ We can connect the auxiliary vertex $v{^{\prime}_{N,\lceil{n/2} \rceil }}$ to vertex ${v_{N,\lceil{n/2} \rceil }}$ with a 3D edge, and the same auxiliary vertex to vertices ${v_{M, - \lfloor{m/2} \rfloor + 1}}$ and ${v_{M, - \lfloor{m/2} \rfloor + 2}}$ with two planar edges. The auxiliary vertex is the place where we put a 2 × 1 switch, which is a part of the BT m × 1 switch at the vertex ${v_{N,\lceil{n/2} \rceil }}$. In this way, we can replace two 3D edges that would otherwise separately connect vertex ${v_{N,\lceil{n/2} \rceil }}$ to vertices ${v_{M, - \lfloor{m/2} \rfloor + 1}}$ and ${v_{M, - \lfloor{m/2} \rfloor + 2}}.$ The auxiliary vertex $v{^{\prime}_{N,\lceil{n/2} \rceil }}$ and the two planar edges that connect it to vertices ${v_{M, - \lfloor{m/2} \rfloor + 1}}$ and ${v_{M, - \lfloor{m/2} \rfloor + 2}}$ split the original face $\{{{v_{M, - \lfloor{m/2} \rfloor + 1}},{v_{N, - 1}},{v_{M, - \lfloor{m/2} \rfloor + 2}},{v_{N,1}}} \}$ into two faces $\{{{v_{M, - \lfloor{m/2} \rfloor + 1}},{v_{N, - 1}},{v_{M, - \lfloor{m/2} \rfloor + 2}},v{^{\prime}_{N,\lceil{n/2} \rceil }}} \}$ and $\{{{v_{M, - \lfloor{m/2} \rfloor + 1}},{v_{N,1}},{v_{M, - \lfloor{m/2} \rfloor + 2}},v{^{\prime}_{N,\lceil{n/2} \rceil }}} \}.$ We put an additional auxiliary vertex $v{^{\prime}_{N,\lceil{n/2} \rceil - 1}}$ to any of the two new faces, and we connect it to vertex ${v_{N,\lceil{n/2} \rceil - 1}}$ with a 3D edge and to vertices ${v_{M, - \lfloor{m/2} \rfloor + 1}}$ and ${v_{M, - \lfloor{m/2} \rfloor + 2}}$ with two planar edges. We repeat the procedure for all vertices of set N, except for vertices ${v_{N, - 1}}$ and ${v_{N,1}},$ which are already connected to all vertices of set M. In this way, we connect both vertices of the pair $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 1}},{v_{M, - \lfloor{{m / 2}} \rfloor + 2}}} \}$ to all vertices of set N. We apply the same algorithm to connect the pairs of vertices $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 3}},{v_{M, - \lfloor{{m / 2}} \rfloor + 4}}} \}, \ldots ,\{{{v_{M,\lceil{{m / 2}} \rceil - 3}},{v_{M,\lceil{{m / 2}} \rceil - 2}}} \}$ to all vertices of set N. This step has been illustrated in Fig. 4(c) where auxiliary vertices $v{^{\prime}_{N,3}}$, $v{^{\prime}_{N,2}}$, and $v{^{\prime}_{N, - 2}}$ have been placed inside the face $\{{{v_{M, - 1}},{v_{N, - 1}},{v_{M,1}},{v_{N,1}}} \},$ connected to vertices ${v_{N,3}}$, ${v_{N,2}}$, and ${v_{N, - 2}}$ by 3D edges, respectively, and to ${v_{M, - 1}}$ and ${v_{M,1}}$ by planar edges. For m = 3, Step 2 is skipped.
Step 3: So far, we connected all vertices of set M to all vertices of set N, except for vertex ${v_{M,\lceil{m/2} \rceil - 1}}$ that is connected only to ${v_{N, - 1}}$ and ${v_{N,1}}$ and still needs to be connected to the remaining (n – 2) vertices of set N. There are $\lceil{{n / 2}} \rceil - 1$ such vertices on the positive side of the y-axis: ${v_{N,\lceil{n/2} \rceil }},{v_{N,\lceil{n/2} \rceil - 1}}, \ldots ,{v_{N,2}}$, and $\lfloor{{n / 2}} \rfloor - 1$ on the negative side of the y-axis: ${v_{N, - 2}},{v_{N, - 3}}, \ldots ,{v_{N, - \lfloor{n/2} \rfloor }}$. Depending on n, one of these two numbers is even, and the other is odd. If $\lceil{{n / 2}} \rceil - 1$ is even and $\lfloor{{n / 2}} \rfloor - 1$ is odd, then each of the following pairs of vertices $\{{{v_{N,\lceil{n/2} \rceil }},{v_{N,\lceil{n/2} \rceil - 1}}} \}, \ldots ,\{{{v_{N,3}},{v_{N,2}}} \},\{{{v_{N, - 2}},{v_{N, - 3}}} \}, \ldots ,\{{{v_{N, - \lfloor{n/2} \rfloor + 2}},{v_{N, - \lfloor{n/2} \rfloor + 1}}} \}$ together with the pair of vertices $\{{{v_{M, - \lfloor{m/2} \rfloor }},{v_{M,\lceil{m/2} \rceil }}} \}$ define one face. In each of these faces, we can place one auxiliary vertex $v{^{\prime}_{M,\lceil{m/2} \rceil - 1}},v^{\prime}{^{\prime}_{M,\lceil{m/2} \rceil - 1}},v^{\prime\prime}{^{\prime}_{M,\lceil{m/2} \rceil - 1}}, \ldots ,$ see Fig. 4(c), where there is only one such auxiliary vertex $v{^{\prime}_{M,\lceil{m/2} \rceil - 1}} = v{^{\prime}_{M,2}}$. Each of these auxiliary vertices can be connected to ${v_{M,\lceil{m/2} \rceil - 1}}$ by a 3D edge and to the respective pair of vertices of set N (that define the face in which the auxiliary vertex is placed) by two planar edges. After this step, there will be only one missing edge between vertices ${v_{M,\lceil{m/2} \rceil - 1}}$ and ${v_{N, - \lfloor{n/2} \rfloor }}$, and we directly connect these two vertices by a single 3D edge, see Fig. 4(c). Similarly, if $\lceil{{n / 2}} \rceil - 1$ is odd and $\lfloor{{n / 2}} \rfloor - 1$ is even, we can group the vertices of set N into pairs as $\{{{v_{N,\lceil{n/2} \rceil - 1}},{v_{N,\lceil{n/2} \rceil - 2}}} \}, \ldots ,$ $\{{{v_{N,3}},{v_{N,2}}} \},\{{{v_{N, - 2}},{v_{N, - 3}}} \}, \ldots ,\{{{v_{N, - \lfloor{n/2} \rfloor + 1}},{v_{N, - \lfloor{n/2} \rfloor }}} \}$ which would define faces together with the pair of vertices $\{{{v_{M, - \lfloor{m/2} \rfloor }},{v_{M,\lceil{m/2} \rceil }}} \}$. After placing and connecting auxiliary vertices as described, the only missing edge would be between ${v_{M,\lceil{m/2} \rceil - 1}}$ and ${v_{N,\lceil{n/2} \rceil }}$, and we would connect them by one 3D edge.
The case when at least one of the numbers m and n is even is simpler. We can assume without loss of generality that m is even and n is odd. By constructing the spanning maximum planar subgraph of Km,n as described above, we will get a subgraph where each of the following (m – 2)/2 pairs of vertices $\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 1}},{v_{M, - \lfloor{{m / 2}} \rfloor + 2}}} \},\{{{v_{M, - \lfloor{{m / 2}} \rfloor + 3}},{v_{M, - \lfloor{{m / 2}} \rfloor + 4}}} \}, \ldots ,$ $\{{{v_{M,\lceil{{m / 2}} \rceil - 2}},{v_{M,\lceil{{m / 2}} \rceil - 1}}} \}$ together with the pair of vertices $\{{{v_{N, - 1}},{v_{N,1}}} \}$ define one face. After performing Step 2 as described above, we will connect all vertices of set M to all vertices of set N. Figure 4(d) shows an example of the result of the algorithm for the case of K4,4.
The described algorithm allows to replace two missing planar edges by one 3D edge. The number of necessary 3D edges hence amounts to
It should be pointed out that Eq. (9) does not necessarily give the minimum number of necessary 3D edges, but an upper bound. In our construction we started from the spanning maximum planar subgraph, and we split some vertices in two by introducing auxiliary vertices. We did, however, not show that the spanning maximum planar subgraph of Km,n is the optimal way to start with. We could have also started with a non-maximum planar subgraph and could have used larger split ratio switches 1 × n′, n′ < n and 1 × m′, m′ < m, and place them in the auxiliary vertices. Furthermore, the graph model of the device where 1 × n and m × 1 switches at the input and output ports are realized as BT of 1 × 2 and 2 × 1 switches, is not a complete bipartite graph Km,n. The crossing number of the SAS circuit realized with such an approach is subject to ongoing investigations.
Appendix C: Facet-coupled SAS circuits
C.1. Facet-coupled SAS realized in single-layer and hybrid 2D/3D photonic integration
For facet-coupled SAS circuits, all input and output ports are implemented by waveguide facets arranged along the chip boundaries, making it impossible to route waveguides “behind” the ports, i.e., between the ports and the chip boundary. In the graph drawing of the circuit, all vertices representing input and output ports must hence be placed on a closed curve that represents the boundary of the chip surface, and no waveguide (graph edge) routing outside the area enclosed by the curve is allowed. In addition, in contrast to surface coupling, the graph of a facet-coupled SAS is not anymore a complete bipartite graph: For the case of surface coupling, a port and the associated 1 × n or m × 1 switch can be combined into a single vertex, whereas facet-coupled circuits must be represented by a first kind of vertices for the switches and a second kind of vertices for the ports, which must be placed onto the boundary curve. Every port vertex must be connected to the associated switch by a graph edge that represents the access waveguide. This results in a 3-partite graph, which comprises three parties of vertices represented by the ports, the 1 × n switches, and the m × 1 switches, and which is not complete. For a general description of facet-coupled SAS circuits, we can hence not resort any more to the existing theory of complete bipartite graphs. This renders theoretical assessment of the topologies more difficult and requires simplifying assumptions for quantifying the numbers of WGX or WOP. Nevertheless, we believe that non-planar facet-coupled SAS circuits can also greatly benefit from replacing WGX by WOP.
To support this claim, we first consider the basic non-optimized representation of a 4 × 4 SAS circuit, see Fig. 5(a). This representation relies on the same simplistic approach as the surface-coupled SAS circuit that is sketched in Fig. 2(a). In this approach, each pair of vertices of set M is connected by four edges to each pair of vertices of set N, and the four edges make exactly one crossing. The number of crossings is therefore equal to the product of numbers of ways to choose two-element subsets of M and N and amounts to
For the case m = n, this reduces to
Which scales with n4/6 for large n. The associated numbers of WGX for switches implemented as LE are listed in the second column of Table 2. Further layout optimization steps may involve routing of waveguides between the ports and the corresponding switches, possibly in combination with interleaving of the ports along the chip boundary, see Figs. 5(c) and 5(d). Even though we are not aware of any relations specifying the exact crossing numbers of these graphs, we may still use the number of WGX in the associated surface-coupled SAS as a lower bound. This can be understood by observing that both implementations in Figs. 5(c) and 5(d) contain a maximum bipartite subgraph (indicated in blue) which is equivalent to that of the corresponding surface-coupled circuit, Fig. 2(b), and which is complemented by additional crossings caused by the access waveguides. The number of WGX still scales with at least n4/16, see Eq. (2). Similarly to the case of surface-coupled SAS, disaggregating the 1 × n and m × 1 switches into BT of 1 × 2 switches might reduce the number of WGX – this aspect is still under investigation. For the remainder of this section, we rely on Eq. (12) for determining the number of WGX in the facet-coupled n × n SAS circuit.For 2D/3D hybrid implementations, the number of WOP in facet-coupled SAS circuits was analyzed based on the simplistic layout shown in Fig. 5(a) for cases of LE switches and BT cascaded 1 × 2 switches, see Figs. 6(a) and 6(b). Mathematical details can be found in Appendix C.2. For LE switches, this leads to a total WOP number of
which reduces to (n – 1)2 for m = n. For BT switches, the number of WOP amounts toC.2. Graph-theoretical models and analysis of facet-coupled m × n SAS circuits
Let us first explain Eq. (15) which is obtained in case of a drawing of the complete bipartite subgraph Kn,n that results in the outerplanar crossing number – the vertices belonging to different vertex sets M and N (m = n) are interleaved along the boundary curve. This subgraph is depicted in blue in Fig. 5(b) for n = 5. The concept of this layout is illustrated in Fig. 7, which shows graph drawings of a complete bipartite graph Kn,n with interleaved vertices of two different vertex sets along the boundary (dashed circular line). Each edge divides the bounded area in two parts, and the largest number of crossings will be on an edge $\{{{v_{M,i}},{v_{N,i}}} \}$ that divides the area such that the numbers of vertices in both parts are as much equal as possible. If n is odd, it is possible to find an edge that divides the bounded area such that both parts have exactly the same number of vertices; on the other hand, if n is even, one part will have one more vertex of each vertex set than the other part. Both cases are illustrated in Fig. 7 – the edge $\{{{v_{M,i}},{v_{N,i}}} \}$ is depicted in blue. For both cases, edge $\{{{v_{M,i}},{v_{N,i}}} \}$ divides the area such that one part contains $\lfloor{({n - 1} )/2} \rfloor$ and the other $\lceil{({n - 1} )/2} \rceil$ vertices of each vertex set. That means that edge $\{{{v_{M,i}},{v_{N,i}}} \}$ is crossed by $\lfloor{({n - 1} )/2} \rfloor \lceil{({n - 1} )/2} \rceil$ edges connecting $\lfloor{({n - 1} )/2} \rfloor$ vertices of set M in the first part to $\lceil{({n - 1} )/2} \rceil$ vertices of set N in the second part, and the same number of edges connecting $\lfloor{({n - 1} )/2} \rfloor$ vertices of set N in the first part to $\lceil{({n - 1} )/2} \rceil$ vertices of set M in the second part. From here follows the result of Eq. (15).
In order to estimate the number of necessary WOP (3D edges), we will use the simplistic layout shown in Fig. 5(a). It is sufficient to consider a drawing of Km,n with all vertices placed on a closed boundary curve, since access waveguides do not have any crossings. We construct a corresponding graph drawing by placing all m vertices of set M: ${v_{M,1}},{v_{M,2}}, \ldots ,{v_{M,m}}$ on the x-axis of the 2D Cartesian coordinate system in points x = 1, 2, …, m, see Fig. 8(a) for an illustration of the case of K4,4. Similarly, we place all n vertices of set N: ${v_{N,1}},{v_{N,2}}, \ldots ,{v_{N,n}}$ on the y-axis in points y = 1, 2, …, n. Finally, we connect all vertices of set M to all vertices of set N by mn line segments. The boundary curve can be for example a rectangle that is oriented along the x and the y axis, as depicted in green in Fig. 8(a). The total number of crossings is equivalent to the one given by Eq. (10) – it takes four edges and one crossing to connect each possible pair of vertices of set M to each possible pair of vertices of set N. In order to estimate the number of necessary 3D edges, we first construct a spanning planar subgraph of Km,n, by connecting vertices ${v_{M,1}}$ and ${v_{N,n}}$ to all vertices of the opposite vertex sets, Fig. 8(b). This subgraph evidently has m + n – 1 edges, and the number of missing edges is therefore equal to mn – (m + n – 1) = (m – 1)(n – 1), which leads to Eq. (13). These edges can be realized with help of 3D edges, illustrated by dashed red lines in Fig. 8(b).
Similarly to the case of surface coupled SAS described in Appendix B, if the 1 × n and m × 1 switches at the input and output ports are BT of 1 × 2 and 2 × 1 switches, the number of necessary 3D edges reduces. We will split the analysis into two cases: when both m and n are even, and when at least one of them is odd. If both are even, the analysis comprises the following steps:
Step 1: Construct a spanning planar subgraph of Km,n as described above. Each pair of vertices $\{{{v_{M,2}},{v_{M,3}}} \},\{{{v_{M,4}},{v_{M,5}}} \}, \ldots ,\{{{v_{M,m - 2}},{v_{M,m - 1}}} \},$ together with vertex ${v_{N,n}}$ defines one area, which is bounded by two edges between ${v_{N,n}}$ and the two vertices of set M and a portion of the x-axis between the two vertices of set M. This is illustrated on an example of K4,4 in Fig. 8(c).
Step 2: Put an auxiliary vertex $v{^{\prime}_{N,1}}$ inside the area defined by vertices $\{{{v_{M,2}},{v_{M,3}},{v_{N,n}}} \}$, see Fig. 8(c). We can connect the auxiliary vertex $v{^{\prime}_{N,1}}$ and vertex ${v_{N,1}}$ by a 3D edge, and the same auxiliary vertex and vertices ${v_{M,2}}$ and ${v_{M,3}}$ by planar edges. Similarly to the case of surface-coupled SAS, we continue adding auxiliary vertices $v{^{\prime}_{N,2}},v{^{\prime}_{N,3}}, \ldots ,v{^{\prime}_{N,n - 1}},$ to the same area until we connect all vertices of set N to ${v_{M,2}}$ and ${v_{M,3}}$. We then continue with the same procedure for the following areas defined by groups of three vertices: $\{{{v_{M,4}},{v_{M,5}},{v_{N,n}}} \}, \ldots ,\{{{v_{M,n - 2}},{v_{M,n - 1}},{v_{N,n}}} \}$.
Step 3: In this fashion, we will connect all vertices of set M to all vertices of set N, except for vertex ${v_{M,m}}$ that is connected only to ${v_{N,n}}$. However, each of the following pairs of vertices $\{{{v_{N,1}},{v_{N,2}}} \}, \ldots ,\{{{v_{N,n - 3}},{v_{N,n - 2}}} \},$ together with vertex ${v_{M,1}}$ define one area bounded by two edges (between ${v_{M,1}}$ and the two vertices of set N) and a portion of the y-axis between the two vertices of set N. In each of these areas, we can place one auxiliary vertex: $v{^{\prime}_{M,m}}$, $v^{\prime}{^{\prime}_{M,m}}$, $v^{\prime\prime}{^{\prime}_{M,m}}, \ldots$ Each of these auxiliary vertices can be connected to ${v_{M,m}}$ by a 3D edge, and to the respective pair of vertices of set N that define the area in which the auxiliary vertex is placed by two planar edges. After this step, there will be only one missing edge between vertices ${v_{M,m}}$ and ${v_{N,n - 1}}$, and we directly connect these two vertices by a single 3D edge, see Fig. 8(c).
In case when at least one of the numbers m and n is odd, we can assume without loss of generality that m is odd, and n is even. By executing Step 1 as described above, we will get a subgraph where each of the pairs of vertices $\{{{v_{M,2}},{v_{M,3}}} \},\{{{v_{M,4}},{v_{M,5}}} \}, \ldots ,\{{{v_{M,m - 1}},{v_{M,m}}} \},$ together with vertex ${v_{N,n}}$ defines one area bounded by two edges (between ${v_{N,n}}$ and the two vertices of set M) and a portion of the x-axis between the two vertices of set M. After performing Step 2 as described above, we will connect all vertices of set M to all vertices of set N. This case is illustrated on an example of K5,4 in Fig. 8(d). For at least one of the numbers m and n being odd, the number of missing edges is even, and we can replace two missing planar edges by one 3D edge. Combining the two cases leads to Eq. (14).
Funding
Erasmus Mundus Joint Doctorate program EUROPHOTONICS (159224-1-2009-1-FR-ERA MUNDUS-EMJD); Deutsche Forschungsgemeinschaft (DFG), Wave Phenomena, Project C4 (CRC 1173); Bundesministerium für Bildung und Forschung (BMBF), Project PRIMA (13N14630); Alfried Krupp von Bohlen und Halbach-Stiftung Foundation; Helmholtz International Research School for Teratronics (HIRST); H2020 Photonic Packaging Pilot Line 'PIXAPP' (731954); H2020 European Research Council (ERC) Consolidator Grant ‘TeraSHAPE’ (773248); Karlsruhe Nano-Micro Facility (KNMF); Karlsruhe School of Optics and Photonics (KSOP).
Acknowledgments
We acknowledge fruitful discussions with Maria Axenovich (Institute of Algebra and Geometry (IAG), Karlsruhe Institute of Technology (KIT), Germany). Portions of this work were presented at the European Conference on Optical Communications (ECOC) in 2016 [24].
References
1. J. Sun, E. Timurdogan, A. Yaacobi, E. S. Hosseini, and M. R. Watts, “Large-scale nanophotonic phased array,” Nature 493(7431), 195–199 (2013). [CrossRef]
2. T. J. Seok, N. Quack, S. Han, R. S. Muller, and M. C. Wu, “Large-scale broadband digital silicon photonic switches with vertical adiabatic couplers,” Optica 3(1), 64–70 (2016). [CrossRef]
3. M. Hochberg, N. C. Harris, R. Ding, Y. Zhang, A. Novack, Z. Xuan, and T. Baehr-Jones, “Silicon photonics: The next fabless semiconductor industry,” IEEE Solid-State Circuits Mag. 5(1), 48–58 (2013). [CrossRef]
4. L. Chrostowski and M. Hochberg, Silicon Photonics Design (Cambridge University, 2015).
5. Y. Ma, Y. Zhang, S. Yang, A. Novack, R. Ding, A. E.-J. Lim, G.-Q. Lo, T. Baehr-Jones, and M. Hochberg, “Ultralow loss single layer submicron silicon waveguide crossing for SOI optical interconnect,” Opt. Express 21(24), 29374–29382 (2013). [CrossRef]
6. Y. Zhang, A. Hosseini, X. Xu, D. Kwong, and R. T. Chen, “Ultralow-loss silicon waveguide crossing using Bloch modes in index-engineered cascaded multimode-interference couplers,” Opt. Lett. 38(18), 3608–3611 (2013). [CrossRef]
7. Y. Liu, J. M. Shainline, X. Zeng, and M. A. Popović, “Ultra-low-loss CMOS-compatible waveguide crossing arrays based on multimode Bloch waves and imaginary coupling,” Opt. Lett. 39(2), 335–338 (2014). [CrossRef]
8. L. Chen and Y. K. Chen, “Compact, low-loss and low-power 8×8 broadband silicon optical switch,” Opt. Express 20(17), 18977–18985 (2012). [CrossRef]
9. M. R. Garey and D. S. Johnson, “Crossing number is NP-complete,” SIAM J. Alg. Disc. Meth. 4(3), 312–316 (1983). [CrossRef]
10. L. A. Székely, “Turán’s brick factory problem: The status of the conjectures of Zarankiewicz and Hill,” in Graph Theory–Favorite Conjectures and Open Problems–1, R. Gera, S. Hedetniemi, and C. Larson, eds. (Springer International Publishing, 2016).
11. C. Zarankiewicz, “On a problem of P. Turan concerning graphs,” Fundam. Math. 41(1), 137–145 (1955). [CrossRef]
12. I. Kaminow, T. Li, and A. Willner, Optical Fiber Telecommunications, Volume VIB, 6th edition (Elsevier Science Publishing Company, Inc., 2013).
13. F. Chang, K. Onohara, and T. Mizuochi, “Forward error correction for 100 G transport networks,” IEEE Commun. Mag. 48(3), S48–S55 (2010). [CrossRef]
14. K. Itoh, Y. Kuno, Y. Hayashi, J. Suzuki, N. Hojo, T. Amemiya, N. Nishiyama, and S. Arai, “Crystalline/amorphous Si integrated optical couplers for 2D/3D interconnection,” IEEE J. Sel. Top. Quantum Electron. 22(6), 255–263 (2016). [CrossRef]
15. J. Chiles, S. Buckley, N. Nader, S. W. Nam, R. P. Mirin, and J. M. Shainline, “Multi-planar amorphous silicon photonics with compact interplanar couplers, cross talk mitigation, and low crossing loss,” APL Photonics 2(11), 116101 (2017). [CrossRef]
16. K. Shang, S. Pathak, B. Guan, G. Liu, and S. J. B. Yoo, “Low-loss compact multilayer silicon nitride platform for 3D photonic integrated circuits,” Opt. Express 23(16), 21334–21342 (2015). [CrossRef]
17. K. Shang, S. Pathak, G. Liu, S. Feng, S. Li, W. Lai, and S. J. B. Yoo, “Silicon nitride tri-layer vertical Y-junction and 3D couplers with arbitrary splitting ratio for photonic integrated circuits,” Opt. Express 25(9), 10474–10483 (2017). [CrossRef]
18. A. M. Jones, C. T. DeRose, A. L. Lentine, D. C. Trotter, A. L. Starbuck, and R. A. Norwood, “Ultra-low crosstalk, CMOS compatible waveguide crossings for densely integrated photonic interconnection networks,” Opt. Express 21(10), 12002–12013 (2013). [CrossRef]
19. W. D. Sacher, Y. Huang, G.-Q. Lo, and J. K. Poon, “Multilayer silicon nitride-on-silicon integrated photonic platforms and devices,” J. Lightwave Technol. 33(4), 901–910 (2015). [CrossRef]
20. K. Suzuki, R. Konoike, K. Tanizawa, S. Suda, H. Matsuura, K. Ikeda, S. Namiki, and H. Kawashima, “Ultralow-crosstalk and broadband multi-port optical switch using SiN/Si double-layer platform,” in Opto-Electronics and Communications Conference (OECC) and Photonics Global Conference (PGC) (IEEE, 2017), pp. 1–2.
21. W. D. Sacher, J. C. Mikkelsen, P. Dumais, J. Jiang, D. Goodwill, X. Luo, Y. Huang, Y. Yang, A. Bois, P. G.-Q. Lo, E. Bernier, and J. K. S. Poon, “Tri-layer silicon nitride-on-silicon photonic platform for ultra-low-loss crossings and interlayer transitions,” Opt. Express 25(25), 30862–30875 (2017). [CrossRef]
22. Q. Cheng, L. Y. Dai, M. Bahadori, N. C. Abrams, P. E. Morrissey, M. Glick, P. O’Brien, and K. Bergman, “Si/SiN microring-based optical router in switch-and-select topology,” in 44th European Conference on Optical Communications (ECOC) (IEEE, 2018), pp. 1–3.
23. W. D. Sacher, J. C. Mikkelsen, Y. Huang, J. C. C. Mak, Z. Yong, X. Luo, Y. Li, P. Dumais, J. Jiang, D. Goodwill, E. Bernier, P. G.-Q. Lo, and J. K. S. Poon, “Monolithically integrated multilayer silicon nitride-on-silicon waveguide platforms for 3-D photonic circuits and devices,” Proc. IEEE 106(12), 2232–2245 (2018). [CrossRef]
24. A. Nesic, M. Blaicher, T. Hoose, M. Lauermann, Y. Kutuvantavida, W. Freude, and C. Koos, “Hybrid 2D/3D photonic integration for non-planar circuit topologies,” in 42nd European Conference on Optical Communications (ECOC) (IEEE, 2016), paper W.3.F.4.
25. M. Deubel, G. von Freymann, M. Wegener, S. Pereira, K. Busch, and C. M. Soukoulis, “Direct laser writing of three-dimensional photonic-crystal templates for telecommunications,” Nat. Mater. 3(7), 444–447 (2004). [CrossRef]
26. N. Lindenmann, G. Balthasar, D. Hillerkuss, R. Schmogrow, M. Jordan, J. Leuthold, W. Freude, and C. Koos, “Photonic wire bonding: a novel concept for chip-scale interconnects,” Opt. Express 20(16), 17667–17677 (2012). [CrossRef]
27. N. Lindenmann, S. Dottermusch, M. L. Goedecke, T. Hoose, M. R. Billah, T. P. Onanuga, A. Hofmann, W. Freude, and C. Koos, “Connecting silicon photonic circuits to multicore fibers by photonic wire bonding,” J. Lightwave Technol. 33(4), 755–760 (2015). [CrossRef]
28. M. R. Billah, M. Blaicher, T. Hoose, P.-I. Dietrich, P. Marin-Palomo, N. Lindenmann, A. Nesic, A. Hofmann, U. Troppenz, M. Moehrle, S. Randel, W. Freude, and C. Koos, “Hybrid integration of silicon photonics circuits and InP lasers by photonic wire bonding,” Optica 5(7), 876–883 (2018). [CrossRef]
29. T. Hoose, M. Billah, M. Blaicher, P. Marin, P.-I. Dietrich, A. Hofmann, U. Troppenz, M. Moehrle, N. Lindenmann, M. Thiel, P. Simon, J. Hoffmann, M. L. Goedecke, W. Freude, and C. Koos, “Multi-Chip integration by photonic wire bonding: connecting surface and edge emitting lasers to silicon chips,” in Optical Fiber Communications Conference and Exhibition (OFC) (IEEE, 2016), pp. 1–3.
30. C. Galland, A. Novack, Y. Liu, R. Ding, M. Gould, T. Baehr-Jones, Q. Li, Y. Yang, Y. Ma, Y. Zhang, K. Padmaraju, K. Bergmen, A. E.-J. Lim, G.-Q. Lo, and M. Hochberg, “A CMOS-compatible silicon photonic platform for high-speed integrated opto-electronics,” Proc. SPIE 8767, 87670G (2013).
31. T. Yoshida, S. Tajima, R. Takei, M. Mori, N. Miura, and Y. Sakakibara, “Vertical silicon waveguide coupler bent by ion implantation,” Opt. Express 23(23), 29449–29456 (2015). [CrossRef]
32. M. Blaicher, M. R. Billah, T. Hoose, P.-I. Dietrich, A. Hofmann, S. Randel, W. Freude, and C. Koos, “3D-Printed ultra-broadband highly efficient out-of-plane coupler for photonic integrated circuits,” in Conference on Lasers and Electro-Optics (CLEO) (Optical Society of America, 2018), paper STh1A.1.
33. E. de Klerk, J. Maharry, D. V. Pasechnik, R. B. Richter, and G. Salazar, “Improved bounds for the crossing numbers of Km,n and Kn,” SIAM J. Discrete Math. 20(1), 189–202 (2006). [CrossRef]
34. A. Errera, “Un théorème sur les liaisons,” C. R. Acad. Sci. Paris 177, 489–491 (1923).
35. B. G. Lee and N. Dupuis, “Silicon photonic switch fabrics: technology and architecture,” J. Lightwave Technol. 37(1), 6–20 (2019). [CrossRef]
36. Y. Nasu, M. Kohtoku, Y. Hibino, and Y. Inoue, “Waveguide interconnection in silica-based planar lightwave circuit using femtosecond laser,” J. Lightwave Technol. 27(18), 4033–4039 (2009). [CrossRef]
37. W. Song, R. Gatdula, S. Abbaslou, M. Lu, A. Stein, W. Y.-C. Lai, J. Provine, R. F. W. Pease, D. N. Christodoulides, and W. Jiang, “High-density waveguide superlattices with low crosstalk,” Nat. Commun. 6(1), 7027 (2015). [CrossRef]
38. J. Pfeifle, L. Alloatti, W. Freude, J. Leuthold, and C. Koos, “Silicon-organic hybrid phase shifter based on a slot waveguide with a liquid-crystal cladding,” Opt. Express 20(14), 15359–15376 (2012). [CrossRef]
39. L. Alloatti, D. Korn, J. Pfeifle, R. Palmer, S. Koeber, M. Baier, R. Schmogrow, S. Diebold, P. Pahl, T. Zwick, H. Yu, W. Bogaerts, R. Baets, M. Fournier, J. Fedeli, R. Dinu, C. Koos, W. Freude, and J. Leuthold, “Silicon-organic hybrid devices,” Proc. SPIE 8629, 86290P (2013).
40. C. Kuratowski, “Sur le problème des courbes gauches en Topologie,” Fundam. Math. 15(1), 271–283 (1930). [CrossRef]
41. R. Diestel, Graph Theory, 5th edition (SpringerBerlin Heidelberg, 2017).
42. M. Schaefer, Crossing Number of Graphs (Taylor & Francis Inc., 2017).
43. A. Riskin, “On the outerplanar crossing numbers of Km,n,” Bull. Inst. Combin. Appl. 39, 16–20 (2003).