pith. sign in

arxiv: 2512.22480 · v2 · pith:F27RSF3Xnew · submitted 2025-12-27 · 🧮 math-ph · cs.NA· math.AP· math.MP· math.NA

Inverse scattering for waveguides in topological insulators

Guillaume Bal , Xixian Wang , Zhongjian Wang This is my paper

Pith reviewed 2026-05-21 15:54 UTC · model grok-4.3

classification 🧮 math-ph cs.NAmath.APmath.MPmath.NA
keywords inverse scatteringDirac systemtopological insulatorswaveguidesstability estimatesadjoint methodnumerical reconstruction
0
0 comments X

The pith

Short-range perturbations in a Dirac waveguide separating topological insulators can be reconstructed from scattering data.

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

The paper establishes that for a Dirac system modeling a waveguide between two-dimensional topological insulators, a short-range perturbation can be fully recovered from scattering data in a linearized setting and in finite-dimensional approximations when the perturbation is small. Stability estimates are derived in suitable topologies to quantify how errors in the data affect the recovered perturbation. The work also demonstrates practical recovery using a standard adjoint-based numerical scheme and presents simulations that illustrate the theory. A sympathetic reader would care because successful reconstruction would mean scattering measurements alone suffice to locate and characterize defects or modifications inside these waveguides without direct access to the interior.

Core claim

The central claim is that a short-range perturbation of the Dirac operator for the topologically non-trivial waveguide can be fully reconstructed from the scattering data in the linearized setting and in a finite-dimensional setting under a smallness constraint, together with a stability result in appropriate topologies.

What carries the argument

The scattering data generated by the perturbed Dirac operator, which carries the information needed to invert for the unknown short-range perturbation.

If this is right

  • The short-range perturbation can be recovered uniquely from the available scattering measurements.
  • Stability estimates bound the reconstruction error in terms of the size of the data error in appropriate norms.
  • The adjoint method supplies a concrete numerical algorithm that converges to the perturbation under the stated assumptions.
  • The results apply directly to the linearized problem and to small perturbations in finite-dimensional reductions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same scattering-to-perturbation map might remain invertible for other linear Dirac-type models of topological interfaces.
  • The stability estimates could support reconstruction from noisy or incomplete experimental scattering data.
  • Extending the analysis beyond the short-range and small-perturbation regime would require new estimates but would enlarge the class of detectable defects.

Load-bearing premise

The waveguide is described by the specific Dirac system separating two-dimensional topological insulators and the perturbation is short-range.

What would settle it

If scattering data collected from a known short-range perturbation of the Dirac waveguide fails to determine that perturbation uniquely in the linearized or small finite-dimensional regime, the reconstruction claim would be falsified.

Figures

Figures reproduced from arXiv: 2512.22480 by Guillaume Bal, Xixian Wang, Zhongjian Wang.

Figure 1
Figure 1. Figure 1: depicts the evolution of the relative reconstruction error E(i) as a function of the number of iterations i for various noise levels. In the noise-free case, the relative reconstruction error decreases steadily over the iterations. In the presence of noise, the error E saturates after an initial decay. The saturation level increases with the noise variance σ 2 , indicating a noise-dependent error floor. 20… view at source ↗
Figure 2
Figure 2. Figure 2: Reconstruction of the potential from TR matrices with no [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Reconstructions (top) and absolute errors (bottom) u [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: reports the relative reconstruction error E as a function of the iteration number for different choices of scattering data. For the observation set M0 , where all coefficients of the TR matrices are used, the error decays most rapidly, as expected. For the observation set associated with MA, the reconstruction remains stable with E decreasing steadily to values below 10−2 with about 500 iterations. This co… view at source ↗
Figure 5
Figure 5. Figure 5: Reconstruction error measured by E and Eavg with respect to iteration steps. We now consider the roles of transmission and reflection scattering data on the reconstruction of a scalar potential, also with unbounded support. Proposition 5.2. Let V (x, y) = V0(x)I2 be a scalar potential. In the linearized scattering regime, the only nontrivial entries of the scattering matrix that depend on V0(x) are (i) Tra… view at source ↗
Figure 6
Figure 6. Figure 6: Relative errors of recovered potentials by various obser [PITH_FULL_IMAGE:figures/full_fig_p020_6.png] view at source ↗
read the original abstract

This paper concerns the inverse scattering problem of a topologically non-trivial waveguide separating two-dimensional topological insulators. We consider the specific model of a Dirac system. We show that a short-range perturbation can be fully reconstructed from scattering data in a linearized setting and in a finite-dimensional setting under a smallness constraint. We also provide a stability result in appropriate topologies. We then solve the problem numerically by means of a standard adjoint method and illustrate our theoretical findings with several numerical simulations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript addresses the inverse scattering problem for a topologically non-trivial waveguide modeled by a Dirac system separating two-dimensional topological insulators. It establishes that short-range perturbations can be fully reconstructed from scattering data in a linearized setting and in a finite-dimensional setting under a smallness constraint, provides a stability result in appropriate topologies, and illustrates the findings via numerical simulations using a standard adjoint method.

Significance. If the results hold, the work advances inverse scattering theory by applying it to Dirac operators in topological settings, which is relevant for condensed matter applications. The explicit scoping to linearized and finite-dimensional regimes with a smallness constraint enables rigorous proofs, while the stability estimates and numerical support strengthen the contribution. The combination of theoretical reconstruction with adjoint-method illustrations is a positive aspect.

minor comments (3)
  1. Abstract: the phrase 'appropriate topologies' for the stability result is vague; specifying the topologies (e.g., in terms of Sobolev or weighted spaces) would improve clarity for readers unfamiliar with the setting.
  2. Numerical section: the simulations should explicitly verify or discuss satisfaction of the smallness constraint on the perturbation to ensure they remain within the regime where the theoretical reconstruction and stability guarantees apply.
  3. Introduction or setup section: the Dirac system modeling the waveguide could include a brief reminder of the topological index or Chern number to connect more explicitly to the non-trivial topology mentioned in the title.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive summary of our work on inverse scattering for Dirac waveguides in topological insulators and for recommending minor revision. No specific major comments appear in the report, so we have no point-by-point replies to offer at present. We will incorporate any minor editorial or technical adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's central claims concern reconstruction of short-range perturbations from scattering data for a Dirac waveguide model, explicitly scoped to a linearized setting, a finite-dimensional setting under smallness constraints, and a stability result. These are presented as following from standard inverse scattering techniques on Dirac operators without any reduction of the target quantities to fitted parameters, self-definitions, or load-bearing self-citations. The abstract and claim structure indicate independent mathematical content derived from the scattering data under the stated assumptions, with numerical illustrations serving as verification rather than circular inputs. No equations or steps in the provided description reduce the predictions to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central claim rests on standard domain assumptions in scattering theory for Dirac operators; no free parameters or invented entities are explicitly introduced.

axioms (1)
  • domain assumption The waveguide separating two-dimensional topological insulators is modeled by a Dirac system with short-range perturbation.
    This modeling choice is stated as the specific setting for which reconstruction holds.

pith-pipeline@v0.9.0 · 5601 in / 1262 out tokens · 72184 ms · 2026-05-21T15:54:37.286568+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    Spectral properties of Schr¨ odinger operato rs and scattering theory

    Shmuel Agmon. Spectral properties of Schr¨ odinger operato rs and scattering theory. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , Ser. 4, 2(2):151–218, 1975

    work page 1975

  2. [2]

    Direct and inve rse medium scattering in a three-dimensional homogeneous planar waveguide

    Tilo Arens, Drossos Gintides, and Armin Lechleiter. Direct and inve rse medium scattering in a three-dimensional homogeneous planar waveguide. SIAM Journal on Applied Mathematics , 71(3):753–772, 2011

    work page 2011

  3. [3]

    Continuous bulk and interface description of topolog ical insulators

    Guillaume Bal. Continuous bulk and interface description of topolog ical insulators. Journal of Mathematical Physics , 60(8):081506, 2019

    work page 2019

  4. [4]

    Topological protection of perturbed edge states

    Guillaume Bal. Topological protection of perturbed edge states. Communications in Mathe- matical Sciences, 17(1):193–225, 2019. 27

    work page 2019

  5. [5]

    Topological insulators and the bulk-edge correspon dence

    Guillaume Bal. Topological insulators and the bulk-edge correspon dence. To appear in Oper- ator Theory, Springer Verlag , 2025

    work page 2025

  6. [6]

    Asymmetric t ransport computations in Dirac models of topological insulators

    Guillaume Bal, Jeremy G Hoskins, and Zhongjian Wang. Asymmetric t ransport computations in Dirac models of topological insulators. Journal of Computational Physics , page 112151, 2023

    work page 2023

  7. [7]

    Z2 classification of FTR symmetric differential operators and obstruction to Anderson localization

    Guillaume Bal and Zhongjian Wang. Z2 classification of FTR symmetric differential operators and obstruction to Anderson localization. Journal of Physics A: Mathematical and Theoretical , 57(28):285202, 2024

    work page 2024

  8. [8]

    Beals and R.R

    R. Beals and R.R. Coifman. Scattering and inverse scattering for first order systems. Com- munications on Pure and Applied Mathematics , 37(1):39–90, 1984

    work page 1984

  9. [9]

    Topological insulators and topological superconduc- tors

    B Andrei Bernevig and Taylor L Hughes. Topological insulators and topological superconduc- tors. Princeton university press, 2013

    work page 2013

  10. [10]

    Scattering in a partially open waveguide: the inverse problem

    Laurent Bourgeois, Jean-Fran¸ cois Fritsch, and Arnaud Rec oquillay. Scattering in a partially open waveguide: the inverse problem. Inverse Problems and Imaging , 17(2):463–469, 2023

    work page 2023

  11. [11]

    G. Chavent. Nonlinear least squares for inverse problems: theoretical foundations and step- by-step guide for applications . Springer Science & Business Media, 2009

    work page 2009

  12. [12]

    Scattering theory of topologically pr otected edge transport

    Binglu Chen and Guillaume Bal. Scattering theory of topologically pr otected edge transport. Pure and Applied Analysis , 7(3):701–731, 2025

    work page 2025

  13. [13]

    D. L. Colton and R. Kress. Inverse acoustic and electromagnetic scattering theory . Springer Verlag, Berlin, 1998

    work page 1998

  14. [14]

    Topological or igin of equatorial waves

    Pierre Delplace, JB Marston, and Antoine Venaille. Topological or igin of equatorial waves. Science, 358(6366):1075–1077, 2017

    work page 2017

  15. [15]

    V. Isakov. Inverse Problems for Partial Differential Equations . Springer Verlag, New York, second edition, 2010

    work page 2010

  16. [16]

    Forwar d and inverse scattering on manifolds with asymptotically cylindrical ends

    Hiroshi Isozaki, Yaroslav Kurylev, and Matti Lassas. Forwar d and inverse scattering on manifolds with asymptotically cylindrical ends. Journal of functional analysis , 258(6):2060– 2118, 2010

    work page 2060

  17. [17]

    Bulk and boundary inva riants for complex topo- logical insulators: from k-theory to physics

    Emil Prodan and Hermann Schulz-Baldes. Bulk and boundary inva riants for complex topo- logical insulators: from k-theory to physics. Mathematical Physics Studies , 2016

    work page 2016

  18. [18]

    Topological superconducto rs: a review

    Masatoshi Sato and Yoichi Ando. Topological superconducto rs: a review. Reports on Progress in Physics , 80(7):076501, 2017

    work page 2017

  19. [19]

    Curtis R. Vogel. Computational methods for inverse problems . SIAM, 2002

    work page 2002

  20. [20]

    The universe in a helium droplet , volume 117

    Grigory E Volovik. The universe in a helium droplet , volume 117. Oxford University Press on Demand, 2003

    work page 2003

  21. [21]

    Three lectures on topological phases of matte r

    Edward Witten. Three lectures on topological phases of matte r. La Rivista del Nuovo Cimento , 39(7):313–370, 2016. 28

    work page 2016