English

Interior of distance trees over thin Cantor sets

Classical Analysis and ODEs 2025-07-11 v1

Abstract

It is known that if a compact set EE in Rd\mathbb{R}^d has Hausdorff dimension greater than (d+1)/2(d+1)/2, then its nn-chain distance set Δn(E)={(x1x2,,xnxn+1)Rn:xiE,xixj for ij}\Delta^n(E) = \left\{\left(\left|x^1-x^2\right|,\cdots, \left|x^{n}- x^{n+1}\right|\right)\in \mathbb{R}^n: x^i \in E, x^i\neq x^j \text{ for } i\neq j \right\} has nonempty interior for any nNn\in \mathbb{N}. In this paper, we prove that for every Cantor set KRdK\subset \mathbb{R}^d and for every nNn\in\mathbb{N}, there exists K~Rd\widetilde{K}\subset \mathbb{R}^d such that the pinned nn-chain distance set of K×K~R2dK\times \widetilde{K}\subset \mathbb{R}^{2d} has nonempty interior, and hence, that Δn(K×K~)\Delta^n(K\times \widetilde{K}) has nonempty interior. Our results do not depend on the Newhouse gap lemma but rather on the containment lemma recently introduced by Jung and Lai. Our results generalize three-fold: to arbitrary finite trees, to higher dimensions, and to maps that have non-vanishing partials. As an application, we provide a class of examples of Cantor sets ER2dE\subset \mathbb{R}^{2d} so that for any sds\geq d, dimH(E)=s\dim_{\rm H}(E)= s and Δxn(E)\Delta_x^n(E)^\circ{}\neq \varnothing for some xEx\in E.

Keywords

Cite

@article{arxiv.2507.07385,
  title  = {Interior of distance trees over thin Cantor sets},
  author = {Yeonwook Jung and Krystal Taylor},
  journal= {arXiv preprint arXiv:2507.07385},
  year   = {2025}
}

Comments

16 pages, 5 figures

R2 v1 2026-07-01T03:54:09.088Z