Search

In this paper, we investigate the Hausdorff measure of shrinking target sets in $\beta$-dynamical systems. These sets are dynamically defined in analogy to the classical theory of weighted and multiplicative approximation. While the Lebesgue measure and Hausdorff dimension theories for these sets are well-understood, the Hausdorff measure theory in even one-dimensional settings remains unknown. We show that the Hausdorff measure of these sets is either zero or full depending upon the convergence or divergence of a certain series, thus providing a rather complete measure theoretic description of these sets.

Let $ ([0,1]^d,T,\mu) $ be a measure-preserving dynamical system so that the correlations decay exponentially for H\"older continuous functions. Suppose that $ \mu $ is absolutely continuous with a density function $ h\in L^q(\mathcal L^d) $ for some $ q>1 $, where $ \mathcal L^d $ is the $ d $-dimensional Lebesgue measure. Under mild conditions on the underlying dynamical system, we obtain a strong dynamical Borel-Cantelli lemma for recurrence: For any sequence $ \{R_n\} $ of hyperrectangles with sides parallel to the axes and centered at the origin, \[\sum_{n=1}^{\infty}\mathcal L^d(R_n)=\infty\quad\Longrightarrow\quad\lim_{n\to\infty}\frac{\sum_{k=1}^{n}\chi_{R_k+\mathbf{x}}(T^k\mathbf{x})}{\sum_{k=1}^{n}\mathcal L^d(R_k)}=h(\mathbf{x})\quad\text{for $ \mu $-a.e.$\textbf{x}$},\] where $ \textbf{x}\in[0,1]^d $ and $ R_k+\textbf{x} $ is the translation of $ R_k $. The result applies to Gauss map, $\beta$-transformation and expanding toral endomorphisms.

The mass transference principle, discovered by Beresnevich and Velani [Ann Math (2), 2006], is a landmark result in Diophantine approximation that allows us to obtain the Hausdorff measure theory of $\limsup$ set. Another important tool is the notion of large intersection property, introduced and systematically studied by Falconer [J. Lond. Math. Soc. (2), 1994]. The former mainly focuses on passing between full (Lebesgue) measure and full Hausdorff measure statements, while the latter transfers full Hausdorff content statement to Hausdorff dimension. From this perspective, the proofs of the two results are quite similar but often treated in different ways. In this paper, we establish a general mass transference principle from the viewpoint of Hausdorff content, aiming to provide a unified proof for the aforementioned results. More precisely, this principle allows us to transfer the Hausdorff content bounds of a sequence of open sets $E_n$ to the full Hausdorff measure statement and large intersection property for $\limsup E_n$. One of the advantages of our approach is that the verification of the Hausdorff content bound does not require the construction of Cantor-like subset, resulting in a much simpler proof. As an application, we provide simpler proofs for several mass transference principles.

For $ \beta>1 $ let $ T_\beta $ be the $\beta$-transformation on $ [0,1) $. Let $ \beta_1,\dots,\beta_d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define \[W(\mathcal P)=\{\textbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_2})^n(\textbf{x})\in P_n\text{ infinitely often}\}.\] When each $ P_n $ is a hyperrectangle with sides parallel to the axes, the 'rectangle to rectangle' mass transference principle by Wang and Wu [Math. Ann. 381 (2021)] is usually employed to derive the lower bound for $\mathrm{dim_H} W(\mathcal P)$, where $\mathrm{dim_H}$ denotes the Hausdorff dimension. However, in the case where $ P_n $ is still a hyperrectangle but with rotation, this principle, while still applicable, often fails to yield the desired lower bound. In this paper, we determine the optimal cover of parallelepipeds, thereby obtaining $\mathrm{dim_H} W(\mathcal P)$. We also provide several examples to illustrate how the rotations of hyperrectangles affect $\mathrm{dim_H} W(\mathcal P)$.

Let $ T\colon[0,1]^d\to [0,1]^d $ be a piecewise expanding map with an absolutely continuous invariant measure $ \mu $. Let $ \{H_n\} $ be a sequence of hyperrectangles or hyperboloids centered at the origin. Denote by $ \mathcal R(\{H_n\}) $ the set of points $ \mathbf x $ such that $ T^n\mathbf x\in \mathbf x+H_n $ for infinitely many $ n\in\mathbb N $, where $ \mathbf x+H_n $ is the translation of $ H_n $. We prove that if $ \mu $ is exponential mixing and the density of $ \mu $ is sufficiently regular, then the $\mu$-measure of $ \mathcal R(\{H_n\}) $ is zero or full according to the sum of the volumes of $ H_n $ converges or not. In the case that $ T $ is a matrix transformation, our results extend a previous work of Kirsebom, Kunde, and Persson [to appear in Ann. Sc. Norm. Super. Pisa Cl. Sci., 2023] in two aspects: by allowing the matrix to be non-integer and by allowing the `target' sets $ H_n $ to be hyperrectangles or hyperboloids. We also obtain a dimension result when $ T $ is a diagonal matrix transformation.

Let $ T:[0,1]\to[0,1] $ be an expanding Markov map with a finite partition. Let $ \mu_\phi $ be the invariant Gibbs measure associated with a H\"older continuous potential $ \phi $. In this paper, we investigate the size of the uniform approximation set \[\mathcal U^\kappa(x):=\{y\in[0,1]:\forall N\gg1,~\exists n\le N, \text{ such that }|T^nx-y|0 $ and $ x\in[0,1] $. The critical value of $ \kappa $ such that $ \textrm{dim}_{\textrm H}\mathcal U^\kappa(x)=1 $ for $ \mu_\phi $-a.e.$ \, x $ is proven to be $ 1/\alpha_{\max} $, where $ \alpha_{\max}=-\int \phi\,d\mu_{\max}/\int\log|T'|\,d\mu_{\max} $ and $ \mu_{\max} $ is the Gibbs measure associated with the potential $ -\log|T'| $. Moreover, when $ \kappa>1/\alpha_{\max} $, we show that for $ \mu_\phi $-a.e.$ \, x $, the Hausdorff dimension of $ \mathcal U^\kappa(x) $ agrees with the multifractal spectrum of $ \mu_\phi $.

For a nonincreasing function $\psi$, let $\textrm{Exact}(\psi)$ be the set of complex numbers that are approximable by complex rational numbers to order $\psi$ but to no better order. In this paper, we obtain the Hausdorff dimension and packing dimension of $\textrm{Exact}(\psi)$ when $\psi(x)=o(x^{-2})$. We also prove that the lower bound of the Hausdorff dimension is greater than $2-\tau/(1-2\tau)$ when $\tau=\limsup_{x\to\infty}\psi(x)x^2$ small enough.

For regular continued fraction, if a real number $x$ and its rational approximation $p/q$ satisfying $|x-p/q|<1/q^2$, then, after deleting the last integer of the partial quotients of $p/q$, the sequence of the remaining partial quotients is a prefix of that of $x$. In this paper, we show that the situation is completely different if we consider the Hurwitz continued fraction expansions of a complex number and its rational approximations. More specifically, we consider the set $E(\psi)$ of complex numbers which are well approximated with the given bound $\psi$ and have quite different Hurwitz continued fraction expansions from that of their rational approximations. The Hausdorff and packing dimensions of such set are determined. It turns out that its packing dimension is always full for any given approximation bound $\psi$ and its Hausdorff dimension is equal to that of the $\psi$-approximable set $W(\psi)$ of complex numbers. As a consequence, we also obtain an analogue of the classical Jarn\'ik Theorem in real case.