HOLES IN PLANAR PARALLEL SETS: AN INTEGRATED BETTI-NUMBER BOUND AND ITS POINTWISE FAILURE
Abstract
Let A be a nonempty compact subset of the plane and let A (r) be its parallel set at distance r. We prove that the number of holes of A (r) the number of bounded components of its complement, which is its rst Betti number satises ∞ r 0 β1(A (r) ) dr ≤ 4050 (diam A) 4 r -3 0 for every r0 > 0, the integrand vanishing for r ≥ diam A/ √ 3. The proof rests on Fu's theorem that the critical values of the distance function of a planar compact set form a set of vanishing half-dimensional Hausdor measure, on two lemmas of Rataj, Spodarev and Meschenmoser, and on a square-root summability estimate for the gaps of the critical-value set, of which we give a complete proof. We show by an explicit family of curves two combs facing each other that no analogous bound can hold at a xed radius: a connected curve of bounded length, diameter, oscillation count, parallel-set area and parallel-set perimeter can have arbitrarily many holes at one radius, so the integrated estimate cannot be replaced by a xed-radius bound in terms of these coarse geometric quantities. We also bound the hole count uniformly in the radius by the number of components of local maxima of the distance function, and record a bound on the boundary length of a parallel set by its area. The results supply the deterministic input for limit theorems on the persistent homology of the Wiener sausage.
Related
- Pointwise provable equality and the failure of composition
- The exact number of nonconstant positive solutions to the planar isotropic Lp dual Minkowski problem
- A planar signed graph with circular chromatic number five
- The Class Edge-Reconstruction Number of a Maximal Planar Graph Is One or Two
- The Maximum Number of Halving Lines for Finite Planar Sets—New Lower Bounds
BibTeX
@misc{guillaume2026holes,
title = {{HOLES IN PLANAR PARALLEL SETS: AN INTEGRATED BETTI-NUMBER BOUND AND ITS POINTWISE FAILURE}},
author = {Tristan Guillaume},
howpublished = {HAL},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.31691},
eprint = {2609.31691},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05743132v1},
}
RIS
TY - UNPB
TI - HOLES IN PLANAR PARALLEL SETS: AN INTEGRATED BETTI-NUMBER BOUND AND ITS POINTWISE FAILURE
AU - Tristan Guillaume
PY - 2026
DA - 2026/09/16
PB - HAL
DO - 10.48550/arxiv.2609.31691
UR - https://hal.science/hal-05743132v1
AB - Let A be a nonempty compact subset of the plane and let A (r) be its parallel set at distance r. We prove that the number of holes of A (r) the number of bounded components of its complement, which is its rst Betti number satises ∞ r 0 β1(A (r) ) dr ≤ 4050 (diam A) 4 r -3 0 for every r0 > 0, the integrand vanishing for r ≥ diam A/ √ 3. The proof rests on Fu's theorem that the critical values of the distance function of a planar compact set form a set of vanishing half-dimensional Hausdor measure, on two lemmas of Rataj, Spodarev and Meschenmoser, and on a square-root summability estimate for the gaps of the critical-value set, of which we give a complete proof. We show by an explicit family of curves two combs facing each other that no analogous bound can hold at a xed radius: a connected curve of bounded length, diameter, oscillation count, parallel-set area and parallel-set perimeter can have arbitrarily many holes at one radius, so the integrated estimate cannot be replaced by a xed-radius bound in terms of these coarse geometric quantities. We also bound the hole count uniformly in the radius by the number of components of local maxima of the distance function, and record a bound on the boundary length of a parallel set by its area. The results supply the deterministic input for limit theorems on the persistent homology of the Wiener sausage.
ER -