How complicated must an optical component be?

doi:10.1364/JOSAA.30.000238

« Show journal navigation

How complicated must an optical component be?

David A. B. Miller »View Author Affiliations

JOSA A, Vol. 30, Issue 2, pp. 238-251 (2013)
http://dx.doi.org/10.1364/JOSAA.30.000238

View Full Text Article

Acrobat PDF (471 KB)

Journal Search
Article Lookup

Article Tools

Citations

Alert me when this article is cited
Export Citation/Save

Article Navigation

▸ Article Outline
– Abstract
INTRODUCTION
DESIGN COMPLEXITY
MATHEMATICAL PRELIMINARIES
DEVICE COMPLEXITY
CONCLUSIONS
– References and links

Article Tools
Full Text
Article Info
References
Cited By
Figures
Metrics
Download PDF

Viewing Equations in the
HTML Article

Optimal Viewing Recommendations

Full Text
Article Info
References (56)
Cited By
Figures (5)
Metrics

Abstract

We analyze how complicated a linear optical component has to be if it is to perform one of a range of functions. Specifically, we devise an approach to evaluating the number of real parameters that must be specified in the device design or fabrication, based on the singular value decomposition of the linear operator that describes the device. This approach can be used for essentially any linear device, including space-, frequency-, or time-dependent systems, in optics, or in other linear wave problems. We analyze examples including spatial mode converters and various classes of wavelength demultiplexers. We consider limits on the functions that can be performed by simple optical devices, such as thin lenses, mirrors, gratings, modulators, and fixed optical filters, and discuss the potential for greater functionalities using modern nanophotonics.

1. INTRODUCTION

With the recent rapid growth in our ability to fabricate novel and complicated nanophotonic structures, we have seen many new approaches to optical devices, including photonic crystals [1

J. D. Joannopoulos, P. R. Villeneuve, and S. H. Fan, “Photonic crystals: putting a new twist on light,” Nature 386, 143–149 (1997). [CrossRef]

], metamaterials [2

V. M. Shalaev, “Optical negative-index metamaterials,” Nat. Photonics 1, 41–48 (2007). [CrossRef]

N. I. Zheludev, “The road ahead for metamaterials,” Science 328, 582–583 (2010). [CrossRef]

–4

H. Chen, C. T. Chan, and P. Sheng, “Transformation optics and metamaterials,” Nat. Mater. 9, 387–396 (2010). [CrossRef]

], nanometallics and plasmonics [5

M. L. Brongersma and V. M. Shalaev, “The case for plasmonics,” Science 328, 440–441 (2010). [CrossRef]

], the merging of ideas, such as antennas [6

L. Tang, S. E. Kocabas, S. Latif, A. K. Okyay, D.-S. Ly-Gagnon, K. C. Saraswat, and D. A. B. Miller, “Nanometre-scale germanium photodetector enhanced by a near-infrared dipole antenna,” Nat. Photonics 2, 226–229 (2008). [CrossRef]

L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]

] and waveguides [7

L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]

N.-N. Feng, M. L. Brongersma, and L. Dal Negro, “Metal-dielectric slot-waveguide structures for the propagation of surface plasmon polaritons at 1.55 μm,” IEEE J. Quantum Electron. 43, 479–485 (2007). [CrossRef]

J. A. Dionne, L. A. Sweatlock, H. A. Atwater, and A. Polman, “Plasmon slot waveguides: towards chip-scale propagation with subwavelength-scale localization,” Phys. Rev. B 73, 035407 (2006). [CrossRef]

G. Veronis and S. H. Fan, “Modes of subwavelength plasmonic slot waveguides,” J. Lightwave Technol. 25, 2511–2521 (2007). [CrossRef]

–11

D.-S. Ly-Gagnon, K. C. Balram, J. S. White, P. Wahl, M. L. Brongersma, and D. A. B. Miller, “Routing and photodetection in subwavelength plasmonic slot waveguides,” Nanophotonics 1, 9–16 (2012). [CrossRef]

] from radio-frequency devices into optics, and devices designed with fully arbitrary approaches to perform specific functions on multiple beams or wavelengths [12

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]

M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]

Y. Jiao, S. H. Fan, and D. A. B. Miller, “Demonstration of systematic photonic crystal device design and optimization By low rank adjustments: an extremely compact mode separator,” Opt. Lett. 30, 141–143 (2005). [CrossRef]

–15

V. Liu, Y. Jiao, D. A. B. Miller, and S. Fan, “Design methodology for compact photonic-crystal-based wavelength division multiplexers,” Opt. Lett. 36, 591–593 (2011). [CrossRef]

]. We are also seeing new demands for compact and novel optical functions such as mode converters for free-space communications [16

M. P. J. Lavery, A. Dudley, A. Forbes, J. Courtial, and M. J. Padgett, “Robust interferometer for the routing of light beams carrying orbital angular momentum,” New J. Phys. 13, 093014 (2011). [CrossRef]

,17

T. Su, R. P. Scott, S. S. Djordjevic, N. K. Fontaine, D. J. Geisler, X. Cai, and S. J. B. Yoo, “Demonstration of free space coherent optical communication using integrated silicon photonic orbital angular momentum devices,” Opt. Express 20, 9396–9402 (2012). [CrossRef]

] or for coupling to multispatial mode optical fibers [18

B. Zhu, T. F. Taunay, M. Fishteyn, X. Liu, S. Chandrasekhar, M. F. Yan, J. M. Fini, E. M. Monberg, and F. V. Dimarcello, “ $112 Tb / s$ space-division multiplexed DWDM transmission with $14 b / s / Hz$ aggregate spectral efficiency over a 76.8 km seven-core fiber,” Opt. Express 19, 16665–16671 (2011). [CrossRef]

E. Ip, P. Ji, E. Mateo, Y.-K. Huang, L. Xu, D. Qian, N. Bai, and T. Wang, “100 G and beyond transmission technologies for evolving optical networks and relevant physical-layer issues,” Proc. IEEE 100, 1065–1078 (2012). [CrossRef]

R. Ryf, S. Randel, A. H. Gnauck, C. Bolle, A. Sierra, S. Mumtaz, M. Esmaeelpour, E. C. Burrows, R.-J. Essiambre, P. J. Winzer, D. W. Peckham, A. H. McCurdy, and R. Lingle Jr., “Mode-division multiplexing over 96 km of few-mode fiber using coherent $6 \times 6$ MIMO processing,” J. Lightwave Technol. 30, 521–531 (2012). [CrossRef]

–21

P. M. Krummrich, “Optical amplification and optical filter based signal processing for cost and energy efficient spatial multiplexing,” Opt. Express 19, 16636–16652 (2011). [CrossRef]

]; very compact wavelength splitters for optical interconnects [12

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]

,13

M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]

,22

D. A. B. Miller, “Device requirements for optical interconnects to silicon chips,” Proc. IEEE 97, 1166–1185 (2009). [CrossRef]

], wavelength networks [23

R. Chen, H. Chin, D. A. B. Miller, K. Ma, and J. S. Harris, “MSM-based integrated CMOS wavelength-tunable optical receiver,” IEEE Photon. Technol. Lett. 17, 1271–1273 (2005). [CrossRef]

,24

R. Chen, J. Fu, D. A. B. Miller, and J. S. Harris Jr., “Design and analysis of CMOS-controlled tunable photodetectors for multiwavelength discrimination,” J. Lightwave Technol. 27, 5451–5460 (2009). [CrossRef]

], or spectroscopy; novel kinds of optical isolators [25

Z. Yu and S. H. Fan, “Integrated nonmagnetic optical isolators based on photonic transitions,” IEEE J. Sel. Top. Quantum Electron. 16, 459–466 (2010). [CrossRef]

]; and devices generally operating at deeply subwavelength scales [6

L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]

G. Veronis and S. H. Fan, “Modes of subwavelength plasmonic slot waveguides,” J. Lightwave Technol. 25, 2511–2521 (2007). [CrossRef]

–11

,26

W. L. Barnes, A. Dereux, and T. W. Ebbesen, “Surface plasmon subwavelength optics,” Nature 424, 824–830 (2003). [CrossRef]

,27

P. J. Schuck, D. P. Fromm, A. Sundaramurthy, G. S. Kino, and W. E. Moerner, “Improving the mismatch between light and nanoscale objects with gold bowtie nanoantennas,” Phys. Rev. Lett. 94, 017402 (2005). [CrossRef]

How we exploit these new technological opportunities to address these many applications is a challenging design problem, especially for devices that must controllably map multiple inputs to multiple outputs. Here, to help address such design challenges, we consider one key question: how complicated does the optical component have to be? We need the answer for two reasons: (i) we want optical devices to only be as complicated to fabricate as necessary and (ii) we want to make the device as easy to design and simulate as possible. In previous work on how much material a given device requires [28

D. A. B. Miller, “Fundamental limit for optical components,” J. Opt. Soc. Am. B 24, A1–A18 (2007). [CrossRef]

,29

D. A. B. Miller, “Fundamental limit to linear one-dimensional slow light structures,” Phys. Rev. Lett. 99, 203903 (2007). [CrossRef]

], we considered some specific cases of complexity of the number of modes that needed to be controlled. In this paper, we examine generally the complexity required for linear optical components. Note we are here only considering the complexity that a design needs to have; the issue of how arbitrary linear components could be designed or configured will be considered elsewhere [30

D. A. B. Miller, “Self-aligning universal beam coupler,” Opt. Express (to be published).

,31

D. A. B. Miller, “Self-configuring universal linear optical component,” Photon. Res. (to be published).

First, in Section 2, we discuss complexity of an object in general. In Section 3, we discuss the mathematics of linear optical components generally. Here, we build on a formalism in which any linear optical device can be written as a mode converter [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

]. In Section 4, we proceed to categorize optical devices by the complexity that they need and that different kinds of approaches can support, and give examples of complexity in various categories, including mode converters and various frequency demultiplexers. In Section 5, we draw conclusions.

2. DESIGN COMPLEXITY

When asking how complicated a device must be to perform some function, we encounter a very basic question: can we measure or count how complicated something is? We could ask this in two different flavors: how complicated was it to make the object, and how complicated was it to design the object?

In both cases, there is arguably no definite answer because we do not know how far back to go in counting complexity. In fabrication, do we just count the activities required to make the object given the starting materials, or do we count also the steps required to make the materials themselves, and so on in a possibly endless regress including purifying starting chemicals, extracting raw materials from the ground, and so on? In design, we have a similar problem. One extreme strategy might be to design the object atom by atom. This strategy could take a very long time. Another extreme strategy is just to keep looking until we find something that does the function we need. We could search through our optics for a 3.9 cm focal length lens. We might find one with the first object we check, or we might keep looking in vain. There is in general no way of quantifying in advance how many steps it takes to find something. Of course, we might regard merely finding something as being a weak form of design, but trying various things we find about us, possibly in combinations, is a time-honored design approach.

What we can quantify, however, is, given some starting set or repertoire of objects, how complicated it is to design any one out of a category of final objects? For example, given a repertoire of toy bricks, how complicated is it to design any member of a finite category of final toy houses, such as houses made with only so many bricks, or houses made according to some architectural design rules that constrain designs in some definite way? Such a question is generally answerable.

The example with toy bricks is one where we could possibly count a number of binary or discrete decisions that have to be made. In optics, we may instead be choosing analog values—real numbers, such as positions, lengths, or refractive indices—and we want to quantify how many of these we need to choose if we are to design any one of a category of devices. Below, therefore, we establish what we call device “complexity numbers”

N_{D}

—the number of real numbers we need to specify to allow us to design any device within a given category.

In what follows, we attempt both to define some useful categories of optical devices and quantify the associated complexity number

N_{D}

, and we examine the usable complexity of various classes of devices. Before leaving this general discussion, we introduce two other concepts.

A. Inherent Functionality

Inherent functionality is functionality or capability that is possessed by the object or class of objects that we do not explicitly design into it or them. When we choose initial components from some set, we have not designed the inherent capabilities of those starting components—we are merely exploiting them. In optics, we may choose to start with “blocks” such as simple lenses, gratings, and mirrors. These objects may have substantial useful inherent functionality. These specific ones have the general property that, once we choose in design what the component does for one beam (for example, by choosing its focal length, we design a lens so that it focuses an on-axis beam onto a particular back focal plane), then that designed component also happens to do similarly useful things for other input beams (for example, now focusing input beams at different angles onto different parts of the output plane). What the lens does for those other beams is an inherent property or functionality of the lens. Note that, given that we chose to use a lens to address our problem of interest for one beam, we do not get to choose with any substantial degree of independence what is to happen to the other beams. Similarly, once we choose the angle at which one beam bounces off a plane mirror (by choosing the mirror angle), we have defined what happens to input beams of other angles.

In many cases, the inherent functionality is not what we want; for example, a broad range of starting devices considered for slow light, including atomic vapors, optical resonators or sets of identical resonators, and photonic crystals, have the desirable functionality of delaying a pulse through group delay, but have the undesirable inherent functionality of distorting pulses [33

R. S. Tucker, P.-C. Ku, and C. J. Chang-Hasnain, “Slow-light optical buffers: capabilities and fundamental limitations,” J. Lightwave Technol. 23, 4046–4066 (2005). [CrossRef]

]. A similar problem occurs in the closely related [34

M. Gerken and D. A. B. Miller, “The relationship between the superprism effect in one-dimensional photonic crystals and spatial dispersion in nonperiodic thin-film stacks,” Opt. Lett. 30, 2475–2477 (2005). [CrossRef]

] superprism devices (see, e.g., [12

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]

,13

M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]

,34

R. Zengerle, “Light propagation in singly and doubly periodic planar waveguides,” J. Modern Opt. 34, 1589–1617 (1987). [CrossRef]

H. Kosaka, T. Kawashima, K. Tomita, M. Notomi, T. Tamamura, T. Sato, and S. Kawakami, “Superprism phenomena in photonic crystals,” Phys. Rev. B 58, R10096 (1998). [CrossRef]

–37

B. Momeni and A. Abidi, “Systematic design of superprism-based photonic crystal demultiplexers,” IEEE J. Sel. Areas Commun. 23, 1355–1364 (2005). [CrossRef]

]), which rely on group delay to shift a beam. Those made from periodic structures (e.g., [35

R. Zengerle, “Light propagation in singly and doubly periodic planar waveguides,” J. Modern Opt. 34, 1589–1617 (1987). [CrossRef]

H. Kosaka, T. Kawashima, K. Tomita, M. Notomi, T. Tamamura, T. Sato, and S. Kawakami, “Superprism phenomena in photonic crystals,” Phys. Rev. B 58, R10096 (1998). [CrossRef]

–37

B. Momeni and A. Abidi, “Systematic design of superprism-based photonic crystal demultiplexers,” IEEE J. Sel. Areas Commun. 23, 1355–1364 (2005). [CrossRef]

]) generally have the undesirable inherent functionality of distorting the beam shape. Such problems can be alleviated by going to custom-designed nonperiodic structures that avoid relying on the (here, undesirable) inherent functionality of periodic or simply resonant device structures and that exploit a larger number of designed degrees of freedom [12

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]

,13

M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]

,34

Once we have finished designing the device, the resulting complete device will still have some response for conditions other than those for which it was designed, and that response is the inherent functionality of the final device. That inherent functionality, too, may be useful (e.g., similar response for wavelengths other than the design wavelength) or undesirable (e.g., chromatic aberration).

As we discussed above, we cannot generally quantify inherent functionality. And, we should acknowledge that much of the art of design is in choosing good starting objects with useful inherent functionalities or that lead to finished devices with other useful inherent functionalities, a process whose complexity again cannot be uniquely quantified.

B. Externalizing Functionality

Sometimes when we design a system such as an optical one, we will decide that some of the functionality is best pushed out of the optical system into some other system. For example, we might be making some wavelength separator to route different wavelength channels to different outputs. The optical system might be a simple grating that puts short wavelengths into channels on the left, over to long wavelengths on channels to the right. First, if the outputs are to be evenly spaced with wavelength, we have to arrange a matching spacing of detector or waveguide positions, which is pushing functionality into choices we have to make in the mechanical design. More substantially, we might have wanted the channels ordered in a different way, with one specific channel going to the fiber for Chicago and another going to the New York fiber, which might not be the order from the optical device. Then we need to follow the wavelength separating grating with some fiber patch panel or some additional set of optical or electrical switches to accomplish the routing we actually want. In that case, we could say that we have externalized part of the functionality of the system, pushing it outside the specific system (say, the grating) that we are designing.

This is a common design phenomenon, of course, but here we need to recognize at least when we are doing it. One recent example of externalizing functionality is a tunable detector whose tunability comes from the way that we electrically add signals from a multiple element detector in an interference pattern; the optics is fixed, but the device is rapidly tunable and programmable using electronics [23

R. Chen, H. Chin, D. A. B. Miller, K. Ma, and J. S. Harris, “MSM-based integrated CMOS wavelength-tunable optical receiver,” IEEE Photon. Technol. Lett. 17, 1271–1273 (2005). [CrossRef]

,24

]. Another recent example is a multiwavelength communications channel where individual optical filters are tuned over only a small section of the overall bandwidth of interest because of power dissipation limitations; the final signals are sorted to their correct actual destinations using an electronic circuit to perform bit reshuffling [38

M. Georgas, J. Leu, B. Moss, C. Sun, and V. Stojanovic, “Addressing link-level design tradeoffs for integrated photonics interconnects,” in Proceedings of Custom Integrated Circuits Conference (CICC) (IEEE, 2011), pp. 1–8.

]. Coherent communications externalize functionality to digital signal processing [19

], in part because we do not know how to design or fabricate some linear optical devices.

3. MATHEMATICAL PRELIMINARIES

To address complexity in optical devices, we start by writing linear optical devices in a general mathematical form based on the singular value decomposition (SVD) of the linear operator that describes the device [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

]. Then, by counting the numbers required to specify the SVD, we quantify how complicated some categories of optical devices are. Some categories cannot solve particular problems because they cannot embody enough complexity in design, and other categories may be much more complicated than we need.

The fields, waves, and devices we consider can vary in space, time, wavelength, or frequency, and possibly other attributes, such as polarization or spin. The formalism is very general, and can be applied to any linear wave problem, including acoustic, electromagnetic, or even quantum mechanical waves. For definiteness and ease of visualization, we mostly discuss simple monochromatic spatial examples and/or spectral filters and demultiplexers.

Previously [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

], we showed how any linear optical device can be described by a linear device operator

D

that takes an input function

| ϕ_{I} 〉

and generates a corresponding output function

| ϕ_{O} 〉

| ϕ_{O} 〉 = D | ϕ_{I} 〉 .

(1)

We can essentially always perform the SVD of

D

[32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

] to yield an expression

D = \sum_{m} s_{D m} | ϕ_{D O m} 〉 〈 ϕ_{D I m} |

(2)

or, equivalently,

D = V D_{diag} U^{†},

(3)

where

U

(

V

) is a unitary operator that in matrix form has the vectors

| ϕ_{D I m} 〉

(

| ϕ_{D O m} 〉

) as its columns, and

D_{diag}

is a diagonal matrix with complex elements (the singular values)

s_{D m}

. (We use Dirac notation here for the linear algebra. See, e.g., [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

] and [39

D. A. B. Miller, Quantum Mechanics for Scientists and Engineers (Cambridge University, 2008).

].) The sets of functions

| ϕ_{D I m} 〉

and

| ϕ_{D O m} 〉

corresponding with nonzero singular values

s_{D m}

each form orthogonal sets that are complete in the input space

H_{I}

and output space

H_{S}

, respectively [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

4. DEVICE COMPLEXITY

To evaluate complexity meaningfully, we need to establish the number of basis functions or modes at the input and at the output, that is, the dimensionalities

M_{I}

and

M_{O}

, respectively, of the input and output spaces

H_{I}

and

H_{O}

. [In what follows, we use the terms “modes” and “basis functions” interchangeably (see, e.g., [39

D. A. B. Miller, Quantum Mechanics for Scientists and Engineers (Cambridge University, 2008).

], pp. 516–518)]. We may already know that there are

M_{I}

input orthogonal input modes that can couple into the device and

M_{O}

orthogonal output modes than can couple out of it. For example, we might be considering a monochromatic spatial mode problem with waveguides in and out of the device; the input and output waveguides might only support

M_{I}

and

M_{O}

spatial modes, respectively (Fig. 1). If

M_{I}

and

M_{O}

are not initially obviously well defined, we can calculate them in any given situation, with some assumptions (see Appendix). Henceforth, we presume we know

M_{I}

and

M_{O}

Fig. 1. Sketch of an example device with an input waveguide with

M_{I}

modes and an output waveguide with

M_{O}

modes. Here the input (output) mathematical space corresponds to the functions on the input (output) surface.

The question here is what is the number of mathematical parameters (i.e., real numbers) we must choose to specify any device within some device category? We start by considering the most general possible device that operates on

M_{I}

orthogonal input modes and gives outputs into

M_{O}

orthogonal output modes. Any such linear optical device is obviously completely describable by the

M_{O} (rows) \times M_{I} (columns)

matrix

D

of (complex) numbers that gives the

M_{O}

-dimensional output vector

| ϕ_{O} 〉

in response to the

M_{I}

-dimensional input vector

| ϕ_{I} 〉

as in Eq. (1). Therefore,

M_{O} M_{I}

complex numbers, or the “complexity number”

N_{D} = 2 M_{O} M_{I}

(4)

of real numbers, are sufficient to specify the device.

Though Eq. (4) is correct for the most general possible linear device, it is an overestimate for many useful categories for three reasons. (i) The devices in the category we want to make may be simpler than the most complicated device describable by such a matrix, so we could construct the matrix using fewer independent real parameters. (ii) The way we make the device may not allow us to usefully specify a sufficient number of parameters to make such an arbitrary device. Volume holograms [40

G. A. Rakuljic, V. Leyva, and A. Yariv, “Optical data storage by using orthogonal wavelength-multiplexed volume holograms,” Opt. Lett. 17, 1471–1473 (1992). [CrossRef]

,41

L. Hesselink, S. S. Orlov, and M. C. Bashaw, “Holographic data storage systems,” Proc. IEEE 92, 1231–1280 (2004). [CrossRef]

], some spectral filters [12

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]

,13

M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]

,34

,42

T. Tanemura, K. C. Balram, D.-S. Ly-Gagnon, P. Wahl, J. S. White, M. L. Brongersma, and D. A. B. Miller, “Multiple-wavelength focusing of surface plasmons with a nonperiodic nanoslit coupler,” Nano Lett. 11, 2693–2698 (2011). [CrossRef]

], and recent design exercises in mode converters [14

] are possible examples of devices that could approach the full complexity offered in Eq. (4), but, as we will see below, many optical devices, such as lenses, mirrors, gratings, and thin holograms, are generally not capable of offering the level of complexity suggested by Eq. (4). (iii) The inherent functionality of the starting components may make the problem much easier in practice (though often this is because we are also externalizing functionality). We now clarify this discussion and quantify

N_{D}

by examining the SVD, Eq. (2) or (3), of the device matrix.

A. Maximally Connected and Maximally Functional Devices and Mode-Coupling Number

First, we define two new terms—maximally connected devices and maximally functional devices—and a related concept, mode-coupling number.

1. Maximally Connected Devices and Mode-Coupling Number

Performing the SVD of the

M_{O} \times M_{I}

device matrix

D

, in general we get a number

M_{\min}

of singular values that is the smaller of

M_{O}

M_{I}

; that is,

M_{\min} = \min (M_{O}, M_{I}),

(5)

because this is the number of diagonal elements in a rectangular

M_{O} \times M_{I}

matrix.

If all of these

M_{\min}

singular values are nonzero, then we call the device “maximally connected.” That means that the device does possess finite coupling from the input to the output for the largest possible number of orthogonal input-to-output connections allowed by the numbers

M_{I}

and

M_{O}

. As we will see explicitly, not all devices are maximally connected.

We can usefully define a “mode-coupling number,”

M_{C}

, which is the number of nonzero singular values of the device operator

D

, and which counts the number of orthogonal input-to-output connections. A device is maximally connected if

M_{C} = M_{\min}

. If

M_{C} < M_{\min}

, the device is not maximally connected.

2. Maximally Functional Device

A maximally functional device is one for which we can choose enough parameters of the right kind physically and in the right places in the mathematics to allow any linear mapping between input and output for the

M_{C}

orthogonal input and output connections that the device supports. As we will see explicitly, not all linear optical devices are maximally functional (in fact, most are not).

As we will show by examples, a device can be maximally functional even if it is not maximally connected, and vice versa, so these are independent concepts.

B. Maximally Connected, Maximally Functional Device

For the sake of definiteness in discussion, we presume for the moment that the number of input modes

M_{I}

exceeds the number

M_{O}

of output modes (we can construct similar arguments in the opposite case if we wish) and that this device is maximally connected, which in this case means that

M_{C} = M_{O}

. Performing the SVD of

D

, we could write the resulting matrices in two ways (Fig. 2).

Fig. 2. Illustration for the case of

M_{I} = 4

and

M_{O} = 2

of two ways of writing the matrix product

{D = V D}_{diag} U^{†}

. Both methods (a) and (b) lead to the same results for any multiplication of the matrix

D

by a vector. Method (a) has strictly unitary square matrices for both

U

and

V

, but it has more parameters than the reduced version (b). Note that the bottom two rows of the rightmost matrix in (a) never enter into any calculation in multiplying a vector by

D

One way would be to write

U

as an

M_{I} \times M_{I}

matrix and

D_{diag}

as an

M_{O} \times M_{I}

matrix, with the

M_{O}

singular values down the diagonal and zeros everywhere else in this matrix. Necessarily, the rightmost

M_{I} - M_{O}

columns of this matrix

D_{diag}

are zero. Hence, in the matrix product

D_{diag} U^{†}

, the lowest

M_{I} - M_{O}

rows of

U^{†}

never have any influence on the resulting matrix product. Consequently, it is simpler, and equivalent, to write

D_{diag}

as an

M_{O} \times M_{O}

square matrix (or, more generally, an

M_{\min} \times M_{\min}

matrix), and to write

U

as an

M_{I} \times M_{O}

matrix (making

U^{†}

M_{O} \times M_{I}

matrix). The

M_{I} - M_{O}

discarded columns of

U

correspond to input functions such that no linear combination of them ever leads to any output from the device. (Technically, this new form makes

U

not strictly a unitary matrix;

U^{†} U

is an identity matrix (of dimensions

M_{O} \times M_{O}

), but the

M_{I} \times M_{I}

matrix

{U U}^{†}

is not in general unitary, though this causes no formal problems here.) Writing the matrices in this second way makes it easier to evaluate the complexity number

N_{D}

; we avoid counting numbers that do not influence the device behavior.

The columns of

U

are normalized orthogonal vectors. Obviously, to specify an arbitrary vector in an

M_{I}

-dimensional space requires

M_{I}

complex numbers (

2 M_{I}

real numbers). The normalization of these vectors fixes one real amplitude coefficient, leaving

2 M_{I} - 1

free real numbers. The absolute phase of any of the columns in

U

(or

V

) is also of no importance. (As usual, the overall phase of the eigenfunctions is arbitrary in the eigenvalue problems we solve to construct the SVD.) The relative phase of the output

| ϕ_{D O m} 〉

for a given input

| ϕ_{D I m} 〉

can be set by choosing the phase of the corresponding singular value

s_{D m}

, which we are free to do mathematically. Hence, without loss of generality, we can set the overall phase of each of the columns in

U

(and

V

); for example, we could choose the first nonzero element in each column to be real.

Hence we are left with

2 M_{I} - 2

real coefficients to specify one column in

U

. The first column we choose requires this many real numbers to specify it. The second column we choose also has to be orthogonal to the first, which requires that both the real and imaginary parts of the inner product (e.g., overlap integral) between the first and second columns are zero, thus reducing the number of (real) free parameters for the second column function by 2, to

2 M_{I} - 4

. The third column similarly has to be orthogonal to both the first and the second chosen columns in a given matrix, reducing its free real parameters to

2 M_{I} - 6

, and so on, with the

q

th chosen column having

2 M_{I} - 2 q

free real parameters. Counting for all the

M_{O}

columns of

U

gives a total of

N_{U} = \sum_{q = 1}^{M_{O}} 2 M_{I} - 2 q = 2 M_{O} M_{I} - M_{O} (M_{O} + 1)

(6)

real numbers.

For the (square)

M_{O} \times M_{O}

matrix

V

, we count similarly, adding

2 M_{O} - 2

2 M_{O} - 4

, and so one, in this case all the way to

2 M_{O} - 2 M_{O} = 0

free real numbers in the final (

M_{O}

th) column, for a total of

N_{V} = \sum_{q = 1}^{M_{O}} 2 M_{O} - 2 q = M_{O}^{2} - M_{O}

(7)

real numbers to specify the matrix

V

. The matrix

D_{diag}

requires

2 M_{O}

real numbers to specify its diagonal complex (singular value) elements, so the total number of real numbers required to specify the matrices

U

V

, and

D_{diag}

is a complexity number

N_{D} = 2 M_{O} M_{I} - M_{O} (M_{O} + 1) + M_{O}^{2} - M_{O} + 2 M_{O} = 2 M_{O} M_{I},

(8)

which is exactly what we would expect for the construction of an arbitrary

M_{O} \times M_{I}

matrix of complex numbers, as in Eq. (4). Constructing a similar argument for the case where the number of output modes

M_{O}

exceeds the number of input modes

M_{I}

leads to the same result of the bottom line in Eq. (8). In this case,

D_{diag}

and

U

are both

M_{I} \times M_{I}

matrices, and we write

V

as an

M_{O} \times M_{I}

matrix.

So far, then, the counting using the SVD form of the matrix

D

yields the same results as the obvious counting of the number of real numbers required to specify an arbitrary

M_{O} \times M_{I}

matrix. Since we have enough parameters here in a suitable mathematical form to specify an arbitrary

M_{O} \times M_{I}

matrix, and hence we can define an arbitrary linear mapping for all

M_{C} = M_{\min}

orthogonal input-to-output channels, this approach is describing a maximally functional device category. Because

M_{C} = M_{\min}

, this approach is also describing a maximally connected device category.

Where the SVD form becomes more obviously useful in the counting is when we consider device categories that are either not maximally connected or not maximally functional, or both.

C. Submaximally Connected Device Example—Single-Mode Converter

Suppose we want a device that takes one specific (normalized) input beam

| ϕ_{D I 1} 〉

in the

M_{I}

-dimensional input space and generates as a result one specific output beam proportional to the (normalized) function

| ϕ_{D O 1} 〉

in the

M_{O}

-dimensional output space with some amplitude

s

, i.e., an output

s | ϕ_{D O 1} 〉

, and that for any other orthogonal input beam, the device generates no output. This describes an ideal mode converter, mode coupler, or spatial filter for converting only one mode to another specific mode.

In this case, the SVD can be written directly. The elements of the

M_{I} \times 1

matrix

U

are the elements of vector

| ϕ_{D I 1} 〉

. Similarly, the elements of the

M_{O} \times 1

matrix

V

give the vector

| ϕ_{D O 1} 〉

. The matrix

D_{diag}

is the

1 \times 1

matrix containing the sole singular value

s_{D 1} = s

. Mathematically, we are constructing an

M_{O} \times M_{I}

matrix by taking the (outer) product

| ϕ_{D O 1} 〉 〈 ϕ_{D I 1} |

of these vectors, multiplied by the complex number

s

. If we have input and output spaces that are both multimoded—i.e.,

M_{I} > 1

and

M_{O} > 1

—this device is not maximally connected (or, equivalently, it is submaximally connected) because the number of nonzero singular values

M_{C} (= 1) < M_{\min}

; equivalently,

M_{C} < M_{I}

and

M_{C} < M_{O}

. The device category is, however, maximally functional in that it has enough parameters specifying it to allow the design of any such device with mode-coupling number

M_{C} = 1

for arbitrary input and output beams in these spaces.

As before, because of normalization and fixing the phase of the (sole) column in each of the matrices

U

and

V

, we require

2 M_{I} - 2

and

2 M_{O} - 2

real numbers respectively to specify these matrices, and two real numbers to specify the (sole) singular value that makes up the matrix

D_{diag}

. Hence, altogether, we need a complexity number

N_{D} = 2 (M_{O} + M_{I} - 1)

(9)

of real numbers to specify the operator

D

for a device that is to perform any specific function in this category. Note that this number of parameters is not in general the

2 M_{O} M_{I}

or Eq. (4). The fact that

N_{D} < 2 M_{O} M_{I}

(when the input and output spaces are multimoded) reflects the fact that this device is submaximally connected. Here there are possible input functions in the input space that lead to no output. We illustrate an approximate implementation of such a device in Section 4.G below.

D. General Maximally Functional Device

From the examples above, it is straightforward to see how to construct the matrices for a device category that converts from multiple arbitrarily chosen input modes to multiple corresponding arbitrarily chosen output modes. We presume input and output spaces with

M_{I}

and

M_{O}

dimensions, respectively, and we want a device category that makes

M_{C}

arbitrary orthogonal connections between the two, where the device is not necessarily maximally connected (i.e.,

M_{C}

may be less than both

M_{I}

and

M_{O}

). The matrices

U

and

V

are

M_{I} \times M_{C}

and

M_{O} \times M_{C}

dimensional, respectively, and

D_{diag}

is an

M_{C} \times M_{C}

diagonal matrix. The columns of

U

(

V

) are normalized versions of the orthogonal input (output) modes of interest with fixed overall phases according to some rule we choose, and we have

M_{C}

chosen complex connection amplitudes as represented by the (singular value) diagonal elements in

D_{diag}

As we established in Eq. (6) for the

M_{I} \times M_{O}

matrix

U

in the case of a maximally connected, maximally functional device above, the number of real numbers required to specify the

M_{I} \times M_{C}

matrix

U

here is similarly

2 M_{C} M_{I} - M_{C} (M_{C} + 1)

. For the

M_{O} \times M_{C}

matrix

V

we require further

2 M_{C} M_{O} - M_{C} (M_{C} + 1)

real numbers. Adding the

2 M_{C}

real numbers required to specify the singular values in

D_{diag}

gives a total complexity number of

N_{D} = 2 M_{C} (M_{I} + M_{O} - M_{C})

(10)

for this category. This expression covers both the maximally and submaximally connected cases, giving the same answers as Eqs. (8) and (9) in those specific cases.

E. Neglecting Output Phase for a Maximally Functional Device

Many optical components do not care about the relative phase of different orthogonal outputs. For example, when separating multiple beams to different detectors to measure power, the phase of the beams hitting the detectors is irrelevant. Similarly, in a wavelength demultiplexer, we typically do not care about the phases of the separated wavelengths going into different output channels. In such cases, we therefore do not need to also specify the phase of the singular values, so we can reduce the required number of degrees of freedom by

M_{C}

, leading to a complexity number

N_{D} = 2 M_{C} (M_{I} + M_{O} - M_{C} - \frac{1}{2})

(11)

instead of Eq. (10). For the single-mode converter above, if the phase of the output is unimportant, then we similarly subtract 1 from Eq. (9), in agreement with Eq. (11).

F. Multiple Spatial Mode Converter Example

As an example, suppose we wanted the device to be able to take two different complicated modes, such as two arbitrarily chosen Gauss–Laguerre beams (orbital angular momentum beams) from some set, and explicitly turn each one into a different spot on an output plane. The device input space would have to be large enough to be able to distinguish each of these beams from other beams in the set. If we needed to distinguish each beam from, say, 19 other orthogonal beams, then the input space would have to have at least a dimensionality

M_{I}

of 20. On the device output, we can have a dimensionality

M_{O} = 2

because we only want two different orthogonal couplings, and we can ideally choose mode-coupling number

M_{C} = M_{O} = 2

. To make the device maximally functional, so we can choose any two orthogonal functions in the 20-dimensional input space (including orthogonal linear combinations of the modes from the input space) and put them where we want in the output space, we use Eq. (10) to calculate the complexity number

N_{D} = 2 M_{C} (M_{I} + M_{O} - M_{C}) = 2 M_{I} M_{O} = 80

if we care about the phase of the outputs relative to the inputs. If we only care about getting the power to go into the required output modes, then we can use Eq. (11), which gives

N_{D} = 78

. These are then the numbers of parameters we need to specify in the device if we are going to be able to make arbitrary choices of two orthogonal input functions in the 20-dimensional input space and create two arbitrarily chosen orthogonal outputs.

There are relatively few clear examples of actual attempts at spatial mode converters that convert from multiple arbitrary input modes to multiple arbitrary output modes, and where one can count the number of degrees of freedom used in design. One such example is the design of a device to convert, in a two-dimensional photonic-crystal-like device, from the three different modes of a three-moded input guide to three different single-mode output guides [14

]. In our terminology, this device is certainly maximally connected (connecting all three input modes to the output space). Though this work did not check that the output guides could be arbitrarily positioned and that arbitrary assignment of input modes to output positions would be possible, we might reasonably conjecture these capabilities in this structure because there is no obvious inherent functionality that constrains the device otherwise. With that conjecture, from the specific structure of this device [14

], we could reasonably expect that there are 15 total positions to put single-moded output guides on the right-hand side of this structure. Hence we conjecture this device design approach could represent one that is maximally functional and maximally connected, with

M_{C} = M_{I} = 3

and

M_{O} = 15

. Using Eq. (11), we calculate we need to specify

2 M_{I} M_{O} - M_{C} = 87

real numbers in design to allow us full design freedom if the relative phases between inputs and outputs are unimportant.

This particular device was designed using 105 binary variables, each representing the presence or absence of a particular pillar on a

7 \times 15

grid of positions. Though it is not obvious how to compare binary and continuous real degrees of freedom, 105 is at least in the same overall magnitude as 87, being somewhat larger as we would expect in using binary rather than real numbers. We note, though, that it is merely conjecture that this particular design approach is fully functional for mapping into 15 different output modes.

G. Maximally Connected Devices with Submaximal Functionality—“Mask-Based” Devices

So far, we have discussed only maximally functional device categories, where we connect a given number of orthogonal input functions to orthogonal output functions with arbitrary choice of the functions in the input and output spaces in each case. Now we look at a particularly important example category of submaximally functional devices.

A broad and important class of the optical devices that we use, such as (thin) lenses, gratings, transparencies (i.e., objects we are projecting), and thin holograms, can be thought of, at least approximately, as devices where we multiply the input field (e.g.,

ϕ_{I} (x, y)

) at a given position

(x, y)

on the device input surface by a position-dependent complex factor (e.g.,

D (x, y)

) to get the output field (e.g.,

ϕ_{O} (x, y)

) at the corresponding point on the device output surface. For example, a two-dimensional device with scalar waves might obey the relation

ϕ_{O} (x, y) = D (x, y) ϕ_{I} (x, y) .

(12)

We could call such devices collectively “mask-based” devices because their behavior is defined by a single “mask” function, e.g.,

D (x, y)

In the time domain, if a modulator in a single-mode fiber had a specified transmission “mask” function

D (t)

of time

t

, then we could similarly have a relation between the input

ϕ_{I} (t)

and the output

ϕ_{O} (t)

of the form

ϕ_{O} (t) = D (t) ϕ_{I} (t) .

(13)

(This example corresponds to a device made with nondispersive materials so there is no temporal memory in the

D

function.)

Note that, though relations such as Eqs. (12) and (13) are linear, they are by far not the most general linear relation we could have between input and output functions. For scalar functions of one continuous variable, most generally we would instead have

ϕ_{O} (t) = \int G (t, t_{1}) ϕ_{I} (t_{1}) d t_{1} .

(14)

[We could construct a similar general relation for the two-variable case of Eq. (12).]

Writing Eq. (14) in matrix-vector terms would give

| ϕ_{O} 〉 = G | ϕ_{I} 〉 .

(15)

If we think of the vectors

| ϕ_{I} 〉

and

| ϕ_{O} 〉

as each being columns of numbers giving the values of these functions at successive (closely spaced) values of the variable

t

(or the variables

x

and

y

), then the matrix

G

is fully populated with elements that in general are nonzero. In that case, an input field at one specific point can in general lead to finite output fields at all output points. Mask-based devices do not behave this way, however, because the response within the device is local—an input at a given position or time gives an output only at the same position or time.

1. Counting Parameters for Mask-Based Devices

We can view mask-based devices in such a “position” basis; that is, we work with basis functions that are essentially delta functions or strongly localized functions of position

(x, y)

for devices described by Eq. (12) or time

t

for devices described by Eq. (13). Then, in the matrix form of relations such as Eqs. (12) and (13) [i.e., Eq. (1)], the matrix

D

is diagonal; the off-diagonal elements are all zero, reflecting the fact that such a local “mask” operation does not generate output fields at other points on the mask. We should therefore expect that such mask-based devices have a restricted functionality—not all conceivable linear relations between input and output are possible for such devices and so they have submaximal functionality. Because the operator

D

is diagonal in such localized basis sets, we have already effectively performed the SVD of

D

For actual optical situations, the input and/or output spaces might not support very strongly localized functions. For example, if we had a multimode waveguide for the input that supported, say, four modes, we typically would not be able to use linear combinations of those to make a function that was localized to anything smaller than

\sim 1 / 4

of the waveguide cross-section area. Nonetheless, we can still conjecture that, at least for input and output spaces that have relatively large numbers of basis functions, we can use those basis functions to form functions (“spots”) that are small enough that we can use our approach here, at least approximately and conceptually, to count the number of degrees of freedom available to us in mask-based devices.

Presuming we have equal numbers of input and output functions, i.e.,

M_{I} = M_{O} = M

, we conjecture that we can use these basis functions to form

M

different functions

| ϕ_{D I m} 〉

(“spots”) in the input space and similarly

M

different functions

| ϕ_{D O m} 〉

(“spots”) in the output space that (i) are strongly localized near specific points,

r_{m}

, in space (the same point

r_{m}

for both functions

| ϕ_{D I m} 〉

and

| ϕ_{D O m} 〉

for a given

m

), and (ii) are approximately orthogonal to one another in a given space (at least because that do not overlap strongly, being localized around sufficiently different points in space).

Now we conjecture also that we can form the singular values

s_{D m}

associated with these “spots”

| ϕ_{D I m} 〉

and

| ϕ_{D O m} 〉

near points

r_{m}

by some effective averaging of the function

D (x, y)

over these spots around each point

r_{m}

. This argument is somewhat approximate and conjectural; the only conclusion we want to draw here, however, is that, no matter how complicated the function

D (x, y)

is, it only defines

\sim M

different (complex) values, here represented by the

\sim M

singular values

s_{D m}

that go into controlling the final behavior of the device. Note in particular that our argument gives an answer

N_{D} ≃ 2 M

(16)

for the complexity number of real parameters to specify the device, not the

2 M^{2}

of the maximally functional device as in Eq. (8).

One might ask why we are not also counting the number of real numbers to define the columns of the matrices

U

and

V

in the present counting. The answer is that the locality of the response of mask-based devices already enforces the form of those columns (and equivalently the form of the

| ϕ_{D I m} 〉

and the

| ϕ_{D O m} 〉

); by our conjectures, those columns already necessarily represent the maximally localized orthogonal functions that can be generated from the basis sets of the input and output spaces, and there is essentially only one way of forming those sets. [One technical exception to this rule is if we have multiple different positions with the same singular value (i.e., the same transmission or reflection); then we are free to choose linear combinations of these positions in making up the basis functions. However, such a case is relatively restrictive since it corresponds only to uniform transmission over such a set of positions. We could also permute the columns of the matrices

U

and

V

(by the same permutation) and similarly permute the order of the singular values in

D_{diag}

, but such a permutation merely corresponds to a different labeling of the same physical spots, not to any change in the device, so such permutations are arbitrary and need not be considered.]

2. Limitations of Mask-Based Devices

We do not attempt to answer the general question of what functions mask-based devices can implement, but we can make some observations. Suppose first we consider a general mask-based device with

M

-dimensional input and output spaces, and suppose we want to run it at what would be its “diffraction” or “aperture filling” limit for a spatial device—that is, we illuminate it with a fully

M

-dimensional input function, one that in general has nonzero amplitudes for all the

M

(localized) input SVD functions

| ϕ_{D I m} 〉

. Then, to specify the desired output for this one beam requires that we specify all the

\sim 2 M

real numbers of Eq. (16). So, in defining what this device is to do for one “diffraction-limited” or aperture-filling input, we have completely specified the device; there are no degrees of freedom left to define what the device does for any other inputs. To emphasize, we now have no ability to choose what happens to any other input function.

This result might seem surprising and even counterintuitive. For a device such as a lens, for example, we obviously can use it productively for a large range of different inputs, each of which may fill the lens aperture. Suppose, though, we think of a lens as a device that we design so that, when illuminated by a plane wave propagating along the optical axis (i.e., in a direction perpendicular to the lens plane), it generates a single diffraction-limited spot in the center (i.e., along the optical axis) of a plane at a distance

f

behind the lens (the focal plane). Of course, we know how to do this; the lens is designed to impose a phase delay that varies quadratically with distance from the center of the lens, with focal length

f

. But note that we have automatically set what the lens does with a plane wave at any other incident angle. At least in a paraxial approximation, we simply form other similar spots in the focal plane, displaced angularly by (minus) the angle of the input beam to the optical axis; our design of what happens for one aperture-filling beam on a simple lens has defined what happens for all other beams. (Note any particular input beam could be made up out of a linear combination of plane waves at different angles, so by this one design for one plane wave, we have defined the optical device for all conceivable inputs.)

What happens for other beams is a consequence of the inherent functionality of a lens device. Though we may have been wise enough to choose a lens as the component to use in the system, we cannot quantify its inherent functionality, as discussed above, nor (at least for a single thin lens) can we control its effects on other beams once we have designed what happens for one beam.

We mentioned above similar inherent functionality for another “mask-based” device—namely, a plane mirror. A simple plane mirror takes an input beam at one specific angle and converts it to a beam at another specific angle (as given by specular reflection). Once we have chosen this angular change for any one input beam (by choosing the physical angle of the mirror), we have defined the angle we get for any other angle of input beam. A (reflective) grating shows similar behavior to a mirror except that the angle (or angles) of the output beam(s) for a given frequency of input is (are) not necessarily the specular reflection angle. Once we have chosen the behavior for one input beam, we have essentially also defined what happens for other angles of the input beam of the same frequency. We have also generally determined the output angles for beams of different wavelengths.

A general mask-based device, such as we might implement with a thin hologram or diffractive optical element, can show a variety of different behaviors, but has the same limitation. For example, it is straightforward to show that, at least in a standard Fourier-transform optical system that we might use with such an element [43

J. W. Goodman, Introduction to Fourier Optics , 3rd ed. (Roberts & Co., 2005).

], if we want outputs for different input beams to merely be shifted replicas of one another (e.g., we want identical spots at different positions when the element is presented with different input beams), then the input beams must simply be tilted versions of one another. This is an illustration that, if we define output beams we want for a mask-based device, once we have chosen what the input is that gives a specific one of those outputs, then the other inputs are all fixed. Equivalently, running the same mathematics backward, if the inputs are a series of shifted versions of the same function (for example, identical spots at different positions), then the outputs are just the same beam at similar angular shifts.

We could argue that we could increase the size of the mask-based device so that we could get more degrees of freedom and hence so that we could define more and different mappings from the input space to the output space. For example, we could make a large mask-based device and divide it into

M

subapertures, each with

M

usable elements for a total of

M \times M

elements. We could illuminate each of those subapertures with a (necessarily) different beam, and we could separately control what the output would be for each of these subapertures. This approach is equivalent to making

M

separate

M

-element mask-based devices. But as we make the overall device bigger, the SVD always retains the same form: it is diagonal with the local mask transmission factors as its singular values and with input and output matrices

U

and

V

whose columns are localized functions. We never get any real choice as to what the matrices

U

and

V

are. All of the free parameters in the design are taken up in specifying the singular values. Thus with a mask-based device alone we are never capable of designing a general optical

M

-mode element that corresponds to an arbitrary

M \times M

matrix.

We can, of course, add further complexity by adding other optics to a system with mask-based devices to increase the functionality. For example, we can beam split the input beam onto the

M

subapertures, perform

M

separate

M

-dimensional single-mode to single-mode conversions (as in the matched filter implementation below), and then combine the results into overlapping output beams using another beam splitter. This particular scheme, however, incurs two

1 / M

power loss factors in this emulation of a true maximally functional

M

-dimensional device with an

M \times M

-dimensional locally responding one.

Of course, the genius of the concepts of common mask-based devices, such as lenses, gratings, and mirrors, and of new concepts such as devices that unwrap orbital angular momentum beams [16

] is that, despite this limitation of only being able to specify completely what happens to one input, these devices inherently perform useful functions for all

M

input modes. But, we do not have separate direct control over what happens to any beam other than the first (aperture-filling) one for which we choose to design.

3. Matched Filter Implementation of Single-Mode Converter

As an illustration of a mask-based implementation of a device we have explicitly discussed, we can approximately implement the single-mode converter of Section 4.C above using a pair of masks (Fig. 3), working in the spirit of matched filters in Fourier optics (see [43

J. W. Goodman, Introduction to Fourier Optics , 3rd ed. (Roberts & Co., 2005).

], p. 248 et seq.).

Fig. 3. Architecture for a single-mode converter based on Fourier optics. (The

x

axis is into the plane of the drawing.)

We want to map a specific input mode

ϕ_{I} (x, y)

to a specific output mode. We construct input and output masks with (complex) transmission functions

ϕ_{M I} (x, y)

and

ϕ_{M O} (x^{'}, y^{'})

, respectively. If we choose

ϕ_{M I} (x, y) \propto ϕ_{I}^{*} (x, y)

, then the field to the right of the input mask is of the form

ϕ_{I} (x, y) ϕ_{I}^{*} (x, y)

, which we know is positive for all

x

and

y

. To the extent that a lens of focal length

f

performs an approximate Fourier transform into its back focal plane, then this positivity ensures we have a dc component in spatial-frequency space, and hence a spot in the center of the aperture plane. Other input functions

ϕ_{N I} (x, y)

orthogonal to the desired input

ϕ_{I} (x, y)

lead to an output field

ϕ_{N I} (x, y) ϕ_{I}^{*} (x, y)

from the mask that has no dc component because

\iint_{x, y} ϕ_{N I} (x, y) ϕ_{I}^{*} (x, y) d x d y = 0

(17)

for any such input

ϕ_{N I} (x, y)

, and hence no spot in the center of the aperture plane. Hence, with a sufficiently small aperture, we can discriminate against all other orthogonal modes, leaving only one channel that is allowed to propagate through the aperture. The output field from the aperture has some form

ϕ_{A} (x^{'}, y^{'})

after it passes through the output lens, a form that results from the spot shape in the aperture and the diffraction effects from the aperture. Provided that form

ϕ_{A} (x^{'}, y^{'})

has no zeros in it over the output mask plane, which we can always arrange by making the aperture sufficiently small, then using an output mask of the form

ϕ_{M O} (x^{'}, y^{'}) \propto ϕ_{O} (x^{'}, y^{'}) / ϕ_{A} (x^{'}, y^{'})

(18)

generates the desired output field

\propto ϕ_{O} (x^{'}, y^{'})

Note that we have used

\sim 2 M_{I}

real numbers to specify the input mask sufficiently and

\sim 2 M_{O}

real numbers to specify the output mask sufficiently. We only need to specify absolute phase and amplitude on one or the other mask, saving us formally two degrees of freedom, and hence giving us the answer of Eq. (9) for the complexity number

N_{D}

as expected. Note that the aperture has made this device submaximally connected, approximately allowing only one channel to pass through the device and blocking other fields.

4. Mask-Based Devices and Phase

In computer-generated holograms to produce an output pattern, we typically want only to use a phase object to avoid absorbing power. If we only care about output intensity, however, we can allow the output phase to float, so we still have the

M

degrees of freedom in the mask phase to choose

M

intensities in an output pattern. Hence, consistent with the analysis here, we can make Dammann grating spot array generators [44

H. Dammann and K. Gortler, “High-efficiency in-line multiple imaging by means of multiple phase holograms,” Opt. Commun. 3, 312–315 (1971). [CrossRef]

], for example, and other useful phase-only holograms. We can also use such approaches to combine multiple laser gain media if the device is used within the overall cavity, because the phase of each individual laser gain medium output can float so as to give maximum power in the overall supermode [45

J. R. Leger, G. J. Swanson, and W. B. Veldkamp, “Coherent laser addition using binary phase gratings,” Appl. Opt. 26, 4391–4399 (1987). [CrossRef]

5. Frequency-Domain Mask-Based Devices—Fixed Single-Mode Filters

In a spectral filter, we may only be interested in one input spatial mode, such as a particular input beam or plane wave or a single mode in a fiber, and one output spatial mode, such as a transmitted or a reflected version of the input wave. If the filter is made from fixed materials—i.e., with no attribute of the filter changing in time—then the filter cannot create any new frequencies or transfer power from one frequency to another. As a result, the behavior of the filter can be written in terms of some fixed transmission or reflection function

D (ω)

that depends only on frequency

ω

. Quite generally, we can write the input in the input spatial mode as some function

ϕ_{I} (ω)

of frequency, and similarly for the output

ϕ_{O} (ω)

. Then the relation between the input and the output can be written

ϕ_{O} (ω) = D (ω) ϕ_{I} (ω),

(19)

which is a “mask-based” relation that is local in frequency. Such a fixed filter therefore has the same counting of degrees of freedom as other mask-based devices and analogous limitations in the functions it can perform.

Of course, filters often do not have a physical function in their structure that is the direct analog of the mask functions

D (x, y)

and

D (t)

above; instead, they may be made from multiple dielectric layers, for example, with the function

D (ω)

arising as a result of a complicated set of reflections within the layers. However, any such filter can always be emulated in principle using a dispersive device such as a grating at the input, which separates the different wavelengths spatially, followed by a transmission mask that multiplies each different spatial point (and hence each different frequency

ω

) by some number

D (ω)

. Finally, we can run a similar dispersive device backward to combine the different frequency components back into the one output spatial mode, thereby making the filter with an explicit physical mask of the form

D (ω)

. (This is essentially the architecture commonly used [46

A. M. Weiner, “Femtosecond pulse shaping using spatial light modulators,” Rev. Sci. Instrum. 71, 1929–1960 (2000). [CrossRef]

] for shaping of short light pulses.)

As in the spatial case, this locality means that we do not have the freedom to choose the input and output functions in the SVD; those sets of orthogonal inputs that map to orthogonal outputs are frozen to be the single frequency functions. Therefore, using such a fixed filter, we cannot in general make a device that can take multiple different chosen orthogonal spectra at the input, all filling the same bandwidth, and convert them to different chosen orthogonal spectra at the output. This conclusion would be obvious if the outputs were to contain different frequencies from the inputs, because we already know we cannot generate new frequencies with a fixed linear device. However, even if we never generate any new frequencies outside the bandwidth of interest, and even if we restrict the output at any given frequency to be of lower amplitude than the input at the same frequency for every spectrum of interest, we would face the same challenge, with no obvious way to accomplish this other than by power splitting to and from multiple different mask-based devices.

H. Wavelength Demultiplexer Examples

Wavelength demultiplexers offer a good example of nontrivial complexity calculation because of the constraints of the mask-based nature of optical filters in general (in the absence of wavelength conversion) and the dimensionality added through multiple spatial output channels.

Consider a device that runs with

M_{I}

different wavelengths that all enter in one spatial mode, as in a single-mode optical fiber. Formally, the number of input spatial modes is then

M_{S I} = 1

. Different wavelengths of beam in one spatial mode are generally orthogonal functions in time. To be definite, consider a specific window for input times

t

, from time zero to time

t_{I}

, and consider waves of different (free-space) wavelengths

λ

or positive (angular) frequency

ω

, where as usual

ω = 2 π c / λ

for free-space phase velocity

c

. We represent waves as complex functions in time, of form

\exp (i ω t)

, knowing we can add the complex conjugate at the end for real waves. In this time window, an appropriate orthonormal Fourier basis set is

| ϕ_{I p} 〉 = \frac{1}{\sqrt{t_{I}}} \exp (i ω_{p} t),

(20)

where

ω_{p} = 2 π p / t_{I}

with

p

as a positive integer. The dimensionality of the input space here is then

M_{S I} \times M_{I} = M_{I}

For definiteness, we presume the number of output spatial modes

M_{S O}

(e.g., different detectors or output fibers) is

M_{S O} = M_{I}

, as would be appropriate for a simple demultiplexer that put different input wavelengths in different output fibers or detectors. In the output space, we have to consider both wavelength and spatial aspects in the orthogonal basis functions, so the output space has

M_{O} = M_{I} M_{S O} = M_{I}^{2}

(21)

dimensions.

1. Multicasting Wavelength Channels

With no wavelength conversion, the most general relation, as in Eq. (1), between input and output functions, with the SVD as in Eq. (3), can be written in the form

\begin{matrix} | ϕ_{O} 〉 \\ \begin{matrix} [\begin{matrix} \begin{matrix} | ϕ_{O b 1 λ 1} 〉 \\ | ϕ_{O b 2 λ 1} 〉 \\ ⋮ \end{matrix} \\ \begin{matrix} | ϕ_{O b 1 λ 2} 〉 \\ | ϕ_{O b 2 λ 2} 〉 \\ ⋮ \end{matrix} \\ \begin{matrix} | ϕ_{O b 1 λ 3} 〉 \\ | ϕ_{O b 2 λ 3} 〉 \\ ⋮ \end{matrix} \end{matrix}] \end{matrix} \end{matrix} = \begin{matrix} V & D_{Diag} & U^{†} & | ϕ_{I} 〉 \\ \begin{matrix} [\begin{matrix} \begin{matrix} \begin{matrix} v_{11} \\ v_{21} \\ ⋮ \end{matrix} \\ \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \\ \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \end{matrix} & \begin{matrix} \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \\ \begin{matrix} v_{(M_{I} + 1) 2} \\ v_{(M_{I} + 2) 2} \\ ⋮ \end{matrix} \\ \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \end{matrix} & \begin{matrix} \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \\ \begin{matrix} 0 \\ 0 \\ ⋮ \end{matrix} \\ \begin{matrix} v_{(2 M_{I} + 1) 3} \\ v_{(2 M_{I} + 2) 3} \\ ⋮ \end{matrix} \end{matrix} \end{matrix} \begin{matrix} \begin{matrix} \dots \\ \dots \\ ⋮ \end{matrix} \\ \begin{matrix} \dots \\ \dots \\ ⋮ \end{matrix} \\ \begin{matrix} \dots \\ \dots \\ ⋱ \end{matrix} \end{matrix}] \end{matrix} & \begin{matrix} [\begin{matrix} s_{D 1} & 0 & 0 & \dots \\ 0 & s_{D 2} & 0 & \dots \\ 0 & 0 & s_{D 3} & \dots \\ ⋮ & ⋮ & ⋮ & ⋱ \end{matrix}] \end{matrix} & \begin{matrix} [\begin{matrix} 1 & 0 & 0 & \dots \\ 0 & 1 & 0 & \dots \\ 0 & 0 & 1 & \dots \\ ⋮ & ⋮ & ⋮ & ⋱ \end{matrix}] \end{matrix} & \begin{matrix} [\begin{matrix} | ϕ_{I λ 1} 〉 \\ | ϕ_{I λ 2} 〉 \\ | ϕ_{I λ 3} 〉 \\ ⋮ \end{matrix}] \end{matrix} \end{matrix} .

(22)

Here we have written out vectors for the input function

| ϕ_{I} 〉

in terms of its components

| ϕ_{I λ_{p}} 〉

at wavelengths

λ_{p}

, and for the output function

| ϕ_{O} 〉

in terms of its components

| ϕ_{O b q λ p} 〉

in output spatial mode (e.g., fiber or detector)

b_{q}

at wavelength

λ_{p}

. In Eq. (22), note first that the matrix

U^{†}

is just an identity matrix. (We could permute the rows of

U^{†}

with corresponding permutations of the singular values and of elements of

V

, but this would be purely mathematical, leading to an entirely equivalent description of the same physical problem.) The reason for having no real choice of these rows is because of the “mask-based” nature of frequency filters without frequency conversion. In the matrix

V

, because there is no frequency conversion, a given input frequency only can be coupled to output modes of the same frequency, hence all the zeros in the columns of

V

In counting the number of numbers required to specify

V

in the most general case here, to specify one column of

V

we require

2 M_{I} - 2

real numbers (

2 M_{I}

to specify the

M_{I}

generally nonzero complex elements, minus 1 because we arbitrarily fix the phase in each column, setting overall phases with the singular values, and minus 1 from normalization). These numbers essentially allow us to distribute arbitrary amounts of the input at a given wavelength among the various output spatial modes (e.g., fibers or detectors). So the total number of real numbers required to specify

V

M_{I} (2 M_{I} - 2)

. Adding the

2 M_{I}

real numbers to specify the singular values gives a total

N_{D} = 2 M_{I}^{2} .

(23)

If we do not care about the phases of any of the couplings from input to output, which would be the case if we were coupling into power detectors only, then we can drop the factor of 2 here (we have

M_{I} - 1

phase factors in each of the

M_{I}

columns of

V

and

M_{I}

phase factors in the singular values—a total of

M_{I}^{2}

phase factors altogether, all of which we would neglect), leaving

N_{D} = M_{I}^{2} .

(24)

If we only care about the signal power into each output spatial mode (and not the wavelengths), in communications a component with this functionality implements arbitrary multicasting (i.e., the ability to controllably route each input channel to any combination of output channels). Because there is no wavelength or frequency conversion, this device is not maximally functional, but it is maximally connected, mapping all

M_{I}

input channels through the system. It may not be obvious how to make this device (at least without power splitting), but at least we have evaluated the minimum complexity required to make a device that can accomplish any such arbitrary division of input wavelengths among output spatial channels.

2. Routing Wavelength Channels

Suppose we simply want to route each incoming wavelength to a different output spatial mode, as in a wavelength router. For the

V

matrix in Eq. (22), there will therefore only be one element (with amplitude 1) in each column of

V

[and that element will be one of the nonzero elements of the columns in Eq. (22)].

To understand the number of real numbers we need to specify here, we need a slightly different approach from that used up until now, where the real numbers we are counting themselves have always been coefficients in the matrix elements. Now, the number we must specify is which row of a matrix column is nonzero. On the face of it, this row number is an integer, but an integer is a special case of a real number. As we will see below, specifying an integer here anyway means specifying a real number (e.g., the center wavelength of a resonator) in the physical device. To specify the matrix

V

, then, we specify an integer (the row number) for each column. Given that we are routing each wavelength to a unique output spatial mode, once we have specified this integer for each of

M_{I} - 1

columns, we know what the integer must be for the final column (because it must correspond to the remaining unused output spatial mode). So, specifying

V

for this router means specifying

M_{I} - 1

real numbers.

Specifying this device in general therefore requires these

M_{I} - 1

real numbers plus

2 M_{I}

real numbers to specify amplitude and phase of the singular values, giving

N_{D} = 3 M_{I} - 1 .

(25)

If we do not care about the phase of the outputs, we can eliminate

M_{I}

of these, leaving

N_{D} = 2 M_{I} - 1 .

(26)

This still allows us to control output amplitudes. If we do not require separate control of amplitudes, then

N_{D} = M_{I} - 1 .

(27)

Figure 4 shows an example (and relatively standard) architecture for taking four wavelengths entering in one waveguide and separating them to different output waveguides. Ring resonators [47

B. E. Little, J. S. Foresi, G. Steinmeyer, E. R. Thoen, S. T. Chu, H. A. Haus, E. P. Ippen, L. C. Kimerling, and W. Greene, “Ultra-compact Si-SiO₂ microring resonator optical channel dropping filters,” IEEE Photon. Technol. Lett. 10, 549–551 (1998). [CrossRef]

] operate as drop filters to separate the wavelengths (wavelengths

λ_{1}

λ_{2}

λ_{3}

, and

λ_{4}

are not necessarily in any particular order here). The starting point for this category of devices is that we presume we have resonators to work with that have high enough finesse and large enough free spectral range that they can only pass one of the wavelengths of interest at a time, and with and equal input and output couplings (so they can be 100% transmitting on resonance). Then the only (real number) physical variable to be set is the ring radius (which sets the resonator center wavelength). To separate four wavelengths according to Eq. (27), we only need to set three real numbers, which is correct in this architecture. The first three rings (shown in solid lines in Fig. 4) separate off the first three wavelengths, leaving the fourth wavelength alone propagating in the original waveguide. As a practical matter, we might build a fourth drop filter (shown in dashed lines in Fig. 4) because we might not want to rely on the perfection of the first three in completely dropping their wavelengths, but the formula Eq. (27) correctly predicts the minimum complexity required here.

Fig. 4. Wavelength demultiplexing of four wavelengths

λ_{1}

λ_{2}

λ_{3}

, and

λ_{4}

with ring resonator drop filters each of different radius to resonate at different ones of the input wavelengths. The fourth, dashed channel is optional in principle because only the fourth wavelength remains in the original guide with ideal devices.

3. General Wavelength Demultiplexing Example

A recent wavelength-splitting device [42

] designed for three different wavelengths used the lateral positions of 30 slits to design the device. This actual device was not designed to implement arbitrary multicasting—indeed it was only initially designed to implement a simple demultiplexer (see below)—but subsequent unpublished calculations [48

T. Tanemura, University of Tokyo, Information Devices Laboratory, 4-6-1 Komaba, Meguro-ku, Tokyo, Japan (personal communication, 2012).

] did verify that similar designs using this approach could achieve the arbitrary routing demultiplexer. Since it was only designed to split three wavelengths, the 30 slit positions should give enough variables in design to implement the multicasting router, which would only require nine variables, according to Eq. (24).

4. Simple Demultiplexer

A simple demultiplexer takes specific input frequencies and delivers them to specific progressive (and/or cyclic, as in a waveguide grating router) output positions. It does not put linear combinations of input frequencies at specific output positions, nor does it take one input frequency and distribute it to several outputs, and, other than possibly for the position of the first output, it does not allow selection of which other frequency goes to which other output spatial mode. In the resulting matrix

V

as in Eq. (22), there is one “1” in each column, and these move progressively (and/or cyclically) through the available positions in each successive column. Other than possibly one variable to choose where the “1” is in the first column, we now have essentially no further choice. In such a simple demultiplexer, we may also not care about the phase of the individual outputs, and we may ask for no control over the amplitude (simply wanting it to be the largest the device can deliver). In that case, we have essentially only one real-number variable to choose, which is the position of the “1” in the first column of

V

Of course, we know we can achieve this function with a simple grating. Possibly, we should regard ourselves as choosing where the first wavelength goes, which we could do by choosing one physical variable, the grating period, just as we have chosen the resonant frequency of each resonator in the wavelength router above. This one variable essentially corresponds to the position of the “1” in the first column of

V

If we take this simple demultiplexer approach when we actually want to make a router, as above, then we are externalizing the remaining routing functionality to the mechanical design of the output waveguide layout. With the “near” end of each of a set of optical fibers connected progressively to the outputs of the simple demultiplexer, we would need the equivalent of a “patch panel,” choosing to which patch panel output port we connect the “far” end of each fiber. This would require

M_{I} - 1

choices of integers to place the fiber output (the final fiber going into the only remaining output slot on the patch panel). In this case, it does not matter where the “first” output from the grating goes because the fiber attachments on the patch panel can handle any such choice. So, we are back to the same answer as Eq. (27) for our router, with all the designed functionality externalized to the mechanics.

5. CONCLUSIONS

In this paper, we have laid out a way of establishing the minimum complexity we need in the design of optical components. One preliminary conclusion we draw is that it is not possible to establish the complexity required to make or design a device for any one purpose. We cannot quantify the inherent complexity or functionality of a device; by “inherent” functionality, we mean what the device can do even if we do not design it to do that. But, we can establish the complexity required to design any one of a given set or “category” of devices from a particular starting point.

To quantify that complexity for linear optical devices, we have used an approach based on the SVD of the mathematical “device” operator that relates outputs to inputs. We have argued that, for any given problem, we can reduce the corresponding mathematical spaces to ones with finite dimensions; that reduction allows us to count complexity, establishing a “complexity number”—the number of real numbers we must specify to design any device within a given category. The core of the method is to use the SVD form to help count the number of independent numbers required to specify the device. In many cases, this number is much less than the total number of numbers in the matrix that represents the device operator.

We have defined concepts—“maximally functional,” “maximally connected, and a “mode coupling number”—that help in categorizing results of this analysis. We have discussed several examples, including a single-mode to single-mode converter, more general mode-converters, and various wavelength filters, demultiplexers, and routers. We have examined a particularly broad and useful class that we call “mask-based” devices, which includes many common optical components, such as lenses, mirrors, gratings, and fixed wavelength filters; these mask-based devices have, on the one hand, very useful inherent functionalities, thereby allowing lower design complexities than we might expect, and, on the other hand, substantial constraints on what functions they can ever be designed to perform no matter how complex we make them.

We have also examined examples of unconventional and novel devices that may be capable of any linear mapping between inputs and outputs within broad categories, and hence capable of functions that until now have been difficult or impossible to design. An important conclusion of this work is that we can establish clear minimum bounds on the complexity required to allow the design of broad classes of optical devices, including such unconventional ones. We hope the results help especially in clarifying requirements and capabilities in optical devices, especially as we exploit emerging nanophotonic structures for new optical functionalities. We note, too, that the approach here is sufficiently general to apply to linear devices generally, including devices operating on a broad range of different kinds of waves and functions, and including spatial-, temporal-, and wavelength-dependent properties and functionalities.

Appendices

APPENDIX A: COUNTING THE NUMBER OF INPUT AND OUTPUT MODES

If it is not immediately obvious what are the dimensionalities of the input and output spaces

H_{I}

and

H_{O}

, we can establish those through the following procedure. This approach is based on establishing the so-called “communications modes” into and out of the device, in particular those with a coupling strength above some chosen threshold; because of the mathematics of this approach, for any finite threshold, the number of communications modes is also finite.

1. Transmitting and Receiving Spaces

We consider two more mathematical spaces, the “transmitting” and “receiving” spaces,

H_{T}

and

H_{R}

, respectively.

H_{T}

is the space from which the input waves come. For example, it might be a scene of which we are taking a picture.

H_{R}

is the space where we ultimately put the output of the device, such as the film or the detector array in a camera. The device itself might be the lens in the camera, with an input space

H_{I}

that is describing the field on the front surface of the lens and an output space

H_{O}

that is describing the field on the back surface of the lens (inside the camera).

Figure 5 illustrates an example configuration. We have introduced two new operators,

G_{T I}

and

G_{O R}

G_{T I}

couples sources or waves

| ϕ_{T} 〉

in the transmitting volume (or, more generally, in

H_{T}

) to functions

| ϕ_{I} 〉

at the device input (i.e., in

H_{I}

). Similarly,

G_{O R}

couples functions

| ϕ_{O} 〉

at the device output (i.e., in

H_{O}

) to functions

| ϕ_{R} 〉

in the receiving volume (i.e., in

H_{R}

). The operators

G_{T I}

and

G_{O R}

depend on the wave equations and the various spaces, and on how we set up the problem. Formally, for coupling source functions in one volume to resulting waves in the other, these operators are essentially the Green’s functions of those wave equations. For coupling from waves on one surface to resulting waves on another, these operators are corresponding diffraction operators.

Fig. 5. Illustration of example transmitting, device, and receiving volumes. Sources or waves in the transmitting volume lead to waves on the device input surface through the coupling operator

G_{T I}

. Waves on the device output surface lead to waves in the receiving volume through the coupling operator

G_{O R}

Whether we use volumes or surfaces in these various spaces depends on the problem; for example, in a camera looking at a three-dimensional scene, the transmission is from the scene volume, and if we are focusing the camera by moving the “film” plane, the receiving volume includes all possible positions of the film plane. Mathematically we could also use the entire device volume for both the input and output volumes of the device; if the device is some complicated volume scatterer, such an approach might be more complete mathematically than just considering fields at the “input” and “output” surfaces.

2. Communications Modes

The procedure for establishing the numbers of modes to use at the input (

M_{I}

) and output (

M_{O}

) is based on the SVD of the coupling operators

G_{T I}

and

G_{O R}

. This decomposition establishes the so-called “communications modes” associated with these operators, and it is the counting of these that determines

M_{I}

and

M_{O}

The idea of communication modes has been presented in [49

D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

] and this concept has seen various uses in optics and wireless communications [29

D. A. B. Miller, “Fundamental limit to linear one-dimensional slow light structures,” Phys. Rev. Lett. 99, 203903 (2007). [CrossRef]

,50

R. Piestun and D. A. B. Miller, “Electromagnetic degrees of freedom of an optical system,” J. Opt. Soc. Am. A 17, 892–902 (2000). [CrossRef]

R. Piestun and J. Shamir, “Synthesis of three-dimensional light fields and applications,” Proc. IEEE 90, 222–244 (2002). [CrossRef]

A. Thaning, P. Martinsson, M. Karelin, and A. T. Friberg, “Limits of diffractive optics by communication modes,” J. Opt. A 5, 153–158 (2003). [CrossRef]

A. Burvall, P. Martinsson, and A. T. Friberg, “Communication modes in large-aperture approximation,” Opt. Lett. 32, 611–613 (2007). [CrossRef]

M. A. Jensen and J. W. Wallace, “Capacity of the continuous-space electromagnetic channel,” IEEE Trans. Antennas Propag. 56, 524–531 (2008). [CrossRef]

R. Somaraju and J. Trumpf, “Degrees of freedom of a communication channel: using DOF singular values,” IEEE Trans. Inf. Theory 56, 1560–1573 (2010). [CrossRef]

–56

R. L. Konsbruck, E. Telatar, and M. Vetterli, “On sampling and coding for distributed acoustic sensing,” IEEE Trans. Inf. Theory 58, 3198–3214 (2012). [CrossRef]

]. The SVD of the coupling operator

G_{T I}

between the transmitting and device input spaces establishes sets of orthonormal functions

| ϕ_{T p} 〉

in the transmitting space

H_{T}

and

| ϕ_{I p} 〉

in the device input space

H_{I}

with associated coupling strengths (singular values)

s_{T I p}

. Formally, as in Eq. (2),

G_{T I} = \sum_{p} s_{T I p} | ϕ_{I p} 〉 〈 ϕ_{T p} |

(A1)

and, in the normal fashion for SVD,

G_{T I}^{†} G_{T I} | ϕ_{T p} 〉 = {| s_{T I p} |}^{2} | ϕ_{T p} 〉,

(A2)

G_{T I} G_{T I}^{†} | ϕ_{I p} 〉 = {| s_{T I p} |}^{2} | ϕ_{I p} 〉 .

(A3)

We can construct a similar set of equations for the SVD

G_{O R} = \sum_{q} s_{O R q} | ϕ_{R q} 〉 〈 ϕ_{O q} |

(A4)

G_{O R}

, leading to orthonormal functions

| ϕ_{O q} 〉

in the device output space

H_{O}

and

| ϕ_{R q} 〉

in the receiving space

H_{R}

with associated coupling strengths (singular values)

s_{O R q}

Just as in the SVD of the device operator

D

, these SVDs can essentially always be performed; the key requirement is that the operators

G_{T I}

and

G_{O R}

are mathematically “compact,” as typical operators in wave problems are (see [32

D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]

] for a discussion of compactness). The resulting sets of functions corresponding to nonzero singular values are complete in the same sense we are using for the “mode-converter” basis sets

| ϕ_{D O m} 〉

and

| ϕ_{D I m} 〉

above.

3. Counting Communications Modes

In wave problems involving free-space propagation, the various sets here—

| ϕ_{T p} 〉

and

| ϕ_{I p} 〉

for

G_{T I}

and

| ϕ_{O q} 〉

and

| ϕ_{R q} 〉

for

G_{O R}

—are generally infinite, so we have not yet generally established finite numbers for

M_{I}

and

M_{O}

. However, the singular values obey a sum rule [49

D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

], which can resolve this problem.

Quite generally, we can define sums

S_{T I}

and

S_{O R}

obeying the rules

\sum_{p} {| s_{T I p} |}^{2} = T r (G_{T I}^{†} G_{T I}) = S_{T I}

(A5)

and similarly

\sum_{q} {| s_{O R q} |}^{2} = T r (G_{O R}^{†} G_{O R}) = S_{O R} .

(A6)

The proof of these sum rules follows simply if we note that (i) the trace Tr (i.e., sum of the diagonal elements) of an operator is independent of the (complete) basis used to represent it and (ii) one such basis is the eigenbasis (

| ϕ_{T p} 〉

for

G_{T I}^{†} G

| ϕ_{O q} 〉

for

G_{O R}^{†} G_{O R}

), for which the matrix is diagonal with diagonal elements

{| s_{T I p} |}^{2}

for

G_{T I}^{†} G

{| s_{O R q} |}^{2}

for

G_{O R}^{†} G_{O R}

Because the trace is independent of the basis, we can typically evaluate

S_{T I}

and

S_{O R}

using continuous (i.e., delta-function) basis sets [49

D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

], which means performing some volume and/or surface integrals. For example, for a simple scalar wave equation with Green’s function

G_{T I} (r_{T}, r_{I})

G_{T I} \equiv G_{T I} (r_{T}, r_{I})

, where

r_{T}

and

r_{I}

are position vectors in the transmitting and device input volumes or surfaces,

V_{T}

and

V_{I}

, respectively. Then

S_{T I} = T r (G_{T I}^{†} G_{T I}) = \int_{V_{T}} \int_{V_{I}} {| G_{T I} (r_{T}, r_{I}) |}^{2} d V_{I} d V_{T}

(A7)

and similarly for

S_{O R} = T r (G_{O R}^{†} G_{O R})

We can reasonably decide that there are some minimum connection strengths

{| s_{T I \min} |}^{2}

and

{| s_{O R \min} |}^{2}

of interest; connections below these strengths we can consider to be so low that the coupling is negligible or insufficiently useful to us in the device. We then know immediately that we cannot usefully have more than

S_{T I} / {| s_{T I \min} |}^{2}

and

S_{O R} / {| s_{O R \min} |}^{2}

communication modes at the device input and output, respectively. More stringent limits can be obtained if we solve the SVDs of Eqs. (A1) and (A4). Then, by progressively adding up ordered lists of the

{| s_{T I p} |}^{2}

and

{| s_{O R q} |}^{2}

, for example, from largest on downward, we can decide when there is insufficient capacity left in the sum rules for any further couplings that are strong enough to be worth considering (e.g., when the ordered sum is within

{| s_{T I \min} |}^{2}

{| s_{O R \min} |}^{2}

of the totals

S_{T I}

and

S_{O R}

, respectively); at that point in each case we can truncate the basis sets to obtain practical numbers of basis functions

M_{I}

(from the

S_{T I}

comparison) and

M_{O}

(from the

S_{O R}

comparison), respectively. (See [49

D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

] for examples of such convergence.)

In a broad range of optical situations, such as paraxial optics between plane-parallel surfaces or plane-parallel volumes of uniform thickness and of transverse dimensions that are many wavelengths in size, the behavior of the

{| s_{T I p} |}^{2}

and

{| s_{O R q} |}^{2}

can become particularly simple: up to a specific number in each case (essentially, the

M_{I}

and

M_{O}

we will want to choose in each case), the coupling strengths

{| s_{T I p} |}^{2}

and

{| s_{O R q} |}^{2}

are each approximately constant independent of the index

p

q

, respectively, and then they drop off dramatically once we try to pass the normal diffraction limit. This case is analyzed in detail in [49

D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

Note, incidentally, that this approach is not restricted to purely spatial problems; it can be used in the time or frequency domain as well or in combinations of spatial and temporal (or frequency) domains or with other degrees of freedom (such as polarization or spin). It works provided only that the coupling operators are compact. (In time-dependent problems, it may be necessary to impose finite frequency bandwidths; otherwise time derivative operators are generally not bounded and therefore not compact.)

ACKNOWLEDGMENTS

This project was supported by funds from Duke University under an award from the DARPA InPho program, and by the AFOSR Robust and Complex On-Chip Nanophotonics MURI, agreement no. FA9550-09-1-0704.

REFERENCES

1.	J. D. Joannopoulos, P. R. Villeneuve, and S. H. Fan, “Photonic crystals: putting a new twist on light,” Nature 386, 143–149 (1997). [CrossRef]
2.	V. M. Shalaev, “Optical negative-index metamaterials,” Nat. Photonics 1, 41–48 (2007). [CrossRef]
3.	N. I. Zheludev, “The road ahead for metamaterials,” Science 328, 582–583 (2010). [CrossRef]
4.	H. Chen, C. T. Chan, and P. Sheng, “Transformation optics and metamaterials,” Nat. Mater. 9, 387–396 (2010). [CrossRef]
5.	M. L. Brongersma and V. M. Shalaev, “The case for plasmonics,” Science 328, 440–441 (2010). [CrossRef]
6.	L. Tang, S. E. Kocabas, S. Latif, A. K. Okyay, D.-S. Ly-Gagnon, K. C. Saraswat, and D. A. B. Miller, “Nanometre-scale germanium photodetector enhanced by a near-infrared dipole antenna,” Nat. Photonics 2, 226–229 (2008). [CrossRef]
7.	L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]
8.	N.-N. Feng, M. L. Brongersma, and L. Dal Negro, “Metal-dielectric slot-waveguide structures for the propagation of surface plasmon polaritons at 1.55 μm,” IEEE J. Quantum Electron. 43, 479–485 (2007). [CrossRef]
9.	J. A. Dionne, L. A. Sweatlock, H. A. Atwater, and A. Polman, “Plasmon slot waveguides: towards chip-scale propagation with subwavelength-scale localization,” Phys. Rev. B 73, 035407 (2006). [CrossRef]
10.	G. Veronis and S. H. Fan, “Modes of subwavelength plasmonic slot waveguides,” J. Lightwave Technol. 25, 2511–2521 (2007). [CrossRef]
11.	D.-S. Ly-Gagnon, K. C. Balram, J. S. White, P. Wahl, M. L. Brongersma, and D. A. B. Miller, “Routing and photodetection in subwavelength plasmonic slot waveguides,” Nanophotonics 1, 9–16 (2012). [CrossRef]
12.	M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]
13.	M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]
14.	Y. Jiao, S. H. Fan, and D. A. B. Miller, “Demonstration of systematic photonic crystal device design and optimization By low rank adjustments: an extremely compact mode separator,” Opt. Lett. 30, 141–143 (2005). [CrossRef]
15.	V. Liu, Y. Jiao, D. A. B. Miller, and S. Fan, “Design methodology for compact photonic-crystal-based wavelength division multiplexers,” Opt. Lett. 36, 591–593 (2011). [CrossRef]
16.	M. P. J. Lavery, A. Dudley, A. Forbes, J. Courtial, and M. J. Padgett, “Robust interferometer for the routing of light beams carrying orbital angular momentum,” New J. Phys. 13, 093014 (2011). [CrossRef]
17.	T. Su, R. P. Scott, S. S. Djordjevic, N. K. Fontaine, D. J. Geisler, X. Cai, and S. J. B. Yoo, “Demonstration of free space coherent optical communication using integrated silicon photonic orbital angular momentum devices,” Opt. Express 20, 9396–9402 (2012). [CrossRef]
18.	B. Zhu, T. F. Taunay, M. Fishteyn, X. Liu, S. Chandrasekhar, M. F. Yan, J. M. Fini, E. M. Monberg, and F. V. Dimarcello, “ $112 Tb / s$ space-division multiplexed DWDM transmission with $14 b / s / Hz$ aggregate spectral efficiency over a 76.8 km seven-core fiber,” Opt. Express 19, 16665–16671 (2011). [CrossRef]
19.	E. Ip, P. Ji, E. Mateo, Y.-K. Huang, L. Xu, D. Qian, N. Bai, and T. Wang, “100 G and beyond transmission technologies for evolving optical networks and relevant physical-layer issues,” Proc. IEEE 100, 1065–1078 (2012). [CrossRef]
20.	R. Ryf, S. Randel, A. H. Gnauck, C. Bolle, A. Sierra, S. Mumtaz, M. Esmaeelpour, E. C. Burrows, R.-J. Essiambre, P. J. Winzer, D. W. Peckham, A. H. McCurdy, and R. Lingle Jr., “Mode-division multiplexing over 96 km of few-mode fiber using coherent $6 \times 6$ MIMO processing,” J. Lightwave Technol. 30, 521–531 (2012). [CrossRef]
21.	P. M. Krummrich, “Optical amplification and optical filter based signal processing for cost and energy efficient spatial multiplexing,” Opt. Express 19, 16636–16652 (2011). [CrossRef]
22.	D. A. B. Miller, “Device requirements for optical interconnects to silicon chips,” Proc. IEEE 97, 1166–1185 (2009). [CrossRef]
23.	R. Chen, H. Chin, D. A. B. Miller, K. Ma, and J. S. Harris, “MSM-based integrated CMOS wavelength-tunable optical receiver,” IEEE Photon. Technol. Lett. 17, 1271–1273 (2005). [CrossRef]
24.	R. Chen, J. Fu, D. A. B. Miller, and J. S. Harris Jr., “Design and analysis of CMOS-controlled tunable photodetectors for multiwavelength discrimination,” J. Lightwave Technol. 27, 5451–5460 (2009). [CrossRef]
25.	Z. Yu and S. H. Fan, “Integrated nonmagnetic optical isolators based on photonic transitions,” IEEE J. Sel. Top. Quantum Electron. 16, 459–466 (2010). [CrossRef]
26.	W. L. Barnes, A. Dereux, and T. W. Ebbesen, “Surface plasmon subwavelength optics,” Nature 424, 824–830 (2003). [CrossRef]
27.	P. J. Schuck, D. P. Fromm, A. Sundaramurthy, G. S. Kino, and W. E. Moerner, “Improving the mismatch between light and nanoscale objects with gold bowtie nanoantennas,” Phys. Rev. Lett. 94, 017402 (2005). [CrossRef]
28.	D. A. B. Miller, “Fundamental limit for optical components,” J. Opt. Soc. Am. B 24, A1–A18 (2007). [CrossRef]
29.	D. A. B. Miller, “Fundamental limit to linear one-dimensional slow light structures,” Phys. Rev. Lett. 99, 203903 (2007). [CrossRef]
30.	D. A. B. Miller, “Self-aligning universal beam coupler,” Opt. Express (to be published).
31.	D. A. B. Miller, “Self-configuring universal linear optical component,” Photon. Res. (to be published).
32.	D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]
33.	R. S. Tucker, P.-C. Ku, and C. J. Chang-Hasnain, “Slow-light optical buffers: capabilities and fundamental limitations,” J. Lightwave Technol. 23, 4046–4066 (2005). [CrossRef]
34.	M. Gerken and D. A. B. Miller, “The relationship between the superprism effect in one-dimensional photonic crystals and spatial dispersion in nonperiodic thin-film stacks,” Opt. Lett. 30, 2475–2477 (2005). [CrossRef]
35.	R. Zengerle, “Light propagation in singly and doubly periodic planar waveguides,” J. Modern Opt. 34, 1589–1617 (1987). [CrossRef]
36.	H. Kosaka, T. Kawashima, K. Tomita, M. Notomi, T. Tamamura, T. Sato, and S. Kawakami, “Superprism phenomena in photonic crystals,” Phys. Rev. B 58, R10096 (1998). [CrossRef]
37.	B. Momeni and A. Abidi, “Systematic design of superprism-based photonic crystal demultiplexers,” IEEE J. Sel. Areas Commun. 23, 1355–1364 (2005). [CrossRef]
38.	M. Georgas, J. Leu, B. Moss, C. Sun, and V. Stojanovic, “Addressing link-level design tradeoffs for integrated photonics interconnects,” in Proceedings of Custom Integrated Circuits Conference (CICC) (IEEE, 2011), pp. 1–8.
39.	D. A. B. Miller, Quantum Mechanics for Scientists and Engineers (Cambridge University, 2008).
40.	G. A. Rakuljic, V. Leyva, and A. Yariv, “Optical data storage by using orthogonal wavelength-multiplexed volume holograms,” Opt. Lett. 17, 1471–1473 (1992). [CrossRef]
41.	L. Hesselink, S. S. Orlov, and M. C. Bashaw, “Holographic data storage systems,” Proc. IEEE 92, 1231–1280 (2004). [CrossRef]
42.	T. Tanemura, K. C. Balram, D.-S. Ly-Gagnon, P. Wahl, J. S. White, M. L. Brongersma, and D. A. B. Miller, “Multiple-wavelength focusing of surface plasmons with a nonperiodic nanoslit coupler,” Nano Lett. 11, 2693–2698 (2011). [CrossRef]
43.	J. W. Goodman, Introduction to Fourier Optics , 3rd ed. (Roberts & Co., 2005).
44.	H. Dammann and K. Gortler, “High-efficiency in-line multiple imaging by means of multiple phase holograms,” Opt. Commun. 3, 312–315 (1971). [CrossRef]
45.	J. R. Leger, G. J. Swanson, and W. B. Veldkamp, “Coherent laser addition using binary phase gratings,” Appl. Opt. 26, 4391–4399 (1987). [CrossRef]
46.	A. M. Weiner, “Femtosecond pulse shaping using spatial light modulators,” Rev. Sci. Instrum. 71, 1929–1960 (2000). [CrossRef]
47.	B. E. Little, J. S. Foresi, G. Steinmeyer, E. R. Thoen, S. T. Chu, H. A. Haus, E. P. Ippen, L. C. Kimerling, and W. Greene, “Ultra-compact Si-SiO₂ microring resonator optical channel dropping filters,” IEEE Photon. Technol. Lett. 10, 549–551 (1998). [CrossRef]
48.	T. Tanemura, University of Tokyo, Information Devices Laboratory, 4-6-1 Komaba, Meguro-ku, Tokyo, Japan (personal communication, 2012).
49.	D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]
50.	R. Piestun and D. A. B. Miller, “Electromagnetic degrees of freedom of an optical system,” J. Opt. Soc. Am. A 17, 892–902 (2000). [CrossRef]
51.	R. Piestun and J. Shamir, “Synthesis of three-dimensional light fields and applications,” Proc. IEEE 90, 222–244 (2002). [CrossRef]
52.	A. Thaning, P. Martinsson, M. Karelin, and A. T. Friberg, “Limits of diffractive optics by communication modes,” J. Opt. A 5, 153–158 (2003). [CrossRef]
53.	A. Burvall, P. Martinsson, and A. T. Friberg, “Communication modes in large-aperture approximation,” Opt. Lett. 32, 611–613 (2007). [CrossRef]
54.	M. A. Jensen and J. W. Wallace, “Capacity of the continuous-space electromagnetic channel,” IEEE Trans. Antennas Propag. 56, 524–531 (2008). [CrossRef]
55.	R. Somaraju and J. Trumpf, “Degrees of freedom of a communication channel: using DOF singular values,” IEEE Trans. Inf. Theory 56, 1560–1573 (2010). [CrossRef]
56.	R. L. Konsbruck, E. Telatar, and M. Vetterli, “On sampling and coding for distributed acoustic sensing,” IEEE Trans. Inf. Theory 58, 3198–3214 (2012). [CrossRef]

OCIS Codes
(030.4070) Coherence and statistical optics : Modes
(060.1810) Fiber optics and optical communications : Buffers, couplers, routers, switches, and multiplexers
(070.6110) Fourier optics and signal processing : Spatial filtering
(080.2720) Geometric optics : Mathematical methods (general)
(230.0230) Optical devices : Optical devices
(350.4238) Other areas of optics : Nanophotonics and photonic crystals

ToC Category:
Optical Devices

History
Original Manuscript: September 24, 2012
Manuscript Accepted: December 28, 2012
Published: January 31, 2013

Citation
David A. B. Miller, "How complicated must an optical component be?," J. Opt. Soc. Am. A 30, 238-251 (2013)
http://www.opticsinfobase.org/josaa/abstract.cfm?URI=josaa-30-2-238

Sort: Author | Year | Journal | Reset

References

J. D. Joannopoulos, P. R. Villeneuve, and S. H. Fan, “Photonic crystals: putting a new twist on light,” Nature 386, 143–149 (1997). [CrossRef]
V. M. Shalaev, “Optical negative-index metamaterials,” Nat. Photonics 1, 41–48 (2007). [CrossRef]
N. I. Zheludev, “The road ahead for metamaterials,” Science 328, 582–583 (2010). [CrossRef]
H. Chen, C. T. Chan, and P. Sheng, “Transformation optics and metamaterials,” Nat. Mater. 9, 387–396 (2010). [CrossRef]
M. L. Brongersma and V. M. Shalaev, “The case for plasmonics,” Science 328, 440–441 (2010). [CrossRef]
L. Tang, S. E. Kocabas, S. Latif, A. K. Okyay, D.-S. Ly-Gagnon, K. C. Saraswat, and D. A. B. Miller, “Nanometre-scale germanium photodetector enhanced by a near-infrared dipole antenna,” Nat. Photonics 2, 226–229 (2008). [CrossRef]
L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]
N.-N. Feng, M. L. Brongersma, and L. Dal Negro, “Metal-dielectric slot-waveguide structures for the propagation of surface plasmon polaritons at 1.55 μm,” IEEE J. Quantum Electron. 43, 479–485 (2007). [CrossRef]
J. A. Dionne, L. A. Sweatlock, H. A. Atwater, and A. Polman, “Plasmon slot waveguides: towards chip-scale propagation with subwavelength-scale localization,” Phys. Rev. B 73, 035407 (2006). [CrossRef]
G. Veronis and S. H. Fan, “Modes of subwavelength plasmonic slot waveguides,” J. Lightwave Technol. 25, 2511–2521 (2007). [CrossRef]
D.-S. Ly-Gagnon, K. C. Balram, J. S. White, P. Wahl, M. L. Brongersma, and D. A. B. Miller, “Routing and photodetection in subwavelength plasmonic slot waveguides,” Nanophotonics 1, 9–16 (2012). [CrossRef]
M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]
M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]
Y. Jiao, S. H. Fan, and D. A. B. Miller, “Demonstration of systematic photonic crystal device design and optimization By low rank adjustments: an extremely compact mode separator,” Opt. Lett. 30, 141–143 (2005). [CrossRef]
V. Liu, Y. Jiao, D. A. B. Miller, and S. Fan, “Design methodology for compact photonic-crystal-based wavelength division multiplexers,” Opt. Lett. 36, 591–593 (2011). [CrossRef]
M. P. J. Lavery, A. Dudley, A. Forbes, J. Courtial, and M. J. Padgett, “Robust interferometer for the routing of light beams carrying orbital angular momentum,” New J. Phys. 13, 093014 (2011). [CrossRef]
T. Su, R. P. Scott, S. S. Djordjevic, N. K. Fontaine, D. J. Geisler, X. Cai, and S. J. B. Yoo, “Demonstration of free space coherent optical communication using integrated silicon photonic orbital angular momentum devices,” Opt. Express 20, 9396–9402 (2012). [CrossRef]
B. Zhu, T. F. Taunay, M. Fishteyn, X. Liu, S. Chandrasekhar, M. F. Yan, J. M. Fini, E. M. Monberg, and F. V. Dimarcello, “112 Tb/s space-division multiplexed DWDM transmission with 14 b/s/Hz aggregate spectral efficiency over a 76.8 km seven-core fiber,” Opt. Express 19, 16665–16671 (2011). [CrossRef]
E. Ip, P. Ji, E. Mateo, Y.-K. Huang, L. Xu, D. Qian, N. Bai, and T. Wang, “100 G and beyond transmission technologies for evolving optical networks and relevant physical-layer issues,” Proc. IEEE 100, 1065–1078 (2012). [CrossRef]
R. Ryf, S. Randel, A. H. Gnauck, C. Bolle, A. Sierra, S. Mumtaz, M. Esmaeelpour, E. C. Burrows, R.-J. Essiambre, P. J. Winzer, D. W. Peckham, A. H. McCurdy, and R. Lingle, “Mode-division multiplexing over 96 km of few-mode fiber using coherent 6×6 MIMO processing,” J. Lightwave Technol. 30, 521–531 (2012). [CrossRef]
P. M. Krummrich, “Optical amplification and optical filter based signal processing for cost and energy efficient spatial multiplexing,” Opt. Express 19, 16636–16652 (2011). [CrossRef]
D. A. B. Miller, “Device requirements for optical interconnects to silicon chips,” Proc. IEEE 97, 1166–1185 (2009). [CrossRef]
R. Chen, H. Chin, D. A. B. Miller, K. Ma, and J. S. Harris, “MSM-based integrated CMOS wavelength-tunable optical receiver,” IEEE Photon. Technol. Lett. 17, 1271–1273 (2005). [CrossRef]
R. Chen, J. Fu, D. A. B. Miller, and J. S. Harris, “Design and analysis of CMOS-controlled tunable photodetectors for multiwavelength discrimination,” J. Lightwave Technol. 27, 5451–5460 (2009). [CrossRef]
Z. Yu and S. H. Fan, “Integrated nonmagnetic optical isolators based on photonic transitions,” IEEE J. Sel. Top. Quantum Electron. 16, 459–466 (2010). [CrossRef]
W. L. Barnes, A. Dereux, and T. W. Ebbesen, “Surface plasmon subwavelength optics,” Nature 424, 824–830 (2003). [CrossRef]
P. J. Schuck, D. P. Fromm, A. Sundaramurthy, G. S. Kino, and W. E. Moerner, “Improving the mismatch between light and nanoscale objects with gold bowtie nanoantennas,” Phys. Rev. Lett. 94, 017402 (2005). [CrossRef]
D. A. B. Miller, “Fundamental limit for optical components,” J. Opt. Soc. Am. B 24, A1–A18 (2007). [CrossRef]
D. A. B. Miller, “Fundamental limit to linear one-dimensional slow light structures,” Phys. Rev. Lett. 99, 203903 (2007). [CrossRef]
D. A. B. Miller, “Self-aligning universal beam coupler,” Opt. Express (to be published).
D. A. B. Miller, “Self-configuring universal linear optical component,” Photon. Res. (to be published).
D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]
R. S. Tucker, P.-C. Ku, and C. J. Chang-Hasnain, “Slow-light optical buffers: capabilities and fundamental limitations,” J. Lightwave Technol. 23, 4046–4066 (2005). [CrossRef]
M. Gerken and D. A. B. Miller, “The relationship between the superprism effect in one-dimensional photonic crystals and spatial dispersion in nonperiodic thin-film stacks,” Opt. Lett. 30, 2475–2477 (2005). [CrossRef]
R. Zengerle, “Light propagation in singly and doubly periodic planar waveguides,” J. Modern Opt. 34, 1589–1617 (1987). [CrossRef]
H. Kosaka, T. Kawashima, K. Tomita, M. Notomi, T. Tamamura, T. Sato, and S. Kawakami, “Superprism phenomena in photonic crystals,” Phys. Rev. B 58, R10096 (1998). [CrossRef]
B. Momeni and A. Abidi, “Systematic design of superprism-based photonic crystal demultiplexers,” IEEE J. Sel. Areas Commun. 23, 1355–1364 (2005). [CrossRef]
M. Georgas, J. Leu, B. Moss, C. Sun, and V. Stojanovic, “Addressing link-level design tradeoffs for integrated photonics interconnects,” in Proceedings of Custom Integrated Circuits Conference (CICC) (IEEE, 2011), pp. 1–8.
D. A. B. Miller, Quantum Mechanics for Scientists and Engineers (Cambridge University, 2008).
G. A. Rakuljic, V. Leyva, and A. Yariv, “Optical data storage by using orthogonal wavelength-multiplexed volume holograms,” Opt. Lett. 17, 1471–1473 (1992). [CrossRef]
L. Hesselink, S. S. Orlov, and M. C. Bashaw, “Holographic data storage systems,” Proc. IEEE 92, 1231–1280 (2004). [CrossRef]
T. Tanemura, K. C. Balram, D.-S. Ly-Gagnon, P. Wahl, J. S. White, M. L. Brongersma, and D. A. B. Miller, “Multiple-wavelength focusing of surface plasmons with a nonperiodic nanoslit coupler,” Nano Lett. 11, 2693–2698 (2011). [CrossRef]
J. W. Goodman, Introduction to Fourier Optics, 3rd ed.(Roberts & Co., 2005).
H. Dammann and K. Gortler, “High-efficiency in-line multiple imaging by means of multiple phase holograms,” Opt. Commun. 3, 312–315 (1971). [CrossRef]
J. R. Leger, G. J. Swanson, and W. B. Veldkamp, “Coherent laser addition using binary phase gratings,” Appl. Opt. 26, 4391–4399 (1987). [CrossRef]
A. M. Weiner, “Femtosecond pulse shaping using spatial light modulators,” Rev. Sci. Instrum. 71, 1929–1960 (2000). [CrossRef]
B. E. Little, J. S. Foresi, G. Steinmeyer, E. R. Thoen, S. T. Chu, H. A. Haus, E. P. Ippen, L. C. Kimerling, and W. Greene, “Ultra-compact Si-SiO2 microring resonator optical channel dropping filters,” IEEE Photon. Technol. Lett. 10, 549–551 (1998). [CrossRef]
T. Tanemura, University of Tokyo, Information Devices Laboratory, 4-6-1 Komaba, Meguro-ku, Tokyo, Japan (personal communication, 2012).
D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]
R. Piestun and D. A. B. Miller, “Electromagnetic degrees of freedom of an optical system,” J. Opt. Soc. Am. A 17, 892–902 (2000). [CrossRef]
R. Piestun and J. Shamir, “Synthesis of three-dimensional light fields and applications,” Proc. IEEE 90, 222–244 (2002). [CrossRef]
A. Thaning, P. Martinsson, M. Karelin, and A. T. Friberg, “Limits of diffractive optics by communication modes,” J. Opt. A 5, 153–158 (2003). [CrossRef]
A. Burvall, P. Martinsson, and A. T. Friberg, “Communication modes in large-aperture approximation,” Opt. Lett. 32, 611–613 (2007). [CrossRef]
M. A. Jensen and J. W. Wallace, “Capacity of the continuous-space electromagnetic channel,” IEEE Trans. Antennas Propag. 56, 524–531 (2008). [CrossRef]
R. Somaraju and J. Trumpf, “Degrees of freedom of a communication channel: using DOF singular values,” IEEE Trans. Inf. Theory 56, 1560–1573 (2010). [CrossRef]
R. L. Konsbruck, E. Telatar, and M. Vetterli, “On sampling and coding for distributed acoustic sensing,” IEEE Trans. Inf. Theory 58, 3198–3214 (2012). [CrossRef]

Abidi, A.
Atwater, H. A.
Bai, N.
Balram, K. C.
Barnes, W. L.
Bashaw, M. C.
Bolle, C.
Brongersma, M. L.
Burrows, E. C.
Burvall, A.
Cai, X.
Chan, C. T.
Chandrasekhar, S.
Chang-Hasnain, C. J.
Chen, H.
Chen, R.
Chin, H.
Chu, S. T.
Courtial, J.
Dal Negro, L.
Dammann, H.
Dereux, A.
Dimarcello, F. V.
Dionne, J. A.
Djordjevic, S. S.
Dudley, A.
Ebbesen, T. W.
Esmaeelpour, M.
Essiambre, R.-J.
Fan, S.
Fan, S. H.
Feng, N.-N.
Fini, J. M.
Fishteyn, M.
Fontaine, N. K.
Forbes, A.
Foresi, J. S.
Friberg, A. T.
Fromm, D. P.
Fu, J.
Geisler, D. J.
Georgas, M.
Gerken, M.
Gnauck, A. H.
Goodman, J. W.
Gortler, K.
Greene, W.
Harris, J. S.
Haus, H. A.
Hesselink, L.
Huang, Y.-K.
Ip, E.
Ippen, E. P.
Jensen, M. A.
Ji, P.
Jiao, Y.
Joannopoulos, J. D.
Karelin, M.
Kawakami, S.
Kawashima, T.
Kimerling, L. C.
Kino, G. S.
Kocabas, S. E.
Konsbruck, R. L.
Kosaka, H.
Krummrich, P. M.
Ku, P.-C.
Latif, S.
Lavery, M. P. J.
Leger, J. R.
Leu, J.
Leyva, V.
Lingle, R.
Little, B. E.
Liu, V.
Liu, X.
Ly-Gagnon, D.-S.
Ma, K.
Martinsson, P.
Mateo, E.
McCurdy, A. H.
Miller, D. A. B.
Moerner, W. E.
Momeni, B.
Monberg, E. M.
Moss, B.
Mumtaz, S.
Notomi, M.
Novotny, L.
Okyay, A. K.
Orlov, S. S.
Padgett, M. J.
Peckham, D. W.
Piestun, R.
Polman, A.
Qian, D.
Rakuljic, G. A.
Randel, S.
Ryf, R.
Saraswat, K. C.
Sato, T.
Schuck, P. J.
Scott, R. P.
Shalaev, V. M.
Shamir, J.
Sheng, P.
Sierra, A.
Somaraju, R.
Steinmeyer, G.
Stojanovic, V.
Su, T.
Sun, C.
Sundaramurthy, A.
Swanson, G. J.
Sweatlock, L. A.
Tamamura, T.
Tanemura, T.
Tang, L.
Taunay, T. F.
Telatar, E.
Thaning, A.
Thoen, E. R.
Tomita, K.
Trumpf, J.
Tucker, R. S.
van Hulst, N.
Veldkamp, W. B.
Veronis, G.
Vetterli, M.
Villeneuve, P. R.
Wahl, P.
Wallace, J. W.
Wang, T.
Weiner, A. M.
White, J. S.
Winzer, P. J.
Xu, L.
Yan, M. F.
Yariv, A.
Yoo, S. J. B.
Yu, Z.
Zengerle, R.
Zheludev, N. I.
Zhu, B.

Appl. Opt.

M. Gerken and D. A. B. Miller, “Multilayer thin-film structures with high spatial dispersion,” Appl. Opt. 42, 1330–1345 (2003). [CrossRef]
M. Gerken and D. A. B. Miller, “Limits to the performance of dispersive thin-film stacks,” Appl. Opt. 44, 3349–3357 (2005). [CrossRef]
J. R. Leger, G. J. Swanson, and W. B. Veldkamp, “Coherent laser addition using binary phase gratings,” Appl. Opt. 26, 4391–4399 (1987). [CrossRef]
D. A. B. Miller, “Communicating with waves between volumes—evaluating orthogonal spatial channels and limits on coupling strengths,” Appl. Opt. 39, 1681–1699 (2000). [CrossRef]

IEEE J. Quantum Electron.

N.-N. Feng, M. L. Brongersma, and L. Dal Negro, “Metal-dielectric slot-waveguide structures for the propagation of surface plasmon polaritons at 1.55 μm,” IEEE J. Quantum Electron. 43, 479–485 (2007). [CrossRef]

IEEE J. Sel. Areas Commun.

B. Momeni and A. Abidi, “Systematic design of superprism-based photonic crystal demultiplexers,” IEEE J. Sel. Areas Commun. 23, 1355–1364 (2005). [CrossRef]

IEEE J. Sel. Top. Quantum Electron.

Z. Yu and S. H. Fan, “Integrated nonmagnetic optical isolators based on photonic transitions,” IEEE J. Sel. Top. Quantum Electron. 16, 459–466 (2010). [CrossRef]

IEEE Photon. Technol. Lett.

R. Chen, H. Chin, D. A. B. Miller, K. Ma, and J. S. Harris, “MSM-based integrated CMOS wavelength-tunable optical receiver,” IEEE Photon. Technol. Lett. 17, 1271–1273 (2005). [CrossRef]
B. E. Little, J. S. Foresi, G. Steinmeyer, E. R. Thoen, S. T. Chu, H. A. Haus, E. P. Ippen, L. C. Kimerling, and W. Greene, “Ultra-compact Si-SiO2 microring resonator optical channel dropping filters,” IEEE Photon. Technol. Lett. 10, 549–551 (1998). [CrossRef]

IEEE Trans. Antennas Propag.

M. A. Jensen and J. W. Wallace, “Capacity of the continuous-space electromagnetic channel,” IEEE Trans. Antennas Propag. 56, 524–531 (2008). [CrossRef]

IEEE Trans. Inf. Theory

R. Somaraju and J. Trumpf, “Degrees of freedom of a communication channel: using DOF singular values,” IEEE Trans. Inf. Theory 56, 1560–1573 (2010). [CrossRef]
R. L. Konsbruck, E. Telatar, and M. Vetterli, “On sampling and coding for distributed acoustic sensing,” IEEE Trans. Inf. Theory 58, 3198–3214 (2012). [CrossRef]

J. Lightwave Technol.

R. Chen, J. Fu, D. A. B. Miller, and J. S. Harris, “Design and analysis of CMOS-controlled tunable photodetectors for multiwavelength discrimination,” J. Lightwave Technol. 27, 5451–5460 (2009). [CrossRef]
G. Veronis and S. H. Fan, “Modes of subwavelength plasmonic slot waveguides,” J. Lightwave Technol. 25, 2511–2521 (2007). [CrossRef]
R. Ryf, S. Randel, A. H. Gnauck, C. Bolle, A. Sierra, S. Mumtaz, M. Esmaeelpour, E. C. Burrows, R.-J. Essiambre, P. J. Winzer, D. W. Peckham, A. H. McCurdy, and R. Lingle, “Mode-division multiplexing over 96 km of few-mode fiber using coherent 6×6 MIMO processing,” J. Lightwave Technol. 30, 521–531 (2012). [CrossRef]
R. S. Tucker, P.-C. Ku, and C. J. Chang-Hasnain, “Slow-light optical buffers: capabilities and fundamental limitations,” J. Lightwave Technol. 23, 4046–4066 (2005). [CrossRef]

J. Modern Opt.

R. Zengerle, “Light propagation in singly and doubly periodic planar waveguides,” J. Modern Opt. 34, 1589–1617 (1987). [CrossRef]

J. Opt. A

A. Thaning, P. Martinsson, M. Karelin, and A. T. Friberg, “Limits of diffractive optics by communication modes,” J. Opt. A 5, 153–158 (2003). [CrossRef]

J. Opt. Soc. Am. A

R. Piestun and D. A. B. Miller, “Electromagnetic degrees of freedom of an optical system,” J. Opt. Soc. Am. A 17, 892–902 (2000). [CrossRef]

J. Opt. Soc. Am. B

D. A. B. Miller, “Fundamental limit for optical components,” J. Opt. Soc. Am. B 24, A1–A18 (2007). [CrossRef]

Nano Lett.

T. Tanemura, K. C. Balram, D.-S. Ly-Gagnon, P. Wahl, J. S. White, M. L. Brongersma, and D. A. B. Miller, “Multiple-wavelength focusing of surface plasmons with a nonperiodic nanoslit coupler,” Nano Lett. 11, 2693–2698 (2011). [CrossRef]

Nanophotonics

D.-S. Ly-Gagnon, K. C. Balram, J. S. White, P. Wahl, M. L. Brongersma, and D. A. B. Miller, “Routing and photodetection in subwavelength plasmonic slot waveguides,” Nanophotonics 1, 9–16 (2012). [CrossRef]

Nat. Mater.

H. Chen, C. T. Chan, and P. Sheng, “Transformation optics and metamaterials,” Nat. Mater. 9, 387–396 (2010). [CrossRef]

Nat. Photonics

V. M. Shalaev, “Optical negative-index metamaterials,” Nat. Photonics 1, 41–48 (2007). [CrossRef]
L. Tang, S. E. Kocabas, S. Latif, A. K. Okyay, D.-S. Ly-Gagnon, K. C. Saraswat, and D. A. B. Miller, “Nanometre-scale germanium photodetector enhanced by a near-infrared dipole antenna,” Nat. Photonics 2, 226–229 (2008). [CrossRef]
L. Novotny and N. van Hulst, “Antennas for light,” Nat. Photonics 5, 83–90 (2011). [CrossRef]

Nature

W. L. Barnes, A. Dereux, and T. W. Ebbesen, “Surface plasmon subwavelength optics,” Nature 424, 824–830 (2003). [CrossRef]
J. D. Joannopoulos, P. R. Villeneuve, and S. H. Fan, “Photonic crystals: putting a new twist on light,” Nature 386, 143–149 (1997). [CrossRef]

New J. Phys.

M. P. J. Lavery, A. Dudley, A. Forbes, J. Courtial, and M. J. Padgett, “Robust interferometer for the routing of light beams carrying orbital angular momentum,” New J. Phys. 13, 093014 (2011). [CrossRef]

Opt. Commun.

H. Dammann and K. Gortler, “High-efficiency in-line multiple imaging by means of multiple phase holograms,” Opt. Commun. 3, 312–315 (1971). [CrossRef]

Opt. Express

T. Su, R. P. Scott, S. S. Djordjevic, N. K. Fontaine, D. J. Geisler, X. Cai, and S. J. B. Yoo, “Demonstration of free space coherent optical communication using integrated silicon photonic orbital angular momentum devices,” Opt. Express 20, 9396–9402 (2012). [CrossRef]
B. Zhu, T. F. Taunay, M. Fishteyn, X. Liu, S. Chandrasekhar, M. F. Yan, J. M. Fini, E. M. Monberg, and F. V. Dimarcello, “112 Tb/s space-division multiplexed DWDM transmission with 14 b/s/Hz aggregate spectral efficiency over a 76.8 km seven-core fiber,” Opt. Express 19, 16665–16671 (2011). [CrossRef]
D. A. B. Miller, “All linear optical devices are mode converters,” Opt. Express 20, 23985–23993 (2012). [CrossRef]
P. M. Krummrich, “Optical amplification and optical filter based signal processing for cost and energy efficient spatial multiplexing,” Opt. Express 19, 16636–16652 (2011). [CrossRef]

Opt. Lett.

M. Gerken and D. A. B. Miller, “The relationship between the superprism effect in one-dimensional photonic crystals and spatial dispersion in nonperiodic thin-film stacks,” Opt. Lett. 30, 2475–2477 (2005). [CrossRef]
Y. Jiao, S. H. Fan, and D. A. B. Miller, “Demonstration of systematic photonic crystal device design and optimization By low rank adjustments: an extremely compact mode separator,” Opt. Lett. 30, 141–143 (2005). [CrossRef]
V. Liu, Y. Jiao, D. A. B. Miller, and S. Fan, “Design methodology for compact photonic-crystal-based wavelength division multiplexers,” Opt. Lett. 36, 591–593 (2011). [CrossRef]
G. A. Rakuljic, V. Leyva, and A. Yariv, “Optical data storage by using orthogonal wavelength-multiplexed volume holograms,” Opt. Lett. 17, 1471–1473 (1992). [CrossRef]
A. Burvall, P. Martinsson, and A. T. Friberg, “Communication modes in large-aperture approximation,” Opt. Lett. 32, 611–613 (2007). [CrossRef]

Phys. Rev. B

H. Kosaka, T. Kawashima, K. Tomita, M. Notomi, T. Tamamura, T. Sato, and S. Kawakami, “Superprism phenomena in photonic crystals,” Phys. Rev. B 58, R10096 (1998). [CrossRef]
J. A. Dionne, L. A. Sweatlock, H. A. Atwater, and A. Polman, “Plasmon slot waveguides: towards chip-scale propagation with subwavelength-scale localization,” Phys. Rev. B 73, 035407 (2006). [CrossRef]

Phys. Rev. Lett.

D. A. B. Miller, “Fundamental limit to linear one-dimensional slow light structures,” Phys. Rev. Lett. 99, 203903 (2007). [CrossRef]
P. J. Schuck, D. P. Fromm, A. Sundaramurthy, G. S. Kino, and W. E. Moerner, “Improving the mismatch between light and nanoscale objects with gold bowtie nanoantennas,” Phys. Rev. Lett. 94, 017402 (2005). [CrossRef]

Proc. IEEE

D. A. B. Miller, “Device requirements for optical interconnects to silicon chips,” Proc. IEEE 97, 1166–1185 (2009). [CrossRef]
E. Ip, P. Ji, E. Mateo, Y.-K. Huang, L. Xu, D. Qian, N. Bai, and T. Wang, “100 G and beyond transmission technologies for evolving optical networks and relevant physical-layer issues,” Proc. IEEE 100, 1065–1078 (2012). [CrossRef]
L. Hesselink, S. S. Orlov, and M. C. Bashaw, “Holographic data storage systems,” Proc. IEEE 92, 1231–1280 (2004). [CrossRef]
R. Piestun and J. Shamir, “Synthesis of three-dimensional light fields and applications,” Proc. IEEE 90, 222–244 (2002). [CrossRef]

Rev. Sci. Instrum.

A. M. Weiner, “Femtosecond pulse shaping using spatial light modulators,” Rev. Sci. Instrum. 71, 1929–1960 (2000). [CrossRef]

Science

N. I. Zheludev, “The road ahead for metamaterials,” Science 328, 582–583 (2010). [CrossRef]
M. L. Brongersma and V. M. Shalaev, “The case for plasmonics,” Science 328, 440–441 (2010). [CrossRef]

Other

D. A. B. Miller, “Self-aligning universal beam coupler,” Opt. Express (to be published).
D. A. B. Miller, “Self-configuring universal linear optical component,” Photon. Res. (to be published).
T. Tanemura, University of Tokyo, Information Devices Laboratory, 4-6-1 Komaba, Meguro-ku, Tokyo, Japan (personal communication, 2012).
J. W. Goodman, Introduction to Fourier Optics, 3rd ed.(Roberts & Co., 2005).
M. Georgas, J. Leu, B. Moss, C. Sun, and V. Stojanovic, “Addressing link-level design tradeoffs for integrated photonics interconnects,” in Proceedings of Custom Integrated Circuits Conference (CICC) (IEEE, 2011), pp. 1–8.
D. A. B. Miller, Quantum Mechanics for Scientists and Engineers (Cambridge University, 2008).

2012, Ly-Gagnon, Nanophotonics
2012, Su, Opt. Express
2012, Ip, Proc. IEEE
2012, Ryf, J. Lightwave Technol.
2012, Miller, Opt. Express
2012, Konsbruck, IEEE Trans. Inf. Theory
2011, Tanemura, Nano Lett.
2011, Krummrich, Opt. Express
2011, Zhu, Opt. Express
2011, Liu, Opt. Lett.
2011, Lavery, New J. Phys.
2011, Novotny, Nat. Photonics
2010, Zheludev, Science
2010, Chen, Nat. Mater.
2010, Brongersma, Science
2010, Yu, IEEE J. Sel. Top. Quantum Electron.
2010, Somaraju, IEEE Trans. Inf. Theory
2009, Chen, J. Lightwave Technol.
2009, Miller, Proc. IEEE
2008, Tang, Nat. Photonics
2008, Jensen, IEEE Trans. Antennas Propag.
2007, Burvall, Opt. Lett.
2007, Feng, IEEE J. Quantum Electron.
2007, Shalaev, Nat. Photonics
2007, Veronis, J. Lightwave Technol.
2007, Miller, J. Opt. Soc. Am. B
2007, Miller, Phys. Rev. Lett.
2006, Dionne, Phys. Rev. B
2005, Gerken, Appl. Opt.
2005, Jiao, Opt. Lett.
2005, Schuck, Phys. Rev. Lett.
2005, Tucker, J. Lightwave Technol.
2005, Gerken, Opt. Lett.
2005, Chen, IEEE Photon. Technol. Lett.
2005, Momeni, IEEE J. Sel. Areas Commun.
2004, Hesselink, Proc. IEEE
2003, Thaning, J. Opt. A
2003, Barnes, Nature
2003, Gerken, Appl. Opt.
2002, Piestun, Proc. IEEE
2000, Miller, Appl. Opt.
2000, Piestun, J. Opt. Soc. Am. A
2000, Weiner, Rev. Sci. Instrum.
1998, Little, IEEE Photon. Technol. Lett.
1998, Kosaka, Phys. Rev. B
1997, Joannopoulos, Nature
1992, Rakuljic, Opt. Lett.
1987, Leger, Appl. Opt.
1987, Zengerle, J. Modern Opt.
1971, Dammann, Opt. Commun.

Cited By

Alert me when this paper is cited

OSA is able to provide readers links to articles that cite this paper by participating in CrossRef's Cited-By Linking service. CrossRef includes content from more than 3000 publishers and societies. In addition to listing OSA journal articles that cite this paper, citing articles from other participating publishers will also be listed.

Click here to see a list of articles that cite this paper

Figures


Fig. 1.	Fig. 2.	Fig. 3.


Fig. 4.	Fig. 5.

« Previous Article | Next Article »

OSA is a member of CrossRef.

Select a Conference
Session or Paper #
Year

OpticsInfoBase

Journal of the Optical Society of America A

| OPTICS, IMAGE SCIENCE, AND VISION

How complicated must an optical component be?

Article Tools

Article Navigation

Abstract

1. INTRODUCTION

2. DESIGN COMPLEXITY

A. Inherent Functionality

B. Externalizing Functionality

3. MATHEMATICAL PRELIMINARIES

4. DEVICE COMPLEXITY

A. Maximally Connected and Maximally Functional Devices and Mode-Coupling Number

1. Maximally Connected Devices and Mode-Coupling Number

2. Maximally Functional Device

B. Maximally Connected, Maximally Functional Device

C. Submaximally Connected Device Example—Single-Mode Converter

D. General Maximally Functional Device

E. Neglecting Output Phase for a Maximally Functional Device

F. Multiple Spatial Mode Converter Example

G. Maximally Connected Devices with Submaximal Functionality—“Mask-Based” Devices

1. Counting Parameters for Mask-Based Devices

2. Limitations of Mask-Based Devices

3. Matched Filter Implementation of Single-Mode Converter

4. Mask-Based Devices and Phase

5. Frequency-Domain Mask-Based Devices—Fixed Single-Mode Filters

H. Wavelength Demultiplexer Examples

1. Multicasting Wavelength Channels

2. Routing Wavelength Channels

3. General Wavelength Demultiplexing Example

4. Simple Demultiplexer

5. CONCLUSIONS

Appendices

APPENDIX A: COUNTING THE NUMBER OF INPUT AND OUTPUT MODES

1. Transmitting and Receiving Spaces

2. Communications Modes

3. Counting Communications Modes

ACKNOWLEDGMENTS

REFERENCES

References

Appl. Opt.

IEEE J. Quantum Electron.

IEEE J. Sel. Areas Commun.

IEEE J. Sel. Top. Quantum Electron.

IEEE Photon. Technol. Lett.

IEEE Trans. Antennas Propag.

IEEE Trans. Inf. Theory

J. Lightwave Technol.

J. Modern Opt.

J. Opt. A

J. Opt. Soc. Am. A

J. Opt. Soc. Am. B

Nano Lett.

Nanophotonics

Nat. Mater.

Nat. Photonics

Nature

New J. Phys.

Opt. Commun.

Opt. Express

Opt. Lett.

Phys. Rev. B

Phys. Rev. Lett.

Proc. IEEE

Rev. Sci. Instrum.

Science

Other

Cited By

Figures