Determining potentials from the scattering map of the time-dependent Schr\"odinger equation
Pith reviewed 2026-06-26 04:20 UTC · model grok-4.3
The pith
Scattering maps and Poisson operators for two Schrödinger operators differ by a compact operator at a critical level if and only if their potentials are identical.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a certain class of metrics, the scattering maps and Poisson operators associated to two Schrödinger operators on the same curved space only differ by a compact operator on a critical level if and only if the two potentials are equal.
What carries the argument
The scattering map, which sends the asymptotic profile of solutions as time tends to negative infinity to the profile as time tends to positive infinity, together with the Poisson operators; the criterion that these objects differ by a compact operator at a critical level.
If this is right
- The potential is uniquely determined by the scattering map under the given compactness condition.
- Any two Schrödinger operators whose scattering data agree up to compact perturbation at the critical level must share the same potential.
- The result supplies a rigidity statement for the time-dependent inverse scattering problem on curved spaces.
- The equivalence extends directly to the associated Poisson operators.
Where Pith is reading between the lines
- The same compactness criterion might serve as a test for equality of potentials in numerical reconstructions of the scattering map.
- If the class of metrics can be enlarged, the uniqueness statement could apply to a wider family of asymptotically flat or asymptotically hyperbolic spaces.
- The result suggests examining whether analogous compactness conditions recover other coefficients, such as magnetic potentials or nonlinear terms, in related evolution equations.
Load-bearing premise
The underlying metrics belong to a class in which the scattering maps, Poisson operators, and the notion of differing by a compact operator at a critical level are all well-defined with the needed functional-analytic properties.
What would settle it
Exhibit two distinct potentials on a metric from the allowed class such that the associated scattering maps and Poisson operators differ by a compact operator at the critical level, or prove that no such pair exists.
read the original abstract
For a time dependent Schr\"odinger equation, the scattering map is the map sending the asymptotic profile of a solution as $t \to-\infty$ to its asymptotic profile as $t\to+\infty$. In this paper we show that, for a certain class of metrics, the scattering maps and Poisson operators associated to two Schr\"odinger operators on the same curved space only differ by a compact operator on a critical level if and only if the two potentials are equal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an if-and-only-if uniqueness result for the time-dependent Schrödinger equation on curved spaces: for a certain class of metrics, the scattering maps and Poisson operators associated to two Schrödinger operators differ by a compact operator on a critical level if and only if the potentials are identical.
Significance. If the result holds, it provides a functional-analytic characterization of potentials from scattering data in the time-dependent setting, extending standard inverse-scattering uniqueness theorems to asymptotically controlled manifolds. The compact-difference condition at a critical level is a natural device for handling the relevant operators.
minor comments (1)
- The abstract refers to 'a certain class of metrics' without further specification; the introduction should explicitly delineate the functional-analytic assumptions (e.g., decay rates, curvature bounds) that guarantee the scattering map and Poisson operators are well-defined.
Simulated Author's Rebuttal
We thank the referee for the summary of our manuscript on determining potentials from the scattering map of the time-dependent Schrödinger equation. The recommendation is uncertain, but the report contains no specific major comments to address.
Circularity Check
No circularity: direct uniqueness theorem on scattering maps
full rationale
The paper states a standard if-and-only-if uniqueness result for potentials recovered from scattering maps and Poisson operators differing by a compact operator at a critical level, restricted to a class of metrics where the objects are well-defined. No fitted parameters, self-definitional quantities, or load-bearing self-citations appear in the stated claim; the derivation chain is a mathematical proof of equivalence between two operators' data and the potentials, which is self-contained against external benchmarks and does not reduce any prediction to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence and functional properties of scattering maps and Poisson operators for the time-dependent Schrödinger equation on a certain class of metrics
Reference graph
Works this paper leans on
-
[1]
Z. S. Agranovich and V. A. Marchenko.The inverse problem of scattering theory. Gordon and Breach Science Publishers, New York-London, 1963. Translated from the Russian by B. D. Seckler
1963
-
[2]
Chadan and P
K. Chadan and P. C. Sabatier.Inverse problems in quantum scattering theory. Texts and Monographs in Physics. Springer-Verlag, New York, second edition, 1989. With a foreword by R. G. Newton
1989
-
[3]
J. J. Duistermaat and L. H¨ ormander. Fourier integral operators. II.Acta Math., 128(3-4):183–269, 1972
1972
-
[4]
The geometrical approach to multidimensional inverse scattering.J
Volker Enss and Ricardo Weder. The geometrical approach to multidimensional inverse scattering.J. Math. Phys., 36(8):3902–3921, 1995
1995
-
[5]
I. M. Gelfand and B. M. Levitan. On the determination of a differential equation from its spectral function.Amer. Math. Soc. Transl. (2), 1:253–304, 1955
1955
-
[6]
Propagation estimates and Fredholm analysis for the time- dependent Schr¨ odinger equation.Amer
Jesse Gell-Redman, Sean Gomes, and Andrew Hassell. Propagation estimates and Fredholm analysis for the time- dependent Schr¨ odinger equation.Amer. J. Math., 147(6):1577–1652, 2025
2025
-
[7]
The final state problem for the nonlinear Schr¨ odinger equation in dimensions 1, 2 and 3.Pure Appl
Andrew Hassell and Qiuye Jia. The final state problem for the nonlinear Schr¨ odinger equation in dimensions 1, 2 and 3.Pure Appl. Anal., 8(1):1–39, 2026
2026
-
[8]
Andrew Hassell and Qiuye Jia. The scattering map for the Schrodinger operator on curved spaces.arXiv preprint arXiv:2601.20225, 2026
-
[9]
The Schr¨ odinger propagator for scattering metrics.Annals of Mathematics, pages 487–523, 2005
Andrew Hassell and Jared Wunsch. The Schr¨ odinger propagator for scattering metrics.Annals of Mathematics, pages 487–523, 2005
2005
-
[10]
Fourier integral operators
Lars H¨ ormander. Fourier integral operators. I.Acta Mathematica, 127(none):79 – 183, 1971
1971
-
[11]
Determining metrics from the scattering map of the time-dependent Schr\"odinger equation
Qiuye Jia. Determining metrics from the scattering map of the time-dependent Schr¨ odinger equation.arXiv preprint arXiv:2604.20160, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[12]
The tensorial X-ray transform on asymptotically conic spaces.Inverse Probl
Qiuye Jia and Andr´ as Vasy. The tensorial X-ray transform on asymptotically conic spaces.Inverse Probl. Imaging, 18(4):908–942, 2024
2024
-
[13]
M. S. Joshi. Recovering asymptotics of Coulomb-like potentials from fixed energy scattering data.SIAM J. Math. Anal., 30(3):516–526, 1999
1999
-
[14]
Mark S. Joshi. Recovering the total singularity of a conformal potential from backscattering data.Ann. Inst. Fourier (Grenoble), 48(5):1513–1532, 1998
1998
-
[15]
Joshi and Antˆ onio S´ a Barreto
Mark S. Joshi and Antˆ onio S´ a Barreto. Recovering asymptotics of short range potentials.Comm. Math. Phys., 193(1):197–208, 1998
1998
-
[16]
Joshi and Antˆ onio S´ a Barreto
Mark S. Joshi and Antˆ onio S´ a Barreto. Determining asymptotics of magnetic fields from fixed energy scattering data. Asymptot. Anal., 21(1):61–70, 1999
1999
-
[17]
A scattering theory for time-dependent long-range potentials.Duke Math
Hitoshi Kitada and Kenji Yajima. A scattering theory for time-dependent long-range potentials.Duke Math. J., 49(2):341–376, 1982
1982
-
[18]
A scattering theory for time-dependent long-range potentials
Hitoshi Kitada and Kenji Yajima. Remarks on our paper: “A scattering theory for time-dependent long-range potentials” [Duke Math. J.49(1982), no. 2, 341–376; MR0659945 (83i:35137)].Duke Math. J., 50(4):1005–1016, 1983
1982
-
[19]
AK Peters/CRC Press, 1993
Richard Melrose.The Atiyah-Patodi-Singer index theorem. AK Peters/CRC Press, 1993
1993
-
[20]
Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996
Richard Melrose and Maciej Zworski. Scattering metrics and geodesic flow at infinity.Inventiones Mathematicae, 124(1):389–436, 1996
1996
-
[21]
Richard B. Melrose. Spectral and scattering theory for the Laplacian on asymptotically Euclidian spaces. InSpectral and scattering theory (Sanda, 1992), volume 161 ofLecture Notes in Pure and Appl. Math., pages 85–130. Dekker, New York, 1994
1992
-
[22]
Melrose.Geometric scattering theory
Richard B. Melrose.Geometric scattering theory. Stanford Lectures. Cambridge University Press, Cambridge, 1995
1995
-
[23]
Adrian I. Nachman. Inverse scattering at fixed energy. InMathematical physics, X (Leipzig, 1991), pages 434–441. Springer, Berlin, 1992
1991
-
[24]
Roman G. Novikov. The inverse scattering problem at fixed energy for the three-dimensional Schr¨ odinger equation with an exponentially decreasing potential.Comm. Math. Phys., 161(3):569–595, 1994
1994
-
[25]
The geodesic X-ray transform with matrix weights.American Journal of Mathematics, 141(6):1707–1750, 2019
Gabriel P Paternain, Mikko Salo, G¨ unther Uhlmann, and Hanming Zhou. The geodesic X-ray transform with matrix weights.American Journal of Mathematics, 141(6):1707–1750, 2019
2019
-
[26]
A. G. Ramm. Recovery of the potential from fixed-energy scattering data.Inverse Problems, 4(3):877–886, 1988
1988
-
[27]
Stefanov
Plamen D. Stefanov. Uniqueness of the multi-dimensional inverse scattering problem for time dependent potentials. Math. Z., 201(4):541–559, 1989
1989
-
[28]
A time-dependent approach to the inverse backscattering problem.Inverse Problems, 17(4):703–716,
Gunther Uhlmann. A time-dependent approach to the inverse backscattering problem.Inverse Problems, 17(4):703–716,
-
[29]
Special issue to celebrate Pierre Sabatier’s 65th birthday (Montpellier, 2000)
2000
-
[30]
The inverse problem for the local geodesic ray transform.Inventiones mathematicae, 205(1):83–120, 2016
Gunther Uhlmann and Andr´ as Vasy. The inverse problem for the local geodesic ray transform.Inventiones mathematicae, 205(1):83–120, 2016
2016
-
[31]
Geometric scattering theory for long-range potentials and metrics.International Mathematics Research Notices, 1998(6):285–315, 1998
Andr´ as Vasy. Geometric scattering theory for long-range potentials and metrics.International Mathematics Research Notices, 1998(6):285–315, 1998
1998
-
[32]
The X-ray transform on asymptotically conic spaces.Pure Appl
Andr´ as Vasy and Evangelie Zachos. The X-ray transform on asymptotically conic spaces.Pure Appl. Anal., 6(3):693–730, 2024. DETERMINING POTENTIALS FROM THE SCATTERING MAP 23
2024
-
[33]
Inverse scattering forN-body systems with time-dependent potentials
Ricardo Weder. Inverse scattering forN-body systems with time-dependent potentials. InInverse problems of wave propagation and diffraction (Aix-les-Bains, 1996), volume 486 ofLecture Notes in Phys., pages 27–46. Springer, Berlin, 1997
1996
-
[34]
PhD thesis, Stanford University, 2020
Evangelie Zachos.The X-ray transform on asymptotically Euclidean spaces. PhD thesis, Stanford University, 2020
2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.