arxiv: 2602.16667 · v2 · submitted 2026-02-18 · 🧮 math.DS · math.CA· math.MG

Recognition: 2 theorem links

· Lean Theorem

Cantor sets in higher dimensions II: Optimal dimension constraint for stable intersections

Meysam Nassiri , Mojtaba Zareh Bidaki

Authors on Pith no claims yet

Pith reviewed 2026-05-15 20:54 UTC · model grok-4.3

classification 🧮 math.DS math.CAmath.MG

keywords Cantor setsstable intersectionsupper box dimensionC1+alpha diffeomorphismshigher dimensionscovering criterionregular Cantor sets

0 comments

The pith

Regular Cantor sets in R^d exhibit C^{1+α}-stable intersections when the sum of their upper box dimensions exceeds d.

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

The paper establishes that the known separation threshold for compact sets is optimal specifically for regular Cantor sets. When the sum of upper box dimensions is prescribed to exceed the ambient dimension d, explicit constructions produce pairs that maintain intersections under all small enough C^{1+α} perturbations. These constructions work with arbitrarily small thickness in projectively hyperbolic and nearly conformal regimes and extend directly to holomorphic Cantor sets in C^d. The argument rests on verifying a covering criterion that guarantees the stability.

Core claim

For any chosen upper box dimensions whose sum exceeds d, there exist families of regular Cantor sets realizing those dimensions whose intersections are C^{1+α}-stable. The constructions are geometrically flexible, permit small thickness, and apply in both real and complex settings. Stability is verified by showing that the covering criterion from the companion paper holds for these families.

What carries the argument

The covering criterion for stable intersection, a higher-dimensional generalization of the recurrent compact set criterion, which verifies that a compact set of intersections cannot be avoided by small C^{1+α} deformations.

If this is right

The classical separation result for sets with dimension sum less than d is sharp for regular Cantor sets.
Stable intersections can be realized with prescribed dimensions in both projectively hyperbolic and nearly conformal geometries.
The same constructions yield stable intersections for holomorphic Cantor sets in complex space C^d.
The covering criterion provides a practical test for stability that works beyond the one-dimensional case.

Where Pith is reading between the lines

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

The optimality result indicates that sufficiently thick fractals in higher dimensions will generically exhibit robust intersections in dynamical systems.
Similar dimension-based constructions might be used to produce stable intersections for other classes of self-similar sets.
The geometric flexibility suggests the method could extend to study persistent intersections under weaker smoothness assumptions.

Load-bearing premise

The covering criterion introduced in the first paper applies correctly to the constructed Cantor set families and detects their stable intersections.

What would settle it

An explicit pair of regular Cantor sets with upper box dimensions summing above d that can be separated by an arbitrarily small C^{1+α} perturbation would falsify the optimality claim.

read the original abstract

It is well known that a pair of compact sets in $\mathbb{R}^d$ ($d \in \mathbb{N}$) can be separated by small deformations if the sum of their upper box dimensions is less than $d$. In this paper, we demonstrate that this dimension constraint is optimal for regular Cantor sets. Specifically, for any prescribed upper box dimensions whose sum is greater than $d$, we construct classes of pairs of regular Cantor sets that exhibit $C^{1+\alpha}$-stable intersections. Our method is geometrically flexible, enabling the construction of examples with arbitrarily small thickness in both projectively hyperbolic and nearly conformal regimes. These results also extend to the complex setting for holomorphic Cantor sets in $\mathbb{C}^d$. The proof relies on the "covering criterion" for stable intersection introduced in the first part of this series [NZ25], which generalizes the "recurrent compact set criterion" of Moreira-Yoccoz to higher dimensions.

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 paper shows the classical dimension-sum threshold for separating Cantor sets in R^d is sharp for regular ones by giving explicit constructions with stable C^{1+α} intersections whenever the sum exceeds d.

read the letter

The main point is that the known separation result when upper box dimensions sum below d is optimal for regular Cantor sets. For any prescribed dimensions adding to more than d, the authors build pairs of regular Cantor sets whose intersections remain stable under small C^{1+α} perturbations. The constructions work in both projectively hyperbolic and nearly conformal regimes and extend to holomorphic Cantor sets in C^d. They keep thickness arbitrarily small while satisfying the needed recurrence and covering conditions. This is done geometrically, without heavy parameter tuning, which is a clear step forward from earlier work on the topic. The argument applies their covering criterion from the companion paper NZ25 to certify the stability, and the constructions appear to meet its hypotheses directly. The soft spot is the heavy dependence on that earlier criterion; the optimality claim stands or falls with how cleanly the new families fit the covering conditions in higher dimensions. No internal contradictions show up in the dimension prescription or thickness control, but full checking requires the details of NZ25. This paper is aimed at people working on fractal sets and robust intersections in smooth and complex dynamics. It supplies concrete examples that close the optimality gap for regular Cantor sets, so it deserves a serious referee even if some readers will want to verify the application of the covering criterion first. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that the classical dimension constraint for separating compact sets in R^d by small C^1 deformations (sum of upper box dimensions less than d) is optimal for regular Cantor sets. For any prescribed upper box dimensions α, β with α + β > d, it constructs explicit families of pairs of regular Cantor sets (both projectively hyperbolic and nearly conformal) that exhibit C^{1+α}-stable intersections, with arbitrarily small thickness; the constructions extend to holomorphic Cantor sets in C^d. The argument proceeds by verifying that the constructed sets satisfy the hypotheses of the covering criterion for stable intersection introduced in the companion paper NZ25.

Significance. If the result holds, the paper establishes sharpness of the dimension threshold for stable intersections of regular Cantor sets in higher dimensions, complementing the separation theorem when the sum is less than d. The geometric flexibility of the constructions (allowing small thickness in distinct regimes) and the extension to the complex holomorphic setting are notable strengths. Explicit verification that the families meet the NZ25 covering criterion supplies concrete, falsifiable examples that generalize the Moreira-Yoccoz recurrent-compact-set approach.

major comments (1)

[Main construction (likely §3 or §4)] The central claim reduces to showing that the constructed Cantor sets satisfy all hypotheses of the NZ25 covering criterion (recurrence, covering, and dimension conditions). While the abstract and construction outline assert this, the verification step for the case α + β > d should be isolated as a numbered lemma or proposition with explicit checks on the limit-set dimension formula and the thickness parameter.

minor comments (2)

[Abstract] The abstract uses the term 'C^{1+α}-stable intersections' without a one-sentence reminder of its definition; a brief parenthetical reference to the NZ25 criterion would help readers.
Consider adding a schematic figure (e.g., in the introduction) showing the geometric placement of the two Cantor sets in R^2 when d=2 to illustrate the stable intersection.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for their thorough review and for recommending minor revision. The suggestion to isolate the verification of the NZ25 covering criterion as a numbered lemma is helpful for clarity, and we will implement this change.

read point-by-point responses

Referee: [Main construction (likely §3 or §4)] The central claim reduces to showing that the constructed Cantor sets satisfy all hypotheses of the NZ25 covering criterion (recurrence, covering, and dimension conditions). While the abstract and construction outline assert this, the verification step for the case α + β > d should be isolated as a numbered lemma or proposition with explicit checks on the limit-set dimension formula and the thickness parameter.

Authors: We agree with this observation. In the revised manuscript, we will introduce a new numbered lemma (placed in the main construction section) dedicated to verifying that the constructed families satisfy the recurrence, covering, and dimension conditions of the NZ25 covering criterion when α + β > d. This lemma will include explicit computations: the limit-set dimension formula will be derived directly from the chosen contraction rates and the projective hyperbolicity or near-conformality parameters, confirming the upper box dimensions match the prescribed α and β; the thickness parameter will be shown to be arbitrarily small by suitable choice of the distortion bounds and the number of iterates in the construction. These checks build upon the geometric flexibility already outlined in the construction sections and ensure the application of the covering criterion is fully rigorous and self-contained. revision: yes

Circularity Check

1 steps flagged

Central claim rests on application of authors' prior covering criterion

specific steps

self citation load bearing [Abstract]
"The proof relies on the 'covering criterion' for stable intersection introduced in the first part of this series [NZ25], which generalizes the 'recurrent compact set criterion' of Moreira-Yoccoz to higher dimensions."

The paper's central result (existence of C^{1+α}-stable intersections for any prescribed dimensions summing above d) is obtained by constructing sets and then invoking the covering criterion from the authors' overlapping prior work NZ25 to certify the intersections; no independent verification of the criterion appears inside the present manuscript.

full rationale

The manuscript constructs explicit families of regular Cantor sets (projectively hyperbolic and nearly conformal) whose upper box dimensions sum to more than d and verifies that these families satisfy the hypotheses of the covering criterion introduced in the authors' own prior paper NZ25. The stable-intersection conclusion is then obtained by direct invocation of that criterion. The geometric constructions themselves contain independent content (dimension prescription, thickness control, recurrence verification), but the load-bearing detection step reduces to the self-citation. This produces moderate circularity without rendering the entire argument tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on the covering criterion from NZ25 as the main external tool. No free parameters or new invented entities are mentioned in the abstract; the work is a geometric existence argument rather than a fitted model.

axioms (1)

domain assumption The covering criterion for stable intersection from NZ25 correctly identifies C^{1+α}-stable intersections for the constructed regular Cantor sets in R^d and C^d.
Invoked in the abstract as the foundation of the proof; the current paper does not re-derive it.

pith-pipeline@v0.9.0 · 5468 in / 1278 out tokens · 22977 ms · 2026-05-15T20:54:29.600587+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The proof relies on the 'covering criterion' for stable intersection introduced in the first part of this series [NZ25], which generalizes the 'recurrent compact set criterion' of Moreira-Yoccoz to higher dimensions.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A. Let d∈N and p,q∈(0,d) with p+q>d. Then there exists a pair of regular Cantor sets (K,K′) in R^d with dimB(K)=p and dimB(K′)=q such that the pair (K,K′) has C^{1+α}-stable intersection.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.