Abstract:Abstract Khintchine's theorem is a classical result from metric number theory which relates the Lebesgue measure of certain limsup sets with the convergence/divergence of naturally occurring volume sums. In this paper we ask whether an analogous result holds for iterated function systems (IFS's). We say that an IFS is approximation regular if we observe Khintchine type behaviour, i.e., if the size of certain limsup sets defined using the IFS is determined by the convergence/divergence of naturally occurring sums. We prove that an IFS is approximation regular if it consists of conformal mappings and satisfies the open set condition. The divergence condition we introduce incorporates the inhomogeneity present within the IFS. We demonstrate via an example that such an approach is essential. We also formulate an analogue of the Duffin–Schaeffer conjecture and show that it holds for a set of full Hausdorff dimension. Combining our results with the mass transference principle of Beresnevich and Velani [4], we prove a general result that implies the existence of exceptional points within the attractor of our IFS. These points are exceptional in the sense that they are “very well approximated”. As a corollary of this result, we obtain a general solution to a problem of Mahler, and prove that there are badly approximable numbers that are very well approximated by quadratic irrationals. The ideas put forward in this paper are introduced in the general setting of iterated function systems that may contain overlaps. We believe that by viewing iterated function systems from the perspective of metric number theory, one can gain a greater insight into the extent to which they overlap. The results of this paper should be interpreted as a first step in this investigation.

AN INFINITELY GENERATED SELF-SIMILAR SET WITH POSITIVE LEBESGUE MEASURE AND EMPTY INTERIOR

GEOMETRY AND DIMENSION OF SELF-SIMILAR SET

Self-similarity, Positive Lebesgue Measure and Nonempty Interior

The interior of randomly perturbed self-similar sets on the line

Do Self-Similar Sets with Positive Lebesgue Measure Contain an Interval?

Interior points and Lebesgue measure of overlapping Mandelbrot percolation sets

On a class of self-similar sets which contain finitely many common points

On the Minkowski content of self-similar random homogeneous iterated function systems

On a self-embedding problem for self-similar sets

On the Lebesgue measure of one generalised set of subsums of geometric series

Self-similar Sets with Super-Exponential Close Cylinders

An Analogue of Khintchine's Theorem for Self-Conformal Sets

Inhomogeneous self-similar sets with overlaps

Iterated Function Systems with Super-Exponentially Close Cylinders II

Self-similar sets and Lipschitz graphs

Dimensions and Measures of Approximate Self-similar Sets

Infinite Sumsets in Sets with Positive Density

On a self-embedding problem of self-similar sets

On the Cardinality and Complexity of the Set of Codings for Self-Similar Sets with Positive Lebesgue Measure

Hausdorff Dimension, Mean Quadratic Variation of Infinite Self-Similar Measures