REVIEW 2 major objections 6 minor 20 references
Orthogonality Sampling Method for the Electromagnetic Inverse Scattering Problem
T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that the orthogonality sampling imaging functional—a single inner product of far-field data with a known dipole wave—is positive inside an anisotropic electromagnetic scatterer and decays quadratically outside it…
desk verdict A worthy extension of OSM and DSM to anisotropic electromagnetic scattering, but the decay proof in Theorem 6 has a concrete, load-bearing computational error that must be corrected before the resolution analysis can be trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the factorization of the far-field operator $F=H^*TH$, where $H:L^2_t(S^2)\to L^2(\Omega)^3$ superposes incident plane waves, $H^*$ maps a volume source to its electric dipole far-field pattern, and $T=k^2P(f+v)$ records the contrast-induced source inside the scatterer. Two ingredients make the argument move: the coercivity of $T$ on the range of $H$ (a uniform positivity condition on $\langle Tv,v\rangle$, guaranteed when the contrast $P$ is dissipative in a uniform sense and $k$ is not a transmission eigenvalue) and the range characterization $\varphi_{y_s}\in\operatorname{Range}(H^*)$ if and only if $y_s\in\Omega$. The Funk-Hecke formula, applied to the spherical Bessel function $j_0$, turns these operator facts into the explicit decay rate $O(1/\operatorname{dist}(y_s,\Omega)^2)$ for sampling points outside the scatterer.
What would settle it
Run the OSM on synthetic far-field data for a three-dimensional anisotropic scatterer with a purely real, non-dissipative contrast $P$ at a wave number $k$ that is a transmission eigenvalue, and compare the minimum of $I_{\mathrm{OSM}}$ over the scatterer with its values just outside; if interior values are not bounded away from the exterior background, the coercivity condition in Theorem 4 is exactly what carries the detection property.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the orthogonality sampling functional $I_{\mathrm{OSM}}(y_s)=\|p\cdot F\varphi_{y_s}\|^2_{L^2(S^2)}$ is a reliable indicator of whether a sampling point lies in the scatterer. Theorem 6 proves the two-sided behaviour: for $y_s\in\Omega$ the functional is bounded below by a positive constant, while for $y_s\notin\Omega$ it decays as $O(1/\operatorname{dist}(y_s,\Omega)^2)$ as $y_s$ recedes. The proof runs through the factorization $F=H^*TH$ of the far-field operator into the plane-wave superposition operator $H$, the contrast-dependent middle operator $T=k^2P(f+v)$, and the adjoint $H^*$; when $T$ is coercive on the range of $H$, the functional inherits a positive lower bound exactly on $\Omega$, and the Funk-Hecke formula converts the decay of the spherical Bessel function $j_0$ into the explicit quadratic decay outside. The same ingredients give the equivalence $c_1 I_{\mathrm{OSM}}\le I_{\mathrm{DSM}}\le c_2\sqrt{I_{\mathrm{OSM}}}$, so the direct sampling functional is positive inside and decays like $O(1/\operatorname{dist}(y_s,\Omega)^2)$ outside as well.
Load-bearing premise
The entire inside-scatterer lower bound rests on the contrast $P$ being dissipative enough—either $\operatorname{Im}(P)$ uniformly positive definite, or $\operatorname{Re}(P)+\alpha\operatorname{Im}(P)$ uniformly positive definite with $\operatorname{Im}(P)$ positive semidefinite—and on $k$ not being a transmission eigenvalue; if that material condition fails, the paper does not prove the imaging functional stays positive inside the scatterer.
Editorial extensions
If this is right
- Because $I_{\mathrm{OSM}}$ has a uniform positive lower bound on $\Omega$ and decays quadratically outside, thresholding a plot of the functional over a sampling grid yields an estimate of the scatterer's support without solving any ill-posed linear system.
- Since $I_{\mathrm{DSM}}$ is equivalent to $I_{\mathrm{OSM}}$ up to constants, the direct sampling method is justified with the same resolution and decay guarantees for matrix-valued anisotropic contrasts, not only scalar ones.
- The stability estimate shows that a relative noise level $\delta$ in the far-field operator changes the imaging functional by at most $|p|^2|S^2|\|F\|^2(\delta^2+2\delta)$ uniformly over all sampling points, so the reconstruction is continuous in the data.
- Because the functional is uniformly positive inside $\Omega$ and quadratically small outside, the transition zone controls how sharply an isosurface can separate the scatterer from the background, making the method's resolution quantifiable.
- The numerical examples show the method still gives reasonable reconstructions at 60% and 90% noise levels and with a reduced number of incident directions, consistent with the stability estimate.
Reading between the lines
- Because the lower bound depends on coercivity of $T$, the theory predicts that for lossless (purely real) anisotropic contrasts the guaranteed positivity inside the scatterer can fail; testing a real-valued contrast at a transmission eigenvalue would expose exactly where the proof breaks.
- The Funk-Hecke decay mechanism is specific to full spherical aperture data; an analogous calculation with finitely many incident directions would likely replace the $O(1/\operatorname{dist}(y_s,\Omega)^2)$ decay by an oscillatory factor, so resolution for sparse apertures may degrade more quickly than the theorem suggests.
- The equivalence theorem suggests that, up to constants, the OSM image behaves like the square of the DSM image; this is consistent with the paper's numerical observation that $I_{\mathrm{OSM}}$ resembles $(I_{\mathrm{DSM}})^2$ more closely than $I_{\mathrm{DSM}}$ itself.
- If the coercivity conditions hold, the same factorization proof should yield explicit decay rates for other qualitative indicators, such as the linear sampling method's norm, wherever an analogous range characterization is available.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper treats the electromagnetic inverse shape problem for penetrable anisotropic scatterers at fixed frequency, using multi-static far-field data. It defines an orthogonality sampling imaging functional IOSM(ys), proves (Theorem 6) that IOSM is bounded below by a positive constant for sampling points inside the scatterer and decays as O(dist(ys,Ω)^{-2}) outside, establishes a noise-stability estimate (Theorem 7), and shows an equivalence between IOSM and a direct sampling functional IDSM (Theorem 9), with a corresponding resolution statement (Theorem 10). The analytical machinery is the factorization F=H*TH of the far-field operator, the range characterization of H*, and a coercivity result for T taken from previous work; numerical examples for three-dimensional anisotropic scatterers are also presented.
Significance. If the proofs are repaired, the paper would give a rigorous resolution analysis for two simple, fast, and robust sampling methods in three-dimensional electromagnetic inverse scattering, including anisotropic media. The use of external benchmarks is transparent and not circular: the range characterization of the factorization method and the coercivity of the middle operator are cited from Kirsch [14] and Haddar [10], respectively, and no ad-hoc parameters are introduced. The stability estimate is a useful quantitative addition. However, the central exterior-decay proof in Theorem 6 contains a concrete computational error, and Theorem 10 is stated without a proof; these issues are load-bearing for the main claims, although they appear repairable.
major comments (2)
- [§4, proof of Theorem 6] The decay estimate IOSM(ys)=O(dist(ys,Ω)^{-2}) is not established by the computation given. In the proof, the identity curl_z curl_z(p e^{-ikd·z}) = -k^2 (d×p)×d e^{-ikd·z} has the wrong sign; the correct identity has +k^2 (d×p)×d e^{-ikd·z}. The subsequent evaluation of I(z)=∫_{S^2}(d×p)×d e^{-ikd·z} ds(d) is also quantitatively incorrect. For example, with z=(1,0,0), p=(1,0,0), and k=1, direct computation gives I(z)=8π j_1(1)e_1 ≈ 7.57 e_1, whereas the displayed v_j formula gives v_1=0.9036 and the relation I=-4π v/k^2 yields I≈-11.35 e_1, so both sign and magnitude are wrong. Because this computation is the only support for the exterior decay assertion, the proof of Theorem 6 is invalid as written. The decay rate is plausible and likely repairable, for instance from the exact identity I(z)=4π[p(j0(kr)-j1(kr)/(kr))-(p·z)z/r^2(j0(kr)-3j1(kr)/(kr))] or by a stationary-phase argument, but it must be corrected.
- [§4, Theorem 10] Theorem 10 is stated without a proof. The sentence "Following the method for proving Theorem 6 we can obtain similar resolution analysis" is not a proof, and the decay half would inherit the incorrect Funk-Hecke computation identified above. The authors should either supply the proof or state explicitly why the DSM functional inherits the results, since the theorem is one of the paper's main claims.
minor comments (6)
- [§4, proof of Theorem 6] In the Cauchy-Schwarz step, |⟨Fφ_ys,φ_ys⟩|^2 ≤ |S^2|^2 ‖p·Fφ_ys‖^2 should be |⟨Fφ_ys,φ_ys⟩|^2 ≤ |S^2| ‖p·Fφ_ys‖^2; the extra factor of |S^2| changes the constants in Theorem 6 and Theorem 9, although it does not affect the positivity or the decay rate.
- [§4, Theorem 7] The stability estimate contains the notation |S|^2, which should presumably be |S^2|, and the displayed constant appears to be too large by a factor of |S^2|; checking with ‖φ_ys‖^2=(8π/3)|p|^2 gives a smaller prefactor. The qualitative stability statement is unaffected.
- [§4, Funk-Hecke formula] The indexing in the Funk-Hecke formula is nonstandard: one usually writes Y_ℓ^m with m=−ℓ,...,ℓ, rather than the displayed "m∈N∪{0} and ℓ=−m,...,m". This should be corrected to avoid confusion.
- [§5, equation (13)] The entries "1 .5" and "1 .2" in the matrix A presumably mean 1.5 and 1.2; the spacing makes the values ambiguous.
- [§4, paragraph after Theorem 6] There is a typo in the sentence "This resolution analysis implies the for any sampling points ys∈Ω..." — "the" should be removed.
- [§4, Theorems 6 and 9] The hypotheses of Theorem 4 (coercivity of T on Range(H)) and the transmission-eigenvalue assumption are not repeated in the statements of Theorems 6 and 9; since these conditions are load-bearing for the positivity of the imaging functionals inside Ω, they should be stated explicitly or referenced unambiguously in each theorem.
Circularity Check
No significant circularity: the central resolution theorems rest on external factorization and coercivity results, not on self-citation or fitted inputs.
full rationale
The paper's core claims (Theorems 6, 9, 10) are derived from the external factorization F = H*TH and the range characterization phi_ys in Range(H*) iff ys in Omega (Kirsch [14]), together with the coercivity of T on Range(H) (Theorem 4, cited to Haddar [10]). These are imported mathematical results with stated assumptions, not quantities fitted in this paper, and the imaging functionals are defined directly from the far-field data rather than from the conclusion they are used to prove. The lower-bound argument uses phi_ys in Range(H*) and coercivity, and the decay argument uses the standard Funk-Hecke integral identity; neither step assumes the theorem's conclusion. The self-citations present are not load-bearing: [19] is used for the numerical solver and for prior small-scatterer OSM work, and [11] is cited only as a stylistic precedent for using Funk-Hecke; neither supplies a premise to the main theorems. The numerical section evaluates the method on independently generated synthetic data, so there is no fitted-parameter-renamed-as-prediction structure. One caveat belongs to correctness rather than circularity: the displayed v_j formula in the proof of Theorem 6 appears to make the Funk-Hecke computation quantitatively wrong (e.g., for z=(1,0,0), p=(1,0,0), k=1, the formula gives the wrong sign and magnitude for the integral), so the decay proof is suspect as written, but this is an internal verification defect, not an equivalence-by-construction between input and output. Therefore no circular step meets the quoted-reduction standard, and the only mild concern is the presence of non-load-bearing self-citations.
Assumptions & free parameters
assumptions (6)
- domain assumption The contrast P is bounded with non-negative real and imaginary parts, and the homogeneous scattering problem admits only the trivial solution.
- domain assumption The wave number k is not a transmission eigenvalue.
- domain assumption The contrast P satisfies the coercivity conditions of Theorem 4, namely either Im(P) uniformly positive definite, or Re(P)+alpha Im(P) uniformly positive definite with Im(P) positive semidefinite.
- domain assumption The range characterization phi_ys in Range(H*) iff ys in Omega (Theorem 3d) from Kirsch's factorization method.
- standard math The Funk-Hecke formula for spherical harmonics.
- domain assumption Far-field data are available for all incident and observation directions on the sphere S^2 (full aperture).
Cite this review
Pith. "Pith review of Orthogonality Sampling Method for the Electromagnetic Inverse Scattering Problem." pith.science (2026). https://pith.science/paper/5T46OLHP
@misc{pith2026190805800,
author = {Pith},
title = {Pith review of: Orthogonality Sampling Method for the Electromagnetic Inverse Scattering Problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/5T46OLHP}},
note = {Machine review of arXiv:1908.05800}
}
read the original abstract
This paper is concerned with the electromagnetic inverse scattering problem that aims to determine the location and shape of anisotropic scatterers from far field data (at a fixed frequency). We study the orthogonality sampling method which is a simple, fast and robust imaging method for solving the electromagnetic inverse shape problem. We first provide a theoretical foundation for the sampling method and a resolution analysis of its imaging functional. We then establish an equivalent relation between the orthogonality sampling method and direct sampling method as well as resolution analysis for the latter. The analysis used to justify the Factorization method for the far field operator plays an important role in the justifications. Finally, we present some numerical examples to validate the performance of the sampling methods for anisotropic scatterers in three dimensions.
Figures
Reference graph
Works this paper leans on
-
[14]
A. Kirsch. The factorization method for Maxwell’s equations. Inverse Problems, 20:S117–S134, 2004
work page 2004
-
[10]
H. Haddar. Analysis of some qualitative methods for inverse electromagnetic scat- tering problems. In Bermudez de Castro A., Valli A. (eds) Computational Elec- tromagnetism. Lecture Notes in Mathematics, vol 2148 , pages 191–240. Springer, Cham, 2014. 18
work page 2014
- [1]
- [2]
- [3]
- [4]
-
[5]
F. Cakoni and J. Rezac. Direct imaging of small scatterers using reduced time dependent data. J. Comput. Phys. , 338:371–387, 2017
work page 2017
-
[6]
Q. Chen, H. Haddar, A. Lechleiter, and P. Monk. A sampling method for inverse scattering in the time domain. Inverse Problems, 26:085001, 2010
work page 2010
Show all 20 references
-
[7]
Colton and R
D. Colton and R. Kress. Inverse Acoustic and Electromagnetic Scattering Theory. Springer, New York, 3rd edition, 2013
2013
-
[8]
de Buhan and M
M. de Buhan and M. Darbas. Numerical resolution of an electromagnetic inverse medium problem at fixed frequency. Comput. Math. Appl. , 74:3111–3128, 2017
2017
-
[9]
Griesmaier
R. Griesmaier. Multi-frequency orthogonality sampling for inverse obstacle scat- tering problems. Inverse Problems, 27:085005, 2008
2008
-
[11]
Harris and A
I. Harris and A. Kleefeld. Analysis of new direct sampling indicators for far-field measurements. Inverse Problems, 35:054002, 2019
2019
-
[12]
T. Hohage. On the numerical solution of a three-dimensional inverse medium scattering problem. Inverse Problems, 17:1743–1763, 2001
2001
-
[13]
K. Ito, B. Jin, and J. Zou. A direct sampling method for inverse electromagnetic medium scattering. Inverse Problems, 29:095018, 2013
2013
-
[15]
Kirsch and N.I
A. Kirsch and N.I. Grinberg. The Factorization Method for Inverse Problems . Oxford Lecture Series in Mathematics and its Applications 36. Oxford University Press, 2008
2008
-
[16]
K. H. Leem, J. Liu, and G. Pelekanos. Two direct factorization methods for inverse scattering problems. Inverse Problems, 34:125004, 2018
2018
-
[17]
X. Liu. A novel sampling method for multiple multiscale targets from scattering amplitudes at a fixed frequency. Inverse Problems, 33:085011, 2017
2017
-
[18]
P. Monk. Finite Element Methods for Maxwell’s Equations . Oxford Science Pub- lications, Oxford, 2003
2003
-
[19]
D.-L. Nguyen. Direct and inverse electromagnetic scattering problems for bi- anisotropic media. Inverse Problems (accepted) , https://doi.org/10.1088/1361- 6420/ab382d
-
[20]
Potthast
R. Potthast. A study on orthogonality sampling. Inverse Problems, 26:074015, 2010. 19 (a) (b) (c) (d) (e) (f) (g) (h) (i) Figure 4: Reconstruction of scatterers with more complicated shapes using OSM. There is 30% noise in the scattering data, Nˆx×Nd = 325× 325 andk = 12. The ...
2010
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.