Pith. sign in

REVIEW 2 major objections 4 minor 31 references

Exactly Solvable Diffraction-Grating Scattering Problems for TE and TM waves

T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every grating whose relative permittivity and permeability have the one-sided Fourier form (5), the paper proves that TE and TM scattering is exactly solvable, with the scattering amplitude a finite sum of delta-function beams.

desk verdict Genuine extension of Berry's grating to TE/TM and magnetic one-sided gratings, with a plausible exact-solvability proof that needs independent numerical validation and clearer grounding in the authors' DFSS framework. read the letter →

arxiv 2607.13287 v2 pith:DYUTJQP2 submitted 2026-07-14 physics.optics math-phmath.MPquant-ph

Farhang Loran , Ali Mostafazadeh This is my paper · ORCID
classification physics.opticsmath-phmath.MPquant-ph PACS 42.25.Fx
keywords diffractiongratingexactscatteringsolutiontransverseelectricwavesmagneticfundamentaltransfermatrixnon-HermitianHamiltonianseriestruncationone-sidedFourierprofile
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out to enlarge the small list of exactly solvable diffraction-grating problems. It shows that whenever a slab's relative permittivity and permeability vary along the grating coordinate as a finite sum of positive-frequency harmonics e^{inKy}, the scattering of both TE and TM plane waves is exactly solvable at arbitrary incidence angles. "Exactly solvable" here means the scattered field consists of finitely many transmitted and reflected beams, and each beam's complex amplitude is computed from finitely many algebraic operations and definite integrals. This generalizes an earlier paraxial solution for a special nonmagnetic grating, and it brings magnetic and metamaterial gratings into the exactly solvable class. Such benchmark solutions give analytic control over beam intensities, including conditions for suppressing or enhancing individual diffracted orders.

What carries the argument

The central object is the shift operator S=e^{iKy}, which translates the transverse momentum by K. Acting inside the projection Π_k onto momenta |p|<k, any factor of S^m with m≥2k/K vanishes because it would push momentum outside the allowed window. Since the grating profile contains only positive powers of S, both the series for the transfer matrix and the series for the scattering amplitudes truncate at finite order; the truncated sums are the exact solution. The transfer matrix itself is identified, via the dynamical formulation, with the evolution operator generated by an effective non-Hermitian Hamiltonian, so that computing beam amplitudes reduces to matrix algebra.

What would settle it

Compute the first-order beam amplitudes for a concrete nonmagnetic grating, e.g., a0=9.57+0.05i, a1(x)=0.03 exp(−κ(ℓ−x)), ℓ=2 μm, K=3.14 μm⁻¹, λ=1.55 μm, using the paper's formulas, and compare with a direct numerical solution of Maxwell's equations over incidence angles θ0∈(167°,270°). Agreement at numerical precision would confirm the claim; any discrepancy would falsify it.

Watch

Extended reading notes

Core claim

For gratings with ε(x,y)=1+χ_ℓ(x)[a_0+Σ_{n=1}^N a_n(x)e^{inKy}] and μ analogously, subject to the convergence condition Σ|a_n|<|a_0| (and the same for b_n), the paper proves that TE and TM scattering amplitudes are finite sums of delta-function beams: f(θ)=Σ_{j=0}^J[τ_{j+}δ(θ−θ_{j+})+τ_{j−}δ(θ−θ_{j−})], with J the largest integer satisfying sinθ0+JK/k<1. Each amplitude τ_{j±} is obtained by finitely many matrix multiplications and definite integrals; no paraxial or small-angle approximation is used. The special case ε=1+iV_0/k^2(1−e^{iKy}) recovers the previously solved paraxial grating, now with a non-paraxial exact solution, and the framework also covers TM waves and magnetic/metamaterial

Load-bearing premise

The proof rests on the previously established identification of the fundamental transfer matrix with a projected evolution operator, and on the grating containing only positive-frequency harmonics e^{inKy}; if either premise fails, the series truncation that makes the solution exact does not occur.

Editorial extensions

If this is right

  • For any grating in the class, both TE and TM scattering amplitudes are finite sums of delta-function beams, and each beam amplitude is obtained in finitely many algebraic steps and definite integrals—no approximation.
  • When the incident wavenumber k is below K/2, the grating's periodic structure has no effect at all: the scattering amplitude equals that of a homogeneous slab with the mean permittivity and permeability.
  • First- and higher-order beams appear only for k>K/2 and incidence angles satisfying sinθ0+JK/k<1; above that threshold the number of beams is exactly J+1.
  • The explicit first-order beam amplitudes satisfy the reciprocity principle, meaning source and detector can be interchanged without changing the outcome.
  • The same solution procedure applies to magnetic and metamaterial gratings, not just nonmagnetic dielectrics, and to TM as well as TE polarization.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the amplitudes are known as explicit functions of the slab parameters, the formulas could be inverted to engineer a grating that suppresses a chosen diffracted order; the paper's numerics show isolated zeros of the first-order transmitted amplitude for thick slabs but do not pursue such design.
  • The same truncation mechanism may extend to real gratings containing both e^{iKy} and e^{-iKy} harmonics if the negative harmonics are treated as a perturbation around a one-sided profile, although the paper does not claim this.
  • The paper notes that the same governing equation describes sound waves in fluids, so the method likely carries over to acoustic gratings with one-sided density or compressibility profiles.
  • The exact finite-beam structure suggests near-field predictions that could be tested experimentally with near-field scanning, something the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper claims to identify a broad class of TE/TM diffraction gratings—those whose relative permittivity and permeability have the one-sided Fourier form (5) with the convergence condition (44)—for which the scattering problem is exactly solvable. Using the dynamical formulation of stationary scattering (DFSS), the authors show that the Dyson series for the fundamental transfer matrix truncates because of the positivity of the shift operator (Eqs. (53), (85)), and that the scattering amplitude is a finite sum of delta-function beams (Eq. (116)). They provide explicit formulas for the zeroth- and first-order beam amplitudes, verify reciprocity for the first-order amplitudes, and apply the results to a nonmagnetic generalization of Berry's grating.

Significance. If the results were correct, this would be a significant advance: a non-paraxial extension of Berry's exact solution, covering TM polarization and magnetic/metamaterial gratings, with a constructive algorithm requiring only finitely many integrals and algebraic operations. The paper includes explicit operator algebra (Eqs. (87), (93)) and clearly states its scope limitations (one-sided Fourier profile, condition (44), absence of spectral singularities). However, the central amplitude formulas contain an angular-Jacobian error (Eq. (110)) that corrupts the explicit results and the reciprocity check, so the exact-solvability claim is not presently established.

major comments (2)
  1. [§3.4, Eq. (110)] The conversion from the momentum-space delta δ(p1 - jK - p0) to angular delta functions uses the Jacobian 1/(k|cosθ0|). The correct identity is δ(k(sinθ - s_j)) = [δ(θ - θ_{j+}) + δ(θ - θ_{j-})]/(k|cosθ_{j+}|), because at both solutions one has |cosθ| = |cosθ_{j+}|. Using |cosθ0| instead introduces a spurious factor |cosθ_{j+}|/|cosθ0| into every diffracted-beam amplitude with j ≥ 1. This error propagates to Eq. (114) and to the explicit first-order amplitudes (127)–(128), and it also invalidates the reciprocity verification in Sec. 3.6, which relies on the same incorrect identity. The authors should re-derive the angular reduction, correct the τ_{j±} formulas, and re-examine the plots in Sec. 4. A first-Born comparison for small ζ would give a quick check.
  2. [§§2–4] The exact-solvability theorem is built on the DFSS framework quoted from Refs. [7,14,16,19], notably Eqs. (23)–(26) and (32)–(40). These are not re-derived here, and no independent numerical or experimental validation of the computed diffraction amplitudes is provided. The only internal check (reciprocity, Sec. 3.6) is an algebraic consequence of the same formalism. Given the complexity of the derivation and the fact that an angular-Jacobian error of the type above survived the internal checks, I strongly recommend adding a quantitative comparison with an independent method (e.g., rigorous coupled-wave analysis or a finite-element solver) for the example of Eqs. (189)–(192) before the central claim can be considered reliable.
minor comments (4)
  1. [§3.3, Eq. (94)] The first line of Eq. (94) appears garbled; the derivation in the text implies the correct factorization is xM22 = xM0,22 (I - xN22 + Rl(p) xN12). Please correct the typography.
  2. [§3.5] The sentence preceding Eq. (127) says 'Equations (121), (122), (127), ad (127)'; this should read '... and (128)'.
  3. [General] The paper uses 'exactly solvable' in a constructive sense: reduction to finitely many definite integrals. For generic functions a_n(x), b_n(x) these integrals are not evaluated in closed form, and for j ≥ 2 the auxiliary functions M_j are only defined through integrals. The introduction should state this sense more explicitly to avoid overclaiming.
  4. [§2.2] Since the DFSS framework from Refs. [7,14,16,19] is load-bearing and self-referential, a slightly expanded review of the derivation of Eqs. (23)–(26) and (32)–(40) would make the paper more self-contained and help the reader assess the conditions under which the framework applies.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; central derivations are carried out in-manuscript from a self-cited framework.

full rationale

The exact-solvability theorem is not a fitted prediction: the grating parameters are inputs and the beam amplitudes are obtained by analytical manipulations (Dyson-series truncation, Eq. (71)–(88), and closed-form /Mcal1 in (131)–(139)). The heavy reliance on the authors' DFSS framework is a self-citation chain, but the load-bearing identities (32), (40), (41), and (23)–(26) are quoted from prior work of the same authors without re-derivation. This is the paper's main weakness, but it is not circularity in the sense of an output being forced by construction from its own inputs. The derived finite-sum scattering amplitude (116) is structurally expected from periodicity and the truncation pΠk S^m pΠk = 0 for m ≥ 2k/K, which is proven in Appendix A. The one-sided Fourier assumption (5) is a stated scope limitation, not a hidden self-imported premise. The only internal checks (homogeneous-slab limit and reciprocity) are necessary but not sufficient to validate the quoted DFSS mapping for TE/TM-Bergmann gratings; a numerical benchmark would reduce this uncertainty. This concern is a correctness/validation gap, not a circular reduction, and does not raise the circularity score above 1.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted to data; the derivation is parameter-free. The central claim rests on the authors' prior DFSS framework (self-cited), the one-sided Fourier class condition, the convergence condition (44), and the no-spectral-singularity assumption. No new physical entities are introduced.

assumptions (5)
  • domain assumption Fundamental transfer matrix equals the effective evolution operator: xM = Π_k U(∞,−∞) Π_k (Eq. (32)), and the coefficient series (23)–(26).
    Imported from the authors' Refs [7,14,16,19] without proof in this preprint; the exact-solvability proof is built on these identities.
  • domain assumption Grating profile is one-sided: (5) has only nonnegative Fourier harmonics e^{inKy}, n=0..N, for both ε and μ.
    The Dyson-series truncation (53) requires only positive powers of the shift S in the effective Hamiltonian; two-sided (real) periodic profiles would break exact solvability.
  • domain assumption Condition (44): Σ_{n=1}^N |α_n(x)| < |α0| for all x∈[0,ℓ], ensuring absolute convergence of the inverse-α expansion (45).
    Needed for the series expansion of α^{-1} used to construct the effective Hamiltonian; stated by the authors in §3.4.
  • domain assumption No spectral singularities: M0,22(p) ≠ 0 for |p| < k (passive grating condition).
    Required to invert xM22 via (95); the authors note spectral singularities mark lasing onset.
  • standard math TE/TM wave equations reduce to the Bergmann equation (8) with α, β as in (9) for effectively 2D media.
    Standard derivation from Maxwell's equations; stated in §2.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exactly Solvable Diffraction-Grating Scattering Problems for TE and TM waves." pith.science (2026). https://pith.science/paper/DYUTJQP2

@misc{pith2026260713287,
  author       = {Pith},
  title        = {Pith review of: Exactly Solvable Diffraction-Grating Scattering Problems for TE and TM waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DYUTJQP2}},
  note         = {Machine review of arXiv:2607.13287}
}
abstract

In J.~Phys.~A {\bf 31}, 3493 (1998), Berry provides an analytic solution of the problem of determining the diffracted beam intensities for atoms incident upon a grating given by the potential, $v(x,y):=iV_0(e^{i\mathfrak{K}\,y}-1)$ for $0\leq x\leq\ell$ and $v(x,y):=0$ otherwise, where $V_0, \mathfrak{K}$, and $\ell$ are positive real parameters. This result, which relies on the paraxial approximation, readily applies to the diffraction of transverse electric (TE) waves by the nonmagnetic optical grating given by the relative permittivity, $\hat\varepsilon(x,y):=1-v(x,y)/k^2$, where $k$ is the incident wavenumber. We show that Berry's grating belongs to a larger class of possibly magnetic diffraction gratings whose scattering problem for both TE and transverse magnetic (TM) waves are exactly solvable. Our analysis makes use of a recently developed dynamical formulation of stationary scattering that is based on the idea of mapping the scattering problem to the quantum dynamics generated by an effective non-Hermitian Hamiltonian operator. {We use this formulation to derive explicit analytic expressions for the diffracted beam amplitudes that are valid beyond paraxial approximation.} As a concrete example, we offer the exact solution of the scattering problem for TE and TM waves incident upon a generalization of Berry's grating.

Figures

Figures reproduced from arXiv: 2607.13287 by the authors.

Figure 1
Figure 1. Schematic views of the scattering setup for the scatter [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. The left panel shows a schematic view of the scattering of [PITH_FULL_IMAGE:figures/full_fig_p025_2.png] view at source ↗
Figure 3
Figure 3. Plots of |τ0˘| 2 and |τ1˘| 2 as functions of θ0 for the scattering of right-incident TE and TM waves with wavelength 1.55 µm by a nonmagnetic diffraction grating given by (189) with ℓ “ 2 µm, a0 “ 9.57 ` i0.05, ζ “ 0.03, κ “ 1 µm´1 , and K “ 3.14 µm´1 . Because cos θ0 ă 0, τj` and τj´ respectively correspond to the reflected and transmitted beams. The dashed vertical line marks θ0 “ 167.0 ˝ , i.e., the minimum value… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Plots |τ1˘| 2 as functions of θ0 for the scattering of right-incident TE and TM waves with wavelength 1.55 µm by a nonmagnetic diffraction grating given by (189) with ℓ “ 10 µm, a0 “ 9.57 ` i0.05, ζ “ 0.03, κ “ 1 µm´1 , and K “ 3.14 µm´1 . The dashed vertical line mark…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references

  1. [1]

    M. V. Berry, Lop-sided diffraction by absorbing crystals, J. Phy s. A 31, 3493-3502 (1998)

    1998

  2. [2]

    Born and E

    M. Born and E. Wolf, Principles of Optics (Cambridge University Press, Cambridge, 1999)

    1999

  3. [3]

    Loran and A

    F. Loran and A. Mostafazadeh, Class of exactly solvable scatte ring potentials in two dimen- sions, entangled-state pair generation, and a grazing-angle reso nance effect, Phys. Rev. A 96, 063837 (2017)

    2017

  4. [4]

    C. V. Raman and N. S. N. Nath, The diffraction of light by high frequ ency sound waves: part IV, generalised theory, Proc. Indian Acad. Sci. A 3, 119-25 (1936)

    1936

  5. [5]

    M. V. Berry, The Diffraction of Light by Ultrasound (Academic Press, London, 1966)

    1966

  6. [6]

    Mostafazadeh, A dynamical formulation of one-dimensional s cattering theory and its ap- plications in optics, Ann

    A. Mostafazadeh, A dynamical formulation of one-dimensional s cattering theory and its ap- plications in optics, Ann. Phys. (NY) 341, 77 (2014)

    2014

  7. [7]

    Loran and A

    F. Loran and A. Mostafazadeh, Fundamental transfer matrix and dynamical formulation of stationary scattering in two and three dimensions, Phys. Rev. A 104, 032222 (2021)

    2021

  8. [8]

    Loran and A

    F. Loran and A. Mostafazadeh, Fundamental transfer matrix for electromagnetic waves, scat- tering by a planar collection of point scatterers, and anti-PT -symm etry, Phys. Rev. A 107, 012203 (2023)

    2023

Show all 31 references
  1. [9]

    W. R. Klein and B. D. Cook, Unified approach to ultrasonic light diffra ction, IEEE Trans. Sonics Ultraso. 14, 123-134 (1967)

    1967

  2. [10]

    Moharam and L

    M.G. Moharam and L. Young, Criterion for Bragg and Raman-Nat h diffraction regimes, Appl. Opt. 17, 1758-1759 (1978)

    1978

  3. [11]

    S. Y. Reutskiya and B. Tirozzib, A meshless boundary method fo r 2D problems of elec- tromagnetic scattering from inhomogeneous bodies; H-polarized w aves, J. Quant. Spectrosc. Radiat. Transf. 83, 313-320 (2004)

    2004

  4. [12]

    P. G. Bergmann, The wave equation in a medium with a variable index of refraction, J. Acoust. Soc. Am. 17, 329-333 (1946)

    1946

  5. [13]

    P. A. Martin, Acoustic scattering by inhomogeneous obstacles , SIAM J. Appl. 64, 297-308 (2003)

    2003

  6. [14]

    Loran and A

    F. Loran and A. Mostafazadeh, Scattering of transverse ele ctric and transverse magnetic waves and quantum dynamics generated by non-Hermitian Hamiltonia ns, Prog. Theor. Exp. Phys. 2024, 123A01 (2024)

    2024

  7. [15]

    Loran, A

    F. Loran, A. Mostafazadeh, and C. Yeti¸ smi¸ so˘ glu, Low-Frequency Scattering of TE and TM Waves by an Inhomogeneous Medium with Planar Symmetry, J. Phys. A: Math. Theor. 58, 395202 (2025). 33

    2025

  8. [16]

    Loran and A

    F. Loran and A. Mostafazadeh, Scattering of TE and TM waves by inhomogeneities of a 2D material, low-frequency behavior of the scattering amplitude, and low-frequency invisibility, Prog. Theor. Exp. Phys. 2026, 063A01 (2026)

    2026

  9. [17]

    Taflove, Computational Electrodynamics: The Finite-Difference Tim e-Domain Method (Artech House, Boston, 1995)

    A. Taflove, Computational Electrodynamics: The Finite-Difference Tim e-Domain Method (Artech House, Boston, 1995)

    1995

  10. [18]

    S. K. Adhikari, Quantum scattering in two dimensions, Amer. J. P hys. 54, 362 (1986)

    1986

  11. [19]

    Loran and A

    F. Loran and A. Mostafazadeh, Dynamical formulation of low-f requency scattering in two and three dimensions, Phys. Rev. A 111, 032215 (2025)

    2025

  12. [20]

    J. J. Sakurai, Modern Quantum Mechanics (Addison-Wessley, New York, 1994)

    1994

  13. [21]

    V. G. Veselago, The electrodynamics of substances with simulta neous negative values of ε and µ, Sov. Phys. Uspekhi 10, 509-514 (1968)

    1968

  14. [22]

    D. R. Smith, J .B. Pendry, and M. C. K. Wiltshire, Metamaterials an d negative refractive index, Science 305 788-792 (2004)

    2004

  15. [23]

    Mostafazadeh, Point interactions, metamaterials, and PT- symmetry, Ann

    A. Mostafazadeh, Point interactions, metamaterials, and PT- symmetry, Ann. Phys. (NY) 368, 56-69 (2016)

    2016

  16. [24]

    Mostafazadeh, Spectral singularities of complex scatterin g potentials and infinite reflection and transmission coefficients at real energies, Phys

    A. Mostafazadeh, Spectral singularities of complex scatterin g potentials and infinite reflection and transmission coefficients at real energies, Phys. Rev. Lett. 102, 220402 (2009)

    2009

  17. [25]

    Ghaemi-Dizicheh, A

    H. Ghaemi-Dizicheh, A. Mostafazadeh, and M. Sarisaman, Nonlin ear spectral singularities and laser output intensity, J. Opt. 19, 105601 (2017)

    2017

  18. [26]

    J. W. Strutt M. A. (Lord Rayleigh), Some general theorems re lating to vibrations, Proc. Lond. Math. Soc. s1-4, 357-368 (1873)

  19. [27]

    R. J. Potton, Reciprocity in optics, Rep. Prog. Phys. 67, 717-754 (2004)

    2004

  20. [28]

    De´ ak and T

    L. De´ ak and T. F¨ ul¨ op, Reciprocity in quantum, electromagnetic and other wave scattering, Ann. Phys. (N.Y.) 327, 1050-1077 (2012)

    2012

  21. [29]

    Sigwarth and C

    O. Sigwarth and C. Miniatura, Time reversal and reciprocity, AA PPS Bull. 32, 23 (2022)

    2022

  22. [30]

    L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory , Third edition (Butterworth-Heinemann, Oxford, 2002)

    2002

  23. [31]

    Loran and A

    F. Loran and A. Mostafazadeh, Reciprocity theorem and fund amental transfer matrix, Ann. Phys. (NY) 485, 17313 (2026). 34

    2026

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.