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.

The R-IFSs and their attractors

On cut sets of attractors of iterated function systems

Highly Non-contractive Iterated Function Systems on Euclidean Space Can Have an Attractor

Remarkable results obtained when studying a question concerning the invariant set of an IFS

Strongly-Fibred Iterated Function Systems and the Barnsley--Vince triangle

Determination of Affine Transform of IFS

ON SEPARATION PROPERTIES FOR ITERATED FUNCTION SYSTEMS OF SIMILITUDES

On symmetries of the IFS attractor

The Condition of Complex Mapping Family F(z)=az2+ti to Become an IFS

Fast and Accurate Determination of the Spatial Boundary of IFS Attractors

Representation of Discrete Sequences with High-Dimensional Iterated Function Systems

Parametrizability of infinitely generated attractors

On affine iterated function systems which robustly admit an invariant affine subspace

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

Relational generalized iterated function systems

Generating Iterated Function Systems for a Class of Self-Similar Sets with Complete Overlap

Dynamical Properties of Iterated Function Systems

A REMARK ON THE LIMIT SHADOWING PROPERTY FOR ITERATED FUNCTION SYSTEMS

Iterated relation systems on Riemannian manifolds

The discrete charm of iterated function systems. A computer scientist's perspective on approximation of IFS invariant sets and measures

Uniform perfectness of the attractor of bi-Lipschitz IFS