Lower Bound of Nodal Sets in Elliptic Homogenization and Functions with Strong Maximum Principle

Jiahuan Li; Zhichen Ying

REVIEW 4 major objections 4 minor 5 references

Lower Bound of Nodal Sets in Elliptic Homogenization and Functions with Strong Maximum Principle

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

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

Pith's one-line read A continuous function on the unit disk that vanishes at the origin and satisfies the strong maximum principle must have a zero set of length at least 2.

desk verdict The sharp 2D strong-maximum-principle nodal lower bound is new and likely correct, but the proof as written has a real gap in the rotation argument and the homogenization half needs tightening. read the letter →

arxiv 2512.12305 v4 pith:6QZN6U5H submitted 2025-12-13 math.AP

Jiahuan Li , Zhichen Ying This is my paper · ORCID

classification math.AP MSC 35B2735B5035J1528A75

keywords nodalsetslowerboundselliptichomogenizationstrongmaximumprincipleHausdorffmeasuretwo-dimensionaldoublingindexperiodiccoefficients

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

The paper establishes that in two dimensions, the presence of nodal volume is a pure maximum-principle phenomenon. It proves a uniform lower bound for nodal volume in elliptic homogenization (depending only on the doubling index in dimensions n≥3, and constant in dimension two), and then goes further: any continuous function on the unit disk that satisfies the strong maximum principle and vanishes at the origin has a zero set of length at least 2. The constant 2 is sharp, attained by a linear function. This transfers the question of lower nodal bounds from the analytic structure of PDEs to a topological constraint on sign changes.

What carries the argument

The key mechanism is the forced double sign change on every concentric circle: for an SMP function with u(0)=0, the ball B_s must contain both positive and negative values, so by continuity the boundary ∂B_s contains at least two zeros of u. The proof converts this into an H^1 lower bound on the annulus through a covering/rotation argument that maps the two zero arcs onto two fixed radial segments, yielding at least r_s of length per annulus, and then propagates the bound from s=1 down to s=0 by a closedness argument. In the homogenization part, the load-bearing tools are a harmonic approximation theorem (Theorem 2.2) that replaces the oscillating solution by a harmonic function when ε ≪ N^{

What would settle it

Construct a continuous function on the unit disk, vanishing at the origin and satisfying the strong maximum principle, whose zero set intersects each circle centered at the origin at most once (or whose total length is less than 2). For instance, a function with a single smooth zero curve spiraling from the origin to the boundary would, if it existed, refute Theorem 1.9. Alternatively, verifying the covering/rotation inequality (4.13)–(4.21) on a simple piecewise-linear example would test the geometric step.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.9: for every continuous u in B(0,1) ⊂ R^2 satisfying the strong maximum principle with u(0)=0, the 1-dimensional Hausdorff measure of the zero set in the unit ball is at least 2. The proof shows that on every circle centered at the origin, the strong maximum principle forces u to take both positive and negative values, so each circle carries at least two zeros; the argument then converts this 'two zeros per circle' fact into a lower bound on the Hausdorff measure of the full zero set. The companion results for elliptic homogenization (Theorems 1.5–1.7) establish lower bounds for oscillating-coefficient equations that are uniform in the oscillation scale, an

Load-bearing premise

The load-bearing premise is that each circle ∂B_s carries at least two zeros of u, together with the geometric conversion of that fact into a Hausdorff-measure lower bound, a step that the manuscript does not fully justify.

Editorial extensions

If this is right

In dimension two, the nodal lower bound for elliptic homogenization is independent of both the oscillation scale ε and the doubling index; it depends only on the ellipticity constant (Theorem 1.7).
For any uniformly elliptic C^1 operator in two dimensions, a nontrivial solution vanishing at a point has nodal length at least a constant depending only on ellipticity (Theorem 3.2).
The sharp constant 2 in Theorem 1.9 shows that no additional PDE structure can improve the lower bound: a linear function already attains it.
In dimensions n≥3, homogenization solutions with a bounded doubling index N_0 have nodal volume bounded below by a constant depending on N_0, uniformly in ε (Theorem 1.6).
The results imply that any equation whose solutions obey the strong maximum principle inherits a constant nodal lower bound in 2D, regardless of coefficient regularity or oscillation.

Reading between the lines

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

The two-zeros-per-circle property, together with the standard coarea inequality for Hausdorff measures, would prove Theorem 1.9 directly without the covering/rotation argument; the paper's elaborate geometric step may be unnecessary.
If Theorem 1.9 extends to higher dimensions, one would expect H^{n-1}({u=0}) ≥ c(n) > 0 for SMP functions vanishing at the origin, but the circle argument does not obviously generalize to spheres.
The homogenization lower bound C(N_0) degrades as N_0 grows; the conjectured fully uniform bound independent of N_0 would require a mechanism beyond harmonic approximation, which currently demands ε ≪ N^{-1/2}.
A natural test of the geometric step is to compute the nodal length of piecewise-linear SMP functions with polygonal zero sets; if any such function achieves length < 2, Theorem 1.9 would fail.

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

The paper's real contribution is Theorem 1.9: any continuous function on the unit disk satisfying the strong maximum principle, with u(0)=0, has nodal length at least 2, and the constant is sharp. That is a genuinely new result — nothing in the cited PDE-specific literature gives this for arbitrary SMP functions, and it identifies a maximum-principle phenomenon rather than a PDE-structural one. The proof idea is also appealing: two crossings per concentric circle, converted into a length lower bound. The authors are honest that the homogenization bounds are far from optimal, and I see no circularity or fitted parameters; the heavy inputs come from LLPS24 and KZZ22.

The soft spots are real but mostly fixable. The rotation-covering step in Claim 2 is not justified as written: rotating the center of a ball along a circle is not an isometry of the ball, so the claimed containment can fail badly. The stress-test note is right that a 1-Lipschitz radial projection F(r,θ)=(r,θ_mid) repairs this, mapping each zero set into the corresponding radial segment and preserving the length comparison. That makes the central argument recoverable. Claim 1 also has a reversed inequality in the decreasing-subsequence case, but that is a minor fix via upper continuity of H^1.

The homogenization half is rougher. Theorem 1.5's counting gives the wrong exponent as printed; Theorem 1.6 asserts an epsilon-uniform C(N0) without covering the regime epsilon >= epsilon0(N0) where the KZZ22 approximation premise fails and LLPS24 constants degrade; Theorem 3.2 is stated for C^1 coefficients but the proof assumes Lipschitz constants and blows up; Theorem 3.9 is asserted without proof. These are load-bearing for the homogenization claims, and they would need to be addressed before those theorems can be used. The authors do flag that the quantitative form in Theorem 3.9 is open, which is good, but the other gaps are not flagged.

Overall, the central SMP theorem is likely correct and deserves to be published after repair. The homogenization results are suggestive but need more work. This is a paper for nodal-set and homogenization people, and it deserves a serious referee rather than a desk reject. I would send it to peer review with the expectation of revision.

Referee Report

4 major / 4 minor

Summary. This paper studies lower bounds for nodal sets Z(u)={u=0}. Theorem 1.5 states that for divergence-form periodic homogenization in n≥3, a nontrivial solution u_ε with u_ε(0)=0 and doubling index N_0 satisfies H^{n-1}(Z(u_ε)∩B_1)≥C/N_0^{n-1} for ε<ε_0(A,n,N_0); Theorem 1.6 upgrades this to a uniform C(N_0) bound. Theorem 1.7 gives a constant lower bound in n=2 independent of ε and N_0, and Theorem 3.2 gives a similar constant bound for elliptic equations with C^1 coefficients, independent of the Lipschitz constant. The central result, Theorem 1.9, asserts that every continuous function on B_1⊂R^2 satisfying the strong maximum principle with u(0)=0 has H^1(Z(u)∩B_1)≥2, with the bound sharp for u=x_1; Theorem 4.3 extends this to the weak SMP class. The proof uses the set I of radii s for which the nodal set in the annulus T_{s,1} has length at least 2(1-s), and proves I=[0,1] via closure and a left-propagation claim.

Significance. If the gaps are repaired, the paper would establish a genuinely new phenomenon in two dimensions: the nodal lower bound is a consequence of the maximum principle rather than of PDE structure, with an optimal constant 2. The homogenization results respond to a natural question, and the dependence C(N_0) in Theorem 1.6 is in line with the known almost-sharp bounds from LLPS24 and KZZ22. The proof is analytic and self-contained apart from standard cited theorems; it contains no fitted parameters, and the sharp example is explicit. However, as written, the proof of Theorem 1.9 has a gap in the covering step (Claim 2), and several supporting arguments in Sections 2-3 require additional justifications. The overall significance is high if the revision succeeds.

major comments (4)

[Section 4, Claim 2 (Eqs. (4.13)-(4.21))] The covering argument in Claim 2 is invalid as written. From z_t=(t,φ)∈B_i^1 it does not follow that (t,(θ1+θ2)/2) lies in the rotated ball \tilde B_i^1 centered at (|x_i^1|,(θ1+θ2)/2); only the center was rotated, not z_t, and for φ near a boundary ray the distance between z_t and the mid-angle point can be O(1), far larger than r_i^1≤r_s/10. Thus (4.18) and the inclusion (4.19) are unjustified, and the subsequent 'by the definition of Hausdorff measure' step does not supply the missing comparison. A repair is available: the radial projection F(r,θ)=(r,(θ1+θ2)/2) is 1-Lipschitz, and by (4.16) F maps the zero set in the sector onto the segment l1, so H^1(l1)≤H^1(Z1); similarly for l2. This gives the desired H^1≥r_s. Because this is the central step of Theorem 1.9, the proof must be rewritten.
[Section 4, Claim 1 (Eqs. (4.5)-(4.7))] In the decreasing-subsequence case of Claim 1, the printed chain H^1(T_{s,1})≥H^1(T_{s_nk,1})≥2(1-s_nk) is correct but insufficient: since 2(1-s_nk)≤2(1-s), it does not imply H^1(T_{s,1})≥2(1-s). The conclusion follows from the stronger fact that T_{s_nk,1}↑T_{s,1} and H^1(T_{s,1})=lim_k H^1(T_{s_nk,1}) (using finiteness of the measure). The claim itself is true, but the proof has a logical gap at (4.6)-(4.7).
[Section 2, Lemma 2.4 (Eqs. (2.18)-(2.23))] In Lemma 2.4, after obtaining at least k/3 indices that are both S+-good and S--good, the proof adds H^{n-1}≥C/N^{n-1} over these indices without ensuring that the corresponding balls/annuli are disjoint; adjacent annuli B_{r_i+1}\setminus B_{r_i-1} overlap. A selection of every third index makes them disjoint. In addition, the 'standard nodal sets estimate' used at (2.23) for an arbitrary continuous u needs a precise statement or reference. Since this lemma is the engine for Theorems 1.5-1.6, the section should be made rigorous.
[Section 3, Theorem 3.2 proof and Theorem 1.6] In the proof of Theorem 3.2, the assertion 'by Lemma 3.7' at (3.46) is not enough: Lemma 3.7 is a doubling-ratio inequality, not a measure lower bound. The H^1 bound in B(z_i,1/2) follows from Theorem 3.8 after scaling the equation to unit ball, and the disjointness of the balls (distance at least |i-j|≥1) should be stated before summing over i. Also, the passage 'Combining Theorem 1.2' to obtain Theorem 1.6 for ε≥ε0 is not elaborated; it likely requires the C^1-coefficient version of Theorem 1.2 and a bound on the Lipschitz constant by 1/ε0. Please make these steps explicit.

minor comments (4)

[Throughout] Typos include 'duobling', 'exsits', 'osciallating', 'conseqence', 'unknow', and 'denpending'. Please proofread.
[Section 3, Theorem 3.2 proof] At (3.45), 'mean value theorem' should be 'intermediate value theorem' when concluding the existence of z_i∈∂B_i with v(z_i)=0.
[Section 4, Claim 2] Specify that r_s is chosen small enough (e.g. r_s<min(1-s, ...)) so the sectors and balls used in the annulus lie in B_1; the proof implicitly needs this.
[Section 3, Theorem 1.7 Case 1] The chain H^{n-1}≥C ε^{n-1}≥C hides the fact that the second C depends on the fixed lower bound for ε; rewrite with explicit constants.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proofs rest on external theorems (KZZ22, LLPS24, standard Harnack/Schauder); the only self-citation is contextual and not load-bearing.

full rationale

The derivation chain is not circular. Theorem 1.5 enters via the external harmonic-approximation theorem KZZ22 (Theorem 2.2) under the condition eps ≲ N^{-1/2} and the stability lemma proved in Section 2; Theorem 1.6 combines it with LLPS24 Theorem 1.2. Theorem 1.7 uses LLPS24 Lemma 3.1 plus periodicity; Theorem 3.2 is built on standard Harnack, Schauder and maximum principle arguments. Nowhere is a parameter fitted to the nodal set and no claimed conclusion is equal by construction to an input. The sole self-citation is [L WY25] in the introduction ('Another version of Nadirashvili’s conjecture was solved by the authors and Wang in [L WY25]'), used only as background, not in any proof, so it is not load-bearing. Separately, Section 4 Claim 2 contains an unjustified geometric inference: from 'z_t ∈ B_i^1' the text concludes '(t, (θ1+θ2)/2) ∈ \tilde B_i^1' after rotating only the center, which is not generally valid. This is a correctness/reparation gap, not circularity: it does not make Theorem 1.9 an input of its own proof, and it does not affect the circularity score.

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

The paper introduces no empirical free parameters and no invented physical entities. All constants are existence constants depending on the inputs (A, n, lambda, M, N_0, epsilon) and are not fitted to data; transparent proof-device choices such as k = 3CN and s_0(lambda,M) do not encode the conclusions. The only new objects are the function classes SMP and WSMP (Definitions 4.1-4.2), which are hypothesis classes, not postulated entities. The axioms listed are the external theorems (LLPS24, KZZ22, Harnack, Schauder, maximum principle) and the measure-theoretic facts the arguments lean on, including the unproven rotation-covering step.

assumptions (7)

standard math Harnack inequality for uniformly elliptic second-order divergence-form operators (Theorem 3.3): sup_{B_{1/2}} u <= C(lambda) inf_{B_{1/2}} u for nonnegative solutions.
Invoked in Lemma 3.4 and throughout Section 3; classical (Moser/De Giorgi), stated without proof and not derived.
standard math Schauder estimates for C^{1,alpha} coefficients (Theorem 3.6): ||u||_{C^{1,alpha}(B_{3/4})} <= C(lambda,M) sup_{B_{4/5}} |u|.
Used in Lemma 3.7 and Theorem 3.8 to control gradients and to pass to limits in the blow-up argument.
standard math Strong maximum principle for weak solutions of uniformly elliptic equations.
The contradiction in Lemma 3.7 requires that a nonconstant C^{1,alpha} solution with an interior extremum be constant; also the defining hypothesis of Theorems 1.9 and 4.3.
domain assumption LLPS24 Theorem 1.2 (almost sharp lower bound c N^{1-epsilon} for harmonic functions) and Lemma 3.1 (constant lower bound in squares, attributed to LLPS24).
Lemma 3.1 is the engine of the 2D homogenization lower bound (Theorem 1.7), and Theorem 1.2 is the stated route to Theorem 1.6; neither is re-derived here.
domain assumption KZZ22 Theorem 2.2: harmonic approximation of u_epsilon with rate C eps / r under a doubling inequality and smallness eps less than about C N^{-1/2}; Theorem 2.1: quantitative doubling inequality with exp(exp(C N^{2/beta - 3/4})) bounds.
Theorems 1.5-1.6 rest entirely on these approximation/doubling inputs. The eps less than about C N^{-1/2} smallness condition is precisely why the claimed epsilon-uniform bound in Theorem 1.6 is not established in the regime eps >= eps_0(N_0).
standard math Hausdorff measure is a Borel-regular measure with continuity from above for finite measures (implicit in Claim 1 of Section 4).
The proof that I is closed assumes H^1({u=0} intersect B_1) < infinity and then passes to limits of nested annular sets; the decreasing-subsequence inequality is printed with the wrong direction.
domain assumption The zero set's radial projections dominate the corresponding radial segments: the rotation-covering claim (4.13)-(4.21) in Claim 2 of Section 4.
This step is used to convert 'two crossings per circle' into an H^1 lower bound. As written it is not justified (unbounded multiplicity of rotated copies of a covering ball); the intended statement is recoverable from the fact that the radial projection is 1-Lipschitz, so H^1(projection(E)) <= H^1(E).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Lower Bound of Nodal Sets in Elliptic Homogenization and Functions with Strong Maximum Principle." pith.science (2026). https://pith.science/paper/6QZN6U5H

@misc{pith2026251212305,
  author       = {Pith},
  title        = {Pith review of: Lower Bound of Nodal Sets in Elliptic Homogenization and Functions with Strong Maximum Principle},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6QZN6U5H}},
  note         = {Machine review of arXiv:2512.12305}
}

read the original abstract

In this note, we first try to prove a uniform lower bound of nodal volume in elliptic homogenization setting. This lower bound is far from optimal. But, we can prove a constant lower bound in dimension two. Motivated by the proof, we extend this results to more general settings. To be more specific, we prove that the nodal volume has a constant lower bound for all continuous functions with strong maximum principle. Our result works for general functions beyond solutions to elliptic PDEs.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 3 linked inside Pith

[1982]

14 [Zhu19] Jiuyi Zhu

Papers presented at seminars held during the academic year 1979–1980. 14 [Zhu19] Jiuyi Zhu. Doubling inequality and nodal sets for solutions of bi-Laplace equations.Arch. Ration. Mech. Anal., 232(3):1543–1595,

1979
[2000]

Volume estimates for singular sets and critical sets of elliptic equations with h\”older coefficients.arXiv preprint arXiv:2309.08089,

[HJ23] Yiqi Huang and Wenshuai Jiang. Volume estimates for singular sets and critical sets of elliptic equations with h\”older coefficients.arXiv preprint arXiv:2309.08089,

arXiv
[2023]

The nodal sets of solutions to parabolic equations.arXiv preprint arXiv:2406.05877,

[HJ24] Yiqi Huang and Wenshuai Jiang. The nodal sets of solutions to parabolic equations.arXiv preprint arXiv:2406.05877,

arXiv
[2024]

Nadirashvili’ conjecture for elliptic pdes and its applications.arXiv preprint arxiv:2508.07861,

[L WY25] Jiahuan Li, Junyuan Wang, and Zhichen Ying. Nadirashvili’ conjecture for elliptic pdes and its applications.arXiv preprint arxiv:2508.07861,

arXiv
[2025]

Geometry of nodal sets and multiplicity of eigenvalues.Current De- velopments in Mathematics, 1997(1):231–235,

[Nad97] Nikolai Nadirashvili. Geometry of nodal sets and multiplicity of eigenvalues.Current De- velopments in Mathematics, 1997(1):231–235,

1997

Pith tools

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

[1] [1982]

14 [Zhu19] Jiuyi Zhu

Papers presented at seminars held during the academic year 1979–1980. 14 [Zhu19] Jiuyi Zhu. Doubling inequality and nodal sets for solutions of bi-Laplace equations.Arch. Ration. Mech. Anal., 232(3):1543–1595,

1979

[2] [2000]

Volume estimates for singular sets and critical sets of elliptic equations with h\”older coefficients.arXiv preprint arXiv:2309.08089,

[HJ23] Yiqi Huang and Wenshuai Jiang. Volume estimates for singular sets and critical sets of elliptic equations with h\”older coefficients.arXiv preprint arXiv:2309.08089,

arXiv

[3] [2023]

The nodal sets of solutions to parabolic equations.arXiv preprint arXiv:2406.05877,

[HJ24] Yiqi Huang and Wenshuai Jiang. The nodal sets of solutions to parabolic equations.arXiv preprint arXiv:2406.05877,

arXiv

[4] [2024]

Nadirashvili’ conjecture for elliptic pdes and its applications.arXiv preprint arxiv:2508.07861,

[L WY25] Jiahuan Li, Junyuan Wang, and Zhichen Ying. Nadirashvili’ conjecture for elliptic pdes and its applications.arXiv preprint arxiv:2508.07861,

arXiv

[5] [2025]

Geometry of nodal sets and multiplicity of eigenvalues.Current De- velopments in Mathematics, 1997(1):231–235,

[Nad97] Nikolai Nadirashvili. Geometry of nodal sets and multiplicity of eigenvalues.Current De- velopments in Mathematics, 1997(1):231–235,

1997