{"id":"9877a36b-d9a7-4775-b944-9a8e5bb1ed00","arxiv_id":"2508.07861","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Nadirashvili's 1997 conjecture, bounding half-ball maxima of harmonic functions by center derivatives under a nodal volume condition, is claimed to hold and extend to elliptic PDEs.","lead":"This paper claims to prove Nadirashvili's 1997 conjecture: a harmonic function with bounded nodal volume in the unit ball has its half-ball supremum controlled by a finite sum of derivatives at the center. The authors say the approach, based on nodal set lower bounds and propagation of smallness, extends to general elliptic equations and yields applications.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim is plausible but relies on a specific quantitative form of Logunov's lower bound; the abstract does not establish the needed finite-derivative control.","rationale":"This is an abstract-only review, so the existing UNVERDICTED verdict is appropriate. The reader's weakest assumption correctly identifies dependence on Logunov's lower bound and propagation of smallness. I sharpen this to the quantitative form of that dependence: the key is whether bounded nodal volume yields a bounded number of derivatives in the finite sum. No internal inconsistency is visible from the abstract, and no extra-textual criticism is warranted. The recommended verdict remains UNVERDICTED, hence UNCHANGED, because the available evidence cannot settle correctness. The concrete test would resolve the main uncertainty once the full proof is inspected.","tokens_in":576,"tokens_out":8760,"duration_ms":126002,"concrete_test":"Obtain the full text of the main theorem and the exact statement of Logunov's lower bound used. Verify the contrapositive inference: from |{u=0}∩B_1| ≤ V, the proof must produce an upper bound N ≤ N(V) on the vanishing order at 0. Then test the claimed inequality on u_N(z)=Re(z^N) in 2D with N chosen so that nodal volume ~ N is bounded by V; check that both sides scale consistently and that constants are independent of N. If the theorem's N is not allowed to depend on V, this family provides a counterexample; if N=N(V), the check should confirm the stated dependence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the stated conjecture is said to depend on two main tools: Logunov's lower bound on nodal sets and propagation of smallness. For the conclusion 'sup_{B_{1/2}} |u| is bounded by a finite sum of derivatives at the center' to follow, the lower bound must yield a quantitative upper bound on the vanishing order/frequency at 0 from the assumed nodal-volume bound: bounded nodal volume V must imply N ≤ N(V) for the number of derivatives needed. If the applied version of Logunov's theorem only gives a weaker dependence, e.g. V ≥ c exp(-C N), or if its constants depend on normalization in a way not tracked, then the finite-sum bound may not follow with constants depending only on V. The abstract also leaves ambiguous whether the 'finite sum' includes the zeroth derivative and whether N is allowed to depend on the nodal-volume bound. If a universal finite N independent of V were claimed, the statement would be false, as the family u_N(z)=Re(z^N) in 2D has nodal volume growing with N. Thus the main risk is a gap between the deep tools cited and the quantitative consequence needed; this is an unresolved correctness risk rather than an identified contradiction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":873,"tokens_out":1942,"duration_ms":24315,"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":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"minor_comments":[{"comment":"Typos: 'supermum' should be 'supremum', 'verison' should be 'version', and 'Nadirashvili'' should be 'Nadirashvili's'.","section":"Abstract"},{"comment":"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.","section":"Abstract"},{"comment":"The abstract gives no references for Logunov's lower bound or Nadirashvili's original conjecture; the full paper should provide these.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"The submitted material is only an abstract, so no proof details, estimates, or theorem statements are available for audit. I cannot certify soundness or reject on the evidence. If the full manuscript is available, a proper review should be conducted; otherwise, the paper is not yet in a reviewable state."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know this paper from the abstract: it claims a positive answer to Nadirashvili's 1997 conjecture, that for a harmonic function in the unit ball with bounded nodal volume, the sup over the half-ball is bounded by a finite sum of derivatives at the center. They also extend the statement to general elliptic PDEs and a weak version for less regular coefficients. If this is right, it is a genuine within-field breakthrough.\n\nWhat's new and good: the claim itself is new, and the chosen tools (Logunov's lower bound on nodal sets plus propagation of smallness) are exactly the right machinery. The extension to elliptic PDEs is a natural next step, and the weak version for irregular coefficients suggests they have thought about the boundaries of the argument.\n\nThe soft spots: the abstract gives no proof, which is fine for an abstract, but the main risk is quantitative. The conclusion requires that bounded nodal volume V forces the vanishing order N at the center to be bounded by some N(V). If the authors claim a universal finite N independent of V, they are wrong—take Re(z^N), whose nodal volume grows with N. So the proof must pin down N in terms of V. Logunov's theorem as usually stated gives a lower bound of the form V >= c exp(-C N), which goes in the wrong direction for this purpose. The authors need either a sharper quantitative version or a different application of propagation of smallness. The stress-test note you passed along flags this same gap, and I think it's the one point to scrutinize.\n\nAlso, we only have the abstract, so the applications and the weak version are unverified. That's not a criticism of a preprint, just a limit on my confidence.\n\nBottom line: this is a serious paper, not a crank preprint. The conjecture is real, the approach is appropriate, and the claimed generalization is plausible. The proof could have a real gap, but the only way to know is to referee it. I'd send it out, and would tell the referee to focus on the N(V) dependence and the precise quantitative form of Logunov they invoke.\n\nI'd mention it to a reading group but wouldn't cite it yet.\n\nBest","headline":"Claims a major conjecture resolved; the proof hinges on a quantitative Logunov-type bound that the abstract doesn't show.","tokens_in":1250,"tokens_out":2717,"would_cite":false,"duration_ms":29268,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B60","35J05","35J15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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","keywords":["Nadirashvili conjecture","harmonic functions","nodal sets","nodal volume","elliptic PDE","propagation of smallness","unique continuation","a priori estimates"],"falsifier":"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.","tokens_in":530,"feed_emoji":"📐","tokens_out":9927,"duration_ms":99039,"temperature":0.7,"pith_summary":"This paper gives a positive answer to Nadirashvili's conjecture from 1997: for a harmonic function whose zero set has bounded volume in the unit ball, the supremum over the half-ball is bounded by a finite sum of derivatives of the function at the center. Here the volume of the zero set is the surface measure of the set where the function vanishes. Because the only ingredients are a lower bound on nodal sets and a propagation-of-smallness property, the same control is proved for solutions of general elliptic equations with smooth coefficients, with a weaker version for less regular coefficients. A sympathetic reading is that the paper turns a geometric fact about the zero set into a quantitative bound on how much a solution can vary, and then transfers that transfer principle to a broad class of PDEs.","feed_headline":"Nadirashvili conjecture holds for elliptic PDEs","feed_subtitle":"If a harmonic function's zero set has finite area, its values in the half-ball are controlled by finitely many derivatives at the center.","key_machinery":"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.","core_discovery":"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\n$$\\sup_{B_{1/2}} |u| \\le C \\sum_{|\\$\\alpha$|\\le N} |\\partial^\\$\\alpha$ u(0)|,$$\nwhere $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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Nadirashvili conjecture proven for elliptic equations","Finite zero-set area controls half-ball values","Elliptic PDEs satisfy Nadirashvili's bound","Nodal volume bound yields derivative estimates","Nadirashvili's conjecture solved, applied"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Nadirashvili conjecture proven for elliptic equations","Finite zero-set area controls half-ball values","Elliptic PDEs satisfy Nadirashvili's bound","Nodal volume bound yields derivative estimates","Nadirashvili's conjecture solved, applied"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000225,"raw_usage":{"total_tokens":1276,"prompt_tokens":693,"completion_tokens":583,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":509}},"tokens_in":437,"tokens_out":583,"duration_ms":6626,"temperature":1.0,"reasoning_tokens":509,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:47:07.967786+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}