Source-linked AI summary
Invisibility and Inverse Problems
Allan Greenleaf, Yaroslav Kurylev, Matti Lassas, Gunther Uhlmann
TL;DR
The survey asks how transformation optics can produce invisibility while maintaining mathematically meaningful solutions and physical relevance. It synthesizes metric-based cloaking constructions across electrostatic, acoustic, and electromagnetic equations, including active sources and approximate realizations. It concludes that perfect cloaking is mathematically possible at fixed frequency, but practical and source-related constraints remain.
Problem
The paper addresses how objects can be hidden from boundary measurements across electrostatic, acoustic, and electromagnetic settings, including cases with internal sources.
Method
The survey develops transformation-optics constructions using singular metric changes, finite-energy solution concepts, removable-singularities analysis, and isotropic homogenized approximations.
Results
Perfect cloaking is mathematically possible at any fixed frequency, with extensions to Helmholtz and Maxwell equations, while active Maxwell sources require double coating.
Takeaways & Limitations
Cloaking can make interior objects invisible to boundary observations, but practical designs trade perfect invisibility for approximate realizations using nonsingular isotropic materials.
Takeaways & Limitations
Two-dimensional conformal invariance creates an additional obstruction, and generic internal Maxwell currents can prevent finite-energy solutions.
Abstract
from arXiv · showhide
This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society.
1 Introduction
The survey develops transformation-optics constructions that hide objects from boundary measurements and extends the analysis across electrostatic, acoustic, and electromagnetic settings. It also examines practical limitations, active-source obstructions, wormholes, and approximate isotropic designs.
- 1 Introduction: Transformation optics uses metric invariance and the Dirichlet-to-Neumann map to construct theoretical cloaking devices.The DN map sends boundary voltage potentials to induced current fluxes, while boundary-fixing diffeomorphisms preserve observations.
- 1 Introduction: The singular map F1 blows up the origin into the cloaked ball B(0, 1), producing a singular conductivity at the cloaking surface.The associated conductivity has zero and/or infinite eigenvalues near the unit sphere.
- 1 Introduction: No currents from ∂B(0, 2) reach B(0, 1), so changing the interior leaves boundary measurements identical to those of homogeneous isotropic material.This establishes electrostatic invisibility for objects inside the cloaked region.
- 1 Introduction: The survey extends perfect cloaking beyond electrostatics to Helmholtz and Maxwell equations, including sources inside and outside the cloaked region.For acoustic cloaking, finite-energy solutions and a removable-singularities theorem provide the rigorous framework.
- 1 Introduction: For Maxwell cloaking, single coating works without internal currents, whereas active objects require a matched internal layer called double coating.Generic internal currents can otherwise make finite-energy solutions nonexistent because hidden PEC and PMC conditions are overdetermined.
- 1 Introduction: The survey also describes electromagnetic wormholes and isotropic approximate cloaking as extensions toward additional optical effects and physical realizability.Isotropic, nonsingular parameters replace perfect cloaking with arbitrarily accurate approximation, while wormholes make waves behave as if space had a handle.
2 Visibility for electrostatics: Calder´on’s problem
Calderón’s problem asks whether interior conductivity can be recovered from boundary voltage-current measurements, but anisotropic media admit boundary-preserving transformation ambiguities. The survey reviews positive identifiability results and contrasts them with shielding by singular potentials.
- Problem: Calderón’s inverse conductivity problem seeks to determine an unknown interior conductivity from voltage and current measurements on a domain boundary.It forms the mathematical foundation of Electrical Impedance Tomography and has applications including geophysical, medical, and manufactured-part imaging.
- Measurements: The Dirichlet-to-Neumann map sends prescribed boundary voltages to the resulting boundary current fluxes and encodes the idealized measurements.The associated quadratic form measures the energy required to maintain the boundary potential.
- Shielding: Highly singular Schrödinger potentials can shield all information about a region from boundary observations, but the shielding barrier itself remains detectable.The construction is therefore distinguished from cloaking, which hides both the object and the fact that it is hidden.
- Anisotropy: For anisotropic conductivities, boundary-preserving changes of variables generate distinct conductivities with identical boundary measurements, creating the basic nonuniqueness relevant to cloaking.The survey asks whether this transformation ambiguity is the only obstruction to unique identifiability.
- Two-dimensional obstruction: In two dimensions, conformal invariance creates an additional obstruction: conformally related surfaces have identical boundary measurements, even when their topology differs.The survey describes this as a counterexample to unique recovery in the inverse electrostatic problem.
- Identifiability: Positive results characterize identifiability under regularity and geometric assumptions: in dimensions n ≥ 3 the analytic manifold is determined, while in two dimensions only its conformal class is determined.These results also apply when measurements are available only on an open boundary subset.
3 Invisibility for Electrostatics
Electrostatic invisibility is constructed by singular transformations that blow up a point into a cloaked region, producing singular anisotropic conductivities. The resulting boundary data can coincide with those of a homogeneous medium, so interior objects become undetectable from outside measurements.
- Conceptual distinction: Weak invisibility from boundary-preserving coordinate changes makes different media indistinguishable, but does not hide an object or the hiding region.True cloaking requires boundary measurements to remain unchanged while an enclosed domain is hidden.
- Singular construction: Blowing up a point replaces a point by a hidden region through a singular transformation, producing a singular metric and conductivity at the cloaking surface.The construction begins from a compact manifold and pulls the selected point to infinity or maps it into a cloaked domain.
- Geometry: The three-dimensional construction partitions B(0, 2) into an exterior region and an interior ball, with their interface designated as the cloaking surface.A singular map acts on the exterior copy while a regular map identifies the interior copy with the hidden region.
- Material: The cloaked conductivity is singular and degenerate on the interface, while the conductivity inside the hidden region may be replaced by any smooth uniformly bounded anisotropic object.The Euclidean interior conductivity is used only for simplicity.
- Boundary invisibility: The Cauchy data for the singular cloaking conductivity coincide with those for homogeneous conductivity, so all boundary measurements are identical.This equality is established for H1 solutions and extends to finite-energy solutions; the construction works in dimensions n ≥ 3 and has a two-dimensional analogue.
- Physical interpretation: The mechanism is that exterior currents do not reach the cloaked region, so changing the conductivity or object inside does not alter measurements on the outer boundary.The same behavior is illustrated by the absence of currents near the center of the disk.
- Generalization: More general singular transformations can produce cloaking, with removable-singularity results ensuring that transformed exterior solutions extend across the hidden region.The general theorem permits a regular positive-definite metric inside the cloaked domain.
4 Optical Invisibility: Cloaking at Positive Frequencies
At positive frequencies, transformation-optics cloaks are analyzed through frequency-domain scalar and electromagnetic waves, with the full cloaked region and cloaking surface determining whether idealized invisibility yields meaningful solutions. The survey reports ray-level invisibility, rigorous correspondence results, and important source- and boundary-condition limitations.
- Frequency-domain models: The constructions use frequency-domain scalar waves satisfying the Helmholtz equation and time-harmonic electric and magnetic fields satisfying Maxwell’s equations.The scalar model includes internal sources, while the electromagnetic model uses time-harmonic fields.
- Global solution analysis: Outside-only correspondence between cloaked and uncloaked solutions cannot establish full cloaking because behavior inside the cloaked region and at the cloaking surface is essential.The survey emphasizes that boundary observations alone can be indistinguishable when the interior and interface are not analyzed.
- Optical justification: Almost all rays entering the cloak travel around the cloaked region and reach the boundary with the same travel time as corresponding rays in the uncloaked space.The rays are represented as geodesics related by the transformation F.
- Helmholtz cloaking: For Helmholtz solutions, the singular transformation forces a homogeneous Neumann condition on the interior side of the cloaking surface.The condition follows from the vanishing limiting flux across shrinking spheres around the singular interface.
- Maxwell cloaking: For Maxwell’s equations, finite-energy distributional solutions obey hidden tangential boundary conditions on both electric and magnetic fields at the cloaking surface.The resulting conditions are ν × eE = 0 and ν × eH = 0 on the inner boundary.
- Active sources and limitations: Active-object cloaking is obstructed because generic interior currents can produce no finite-energy solution under the idealized single-coating model.The simultaneous PEC and PMC conditions are overdetermined, whereas passive objects can be accommodated by fields that vanish inside the cloaked region.
5 Electromagnetic wormholes
Electromagnetic wormholes use transformation optics to create a hidden connection between separated regions, allowing waves to propagate through a handle while only the ends remain visible. The construction is modeled by gluing a three-dimensional exterior region to a cylindrical component and transferring its geometry into material parameters.
- Geometric construction: The wormhole manifold combines an exterior region with two removed balls and a three-dimensional cylinder whose boundary components are smoothly glued together.The exterior component is M1 = R3 \ (B(O,1) ∪ B(P,1)), while M2 = S2 × [0,1].
- Wave behavior: Measurements in an exterior observation region coincide for the abstract wormhole and its physical realization, so the device reproduces the intended wave behavior outside the construction.Ray-tracing simulations illustrate views through the wormhole bores, including cases with L << 1 and L ≈ 1.
- Material realization: Singular maps from the cut components to physical regions N1 and N2 define material parameters by pushforward, providing a blueprint for constructing the device in R3.The maps F1 and F2 combine into a diffeomorphism away from the cuts, and the resulting ε̃ and μ̃ encode the wormhole geometry.
- Optical effects: Changing the metric inside the handle can control which rays traverse the wormhole or return to the entrance, enabling applications such as optical cables, displays, and beam collimation.With a warped product metric, only rays traveling nearly parallel to the axis can pass through completely.
6 A general framework: singular transformation optics
Singular transformation optics is organized around a triplet of manifolds, physical regions, and singular maps that transfer equations and fields between them. Its metatheorem predicts a one-to-one correspondence of finite-energy solutions, while emphasizing that hidden boundary conditions and rigorous proofs remain nontrivial.
- Framework: Singular transformation optics extends transformation rules to devices whose maps become singular and whose material parameters can degenerate on special sets.The framework treats cloaks, wormholes, and other devices as instances of singular transformation optics.
- Caveat: Applying the framework to a particular device still requires proving the correspondence and determining the hidden boundary conditions, which can be decidedly nontrivial.This qualification is emphasized for cloaks, wormholes, and other singular designs.
- Definition: An STO design is a triplet (M, N, F) consisting of an STO manifold, a physical region N, and singular diffeomorphisms from punctured components of M to regions of N.The manifold may contain submanifolds γj of dimension at most n − 2, and each Fj maps Mj \ γj to Nj \ Σj.
- Singular geometry: The induced metric on N is generally degenerate on the singular sets, so conditions on the Jacobians are needed to obtain the intended material behavior.The metric satisfies g̃|Nj = (Fj)∗(gj).
- Solution correspondence: The metatheorem establishes a one-to-one correspondence between finite-energy solutions on N and M through u = ũ ◦ F, subject to hidden boundary conditions.The statement applies analogously to scalar fields and electromagnetic fields.
7 Isotropic Transformation Optics
Isotropic transformation optics replaces ideal singular or anisotropic cloak parameters with nonsingular isotropic media through truncation and homogenization. The resulting approximate solutions converge to ideal-cloak solutions under stated spectral conditions, while related constructions produce approximate quantum cloaking and nearly trapped states.
- Motivation: Ideal singular transformation-optics parameters are difficult to implement, motivating nonsingular isotropic approximations that sacrifice perfect propagation effects for practical material realizations.The approximation uses discrete metamaterial cells and avoids highly anisotropic, nearly singular parameters.
- Approximation strategy: Truncating an ideal cloak first yields a nonsingular anisotropic medium, and homogenization then approximates it with layered isotropic conductivities.Radially oscillating high- and low-conductivity shells reproduce lower effective radial conductivity than angular conductivity.
- Spectral condition: For general sources, approximate solutions converge when the frequency parameter ω^2 is not an eigenvalue of the relevant equation.The convergence is obtained using variational methods including Γ-convergence.
- Convergence: The approximate acoustic-cloak solutions converge to the ideal-cloak solution as the isotropic approximation is refined and the truncation approaches the singular limit.The construction uses smooth isotropic conductivities and bulk moduli with R = R(n) → 1.
- Quantum cloaking: The same construction yields an approximate quantum cloak whose scattering amplitudes converge to those of the uncloaked background at fixed energy.The quantum cloak is easier to realize than the ideal version because it is based on the approximate acoustic cloak.
- Almost trapped states: At a Neumann eigenvalue, the approximate quantum-cloak potential can support matter waves that remain in the cloaked region with high probability.Away from such an eigenvalue, the matter wave passes almost unaltered.
8 Further developments and open problems
The survey highlights rapid growth in cloaking and transformation optics while identifying unresolved challenges in physical implementation, modeling, and broader theoretical scope.
- Open problems: Broadband visual cloaking remains far from realization, and the practical advantages of transformation-optics cloaks over earlier scattering-reduction techniques remain contested.The survey also notes progress toward higher-frequency cloaking, including the visual spectrum.
- Open problems: Open mathematical questions include alternative cloaking-surface boundary conditions, nonlinear radial transformations for impedance matching, and links to geometric scattering.These directions are associated with time-domain self-adjoint extensions, improved matching when measurements are distant, and conical singularities at the cloaking surface.
- Open problems: Effective medium theory remains immature, especially for resonant periodic or almost-periodic metamaterial arrays, where field blow-up can violate smoothness assumptions.The survey calls for further homogenization work in this setting.
- Open problems: Cloaking theories predominantly address non-relativistic media, leaving relativistic and nonlinear transformation optics as important developing areas.