Let $[a_1(x),a_2(x),a_3(x),\dots ]$ be the continued fraction expansion of an irrational number $x\in (0,1)$. Denote by $S_{n}(x):=\sum _{k=1}^{n} a_{k}(x)$ the sum of partial quotients of x. From the results of Khintchine (1935), Diamond and Vaaler (1986), and Philipp (1988), it follows that for Lebesgue almost every $x \in (0,1)$,

$$\begin{align*}\liminf _{n \rightarrow \infty} \frac{S_{n}(x)}{n \log n}=\frac{1}{\log 2} \quad \text {and} \quad \limsup _{n \rightarrow \infty} \frac{S_{n}(x)}{n \log n}=\infty. \end{align*}$$

Let $ K $ be a compact subset of the d-torus invariant under an expanding diagonal endomorphism with s distinct eigenvalues. Suppose the symbolic coding of K satisfies weak specification. When $ s \leq 2 $, we prove that the following three statements are equivalent: (A) the Hausdorff and box dimensions of $ K $ coincide; (B) with respect to some gauge function, the Hausdorff measure of $ K $ is positive and finite; (C) the Hausdorff dimension of the measure of maximal entropy on $ K $ attains the Hausdorff dimension of $ K $. When $ s \geq 3 $, we find some examples in which statement (A) does not hold but statement (C) holds, which is a new phenomenon not appearing in the planar cases. Through a different probabilistic approach, we establish the equivalence of statements (A) and (B) for Bedford–McMullen sponges.

We strengthen known results on Diophantine approximation with restricted denominators by presenting a new quantitative Schmidt-type theorem that applies to denominators growing much more slowly than in previous works. In particular, we can handle sequences of denominators with polynomial growth and Rajchmann measures exhibiting arbitrary slow decay, allowing several applications. For instance, our results yield non-trivial lower bounds on the Hausdorff dimensions of intersections of two sets of inhomogeneously well-approximable numbers (each with restricted denominators) and enable the construction of Salem subsets of well-approximable numbers of arbitrary Hausdorff dimension.

Given any finite collection $\mathcal {G}$ of translation-invariant linear equations of the form

$$ \begin{align*} \sum_{i=1}^{v} m_i x_i = m_0 x_0, \end{align*} $$

where $(m_0, m_1, \ldots , m_v) \in \mathbb {N}^{v+1}$, $m_0 = \sum _{i=1}^{v} m_i$ and $v \ge 2$, we estimate lower and upper bounds of the supremum of the Hausdorff dimension of sets on the real line that uniformly avoid nontrivial zeros of any f in $\mathcal {G}$.

We show that the Hausdorff dimension of the attractor of an inhomogeneous self-similar iterated function system (or self-similar IFS) can be well approximated by the Hausdorff dimension of the attractor of another inhomogeneous self-similar IFS satisfying the strong separation condition. We also determine a formula for the Hausdorff dimension of the algebraic product and sum of the inhomogeneous attractor.

In one-dimensional Diophantine approximation, the Diophantine properties of a real number are characterized by its partial quotients, especially the growth of its large partial quotients. Notably, Kleinbock and Wadleigh [Proc. Amer. Math. Soc. 146(5) (2018), 1833–1844] made a seminal contribution by linking the improvability of Dirichlet’s theorem to the growth of the product of consecutive partial quotients. In this paper, we extend the concept of Dirichlet non-improvable sets within the framework of shrinking target problems. Specifically, consider the dynamical system $([0,1), T)$ of continued fractions. Let $\{z_n\}_{n \ge 1}$ be a sequence of real numbers in $[0,1]$ and let $B> 1$. We determine the Hausdorff dimension of the following set: $ \{x\in [0,1):|T^nx-z_n||T^{n+1}x-Tz_n|<B^{-n}\text { infinitely often}\}. $

Let $[a_1(x),a_2(x),\ldots ,a_n(x),\ldots ]$ be the continued fraction expansion of $x\in [0,1)$ and $q_n(x)$ be the denominator of its nth convergent. The irrationality exponent and Khintchine exponent of x are respectively defined by

$$ \begin{align*} \overline{v}(x)=2+\limsup_{n\to\infty}\frac{\log a_{n+1}(x)}{\log q_n(x)} \quad \text{and}\quad \gamma(x)=\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^{n}\log a_i(x). \end{align*} $$

We study the multifractal spectrum of the irrationality exponent and the Khintchine exponent for continued fractions with nondecreasing partial quotients. For any $v>2$, we completely determine the Hausdorff dimensions of the sets $\{x\in [0,1): a_1(x)\leq a_2(x)\leq \cdots , \overline {v}(x)=v\}$ and

$$ \begin{align*}\bigg\{x\in[0,1): a_1(x)\leq a_2(x)\leq\cdots, \lim\limits_{n\to\infty}\frac{\log a_1(x)+\log a_2(x)+\cdots+\log a_n(x)}{\psi(n)}=1\bigg\},\end{align*} $$

where $\psi :\mathbb {N}\rightarrow \mathbb {R}^+$ is a function satisfying $\psi (n)\to \infty $ as $n\to \infty $.

For $ \beta>1 $, let $ T_\beta $ be the $\beta $-transformation on $ [0,1) $. Let $ \beta _1,\ldots ,\beta _d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define

$$ \begin{align*}W(\mathcal P)=\{\mathbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_d})^n(\mathbf{x})\in P_n\text{ infinitely often}\}.\end{align*} $$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}}$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}} W(\mathcal P)$

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

For $\lambda \in (0,\,1/2]$ let $K_\lambda \subset \mathbb {R}$ be a self-similar set generated by the iterated function system $\{\lambda x,\, \lambda x+1-\lambda \}$. Given $x\in (0,\,1/2)$, let $\Lambda (x)$ be the set of $\lambda \in (0,\,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda (x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\,\ldots,\, y_p\in (0,\,1/2)$ there exists a full Hausdorff dimensional set of $\lambda \in (0,\,1/2]$ such that $y_1,\,\ldots,\, y_p \in K_\lambda$.

Feng and Huang [Variational principle for weighted topological pressure. J. Math. Pures Appl. (9) 106 (2016), 411–452] introduced weighted topological entropy and pressure for factor maps between dynamical systems and established its variational principle. Tsukamoto [New approach to weighted topological entropy and pressure. Ergod. Th. & Dynam. Sys. 43 (2023), 1004–1034] redefined those invariants quite differently for the simplest case and showed via the variational principle that the two definitions coincide. We generalize Tsukamoto’s approach, redefine the weighted topological entropy and pressure for higher dimensions, and prove the variational principle. Our result allows for an elementary calculation of the Hausdorff dimension of affine-invariant sets such as self-affine sponges and certain sofic sets that reside in Euclidean space of arbitrary dimension.

Let $[a_1(x),a_2(x),a_3(x),\ldots ]$ be the continued fraction expansion of an irrational number $x\in [0,1)$. We are concerned with the asymptotic behaviour of the product of consecutive partial quotients of x. We prove that, for Lebesgue almost all $x\in [0,1)$,

$$ \begin{align*} \liminf_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n} = 0\quad \text{and}\quad \limsup_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n}=1. \end{align*} $$

We also study the Baire category and the Hausdorff dimension of the set of points for which the above liminf and limsup have other different values and similarly analyse the weighted product of consecutive partial quotients.

We prove a multidimensional conformal version of the scale recurrence lemma of Moreira and Yoccoz [Stable intersections of regular Cantor sets with large Hausdorff dimensions. Ann. of Math. (2) 154(1) (2001), 45–96] for Cantor sets in the complex plane. We then use this new recurrence lemma, together with Moreira’s ideas in [Geometric properties of images of Cartesian products of regular Cantor sets by differentiable real maps. Math. Z. 303 (2023), 3], to prove that under the right hypothesis for the Cantor sets $K_1,\ldots ,K_n$ and the function $h:\mathbb {C}^{n}\to \mathbb {R}^{l}$, the following formula holds:

$$ \begin{align*}HD(h(K_1\times K_2 \times \cdots\times K_n))=\min \{l,HD(K_1)+\cdots+HD(K_n)\}.\end{align*} $$

For every $n\geq 2$, Bourgain’s constant $b_n$ is the largest number such that the (upper) Hausdorff dimension of harmonic measure is at most $n-b_n$ for every domain in $\mathbb {R}^n$ on which harmonic measure is defined. Jones and Wolff (1988, Acta Mathematica 161, 131–144) proved that $b_2=1$. When $n\geq 3$, Bourgain (1987, Inventiones Mathematicae 87, 477–483) proved that $b_n>0$ and Wolff (1995, Essays on Fourier analysis in honor of Elias M. Stein (Princeton, NJ, 1991), Princeton University Press, Princeton, NJ, 321–384) produced examples showing $b_n<1$. Refining Bourgain’s original outline, we prove that

$$\begin{align*}b_n\geq c\,n^{-2n(n-1)}/\ln(n),\end{align*}$$

$n\geq 3$

$c>0$

$b_3\geq 1\times 10^{-15}$

$b_4\geq 2\times 10^{-26}$

We present an elementary proof that the Rauzy gasket has Hausdorff dimension strictly smaller than two.

We consider the attractor $\Lambda $ of a piecewise contracting map f defined on a compact interval. If f is injective, we show that it is possible to estimate the topological entropy of f (according to Bowen’s formula) and the Hausdorff dimension of $\Lambda $ via the complexity associated with the orbits of the system. Specifically, we prove that both numbers are zero.

In this paper, we study the dimension of planar self-affine sets, of which generating iterated function system (IFS) contains non-invertible affine mappings. We show that under a certain separation condition the dimension equals to the affinity dimension for a typical choice of the linear-parts of the non-invertible mappings, furthermore, we show that the dimension is strictly smaller than the affinity dimension for certain choices of parameters.

For integers a and $b\geq 2$, let $T_a$ and $T_b$ be multiplication by a and b on $\mathbb {T}=\mathbb {R}/\mathbb {Z}$. The action on $\mathbb {T}$ by $T_a$ and $T_b$ is called $\times a,\times b$ action and it is known that, if a and b are multiplicatively independent, then the only $\times a,\times b$ invariant and ergodic measure with positive entropy of $T_a$ or $T_b$ is the Lebesgue measure. However, it is not known whether there exists a non-trivial $\times a,\times b$ invariant and ergodic measure. In this paper, we study the empirical measures of $x\in \mathbb {T}$ with respect to the $\times a,\times b$ action and show that the set of x such that the empirical measures of x do not converge to any measure has Hausdorff dimension one and the set of x such that the empirical measures can approach a non-trivial $\times a,\times b$ invariant measure has Hausdorff dimension zero. Furthermore, we obtain some equidistribution result about the $\times a,\times b$ orbit of x in the complement of a set of Hausdorff dimension zero.