Pith. sign in

REVIEW 2 major objections 4 minor 20 references

Propagation of smallness near codimension two for gradients of harmonic functions

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

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

Pith's one-line read Smallness near codimension two propagates for harmonic gradients

desk verdict Claims the Logunov-Malinnikova conjecture for gradients, but the key lemma's final step appears broken: the rescaled measure cannot satisfy both small capacity and the Frostman bound the proof creates. read the letter →

arxiv 2508.21214 v1 pith:RUADPOXQ submitted 2025-08-28 math.AP

Benjamin Foster , Josep Gallegos This is my paper · ORCID
classification math.AP MSC 35B6031B0535J0528A78
keywords harmonicfunctionspropagationofsmallnessdoublingindexHausdorffcontentRieszcapacityuniquecontinuationcriticalsetscodimensiontwo
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 proves that if a harmonic function's gradient is small on a set that is almost of codimension two—specifically, a set with positive (n−2+δ)-dimensional Hausdorff content for any δ>0—then the gradient is also small (in a power sense) throughout the inner half-ball. This answers in the affirmative a conjecture raised in [LM18b], improving the earlier result there that required δ to exceed a small dimensional constant. The threshold is sharp: sets of exactly dimension n−2 need not propagate smallness, so the theorem reaches the best possible dimensional condition. If correct, it establishes the sharp version of quantitative unique continuation for harmonic gradients.

What carries the argument

The doubling index N(Q) of a cube, the logarithmic growth of sup|∇u| when the ball is doubled. The new engine is an improved hyperplane lemma (Lemma 2): if the parent cube has bounded doubling index, then the number of high-doubling-index subcubes that meet a coordinate hyperplane is at most η(2A+1)^{n-2+δ}, for any δ>0. This is proved by combining a Riesz-capacity version of the hyperplane propagation result [Mal04] (Lemma 1) with a minimal-triadic-cube argument and a Frostman-type ball-concentration claim (Claim 1) to force a contradiction via a scale-invariant measure bound.

What would settle it

Compute the (n−2+δ/4)-Riesz capacity of a set E after scaling by the factor ℓ(P̃)^{-1}. If there is a family of configurations where the rescaled capacity stays bounded below while the original capacity tends to zero, then Claim 1 cannot be triggered and Lemma 2's contradiction collapses.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1: with sup_{B_1}|∇u|=1, if E⊂B_{1/2} has H^{n-2+δ}_∞(E)>m for some m,δ>0, then sup_{B_{1/2}}|∇u| ≤ C (sup_E |∇u|)^α, where C,α depend only on n,δ,m. Equivalently, the exponent is independent of the shape of E, and power-law decay follows from the mere dimensional content of the smallness set. The proof works by showing that if the doubling index of ∇u over B_1 is at most (1+c)N, then among a fine triadic partition of the unit cube, fewer than (1/2)(2A+1)^{n-2+δ} subcubes can have large doubling index. This bad-cube counting, together with a recursive inequality inherited from [LM18b], yields the propagation estimate for every δ>0.

Load-bearing premise

The proof of Lemma 2 assumes that after rescaling the minimal bad cube to unit size, the normalized measure satisfies the small-capacity hypothesis of Claim 1, and that Claim 1's conclusion applies to that rescaled measure; this step is asserted rather than derived, and if it fails, the bad-cube bound—and with it Theorem 1—has no proof.

Editorial extensions

If this is right

  • Resolves the conjecture from [LM18b] at the sharp codimension-two threshold for gradients of harmonic functions.
  • Yields quantitative unique continuation: a harmonic function whose gradient vanishes on such a set must be identically zero, with a power-law rate.
  • The recursive inequality gives the bound M(N,a) ≤ Ce^{-βa/N}, the engine behind the theorem.
  • The same arguments extend to solutions of div(A∇·)=0 with analytic coefficients, as noted in the paper.
  • For Lipschitz-coefficient operators, the method yields a weaker exponential-of-cube-root propagation (Corollary 3).

Reading between the lines

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

  • If the scaling step in the proof of Lemma 2 is made fully rigorous, the same minimal-cube scheme may apply to other elliptic equations and to sets with dimensions arbitrarily close to n−2, potentially removing the analytic-coefficient restriction.
  • The sharpness of the threshold suggests that further improvement would require exploiting structure beyond Hausdorff dimension, such as rectifiability or porosity of the smallness set.
  • A testable extension is to replace the hyperplane with a general (n−2)-dimensional Lipschitz surface, which would need a quantitative version of [Mal04] on such surfaces.
  • Extracting the explicit dependence of α on n,δ,m would require tracking constants through the recursive inequality, a possible follow-up.
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.

Referee Report

2 major / 4 minor

Summary. The paper claims Theorem 1: if u is harmonic in B_1 ⊂ R^n with sup_{B_1}|∇u| = 1 and E ⊂ B_{1/2} has positive (n−2+δ)-dimensional Hausdorff content for some δ > 0, then sup_{B_{1/2}}|∇u| ≤ C (sup_E |∇u|)^α with C, α depending only on n, δ, and the Hausdorff content of E. This is stated as an improvement over Logunov–Malinnikova's previous δ > 1−c_n restriction and reaches the sharp codimension-two threshold. The proof structure is: the hyperplane result of Malinnikova (Theorem 2) as the base case; Lemma 1, a hyperplane lemma with Riesz capacities; Lemma 2, the key new counting lemma for cubes near a hyperplane; Theorem 3, a bound on the number of bad subcubes; Proposition 2, a recursive inequality; and a double induction in the style of Logunov–Malinnikova, with the base case supplied by the Naber–Valtorta effective-critical-set estimate (Theorem 4).

Significance. If correct, Theorem 1 confirms the Logunov–Malinnikova conjecture for gradients of harmonic functions at the sharp threshold, and the δ = 0 obstruction (e.g., ∇(x_1 x_2) vanishes on a line in R^3) is clearly identified. The paper is well organized, uses appropriate external benchmarks ([Mal04], [NV17], [Log18a], [LM18b]), and the doubling-index apparatus is presented carefully. The main weakness is that the proof of Lemma 2, the sole new ingredient behind the main theorem, contains a serious gap in its final step. The architecture of the recursion and induction is standard and largely coherent, but acceptance hinges entirely on whether Lemma 2 can be proved.

major comments (2)
  1. [§3.1, Lemma 2, final paragraph] The assertion that after rescaling eP to the unit cube, 'ν satisfies all the hypotheses of Claim 1 by construction' is unsupported. Claim 1 requires Cap_{n−2+δ/4}(E') to be small for the rescaled support E'. Riesz s-capacity scales by ℓ(P)^{-s} under dilation by ℓ(P)^{-1}; since ℓ(P)=K(2A+1)^{-1}, this introduces a factor ((2A+1)/K)^s, while Lemma 1 supplies no quantitative rate at which Cap_{n−2+δ/4}(E) tends to 0 as A→∞. Smallness of the original capacity therefore does not transfer to the rescaled set. Moreover, the minimality condition (4) is a Frostman bound of exponent n−2+δ/2 > n−2+δ/4; such a measure has finite (n−2+δ/4)-energy, so Cap_s(supp ν) is bounded below (up to lattice-dependent constants), making the asserted hypothesis at least as hard as the conclusion it is meant to produce. This gap is load-bearing: Lemma 2 is the only new input behind Theorem 3 and Theorem 1.
  2. [§3.1, Lemma 2, final paragraph] The instruction to 'take a descendant cube contained inside it' after applying Claim 1 is also unjustified. Claim 1 produces only a ball eB in the hyperplane with μ(eB) > C_n r(eB)^{n−2+δ/2}; it gives no lower bound on r(eB). To obtain a contradiction with the cube Frostman bound (4), one needs a lattice cube of side comparable to r(eB) contained in eB, which requires r(eB) ≥ c(2A+1)^{-1} (or cK^{-1} after rescaling). No such lower bound is supplied. Without it, Claim 1's ball and the bound (4) can coexist, and the claimed contradiction does not follow.
minor comments (4)
  1. [§3.4, Proposition 2] The statement of Proposition 2 (coefficients A^{2−δ} and A^{−δ}) does not match the proof's displayed bounds (A^{n−2+δ/2} A^{−(n−2+δ)} and A^{n−2+δ/2} A^{−n}); also, the text switches from a (2A+1)-adic partition to an A-adic one without comment. The induction is plausible with any negative powers, but the formulas should be reconciled.
  2. [§3.1, Claim 2] The displayed exponent '1 − (1−δ)/(1−δ/2)' in the last line of Claim 2 appears to be a miscalculation; direct algebra gives 1 + (1−δ)/(1−δ/2) = (2−3δ/2)/(1−δ/2). The claim still holds for δ ∈ (0,1) because the exponent is positive, but the displayed formula should be corrected.
  3. [§2, Proposition 1] The proof's chain of L^2-average comparisons is difficult to follow (ratios over B(x,2r/(2±ε)) and adjacent balls). The argument is standard, but the exposition should be rewritten, and the reliance on [Fos24, Proposition 3] for the monotonicity of the L^2-based frequency should be stated explicitly.
  4. [§1 / §3.3] The dependence of the final constants C, α on m (the Hausdorff-content lower bound) is never tracked through the base case, Lemma 5, and the induction. A short remark on where m enters would help the reader verify the claimed dependence.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central theorem is derived from external benchmarks and classical frequency-function machinery; the only self-citation is non-load-bearing, and the flagged Lemma 2 issue is a proof gap rather than a circular reduction.

full rationale

Theorem 1 is a parameter-free estimate derived from external results: the hyperplane propagation theorem of Malinnikova [Mal04, Main Result] (Theorem 2), Logunov's hyperplane lemma and iteration scheme [Log18a], the Naber-Valtorta effective critical set volume bound [NV17, Theorem 1.1] (Theorem 4), and the classical Garofalo-Lin frequency monotonicity. The only self-citation is [Fos24, Proposition 3] in the proof of Proposition 1, where it is cited as 'one reference for this that treats gradients of harmonic functions.' That result (L2-frequency monotonicity) is classical and independently established, so the self-citation is not load-bearing for the paper's central claim. The proof's genuinely delicate step is the final paragraph of Lemma 2 (Section 3.1): after rescaling the minimal triadic cube to the unit cube, the paper asserts that 'ν satisfies all the hypotheses of Claim 1 by construction.' The skeptic's objection that Riesz capacity scales by ℓ(P̃)^{-(n-2+δ/4)} and that Claim 1's small-capacity hypothesis is not verified under rescaling is a legitimate correctness concern. But this is a missing derivation — an unproved step — not circularity. The paper does not define its conclusion into its hypotheses, does not fit parameters and call them predictions, and does not invoke a self-citation chain to force the result. No equation in the paper reduces Theorem 1 to an input by construction. Hence no significant circularity; the appropriate finding is a low score with the noted proof gap flagged as a correctness risk, not a circularity step.

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

No data-fitting parameters exist; this is a pure analytic proof, and proof constants (A_0, N_0, c, η, C', β, γ) are chosen existentially. The paper rests on two deep external black boxes (Malinnikova's hyperplane propagation and Naber-Valtorta's critical set volume estimate) plus standard doubling-index machinery. The one ad hoc to paper item is the final rescaling step of Lemma 2, which is asserted rather than fully derived.

assumptions (5)
  • standard math Theorem 2 from [Mal04]: propagation of smallness holds for gradients of harmonic functions from compact sets E inside a codimension-1 hyperplane with positive (n-2+δ)-Riesz capacity.
    Black box invoked in the proof of Lemma 1 (Section 3.1); load-bearing for the hyperplane lemma.
  • standard math Theorem 4 from [NV17]: the r-effective critical set of a solution to div(A∇u)+b·∇u = 0 with doubling index at most N can be covered by C N^2 balls of radius r, giving the count of cubes where inf|∇u| is small.
    Black box invoked in Section 3.3 to prove the base case Lemma 5.
  • standard math L2-frequency monotonicity for gradients of harmonic functions (Garofalo-Lin; cited via [Fos24, Proposition 3]).
    Used to prove Proposition 1 (almost monotonicity of the normalized doubling index); classical Almgren frequency monotonicity.
  • standard math Logunov's hyperplane lemma framework [Log18a, Lemma 4.1 / Corollary 4.2].
    Lemma 1 and Lemma 2 openly follow Logunov's lemmas; the combinatorial cube-counting structure is imported.
  • ad hoc to paper Claim 1's applicability to the rescaled measure ν in the final step of Lemma 2.
    In the final paragraph of Lemma 2's proof, ν after rescaling P̃ to unit scale is asserted to satisfy all hypotheses of Claim 1, specifically smallness of the (n-2+δ/4)-capacity, by construction; this is the paper's own, not fully derived step.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Propagation of smallness near codimension two for gradients of harmonic functions." pith.science (2026). https://pith.science/paper/RUADPOXQ

@misc{pith2026250821214,
  author       = {Pith},
  title        = {Pith review of: Propagation of smallness near codimension two for gradients of harmonic functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RUADPOXQ}},
  note         = {Machine review of arXiv:2508.21214}
}
abstract

Let $u$ be a harmonic function in the unit ball $B_1 \subset \mathbb R^n$, normalized so that its gradient has magnitude at most 1 on the unit ball. We show that if the gradient of $u$ is $\epsilon$-small in size on a set $E\subset B_{1/2}$ with positive $(n-2+\delta)$-dimensional Hausdorff content for some $\delta>0$, then $\sup_{B_{1/2}} |\nabla u| \leq C \epsilon^\alpha$ with $C,\alpha>0$ depending only on $n,\delta$ and the $(n-2+\delta)$-Hausdorff content of $E$. This is an improvement over a similar result of Logunov and Malinnikova that required $\delta>1-c_n$ for a small dimensional constant $c_n$ and reaches the sharp threshold for the dimension of the smallness sets from which propagation of smallness can occur.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 15 canonical work pages

  1. [1]

    Apraiz, L

    J. Apraiz, L. Escauriaza, G. Wang, and C. Zhang. Observability inequalities and measurable sets. J. Eur. Math. Soc. (JEMS) , 16(11):2433--2475, 2014

    work page 2014

  2. [2]

    Almgren, Jr

    Frederick J. Almgren, Jr. Dirichlet's problem for multiple valued functions and the regularity of mass minimizing integral currents. In Minimal submanifolds and geodesics ( P roc. J apan- U nited S tates S em., T okyo, 1977) , pages 1--6. North-Holland, Amsterdam-New York, 1979

    work page 1977

  3. [3]

    Propagation of smallness and control for heat equations

    Nicolas Burq and Iv\'an Moyano. Propagation of smallness and control for heat equations. J. Eur. Math. Soc. (JEMS) , 25(4):1349--1377, 2023

    work page 2023

  4. [4]

    Results on gradients of harmonic functions on Lipschitz surfaces

    Benjamin Foster. Results on gradients of harmonic functions on L ipschitz surfaces. arXiv 2304.11344, 2024

    work page Pith review arXiv 2024

  5. [5]

    On the dimension of observable sets for the heat equation

    A. Walton Green, Kévin Le Balc'h, Jérémy Martin, and Marcu-Antone Orsoni. Observability of the heat equation from very small sets. arXiv:2407.20954v1, 2024

    work page Pith review arXiv 2024

  6. [6]

    Monotonicity properties of variational integrals, A_p weights and unique continuation

    Nicola Garofalo and Fang-Hua Lin. Monotonicity properties of variational integrals, A_p weights and unique continuation. Indiana Univ. Math. J. , 35(2):245--268, 1986

    1986

  7. [7]

    Unique continuation for elliptic operators: a geometric-variational approach

    Nicola Garofalo and Fang-Hua Lin. Unique continuation for elliptic operators: a geometric-variational approach. Comm. Pure Appl. Math. , 40(3):347--366, 1987

    work page 1987

  8. [8]

    Nodal sets of L aplace eigenfunctions: estimates of the H ausdorff measure in dimensions two and three

    Alexander Logunov and Eugenia Malinnikova. Nodal sets of L aplace eigenfunctions: estimates of the H ausdorff measure in dimensions two and three. In 50 years with H ardy spaces , volume 261 of Oper. Theory Adv. Appl. , pages 333--344. Birkh\"auser/Springer, Cham, 2018

    work page 2018

Show all 20 references
  1. [9]

    Quantitative propagation of smallness for solutions of elliptic equations

    Alexander Logunov and Eugenia Malinnikova. Quantitative propagation of smallness for solutions of elliptic equations. In Proceedings of the I nternational C ongress of M athematicians--- R io de J aneiro 2018. V ol. III . I nvited lectures , pages 2391--2411. World Sci. Publ.,...

    2018

  2. [10]

    Lecture notes on quantitative unique continuation for solutions of second order elliptic equations

    Alexander Logunov and Eugenia Malinnikova. Lecture notes on quantitative unique continuation for solutions of second order elliptic equations. In Harmonic analysis and applications , volume 27 of IAS/Park City Math. Ser. , pages 1--33. Amer. Math. Soc., [Providence], RI, [2020] 2020

    2020

  3. [11]

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

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

    2018

  4. [12]

    Nodal sets of L aplace eigenfunctions: proof of N adirashvili's conjecture and of the lower bound in Y au's conjecture

    Alexander Logunov. Nodal sets of L aplace eigenfunctions: proof of N adirashvili's conjecture and of the lower bound in Y au's conjecture. Ann. of Math. (2) , 187(1):241--262, 2018

    2018

  5. [13]

    Malinnikova

    E. Malinnikova. Propagation of smallness for solutions of generalized C auchy- R iemann systems. Proc. Edinb. Math. Soc. (2) , 47(1):191--204, 2004

    2004

  6. [14]

    Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability

    Pertti Mattila. Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1995

    1995

  7. [15]

    N. S. Nadirashvili. Estimation of the solutions of elliptic equations with analytic coefficients which are bounded on some set. Vestnik Moskov. Univ. Ser. I Mat. Mekh. , (2):42--46, 102, 1979

    1979

  8. [16]

    N. S. Nadirashvili. Uniqueness and stability of continuation from a set to the domain of solution of an elliptic equation. Mat. Zametki , 40(2):218--225, 287, 1986

    1986

  9. [17]

    Volume estimates on the critical sets of solutions to elliptic PDE s

    Aaron Naber and Daniele Valtorta. Volume estimates on the critical sets of solutions to elliptic PDE s. Comm. Pure Appl. Math. , 70(10):1835--1897, 2017

    2017

  10. [18]

    A continuous dependence result in the analytic continuation problem

    Sergio Vessella. A continuous dependence result in the analytic continuation problem. Forum Math. , 11(6):695--703, 1999

    1999

  11. [19]

    Vessella

    S. Vessella. Quantitative continuation from a measurable set of solutions of elliptic equations. Proc. Roy. Soc. Edinburgh Sect. A , 130(4):909--923, 2000

    2000

  12. [20]

    Propagation of smallness for solutions of elliptic equations in the plane

    Yuzhe Zhu. Propagation of smallness for solutions of elliptic equations in the plane. Math. Eng. , 7(1):1--12, 2025

    2025

Pith tools

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