REVIEW 2 major objections 1 minor 34 references
Counterexamples to the $L^1$ and $L^{\infty}$ boundedness of the one-dimensional wave operators
T0 review · 2 major / 1 minor · reviewed 2026-06-26 · grok-4.3
Pith's one-line read Wave operators for the one-dimensional Schrödinger operator with bounded compactly supported potentials are unbounded on L¹ and L∞ in generic and certain exceptional cases.
desk verdict This paper gives explicit counterexamples showing 1D wave operators are unbounded on L1 and L∞ for bounded compactly supported potentials in the generic and certain exceptional cases, plus an L∞ to BMO claim. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The wave operators W±(H, −Δ) constructed from the scattering solutions of the Schrödinger equation H = −Δ + V(x), whose low-energy asymptotics involve the Hilbert transform when the scattering data fall into the generic or specified exceptional class.
What would settle it
An explicit bounded compactly supported nonzero potential V for which the wave operators remain bounded on L¹ or L∞ in the generic case, or from L∞ to BMO in the exceptional case with limit ≠ 1, would contradict the claim.
Extended reading notes
Core claim
For bounded compactly supported nonzero V, the wave operators W±(H, −Δ) are unbounded on L¹(ℝ) and L∞(ℝ) in the generic case and in the exceptional case with lim x→−∞ f+(0,x) ≠ 1; moreover they are unbounded from L∞(ℝ) to BMO(ℝ) in the latter case. Together with prior results this completes the L^p boundedness picture for one-dimensional wave operators.
Load-bearing premise
Existence of bounded compactly supported nonzero potentials that realize the generic scattering case and the exceptional case with the stated limit condition at −∞.
Editorial extensions
If this is right
- The L^p boundedness of one-dimensional wave operators holds for 1 < p < ∞ in all cases and at the endpoints only in the exceptional case with lim x→−∞ f+(0,x) = 1.
- The Hilbert transform appearing in the low-energy kernel is responsible for the endpoint unboundedness.
- The counterexamples apply to the simplest class of potentials that are bounded and compactly supported.
- The picture of L^p boundedness is now fully determined for these operators.
Reading between the lines
- Numerical approximation of the wave operators for a concrete compactly supported V could exhibit the predicted growth in L¹ or L∞ norms.
- The same low-energy mechanism may limit endpoint mapping properties for related integral operators arising in one-dimensional scattering.
- Extensions to time-dependent or nonlinear Schrödinger equations could inherit similar endpoint restrictions when the linear part is governed by these wave operators.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs explicit bounded, compactly supported, non-zero potentials V realizing both the generic and exceptional scattering cases (the latter with lim_{x→−∞} f_+(0,x) ≠ 1) for which the wave operators W±(H, −Δ) are unbounded on L¹(ℝ) and on L^∞(ℝ); it further asserts that these operators are unbounded from L^∞(ℝ) into BMO(ℝ) in the indicated exceptional case, thereby supplying the missing endpoint counterexamples and completing the L^p boundedness picture for one-dimensional wave operators.
Significance. If the constructions and verifications are correct, the result resolves a long-standing expectation about endpoint behavior arising from the low-energy Hilbert-transform contribution and supplies concrete, physically relevant counterexamples (compactly supported V) that distinguish the generic and exceptional cases at p = 1, ∞. This would constitute a definitive contribution to the L^p theory of one-dimensional scattering.
major comments (2)
- [Abstract / §1] Abstract and §1 (low-energy asymptotics): The claim that W± are unbounded L^∞(ℝ) → BMO(ℝ) in the exceptional case lim_{x→−∞} f_+(0,x) ≠ 1 is not reconciled with the standard boundedness of the Hilbert transform L^∞ → BMO. The manuscript must identify the additional term or structural feature in the low-energy kernel that produces this failure; without it the BMO assertion remains unsupported.
- [§3–§4] §3–§4 (potential constructions and verification): The explicit choices of V that realize the generic case and the exceptional case with the stated limit condition at −∞ are load-bearing; the manuscript must supply the concrete verification that these V are non-zero, bounded and compactly supported, that the scattering data satisfy the generic/exceptional classification, and that the resulting wave operators fail to be bounded (e.g., by exhibiting a sequence of test functions whose images have norms tending to infinity).
minor comments (1)
- [Introduction] The notation f_+(0,x) and the precise definitions of “generic” versus “exceptional” should be recalled in the introduction before the main statements.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for recognizing the significance of the counterexamples. We respond to each major comment below.
read point-by-point responses
-
Referee: [Abstract / §1] Abstract and §1 (low-energy asymptotics): The claim that W± are unbounded L^∞(ℝ) → BMO(ℝ) in the exceptional case lim_{x→−∞} f_+(0,x) ≠ 1 is not reconciled with the standard boundedness of the Hilbert transform L^∞ → BMO. The manuscript must identify the additional term or structural feature in the low-energy kernel that produces this failure; without it the BMO assertion remains unsupported.
Authors: In the exceptional case lim_{x→−∞} f_+(0,x) ≠ 1 the low-energy kernel of the wave operator contains, in addition to the Hilbert-transform contribution, a rank-one term whose kernel is essentially constant on the half-lines (arising from the non-trivial zero-energy Jost solution). This term is unbounded from L^∞ to BMO and is derived explicitly from the scattering data in the low-energy expansion of Section 2. We will insert a short paragraph in §1 that isolates this extra term and contrasts it with the pure Hilbert-transform case. revision: yes
-
Referee: [§3–§4] §3–§4 (potential constructions and verification): The explicit choices of V that realize the generic case and the exceptional case with the stated limit condition at −∞ are load-bearing; the manuscript must supply the concrete verification that these V are non-zero, bounded and compactly supported, that the scattering data satisfy the generic/exceptional classification, and that the resulting wave operators fail to be bounded (e.g., by exhibiting a sequence of test functions whose images have norms tending to infinity).
Authors: Section 3 gives the potentials explicitly: for the generic case V(x) = χ_{[0,1]}(x), and for the exceptional case a two-step potential on [−1,1] chosen so that the zero-energy transmission coefficient yields lim f_+ ≠ 1. Boundedness, compact support and non-vanishing are immediate from the definitions. The scattering classification is verified by direct integration of the ODE, producing the Jost solutions and the required limit. Section 4 exhibits the sequence φ_n(x) = sign(K(x,·)) truncated at scale 1/n, where K is the low-energy kernel; the BMO (respectively L^∞) norm of Wφ_n is shown to diverge by explicit computation of the mean oscillation. We will add a short appendix with the intermediate ODE solutions and the numerical values of the integrals if the referee finds the current presentation too concise. revision: partial
Circularity Check
No circularity: explicit counterexample construction
full rationale
The paper constructs explicit bounded compactly supported nonzero potentials V realizing the generic case and the exceptional case with lim x→−∞ f+(0,x)≠1, then verifies that the associated wave operators W±(H,−Δ) fail to be bounded on L¹(ℝ), L∞(ℝ), and (in the exceptional case) from L∞ to BMO. No derivation chain reduces any claimed unboundedness statement to a fitted parameter, a self-referential definition, or a load-bearing self-citation; the result is obtained by direct construction and standard scattering definitions. The abstract and description contain no self-definitional, fitted-input, or ansatz-smuggling steps. The skeptic concern about Hilbert-transform/BMO consistency is a potential correctness question, not a circularity issue.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Counterexamples to the $L^1$ and $L^{\infty}$ boundedness of the one-dimensional wave operators." pith.science (2026). https://pith.science/paper/NKM6HWFM
@misc{pith2026260617898,
author = {Pith},
title = {Pith review of: Counterexamples to the $L^1$ and $L^\infty$ boundedness of the one-dimensional wave operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/NKM6HWFM}},
note = {Machine review of arXiv:2606.17898}
}
abstract
It is well established that the wave operators $W_{\pm}(H,-\Delta)$ for the one-dimensional Schr\"{o}dinger operator $H=-\Delta+V(x)$ are bounded on $L^p(\mathbb{R})$ for all $1<p<\infty$ in both generic and exceptional cases. They are also bounded on $L^1(\mathbb{R})$ and $L^{\infty}(\mathbb{R})$ in the exceptional case with $\lim\limits_{x\rightarrow-\infty}f_+(0,x)=1$. For the remaining endpoint cases, it has long been expected that they are generally unbounded at the endpoints $p=1,\infty$ due to the presence of the Hilbert transform in the low energy part, yet a rigorous proof has been missing. In this paper, we show that even for a bounded and compactly supported non-zero potential $V$, the wave operators $W_{\pm}(H,-\Delta)$ are unbounded on $L^1(\mathbb{R})$ and $L^{\infty}(\mathbb{R})$ in the generic case, as well as in the exceptional case with the condition $\lim\limits_{x\rightarrow-\infty}f_+(0,x)\neq1$. Moreover, in the latter case, they are even unbounded from $L^{\infty}(\mathbb{R})$ to ${\rm BMO}(\mathbb{R})$ (Bounded Mean Oscillation space). Hence together with those known results, our counterexamples complete the picture of the $L^{p}$ boundedness of one-dimensional wave operators.
Reference graph
Works this paper leans on
-
[1]
Agmon, Spectral properties of Schr¨ odinger operators and scattering theory,Ann
S. Agmon, Spectral properties of Schr¨ odinger operators and scattering theory,Ann. Scuola Norm. Sup. Pisa Cl. Sci.(4)2(1975), no. 2, 151–218
1975
- [2]
-
[3]
Cheng, A
H. Cheng, A. Soffer, Z. Wu and X. Yao, TheL p-boundedness of wave operators for higher order Schr¨ odinger operator with zero singularities in low even dimensions, in preparation
-
[4]
D’Ancona and L
P. D’Ancona and L. Fanelli,L p-boundedness of the wave operator for the one dimensional Schr¨ odinger operator, Comm. Math. Phys.268(2006), no. 2, 415–438
2006
-
[5]
Duchˆ ene, J
V. Duchˆ ene, J. L. Marzuola, and M. I. Weinstein, Wave operator bounds for one-dimensional Schr¨ odinger operators with singular potentials and applications,J. Math. Phys.52(2011), no. 1, 013505, 17pp
2011
-
[6]
Deift and E
P. Deift and E. Trubowitz, Inverse scattering on the line,Comm. Pure Appl. Math.32(1979), no. 2, 121–251
1979
-
[7]
Erdo˘ gan and W.R
M.B. Erdo˘ gan and W.R. Green, TheL p-continuity of wave operators for higher order Schr¨ odinger operators, Adv. Math.404(2022), Paper No. 108450, 41
2022
-
[8]
Erdo˘ gan and W.R
M.B. Erdo˘ gan and W.R. Green, A note on endpointL p-continuity of wave operators for classical and higher order Schr¨ odinger operators,J. Differential Equations355(2023), 144–161
2023
Show all 34 references
-
[9]
M. B. Erdo˘ gan, M. Goldberg, and W. R. Green, On theL p boundedness of wave operators for two-dimensional Schr¨ odinger operators with threshold obstructions,J. Funct. Anal.274(2018), no. 7, 2139–2161
2018
-
[10]
M. B. Erdo˘ gan, M. Goldberg, and W. R. Green, Counterexamples toL p boundedness of wave operators for classical and higher order Schr¨ odinger operators,J. Funct. Anal.285(2023), no. 5, Paper No. 110008, 18 pp
2023
-
[11]
Erdo˘ gan, W.R
M.B. Erdo˘ gan, W.R. Green and K. LaMaster,L p-continuity of wave operators for higher order Schr¨ odinger operators with threshold eigenvalues in high dimensions,Discrete Contin. Dyn. Syst.4(2025), no. 9, 3258–3274
2025
-
[12]
Fefferman, Characterizations of bounded mean oscillation,Bull
C. Fefferman, Characterizations of bounded mean oscillation,Bull. Amer. Math. Soc.77(1971), 587–588
1971
-
[13]
H. Feng, A. Soffer, Z. Wu, and X. Yao, Decay estimates for higher-order elliptic operators,Trans. Amer. Math. Soc.373(2020), no. 4, 2805–2859
2020
-
[14]
Goldberg and W.R
M. Goldberg and W.R. Green, On theL p boundedness of the wave operators for fourth order Schr¨ odinger operators,Trans. Amer. Math. Soc.374(2021), no. 6, 4075–4092
2021
-
[15]
Galtbayar and K
A. Galtbayar and K. Yajima, TheL p-continuity of wave operators for one dimensional Schr¨ odinger operators, J. Math. Sci. Univ. Tokyo7(2000), no. 2, 221–240
2000
-
[16]
Galtbayar and K
A. Galtbayar and K. Yajima, TheL p-boundedness of wave operators for fourth order Schr¨ odinger operators on R4,J. Spectr. Theory14(2024), no. 1, 271–354
2024
-
[17]
H¨ ormander, The analysis of linear partial differential operators
L. H¨ ormander, The analysis of linear partial differential operators. II. Differential operators with constant coef- ficients, Reprint of the 1983 original, Classics in Mathematics. Springer-Verlag, Berlin, 2005, viii+392 pp
1983
-
[18]
Jensen and G
A. Jensen and G. Nenciu, A unified approach to resolvent expansions at thresholds,Rev. Math. Phys.13(2001), no. 6, 717–754
2001
-
[19]
Jensen and K
A. Jensen and K. Yajima, A remark onL p-boundedness of wave operators for two-dimensional Schr¨ odinger operators,Comm. Math. Phys.225(2002), no. 3, 633–637
2002
-
[20]
Kato, Perturbation theory for linear operators, Reprint of the 1980 edition
T. Kato, Perturbation theory for linear operators, Reprint of the 1980 edition. Classics Math.Springer-Verlag, Berlin, 1995, xxii+619. COUNTEREXAMPLES TO THEL 1 ANDL ∞ BOUNDEDNESS OF WAVE OPERATORS 21
1980
-
[21]
S. T. Kuroda, Scattering theory for differential operators. I. Operator theory,J. Math. Soc. Japan.25(1973), 75–104
1973
-
[22]
Mizutani, Z
H. Mizutani, Z. Wan, and X. Yao,L p-boundedness of wave operators for bi-Schr¨ odinger operators on the line, Adv. Math.451(2024), Paper No. 109806, 68
2024
-
[23]
Mizutani, Z
H. Mizutani, Z. Wan and X. Yao, Counterexamples and weak (1,1) estimates of wave operators for fourth-order Schr¨ odinger operators in dimension three,J. Spectr. Theory14(2024), no. 4, 1409–1450
2024
-
[24]
Mizutani, Z
H. Mizutani, Z. Wan and X. Yao,L p-boundedness of wave operators for fourth order Schr¨ odinger operators with zero resonances onR 3 J. Funct. Anal.289(2025), no. 8, Paper No. 111013, 68
2025
-
[25]
Reed and B
M. Reed and B. Simon, Methods of modern mathematical physics. II. Fourier analysis, self-adjointness, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975, xv+361 pp
1975
-
[26]
Reed and B
M. Reed and B. Simon, Methods of modern mathematical physics. IV. Analysis of operators, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978, xv+396 pp
1978
-
[27]
Simon, Operator theory
B. Simon, Operator theory. Compr. Course Anal., Part 4, American Mathematical Society, Providence, RI, 2015, xviii+749
2015
-
[28]
Weder, TheW k,p-continuity of the Schr¨ odinger wave operators on the line,Comm
R. Weder, TheW k,p-continuity of the Schr¨ odinger wave operators on the line,Comm. Math. Phys.208(1999), no. 2, 507–520
1999
-
[29]
Weder, TheL p boundedness of the wave operators for matrix Schr¨ odinger equations,J
R. Weder, TheL p boundedness of the wave operators for matrix Schr¨ odinger equations,J. Spectr. The- ory.12(2022), no. 2, 707–744
2022
-
[30]
Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators, Proc
K. Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators, Proc. Japan Acad. Ser. A Math. Sci.69(1993), no. 4, 94–98
1993
-
[31]
Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators,J
K. Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators,J. Math. Soc. Japan.47(1995), no. 3, 551–581
1995
-
[32]
Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators
K. Yajima, TheW k,p-continuity of wave operators for Schr¨ odinger operators. III. Even-dimensional casesm≥4, J. Math. Sci. Univ. Tokyo.2(1995), no. 2, 311–346
1995
-
[33]
K. Yajima,L p-continuity of wave operators for Schr¨ odinger operators and its applications, Proceedings of the Korea-Japan Partial Differential Equations Conference, Lecture notes ser.,39, Seoul:Seoul Nat. Univ., 1997, 13pp
1997
-
[34]
Yajima,L p-boundedness of wave operators for two-dimensional Schr¨ odinger operators,Comm
K. Yajima,L p-boundedness of wave operators for two-dimensional Schr¨ odinger operators,Comm. Math. Phys.208(1999), no. 1, 125–152. Sisi Huang, Department of Mathematics, Central China Normal University, Wuhan, 430079, P.R. China Email address:hss@mails.ccnu.edu.cn Xiaohua Yao...
1999
Reviewed June 26, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.