Lower box dimension of infinitely generated self-conformal sets

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Banaji, Amlan, Rutar, Alex
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917745982963712
author Banaji, Amlan
Rutar, Alex
author_facet Banaji, Amlan
Rutar, Alex
contents Let $Λ$ be the limit set of an infinite conformal iterated function system and let $F$ denote the set of fixed points of the maps. We prove that the box dimension of $Λ$ exists if and only if \[ \overline{\dim}_{\mathrm B} F\leq \max \{\dim_{\mathrm H} Λ, \underline{\dim}_{\mathrm B} F\}. \] In particular, this provides the first examples of sets of continued fraction expansions with restricted digits for which the box dimension does not exist. More generally, we establish an explicit asymptotic formula for the covering numbers $N_r(Λ)$ in terms of $\dim_{\mathrm H}Λ$ and the covering function $r\mapsto N_r(F)$, where $N_r(\cdot)$ denotes the least number of open balls of radius $r$ required to cover a given set. Such finer scaling information is necessary: in general, the lower box dimension $\underline{\dim}_{\mathrm B} Λ$ is not a function of the Hausdorff dimension of $Λ$ and the upper and lower box dimensions of $F$, and we prove sharp bounds for $\underline{\dim}_{\mathrm B} Λ$ in terms of these three quantities.
format Preprint
id arxiv_https___arxiv_org_abs_2406_12821
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Lower box dimension of infinitely generated self-conformal sets
Banaji, Amlan
Rutar, Alex
Dynamical Systems
Classical Analysis and ODEs
Metric Geometry
28A80 (Primary) 37C45, 37B10, 11K50 (Secondary)
Let $Λ$ be the limit set of an infinite conformal iterated function system and let $F$ denote the set of fixed points of the maps. We prove that the box dimension of $Λ$ exists if and only if \[ \overline{\dim}_{\mathrm B} F\leq \max \{\dim_{\mathrm H} Λ, \underline{\dim}_{\mathrm B} F\}. \] In particular, this provides the first examples of sets of continued fraction expansions with restricted digits for which the box dimension does not exist. More generally, we establish an explicit asymptotic formula for the covering numbers $N_r(Λ)$ in terms of $\dim_{\mathrm H}Λ$ and the covering function $r\mapsto N_r(F)$, where $N_r(\cdot)$ denotes the least number of open balls of radius $r$ required to cover a given set. Such finer scaling information is necessary: in general, the lower box dimension $\underline{\dim}_{\mathrm B} Λ$ is not a function of the Hausdorff dimension of $Λ$ and the upper and lower box dimensions of $F$, and we prove sharp bounds for $\underline{\dim}_{\mathrm B} Λ$ in terms of these three quantities.
title Lower box dimension of infinitely generated self-conformal sets
topic Dynamical Systems
Classical Analysis and ODEs
Metric Geometry
28A80 (Primary) 37C45, 37B10, 11K50 (Secondary)
url https://arxiv.org/abs/2406.12821