arxiv: 2604.11418 · v1 · submitted 2026-04-13 · 🧮 math.CA

Recognition: unknown

A generalization of Reifenberg's theorem in R^N for flat cones

Sicheng Zhang, Xiangyu Liang

Pith reviewed 2026-05-10 15:39 UTC · model grok-4.3

classification 🧮 math.CA

keywords Reifenberg's theorembi-Hölder equivalenceflat conessimplicial complexHausdorff distancetopological regularitygeometric measure theory

0 comments

The pith

If a closed set in R^N is close enough to a cone over a simplicial complex at every point and scale, then it is locally bi-Hölder equivalent to that cone.

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

The paper proves a generalization of Reifenberg's topological disk theorem to higher-dimensional cones. It shows that any closed set whose local geometry is quantitatively close to a cone over a simplicial complex, at every location and every scale, must be locally homeomorphic to such a cone through a bi-Hölder map. A reader would care because the result supplies a scale-invariant criterion that forces a set to have simple conical structure rather than wild singularities. This extends classical regularity statements from flat disks to a broader class of model cones and works uniformly in any ambient dimension.

Core claim

If a closed set in R^N is close to a cone over a simplicial complex at each point and at each scale, then it is locally bi-Hölder equivalent to such a cone. This generalizes Reifenberg's Topological Disk Theorem in 1960 and the result of David, De Pauw and Toro in 2008.

What carries the argument

The scale-invariant Hausdorff closeness condition to a cone over a simplicial complex, which is shown to produce a uniform bi-Hölder homeomorphism onto the cone.

If this is right

The theorem applies uniformly in every ambient dimension N.
When the cone is a flat disk the statement reduces to the original Reifenberg theorem.
The result classifies the local topology of sets whose tangent objects are flat cones.
It supplies a tool for proving regularity of sets that are almost conical at every scale.

Where Pith is reading between the lines

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

The bi-Hölder constant may be made explicit in terms of the closeness parameter, allowing quantitative estimates in applications.
The same technique might extend to cones over more general compact sets if the simplicial-complex hypothesis can be relaxed.
One could test whether the result continues to hold when closeness is measured in weaker metrics than Hausdorff distance.

Load-bearing premise

The assumption that the set stays quantitatively close to the cone at every point and every scale is strong enough to guarantee a uniform bi-Hölder constant.

What would settle it

Construct a closed set that approximates some cone over a simplicial complex arbitrarily closely in Hausdorff distance at all locations and scales yet fails to admit a bi-Hölder homeomorphism to any such cone.

read the original abstract

In this paper we prove that if a closed set in R^N is close to a cone over a simplicial complex at each point and at each scale, then it is locally bi-H\"older equivalent to such a cone. This generalizes Reifenberg's Topological Disk Theorem in 1960 and G. David, T. De Pauw and T. Toro's result in 2008.

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.

Desk Editor's Note private letter to a colleague

This generalizes Reifenberg to cones over simplicial complexes with a bi-Hölder conclusion, but the uniformity of constants across different complexes needs checking in the proof.

read the letter

The paper claims to generalize Reifenberg's 1960 theorem and the 2008 David-De Pauw-Toro result to cones over simplicial complexes. If a closed set stays close in Hausdorff distance to such a cone at every point and every scale, then it is locally bi-Hölder equivalent to the cone. This adds the bi-Hölder property to the topological conclusion for this wider class of cones. The statement is a direct extension and could serve as a regularity tool for conical singularities. The work follows the expected line of Reifenberg-type arguments. The abstract is clear about the claim and the assumptions. The soft spot is the control of constants. The stress-test note raises a good point about whether the bi-Hölder constant remains independent of the simplicial complex K. In building the homeomorphism through scale-by-scale approximations, the distortion from covering the link or extending functions often depends on how many simplices are involved or their configuration. The paper needs to demonstrate that the required closeness δ works uniformly or that the constant does not blow up with K. Without that, the result is weaker than stated for general complexes. No other major issues stand out from the abstract, and the citations are appropriate. This paper is for geometric measure theorists working on regularity near cones. It deserves a serious referee to examine the proof details. I recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript proves a generalization of Reifenberg's topological disk theorem: if a closed set E ⊂ R^N is sufficiently close (in Hausdorff distance) to a cone C(K) over a simplicial complex K at every point and every scale, then E is locally bi-Hölder homeomorphic to C(K). The result extends the 1960 Reifenberg theorem (for planes) and the 2008 David-De Pauw-Toro theorem (for flat cones) to cones whose links are simplicial complexes.

Significance. If the bi-Hölder constant can be shown to depend only on the closeness parameter δ, N, and dim K (independent of the specific complex K), the theorem would be a meaningful advance in geometric measure theory. It supplies a Reifenberg-type criterion for topological regularity when tangent cones are allowed to be more general than linear subspaces while remaining conical and flat. The argument appears to rely on an iterative approximation scheme that produces the homeomorphism via graph approximations or Lipschitz extensions at dyadic scales.

major comments (2)

[§3] §3 (Main iteration argument): the bi-Hölder constant's independence from the combinatorial complexity of K is not explicitly verified. Covering lemmas and Lipschitz-extension steps in the construction typically accumulate factors proportional to the number of simplices in K or the geometry of its link; the manuscript must show that these factors remain bounded by a function of δ, N, and dim K alone, or that δ can be chosen independently of K.
[Theorem 1.1] Theorem 1.1 (statement of the main result): the precise quantitative hypothesis (Hausdorff distance bound δ(r) at scale r, with δ(r) → 0 as r → 0) is stated only qualitatively in the abstract. The proof sketch indicates that the bi-Hölder exponent and constant depend on the rate at which δ(r) → 0; without an explicit modulus of continuity relating δ to the bi-Hölder data, the claim that the result is a direct generalization cannot be checked for uniformity.

minor comments (2)

[§1] Notation for the cone C(K) and its link should be introduced with a short diagram or reference to the simplicial complex structure before the statement of the main theorem.
[Introduction] The comparison with the David-De Pauw-Toro result (2008) would benefit from a one-sentence summary of how the new argument handles non-linear links.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our generalization of Reifenberg's theorem. We address the two major comments point by point below, indicating where revisions will be made to clarify quantitative aspects and constant dependencies.

read point-by-point responses

Referee: [§3] §3 (Main iteration argument): the bi-Hölder constant's independence from the combinatorial complexity of K is not explicitly verified. Covering lemmas and Lipschitz-extension steps in the construction typically accumulate factors proportional to the number of simplices in K or the geometry of its link; the manuscript must show that these factors remain bounded by a function of δ, N, and dim K alone, or that δ can be chosen independently of K.

Authors: The referee correctly identifies that the iterative construction in §3 involves covering lemmas and Lipschitz extensions whose constants can accumulate factors depending on the local geometry and number of simplices in the link K. Since the theorem is stated for a fixed simplicial complex K, these factors are finite and absorbed into the bi-Hölder constant, which is permitted to depend on K. To address the concern explicitly, we will revise §3 to include a remark verifying that all accumulation is controlled by N, dim K, and the maximal valence (number of simplices incident to a vertex) in K; no further dependence on the global combinatorial complexity arises beyond this. We do not claim or prove independence from the specific K (which would be a stronger result), but the current formulation remains valid as a direct generalization for given cones. revision: partial
Referee: [Theorem 1.1] Theorem 1.1 (statement of the main result): the precise quantitative hypothesis (Hausdorff distance bound δ(r) at scale r, with δ(r) → 0 as r → 0) is stated only qualitatively in the abstract. The proof sketch indicates that the bi-Hölder exponent and constant depend on the rate at which δ(r) → 0; without an explicit modulus of continuity relating δ to the bi-Hölder data, the claim that the result is a direct generalization cannot be checked for uniformity.

Authors: We agree that the hypothesis is stated qualitatively and that the bi-Hölder data in the proof depend on the decay rate of δ(r). The manuscript assumes δ(r) is sufficiently small at each scale with δ(r) → 0, but does not track the explicit modulus. We will revise the statement of Theorem 1.1 (and the abstract) to specify that the bi-Hölder exponent and constant depend on N, dim K, and the modulus of continuity of δ(·). We will also add a short paragraph in the proof outline explaining how the iteration controls the exponent via the rate of δ(r) → 0 (ensuring error sums converge). This makes the quantitative dependence transparent and aligns the presentation with the classical results cited. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation rests on external geometric hypotheses

full rationale

The paper states a generalization of Reifenberg's 1960 theorem and the 2008 David-De Pauw-Toro result: quantitative Hausdorff closeness of a closed set to a cone over a simplicial complex at every point and scale implies local bi-Hölder equivalence to that cone. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described structure. The central implication is presented as following from the stated closeness assumption plus prior external theorems, without reduction to the authors' own prior ansatzes or uniqueness claims. The derivation chain is therefore self-contained against the given inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard metric geometry and Hausdorff-distance closeness; no new free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)

standard math Standard properties of Hausdorff distance, cones, and bi-Hölder maps on Euclidean space
Invoked implicitly by the statement of closeness and equivalence

pith-pipeline@v0.9.0 · 5349 in / 1114 out tokens · 36174 ms · 2026-05-10T15:39:26.201774+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references

[1]

Badger, M

[BET17] M. Badger, M. Engelstein, and Tatiana Toro. Structure of sets which are well approxi- mated by zero sets of harmonic polynomials. Anal. PDE , 10:1455–1295, 2017. [BL15] M. Badger and S. Lewis. Local set approximation: Mattila-Vuorinen type sets, Reifenberg type sets, and tangent sets. Forum Math. Sigma , 3:e24, 2015. [DDPT08] Guy David, Thierry De...

2017