pith. sign in

arxiv: 2604.02982 · v2 · submitted 2026-04-03 · 🧮 math.AP · math-ph· math.FA· math.MP· math.SP

Characterization of spacetime singularities for the Schr\"odinger equation by initial state

Takeru Fujii , Kenichi Ito This is my paper

Pith reviewed 2026-05-13 18:17 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.FAmath.MPmath.SP
keywords Schrödinger equationwave front setspacetime singularitiesEgorov formulametric perturbationsublinear potentialhigh-energy scatteringmicrolocal analysis
0
0 comments X

The pith

The spacetime singularities of Schrödinger solutions are fixed by the free solution's wave front set plus high-energy scattering data.

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

The paper shows how the spacetime singularities of solutions to the Schrödinger equation with a metric perturbation and sublinear potential can be read off from simpler data. It proves that the quasi-homogeneous wave front set of any such solution is completely determined by the wave front set of the corresponding free solution together with classical high-energy scattering information. In one spatial dimension the same information reduces further to the homogeneous wave front set of the initial data alone. This matters because it converts the problem of tracking singularities through the full perturbed dynamics into a question about initial data and classical trajectories.

Core claim

The quasi-homogeneous wave front set of a solution to the Schrödinger equation with a metric perturbation and a sublinear potential is characterized by that of the free solution and classical high-energy scattering data. In the one-dimensional case it further reduces to the homogeneous wave front set of the initial time-slice. The argument proceeds by implementing an Egorov-type formula for the free propagator and a partition of unity that respects the classical flow.

What carries the argument

The quasi-homogeneous wave front set, which records singularities with respect to scaled space-time frequencies.

If this is right

  • The location of spacetime singularities in the perturbed solution is completely determined once the free solution's wave front set and the scattering data are known.
  • In one dimension the singularities at any later time are read directly from the homogeneous wave front set of the initial slice.
  • The propagation of singularities follows the classical flow exactly because the Egorov formula holds without remainder terms.
  • Any initial data whose free evolution avoids certain scaled frequencies will produce a solution that avoids the corresponding spacetime singularities.

Where Pith is reading between the lines

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

  • The same reduction might apply to other dispersive equations once an exact Egorov formula is available for their free propagators.
  • Numerical checks could compare the predicted wave front sets against direct simulations for concrete low-dimensional metrics.
  • The scattering data term offers a concrete link between quantum singularity propagation and classical high-energy trajectories.

Load-bearing premise

The metric perturbation and sublinear potential must allow an exact Egorov-type formula for the free propagator together with a partition of unity that matches the classical flow.

What would settle it

An explicit solution in one dimension whose homogeneous wave front set at positive times differs from the one predicted by the initial data under the stated conditions on the metric and potential.

read the original abstract

We discuss spacetime singularities of a solution to the Schr\"odinger equation with a metric perturbation and a sublinear potential. The quasi-homogeneous wave front set, due to Lascar (1977), of a solution is characterized by that of the free solution, and a classical high-energy scattering data. In the one-dimensional case, it further reduces to the homogeneous wave front set, due to Nakamura (2005), of the initial time-slice. For the proof of the former result we implement an idea inspired by Nakamura (2009), which was originally devised for spatial singularities of the Schr\"odinger equation. As for the latter result, we use an exact Egorov-type formula for the free propagator, and a special partition of unity conforming with the classical flow.

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

2 major / 2 minor

Summary. The paper claims to characterize the quasi-homogeneous wave front set of solutions to the Schrödinger equation with a metric perturbation and sublinear potential by the wave front set of the free solution together with classical high-energy scattering data. In the one-dimensional case the characterization reduces further to the homogeneous wave front set of the initial time-slice. The proofs adapt an idea from Nakamura (2009) for the general case and invoke an exact Egorov-type formula plus a flow-adapted partition of unity for the one-dimensional reduction.

Significance. If the central claims are established with the required estimates, the work would extend microlocal propagation results for Schrödinger operators to variable metrics and sublinear potentials, providing a concrete link between spacetime singularities and initial data via scattering data. The approach builds directly on Lascar’s quasi-homogeneous wave-front set and Nakamura’s earlier techniques; the explicit use of an Egorov formula and flow-adapted cutoffs, if rigorously justified, would constitute a reusable technical contribution.

major comments (2)
  1. [proof of the main characterization (Egorov formula and partition of unity)] The central claim that the metric perturbation and sublinear potential permit an exact Egorov-type formula for the free propagator (invoked for both the general and one-dimensional results) is load-bearing yet unsupported by explicit remainder estimates or decay hypotheses on the perturbation. Sublinear growth alone does not automatically cancel commutator errors in the microlocal high-energy regime, and the adaptation of Nakamura (2009) therefore requires additional verification that the symbol transport is exact.
  2. [one-dimensional case] In the one-dimensional reduction, the statement that the quasi-homogeneous wave front set equals the homogeneous wave front set of the initial slice rests on a “special partition of unity conforming with the classical flow.” No explicit construction, symbol estimates, or verification that the cutoffs preserve the exact transport are supplied, leaving the reduction unverified.
minor comments (2)
  1. [Introduction / Abstract] The abstract and introduction should state the precise function-space and decay assumptions on the metric perturbation and potential at the outset, rather than deferring them to the proof sections.
  2. [Preliminaries] Notation for the quasi-homogeneous wave front set (Lascar) and the homogeneous wave front set (Nakamura) should be introduced with a brief reminder of their definitions to improve readability for readers outside the immediate microlocal-analysis community.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We agree that the manuscript requires additional explicit details to fully support the central claims and will revise accordingly.

read point-by-point responses

  1. Referee: [proof of the main characterization (Egorov formula and partition of unity)] The central claim that the metric perturbation and sublinear potential permit an exact Egorov-type formula for the free propagator (invoked for both the general and one-dimensional results) is load-bearing yet unsupported by explicit remainder estimates or decay hypotheses on the perturbation. Sublinear growth alone does not automatically cancel commutator errors in the microlocal high-energy regime, and the adaptation of Nakamura (2009) therefore requires additional verification that the symbol transport is exact.

    Authors: We agree that the current presentation lacks sufficient explicit remainder estimates. In the revised manuscript we will add a new subsection deriving the Egorov-type formula in detail, including precise commutator estimates that confirm the errors vanish microlocally in the high-energy regime under the stated sublinear growth conditions on the metric perturbation and potential. This will make the adaptation of the Nakamura (2009) argument fully rigorous and self-contained. revision: yes

  2. Referee: [one-dimensional case] In the one-dimensional reduction, the statement that the quasi-homogeneous wave front set equals the homogeneous wave front set of the initial slice rests on a “special partition of unity conforming with the classical flow.” No explicit construction, symbol estimates, or verification that the cutoffs preserve the exact transport are supplied, leaving the reduction unverified.

    Authors: We acknowledge that the construction and verification of the flow-adapted partition of unity were only outlined. In the revision we will supply the explicit definition of the cutoffs, the corresponding symbol estimates, and a direct verification that they preserve exact transport along the classical flow, thereby confirming the reduction to the homogeneous wave front set of the initial time-slice. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external cited results

full rationale

The paper characterizes the quasi-homogeneous wave front set via the free solution and classical scattering data, implementing an idea from Nakamura (2009) for the general case and using an exact Egorov-type formula plus flow-adapted partition of unity for the 1D reduction to Nakamura (2005). These are external citations, not self-citations by Fujii-Ito, and the central claim does not reduce any derived quantity to a fitted input or self-referential definition by construction. The stated hypotheses on metric perturbation and sublinear potential are used to justify the formulas without the result becoming tautological. This is a standard non-circular application of prior literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard microlocal-analysis definitions and cited propagation results; no free parameters or new entities are introduced.

axioms (2)
  • standard math Quasi-homogeneous wave front set properties (Lascar 1977)
    Used to characterize singularities of the solution.
  • domain assumption Exact Egorov-type formula for the free propagator
    Invoked for the one-dimensional reduction.

pith-pipeline@v0.9.0 · 5435 in / 1065 out tokens · 46150 ms · 2026-05-13T18:17:26.114550+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.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We discuss spacetime singularities of a solution to the Schrödinger equation with a metric perturbation and a sublinear potential. The quasi-homogeneous wave front set... is characterized by that of the free solution, and a classical high-energy scattering data... we use an exact Egorov-type formula for the free propagator, and a special partition of unity conforming with the classical flow.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Assumption 1.1... short-range conditions in the high-energy regime... classical Hamiltonian flow... lim t→±∞ |x(t;s,y,η)|=∞

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

43 extracted references · 43 canonical work pages

  1. [1]

    Internat., Univ

    Louis Boutet de Monvel,Propagation des singularit´ es des solutions d’´ equations analogues ` a l’´ equation de Schr¨ odinger, Fourier integral operators and partial differential equations (Colloq. Internat., Univ. Nice, Nice, 1974), Lecture Notes in Math., vol. Vol. 459, Springer, Berlin-New York, 1974, pp. 1–

    work page 1974

  2. [2]

    Marco Cappiello, Luigi Rodino, and Patrik Wahlberg,Propagation of anisotropic Gabor singularities for Schr¨ odinger type equations, J. Evol. Equ. 24(2024), no. 2, Paper No. 36, 46. MR 4727203

    work page 2024

  3. [3]

    Pseudo-Differ

    Elena Cordero and Fabio Nicola,On the Schr¨ odinger equation with potential in modulation spaces, J. Pseudo-Differ. Oper. Appl.5(2014), no. 3, 319–341. MR 3249939

    work page 2014

  4. [4]

    Elena Cordero, Fabio Nicola, and Luigi Rodino,Propagation of the Gabor wave front set for Schr¨ odinger equations with non-smooth potentials, Rev. Math. Phys.27(2015), no. 1, 1550001, 33. MR 3317554

    work page 2015

  5. [5]

    Pure Appl

    Walter Craig, Thomas Kappeler, and Walter Strauss,Microlocal dispersive smoothing for the Schr¨ odinger equation, Comm. Pure Appl. Math.48(1995), no. 8, 769–860. MR 1361016

    work page 1995

  6. [6]

    J.82(1996), no

    Shin-ichi Doi,Smoothing effects of Schr¨ odinger evolution groups on Rieman- nian manifolds, Duke Math. J.82(1996), no. 3, 679–706. MR 1387689

    work page 1996

  7. [7]

    Shota Fukushima,Propagation of singularities under Schr¨ odinger equations on manifolds with ends, 2022

    work page 2022

  8. [8]

    Jesse Gell-Redman, Sean Gomes, and Andrew Hassell,Propagation estimates and Fredholm analysis for the time-dependent Schr¨ odinger equation, Amer. J. Math.147(2025), no. 6, 1577–1652. MR 4995130

    work page 2025

  9. [9]

    Andrew Hassell and Jared Wunsch,The Schr¨ odinger propagator for scattering metrics, Ann. of Math. (2)162(2005), no. 1, 487–523. MR 2178967

    work page 2005

  10. [10]

    1495, Springer, Berlin, 1991, pp

    Lars H¨ ormander,Quadratic hyperbolic operators, Microlocal analysis and ap- plications (Montecatini Terme, 1989), Lecture Notes in Math., vol. 1495, Springer, Berlin, 1991, pp. 118–160. MR 1178557

    work page 1989

  11. [11]

    Partial Differential Equations 31(2006), no

    Kenichi Ito,Propagation of singularities for Schr¨ odinger equations on the Eu- clidean space with a scattering metric, Comm. Partial Differential Equations 31(2006), no. 10-12, 1735–1777. MR 2273972

    work page 2006

  12. [12]

    Kenichi Ito and Shu Nakamura,Singularities of solutions to the Schr¨ odinger equation on scattering manifold, Amer. J. Math.131(2009), no. 6, 1835–1865. MR 2567509

    work page 2009

  13. [13]

    Shingo Ito and Keiichi Kato,Wave front set of solutions to Schr¨ odinger equa- tions with perturbed harmonic oscillators, J. Math. Anal. Appl.507(2022), no. 2, Paper No. 125821, 17. MR 4343775 30

    work page 2022

  14. [14]

    Kunihiko Kajitani and Giovanni Taglialatela,Microlocal smoothing effect for Schr¨ odinger equations in Gevrey spaces, J. Math. Soc. Japan55(2003), no. 4, 855–896. MR 2003749

    work page 2003

  15. [15]

    Kunihiko Kajitani and Seiichiro Wakabayashi,Analytically smoothing effect for Schr¨ odinger type equations with variable coefficients, Direct and inverse problems of mathematical physics (Newark, DE, 1997), Int. Soc. Anal. Appl. Comput., vol. 5, Kluwer Acad. Publ., Dordrecht, 2000, pp. 185–219. MR 1766299

    work page 1997

  16. [16]

    Math.50(2014), no

    Keiichi Kato and Shingo Ito,Singularities for solutions to time dependent Schr¨ odinger equations with sub-quadratic potential, SUT J. Math.50(2014), no. 2, 383–398. MR 3309206

    work page 2014

  17. [17]

    B33, Res

    Keiichi Kato, Shingo Ito, and Masaharu Kobayashi,Application of wave packet transform to Schr¨ odinger equations, Harmonic analysis and nonlin- ear partial differential equations, RIMS Kˆ okyˆ uroku Bessatsu, vol. B33, Res. Inst. Math. Sci. (RIMS), Kyoto, 2012, pp. 29–39. MR 3050803

    work page 2012

  18. [18]

    Math.54(2017), no

    Keiichi Kato, Masaharu Kobayashi, and Shingo Ito,Remark on characteriza- tion of wave front set by wave packet transform, Osaka J. Math.54(2017), no. 2, 209–228. MR 3657227

    work page 2017

  19. [19]

    Richard Lascar,Propagation des singularit´ es des solutions d’´ equations pseudo- diff´ erentielles quasi homog` enes, Ann. Inst. Fourier (Grenoble)27(1977), no. 2, vii–viii, 79–123. MR 461592

    work page 1977

  20. [20]

    MR 1872698

    Andr´ e Martinez,An introduction to semiclassical and microlocal analysis, Universitext, Springer-Verlag, New York, 2002. MR 1872698

    work page 2002

  21. [21]

    Pure Appl

    Andr´ e Martinez, Shu Nakamura, and Vania Sordoni,Analytic smoothing effect for the Schr¨ odinger equation with long-range perturbation, Comm. Pure Appl. Math.59(2006), no. 9, 1330–1351. MR 2237289

    work page 2006

  22. [22]

    Math.222(2009), no

    ,Analytic wave front set for solutions to Schr¨ odinger equations, Adv. Math.222(2009), no. 4, 1277–1307. MR 2554936

    work page 2009

  23. [23]

    Partial Differential Equations35(2010), no

    ,Analytic wave front set for solutions to Schr¨ odinger equations II— long range perturbations, Comm. Partial Differential Equations35(2010), no. 12, 2279–2309. MR 2763356

    work page 2010

  24. [24]

    Melrose,Spectral and scattering theory for the Laplacian on asymp- totically Euclidian spaces, Spectral and scattering theory (Sanda, 1992), Lec- ture Notes in Pure and Appl

    Richard B. Melrose,Spectral and scattering theory for the Laplacian on asymp- totically Euclidian spaces, Spectral and scattering theory (Sanda, 1992), Lec- ture Notes in Pure and Appl. Math., vol. 161, Dekker, New York, 1994, pp. 85–

    work page 1992

  25. [25]

    Ryuichiro Mizuhara,Microlocal smoothing effect for the Schr¨ odinger evolution equation in a Gevrey class, J. Math. Pures Appl. (9)91(2009), no. 2, 115–136. MR 2498751

    work page 2009

  26. [26]

    J.126(2005), no

    Shu Nakamura,Propagation of the homogeneous wave front set for Schr¨ odinger equations, Duke Math. J.126(2005), no. 2, 349–367. MR 2115261

    work page 2005

  27. [27]

    ,Semiclassical singularities propagation property for Schr¨ odinger equa- tions, J. Math. Soc. Japan61(2009), no. 1, 177–211. MR 2272875

    work page 2009

  28. [28]

    ,Wave front set for solutions to Schr¨ odinger equations, J. Funct. Anal. 256(2009), no. 4, 1299–1309. MR 2488342

    work page 2009

  29. [29]

    22(2015), no

    Fabio Nicola and Luigi Rodino,Propagation of Gabor singularities for semi- linear Schr¨ odinger equations, NoDEA Nonlinear Differential Equations Appl. 22(2015), no. 6, 1715–1732. MR 3415019

    work page 2015

  30. [30]

    Math.25 (2001), no

    Takashi ¯Okaji,A note on the wave packet transforms, Tsukuba J. Math.25 (2001), no. 2, 383–397. MR 1869770

    work page 2001

  31. [31]

    Parenti and F

    C. Parenti and F. Seg` ala,Propagation and reflection of singularities for a class of evolution equations, Comm. Partial Differential Equations6(1981), no. 7, 741–782. MR 623644

    work page 1981

  32. [32]

    J.100(1999), no

    Luc Robbiano and Claude Zuily,Microlocal analytic smoothing effect for the Schr¨ odinger equation, Duke Math. J.100(1999), no. 1, 93–129. MR 1714756

    work page 1999

  33. [33]

    Partial Differential Equa- tions25(2000), no

    ,Effet r´ egularisant microlocal analytique pour l’´ equation de Schr¨ odinger: le cas des donn´ ees oscillantes, Comm. Partial Differential Equa- tions25(2000), no. 9-10, 1891–1906. MR 1778784

    work page 2000

  34. [34]

    283, vi+128

    ,Analytic theory for the quadratic scattering wave front set and appli- cation to the Schr¨ odinger equation, Ast´ erisque (2002), no. 283, vi+128. MR 1958605

    work page 2002

  35. [35]

    Luigi Rodino and S. Ivan Trapasso,An introduction to the gabor wave front set, Anomalies in Partial Differential Equations (Cham) (Massimo Cicognani, Daniele Del Santo, Alberto Parmeggiani, and Michael Reissig, eds.), Springer International Publishing, 2021, pp. 369–393

    work page 2021

  36. [36]

    Papers College Gen

    Tsutomu Sakurai,Quasihomogeneous wave front set and fundamental solu- tions for the Schr¨ odinger operator, Sci. Papers College Gen. Ed. Univ. Tokyo 32(1982), no. 1, 1–13. MR 674445 32

    work page 1982

  37. [37]

    Japan Acad

    ,Propagation of singularities of solutions to semilinear Schr¨ odinger equations, Proc. Japan Acad. Ser. A Math. Sci.61(1985), no. 2, 31–34. MR 798031

    work page 1985

  38. [38]

    Partial Differential Equations42(2017), no

    Ren´ e Schulz and Patrik Wahlberg,Equality of the homogeneous and the Gabor wave front set, Comm. Partial Differential Equations42(2017), no. 5, 703–

    work page 2017

  39. [39]

    Partial Differential Equations29(2004), no

    J´ er´ emie Szeftel,R´ eflexion des singularit´ es pour l’´ equation de Schr¨ odinger, Comm. Partial Differential Equations29(2004), no. 5-6, 707–761. MR 2059146

    work page 2004

  40. [40]

    Math.28(2004), no

    Hideki Takuwa,Analytic smoothing effects for a class of dispersive equations, Tsukuba J. Math.28(2004), no. 1, 1–34. MR 2082219

    work page 2004

  41. [41]

    J.98(1999), no

    Jared Wunsch,Propagation of singularities and growth for Schr¨ odinger oper- ators, Duke Math. J.98(1999), no. 1, 137–186. MR 1687567

    work page 1999

  42. [42]

    Anal- yse Math.56(1991), 29–76

    Kenji Yajima,Schr¨ odinger evolution equations with magnetic fields, J. Anal- yse Math.56(1991), 29–76. MR 1243098

    work page 1991

  43. [43]

    ,Smoothness and non-smoothness of the fundamental solution of time dependent Schr¨ odinger equations, Comm. Math. Phys.181(1996), no. 3, 605–

    work page 1996