When all parallel sets of a C¹ -hypersurface are nowhere C¹ -regular
Pith reviewed 2026-05-07 10:34 UTC · model grok-4.3
The pith
A necessary and sufficient condition determines when every parallel set of a C¹-hypersurface is nowhere C¹-regular.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a necessary and sufficient condition for a C¹-hypersurface to have all parallel sets nowhere C¹-regular. As a corollary, we deduce that for a generic C¹-regular convex body all interior parallel bodies have nowhere C¹-regular boundaries.
What carries the argument
The signed distance function to the embedded C¹-hypersurface, whose level sets define the parallel sets.
If this is right
- Every parallel set of such a hypersurface fails to be C¹-regular anywhere.
- A generic C¹-regular convex body has interior parallel bodies whose boundaries are nowhere C¹-regular.
- The property follows from standard differentiability properties of the distance function.
Where Pith is reading between the lines
- The condition likely marks the boundary between cases where offsets preserve some regularity and cases where they do not.
- It connects the global regularity question for parallels to local behavior of the distance function near the hypersurface.
- The corollary indicates that the set of C¹ convex bodies with this property is comeager in a suitable topology.
Load-bearing premise
The hypersurface is embedded in Euclidean space and the parallel sets are defined via the signed distance function in the usual way.
What would settle it
An explicit C¹-hypersurface that satisfies the condition yet possesses at least one parallel set which is C¹ at some point, or that fails the condition yet has all parallel sets nowhere C¹-regular.
read the original abstract
We prove a necessary and sufficient condition for a $ C^1 $-hypersurface to have all parallel sets nowhere $ C^1 $-regular. As a corollary, we deduce that for a generic $ C^1 $-regular convex body all interior parallel bodies have nowhere $ C^1 $-regular boundaries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes a necessary and sufficient condition on a C¹-hypersurface in Euclidean space such that every parallel hypersurface, constructed via the signed distance function, fails to be C¹-regular at every point. A corollary deduces that a generic C¹-regular convex body has the property that all its interior parallel bodies have boundaries that are nowhere C¹-regular.
Significance. The result characterizes the propagation of singularities in the distance function for C¹ hypersurfaces and provides a concrete criterion distinguishing cases where parallel sets remain irregular everywhere. The corollary on generic convex bodies connects the statement to convex geometry and the study of parallel bodies. The argument relies on standard properties of the signed distance function and its singularities, which are correctly invoked; the paper ships a clean necessary-and-sufficient statement with no free parameters or ad-hoc fitting.
minor comments (3)
- §2, Definition 2.3: the notation for the parallel set at distance t could be clarified by explicitly writing the signed-distance level set as {x : dist(x, Σ) = t} rather than relying on the implicit definition via the flow of the normal.
- Theorem 3.1: the statement of the necessary and sufficient condition is clear, but the proof sketch in the paragraph following the theorem would benefit from a one-sentence reminder of why the C¹ assumption on the original hypersurface is used to guarantee that the distance function is C¹ away from the cut locus.
- Corollary 4.2: the genericity statement for convex bodies is stated in the Baire-category sense; a brief remark on the topology in which the set of C¹-regular convex bodies is considered would help readers unfamiliar with the space of convex bodies.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the accurate summary of the main result and corollary, and the recommendation of minor revision. The referee's comments on significance and the clean nature of the necessary-and-sufficient condition are appreciated.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper proves a necessary and sufficient condition for C¹-hypersurfaces to have all parallel sets nowhere C¹-regular, relying on standard properties of the signed distance function and its singularities in Euclidean space. No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the central theorem and corollary follow from external facts about distance functions without renaming known results or smuggling ansatzes. The argument is independent of its own inputs and externally verifiable via classical differential geometry.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Parallel sets of a C¹ hypersurface are well-defined via the signed distance function.
Reference graph
Works this paper leans on
-
[1]
A. Dold. Lectures on algebraic topology , volume Band 200 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Berlin, 1972
work page 1972
-
[2]
Herbert Federer. Curvature measures. Trans. Amer. Math. Soc. , 93:418--491, 1959
work page 1959
-
[3]
Robert V. Kohn. An example concerning approximate differentiation. Indiana Univ. Math. J. , 26(2):393--397, 1977
work page 1977
-
[4]
Regularity of the distance function from arbitrary closed sets
S awomir Kolasi \'n ski and Mario Santilli. Regularity of the distance function from arbitrary closed sets. Mathematische Annalen , 386(1-2):735--777, 2023
work page 2023
-
[5]
Jeroen S. W. Lamb, Martin Rasmussen, and Kalle G. Timperi. -neighbourhoods in the plane with a nowhere-smooth boundary, 2025
work page 2025
-
[6]
Distance functions with dense singular sets
Mario Santilli. Distance functions with dense singular sets. Comm. Partial Differential Equations , 46(7):1319--1325, 2021
work page 2021
-
[7]
On the curvatures of convex bodies
Rolf Schneider. On the curvatures of convex bodies. Math. Ann. , 240(2):177--181, 1979
work page 1979
-
[8]
Rolf Schneider. Convex bodies: the B runn- M inkowski theory , volume 151 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, expanded edition, 2014
work page 2014
-
[9]
On differentiation of metric projections in finite-dimensional B anach spaces
Lud e k Zaj\' c ek. On differentiation of metric projections in finite-dimensional B anach spaces. Czechoslovak Math. J. , 33(108)(3):325--336, 1983
work page 1983
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.