Skip to content

METHODS / REPRESENTATIONS / TRADEOFFS

Optical modelling methods

Compare 23 approaches by physical assumptions, representation, outputs and computational cost. Which one is best? The annoyingly correct answer is still “it depends.”

01 / Field

Geometry, boundary conditions, modes and propagation.

02 / Source

Emitters, carriers, gain, spin and material dynamics.

03 / Statistics

Which quantities are coherent, averaged or correlated?

04 / Objective

What is measured, optimized and independently checked?

START WITH THE PHYSICAL QUESTION

Side-by-side comparison

Start with a driven field solve. RCWA exploits the layered periodic geometry; FEM and FDTD offer independent discretizations for verification.

Choose your own methods 3 / 3 selected
Select up to three. Deselect one to make room for another.

Field solver

RCWA / Fourier modal method

What does a periodic layered structure reflect, transmit or absorb?

Representation
Spatial Fourier harmonics in-plane; modal or matrix propagation through layers; scattering matrices at interfaces.
Outputs
Complex scattering amplitudes, diffraction orders, spectra and reconstructed fields.
Best fit
Natural fit for periodic gratings and multilayers. Layer solutions can be reused for many excitations.
Cost drivers
Dense layer algebra is often roughly cubic in retained harmonic count; memory is roughly quadratic. Geometry and formulation matter.
Watch out for
Finite arrays require extensions. Sharp interfaces, metallic media and near fields can converge slowly. Gain dynamics is a separate model.
How to check it
Increase Fourier orders and longitudinal slices separately. Check target fields or spectra, not only power balance.

Field solver

Finite-element method

What happens in a finite cavity with realistic geometry and material tensors?

Representation
Vector fields on a geometry-conforming mesh, usually with open or Bloch-periodic boundary conditions.
Outputs
Driven fields, complex eigenfrequencies, modal loss and overlap integrals.
Best fit
Flexible shapes, local refinement, finite apertures and anisotropic materials. Works naturally with other mesh-based physics.
Cost drivers
Sparse systems grow with volume, mesh density and element order. Direct factorization can become memory-intensive in 3D.
Watch out for
A cold-cavity eigensolve does not predict saturated laser output. Poor boundary layers or meshes can create spurious resonances.
How to check it
Refine mesh/order; vary absorbing boundaries and computational domain; inspect mode identity and residuals.

Field solver

Finite-difference time-domain

How does a pulse or time-dependent field evolve through a structure?

Representation
Electric and magnetic fields stepped on a spatial grid; additional equations describe dispersive or active material response.
Outputs
Time traces, broadband spectra, field distributions and fluxes.
Best fit
Broadband excitation and explicit transients. Flexible coupling to nonlinear and gain equations.
Cost drivers
Work scales with grid cells × timesteps; resolving optical cycles and long device times together can be expensive.
Watch out for
Small features limit the timestep. High-Q decay and slow carrier dynamics may require long runs. Gain must have a physical time-domain model.
How to check it
Vary spatial step, run duration and absorbing boundaries; converge dispersion fits and source normalization.

SOME IMPORTANT NON-EQUIVALENCES

Compare the same physical problem.

These distinctions prevent a faster calculation from silently becoming a different experiment.
Do not conflateWhy it mattersRead next
Cold-cavity Q / laser outputA long-lived passive mode does not specify gain saturation or useful extraction above threshold.Laser-aware inverse design
Periodic structure / periodic sourceRepeating one dipole coherently creates a different source from an isolated emitter in a periodic lattice.Brillouin-zone integration
Spatial incoherence / thick-layer decoherenceIndependent emitters and lost propagation phase need different correlations. Degenerate channels may remain coherent.Incoherent periodic optics
Optical phase animation / a time-domain solveAdvancing the phase of a monochromatic field does not simulate a pulse arriving or carriers relaxing.The browser field experiment
Conservation / convergenceA truncated model can conserve power while its target field, resonance or diffraction order remains inaccurate.Fourier interface rules
Optical spin injection / electrical spin injectionA polarized optical pump does not establish a spin-polarized electrical injector.Commercial-VCSEL experiment

THE COMPLETE GUIDE

Method reference

Costs are qualitative drivers, not a benchmark ranking. Each reading note is labelled by how it relates to the method; the labels are editorial. Foundational literature is in the history section below.

Field solver

Transfer / scattering matricesHow does a plane wave or embedded source interact with a planar multilayer?
Representation
Forward/backward waves and interface matching; 4×4 vector formulations retain general polarization coupling in anisotropic layers.
Outputs
Reflection/transmission, phase, cavity resonances and, with source terms, planar dipole emission.
Strengths
Compact and fast for DBRs, films and planar cavity stacks. Useful analytical limits for larger solvers.
Limits
No lateral patterning without a Fourier or spatial extension. Raw transfer-matrix products can become unstable with thick evanescent layers.
Cost drivers
Small matrices per layer and excitation; stable scattering composition retains efficiency for large stacks.
Verification
Check interface conventions, mode branches and flux normalization; compare simple stacks with Fresnel and Airy limits.

Reading notes

Foundations

Abelès 1950 · Berreman 1972 · Yeh 1979 · Ko & Inkson 1988 · Li 1996
Foundations and history ↓

Often combined with

Angular spectrum / beam propagationHow does a finite beam propagate or couple into an optical structure?
Representation
Angular spectrum superposes plane waves; beam-propagation methods evolve an envelope under stated propagation approximations.
Outputs
Beam spreading, focusing, transmitted/reflected beam fields and mode overlap.
Strengths
Efficient free-space or slowly varying propagation. Angular spectra can reuse a grating solver at sampled incident wavevectors.
Limits
A paraxial BPM is not a rigorous solver for arbitrary strong backreflection. Monochromatic angular superposition does not simulate a pulse arriving.
Cost drivers
FFT propagation or a set of angular samples; coupling to RCWA requires one response per sampled lateral wavevector.
Verification
Converge transverse window, spatial sampling and angular quadrature; verify paraxial or one-way assumptions for any envelope model.

Reading notes

Foundations

Goodman 2017 · Feit & Fleck 1978 · Hadley 1992
Foundations and history ↓

Often combined with

TU Delft angular-spectrum notes documentation ↗

RCWA / Fourier modal methodWhat does a periodic layered structure reflect, transmit or absorb?
Representation
Spatial Fourier harmonics in-plane; modal or matrix propagation through layers; scattering matrices at interfaces.
Outputs
Complex scattering amplitudes, diffraction orders, spectra and reconstructed fields.
Strengths
Natural fit for periodic gratings and multilayers. Layer solutions can be reused for many excitations.
Limits
Finite arrays require extensions. Sharp interfaces, metallic media and near fields can converge slowly. Gain dynamics is a separate model.
Cost drivers
Dense layer algebra is often roughly cubic in retained harmonic count; memory is roughly quadratic. Geometry and formulation matter.
Verification
Increase Fourier orders and longitudinal slices separately. Check target fields or spectra, not only power balance.

Reading notes

Foundations

Knop 1978 · Moharam & Gaylord 1981 · Li 1996 · Li 2014
Foundations and history ↓

Often combined with

FMMAX documentation ↗

Finite-element methodWhat happens in a finite cavity with realistic geometry and material tensors?
Representation
Vector fields on a geometry-conforming mesh, usually with open or Bloch-periodic boundary conditions.
Outputs
Driven fields, complex eigenfrequencies, modal loss and overlap integrals.
Strengths
Flexible shapes, local refinement, finite apertures and anisotropic materials. Works naturally with other mesh-based physics.
Limits
A cold-cavity eigensolve does not predict saturated laser output. Poor boundary layers or meshes can create spurious resonances.
Cost drivers
Sparse systems grow with volume, mesh density and element order. Direct factorization can become memory-intensive in 3D.
Verification
Refine mesh/order; vary absorbing boundaries and computational domain; inspect mode identity and residuals.
Finite-difference time-domainHow does a pulse or time-dependent field evolve through a structure?
Representation
Electric and magnetic fields stepped on a spatial grid; additional equations describe dispersive or active material response.
Outputs
Time traces, broadband spectra, field distributions and fluxes.
Strengths
Broadband excitation and explicit transients. Flexible coupling to nonlinear and gain equations.
Limits
Small features limit the timestep. High-Q decay and slow carrier dynamics may require long runs. Gain must have a physical time-domain model.
Cost drivers
Work scales with grid cells × timesteps; resolving optical cycles and long device times together can be expensive.
Verification
Vary spatial step, run duration and absorbing boundaries; converge dispersion fits and source normalization.

Reading notes

Foundations

Yee 1966 · Taflove 1980 · Berenger 1994 · Oskooi et al. 2010
Foundations and history ↓

Often combined with

Meep documentation ↗

Plane-wave expansionWhich Bloch modes and band gaps exist in a periodic medium?
Representation
Periodic Maxwell eigenproblem in a plane-wave basis at each Bloch wavevector.
Outputs
Band dispersion, mode profiles and symmetry information.
Strengths
Clear route to bulk photonic band structures and parameter studies.
Limits
A band diagram is not a finite-device transmission calculation. Open, lossy and dispersive problems require suitable extensions.
Cost drivers
Repeated eigenproblems over wavevectors and basis size; iterative eigensolvers can target only relevant bands.
Verification
Increase basis/resolution and sample wavevector paths adequately. A high-symmetry path can miss off-path extrema.

Reading notes

Foundations

Ho et al. 1990 · Leung & Liu 1990 · Zhang & Satpathy 1990 · Johnson & Joannopoulos 2001
Foundations and history ↓

Often combined with

MIT Photonic Bands documentation ↗

Guided-mode expansionWhat are the bands and radiation losses of a patterned waveguide slab?
Representation
Modes of a reference multilayer waveguide provide the basis for the patterned structure.
Outputs
Slab bands, fields, radiative loss and, with extensions, exciton–polariton modes.
Strengths
Compact basis for slab physics; useful for high-Q mode design and differentiable band engineering.
Limits
Radiation is treated through model-specific approximations. Strong leakage and unusual material response need extra care.
Cost drivers
Depends on retained plane waves and guided modes; often compact for appropriate slabs.
Verification
Increase both in-plane basis and guided-mode count; cross-check radiative Q with a full-wave open-cavity solver.

Reading notes

Foundations

Andreani & Gerace 2006 · Zanotti et al. 2024
Foundations and history ↓

Often combined with

Legume documentation ↗

Multipole / T-matrix scatteringHow do particles or particle lattices scatter and interact?
Representation
Each object maps incident multipoles to scattered multipoles; translations and lattice sums couple objects.
Outputs
Particle and array scattering, collective resonances, fields and polarization response.
Strengths
Reusable single-particle solutions; natural for spheres, cylinders, clusters and lattices.
Limits
Arbitrary particles may need a separate numerical solver. Near contacts can require many multipoles.
Cost drivers
Set by multipole order, particle count and lattice-sum convergence; repeated particle types can save work.
Verification
Increase multipole order; converge lattice sums and any underlying particle solve.
Floquet / time-periodic modelsHow does periodic temporal modulation mix frequencies and exchange energy with light?
Representation
Temporal harmonics or a one-period evolution operator; can be combined with spatial Bloch expansions.
Outputs
Sidebands, quasifrequencies, momentum gaps and parametric growth/decay.
Strengths
Natural framework for time crystals and periodically driven materials.
Limits
Instantaneous constitutive laws can be misleading in rapidly modulated dispersive media. Pump energy must be included in the interpretation.
Cost drivers
Grows with temporal sidebands and spatial basis; direct time-domain calculation is a useful independent check.
Verification
Increase sideband count and timestep resolution; validate modulation and dispersion models.

Reading notes

Foundations

Galiffi et al. 2022
Foundations and history ↓

Often combined with

Source & dynamics

Rate equations / spin-flip modelHow do carrier populations and competing polarizations evolve?
Representation
Coupled optical amplitudes or photon populations and carrier equations; spin-flip models resolve spin imbalance and polarization coupling.
Outputs
Steady states, switching, oscillations, locking and stability boundaries.
Strengths
Fast dynamical scans; interpretable parameters for birefringence, gain anisotropy, spin relaxation and injection.
Limits
Few-mode and spatially averaged approximations may miss transverse patterns, heating and spatial hole burning. Parameters require evidence.
Cost drivers
Small ODE systems are inexpensive; delays, stochastic noise and spatial extensions add cost.
Verification
Check timestep, integration duration, initial conditions and stability. Calibrate gain, lifetimes and anisotropy.

Reading notes

Foundations

Miguel et al. 1995
Foundations and history ↓

Often combined with

Maxwell–Bloch dynamicsHow do the optical field, material polarization and inversion evolve together?
Representation
Maxwell equations coupled to polarization and population equations for a specified gain model.
Outputs
Lasing transients, saturation, coherent material response and spatial dynamics.
Strengths
Retains field–material feedback that is eliminated in simpler rate equations.
Limits
A generic two-level model is not a microscopic semiconductor gain theory. Relaxation and quantum-noise assumptions remain explicit.
Cost drivers
Potentially large field grids and widely separated timescales; envelope reductions can reduce cost when justified.
Verification
Converge field and temporal resolution; verify material response and the validity of envelope/rotating-wave approximations.
Microscopic semiconductor gainWhere do spin-dependent gain, dispersion and relaxation parameters come from?
Representation
Electronic band models such as k·p, transition matrix elements and carrier distributions; semiconductor Bloch equations add microscopic polarization and interactions.
Outputs
Gain/absorption spectra, selection rules, refractive response and spin-dependent parameters.
Strengths
Connects material composition, strain and carrier populations to optical response.
Limits
Material parameters and many-body approximations constrain accuracy. k·p and semiconductor Bloch theory are complementary, not synonyms.
Cost drivers
Momentum-space sampling, band count and interaction terms can be expensive; results can be tabulated for device models.
Verification
Check band and k-space truncation, scattering approximations and agreement with measured material spectra.
SALT / stationary laser theoryWhich nonlinear lasing states exist above threshold?
Representation
Self-consistent frequency-domain laser equations, with saturation and open-cavity boundary conditions.
Outputs
Thresholds, lasing frequencies, modal intensities and spatial hole burning.
Strengths
Avoids simulating every optical cycle to find a stationary lasing state.
Limits
Stationary-inversion assumptions need checking. General switching, chaos and polarization transients need a dynamical treatment.
Cost drivers
Nonlinear field solves; high-Q single-pole reductions can be much cheaper in their validity range.
Verification
Check nonlinear residuals, mode completeness and stability; compare with time-domain dynamics where stationary assumptions are doubtful.

Reading notes

Foundations

Türeci et al. 2006
Foundations and history ↓

Often combined with

Temporal coupled-mode theoryHow do a few resonances exchange energy with each other and external channels?
Representation
A small set of mode amplitudes with frequencies, losses, coupling and optional gain/nonlinearity.
Outputs
Resonant spectra, interference, collective modes and reduced dynamics.
Strengths
Explains mechanisms and supports fast scans of arrays, cavities and feedback systems.
Limits
Couplings must be derived or fitted. Omitted modes, nonresonant backgrounds and frequency dependence can invalidate the reduction.
Cost drivers
Usually small matrix or ODE problems after the parameters have been established.
Verification
Increase retained modes; fit over the intended spectral range; cross-check full-wave and energy constraints.

Reading notes

Foundations

Fan et al. 2003
Foundations and history ↓

Often combined with

Electrical–thermal–optical couplingHow does a powered device change its own gain, index and losses?
Representation
Coupled carrier transport, electrostatics, heat flow and optical equations, with material and contact models.
Outputs
Temperature/current profiles, thermal lensing and operating-point-dependent optical behaviour.
Strengths
Addresses self-heating, current crowding, gain detuning and array interactions.
Limits
Uncertain interface thermal resistance or material data can dominate numerical accuracy. A converged mesh does not fix model error.
Cost drivers
Multiple coupled meshes and iterative operating-point solves; realistic 3D arrays can be demanding.
Verification
Check electrical and thermal balance, coupled iteration residuals, mesh and measured device characteristics.
Green functions / quasinormal modesHow does an open resonator modify emission and couple to quantum matter?
Representation
The electromagnetic Green tensor or an expansion in leaky modes with complex frequencies; quantum extensions add emitter and noise dynamics.
Outputs
Resonant response, emitter coupling, emission-rate changes and reduced cavity descriptions.
Strengths
Connects full-wave geometry to a compact account of open-cavity physics.
Limits
Mode normalization, dispersion, background terms and loss treatment are essential. Classical modes alone do not predict photon statistics.
Cost drivers
Mode extraction can be expensive, followed by cheap evaluations when a few modes suffice.
Verification
Check modal normalization/completeness and compare reconstructed response with direct solves; validate any quantum truncation separately.

Reading notes

Foundations

Lalanne et al. 2018
Foundations and history ↓

Often combined with

Statistical treatment

Coherence / Mueller calculusWhat optical observables remain after averaging over specified phase statistics?
Representation
Covariance/coherency matrices and their propagation; Mueller matrices represent the corresponding Stokes transformations.
Outputs
Ensemble intensities, polarization and depolarization; coherent/incoherent multilayer responses.
Strengths
Can replace expensive phase sampling when the statistical assumptions permit closed matrix sums.
Limits
The assumed correlations are physical inputs. Spatial, temporal and thickness-induced decoherence differ; degenerate channels can remain correlated.
Cost drivers
Covariance dimension can grow quadratically with channel count; structure and degeneracy reductions are valuable.
Verification
Converge the coherent solver first. Check covariance positivity and compare targeted cases with explicit averaging.

Reading notes

Foundations

Postava et al. 2002 · Katsidis & Siapkas 2002
Foundations and history ↓

Often combined with

Brillouin-zone source integrationHow does an isolated emitter radiate inside an otherwise periodic structure?
Representation
Integrates Bloch-periodic source solutions over the Brillouin zone to reconstruct a localized-source response.
Outputs
Localized-source fields and powers; building blocks for incoherent emitter ensembles.
Strengths
Avoids treating an isolated emitter as a coherent periodic array or requiring a huge supercell.
Limits
It does not by itself specify emitter correlations or thick-layer decoherence.
Cost drivers
Many unit-cell solves over k-space, with opportunities for batching and reused layer algebra.
Verification
Increase k-space quadrature and Fourier/mesh resolution independently; resolve resonances in k-space.
Trace / low-rank emissionCan a source ensemble’s output be computed without solving every source separately?
Representation
Combines source correlations and an output operator in a trace; low-rank approximations reduce the required solves.
Outputs
Expected emitted or collected power and optimization objectives.
Strengths
Useful for many incoherent sources and many collection directions.
Limits
Accuracy depends on retained rank and the source/measurement operator. It is not a general substitute for a field solver.
Cost drivers
Dominated by the effective rank and the underlying Maxwell solves rather than simply the number of dipoles.
Verification
Increase retained rank or estimator samples; compare small cases with explicit source sums.

Reading notes

Often combined with

Design & acceleration

Eigendecomposition-free layer methodsCan layered scattering be constructed without computing internal eigenvectors?
Representation
R-DIT expansions, matrix functions or boundary-field cascades. These are distinct algorithms with a shared objective.
Outputs
Layer scattering operators and, where supported, their derivatives.
Strengths
GPU-friendly algebra and potential relief from problematic eigenvector derivatives.
Limits
Not one interchangeable method. Matrix-function branches, expansion order and thick-layer stability still matter.
Cost drivers
Replaces eigensolves with other matrix operations; speedup depends on size, hardware, tolerance and material class.
Verification
Converge expansion/subdivision and Fourier basis; verify gradients against finite differences on selected parameters.
Adjoint / automatic differentiationHow does an objective change when many design parameters change?
Representation
Derivatives of a discretized physical model, through adjoint equations or an automatic-differentiation graph.
Outputs
Gradients for shape, topology or material optimization.
Strengths
Makes high-dimensional design tractable without one finite-difference solve per parameter.
Limits
Optimizes the stated discretized model and objective, including their errors. Local minima and fabrication constraints still matter.
Cost drivers
Depends on objectives, sources and stored intermediates; differentiation does not make the forward solve free.
Verification
Spot-check gradients, refine final designs and enforce physical/fabrication constraints at the intended resolution.

Reading notes

Foundations

Jensen & Sigmund 2011
Foundations and history ↓

Often combined with

Augmented partial factorizationCan a large multichannel scattering problem share its factorization?
Representation
Augments the Maxwell linear system with source and output operators, then computes the needed response through partial factorization.
Outputs
Multichannel scattering responses and, with extensions, design gradients.
Strengths
Avoids repeating much of the algebra for every input channel.
Limits
Benefits depend on sparsity, channel count and requested outputs. It does not choose the physical source model.
Cost drivers
Factorization and memory requirements dominate; advantage is workload-dependent.
Verification
Converge the underlying discretization and linear solve; compare selected channels with direct excitation.

Reading notes

Foundations

Lin et al. 2022
Foundations and history ↓

Often combined with

Learned / generative modelsCan repeated predictions or candidate generation be amortized across a design family?
Representation
A learned map from geometry to response, or from a target response to candidate geometry.
Outputs
Approximate spectra/scattering/cavity properties or proposed designs.
Strengths
Fast inference after training; useful for exploration within a well-covered domain.
Limits
Training data, out-of-distribution inputs and narrow resonances constrain reliability. Hard physical constraints do not imply an accurate solution.
Cost drivers
Training-data generation and training can be substantial; marginal inference is usually cheap.
Verification
Use held-out geometry families, measure physical residuals and verify final candidates with a converged Maxwell model.

Reading notes

Often combined with

Foundations and history

Short histories for the main field solvers, with one entry point for the other families. Each names the problem, a few contributions and later developments, sourced below. Where the sources do not settle who was first, neither does this page. Reading notes linked above are mostly recent work, not the origin of a method.

Transfer / scattering matricesFrom the sum of reflections to stable anisotropic stacks with sources and incoherent layers.

Multilayer films were analysed long before numerical solvers. Lord Rayleigh published one of the first analyses of their optical properties in 1887, and in 1917 used the traditional approach of summing multiple reflections and refractions at each interface (Joannopoulos et al., 2008, pp. 44–45). Matrix methods make that sum systematic. Berreman’s 1972 paper describes the 2 × 2 matrix technique as developed by Jones and by Abelès (Abelès, 1950), credits Teitler and Henvis with a 4 × 4 technique for anisotropic stratified media, and gives a 4 × 4 differential-matrix formulation that also covers media of low optical symmetry and liquid crystals with continuously varying order (Berreman, 1972). Yeh built a 4 × 4 transfer matrix from dynamical and propagation matrices for arbitrarily birefringent layers, including periodic birefringent stacks (Yeh, 1979).

Two later problems shaped the solvers used on this site. With evanescent waves, transfer-matrix products contain growing exponentials. Ko and Inkson presented a scattering-matrix formalism, for electron transmission in semiconductor heterostructures, that stays stable without truncating the growing states (Ko & Inkson, 1988), and Li stated the same requirement for layered gratings (Li, 1996). Computational electromagnetics borrowed transfer, scattering, hybrid and impedance matrices from transmission-line and network theory, and scattering matrices became the dominant choice (Rumpf, 2011, §1). The same layer bookkeeping was extended to dipoles inside the stack through additive source terms (Benisty et al., 1998), and to thick incoherent layers through intensity-based or coherency-matrix sums (Katsidis & Siapkas, 2002)(Postava et al., 2002). The transfer and scattering matrices page works through the matrices themselves.

Angular spectrum / beam propagationA Fourier decomposition of the field, and marching a beam along a guide.

The angular spectrum is the two-dimensional Fourier transform of a field in one plane. Each plane-wave component propagates with its own phase; components with large lateral spatial frequency are evanescent and do not reach the far field (Kalkman, n.d., §3.6). It is a standard section of scalar Fourier optics (Goodman, 2017, §3.10). The 1D grating lab uses this decomposition for its Gaussian beam, with one RCWA solve per sampled angle.

Beam-propagation methods address a different task: following a beam along a waveguide or fibre. Feit and Fleck (1978) described a numerical method for graded-index optical fibres that gave the spatial and angular properties of the propagating beam and the modal propagation constants (Feit & Fleck, 1978). Hadley’s wide-angle formulation replaced the exact scalar Helmholtz propagation operator with Padé approximants, giving accurate propagation beyond 55° from the axis and through materials with very different indices (Hadley, 1992). A preferred direction remains: Joannopoulos et al. advise against BPM for general photonic-crystal structures, because it is restricted to structures that vary slowly in at least one direction (Joannopoulos et al., 2008, p. 255).

RCWA / Fourier modal methodAn old modal idea, a 1981 name and the refinements of the 1990s.

Rayleigh argued in 1907 that gratings with a period comparable to the wavelength need a “dynamical” theory (Rayleigh, 1907). Rigorous solutions for periodic layers were published for sinusoidally stratified volume gratings (Burckhardt, 1966) and for deep rectangular grooves (Knop, 1978). Moharam and Gaylord first used the name rigorous coupled-wave analysis in 1981 (Moharam & Gaylord, 1981). Li points out that RCWA and the Fourier modal method solve the same modal equation in Fourier space, and that the method’s history is as long as that of the classical differential and integral grating methods (Li, 2014, §13.1). So no single inventor is named here.

The refinements that matter most in practice came in the 1990s: a stable formulation for binary gratings (Moharam et al., 1995), the TM reformulations (Lalanne & Morris, 1996)(Granet & Guizal, 1996), Li’s factorization rules, which explain why those converge faster (Li, 1996), the corrected formulation for crossed gratings (Li, 1997), and scattering-matrix treatments of layered and patterned stacks (Li, 1996)(Whittaker & Culshaw, 1999). Longer histories, tied to what each solver implements, are in the 1D grating, 2D lattice and incoherent labs. The reading notes above cover later adaptive, polygon-based, multi-periodic and differentiable variants.

Finite-difference time-domainYee’s staggered grid, absorbing boundaries and free implementations.

Yee (1966) replaced Maxwell’s equations with finite-difference equations on field points chosen so that perfectly conducting boundaries could be handled, and computed the scattering of an electromagnetic pulse by a perfectly conducting cylinder (Yee, 1966). The staggered “Yee” grid and the leap-frog update of E and H, offset by half a time step, remain the core of FDTD codes (Joannopoulos et al., 2008, p. 259)(Oskooi et al., 2010, §2). By 1980 Taflove was calling the approach the finite-difference time-domain (FD-TD) method and used it for sinusoidal steady-state fields penetrating dielectric and conducting bodies (Taflove, 1980).

Open boundaries were the next problem. Berenger published a perfectly matched layer for the absorption of electromagnetic waves in 1994 (Berenger, 1994). A PML is an artificial absorbing material designed so that, in theory, nothing reflects from the edge of the computational region; it was first designed for time-domain methods and the same idea applies in frequency-domain solvers (Joannopoulos et al., 2008, p. 258). Two costs are intrinsic: resolving a sharp spectral feature takes a long simulation, and in 3D the run time grows as the fourth power of resolution because the time step must shrink with the grid (Joannopoulos et al., 2008, p. 260). Meep, a free FDTD implementation, documents the choices it makes beyond the textbook algorithm, such as subpixel averaging and signal processing for resonant modes (Oskooi et al., 2010).

Finite-element methodUnstructured meshes in electromagnetics, and why edge elements mattered.

Finite elements divide space into simple shapes, such as irregular triangles or tetrahedra, and approximate the unknown field on each by a low-degree polynomial (Joannopoulos et al., 2008, p. 254). This summary does not try to settle who originated the method. For electromagnetics, a 1994 NASA report gives a contemporary view: finite elements were widely used in structural and fluid mechanics, electromagnetic applications had mainly been confined to electrical machines and magnetics, and interest in microwave components such as waveguides and antennas had grown over the previous twenty years (Reddy et al., 1994, §1).

The same report names the obstacle for vector problems: spurious, nonphysical solutions with node-based vector elements. Edge elements, which impose only the tangential continuity of the field across element boundaries, avoided them and revived interest in the method (Reddy et al., 1994, §1, §2.2.1). Compared with FDTD on a uniform grid, an unstructured mesh can use very different resolutions in different regions, which helps with metals where micrometre wavelengths meet nanometre skin depths, at the price of software complexity (Joannopoulos et al., 2008, p. 254)(Oskooi et al., 2010, §1).

Plane-wave expansionPhotonic band gaps, the 1990 calculations and iterative eigensolvers.

Joannopoulos et al. trace the first suggestion of a material with a complete three-dimensional photonic band gap to Yablonovitch (1987), who proposed such a structure as a way to forbid spontaneous emission, with a related suggestion by John (1987) about strong localization of photons (Joannopoulos et al., 2008, p. 121)(Yablonovitch, 1987)(John, 1987). It took three more years before a specific structure was correctly predicted to have one (Joannopoulos et al., 2008, p. 96).

Several plane-wave calculations appeared in 1990. Leung and Liu, and Zhang and Satpathy, solved the vector Maxwell equations and found no true gap for face-centred-cubic lattices of spheres; Zhang and Satpathy noted that this contradicted experimental reports and scalar-wave calculations (Leung & Liu, 1990)(Zhang & Satpathy, 1990). Ho, Chan and Soukoulis reached the same fcc result and found a full gap for dielectric spheres in the diamond structure (Ho et al., 1990). Later work concerned efficiency and accuracy: Johnson and Joannopoulos (2001) combined a planewave basis with preconditioned block-iterative eigensolvers, treated anisotropic and magnetic materials, and computed localized defect modes without computing all the underlying bands (Johnson & Joannopoulos, 2001). Their free program MPB computes band structures this way (Joannopoulos et al., 2008, p. 264).

Guided-mode expansionA compact basis for photonic-crystal slabs, and its approximation.

Andreani and Gerace (2006) gave a detailed formulation of the guided-mode expansion. The magnetic field of a patterned slab is expanded in the guided modes of an effective homogeneous waveguide; losses of quasi-guided modes follow from perturbative coupling to leaky modes, the photonic analogue of Fermi’s golden rule. Because the guided modes are not a complete basis, they describe the method as approximate (Andreani & Gerace, 2006, §I). The free legume code implements it with automatic differentiation; its 2024 paper adds exciton–photon coupling in active layers and compares results directly with RCWA (Zanotti et al., 2024).

Multipole / T-matrix scatteringA matrix formulation of scattering, extended to lattices.

Waterman (1965) proposed a matrix formulation for scattering by smooth, perfectly conducting obstacles: coupled matrix equations for the surface current, solved numerically for axially symmetric examples (Waterman, 1965). The treams paper cites that work for the T-matrix method. It describes each scatterer by a T-matrix, so that interactions in clusters and in lattices periodic in one, two or three dimensions can be computed, with Ewald lattice sums for the periodic cases (Beutel et al., 2024, §1).

Other families: one entry point eachWhere to start reading, not a full history.
  • Coherence / Mueller calculus. For thick incoherent layers in multilayers, see Katsidis and Siapkas (Katsidis & Siapkas, 2002) and Postava, Yamaguchi and Kantor (Postava et al., 2002). The incoherent lab continues the history for gratings.
  • Rate equations / spin-flip model. San Miguel, Feng and Moloney (1995) derived vector rate equations from a four-level model with spin sublevels to describe polarization dynamics in surface-emitting lasers (Miguel et al., 1995).
  • Maxwell–Bloch dynamics. Ziolkowski, Arnold and Gogny (1995) solved the semiclassical Maxwell–Bloch system with a finite-difference time-domain method, without the rotating-wave approximation (Ziolkowski et al., 1995).
  • SALT. Türeci, Stone and Collier (2006) wrote the steady-state Maxwell–Bloch equations for open cavities as a self-consistent linear-response problem in a constant-flux basis (Türeci et al., 2006). The 2010 reading note covers its generalization.
  • Temporal coupled-mode theory. Fan, Suh and Joannopoulos (2003) used it for a single resonance coupled to several ports, with the couplings constrained by energy conservation and time-reversal symmetry (Fan et al., 2003).
  • Green functions / quasinormal modes. Lalanne et al. (2018) review quasinormal-mode theory, including its historical background in electromagnetism (Lalanne et al., 2018).
  • Floquet / time-periodic models. Galiffi et al. (2022) review temporal switching, photonic time crystals and spatiotemporal modulation (Galiffi et al., 2022).
  • Adjoint / automatic differentiation. One route into gradient-based photonic design: Jensen and Sigmund (2011) review topology optimization, first developed for mechanical design, with analytical gradients (Jensen & Sigmund, 2011).
  • Augmented partial factorization. Lin, Wang and Hsu (2022) introduced it: the Maxwell operator is augmented with all input and output profiles and partially factorized to give the generalized scattering matrix (Lin et al., 2022).
  • Brillouin-zone integration, trace formulations, eigendecomposition-free layers, microscopic gain and learned models. No separate foundational source is listed. The reading notes in each method entry are the starting points, and their history is not summarized here.
References and further reading

References

  1. Florin Abelès (1950). Recherches sur la propagation des ondes électromagnétiques sinusoïdales dans les milieux stratifiés. Annales de Physique 12(5), 596–640.Library record · Read: Crossref record only (other indexes add the subtitle “Application aux couches minces”); its role taken from Berreman (1972), abstract · Checked 2026-09-13
  2. Lucio Claudio Andreani & Dario Gerace (2006). Photonic-crystal slabs with a triangular lattice of triangular holes investigated using a guided-mode expansion method. Physical Review B 73(23), 235114.Abstract available · open copy · Read: arXiv manuscript (v1): abstract and §I introduction, opening of §II · Checked 2026-09-13
  3. H. Benisty, R. Stanley & M. Mayer (1998). Method of source terms for dipole emission modification in modes of arbitrary planar structures. Journal of the Optical Society of America A 15(5), 1192.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  4. Jean-Pierre Berenger (1994). A perfectly matched layer for the absorption of electromagnetic waves. Journal of Computational Physics 114(2), 185–200.Publisher record; full text may require access · Read: Crossref record only (title-level); abstract not available to this check · Checked 2026-09-13
  5. Dwight W. Berreman (1972). Optics in Stratified and Anisotropic Media: 4×4-Matrix Formulation. Journal of the Optical Society of America 62(4), 502.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  6. Dominik Beutel, Ivan Fernandez-Corbaton & Carsten Rockstuhl (2024). treams – a T-matrix-based scattering code for nanophotonics. Computer Physics Communications 297, 109076.Publisher record; full text may require access · open copy · Read: arXiv manuscript (v1): abstract, program summary, §1 introduction, opening of §2.2, reference [1] · Checked 2026-09-13
  7. C. B. Burckhardt (1966). Diffraction of a plane wave at a sinusoidally stratified dielectric grating. Journal of the Optical Society of America 56(11), 1502–1508.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  8. Shanhui Fan, Wonjoo Suh & J. D. Joannopoulos (2003). Temporal coupled-mode theory for the Fano resonance in optical resonators. Journal of the Optical Society of America A 20(3), 569.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  9. M. D. Feit & J. A. Fleck (1978). Light propagation in graded-index optical fibers. Applied Optics 17(24), 3990.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  10. Emanuele Galiffi, Romain Tirole, Shixiong Yin, Huanan Li, Stefano Vezzoli, Paloma A. Huidobro, Mário G. Silveirinha, Riccardo Sapienza, Andrea Alù & J. B. Pendry (2022). Photonics of time-varying media. Advanced Photonics 4(1), 014002.Open access · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  11. Joseph W. Goodman (2017). Introduction to Fourier Optics. W. H. Freeman / Macmillan Learning, 4th ed.Library record · Read: Publisher record and table of contents (§3.10, The Angular Spectrum of Plane Waves) · Checked 2026-09-13
  12. G. Granet & B. Guizal (1996). Efficient implementation of the coupled-wave method for metallic lamellar gratings in TM polarization. Journal of the Optical Society of America A 13(5), 1019–1023.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  13. G. Ronald Hadley (1992). Wide-angle beam propagation using Padé approximant operators. Optics Letters 17(20), 1426.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  14. K. M. Ho, C. T. Chan & C. M. Soukoulis (1990). Existence of a photonic gap in periodic dielectric structures. Physical Review Letters 65(25), 3152–3155.Abstract available · Read: Crossref record and abstract (OpenAlex copy); historical role from Joannopoulos et al. (2008), p. 96 · Checked 2026-09-13
  15. J. S. Jensen & O. Sigmund (2011). Topology optimization for nano-photonics. Laser & Photonics Reviews 5(2), 308–321 (online 2010).Abstract available · Read: Crossref record and abstract · Checked 2026-09-13
  16. John D. Joannopoulos, Steven G. Johnson, Joshua N. Winn & Robert D. Meade (2008). Photonic Crystals: Molding the Flow of Light. Princeton University Press, 2nd ed.Library record · Read: Authors’ free PDF of the 2nd edition (ab-initio.mit.edu/book): chapter 4 introduction (pp. 44–45), chapter 6 complete-gap history (p. 96) and further reading (p. 121), appendix D “Computational Photonics” (pp. 252–264) · Checked 2026-09-13
  17. Sajeev John (1987). Strong localization of photons in certain disordered dielectric superlattices. Physical Review Letters 58(23), 2486–2489.Abstract available · Read: Crossref record and abstract (OpenAlex copy); historical role from Joannopoulos et al. (2008), p. 121 · Checked 2026-09-13
  18. Steven G. Johnson & J. D. Joannopoulos (2001). Block-iterative frequency-domain methods for Maxwell’s equations in a planewave basis. Optics Express 8(3), 173–190.Open access · Read: Abstract (OpenAlex copy); page range from Oskooi et al. (2010) reference list; program name from Joannopoulos et al. (2008), p. 264 · Checked 2026-09-13
  19. Jeroen Kalkman (n.d.). Wavefield propagation. Advanced Optical Imaging (open online book by Jeroen Kalkman and Kristin Grussmayer), chapter 3, Delft University of Technology.Open access · Read: Existing page link; chapter 3 including §3.6 angular spectrum, and the book preface · Checked 2026-09-13
  20. Charalambos C. Katsidis & Dimitrios I. Siapkas (2002). General transfer-matrix method for optical multilayer systems with coherent, partially coherent, and incoherent interference. Applied Optics 41(19), 3978–3987.Abstract available · Read: Publisher abstract; context from Postava et al. (2024), §1 · Checked 2026-09-13
  21. K. Knop (1978). Rigorous diffraction theory for transmission phase gratings with deep rectangular grooves. Journal of the Optical Society of America 68(9), 1206–1210.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  22. David Yuk Kei Ko & J. C. Inkson (1988). Matrix method for tunneling in heterostructures: Resonant tunneling in multilayer systems. Physical Review B 38(14), 9945–9951.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  23. Philippe Lalanne & G. Michael Morris (1996). Highly improved convergence of the coupled-wave method for TM polarization. Journal of the Optical Society of America A 13(4), 779–784.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  24. Philippe Lalanne, Wei Yan, Kevin Vynck, Christophe Sauvan & Jean-Paul Hugonin (2018). Light Interaction with Photonic and Plasmonic Resonances. Laser & Photonics Reviews 12(5), 1700113.Open access · Read: Crossref record and abstract · Checked 2026-09-13
  25. K. M. Leung & Y. F. Liu (1990). Full vector wave calculation of photonic band structures in face-centered-cubic dielectric media. Physical Review Letters 65(21), 2646–2649.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  26. Lifeng Li (1996). Use of Fourier series in the analysis of discontinuous periodic structures. Journal of the Optical Society of America A 13(9), 1870–1876.Abstract available · Read: Publisher abstract; its role summarized in Li (2014), §13.1 · Checked 2026-09-13
  27. Lifeng Li (1996). Formulation and comparison of two recursive matrix algorithms for modeling layered diffraction gratings. Journal of the Optical Society of America A 13(5), 1024–1035.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  28. Lifeng Li (1997). New formulation of the Fourier modal method for crossed surface-relief gratings. Journal of the Optical Society of America A 14(10), 2758–2767.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  29. Lifeng Li (2014). Fourier modal method. In E. Popov (ed.), Gratings: Theory and Numeric Applications, chapter 13, pp. 13.1–13.40; Institut Fresnel, Aix-Marseille Université, CNRS, Centrale Marseille, 2nd revisited ed.Open access · Read: Book front matter; chapter 13 introduction (§13.1), §13.2.1, S-matrix algorithm (§13.5.2), concluding remarks (§13.6) and references · Checked 2026-09-13
  30. Ho-Chun Lin, Zeyu Wang & Chia Wei Hsu (2022). Fast multi-source nanophotonic simulations using augmented partial factorization. Nature Computational Science 2(12), 815–822.Abstract available · Read: Crossref record and abstract · Checked 2026-09-13
  31. M. San Miguel, Q. Feng & J. V. Moloney (1995). Light-polarization dynamics in surface-emitting semiconductor lasers. Physical Review A 52(2), 1728–1739.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  32. M. G. Moharam & T. K. Gaylord (1981). Rigorous coupled-wave analysis of planar-grating diffraction. Journal of the Optical Society of America 71(7), 811–818.Abstract available · Read: Publisher abstract and bibliographic record · Checked 2026-09-13
  33. M. G. Moharam, Eric B. Grann, Drew A. Pommet & T. K. Gaylord (1995). Formulation for stable and efficient implementation of the rigorous coupled-wave analysis of binary gratings. Journal of the Optical Society of America A 12(5), 1068–1076.Abstract available · Read: Publisher abstract and citation metadata (author order from the publisher; the Crossref deposit lists it differently) · Checked 2026-09-13
  34. Ardavan F. Oskooi, David Roundy, Mihai Ibanescu, Peter Bermel, J. D. Joannopoulos & Steven G. Johnson (2010). Meep: A flexible free-software package for electromagnetic simulations by the FDTD method. Computer Physics Communications 181(3), 687–702.Publisher record; full text may require access · open copy · Read: Author manuscript: abstract, §1 introduction, §2 grids and boundary conditions (opening), reference list · Checked 2026-09-13
  35. Kamil Postava, Tomuo Yamaguchi & Roman Kantor (2002). Matrix description of coherent and incoherent light reflection and transmission by anisotropic multilayer structures. Applied Optics 41(13), 2521–2531.Abstract available · Read: Publisher abstract; its use described in Ciompa (2018), §4.2, and Postava et al. (2024), §2.3 · Checked 2026-09-13
  36. John William Strutt (Lord Rayleigh) (1907). On the dynamical theory of gratings. Proceedings of the Royal Society of London. Series A 79(532), 399–416.Abstract available · Read: Crossref record and abstract (OpenAlex copy); publisher page blocked by a bot check · Checked 2026-09-13
  37. C. J. Reddy, Manohar D. Deshpande, C. R. Cockrell & Fred B. Beck (1994). Finite element method for eigenvalue problems in electromagnetics. NASA Technical Paper 3485, NASA Langley Research Center.Open access · open copy · Read: Full PDF: abstract, §1 introduction, edge-element discussion in §2.2.1, reference list · Checked 2026-09-13
  38. Raymond C. Rumpf (2011). Improved formulation of scattering matrices for semi-analytical methods that is consistent with convention. Progress In Electromagnetics Research B 35, 241–261.Open access · open copy · Read: Full text: abstract, introduction and §4 (Redheffer star product and doubling algorithm) · Checked 2026-09-13
  39. Allen Taflove (1980). Application of the Finite-Difference Time-Domain Method to Sinusoidal Steady-State Electromagnetic-Penetration Problems. IEEE Transactions on Electromagnetic Compatibility EMC-22(3), 191–202.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  40. Hakan E. Türeci, A. Douglas Stone & B. Collier (2006). Self-consistent multimode lasing theory for complex or random lasing media. Physical Review A 74(4), 043822.Abstract available · open copy · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  41. P. C. Waterman (1965). Matrix formulation of electromagnetic scattering. Proceedings of the IEEE 53(8), 805–812.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  42. D. M. Whittaker & I. S. Culshaw (1999). Scattering-matrix treatment of patterned multilayer photonic structures. Physical Review B 60(4), 2610–2618.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  43. Eli Yablonovitch (1987). Inhibited Spontaneous Emission in Solid-State Physics and Electronics. Physical Review Letters 58(20), 2059–2062.Abstract available · Read: Crossref record and abstract (OpenAlex copy); historical role from Joannopoulos et al. (2008), p. 121 · Checked 2026-09-13
  44. Kane S. Yee (1966). Numerical solution of initial boundary value problems involving Maxwell’s equations in isotropic media. IEEE Transactions on Antennas and Propagation 14(3), 302–307.Abstract available · Read: Crossref record and abstract (OpenAlex copy); author initials from the Oskooi et al. (2010) reference list; grid described in Joannopoulos et al. (2008), appendix D · Checked 2026-09-13
  45. Pochi Yeh (1979). Electromagnetic propagation in birefringent layered media. Journal of the Optical Society of America 69(5), 742.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  46. Simone Zanotti, Momchil Minkov, Davide Nigro, Dario Gerace, Shanhui Fan & Lucio Claudio Andreani (2024). Legume: A free implementation of the guided-mode expansion method for photonic crystal slabs. Computer Physics Communications 304, 109286.Open access · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  47. Ze Zhang & Sashi Satpathy (1990). Electromagnetic wave propagation in periodic structures: Bloch wave solution of Maxwell’s equations. Physical Review Letters 65(21), 2650–2653.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13
  48. Richard W. Ziolkowski, John M. Arnold & Daniel M. Gogny (1995). Ultrafast pulse interactions with two-level atoms. Physical Review A 52(4), 3082–3094.Abstract available · Read: Crossref record and abstract (OpenAlex copy) · Checked 2026-09-13

Further reading

  • Jian-Ming Jin (2014). The Finite Element Method in Electromagnetics. Wiley-IEEE Press, 3rd ed.A textbook treatment of finite elements for electromagnetic problems, for readers who want the formulation behind the short history above. Not read for this page.Library record · Checked 2026-09-13
  • Allen Taflove & Susan C. Hagness (2005). Computational Electrodynamics: The Finite-Difference Time-Domain Method. Artech House, 3rd ed.The FDTD textbook recommended by the Meep authors and by Joannopoulos et al.: the Yee algorithm, stability, absorbing boundaries and dispersive media in detail. Not read for this page.Library record · Checked 2026-09-13