Pith. sign in

REVIEW 4 major objections 4 minor 34 references

Nodal set for the Schr\"odinger equation under a local growth condition

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

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

Pith's one-line read Nodal sets of Schrödinger solutions have polynomially bounded size.

desk verdict New polynomial nodal bound for Schrödinger equations is plausible and worth refereeing, but a concrete constant slip in Lemma 4.4 and a load-bearing sketch in Lemma 5.3 that leans on an unpublished preprint need fixing first. read the letter →

arxiv 2507.19600 v1 pith:QGI66Y6H submitted 2025-07-25 math.AP

Igor Kukavica , Linfeng Li This is my paper · ORCID
classification math.AP MSC 35B6035J10
keywords nodalsetSchrödingerequationHausdorffmeasuredoublingconditionfrequencyfunctionuniquecontinuationYau'sconjecturequantitativebounds
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 proves that the zero set of a solution to the Schrödinger equation Δw = W·∇w + V w has (n−1)-dimensional Hausdorff measure bounded by a constant times (M²+κ)^C, where M measures the $W^{{1,∞}}$ norms of the coefficients and κ is a local doubling exponent for the solution. The result extends Logunov's polynomial nodal bound for Laplace eigenfunctions to a more general class of elliptic equations with variable lower-order terms, without needing the eigenfunction-or-harmonic-lifting reduction. If the theorem is right, the size of nodal sets remains algebraically controlled even when the equation carries first-order and potential terms, which is the natural quantitative form of unique continuation for this equation.

What carries the argument

The central object is the L²-based frequency function F(x,r)=I(x,r)/(2H(x,r)) with H=∫_{B_r}u² and I=∫|∇u|²(r²−|y−x|²)dy, together with the doubling index N(x,r)=log₂(H(x,2r)/H(x,r)). The argument proves almost monotonicity of F, uses it to control N, then derives a four-ball inequality that bounds N uniformly from the growth condition; finally Logunov's cube-dissection and counting scheme converts the doubling bound into a nodal measure bound.

What would settle it

Exhibit a solution of Δw = W·∇w + V w satisfying the local doubling bound (2.2) whose nodal measure in B1 grows faster than every fixed power of M²+κ, or produce a counterexample to the three-ball inequality used for Lemma 5.2; either would refute Theorem 2.1.

Watch

Extended reading notes

Core claim

Under a local L² doubling condition, the doubling index N(x,r) is uniformly bounded by C(R²+log K), and from this the paper derives $H^{{n−1}}$({w=0}∩B1) ≤ C(M²+κ)^C. The key mechanism is an L²-based frequency function that is almost monotone, a four-ball inequality obtained from a three-ball inequality by Davey, and Logunov's combinatorial covering argument that prevents high-vanishing-order cubes from clustering.

Load-bearing premise

The proof of the global doubling-index bound depends on the three-ball inequality and modified-frequency monotonicity from the cited preprint [Da]; if that external result fails, Lemmas 5.2 and 5.3 collapse.

Editorial extensions

If this is right

  • Any solution satisfying the local doubling condition with fixed coefficient norms has nodal measure in B1 bounded by a constant depending only on the dimension and the doubling constant.
  • The bound is polynomial in the coefficient norms, so small perturbations of coefficients cannot create exponentially large nodal sets on unit scale.
  • The proof supplies a quantitative unique continuation statement: the doubling index is bounded by C(R²+log K) on balls.
  • The result extends the Logunov nodal-set machinery from Laplace eigenfunctions to general second-order elliptic equations with bounded W^{1,∞} coefficients.
  • In the special case of harmonic functions the argument recovers a polynomial nodal bound consistent with known results, providing a unified proof template.

Reading between the lines

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

  • The method likely carries over to elliptic equations in divergence form with Hölder or VMO coefficients, as long as an appropriate three-ball inequality holds.
  • The result suggests that nodal set bounds for eigenfunctions of Schrödinger operators −Δ+V with large potential can be read off from local doubling conditions rather than from the spectral parameter alone.
  • One could test the sharpness of the polynomial power by constructing explicit solutions (for example, products of plane waves) whose nodal measure grows like a fixed power of M²+κ.
  • Because a central ingredient is cited from an arXiv preprint, the unconditional status of the theorem depends on that preprint's correctness; a self-contained proof of the three-ball inequality would remove this dependency.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper proves a quantitative upper bound on the (n-1)-dimensional Hausdorff measure of the nodal set for a solution w of the Schrödinger equation Δw = W·∇w + V w in a ball, assuming a local L² doubling condition and W^{1,∞} bounds on the coefficients. The main theorem, Theorem 2.1, asserts that under ∥w∥_{L²(B₂)} ≤ e^κ ∥w∥_{L²(B₁)}, the nodal measure in B₁ is at most C(M²+κ)^C with M = ∥V∥_{W^{1,∞}(B₂)} + ∥W∥_{W^{1,∞}(B₂)} + 1. The proof adapts Logunov's scheme: after rescaling coefficients to have norms at most one, it defines an L²-based frequency function, proves almost monotonicity (Section 3), uses simplex and cube-counting lemmas to bound the number of high-doubling cubes (Section 4), and finally combines a four-ball inequality with the global doubling condition to uniformly bound the doubling index (Section 5).

Significance. If the main theorem is correct, this is a worthwhile extension of Logunov's polynomial nodal estimates from Laplace eigenfunctions to general second-order elliptic equations with variable lower-order coefficients, with the explicit polynomial dependence on the coefficient norms being the new quantitative content. The local frequency analysis in Section 3 is self-contained and appears sound, and the overall structure transparently follows the Logunov blueprint. The main weaknesses are that the proof of Lemma 5.3, the only place the global doubling condition enters, is sketched rather than demonstrated, and that both Lemmas 5.1 and 5.2 are quoted from an unpublished arXiv preprint without sufficient verification of hypotheses. There are also repairable errors in Lemma 4.4 concerning a ball inclusion and the rescaling of coefficients. These issues are load-bearing for the central theorem but appear fixable within the manuscript's scope.

major comments (4)
  1. [Section 5, Lemma 5.3] The proof of Lemma 5.3 is not complete. The key step is the single sentence "We may connect x₀ to x by a chain of overlapping balls and invoke Lemma 5.1 to obtain log(H(x,R/2)/H(x,R/4)) ≤ C(R²+log K)", but no chain is constructed, no radii are specified, and the accumulation of constants and of powers of K is not shown. This is load-bearing because Lemma 5.3 is the only place where the global doubling assumption enters the proof of Theorem 2.1. Moreover, the statement of Lemma 5.1 as given is too broad: for x ∈ B_{R/2} and r₃ = R, the ball B_R(x) is not contained in B_R(0), so the three-ball inequality cannot be applied with r₃ = R at such x. The authors need to provide a complete chain argument, with explicit radii satisfying r₂ < 3r₂/2 < r₃ and B_{r₃}(x_i) ⊂ B_R(0), and verify that the resulting constants are O(R²) and the K-dependence is O(log K).
  2. [Section 5, Lemmas 5.1 and 5.2] The proof of Lemma 5.2 depends on formulas (5.4)-(5.5) and on the monotonicity of the weighted frequency e̅n, both quoted from [Da, Proposition 2 and Corollary 2], an arXiv preprint (2506.19130) that is not yet peer-reviewed. The manuscript neither states these external results nor verifies that their hypotheses (e.g., smoothness or smallness conditions on coefficients, range of α, domain geometry) are satisfied in the present W^{1,∞} setting with α = 2R². Since Lemma 5.2 is needed for Lemma 5.3, the external dependency is load-bearing: the authors should either prove the required monotonicity and the three-ball inequality in a self-contained appendix or state them as precise lemmas with full hypotheses and proofs.
  3. [Section 4.2, Lemma 4.4] The proof of Lemma 4.4 contains two concrete issues. First, the constant K is chosen so that B(0,1/8K) ⊂ B(p,tr), but with the natural reading K = 12C_m/(log(14/13)·4√n) + 1/(32√n), this inclusion fails for n ≥ 4 because |p| + 1/(8K) > tr. Second, in the rescaling step at the end of the proof, the coefficients fW(x) = R W(Rx) and eV(x) = R² V(Rx) satisfy ∥fW∥_{W^{1,∞}} ≤ R + R² and ∥eV∥_{W^{1,∞}} ≤ R² + R³, which is not ≤ 1 for all R ∈ (0,1). The claim that the rescaled coefficients satisfy (3.2) is therefore false. Both issues are repairable by enlarging K and by allowing the constants to depend on a fixed uniform bound for the rescaled coefficient norms, but the proof as written needs correction.
  4. [Appendix A.2 and Lemma 4.6] In the proof of Claim 2 in Appendix A.2, after deriving (4.16), the authors write "For the case when the hyperplane P is not the same as the equator hyperplane of q, we may adapt the arguments in [Lo1, Theorem 5.1] by choosing a bigger cube containing q that has P as its equator hyperplane. We omit the details here and assume that P is the equator hyperplane of q." This is a nontrivial reduction that is part of the combinatorial argument controlling the number of bad subcubes. Since Lemma 4.6 is used in Lemma 4.7 and ultimately in Theorem 2.1, the manuscript should either supply the details of this adaptation or cite a precise statement in Logunov's paper that covers the non-equator case verbatim.
minor comments (4)
  1. [Section 5.2, proof of Lemma 5.2] In the displayed integral after integrating (5.4), the notation appears to show the limits as "ρ₂ to 3ρ₂/2" rather than the intended interval [3ρ₂/2, 2ρ₂]; please correct the typographical error so that the integration limits match the surrounding text.
  2. [Notation] The doubling index is initially written as N_u(x,r) in Section 3.2 but later appears as N(x,r) without the subscript; this is harmless but should be made consistent for readability.
  3. [Appendix A.1, proof of Lemma 4.1] The Euclidean geometry inclusion (A.1) is quoted from [Lo1, Section 2, page 225] without restating the exact constants or assumptions; for a self-contained proof, please state the geometric lemma explicitly or give a fuller reference.
  4. [Introduction] There are occasional typos such as "Schr¨odinger" and inconsistent use of ϵ versus ε; these should be corrected in a final revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nodal bound is derived from the stated doubling hypothesis with externally cited tools, not from a fitted or self-referential input.

full rationale

The paper's central claim, Theorem 2.1, is a theorem: assuming the local growth condition ||w||_{L2(B2)} <= e^kappa ||w||_{L2(B1)}, it derives H^{n-1}({w=0} cap B1) <= C(M^2+kappa)^C. The doubling constant kappa enters as a hypothesis and is propagated through Lemma 5.3 as a bound on the doubling index; it is not a parameter fitted to nodal data and then renamed a prediction. The proof splits into (i) an almost-monotonicity/frequency argument in Sections 3-4, where the needed Lemma 3.1 is proved in the text, and (ii) a doubling-index upper bound in Section 5. Lemma 5.2 and Lemma 5.3 rely on Davey's three-ball inequality and weighted-frequency monotonicity from [Da], which is an external preprint and not a self-citation by the present authors; dependence on an external result, even a recent one, is a correctness risk rather than circularity. The paper's own earlier work is cited only for definitions and context: [Ku2] for the weighted norms (5.1)-(5.3) and [KN] for the full-ball frequency idea, while the actual monotonicity estimate is established in Lemma 3.1. No fitted input is later presented as an output, no uniqueness theorem is imported from the authors' own prior work to forbid alternatives, and no known result is merely renamed. The derivation is therefore self-contained against the stated assumptions and does not reduce to its inputs by construction; any remaining concern about the validity of [Da] or the terseness of the chain-of-balls step in Lemma 5.3 belongs to correctness assessment, not circularity.

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

The central claim rests on several external results. Most load-bearing is Davey's recent frequency-function work for this exact PDE class, plus the Cauchy uniqueness and Hardt-Simon theorems. The paper does not supply independent proofs of these inputs.

assumptions (5)
  • standard math Interior elliptic regularity and sup estimates for solutions of Δu = W·∇u + V u with W,V ∈ W^{1,∞}.
    Used in (4.7) of Lemma 4.4 to bound sup |u| and sup |∇u| on a cube by its L2 norm over a larger cube.
  • domain assumption Cauchy uniqueness theorem (Lemma 4.3) from [Lin, Lemma 4.3] and [ARRV, Theorem 1.7].
    Invoked in Lemma 4.4 to conclude that small boundary Cauchy data imply smallness of the solution in the half-ball.
  • domain assumption Hardt-Simon theorem [HS, Theorem 1.7] gives finiteness of the normalized nodal measure for solutions with bounded doubling index.
    Provides the base case F(N)<∞ for the recursion in Lemma 4.7.
  • standard math Euclidean geometry lemma from [Lo1, Theorem 5.1] and the simplex covering property from [Lo1, Section 2].
    Used in Lemma 4.6 and Appendix A to find simplices inside sets with positive relative width.
  • domain assumption Davey's three-ball inequality and monotonicity of the modified frequency function [Da, Proposition 2 and Corollary 2].
    Basis for Lemma 5.2 (four-ball inequality) and Lemma 5.3 (bound on the doubling index); this is a recent preprint (arXiv:2506.19130) and is not proved in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nodal set for the Schr\"odinger equation under a local growth condition." pith.science (2026). https://pith.science/paper/QGI66Y6H

@misc{pith2026250719600,
  author       = {Pith},
  title        = {Pith review of: Nodal set for the Schr\"odinger equation under a local growth condition},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QGI66Y6H}},
  note         = {Machine review of arXiv:2507.19600}
}
abstract

We address the upper bound on the size of the nodal set for a solution $w$ of the Schr\"odinger equation $\Delta w= W\cdot \nabla w+V w$ in an open set in $\mathbb{R}^n$, where the coefficients belong to certain Sobolev spaces. Assuming a local doubling condition for the solution $w$, we establish an upper bound on the $(n-1)$-dimensional Hausdorff measure of the nodal set, with the bound depending algebraically on the Sobolev norms of $W$ and $V$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 32 canonical work pages

  1. [1]

    F. J. Almgren Jr., Dirichlet's problem for multiple valued functions and the regularity of mass minimizing integral currents, in Minimal submanifolds and geodesics (Proc. Japan-United States Sem., Tokyo, 1977) , pp. 1--6, North-Holland, Amsterdam-New York

    work page 1977

  2. [2]

    Aronszajn, A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J

    N. Aronszajn, A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J. Math. Pures Appl. (9) 36 (1957), 235–249

    1957

  3. [3]

    W. O. Amrein, A. M. Boutet de Monvel and V. Georgescu, L p -inequalities for the Laplacian and unique continuation , Ann. Inst. Fourier (Grenoble) 31 (1981), no. 3, vii , 153--168

    work page 1981

  4. [4]

    Aronszajn, A

    N. Aronszajn, A. Krzywicki and J. Szarski, A unique continuation theorem for exterior differential forms on Riemannian manifolds, Ark. Mat. 4 (1962), 417--453 (1962)

    work page 1962

  5. [5]

    Alessandrini, L

    G. Alessandrini, L. Rondi, E. Rosset, and S. Vessella, The stability for the Cauchy problem for elliptic equations, Inverse Problems 25 (2009), no. 12, 123004, 47 pp

    work page 2009

  6. [6]

    Banerjee and N

    A. Banerjee and N. Garofalo, Quantitative uniqueness for elliptic equations at the boundary of C^ 1, Dini domains , J. Differential Equations 261 (2016), no. 12, 6718--6757

    work page 2016

  7. [7]

    Carleman, Sur un probl\`eme d'unicit\'e pur les syst\`emes d'\'equations aux d\'eriv\'ees partielles \`a deux variables ind\'ependantes , Ark

    T. Carleman, Sur un probl\`eme d'unicit\'e pur les syst\`emes d'\'equations aux d\'eriv\'ees partielles \`a deux variables ind\'ependantes , Ark. Mat. Astr. Fys. 26 (1939), no. 17, 9 pp

    work page 1939

  8. [8]

    Davey, A frequency function approach to quantitative unique continuation for elliptic equations, arxiv 2506.19130

    B. Davey, A frequency function approach to quantitative unique continuation for elliptic equations, arxiv 2506.19130

    arXiv

Show all 34 references
  1. [9]

    R. T. Dong, Nodal sets of eigenfunctions on Riemann surfaces, J. Differ. Geom. 36, 493--506 (1992)

    1992

  2. [10]

    Donnelly and C

    H. Donnelly and C. Fefferman, Nodal sets of eigenfunctions on R iemannian manifolds , Invent. Math. 93 (1988), no. 1, 161--183

    1988

  3. [11]

    Donnelly and C

    H. Donnelly and C. Fefferman, Nodal sets for eigenfunctions of the Laplacian on surfaces, J. Amer. Math. Soc. 3 (1990), no. 2, 333--353

    1990

  4. [12]

    Davey and J

    B. Davey and J. Zhu, Quantitative uniqueness of solutions to second-order elliptic equations with singular lower order terms, Comm. Partial Differential Equations 44 (2019), no. 11, 1217--1251

    2019

  5. [13]

    Garofalo and F

    N. Garofalo and F. Lin, Monotonicity properties of variational integrals, A_p weights and unique continuation, Indiana Univ. Math. J. 35 (1986), no. 2, 245--268

    1986

  6. [14]

    Hardt and L

    R. Hardt and L. Simon, Nodal sets for solutions of elliptic equations, J. Differential Geom. 30 (1989), no. 2, 505--522

    1989

  7. [15]

    D. S. Jerison and C. E. Kenig, Unique continuation and absence of positive eigenvalues for Schr\"odinger operators, Ann. of Math. (2) 121 (1985), no. 3, 463--494

    1985

  8. [16]

    Kukavica, Quantitative uniqueness for second-order elliptic operators, Duke Math

    I. Kukavica, Quantitative uniqueness for second-order elliptic operators, Duke Math. J. 91 (1998), no. 2, 225--240

    1998

  9. [17]

    Kukavica, Quantitative, uniqueness, and vortex degree estimates for solutions of the Ginzburg-Landau equation, Electronic Journal of Differential Equations, Vol

    I. Kukavica, Quantitative, uniqueness, and vortex degree estimates for solutions of the Ginzburg-Landau equation, Electronic Journal of Differential Equations, Vol. 2000(2000), No. 61, pp. 1--15

    2000

  10. [18]

    Kukavica and K

    I. Kukavica and K. Nystr\" o m, Unique continuation on the boundary for D ini domains , Proc. Amer. Math. Soc. 126 (1998), 441--446

    1998

  11. [19]

    C. E. Kenig, J. Zhu and J. Zhuge, Doubling inequalities and nodal sets in periodic elliptic homogenization, Comm. Partial Differential Equations 47 (2022), no. 3, 549--584

    2022

  12. [20]

    Lin, Nodal sets of solutions of elliptic and parabolic equations, Comm

    F. Lin, Nodal sets of solutions of elliptic and parabolic equations, Comm. Pure Appl. Math. 44 (1991), no. 3, 287--308

    1991

  13. [21]

    Logunov, Nodal sets of L aplace eigenfunctions: polynomial upper estimates of the H ausdorff measure , Ann

    A. Logunov, Nodal sets of L aplace eigenfunctions: polynomial upper estimates of the H ausdorff measure , Ann. of Math. (2) 187 (2018), no. 1, 221--239

    2018

  14. [22]

    Logunov, Nodal sets of Laplace eigenfunctions: proof of N adirashvili's conjecture and of the lower bound in Yau's conjecture , Ann

    A. Logunov, Nodal sets of Laplace eigenfunctions: proof of N adirashvili's conjecture and of the lower bound in Yau's conjecture , Ann. of Math. (2) 187 (2018), no. 1, 241--262

    2018

  15. [23]

    Logunov and E

    A. Logunov and E. Malinnikova, Nodal sets of Laplace eigenfunctions: estimates of the Hausdorff measure in dimensions two and three, in 50 years with Hardy spaces , 333--344, Oper. Theory Adv. Appl., 261, Birkh\"auser/Springer, Cham

  16. [24]

    Logunov and E

    A. Logunov and E. Malinnikova, Review of Y au's conjecture on zero sets of L aplace eigenfunctions . Current developments in mathematics 2018, 179--212. Int. Press, Somerville, MA, 2020

    2018

  17. [25]

    Logunov, E

    A. Logunov, E. Malinnikova, N. Nadirashvili, and F. Nazarov, The sharp upper bound for the area of the nodal sets of Dirichlet Laplace eigenfunctions, Geom. Funct. Anal. 31 (2021), no. 5, 1219--1244

    2021

  18. [26]

    Lin and Z

    F. Lin and Z. Shen, Nodal sets and doubling conditions in elliptic homogenization, Acta Math. Sin. (Engl. Ser.) 35 (2019), no. 6, 815--831

    2019

  19. [27]

    F. Liu, L. Tian and X. P. Yang, Measure upper bounds of nodal sets of Robin eigenfunctions, Math. Z. 306 (2024), no. 1, Paper No. 14, 14 pp

    2024

  20. [28]

    Lin and J

    F. Lin and J. Zhu, Upper bounds of nodal sets for eigenfunctions of eigenvalue problems, Math. Ann. 382 (2022), no. 3-4, 1957--1984

    2022

  21. [29]

    Naber and D

    A. Naber and D. Valtorta, Volume estimates on the critical sets of solutions to elliptic PDEs, Comm. Pure Appl. Math. 70 (2017), no. 10, 1835--1897

    2017

  22. [30]

    Schechter and B

    M. Schechter and B. Simon, Unique continuation for Schr\"odinger operators with unbounded potentials, J. Math. Anal. Appl. 77 (1980), no. 2, 482--492

    1980

  23. [31]

    Yau (ed.), Seminar on D ifferential G eometry , Annals of Mathematics Studies, vol

    S.T. Yau (ed.), Seminar on D ifferential G eometry , Annals of Mathematics Studies, vol. No. 102, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982, Papers presented at seminars held during the academic year 1979--1980

    1982

  24. [32]

    Zhu, Quantitative uniqueness of elliptic equations, Amer

    J. Zhu, Quantitative uniqueness of elliptic equations, Amer. J. Math. 138 (2016), no. 3, 733--762

    2016

  25. [33]

    Zhu, Doubling inequality and nodal sets for solutions of bi-Laplace equations, Arch

    J. Zhu, Doubling inequality and nodal sets for solutions of bi-Laplace equations, Arch. Ration. Mech. Anal. 232 (2019), no. 3, 1543--1595

    2019

  26. [34]

    Zhu and J

    J. Zhu and J. Zhuge, Nodal sets of Dirichlet eigenfunctions in quasiconvex Lipschitz domains, arxiv 2303.02046

    arXiv

Pith tools

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