In this article, we study the Hausdorff measure of shrinking target sets on self-conformal sets. The Hausdorff dimension of the sets we are interested in here was established by Hill and Velani in 1995. However, until recently, little more was known about the Hausdorff measure of these particular sets. In this paper we provide a complete characterisation of the Hausdorff measure of these sets, obtaining a dichotomy for the Hausdorff measure which is determined by the convergence or divergence of a sum depending on the radii of our "shrinking targets". Our main result complements earlier work of Levesley, Salp, and Velani~(2007), and recent work of Baker (2019).
Generalising a construction of Falconer, we consider classes of $G_δ$-subsets of $\mathbb{R}^d$ with the property that sets belonging to the class have large Hausdorff dimension and the class is closed under countable intersections. We relate these classes to some inhomogeneous potentials and energies, thereby providing some useful tools to determine if a set belongs to one of the classes. As applications of this theory, we calculate, or at least estimate, the Hausdorff dimension of randomly generated limsup-sets, and sets that appear in the setting of shrinking targets in dynamical systems. F…
In the present work we establish a Bowen-type formula for the Hausdorff dimension of shrinking-target sets for non-autonomous conformal iterated function systems in arbitrary dimensions and satisfying certain conditions. In the case of dimension 1 we also investigate non-linear perturbations of linear systems and obtain sufficient conditions under which the perturbed systems satisfy the conditions in our hypotheses
We study shrinking target problems and the set $\mathcal{E}_{\text{ah}}$ of eventually always hitting points. These are the points whose first $n$ iterates will never have empty intersection with the $n$-th target for sufficiently large $n$. We derive necessary and sufficient conditions on the shrinking rate of the targets for $\mathcal{E}_{\text{ah}}$ to be of full or zero measure especially for some interval maps including the doubling map, some quadratic maps and the Manneville-Pomeau map. We also obtain results for the Gauss map and correspondingly for the maximal digits in continued fract…
We consider the two dimensional shrinking target problem in the beta dynamical system for general $β>1$ and with the general error of approximations. Let $f, g$ be two positive continuous functions. For any $x_0,y_0\in[0,1]$, define the shrinking target set $$ E(T_β, f,g):=\left\{(x,y)\in [0,1]^2: \begin{array}{ll} |T_β^{n}x-x_{0}|<e^{-S_nf(x)}\\ [1ex] |T_β^{n}y-y_{0}|< e^{-S_ng(y)} \end{array} \ {\text{for infinitely many}} \ n\in \N \right\}, $$ where $S_nf(x)=\sum_{j=0}^{n-1}f(T_β^jx)$ is the Birkhoff sum. We calculate the Hausdorff dimension of this set and prove that it is the solution to…
We describe the shrinking target problem for random iterated function systems which semi-conjugate to a random subshifts of finite type. We get the Hausdorff dimension of the set based on shrinking target problems with given targets. The main idea is an extension of ubiquity theorem which plays an important role to get the lower bound of the dimension. Our method can be used to deal with the sets with respect to an more general targets and the sets based on the quantitative Poincaré recurrence properties.
In this paper, we study the shrinking-target problem with target at infinity induced by the injectivity radius function under the action of a regular diagonalizable flow on $\operatorname{SL}_3(\mathbb R)/\operatorname{SL}_3(\mathbb Z)$. In particular, we establish an explicit formula for the Hausdorff dimension of the subset of points $p$ whose orbit approaches the cusp infinitely often with a rate $γ\geq0$.
In this paper, we give a definition of Diophantine points of type $γ$ for $γ\geq0$ in a homogeneous space $G/Γ$, and compute the Hausdorff dimension of the subset of points which are not Diophantine of type $γ$ when $G$ is a semisimple Lie group of real rank one. We also deduce a Jarník-Besicovitch Theorem on Diophantine approximation in Heisenberg groups.
We consider certain parametrised families of piecewise expanding maps on the interval, and estimate and sometimes calculate the Hausdorff dimension of the set of parameters for which the orbit of a fixed point has a certain shrinking target property. This generalises several similar results for $β$-transformations to more general non-linear families. The proofs are based on a result by Schnellmann on typicality in parametrised families.
We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either exactly, or as an asymptotic expansion. Significant applications include strengthening Hensley's asymptotic formula from 1992, which improved on earlier bounds due to Jarník and Kurzweil, for the Haus…
We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are Ahlfors regular, irrespective of separation conditions. When restricting to self-conformal subsets of the real line with Hausdorff dimension strictly less than one, we additionally show that the weak…
In this paper we prove that among pairs $K,\,K' \subset \mathbb{C}$ of conformal dynamically defined Cantor sets with sum of Hausdorff dimensions $HD(K)+HD(K')>2$, there is an open and dense subset of such pairs verifying $\text{int}(K-K')\neq \emptyset$. This is motivated by the work \cite{MY}, where Moreira and Yoccoz proved a similar statement for dynamically defined Cantor sets in the real line. Here we adapt their argument to the context of conformal Cantor sets in the complex plane, this requires the introduction of several new concepts and a more detailed analysis in some parts of the a…
This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than $1$ then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to $1$. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit […
Hausdorff measures of sets in Exact Diophantine approximation
School of Mathematics and Statistics, Huazhong University of Science and Technology（华中科技大学数学与统计学院）；School of Statistics and Mathematics, Hubei University of Economics（湖北经济学院统计与数学学院）；Hubei Center for Data and Analysis（湖北省数据分析中心）
We extend results by B. Hasselblatt, J. Schmeling in \emph{Dimension product structure of hyperbolic sets} (2004), and by the third author and K. Simon in \emph{Hausdorff and packing measures for solenoids} (2003), for $C^{1+\varepsilon}$ hyperbolic, (partially) linear solenoids $Λ$ over the circle embedded in $\mathbb{R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlinear ones. Under an assumption of transversality and assumptions on Lyapunov exponents for an appropriate Gibbs measure imposing \emph{thinness}, assuming also there is an invariant $C^{1+\varepsilon}$…
We consider the family of CIFSs of generalized complex continued fractions with a complex parameter space. This is a new interesting example to which we can apply a general theory of infinite CIFSs and analytic families of infinite CIFSs. We show that the Hausdorff dimension function of the family of the CIFSs of generalized complex continued fractions is continuous in the parameter space and is real-analytic and subharmonic in the interior of the parameter space. As a corollary of these results, we also show that the Hausdorff dimension function has a maximum point and the maximum point belon…
We show that self-conformal subsets of $\mathbb{R}$ that do not satisfy the weak separation condition have full Assouad dimension. Combining this with a recent results by Käenmäki and Rossi we conclude that an interesting dichotomy applies to self-conformal and not just self-similar sets: if $F\subset\mathbb{R}$ is self-conformal with Hausdorff dimension strictly less than $1$, either the Hausdorff dimension and Assouad dimension agree or the Assouad dimension is $1$. We conclude that the weak separation property is in this case equivalent to Assouad and Hausdorff dimension coinciding. (This m…
In this paper we investigate the Hausdorff dimension of limit sets of Anosov representations. In this context we revisit and extend the framework of hyperconvex representations and establish a convergence property for them, analogue to a differentiability property. As an application of this convergence, we prove that the Hausdorff dimension of the limit set of a hyperconvex representation is equal to a suitably chosen critical exponent.
In dynamical systems, shrinking target sets and pointwise recurrent sets are two important classes of dynamically defined subsets. In this article we introduce a mild condition on the linear parts of the affine mappings that allow us to bound the Hausdorff dimension of cylindrical shrinking target and recurrence sets. For generic self-affine sets in the sense of Falconer, that is by randomising the translation part of the affine maps, we prove that these bounds are sharp. These mild assumptions mean that our results significantly extend and complement the existing literature for recurrence on …
Given a non-conformal repeller $Λ$ of a $C^{1+γ}$ map, we study the Hausdorff dimension of the repeller and continuity of the sub-additive topological pressure for the sub-additive singular valued potentials. Such a potential always possesses an equilibrium state. We then use a substantially modified version of Katok's approximating argument, to construct a compact invariant set on which the corresponding dynamical quantities (such as Lyapunov exponents and metric entropy) are close to that of the equilibrium measure. This allows us to establish continuity of the sub-additive topological press…
We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is true if $J$ is the radial Julia set of an irreducible meromorphic function (either rational or transcendental). The method of proof is to find subsets of $J$ that support absolutely friendly and Ahlfors regular measures of large dimension. In the appendix to this paper, we answer a question of Broderick, Kleinbock, Reich, Weiss, and the second-named author ('…
We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdorff and dynamical dimensions, the set of badly approximable points has full Hausdorff dimension in the sponge. Our results, which are the first to advance beyond the conformal setting, encompass both …
A closed interval and circle are the only smooth Julia sets in polynomial dynamics. D. Ruelle proved that the Hausdorff dimension of unicritical Julia sets close to the circle depends analytically on the parameter. Near the tip of the Mandelbrot set M, the Hausdorff dimension is generally discontinuous. Answering a question of J-C. Yoccoz in the conformal setting, we observe that the Hausdorff dimension of quadratic Julia sets depends continuously on $c$ and find explicit bounds at the tip of M for most real parameters in the the sense of 1-dimensional Lebesgue measure.
