pith. sign in

arxiv: 2502.03294 · v2 · submitted 2025-02-05 · 🧮 math.AP

Singular set estimates for solutions to elliptic equations in higher co-dimension

Max Engelstein , Cole Jeznach , Yannick Sire This is my paper

Pith reviewed 2026-05-23 03:54 UTC · model grok-4.3

classification 🧮 math.AP
keywords elliptic equationshigher co-dimensionsingular setsquantitative stratificationboundary behaviorunique continuationvanishing order
0
0 comments X

The pith

Estimates on the singular sets of solutions to elliptic equations in higher co-dimension hold near the boundary despite rough coefficients.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that solutions to a class of elliptic equations in higher co-dimension satisfy the same quantitative estimates on the size of their singular sets near the boundary as those known for uniformly elliptic equations with Lipschitz coefficients. This holds even though the coefficients here are neither uniformly elliptic nor uniformly Lipschitz. The result extends recent quantitative unique continuation work to the boundary in this more general setting. A reader would care because these estimates describe how solutions can vanish or become singular in models where material properties change abruptly.

Core claim

The central claim is that analogous estimates on the singular set of solutions hold near the boundary for elliptic equations in the higher co-dimension setting, even though the coefficients are neither uniformly elliptic nor uniformly Lipschitz. The main technical advance is a variant of the Cheeger-Naber-Valtorta quantitative stratification scheme that uses cones instead of planes to control the vanishing order and the size of the singular set.

What carries the argument

A variant of the Cheeger-Naber-Valtorta quantitative stratification scheme using cones instead of planes, which controls vanishing order and singular set size.

If this is right

  • The Hausdorff dimension and measure of the singular set remain controlled near the boundary.
  • Quantitative bounds on the vanishing order of solutions continue to hold.
  • The estimates apply under the given regularity assumptions on the domain.
  • The cone-based stratification replaces the plane-based version while preserving the conclusion on singular set size.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The cone-based approach might extend to other equations where flat approximations fail but conical ones succeed.
  • Similar boundary estimates could be tested numerically on model problems with discontinuous coefficients in codimension two or higher.
  • If the method generalizes, it would apply to free-boundary problems whose coefficients arise from geometric constraints rather than uniform ellipticity.

Load-bearing premise

The variant of the Cheeger-Naber-Valtorta quantitative stratification scheme using cones instead of planes succeeds in controlling the vanishing order and singular set size for this class of equations.

What would settle it

An explicit solution to one of these equations near the boundary whose singular set exceeds the predicted size bound would falsify the estimates.

read the original abstract

Recent advances in quantitative unique continuation properties for solutions to uniformly elliptic, divergence form equations (with Lipschitz coefficients) has led to a good understanding of the vanishing order and size of singular and zero set of solutions. Such estimates also hold at the boundary, provided that the domain is sufficiently regular. In this work, we investigate the boundary behavior of solutions to a class of elliptic equations in the higher co-dimension setting, whose coefficients are neither uniformly elliptic, nor uniformly Lipschitz. Despite these challenges, we are still able to show analogous estimates on the singular set of such solutions near the boundary. Our main technical advance is a variant of the Cheeger-Naber-Valtorta quantitative stratification scheme using cones instead of planes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript claims that for a class of elliptic equations in higher co-dimension whose coefficients are neither uniformly elliptic nor uniformly Lipschitz, analogous estimates on the vanishing order and size of the singular set of solutions continue to hold near the boundary. The central technical contribution is a variant of the Cheeger-Naber-Valtorta quantitative stratification scheme that replaces planes by cones.

Significance. If the claimed adaptation of quantitative stratification succeeds, the result would meaningfully enlarge the scope of singular-set estimates beyond the uniformly elliptic, Lipschitz-coefficient regime that has been treated in the literature, while retaining control up to the boundary.

minor comments (1)
  1. The abstract refers to 'analogous estimates' without stating the precise form of the conclusion (e.g., Hausdorff dimension bound, Minkowski content, or frequency-function decay); a short explicit statement of the main theorem would clarify the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report. The summary accurately reflects the manuscript's focus on extending singular-set estimates to non-uniformly elliptic equations in higher co-dimension near the boundary, via a cone-based quantitative stratification. We are encouraged by the assessment that a successful adaptation would enlarge the scope of such results beyond the uniformly elliptic Lipschitz-coefficient setting.

Circularity Check

0 steps flagged

No significant circularity; adaptation of external scheme

full rationale

The paper's central claim is an extension of quantitative stratification estimates to a broader class of elliptic equations (non-uniformly elliptic/Lipschitz coefficients) near the boundary, achieved via a cone-based variant of the Cheeger-Naber-Valtorta scheme. The abstract explicitly positions this as an adaptation of prior external work rather than a self-definition or fitted prediction internal to the paper. No equations, self-citations, or uniqueness theorems are quoted that reduce the target singular-set estimates to inputs already present in the manuscript. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are stated. The work relies on the prior Cheeger-Naber-Valtorta scheme and on the assumption that the domain is sufficiently regular, but these are not quantified here.

pith-pipeline@v0.9.0 · 5643 in / 1094 out tokens · 53925 ms · 2026-05-23T03:54:07.880728+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    C^ 1, domains and unique continuation at the boundary

    Vilhelm Adolfsson and Luis Escauriaza. C^ 1, domains and unique continuation at the boundary. Comm. Pure Appl. Math. , 50(10):935--969, 1997

    work page 1997

  2. [2]

    Convex domains and unique continuation at the boundary

    Vilhelm Adolfsson, Luis Escauriaza, and Carlos Kenig. Convex domains and unique continuation at the boundary. Rev. Mat. Iberoamericana , 11(3):513--525, 1995

    work page 1995

  3. [3]

    Quantitative stratification and the regularity of harmonic map flow

    Jeff Cheeger, Robert Haslhofer, and Aaron Naber. Quantitative stratification and the regularity of harmonic map flow. Calc. Var. Partial Differential Equations , 53(1-2):365--381, 2015

    work page 2015

  4. [4]

    Quantitative stratification and the regularity of harmonic maps and minimal currents

    Jeff Cheeger and Aaron Naber. Quantitative stratification and the regularity of harmonic maps and minimal currents. Comm. Pure Appl. Math. , 66(6):965--990, 2013

    work page 2013

  5. [5]

    Critical sets of elliptic equations

    Jeff Cheeger, Aaron Naber, and Daniele Valtorta. Critical sets of elliptic equations. Comm. Pure Appl. Math. , 68(2):173--209, 2015

    work page 2015

  6. [6]

    Caffarelli and L

    L. Caffarelli and L. Silvestre. An extension problem related to the fractional L aplacian. Comm. Partial Differential Equations , 32(7-9):1245--1260, 2007

    work page 2007

  7. [7]

    Caffarelli, Sandro Salsa, and Luis Silvestre

    Luis A. Caffarelli, Sandro Salsa, and Luis Silvestre. Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional L aplacian. Invent. Math. , 171(2):425--461, 2008

    work page 2008

  8. [8]

    Donnelly and C

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

    work page 1988

  9. [9]

    Dahlberg's theorem in higher co-dimension

    Guy David, Joseph Feneuil, and Svitlana Mayboroda. Dahlberg's theorem in higher co-dimension. Journal of Functional Analysis , 276(9):2731--2820, 2019

    work page 2019

  10. [10]

    David, J

    G. David, J. Feneuil, and S. Mayboroda. Elliptic Theory for Sets with Higher Co-Dimensional Boundaries . Memoirs of the American Mathematical Society. American Mathematical Society, 2021

    work page 2021

  11. [11]

    The regularity problem in domains with lower dimensional boundaries

    Zanbing Dai, Joseph Feneuil, and Svitlana Mayboroda. The regularity problem in domains with lower dimensional boundaries. J. Funct. Anal. , 284(11):Paper No. 109903, 72, 2023

    work page 2023

  12. [12]

    Elliptic theory in domains with boundaries of mixed dimension, 2023

    Guy David, Joseph Feneuil, and Svitlana Mayboroda. Elliptic theory in domains with boundaries of mixed dimension, 2023

    work page 2023

  13. [13]

    David and S

    G. David and S. Mayboroda. Harmonic measure is absolutely continuous with respect to the H ausdorff measure on all low-dimensional uniformly rectifiable sets. Int. Math. Res. Not. IMRN , (11):9319--9426, 2023

    work page 2023

  14. [14]

    A note on higher regularity boundary H arnack inequality

    Daniela De Silva and Ovidiu Savin. A note on higher regularity boundary H arnack inequality. Discrete Contin. Dyn. Syst. , 35(12):6155--6163, 2015

    work page 2015

  15. [15]

    Curvature measures

    Herbert Federer. Curvature measures. Trans. Amer. Math. Soc. , 93:418--491, 1959

    work page 1959

  16. [16]

    Absolute continuity of the harmonic measure on low dimensional rectifiable sets

    Joseph Feneuil. Absolute continuity of the harmonic measure on low dimensional rectifiable sets. J. Geom. Anal. , 32(10):Paper No. 247, 36, 2022

    work page 2022

  17. [17]

    Fabes, C

    E. Fabes, C. Kenig, and R. Serapioni. The local regularity of solutions of degenerate elliptic equations. Comm. Partial Differential Equations , 7(1):77--116, 1982

    work page 1982

  18. [18]

    A G reen function characterization of uniformly rectifiable sets of any codimension

    Joseph Feneuil and Linhan Li. A G reen function characterization of uniformly rectifiable sets of any codimension. Adv. Math. , 430:Paper No. 109220, 45, 2023

    work page 2023

  19. [19]

    Regularity Theory for Elliptic PDE

    Xavier Fern \'a ndez-Real and Xavier Ros-Oton. Regularity Theory for Elliptic PDE . EMS Press, dec 2022

    work page 2022

  20. [20]

    Gallegos

    Josep M. Gallegos. Size of the zero set of solutions of elliptic PDE s near the boundary of L ipschitz domains with small L ipschitz constant. Calc. Var. Partial Differential Equations , 62(4):Paper No. 113, 52, 2023

    work page 2023

  21. [21]

    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

    work page 1986

  22. [22]

    New monotonicity formulas and the optimal regularity in the S ignorini problem with variable coefficients

    Nicola Garofalo and Mariana Smit Vega Garcia. New monotonicity formulas and the optimal regularity in the S ignorini problem with variable coefficients. Adv. Math. , 262:682--750, 2014

    work page 2014

  23. [23]

    Q. Han, R. Hardt, and F.-H. Lin. Geometric measure of singular sets of elliptic equations. Comm. Pure Appl. Math. , 51(11-12):1425--1443, 1998

    work page 1998

  24. [24]

    Volume estimates for singular sets and critical sets of elliptic equations with h\"older coefficients

    Yiqi Huang and Wenshuai Jiang. Volume estimates for singular sets and critical sets of elliptic equations with h\"older coefficients. https://arxiv.org/abs/2309.08089v1 , 2023

    work page arXiv 2023

  25. [25]

    Nodal Sets of Solutions to Elliptic Differential Equations

    Qing Han and Fang-Hua Lin. Nodal Sets of Solutions to Elliptic Differential Equations

    work page

  26. [26]

    Nodal sets for solutions of elliptic equations

    Robert Hardt and Leon Simon. Nodal sets for solutions of elliptic equations. J. Differential Geom. , 30(2):505--522, 1989

    work page 1989

  27. [27]

    Boundary unique continuation on C^1 - D ini domains and the size of the singular set

    Carlos Kenig and Zihui Zhao. Boundary unique continuation on C^1 - D ini domains and the size of the singular set. Arch. Ration. Mech. Anal. , 245(1):1--88, 2022

    work page 2022

  28. [28]

    Examples of non- D ini domains with large singular sets

    Carlos Kenig and Zihui Zhao. Examples of non- D ini domains with large singular sets. Adv. Nonlinear Stud. , 23(1):Paper No. 20220058, 33, 2023

    work page 2023

  29. [29]

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

    work page 1991

  30. [30]

    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., Hackensack, NJ, 2018

    work page 2018

  31. [31]

    Logunov, E

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

    work page 2021

  32. [32]

    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

    work page 2018

  33. [33]

    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

    work page 2018

  34. [34]

    Unique continuation on convex domains

    Sean McCurdy. Unique continuation on convex domains. Rev. Mat. Iberoam. , 39(1):1--28, 2023

    work page 2023

  35. [35]

    J. Milnor. On the B etti numbers of real varieties. Proc. Amer. Math. Soc. , 15:275--280, 1964

    work page 1964

  36. [36]

    Rectifiable- R eifenberg and the regularity of stationary and minimizing harmonic maps

    Aaron Naber and Daniele Valtorta. Rectifiable- R eifenberg and the regularity of stationary and minimizing harmonic maps. Ann. of Math. (2) , 185(1):131--227, 2017

    work page 2017

  37. [37]

    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

    work page 2017

  38. [38]

    Notes on harmonic measure, 2024

    Mart\' i Prats and Xavier Tolsa. Notes on harmonic measure, 2024

    work page 2024

  39. [39]

    R. T. Seeley. Spherical harmonics. Amer. Math. Monthly , 73(4, part II):115--121, 1966

    work page 1966

  40. [40]

    On the nodal set of solutions to degenerate or singular elliptic equations with an application to s -harmonic functions

    Yannick Sire, Susanna Terracini, and Giorgio Tortone. On the nodal set of solutions to degenerate or singular elliptic equations with an application to s -harmonic functions. J. Math. Pures Appl. (9) , 143:376--441, 2020

    work page 2020

  41. [41]

    E. J. P. Georg Schmidt and Norbert Weck. On the boundary behavior of solutions to elliptic and parabolic equations---with applications to boundary control for parabolic equations. SIAM J. Control Optim. , 16(4):593--598, 1978

    work page 1978

  42. [42]

    Doubling properties and unique continuation at the boundary for elliptic operators with singular magnetic fields

    Xiangxing Tao. Doubling properties and unique continuation at the boundary for elliptic operators with singular magnetic fields. Studia Math. , 151(1):31--48, 2002

    work page 2002

  43. [43]

    Uniform rectifiability, C alder\' o n- Z ygmund operators with odd kernel, and quasiorthogonality

    Xavier Tolsa. Uniform rectifiability, C alder\' o n- Z ygmund operators with odd kernel, and quasiorthogonality. Proc. Lond. Math. Soc. (3) , 98(2):393--426, 2009

    work page 2009

  44. [44]

    Unique continuation at the boundary for harmonic functions in C^1 domains and L ipschitz domains with small constant

    Xavier Tolsa. Unique continuation at the boundary for harmonic functions in C^1 domains and L ipschitz domains with small constant. Comm. Pure Appl. Math. , 76(2):305--336, 2023

    work page 2023

  45. [45]

    Higher order boundary H arnack principle via degenerate equations

    Susanna Terracini, Giorgio Tortone, and Stefano Vita. Higher order boundary H arnack principle via degenerate equations. Arch. Ration. Mech. Anal. , 248(2):Paper No. 29, 44, 2024

    work page 2024

  46. [46]

    Weighted doubling properties and unique continuation theorems for the degenerate S chr\" o dinger equations with singular potentials

    Xiangxing Tao and Songyan Zhang. Weighted doubling properties and unique continuation theorems for the degenerate S chr\" o dinger equations with singular potentials. J. Math. Anal. Appl. , 339(1):70--84, 2008

    work page 2008

  47. [47]

    Volumes of tubular neighbourhoods of real algebraic varieties

    Richard Wongkew. Volumes of tubular neighbourhoods of real algebraic varieties. Pacific J. Math. , 159(1):177--184, 1993

    work page 1993

  48. [48]

    Tame geometry with application in smooth analysis , volume 1834 of Lecture Notes in Mathematics

    Yosef Yomdin and Georges Comte. Tame geometry with application in smooth analysis , volume 1834 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2004

    work page 2004

  49. [49]

    Unique continuation for fractional orders of elliptic equations

    Hui Yu. Unique continuation for fractional orders of elliptic equations. Ann. PDE , 3(2):Paper No. 16, 21, 2017

    work page 2017