pith. sign in

arxiv: 2512.17606 · v2 · submitted 2025-12-19 · 🧮 math.MG

A characterization of the local structure of two-dimensional sets with positive reach

Jan Rataj , Ludek Zajicek This is my paper

Pith reviewed 2026-05-16 20:47 UTC · model grok-4.3

classification 🧮 math.MG
keywords positive reachtangent conelocal structureC^{1,1} surfacetwo-dimensional setsreach setsconvex cones
0
0 comments X

The pith

Two-dimensional sets with positive reach have their local structure completely characterized by the geometry of their tangent cones.

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

This paper provides a full description of how two-dimensional sets with positive reach appear near each of their points when embedded in higher-dimensional space. Positive reach sets are those for which there is a positive distance to which the set can be thickened without overlapping projections, a property that rules out sharp inward cusps. A reader might care because these sets model many objects in geometry, computer vision and partial differential equations where boundaries must remain well-behaved. The work also simplifies an earlier proof for sets of any dimension k and proves that the points with k-dimensional tangent cones lie on countably many C^{1,1} surfaces.

Core claim

The main result is a complete characterization of the local structure of two-dimensional sets with positive reach in R^d. At each point the tangent cone is shown to be one of a short list of convex cones compatible with the reach condition, and the set near the point is a graph over this cone in a controlled way.

What carries the argument

The tangent cone at a point of the set, which must be a convex cone whose geometry is constrained by the positive reach radius.

If this is right

  • The set of points where the tangent cone is k-dimensional is locally contained in a k-dimensional C^{1,1} surface.
  • Any k-dimensional set with positive reach can be covered by countably many k-dimensional C^{1,1} surfaces.
  • Compact two-dimensional sets with positive reach admit a global characterization as finite unions of such surfaces.
  • A more elementary proof is given for the local structure of k-dimensional positive-reach sets at points with k-dimensional tangent cones.

Where Pith is reading between the lines

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

  • This structure theorem may allow one to reduce many variational problems on positive-reach sets to problems on C^{1,1} manifolds with controlled singularities.
  • The result suggests that positive reach is a strong regularity condition that forces rectifiability with explicit singular sets.
  • Similar characterizations could be sought for sets with bounded curvature or other weaker regularity assumptions.

Load-bearing premise

The set is assumed to have positive reach, which forces the tangent cone at every point to be a convex cone without narrow inward angles.

What would settle it

Construct a two-dimensional set in R^3 that has positive reach but at some point its local structure is a cone with an angle incompatible with the listed possibilities, such as a very sharp wedge.

read the original abstract

The main result of the article is a complete characterization of the local structure of two-dimensional sets with positive reach in $R^d$. We also present a more elementary proof of a recent result of A. Lytchak which describes for $k\leq d$ the local structure of $k$-dimensional sets with positive reach $A$ in $R^d$ at points where the tangent cone of $A$ is $k$-dimensional. As an easy corollary of our and Lytchak's results we obtain a characterization of compact two-dimensional sets with positive reach in $R^d$. Our method also shows that, for any set $A\subset R^d$ with positive reach, the set of points at which the tangent cone of $A$ is $k$-dimensional is locally contained in a $k$-dimensional $C^{1,1}$ surface. As a consequence we obtain that if $1\leq k<d$, and $A$ is $k$-dimensional, it can be covered by countably many $k$-dimensional $C^{1,1}$ surfaces.

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 / 3 minor

Summary. The paper claims a complete characterization of the local structure of two-dimensional sets with positive reach in R^d. It also supplies an elementary re-proof of Lytchak's theorem on the local structure of k-dimensional positive-reach sets at points where the tangent cone is exactly k-dimensional, and derives as corollaries that compact two-dimensional positive-reach sets admit a countable C^{1,1} surface covering and that the k-dimensional tangent-cone locus of any positive-reach set is locally contained in a C^{1,1} k-surface.

Significance. If the characterization holds, the work supplies an explicit local model for the two-dimensional case that was previously unavailable, together with a simplified proof of Lytchak's result and immediate structural consequences for coverings by C^{1,1} surfaces. These outcomes strengthen the geometric theory of sets of positive reach without introducing free parameters or ad-hoc constructions, and the corollaries are directly falsifiable by counter-example.

minor comments (3)
  1. [§2] §2 (proof of Lytchak's result): the reduction to the case of a k-dimensional tangent cone is stated clearly, but the precise invocation of the reach function's upper semicontinuity could be referenced to a numbered lemma for easier verification.
  2. [Main theorem] The statement of the main characterization theorem (presumably Theorem 3.1 or 4.1) lists the possible local models; adding a short table or diagram summarizing the admissible tangent cones and normal cones would improve readability.
  3. [Corollary] Corollary on countable C^{1,1} coverings: the argument that the k-dimensional locus is locally contained in a C^{1,1} surface is direct, yet the transition from local to global countable covering would benefit from an explicit reference to a standard covering lemma.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for recognizing the value of the complete local characterization in the two-dimensional case, the elementary proof of Lytchak's theorem, and the corollaries on C^{1,1} coverings. We are pleased that the referee recommends acceptance.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper presents a characterization of local structure for two-dimensional positive-reach sets derived directly from the definitions of reach, tangent cones, and normal cones, together with an elementary re-proof of Lytchak's result on k-dimensional tangent cones. No parameters are fitted, no quantities are defined in terms of the claimed outputs, and the central arguments do not reduce to self-citations or prior ansatzes by the same authors. The corollaries on C^{1,1} coverings follow immediately from the local classification without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

This is a pure mathematical characterization theorem. It relies on established definitions of positive reach and tangent cones from geometric measure theory without introducing fitted parameters or new postulated entities.

axioms (1)
  • standard math Standard definitions and basic properties of sets with positive reach and their tangent cones in Euclidean space
    The paper invokes these as background from geometric measure theory.

pith-pipeline@v0.9.0 · 5487 in / 1137 out tokens · 30595 ms · 2026-05-16T20:47:50.594819+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

30 extracted references · 30 canonical work pages

  1. [1]

    Bangert: Sets with positive reach.Arch

    V. Bangert: Sets with positive reach.Arch. Math.(Basel)38(1982), 54–57

    work page 1982

  2. [2]

    Boissonnat, F

    J.-D. Boissonnat, F. Chazal, B. Michel: Topological data analysis. In:Novel math- ematics inspired by industrial challenges, Math. Ind., 38, Eur. Consort. Math. Ind. (Berl.), Springer, Cham, 2022, pp. 247–269

    work page 2022

  3. [3]

    Cannarsa and C

    P. Cannarsa and C. Sinestrari,Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control, Progress in Nonlinear Differential Equations and their Appli- cations 58, Birkhäuser, Boston, 2004

    work page 2004

  4. [4]

    Clarke: Generalized Gradients and Applications.Trans

    F.H. Clarke: Generalized Gradients and Applications.Trans. Amer. Math. Soc.205 (1975), 247–262

    work page 1975

  5. [5]

    Colombo, L

    G. Colombo, L. Thibault: Prox-regular sets and applications, In:Handbook of Non- convex Analysis and Applications, D. Y. Gao and D. Motreanu Eds. (International Press, Boston, 2010), pp. 99–182

    work page 2010

  6. [6]

    Federer:Geometric Measure Theory.Springer, Berlin, 1969

    H. Federer:Geometric Measure Theory.Springer, Berlin, 1969

    work page 1969

  7. [7]

    Federer:Curvature measures.Trans

    H. Federer:Curvature measures.Trans. Amer. Math. Soc.93(1959), 418–491

    work page 1959

  8. [8]

    Fu:Tubular neighborhoods in Euclidean spaces, Duke Math

    J.H.G. Fu:Tubular neighborhoods in Euclidean spaces, Duke Math. J. 52 (1985), 1025–1046

    work page 1985

  9. [9]

    R.D. Gill, S. Johansen: A survey of product-integration with a view toward applica- tion in survival analysis. Ann. Stat.18(1990), 1501–1555

    work page 1990

  10. [10]

    Glaeser,Étude de quelques algèbres tayloriennes, J

    G. Glaeser,Étude de quelques algèbres tayloriennes, J. Analyse Math. 6 (1958), 1–124

    work page 1958

  11. [11]

    Hájek, M

    P. Hájek, M. Johanis,Smooth analysis in Banach spaces, De Gruyter Ser. Nonlinear Anal. Appl. 19, Walter de Gruyter, Berlin, 2014

    work page 2014

  12. [12]

    Hörmander: The boundary problems of physical geodesy.Arch

    L. Hörmander: The boundary problems of physical geodesy.Arch. Rational Mech. Anal.62(1976), 1–52

    work page 1976

  13. [13]

    D. Hug, J. Rataj, W. Weil: A product integral representation of mixed volumes of two convex bodies.Adv. Geom.13(2013), 633–662

    work page 2013

  14. [14]

    Ivanov, M.S

    G.M. Ivanov, M.S. Lopushanski, G.E. Ivanov: Shortest curves in proximally smooth sets: existence and uniqueness.Set-Valued Var. Anal.32(2024), no. 4, Paper No. 32. 42 JAN RATAJ AND LUDĚK ZAJÍČEK

    work page 2024

  15. [15]

    Johanis, V

    M. Johanis, V. Kryštof, L. Zajíček,On Whitney-type extension theorems on Banach spaces forC 1,ω, C1,+, C1,+ loc , andC 1,+ B -smooth functions, J. Math. Anal. Appl.532 (2024), no. 1, 127976

    work page 2024

  16. [16]

    Springer, New York, 2013

    J.M.Lee:Introduction to Smooth Manifolds.Secondedition, GraduateTextsinMath- ematics, 218. Springer, New York, 2013

    work page 2013

  17. [17]

    Lytchak: A note on subsets of positive reach.Math

    A. Lytchak: A note on subsets of positive reach.Math. Nachr.297(2024), 932–942

    work page 2024

  18. [18]

    MacNerney: Continuous products in linear spaces.J

    J.S. MacNerney: Continuous products in linear spaces.J. Elisha Mitchell Sci. Soc. 71(1955), 185–200

    work page 1955

  19. [19]

    Morris: A rapidly-converging lower bound for the joint spectral radius via mul- tiplicative ergodic theory.Adv

    I.D. Morris: A rapidly-converging lower bound for the joint spectral radius via mul- tiplicative ergodic theory.Adv. Math.225(2010), 3425–3445

    work page 2010

  20. [20]

    Rataj,Determination of spherical area measures by means of dilation volumes, Math

    J. Rataj,Determination of spherical area measures by means of dilation volumes, Math. Nachr.235(2002), 143–162

    work page 2002

  21. [21]

    Rataj, M

    J. Rataj, M. Zähle:Curvature Measures of Singular Sets. Springer, 2019

    work page 2019

  22. [22]

    Rataj, L

    J. Rataj, L. Zajíček: On the structure of sets with positive reach.Math. Nachr.290 (2017), 1806–1829

    work page 2017

  23. [23]

    Reshetnyak: On a generalization of convex surfaces (Russian).Mat

    Yu.G. Reshetnyak: On a generalization of convex surfaces (Russian).Mat. Sb. N.S. 40(1956), 381–398

    work page 1956

  24. [24]

    Rockafellar, R

    R.T. Rockafellar, R. Tyrrell:Convex analysis. Princeton University Press, Princeton, 1970

    work page 1970

  25. [25]

    Rockafellar, R.J.-B

    R.T. Rockafellar, R.J.-B. Wets:Variational Analysis.Springer, Berlin, 2004

    work page 2004

  26. [26]

    Thibault:Unilateral Variational Analysis in Banach Spaces, Part I: General The- ory

    L. Thibault:Unilateral Variational Analysis in Banach Spaces, Part I: General The- ory. World Scientific, Singapore 2023

    work page 2023

  27. [27]

    Thibault:Unilateral Variational Analysis in Banach Spaces, Part II: Special Classes of Functions and Sets

    L. Thibault:Unilateral Variational Analysis in Banach Spaces, Part II: Special Classes of Functions and Sets. World Scientific, Singapore 2023

    work page 2023

  28. [28]

    Vial: Strong and weak convexity of sets and functions.Math

    J.-P. Vial: Strong and weak convexity of sets and functions.Math. Oper. Res.8 (1983), 231–259

    work page 1983

  29. [29]

    Wells: Invariant manifolds on non-linear operators.Pacific J

    J.C. Wells: Invariant manifolds on non-linear operators.Pacific J. Math.62(1976), 285–293

    work page 1976

  30. [30]

    Whitney:Geometric Integration Theory.Princeton Univ

    H. Whitney:Geometric Integration Theory.Princeton Univ. Press, Princeton, New York, 1957. Charles University, F aculty of Mathematics and Physics, Sokolovská 83, 186 75 Praha 8, Czech Republic Email address:rataj@karlin.mff.cuni.cz Email address:zajicek@karlin.mff.cuni.cz

    work page 1957