REVIEW 2 major objections 3 minor 1 cited by
Nadirashvili' Conjecture for Elliptic PDEs and its Applications
T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper gives a positive answer to Nadirashvili's 1997 conjecture: a harmonic function with bounded nodal volume in the unit ball is controlled on the half-ball by finitely many derivatives at the center, and the same is shown for general
desk verdict Claims a major conjecture resolved; the proof hinges on a quantitative Logunov-type bound that the abstract doesn't show. 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 central object is the nodal volume, the $(n-1)$-dimensional Hausdorff measure of the zero set of the solution. The argument rests on three mechanisms: a lower bound showing that a nonzero elliptic solution cannot have a zero set that is too small at any scale; propagation of smallness, which spreads a smallness estimate from one interior point to a surrounding region; and standard elliptic estimates, which pass from function bounds to bounds on finitely many derivatives at the center. Together these convert the geometric hypothesis on nodal volume into the finite-derivative estimate.
What would settle it
In $\mathbb{R}^n$, look for a sequence of harmonic functions $u_k$ on $B_1$ such that $\mathcal{H}^{n-1}(\{u_k=0\})$ is uniformly bounded, $\sup_{B_{1/2}} |u_k|=1$, and for every fixed $N$ the quantity $\sum_{|\alpha|\le N}|\partial^\alpha u_k(0)|$ tends to $0$. If such a sequence exists, the conjectured finite-derivative bound fails.
Extended reading notes
Core claim
Let $u$ be harmonic in the unit ball $B_1\subset\mathbb{R}^n$ and suppose its nodal volume is finite, i.e. $\mathcal{H}^{n-1}(\{x\in B_1 : u(x)=0\})\le V$. The claim is that $$\sup_{B_{1/2}} |u| \le C \sum_{|\$\alpha$|\le N} |\partial^\$\alpha$ u(0)|,$$ where $C$ and the integer $N$ depend only on the dimension $n$ and the bound $V$. The same estimate is proved for solutions of second-order elliptic PDEs with smooth coefficients, and a weaker form is obtained when the coefficients are less regular. The proof is assembled from three known tools: a quantitative lower bound on the size of nodal sets, propagation of smallness for elliptic solutions, and elliptic estimates that compare pointwise values
Load-bearing premise
The proof relies on the existing quantitative lower bounds on how small a nonzero solution's zero set can be, and on the propagation-of-smallness estimate for the relevant elliptic class, holding at every scale with the constants the argument needs; the paper invokes these tools rather than proving them from scratch.
Editorial extensions
If this is right
- For harmonic functions, bounded nodal volume turns derivative data at the center into a uniform bound on the half-ball, using only finitely many derivatives.
- The same control holds for solutions of general second-order elliptic equations with smooth coefficients.
- A weaker version of the control persists for elliptic equations with less regular coefficients.
- As a direct corollary, if a solution with bounded nodal volume has all derivatives vanishing at the center, it is identically zero on the half-ball.
Reading between the lines
- An unstated consequence of the proof is an explicit doubling-index estimate: the number $N$ of derivatives needed should be computable from the nodal-volume bound and the ellipticity constants, which would make strong unique continuation quantitative.
- A natural test of the method is to replace a single harmonic function by a system and replace nodal volume by the measure of the set where all components vanish; whether the needed zero-set lower bound exists for systems is the limiting open question.
- Because the smooth-coefficient version passes from the Laplacian to general elliptic operators, the estimate should be stable under small perturbations of the coefficients; one could test this by computing the constants for a family of operators approaching the Laplacian.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript (abstract only) claims to prove Nadirashvili's 1997 conjecture: for a harmonic function in the unit ball with bounded nodal volume, the supremum over the half-ball is controlled by a finite sum of derivatives at the center. According to the abstract, the proof uses Logunov's lower bound on nodal sets, propagation of smallness, and elliptic estimates, and the result is extended to general elliptic PDEs with smooth coefficients, with a weaker version for less regular coefficients. Applications are also announced. No derivation, theorem statements, or estimates are provided in the available text.
Significance. If the proof is correct, the paper resolves a long-standing conjecture in the quantitative theory of elliptic PDEs and extends it to a broader class of operators. The chosen tools, Logunov's nodal-set lower bound and propagation of smallness, are appropriate and powerful, and a successful combination would be a substantial contribution. However, because the submitted material is only an abstract, the soundness of the claimed result cannot be checked; the significance remains conditional on the missing proof details.
major comments (2)
- [Abstract] The central claim is that Logunov's lower bound together with propagation of smallness yields a bound by a finite sum of derivatives at the center. The abstract does not specify the quantitative relation between the nodal-volume bound V and the number N of derivatives in the finite sum. If N is allowed to depend on V, the statement should say so explicitly. If a universal N independent of V were intended, the claim is false: the functions u_N(z)=Re(z^N) in two dimensions have nodal volume growing with N, so no fixed finite derivative sum can control sup_{B_{1/2}}|u_N|. This is a load-bearing ambiguity that must be resolved in the full proof.
- [Abstract] The announced extension to 'general elliptic PDEs with smooth coefficients' and the 'weak version for less regular coefficients' lacks all hypotheses. No ellipticity condition, coefficient regularity class, or normalization of the solution is stated. Without these, the scope of the theorem is undefined, and the reader cannot assess whether the stated tools are sufficient. The full manuscript must state the exact assumptions and theorem statements.
minor comments (3)
- [Abstract] Typos: 'supermum' should be 'supremum', 'verison' should be 'version', and 'Nadirashvili'' should be 'Nadirashvili's'.
- [Abstract] The phrase 'finite sum of derivatives at the center' should clarify that the derivatives are evaluated at 0 and whether the zeroth derivative is included in the sum.
- [Abstract] The abstract gives no references for Logunov's lower bound or Nadirashvili's original conjecture; the full paper should provide these.
Circularity Check
No circularity: the abstract derives the conjecture from independent external tools (Logunov's nodal-set lower bound, propagation of smallness) with no self-citation or fitting step.
full rationale
The abstract contains no derivation chain that reduces to its own inputs. The claimed result is a positive answer to Nadirashvili's conjecture, obtained by combining two external tools: the lower bound of nodal sets due to Alexander Logunov and propagation of smallness. These are independent results, not results of the present authors, and they are not equivalent to the conjecture being proved. There is no fitted parameter renamed as a prediction, no definition of the conjecture in terms of the conclusion, and no self-citation that carries a load-bearing premise. The only caveat is a possible quantitative gap between Logunov's lower bound and the needed finite-derivative control, but that is a correctness risk, not circularity. Since the review is abstract-only, no further internal equations or claims are available to examine. Under the stated rules, reliance on external theorems is genuine evidence and the honest finding is no significant circularity.
Assumptions & free parameters
assumptions (2)
- domain assumption Logunov's lower bound on nodal sets
- domain assumption Propagation of smallness property for elliptic PDEs
Cite this review
Pith. "Pith review of Nadirashvili' Conjecture for Elliptic PDEs and its Applications." pith.science (2026). https://pith.science/paper/EVLMIIHV
@misc{pith2026250807861,
author = {Pith},
title = {Pith review of: Nadirashvili' Conjecture for Elliptic PDEs and its Applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/EVLMIIHV}},
note = {Machine review of arXiv:2508.07861}
}
read the original abstract
In this article, we investigate the conjecture posed by Nadirashvili in 1997. It states that if a harmonic function has bounded nodal volume in the unit ball, then the supermum over the half-ball can be bounded by a finite sum of derivatives at the center. The main tool in this paper is the lower bound of nodal sets, which is first proved by Alexander Logunov. Also we combine the propagation of smallness property and elliptic estimates to give a positive answer to this conjecture. In fact, we can extend this conjecture to general elliptic PDEs with smooth coefficients and also obtain a weak verison for less regular coefficients. Finally, we give several applications of this conjecture.
Forward citations
Cited by 1 Pith paper
-
Lower Bound of Nodal Sets in Elliptic Homogenization and Functions with Strong Maximum Principle
Continuous functions on the unit disk with the strong maximum principle and a zero at the center have nodal sets of length at least 2, and the constant 2 is sharp (attained by u = x1).
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.