Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2508.00601

Doubling property of self-similar measures with overlaps

Yu Wang·Ya-Min Yang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Recently, Yang, Yuan and Zhang [Doubling properties of self-similar measures and Bernoulli measures on self-affine Sierpinski sponges, Indiana Univ. Math. J., 73 (2024), 475-492] characterized when a self-similar measure satisfying the open set condition is doubling. In this paper, we study when a self-similar measure with overlaps is doubling. Let $m\geq 2$ and let $β>1$ be the Pisot number satisfying $β^m=\sum_{j=0}^{m-1}β^j$. Let $\mathbf{p}=(p_1,p_2)$ be a probability weight and let $μ_{\mathbf{p}}$ be the self-similar measure associated to the IFS $\{ S_1(x)={x}/β, S_2(x)={x}/β+(1-{1}/β),\}.$ Yung [...,Indiana Univ. Math. J., ] proved that when $m=2$, $μ_{\mathbf{p}}$ is doubling if and only if $\mathbf{p}=(1/2,1/2)$. We show that for $m\geq 3$, $μ_{\mathbf{p}}$ is always non-doubling.

Explore related subjects

math.MGmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yu Wang, Ya-Min Yang. 2025-08-01. Doubling property of self-similar measures with overlaps. https://arxiv.org/abs/2508.00601

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Space-filling surfaces: sharp Hölder continuous parameterizations from squares to cubes

Following a hint of Semmes, we employ Stong's bijections between integer lattices to construct space-filling surfaces, which are higher-dimensional analogues of space-filling curves. For each $m\geq 2$ we build $α$-Hölder continuous parameterizations $f:[0,1]^m\rightarrow[0,1]^{m+1}$ with sharp exponent $α=m/(m+1)$. In particular, there exist $(2/3)$-Hölder continuous surjections from squares to cubes. This solves Arnold's problem 1988--5.

math.MG↗
arXiv2026

The disjoint disks property for Busemann $G$-spaces

We prove that every finite-dimensional Busemann \(G\)-space of dimension at least five has the disjoint disks property (DDP). For a sufficiently small metric sphere \(L=S(c,r)\), we show that every embedded arc contained in an exact distance level is a homotopical \(Z_2\)-set in \(L\). It follows that \(L\) has the disjoint arc-disk property and the disjoint homotopies property. Daverman's product theorem then gives DDP for \(L\times\mathbb R\), and a local avoidance argument at the center yields DDP for the ambient \(G\)-space. Since finite-dimensional Busemann \(G\)-spaces are generalized manifolds, in dimensions at least five the remaining obstruction to the Busemann conjecture is the resolution problem.

math.MG↗
arXiv2026

Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space

Let $(\mathcal{M},d_{\mathrm{GH}})$ denote the Gromov-Hausdorff space of isometry classes of nonempty compact metric spaces. We prove that every nonempty compact metric space is isometrically embeddable into $(\mathcal{M},d_{\mathrm{GH}})$. More precisely, for every $D>0$ and every nonempty compact metric space $K$ with $\operatorname{diam} K\le D$, we realize the space of all $1$-Lipschitz functions on $K$ with values in $[0,D]$ as a family of metrics on a fixed Cantor space. Under this realization, the Gromov-Hausdorff distance agrees exactly with the uniform distance between functions, and each resulting metric space has diameter at most $76D$. We also construct finite approximations for which the Gromov-Hausdorff distance is given by an exact formula, together with a uniform approximation estimate.

math.MG↗