Source-linked AI summary
All linear optical devices are mode converters
David A. B. Miller
TL;DR
The paper seeks a simple framework for understanding how optical devices can be designed and what limits they face. It uses singular value decomposition to describe linear devices as mode converters, then applies that description to coupler alignment and lossless mode combination.
Problem
The paper seeks a clear mathematical approach for designing optical devices and understanding limits on what devices can be made.
Source: §1 · p. 1Method
The paper uses singular value decomposition to identify orthogonal input and output modes paired by a linear optical device.
Source: §1 · p. 1, §2.3 · p. 3Results
Every linear optical device has a mode-converter description; the framework also gives an alignment-tolerance expression and proves lossless combination of orthogonal modes into one is impossible.
Source: §1 · p. 1, §3 · p. 3, §3.2 · p. 4Takeaways & Limitations
The approach provides a way to derive device-design expressions and prove limits for linear optical components.
Source: §1 · p. 1, §4 · p. 5The decomposition is established for a broad range of operators considered to include essentially all those of practical interest.
Source: §2.3 · p. 3
Abstract
from arXiv · showhide
We show that every linear optical component can be completely described as a device that converts one set of orthogonal input modes, one by one, to a matching set of orthogonal output modes. This result holds for any linear optical structure with any specific variation in space and/or time of its structure. There are therefore preferred orthogonal "mode converter" basis sets of input and output functions for describing any linear optical device, in terms of which the device can be described by a simple diagonal operator. This result should help us understand what linear optical devices we can and cannot make. As illustrations, we use this approach to derive a general expression for the alignment tolerance of an efficient mode coupler and to prove that loss-less combining of orthogonal modes is impossible.
1. Introduction
The paper seeks a clear mathematical approach to designing optical devices and understanding their limits. It shows that every linear optical device can be described as a mode converter and illustrates the result with coupler-alignment and lossless-combination results.
1. Introduction
- A clear mathematical framework is sought to guide optical-device design and clarify which devices can be made.The motivation includes growing nanophotonic fabrication capabilities and interest in devices for specific input-to-output conversions.Source: §1 · p. 1
- Every linear optical device can be described as converting specific orthogonal input modes, one by one, to corresponding orthogonal output modes.These mode-converter bases describe everything the device can do.Source: §1 · p. 1
- The framework yields a general alignment-tolerance expression for efficient mode couplers and proves lossless combination of two orthogonal modes into one impossible.The paper presents these as illustrations of how the core result can address device limits and possibilities.Source: §1 · p. 1
2. The mode converter basis set
The device operator maps chosen input functions to output functions, and its singular value decomposition provides orthogonal input and output mode bases. In those bases, the operator is diagonal, giving a mode-converter description for a broad range of optical devices.
2.1 Device operator
- The device operator maps input functions to output functions, and its input and output spaces may differ; it need not be square or unitary.Non-unitarity may reflect device loss or gain, or scattering into modes outside the chosen output space.Source: §2.1 · pp. 1–2
- The framework covers devices varying in space or time, with time-dependent properties predetermined rather than dependent on the inputs or outputs.The paper's use of modes includes spatial forms, pulse shapes, and combinations of spatial and temporal variation.Source: §2.1 · p. 2
2.2 Example optical systems
- The examples range from surface-to-surface optics and waveguide coupling to temporal filtering or dispersion compensation and coupling between volumes.Reflective outputs can also be described by using forward-propagating input waves and backward-propagating output waves at the same surface.Source: §2.2 · pp. 2–3
2.3 Singular value decomposition of the device operator
- The decomposition applies to a broad range of operators that the authors take to include essentially all operators of practical interest.The mode sets associated with nonzero singular values span the functions relevant to the device's operation.Source: §2.3 · p. 3
- Singular value decomposition gives orthogonal input and output mode bases with corresponding coupling coefficients, making the device operator diagonal in those bases.The bases are unique up to normalization, phase factors, and orthogonal combinations within degenerate eigenspaces.Source: §2.3 · p. 3
3. Derivation of example results
The section applies the mode-converter basis to derive a misalignment-efficiency result for ideal couplers and to rule out lossless combination of orthogonal modes into one output. It assumes lossless, 100%-efficient coupling for the coupler analysis and no amplification for the combination result.
3.1 Mathematical preliminaries
- The coupler analysis assumes a lossless device with no amplification and a mode pair whose singular value has unit magnitude for 100% efficiency.If the maximum-singular-value pair is degenerate, an orthogonal combination can be chosen to match the modes of interest.Source: §3.1 · p. 4
3.2 Limit to the alignment tolerance of high-efficiency mode couplers
- For a perfectly aligned, 100%-efficient coupler, misaligned-input coupling efficiency is the squared overlap with the ideal input mode and is the maximum possible at each displacement.For a displaced beam, the overlap depends on the input beam shape, not the waveguide size.Source: §3.2 · p. 4
3.3 Proof of impossibility of loss-less beam combination of multiple modes
- Without amplification, a linear optical component cannot losslessly couple two orthogonal input modes into one output mode.The mode-converter basis sends the extra orthogonal input only to other orthogonal outputs or to no output; the proof is independent of the Second Law.Source: §3.3 · p. 5
4. Conclusions
Any linear optical component can be represented by paired orthogonal input and output mode bases, with one-to-one coupling. The paper uses this framework to derive coupler alignment tolerance and prove a limit on lossless mode combination.
4. Conclusions
- Every linear optical component has orthogonal input and output mode bases that couple one by one, even when the component varies in space or time.Here, modes include both spatial beam forms and pulse shapes.Source: §4 · p. 5
- The framework yields a general alignment-tolerance formula for any 100%-efficient mode coupler and rules out lossless combination of multiple modes into one.The impossibility proof does not rely on the Second Law of Thermodynamics.Source: §4 · p. 5
- The authors expect the approach may enable other proofs and methods for linear optical components.Source: §4 · p. 5
Appendix A – Notation and Hilbert spaces
The appendix sets notation for general field functions and their input and output spaces, then states how inner products encode orthogonality and can represent power or energy.
Appendix A – Notation and Hilbert spaces
- Dirac notation represents general field functions, while sans serif uppercase letters denote linear operators.The fields may include spatially varying monochromatic waves, vector fields, pulsed fields, or fields with other attributes such as spin.Source: Appendix A · p. 5
- An inner product defines orthogonality: two nonzero functions are orthogonal when their inner product is zero.The inner product of a function with itself can be chosen to represent input or output power or energy.Source: Appendix A · p. 5
- The input and output function spaces need not be disjoint, although the paper usually treats them as disjoint.Source: Appendix A · pp. 5–6
Appendix B – Conditions for and properties of singular value decomposition
The appendix describes when singular value decomposition applies and the sense in which its nonzero-singular-value modes form complete orthogonal sets.
Appendix B – Conditions for and properties of singular value decomposition
- A bounded operator restricted to finitely many input and output modes is finite-rank and therefore compact, so singular value decomposition is possible.Source: Appendix B · p. 6
- Compactness covers many wave operators, including Hilbert-Schmidt operators, and supports numerical singular value decomposition when sufficiently large bases give accurate answers.The appendix notes that Green-function operators may qualify even when their Green functions are unbounded.Source: Appendix B · p. 6
- The singular-function sets are complete in the paper's specified sense when restricted to nonzero singular values; zero-value modes correspond to inputs with no output or outputs no input can generate.For finite-rank operators, the relevant eigenfunction sets are orthogonal and complete in their respective spaces.Source: Appendix B · p. 6