Sharp pointwise convergence of Schr\"odinger operator with complex time along curves

Binyu Wang; Zhichao Wang

REVIEW 4 major objections 5 minor 16 references

Sharp pointwise convergence of Schr\"odinger operator with complex time along curves

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For curves that are bilipschitz in $x$ and $\alpha$-Hölder in $t$, the sharp Sobolev exponent for complex-time Schrödinger convergence is an explicit piecewise function of $\gamma$, with all results sharp up to endpoints.

desk verdict Real new range (α<1/2) with plausible sharp thresholds, but the sufficiency proof rests on an uncomputed parameter table and Section 4 states seven fractional theorems without proof. read the letter →

arxiv 2507.03891 v1 pith:KYNRSKYN submitted 2025-07-05 math.AP

Binyu Wang , Zhichao Wang This is my paper · ORCID

classification math.AP MSC 42B25

keywords SchrödingeroperatorcomplextimemaximalfunctionspointwiseconvergencecurvesSobolevspacesoscillatoryintegralsfractional

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

This paper determines the minimal Sobolev regularity needed for the almost-everywhere pointwise convergence of the damped Schrödinger operator $P_\gamma f(\Gamma(x,t),t)$ to $f(x)$ as $t\to0$, for curves $\Gamma$ that are bilipschitz in $x$ and $\alpha$-Hölder in $t$. For every $\alpha\in(0,1]$ it gives a piecewise constant exponent $s(\gamma)$ such that convergence holds for all $f\in H^s$ when $s>s(\gamma)$, and fails for some admissible curve when $s0$ are stated in the same spirit.

What carries the argument

The argument linearizes the maximal operator by a measurable function $t(x)$, then applies the $TT^*$ method, so the central object is the kernel $K(x,y,t(x),t(y))$, an oscillatory integral whose phase contains $\lambda(\Gamma(x,t(x))-\Gamma(y,t(y)))\xi+\lambda^2(t(x)-t(y))|\xi|^2$ and whose integrand contains the Gaussian factor $e^{-\lambda^2(t(x)^\gamma+t(y)^\gamma)|\xi|^2}$. Van der Corput's lemma, applied with the bilipschitz and Hölder conditions, gives the decay bound (2.4), and the Gaussian factor supplies decay in $|t(x)-t(y)|^\gamma$ for any power $\beta$ via $e^{-y}\lesssim y^{-\beta}$. The proof then optimizes a family of $\beta_1,\beta_2$ chosen according to the regime of $(\alpha,\gamma)$ to bound the integral $I(x)$ in (2.9), yielding the $L^2$ maximal estimates. The counterexamples use $\Gamma(x,t)=x-t^\alpha$ and frequency-localized bumps to force the lower bounds on $s$.

What would settle it

Compute the three integrals that make up $I(x)$ in (2.9) at $\gamma=2\alpha$ and $\gamma=1/(2\alpha)$ for $\alpha\in(1/4,1/2)$; if the row for $\gamma\in[1,1/(2\alpha))$ gives an upper bound larger than $C\lambda^{1-2\alpha}$ (or with a logarithm), then the corresponding $L^2$ maximal estimate and hence the sufficiency statement would be false.

Watch

Extended reading notes

Core claim

The central claim is that the threshold for almost-everywhere convergence of (1.6) is exactly $s(\gamma)$ given by the five-piece formula (1.8). Concretely, for $1/4<\alpha<1/2$: convergence holds whenever $s>0$ for $\gamma<2\alpha$; whenever $s>\frac12-\frac{\alpha}{\gamma}$ for $2\alpha\le\gamma<1$; whenever $s>\frac12-\alpha$ for $1\le\gamma<\frac1{2\alpha}$; whenever $s>\frac12(1-\frac1\gamma)$ for $\frac1{2\alpha}\le\gamma<2$; and whenever $s>\frac14$ for $\gamma\ge2$. The same statement is proved in Theorem 1.2 for $0<\alpha\le1/4$ with $s(\gamma)=\min\{(\frac12-\frac{\alpha}{\gamma})_+,\frac12-\alpha\}$, and in Theorem 1.1 for $1/2\le\alpha\le1$ with $s(\gamma)=\min\{\frac12(1-\frac1\gamma)_+,\frac14\}$; each is matched by a curve for which convergence fails below the threshold. The fractional versions in Section 4 assert the analogous thresholds for all $m>0$.

Load-bearing premise

The upper-bound half of the theorems rests on the table in Section 2 that chooses $(\beta_1,\beta_2)$ for each regime of $(\alpha,\gamma)$; if any row of that table is wrong, or if a borderline case such as $\gamma=2\alpha$ or $\gamma=1/(2\alpha)$ produces an extra logarithmic factor, the claimed sufficiency result fails.

Editorial extensions

If this is right

The threshold $s(\gamma)$ for almost-everywhere convergence is now known for every Hölder exponent $\alpha\in(0,1]$ and every $\gamma>0$.
The Gaussian damping $e^{-t^\gamma|\xi|^2}$ lowers the required Sobolev exponent relative to the undamped case in several regimes; for example, when $\gamma<2\alpha$ no Sobolev regularity beyond $L^2$ is needed.
The paper's fractional statements give explicit thresholds for all $m>0$, extending the range of known results for $e^{it(-\Delta)^{m/2}}$ along curves.
The endpoint cases $s=s(\gamma)$ remain undecided; the theorems are sharp only in the sense of $s>s(\gamma)$ versus $s<s(\gamma)$.

Reading between the lines

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

A direct check of the boundary values $\gamma=2\alpha$, $\gamma=1/(2\alpha)$, and of the cases where the denominator exponent in (2.9) equals $1$, would determine whether logarithmic factors are needed; the paper does not display those computations.
The same two-term kernel estimate might extend to higher dimensions or to curves with weaker regularity, but the paper only treats $\mathbb{R}$.
The fractional theorems in Section 4 are stated without proof; a reader who wants to use them should verify that the analogous kernel estimates survive when $|\xi|^m$ replaces $|\xi|^2$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The new result is real: Niu–Xue only covered α∈[1/2,1], and Theorems 1.2 and 1.3 fill in α≤1/4 and the delicate range 1/4<α<1/2 with a piecewise sharp s(γ). The thresholds look right, the counterexamples in Section 3 are concrete and standard, and the method is a sensible continuation of the TT* kernel approach. I do not see circularity, and the self-citation [3] is background only.

The soft spots are in the sufficiency half. The whole upper-bound proof in Section 2 leans on a table of (β1,β2) choices with no computation of the integrals. The stress-test example is fair: for α=1/2, γ∈(0,1), β1=0, the middle integral in (2.9) is ∫_{λ^{-1}}^1 dy/y ~ log λ, not O(1) as the table claims. The row is probably salvageable — choosing β1=ε>0 or using the exponential decay that (2.6) discards would fix it — but the paper does not say which, and the display as written is wrong. The same section also integrates singular kernels down to |x−y|=0 and relies on truncation by K≲λ without spelling it out. Borderline cases γ=2α, γ=1/(2α), and denominator exponent exactly 1 are not checked.

The bigger problem is Section 4. Seven fractional theorems, including piecewise formulas, are stated as sharp with only “proof method is similar” and no proof. For a research paper that is not acceptable as is; either prove them or clearly mark the section as an announcement of results to appear elsewhere.

I would send this to a referee, but with instructions to demand a fully written Section 2 and a decision on Section 4. The main range α∈(0,1/2) is a genuine completion and worth defending. If the table is fixed and Section 4 is either proved or explicitly announced, I would use the main theorems.

Referee Report

4 major / 5 minor

Summary. The paper studies almost-everywhere convergence of the complex-time Schrödinger operator P_γ f(Γ(x,t),t) along curves Γ that are bilipschitz in x and α-Hölder in t. The main results, Theorems 1.1–1.3, give a sharp Sobolev threshold s(γ) for α in [1/2,1], (0,1/4], and (1/4,1/2), respectively, with a five-regime piecewise formula (1.8) in the intermediate range. The sufficiency proofs are via a linearized maximal operator, TT* duality, pointwise kernel estimates, and Schur's test; the necessity proofs use Nikishin–Stein-type counterexamples with Γ(x,t)=x−t^α. Section 4 states seven analogous sharp results for the fractional Schrödinger operator P^m_γ, without proof.

Significance. If the main theorems are correct, the paper closes a gap left by Niu–Xue [8] and gives a sharp threshold for all α∈(0,1), including the previously open tangential range α∈(1/4,1/2). The explicit counterexamples in Theorems 3.1 and 3.2 are a genuine strength: they are concrete, falsifiable, and do not rely on circular reasoning. The claimed five-regime formula (1.8) is also a clean quantitative statement. However, the significance is currently limited by the fact that the upper-bound argument is not actually carried out at the load-bearing step, and the fractional results in Section 4 are asserted without proof.

major comments (4)

[Section 2, Eq. (2.9)] The passage from the pointwise kernel bound (2.4) to the integral bound (2.9) is not justified. The first summand in (2.4) is derived under the case condition |x−y|≲|t(x)−t(y)|^α, while the third summand is derived under the case condition |x−y|≫|t(x)−t(y)|^α together with |x−y|≲λ|t(x)−t(y)|. In (2.9) these bounds are integrated over intervals that depend only on |x−y|, including the full interval 0≤|x−y|≤1, with no dominance argument showing that the pointwise bounds hold on the regions over which they are integrated. The second and third integrands are singular at x=y, so the integrals require truncation, and the displayed inequality I(x)≤... is not established as written.
[Section 2, table, row α=1/2, γ∈(0,1)] The table entry for α∈[1/2,1], γ∈(0,1) chooses β1=0, β2=1/(2γ) and claims I(x)≲1. With this choice, the middle integral in (2.9) over λ^{-2α}≤|x−y|≤1 is ∫_{λ^{-1}}^1 y^{-1}dy≈logλ when α=1/2, and the third integral has the same logarithmic behavior near y=0. Thus the claimed bound does not follow from (2.9). A nonstationary-phase estimate or a different choice of β1 (for instance β1>0 in this regime) may repair the row, but that argument is not supplied. Because every row feeds Schur's test and hence Propositions 2.1–2.3, the sufficiency halves of Theorems 1.1–1.3 are unproved as written.
[Section 2, borderline cases in the table] The proof does not check the borderline parameter cases γ=2α, γ=1/(2α), and the cases where the denominator exponent in the integrals in (2.9) is exactly 1. These are precisely the regimes where logarithmic factors can appear or where the claimed λ-power estimates change. The text asserts the rows of the table without showing the required integral computations or the necessary ε-absorption arguments, so even if the main row above were fixed, the sharp threshold (1.8) would still lack a complete verification at these boundaries.
[Section 4, Theorems 4.1–4.7] Seven sharp theorems are stated with no proof; the text explicitly says 'we will only present the results in Section 4 while omit the proof.' Since these theorems are part of the paper's claims of sharp convergence results, this is not a mere presentation issue. At minimum, the analogue of the kernel estimate (2.4), the corresponding choice table, and the counterexample constructions must be provided or the statements must be clearly marked as conjectural. As written, the fractional results cannot be checked.

minor comments (5)

[Section 1, Notation] The notation line 'We write A /greaterorsimilarB to mean...' contains a corrupted LaTeX command and should read A≳B.
[Page 3 and Section 4] There are several typos, including 'extentsivly' for 'extensively', 'prensent' for 'present', and 'Combing' for 'Combining' before (3.9).
[Theorem 3.2, γ∈[2,∞) case] In the second half of Theorem 3.2, the choice of t_x satisfying x−t_x^α−2R^2t_x=0 makes the quadratic phase t_xR^2ξ^2 of size comparable to xξ^2; the proof should explicitly state how small the constant c is chosen so that this phase is negligible on the set B, since the current sentence 'we can find ... φ_R small enough' is too compressed.
[Theorem 3.1, equation (3.5)] The derivation of s≥1/2−α/γ from the measure of the set A should state explicitly that |A|≳R^{-2α/γ}, since this measure is what turns the size of the set into the Sobolev exponent after the R→∞ limit.
[Abstract] The phrase 'All results are sharp up to the endpoints' is accurate only in the sense that the theorems give s>s(γ) for sufficiency and s<s(γ) for necessity; the endpoint s=s(γ) itself is left open. The wording could be clarified to avoid suggesting endpoint sharpness.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the sharp threshold is obtained from kernel estimates and explicit counterexamples, not from assuming the conclusion.

full rationale

The paper's sufficiency argument begins from a linearized maximal operator, derives the kernel estimate (2.4) via van der Corput and nonstationary-phase estimates, integrates the kernel in (2.9) using a table of parameter choices, and then applies Schur's test. None of these steps assumes the maximal estimates or the threshold s(gamma) being proved; the threshold appears only after the estimates are obtained. The necessity direction constructs explicit functions f_R with frequency support at scale R and chooses t_x to make the phase small, deriving lower bounds on s from the assumed maximal estimate; this is a standard Nikishin-Stein counterexample argument and is not a consequence of the sufficiency bound. The only self-citation is reference [3] (Chen-Li-Wang-Wang, submitted), which is mentioned as background on convergence-rate results and is not used in the proofs of Theorems 1.2 or 1.3. Theorem 1.1 is quoted from Niu-Xue [8], external prior work. Whether the unshown integral computations in the table are correct is a correctness or missing-proof concern, not circularity. Therefore no circular step is identifiable.

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

The central claim rests on standard harmonic analysis machinery and on the stated regularity of the curve. No fitted constants are introduced; the proof selects auxiliary exponents beta1 and beta2 from the table, but these are internal analytic choices, not free parameters of the result. However, the fractional theorems in Section 4 are stated without proofs, so the ledger for those claims is essentially the authors' assertion that the same method applies.

assumptions (5)

standard math Van der Corput lemma and non-stationary phase estimates for oscillatory integrals.
Invoked in Section 2 to bound the TT* kernel in the two regimes |x-y| comparable to |t(x)-t(y)|^alpha and |x-y| much larger than that.
standard math TT* method and Schur's test convert kernel estimates into L^2 bounds.
Used after (2.3) to pass from a pointwise kernel bound to the frequency-localized maximal estimates in Propositions 2.1, 2.2, and 2.3.
standard math Littlewood-Paley decomposition and a standard smooth approximation argument reduce a.e. convergence to frequency-localized maximal estimates.
Stated in the first paragraph of Section 2; the text does not detail the reduction, but it is a standard step in this literature.
standard math Nikishin-Stein maximal principle converts failure of maximal estimates into failure of a.e. convergence.
Used in Section 3 to derive the necessary conditions in Theorems 1.1, 1.2, and 1.3 from counterexamples for the maximal inequality.
domain assumption Curve regularity assumptions (1.4) and (1.5): Gamma is bilipschitz in x and alpha-Holder in t.
These hypotheses on Gamma are used throughout the kernel estimate (2.4) and in the counterexample Gamma(x,t)=x-t^alpha; they are part of the theorem statements.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Sharp pointwise convergence of Schr\"odinger operator with complex time along curves." pith.science (2026). https://pith.science/paper/KYNRSKYN

@misc{pith2026250703891,
  author       = {Pith},
  title        = {Pith review of: Sharp pointwise convergence of Schr\"odinger operator with complex time along curves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KYNRSKYN}},
  note         = {Machine review of arXiv:2507.03891}
}

read the original abstract

In this paper, we study the almost everywhere convergence results of Schr\"odinger operator with complex time along curves. We also consider the fractional cases. All results are sharp up to the endpoints.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[3]

A note on convergence of fractional schr¨ odinger operator with complex time

Xueqin Chen, Wenjuan Li, Meng Wang, and Zhichao Wang. A note on convergence of fractional schr¨ odinger operator with complex time. 2024+. submitted

work page 2024
[8]

Estimates for Schr¨ odinger maximal ope rators along curve with complex time

Yaoming Niu and Ying Xue. Estimates for Schr¨ odinger maximal ope rators along curve with complex time. J. Korean Math. Soc. , 57(1):89–111, 2020

work page 2020
[1]

Andrew D. Bailey. Boundedness of maximal operators of Schr¨ o dinger type with complex time. Rev. Mat. Iberoam., 29(2):531–546, 2013

work page 2013
[2]

Some analytic problems related to statistical mechanics

Lennart Carleson. Some analytic problems related to statistical mechanics. In Euclidean harmonic analysis (Proc. Sem., Univ. Maryland, College Park, Md., 19 79), volume 779 of Lecture Notes in Math., pages 5–45. Springer, Berlin, 1980

work page 1980
[4]

Problems on point wise convergence of solutions to the Schr¨ odinger equation.J

Chu-Hee Cho, Sanghyuk Lee, and Ana Vargas. Problems on point wise convergence of solutions to the Schr¨ odinger equation.J. Fourier Anal. Appl. , 18(5):972–994, 2012

2012
[5]

Pointwise convergence along a ta ngential curve for the fractional Schr¨ odinger equation.Ann

Chu-Hee Cho and Shobu Shiraki. Pointwise convergence along a ta ngential curve for the fractional Schr¨ odinger equation.Ann. Fenn. Math. , 46(2):993–1005, 2021

work page 2021
[6]

Bj¨ orn E. J. Dahlberg and Carlos E. Kenig. A note on the almost ev erywhere behavior of solutions to the Schr¨ odinger equation. InHarmonic analysis (Minneapolis, Minn., 1981) , volume 908 of Lecture Notes in Math. , pages 205–209. Springer, Berlin-New York, 1982

work page 1981
[7]

Sanghyuk Lee and Keith M. Rogers. The Schr¨ odinger equation a long curves and the quantum harmonic oscillator. Adv. Math., 229(3):1359–1379, 2012

work page 2012

Show all 16 references

[9]

On the rate of convergence fo r landau type schr¨ odinger operators

Yucheng Pan and Wenchang Sun. On the rate of convergence fo r landau type schr¨ odinger operators
[10]

Pointwise convergence of Lan dau type Schr¨ odinger operators

Yucheng Pan and Wenchang Sun. Pointwise convergence of Lan dau type Schr¨ odinger operators. Bull. Iranian Math. Soc. , 51(1):Paper No. 3, 13, 2025

2025
[11]

Rogers and Paco Villarroya

Keith M. Rogers and Paco Villarroya. Sharp estimates for maxima l operators associated to the wave equation. Ark. Mat. , 46(1):143–151, 2008

2008
[12]

Regularity of solutions to the Schr¨ odinger equation

Per Sj¨ olin. Regularity of solutions to the Schr¨ odinger equation. Duke Math. J. , 55(3):699–715, 1987. Convergence of Schr¨ odinger operator with complex time along cur ves 11

1987
[13]

Maximal operators of Schr¨ odinger type with a com plex parameter

Per Sj¨ olin. Maximal operators of Schr¨ odinger type with a com plex parameter. Math. Scand. , 105(1):121–133, 2009

2009
[14]

Bj¨ orn G. Walther. Maximal estimates for oscillatory integrals w ith concave phase. In Harmonic analysis and operator theory (Caracas, 1994) , volume 189 of Contemp. Math., pages 485–495. Amer. Math. Soc., Providence, RI, 1995

1994
[15]

Pointwise convergence along a tan gential curve for the fractional Schr¨ odinger equation with 0< m < 1

Jiye Yuan and Tengfei Zhao. Pointwise convergence along a tan gential curve for the fractional Schr¨ odinger equation with 0< m < 1. Math. Methods Appl. Sci. , 45(1):456–467, 2022

2022
[16]

On the dimension of divergence sets of Schr¨ odinger equation with complex time

Jiye Yuan, Tengfei Zhao, and Jiqiang Zheng. On the dimension of divergence sets of Schr¨ odinger equation with complex time. Nonlinear Anal., 208:Paper No. 112312, 28, 2021. Binyu Wang, Department of Mathematics, Zhejiang University, Han gzhou 310058, People’s Republic of Chin...

2021

Pith tools

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

[1] [3]

A note on convergence of fractional schr¨ odinger operator with complex time

Xueqin Chen, Wenjuan Li, Meng Wang, and Zhichao Wang. A note on convergence of fractional schr¨ odinger operator with complex time. 2024+. submitted

work page 2024

[2] [8]

Estimates for Schr¨ odinger maximal ope rators along curve with complex time

Yaoming Niu and Ying Xue. Estimates for Schr¨ odinger maximal ope rators along curve with complex time. J. Korean Math. Soc. , 57(1):89–111, 2020

work page 2020

[3] [1]

Andrew D. Bailey. Boundedness of maximal operators of Schr¨ o dinger type with complex time. Rev. Mat. Iberoam., 29(2):531–546, 2013

work page 2013

[4] [2]

Some analytic problems related to statistical mechanics

Lennart Carleson. Some analytic problems related to statistical mechanics. In Euclidean harmonic analysis (Proc. Sem., Univ. Maryland, College Park, Md., 19 79), volume 779 of Lecture Notes in Math., pages 5–45. Springer, Berlin, 1980

work page 1980

[5] [4]

Problems on point wise convergence of solutions to the Schr¨ odinger equation.J

Chu-Hee Cho, Sanghyuk Lee, and Ana Vargas. Problems on point wise convergence of solutions to the Schr¨ odinger equation.J. Fourier Anal. Appl. , 18(5):972–994, 2012

2012

[6] [5]

Pointwise convergence along a ta ngential curve for the fractional Schr¨ odinger equation.Ann

Chu-Hee Cho and Shobu Shiraki. Pointwise convergence along a ta ngential curve for the fractional Schr¨ odinger equation.Ann. Fenn. Math. , 46(2):993–1005, 2021

work page 2021

[7] [6]

Bj¨ orn E. J. Dahlberg and Carlos E. Kenig. A note on the almost ev erywhere behavior of solutions to the Schr¨ odinger equation. InHarmonic analysis (Minneapolis, Minn., 1981) , volume 908 of Lecture Notes in Math. , pages 205–209. Springer, Berlin-New York, 1982

work page 1981

[8] [7]

Sanghyuk Lee and Keith M. Rogers. The Schr¨ odinger equation a long curves and the quantum harmonic oscillator. Adv. Math., 229(3):1359–1379, 2012

work page 2012