Approximating Pointwise Products of Quasimodes

Mei Ling Jin

REVIEW 2 major objections 4 minor 16 references

Approximating Pointwise Products of Quasimodes

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that products of quasimodes can be approximated in H^{-1} by O(Ω(d,min(λ,μ)) ε^{-d}) low-frequency eigenfunctions.

desk verdict The d=2,3 quasimode product results look solid, but the all-dimensions theorem rests on a false dyadic estimate in (4.12), so the paper overclaims. read the letter →

arxiv 1908.01037 v1 pith:CWL7QU36 submitted 2019-08-02 math.AP

Mei Ling Jin This is my paper · ORCID

classification math.AP MSC 35A1535C9947B0681Q05

keywords quasimodesLaplace-BeltramioperatorbilinearestimatesapproximationinH^{-1}normspectralclustersLittlewood-PaleydecompositioneigenfunctionproductsWeyllaw

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 claims that on any compact Riemannian manifold, the pointwise product of two quasimodes—functions that nearly solve the Laplace eigenvalue equation at frequencies λ and μ—can be nearly recovered from the span of the lowest few true eigenfunctions, with error below ε in the $H^{{-1}}$ norm. The required number of eigenfunctions grows like Ω(d,min(λ,μ)) $ε^{{-d}}$, where Ω is $μ^{{1/2}}$ in two dimensions, $μ^{{3/2}}$ $log^{{3/2}}$(μ) in three dimensions, and $μ^{{d(d-2)/2}}$ in dimensions four and higher. If correct, this gives approximation bounds for products of quasimodes in all dimensions, extending a known eigenfunction approximation result to the broader class of quasimodes. The paper also establishes bilinear quasimode estimates that remove the highest frequency from the right-hand side, which is the feature needed for nonlinear applications.

What carries the argument

The central machinery is a Littlewood–Paley decomposition that splits each quasimode into a low-frequency part L_λ u = ψ(P/λ)u and a high-frequency part H_λ u = ρ(P/λ)u, where P = √(−Δ_g). The low-frequency part is controlled by bilinear spectral-cluster estimates, while the high-frequency part is handled by L^p quasimode bounds and Sobolev embedding; the two pieces are then recombined with Hölder and Cauchy–Schwarz steps. The key feature of these estimates is that the larger frequency λ drops out of the final right-hand side, leaving only the smaller frequency μ through the factor Λ(d,μ). This frequency cancellation is what makes the approximation space depend on min(λ,μ) rather than on the product of the two frequencies.

What would settle it

Inspect the dyadic sum ∑_{2^j ≥ 2μ} $2^{{(d-4)j/2}}$ ||Δ S_j v||_2 for a family of quasimodes v on a compact d-manifold with d ≥ 5 and check whether it is bounded by a constant times $μ^{{(d-4)/2}}$ ||(−Δ−$μ^{2}$)v||_2; if a quasimode sequence makes ||H_μ v||_∞ grow faster than $μ^{{(d-4)/2}}$ times the residual, then Theorem 4 and the corresponding part of Theorem 1 are false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for quasimodes u_i and u_j with frequencies λ_i and λ_j, projecting the product u_i u_j onto the first ν eigenfunctions leaves an $H^{{-1}}$ remainder of size less than ε whenever ν = O(Ω(d,min(λ_m,λ_n)) $ε^{{-d}}$). The proof rests on bilinear quasimode estimates in which the larger frequency disappears from the bound: for 2 ≤ d ≤ 5, ||u v||_2 is controlled by Λ(d,min(λ,μ)) times the quasimode remainders of u and v, and for d ≥ 6 a similar bound holds at the cost of an extra small high-frequency tail term. The case λ = μ of these estimates yields an $L^{4}$ quasimode bound that improves the Sogge–Zelditch bound in dimensions d ≥ 8. From the bilinear estimates, the $H^{{-1}}$ approximation follows by the Weyl law, which converts a bound on spectral coefficients into a bound on the required number of modes.

Load-bearing premise

The load-bearing premise is the dyadic tail estimate in (4.12), which assumes a uniform L^∞ bound on the high-frequency part of a quasimode; in dimensions at least five this bound does not follow from the defining quasimode equation, and the d ≥ 5 part of Theorem 1 collapses if it fails.

Editorial extensions

If this is right

In dimensions 2 and 3, the approximating space size is roughly μ^{1/2} ε^{-2} and μ^{3/2} log^{3/2}(μ) ε^{-3}, respectively; in dimensions d ≥ 4 it grows like μ^{d(d-2)/2} ε^{-d}.
For λ = μ and d ≥ 8, the bilinear estimate gives an L^4 quasimode bound with a smaller remainder than the Sogge–Zelditch L^4 bound.
The same machinery yields an L^2 approximation bound: ||R_ν(u_i u_j)||_{L^2} ≤ C n^{σ} (n/ν)^{1/d}, so products of quasimodes are also well represented by low-frequency eigenfunctions in the ordinary L^2 sense.
Because the bilinear bound depends on the smaller frequency alone, products pairing a high-frequency quasimode with a low-frequency quasimode are controlled by the low frequency, a property directly suited to nonlinear arguments where the highest frequency must not appear.

Reading between the lines

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

The author does not address whether the exponent d(d-2)/2 in dimensions d ≥ 4 is sharp; a natural test is whether products of two high-frequency quasimodes on the round sphere saturate the bound.
The H^{-1} norm is the natural space for Coulomb-type potentials, so the theorem may give a rigorous justification for density fitting of approximate wavefunctions on curved manifolds.
The method separates cleanly: the low-frequency part relies only on sharp spectral-cluster estimates, while the high-frequency part is where the extra quasimode assumptions enter; replacing that step with a different bound could extend the theorem to Schrödinger operators with potentials.

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

You should know two things about arXiv:1908.01037. First, the d=2,3 bilinear quasimode estimates and the H^{-1} and L2 approximation results built on them are a credible extension of Lu–Steinerberger to quasimodes. Second, the all-dimensions claim, Theorem 1 for d≥4, rests on a false dyadic estimate, so the central advertised result is not established.

What's new: the paper aims to approximate pointwise products of quasimodes without the microlocal support assumption used by Guo–Han–Tacy, and to remove the higher frequency in bilinear estimates. The d=2,3 arguments are assembled from known Lp quasimode bounds and Burq–Gerard–Tzvetkov cluster estimates; they appear internally consistent and give the stated mu^{1/4} and mu^{1/2} log^{1/2} mu factors.

The problem is in Section 4. Equation (4.12) claims that ||H_mu v||_∞ ≤ C mu^{(d-4)/2} ||(-Δ-mu^2)v||_2. The dyadic sum used to get there has weights (2^j/mu)^{(d-4)/2} for d≥5, which grow with j. The quasimode condition only gives l2 control on the spectral pieces of the residual, not the l1 control needed to justify the sum. The stress-test counterexample is an honest one: add high-frequency eigenfunctions with coefficients ~mu/(sqrt(N) Lambda_r^2) to a mu-eigenfunction. This satisfies (1.1) with ||v||_2 ~ 1, but the dyadic tail sum diverges, so the claimed bound fails. For d=4 the same issue appears (weights are 1, still no decay to kill the infinite l1 sum). Consequently Theorem 4 is not proved for d≥4, and Theorem 1's d≥4 part collapses with it. The claimed L4 improvement for d≥8 is also unsupported.

The paper is not sloppy in general: the low-dimensional parts are careful, the literature is engaged honestly, and the error is subtle rather than a sign of carelessness. But it is load-bearing. This should be a reject in current form; a revised version might still rescue the low-dimensional results and possibly find a different argument for some higher-dimensional cases.

Who is this for? People working on bilinear eigenfunction estimates and density fitting might want the d=2,3 parts. But as it stands, the main theorem overclaims. I would send it to a serious referee—the issue deserves expert eyes, and the d=2,3 portion may be publishable—but the editor should flag the (4.12) step.

Recommendation: reject with major revision; do not send to peer review expecting acceptance as-is.

Referee Report

2 major / 4 minor

Summary. The paper studies products of two Laplace-Beltrami quasimodes on a compact Riemannian manifold without boundary. For quasimodes u, v with frequencies λ, μ, it claims bilinear L^2 estimates in which the larger frequency λ does not appear, with a growth factor Λ(d, min(λ,μ)) equal to μ^{1/4} in d=2, μ^{1/2} log^{1/2} μ in d=3, and μ^{(d-2)/2} in d≥4 (with additional spectral-tail terms for d≥6). These bilinear estimates are then used to prove Theorem 1, which asserts that the pointwise product u_i u_j is well approximated in H^{-1} by its projection onto the first ν eigenspaces provided ν ≳ Ω(d, min(λ_m,λ_n)) ε^{-d}, with Ω as in (2.6). The paper also gives an L^2 approximation result (Theorem 5) and claims an improvement of Sogge-Zelditch L^4 quasimode bounds for d≥8. The proof splits quasimodes into low- and high-frequency parts, uses known spectral-cluster bilinear estimates, and applies Littlewood-Paley decompositions to control high-frequency contributions.

Significance. If the main theorems were correct, the paper would extend the Lu-Steinerberger approximation results for eigenfunction products to the substantially larger class of quasimodes, in all dimensions, and it would improve known L^4 quasimode bounds in high dimensions. The d=2 and d=3 arguments use standard ingredients (Sogge-Zelditch L^p quasimode bounds, Burq-Gerard-Tzvetkov bilinear spectral cluster estimates) and appear internally consistent. The higher-dimensional part, however, rests on a dyadic estimate that is false for admissible quasimodes. This is a load-bearing error: it invalidates the proofs of Theorem 4 for d≥4 and hence Theorem 1 for d≥4, as well as the claimed L^4 improvement for d≥8. The paper does not contain machine-checked proofs or reproducible code; its value depends entirely on the analytic arguments, and the central all-dimensions claim is not established.

major comments (2)

[Section 4, Eq. (4.12)] The dyadic bound on ||H_μ v||_∞ is not valid for d≥4. The proof asserts, after passing to Littlewood-Paley pieces, that ∑_{2^j ≥ 2μ} (μ 2^{-j})^{(4-d)/2} || -Δ S_j v||_2 ≤ C ||(-Δ - μ^2)v||_2. For d=4 the weights are identically 1, so the left side is an infinite sum of dyadic pieces of -Δv; for d≥5 the weights grow like (2^j/μ)^{(d-4)/2}. The quasimode condition ||(-Δ - μ^2)v||_2 ≤ C μ controls the ℓ^2 sum of the spectral pieces of (-Δ-μ^2)v, which does not imply the corresponding weighted ℓ^1 sum. Concretely, on S^d, take v = ψ_μ + (μ/√N) Σ_{r=1}^N (Λ_r^2 - μ^2)^{-1} ψ_{Λ_r}, where ψ_Λ are normalized eigenfunctions and the Λ_r lie in separated dyadic bands above μ. Then ||(-Δ - μ^2)v||_2 = μ and ||v||_2 ≍ 1, so v is an admissible quasimode, but the high-frequency contribution to ||H_μ v||_∞ is ≳ (μ/√N) Σ Λ_r^{(d-5)/2}. For d=5 this is ≳ μ√N, which exceeds the claimed C μ^{3/2} once N ≫ μ; for d≥6 the divergence is even faster. Thus Eq. (4.12) fails for admissible quasimodes in all dimensions d≥4.
[Section 4, Eq. (4.13), and Section 5] The failure of Eq. (4.12) is load-bearing. The mixed term ||L_λ u H_μ v||_2 in (4.13) is controlled solely through the bound ||H_μ v||_∞ ≲ Λ(d,μ)(μ^{-1}||(-Δ-μ^2)v||_2 + ||v||_2) obtained in (4.12). Since that bound is false, the proof of Theorem 4 for d=4,5 and d≥6 does not go through, and consequently the proof of Theorem 1 for d≥4 in Section 5 collapses. The claimed improvement of the Sogge-Zelditch L^4 quasimode estimate for d≥8, which is derived from the λ=μ case of the d≥6 bilinear estimate, is also unsupported. The d=2 and d=3 arguments do not rely on this particular step and appear sound.

minor comments (4)

[Section 2, Eq. (2.5)] The condition 'ν = O(Ω(d,min(λ_m,λ_n)) ε^{-d})' should be phrased as a lower bound, e.g. 'ν ≥ C Ω(d,min(λ_m,λ_n)) ε^{-d}', since the proof shows that the H^{-1} error is small when ν is sufficiently large, not merely when ν is of a given order.
[Section 6, Eq. (6.3)] The displayed formula for σ(p) is garbled: 'd(d − 1/2(1/2 − 1/p))' should presumably be 'max{d(1/2 − 1/p) − 1/2, (d−1)/2 (1/2 − 1/p)}', matching the standard Sogge exponent used elsewhere in the paper.
[Section 6, after Theorem 5] The sentence ending 'we have are desired' is an incomplete editorial remnant and should be removed or rewritten.
[Section 7.1, Eq. (7.2)] The proof of Theorem 5 would benefit from explicitly defining σ_d; currently the statement says 'there is a σ = σ_d' but the value σ = (2/d)σ(4) appears only in the proof.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the derivation is a chain of external estimates and direct orthogonality bounds, and the only identified weakness is a correctness issue, not a circular one.

full rationale

The paper's main result, Theorem 1, is an approximation bound on the H^{-1} norm of the remainder R_nu(u_i u_j). The proof does not assume this bound or any equivalent formulation. It first proves bilinear quasimode estimates (Theorems 2–4) from external ingredients: the Burq–Gerard–Tzvetkov bilinear spectral cluster estimates (1.10), the Sogge–Zelditch L^p quasimode bounds (1.6)–(1.7), and the Blair–Sire–Sogge spectral projector/quasimode theorem cited as Theorem 1.3 in [1]. These are prior results with stated assumptions (quasimode condition and spectral localization) that do not include the target H^{-1} approximation. The high-frequency terms are handled by Littlewood–Paley decompositions and Sobolev embedding; the low-frequency terms by the cited cluster estimates. No parameter is fitted to the quantity being predicted, and no quantity is defined in terms of the approximation bound. The final H^{-1} step is the elementary inequality ||R_nu h||_{H^{-1}} <= lambda_nu^{-1} ||h||_2, combined with the bilinear bounds, so the conclusion is not built into its premises. The case lambda=mu, d>=8 comparison with Sogge–Zelditch is an algebraic rearrangement of the same external bounds, not a self-referential derivation. There are no load-bearing self-citations by the author, and the projection argument inherited from reference [10] is not the theorem being proved. The skeptical concern about equation (4.12) is a substantive correctness objection about whether the displayed dyadic sum is controlled by the quasimode condition; it is not a circularity objection, because the estimate is not assumed from the conclusion and no input is defined in terms of the output. Accordingly no circular step is identified and the score is 0.

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

No new physical or mathematical entities are introduced; all objects (quasimodes, spectral projections, Littlewood-Paley blocks) are standard. The central unproved input is a technical tail estimate, not a postulated entity.

assumptions (5)

domain assumption Quasimode condition (1.1): ||(Delta_g + lambda^2)u||_2 <= C0 lambda and ||u||_2 = 1 defines the class of functions studied.
All theorems are stated for functions satisfying this inequality; the bounds depend on the implicit constant C0 being independent of lambda.
standard math Weyl law and spectral counting: eigenvalues lambda_k grow like k^{1/d} and spectral projections satisfy the usual counting bounds.
Used in Sections 5 and 7 to convert lambda_nu^{-1} to nu^{-1/d}, via n approximately lambda_n^d and nu approximately lambda_nu^d.
standard math Sogge-Zelditch Lp quasimode estimates (1.6)-(1.7) from [15] and Blair-Sire-Sogge bounds from [1] are valid as cited.
These external Lp bounds are the engine of the bilinear estimates, quoted for ||v||_q, ||v||_4 and the tail term in Theorem 4.
standard math Bilinear spectral cluster estimates (1.10) from [2,3,4,5] are valid for all dimensions used in the paper.
The low-low frequency estimates (3.14), (3.26), (4.16) reduce to these cluster bounds.
ad hoc to paper Convergence of the dyadic Littlewood-Paley tail sum in Eq. (4.12): the sum over 2^j at least 2mu of 2^{(d-4)j/2} ||-Delta S_j v|| is controlled by C mu^{(d-4)/2} ||(-Delta - mu^2)v||.
This is asserted without proof and is the load-bearing gap; for d at least 5 the weights grow with j and the quasimode condition only controls the l2 norm of the residue, so the sum need not converge.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Approximating Pointwise Products of Quasimodes." pith.science (2026). https://pith.science/paper/CWL7QU36

@misc{pith2026190801037,
  author       = {Pith},
  title        = {Pith review of: Approximating Pointwise Products of Quasimodes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CWL7QU36}},
  note         = {Machine review of arXiv:1908.01037}
}

abstract

We obtain approximation bounds for products of quasimodes for the Laplace-Beltrami operator, on compact Riemannian manifolds of all dimensions without boundary. We approximate the products of quasimodes $uv$ by a low-degree vector space $B_{n}$, and we prove that the size of the space $\dim(B_{n})$ is small. In our paper, we first study bilinear quasimode estimates of all dimensions $d = 2, 3$, $d = 4,5$ and $d \ge 6$, respectively, to make the highest frequency disappear from the right hand. Furthermore, the result of the case $\lambda=\mu$ of bilinear quasimode estimates improves $L^{4}$ quasimodes estimates of Sogge-Zelditch in \cite{sogge6} when $d \ge 8$. And on this basis, we give approximation bounds in $H^{-1}$ norm. We also prove approximation bounds for the products of quasimodes in $L^{2}$ norm using the results of $L^{p}$-estimates for quasimodes in \cite{sogge3}. We extend the results of Lu-Steinerberger in \cite{lu} to quasimodes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Quasimode, eigenfunction and spectral projection bounds for Schr\"odinger operators on manifolds with critically singular potentials

M. Blair, Y. Sire, C. D. Sogge, Quasimode, eigenfunction and spec tral projection bounds for Schrodinger operators on manifolds with critically singular potentials , arXiv: 1904.09665, 2019

work page Pith review arXiv 1904
[2]

N. Burq, P. Gerard, N. Tzvetkov, Bilinear eigenfunction estimat es and the nonlinear equa- tion on surfaces, Invent. Math. 159, (2005), 187-223

work page 2005
[3]

N. Burq, P. Gerard, N. Tzvetkov, Multilinear eigenfunction estim ates and global existence for the three dimensional nonlinear Schrodinger equations, Ann. S cient. c. Norm. Sup., 38, (2005), 255-301

work page 2005
[4]

N. Burq, P. Gerard, and N. Tzvetkov, Multilinear estimates for t he Laplace spectral pro- jectors on compact manifolds, C. R. Math., 338 (2004), 359-364

work page 2004
[5]

N. Burq, P. Gerard, and N. Tzvetkov, Multilinear eigenfunction e stimates and global ex- istence for the three dimensional nonlinear Schrodinger equations , Ann. Sci. Ecole Norm. Sup., 38 (2005), 255-301

work page 2005
[6]

J. E. Colliander, J. M. Derlort, C. E. Kenig, G. Staﬃlant, Bilinear es timates and application to 2D NLS, Transactions of the American mathematical society, 35 3, (2001), 3307-3325. APPROXIMATING POINTWISE PRODUCTS OF QUASIMODES 15

work page 2001
[7]

Guo, X.L

Z. Guo, X.L. Han, M. Tacy, Lp Bilinear quasimode estimates, J. Geom. Anal. 8, (2018), 1-48

work page 2018
[8]

Hirayama, S

H. Hirayama, S. Kinoshita, Sharp bilinear estimates and its applicat ion to a system of quadratic derivative nonlinear Schrdinger equations, Nonlinear Ana l., 178, (2019), 205-226

work page 2019

Show all 16 references

[9]

H. Koch, D. Tataru, and M. Zworski, Semiclassical Lp estimates, Ann. Henri Poincar´ e 8, (2007), 885-916

2007
[10]

J.F. Lu, C. D. Sogge, S. Steinerberger, Approximating pointwis e products of Laplacian eigenfunctions, to appear in J. Funct. Anal
[11]

J.F. Lu, S. Steinerberger, On pointwise products of Elliptic eigen functions, 2018, preprint, arXiv: 1810.01024v2

2018 arXiv
[12]

C. D. Sogge, Concerning the Lp norm of spectral clusters for second-order elliptic operators on the compact manifolds, J. Funct. Anal. 77 (1998), 123-138

1998
[13]

Sogge, Fourier integrals in classical analysis, second ed., vo l

C.D. Sogge, Fourier integrals in classical analysis, second ed., vo l. 210 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2017

2017
[14]

Sogge, Oscillatory integrals and spherical harmonics, Duke Math

C.D. Sogge, Oscillatory integrals and spherical harmonics, Duke Math. Jour., 53, (1986), 43-65

1986
[15]

Sogge, Steve Zelditch, A note on Lp-norms of quasi-modes, Adv

C.D. Sogge, Steve Zelditch, A note on Lp-norms of quasi-modes, Adv. Lect. Math., 34, (2016), 385-397

2016
[16]

Takaoka, Bilinear Strichartz estimates and applications to th e cubic nonlinear Schrodinger equation in two space dimensions, Hokkaido Mathematic al Journal, 37, (2008), 861-870

H. Takaoka, Bilinear Strichartz estimates and applications to th e cubic nonlinear Schrodinger equation in two space dimensions, Hokkaido Mathematic al Journal, 37, (2008), 861-870. Department of Mathematics, Harbin Institute of Technology , Harbin 150001, P.R. China E-mail ad...

2008

Pith tools

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

[1] [1]

Quasimode, eigenfunction and spectral projection bounds for Schr\"odinger operators on manifolds with critically singular potentials

M. Blair, Y. Sire, C. D. Sogge, Quasimode, eigenfunction and spec tral projection bounds for Schrodinger operators on manifolds with critically singular potentials , arXiv: 1904.09665, 2019

work page Pith review arXiv 1904

[2] [2]

N. Burq, P. Gerard, N. Tzvetkov, Bilinear eigenfunction estimat es and the nonlinear equa- tion on surfaces, Invent. Math. 159, (2005), 187-223

work page 2005

[3] [3]

N. Burq, P. Gerard, N. Tzvetkov, Multilinear eigenfunction estim ates and global existence for the three dimensional nonlinear Schrodinger equations, Ann. S cient. c. Norm. Sup., 38, (2005), 255-301

work page 2005

[4] [4]

N. Burq, P. Gerard, and N. Tzvetkov, Multilinear estimates for t he Laplace spectral pro- jectors on compact manifolds, C. R. Math., 338 (2004), 359-364

work page 2004

[5] [5]

N. Burq, P. Gerard, and N. Tzvetkov, Multilinear eigenfunction e stimates and global ex- istence for the three dimensional nonlinear Schrodinger equations , Ann. Sci. Ecole Norm. Sup., 38 (2005), 255-301

work page 2005

[6] [6]

J. E. Colliander, J. M. Derlort, C. E. Kenig, G. Staﬃlant, Bilinear es timates and application to 2D NLS, Transactions of the American mathematical society, 35 3, (2001), 3307-3325. APPROXIMATING POINTWISE PRODUCTS OF QUASIMODES 15

work page 2001

[7] [7]

Guo, X.L

Z. Guo, X.L. Han, M. Tacy, Lp Bilinear quasimode estimates, J. Geom. Anal. 8, (2018), 1-48

work page 2018

[8] [8]

Hirayama, S

H. Hirayama, S. Kinoshita, Sharp bilinear estimates and its applicat ion to a system of quadratic derivative nonlinear Schrdinger equations, Nonlinear Ana l., 178, (2019), 205-226

work page 2019