Hausdorff dimension of the set of eventually always hitting points on a self-conformal set

Abstract: Recurrence problems are fundamental in dynamics, and for example, sizes of the set of points recurring infinitely often to a target have been studied extensively in many contexts. For example, the problem of finding the dimension for shrinking target set in an iterated function system is an active research area. In the current work, we consider a set with a finer recurrence quality, the eventually always hitting set. In a sense, the points in the intersection of an eventually always hitting set and a shrinking target set not only return infinitely often but also at a bounded rate. We study this set in the context of self-conformal iterated function systems, and compute upper and lower bounds for its Hausdorff dimension. Additionally, as an intermediate theorem, we obtain a Hausdorff dimension result for the intersection of eventually always hitting and shrinking target sets.