We perform a multifractal analysis of homological growth rates of oriented geodesics on hyperbolic surfaces. Our main result provides a formula for the Hausdorff dimension of level sets of prescribed growth rates in terms of a generalized Poincaré exponent of the Fuchsian group. We employ symbolic dynamics developed by Bowen and Series, ergodic theory and thermodynamic formalism to prove the analyticity of the dimension spectrum.

Given a two-sided shift space on a finite alphabet and a continuous potential function, we give conditions under which an equilibrium measure can be described using a construction analogous to Hausdorff measure that goes back to the work of Bowen. This construction was previously applied to smooth uniformly and partially hyperbolic systems by the first author, Pesin, and Zelerowicz. Our results here apply to all subshifts of finite type and Hölder continuous potentials, but extend beyond this setting, and we also apply them to shift spaces with synchronizing words.

We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and differ when they are small. Our study relies on thermodynamic formalism where, for dominated and irreducible matrices, we completely characterise the behaviour of the pressures.

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.

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*} $$

Let $f: M\rightarrow M$ be a $C^{1+\alpha }$ diffeomorphism on an $m_0$-dimensional compact smooth Riemannian manifold M and $\mu $ a hyperbolic ergodic f-invariant probability measure. This paper obtains an upper bound for the stable (unstable) pointwise dimension of $\mu $, which is given by the unique solution of an equation involving the sub-additive measure-theoretic pressure. If $\mu $ is a Sinai–Ruelle–Bowen (SRB) measure, then the Kaplan–Yorke conjecture is true under some additional conditions and the Lyapunov dimension of $\mu $ can be approximated gradually by the Hausdorff dimension of a sequence of hyperbolic sets $\{\Lambda _n\}_{n\geq 1}$. The limit behaviour of the Carathéodory singular dimension of $\Lambda _n$ on the unstable manifold with respect to the super-additive singular valued potential is also studied.

The purpose of this study is two-fold. First, the Hausdorff dimension formula of the multidimensional multiplicative subshift (MMS) in $\mathbb {N}^d$ is presented. This extends the earlier work of Kenyon et al [Hausdorff dimension for fractals invariant under multiplicative integers. Ergod. Th. & Dynam. Sys. 32(5) (2012), 1567–1584] from $\mathbb {N}$ to $\mathbb {N}^d$. In addition, the preceding work of the Minkowski dimension of the MMS in $\mathbb {N}^d$ is applied to show that their Hausdorff dimension is strictly less than the Minkowski dimension. Second, the same technique allows us to investigate the multifractal analysis of multiple ergodic average in $\mathbb {N}^d$. Precisely, we extend the result of Fan et al, [Multifractal analysis of some multiple ergodic averages. Adv. Math. 295 (2016), 271–333] of the multifractal analysis of multiple ergodic average from $\mathbb {N}$ to $\mathbb {N}^d$.

For a non-conformal repeller $\Lambda $ of a $C^{1+\alpha }$ map f preserving an ergodic measure $\mu $ of positive entropy, this paper shows that the Lyapunov dimension of $\mu $ can be approximated gradually by the Carathéodory singular dimension of a sequence of horseshoes. For a $C^{1+\alpha }$ diffeomorphism f preserving a hyperbolic ergodic measure $\mu $ of positive entropy, if $(f, \mu )$ has only two Lyapunov exponents $\unicode{x3bb} _u(\mu )>0>\unicode{x3bb} _s(\mu )$, then the Hausdorff or lower box or upper box dimension of $\mu $ can be approximated by the corresponding dimension of the horseshoes $\{\Lambda _n\}$. The same statement holds true if f is a $C^1$ diffeomorphism with a dominated Oseledet’s splitting with respect to $\mu $.

For a $C^1$ non-conformal repeller, this paper proves that there exists an ergodic measure of full Carathéodory singular dimension. For an average conformal hyperbolic set of a $C^1$ diffeomorphism, this paper constructs a Borel probability measure (with support strictly inside the repeller) of full Hausdorff dimension. If the average conformal hyperbolic set is of a $C^{1+\alpha }$ diffeomorphism, this paper shows that there exists an ergodic measure of maximal dimension.

Let $k\geq 2$ and $(X_{i}, \mathcal {T}_{i}), i=1,\ldots ,k$, be $\mathbb {Z}^{d}$-actions topological dynamical systems with $\mathcal {T}_i:=\{T_i^{\textbf {g}}:X_i{\rightarrow } X_i\}_{\textbf {g}\in \mathbb {Z}^{d}}$, where $d\in \mathbb {N}$ and $f\in C(X_{1})$. Assume that for each $1\leq i\leq k-1$, $(X_{i+1}, \mathcal {T}_{i+1})$ is a factor of $(X_{i}, \mathcal {T}_{i})$. In this paper, we introduce the weighted topological pressure $P^{\textbf {a}}(\mathcal {T}_{1},f)$ and weighted measure-theoretic entropy $h_{\mu }^{\textbf {a}}(\mathcal {T}_{1})$ for $\mathbb {Z}^{d}$-actions, and establish a weighted variational principle as

$$ \begin{align*} P^{\textbf{a}}(\mathcal{T}_{1},f)=\sup\bigg\{h_{\mu}^{\textbf{a}}(\mathcal{T}_{1})+\int_{X_{1}}f\,d\mu:\mu\in\mathcal{M}(X_{1}, \mathcal{T}_{1})\bigg\}. \end{align*} $$

This result not only generalizes some well-known variational principles about topological pressure for compact or non-compact sets, but also improves the variational principle for weighted topological pressure in [16] from $\mathbb {Z}_{+}$-action topological dynamical systems to $\mathbb {Z}^{d}$-actions topological dynamical systems.

We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb {R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$, yielding precise explicit formulae for those dimensions. Moreover, there are easy-to-check conditions guaranteeing that the bounds coincide for $d \geqslant 4$. An interesting consequence of our results is that there can be a ‘dimension gap’ for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of ‘Barański type’ the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $\delta>0$ depending only on the carpet. We also provide examples of self-affine carpets of ‘Barański type’ where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure.

This is the first paper in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

For any self-similar measure $\mu $ in $\mathbb {R}$ , we show that the distribution of $\mu $ is controlled by products of non-negative matrices governed by a finite or countable graph depending only on the iterated function system of similarities (IFS). This generalizes the net interval construction of Feng from the equicontractive finite-type case. When the measure satisfies the weak separation condition, we prove that this directed graph has a unique attractor. This allows us to verify the multifractal formalism for restrictions of $\mu $ to certain compact subsets of $\mathbb {R}$ , determined by the directed graph. When the measure satisfies the generalized finite-type condition with respect to an open interval, the directed graph is finite and we prove that if the multifractal formalism fails at some $q\in \mathbb {R}$ , there must be a cycle with no vertices in the attractor. As a direct application, we verify the complete multifractal formalism for an uncountable family of IFSs with exact overlaps and without logarithmically commensurable contraction ratios.

A blender for a surface endomorphism is a hyperbolic basic set for which the union of the local unstable manifolds robustly contains an open set. Introduced by Bonatti and Díaz in the 1990s, blenders turned out to have many powerful applications to differentiable dynamics. In particular, a generalization in terms of jets, called parablenders, allowed Berger to prove the existence of generic families displaying robustly infinitely many sinks. In this paper we introduce analogous notions in a measurable setting. We define an almost blender as a hyperbolic basic set for which a prevalent perturbation has a local unstable set having positive Lebesgue measure. Almost parablenders are defined similarly in terms of jets. We study families of endomorphisms of $\mathbb {R}^2$ leaving invariant the continuation of a hyperbolic basic set. When an inequality involving the entropy and the maximal contraction along stable manifolds is satisfied, we obtain an almost blender or parablender. This answers partially a conjecture of Berger, and complements previous works on the construction of blenders by Avila, Crovisier, and Wilkinson or by Moreira and Silva. The proof is based on thermodynamic formalism: following works of Mihailescu, Simon, Solomyak, and Urbański, we study families of skew-products and we give conditions under which these maps have limit sets of positive measure inside their fibers.

We consider the two-dimensional shrinking target problem in beta dynamical systems (for general $\beta>1$ ) with general errors of approximation. Let $f, g$ be two positive continuous functions. For any $x_0,y_0\in [0,1]$ , define the shrinking target set

$$ \begin{align*}E(T_\beta, f,g):=\left\{(x,y)\in [0,1]^2: \begin{array}{@{}ll@{}} \lvert T_{\beta}^{n}x-x_{0}\rvert <e^{-S_nf(x)}\\[1ex] \lvert T_{\beta}^{n}y-y_{0}\rvert < e^{-S_ng(y)} \end{array} \ {\text{for infinitely many}} \ n\in \mathbb N \right\}, \end{align*} $$

where $S_nf(x)=\sum _{j=0}^{n-1}f(T_\beta ^jx)$ is the Birkhoff sum. We calculate the Hausdorff dimension of this set and prove that it is the solution to some pressure function. This represents the first result of this kind for the higher-dimensional beta dynamical systems.

Motivated by fractal geometry of self-affine carpets and sponges, Feng and Huang [J. Math. Pures Appl. 106(9) (2016), 411–452] introduced weighted topological entropy and pressure for factor maps between dynamical systems, and proved variational principles for them. We introduce a new approach to this theory. Our new definitions of weighted topological entropy and pressure are very different from the original definitions of Feng and Huang. The equivalence of the two definitions seems highly non-trivial. Their equivalence can be seen as a generalization of the dimension formula for the Bedford–McMullen carpet in purely topological terms.

Let $m_1 \geq m_2 \geq 2$ be integers. We consider subsets of the product symbolic sequence space $(\{0,\ldots ,m_1-1\} \times \{0,\ldots ,m_2-1\})^{\mathbb {N}^*}$ that are invariant under the action of the semigroup of multiplicative integers. These sets are defined following Kenyon, Peres, and Solomyak and using a fixed integer $q \geq 2$ . We compute the Hausdorff and Minkowski dimensions of the projection of these sets onto an affine grid of the unit square. The proof of our Hausdorff dimension formula proceeds via a variational principle over some class of Borel probability measures on the studied sets. This extends well-known results on self-affine Sierpiński carpets. However, the combinatoric arguments we use in our proofs are more elaborate than in the self-similar case and involve a new parameter, namely $j = \lfloor \log _q ( {\log (m_1)}/{\log (m_2)} ) \rfloor $ . We then generalize our results to the same subsets defined in dimension $d \geq 2$ . There, the situation is even more delicate and our formulas involve a collection of $2d-3$ parameters.

This is the second part of our study on the dimension theory of $C^1$ iterated function systems (IFSs) and repellers on $\mathbb {R}^d$ . In the first part [D.-J. Feng and K. Simon. Dimension estimates for $C^1$ iterated function systems and repellers. Part I. Preprint, 2020, arXiv:2007.15320], we proved that the upper box-counting dimension of the attractor of every $C^1$ IFS on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of every ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Here we introduce a generalized transversality condition (GTC) for parameterized families of $C^1$ IFSs, and show that if the GTC is satisfied, then the dimensions of the IFS attractor and of the ergodic invariant measures are given by these upper bounds for almost every (in an appropriate sense) parameter. Moreover, we verify the GTC for some parameterized families of $C^1$ IFSs on ${\Bbb R}^d$ .

We show that fractal percolation sets in $\mathbb{R}^{d}$ almost surely intersect every hyperplane absolutely winning (HAW) set with full Hausdorff dimension. In particular, if $E\subset\mathbb{R}^{d}$ is a realisation of a fractal percolation process, then almost surely (conditioned on $E\neq\emptyset$), for every countable collection $\left(f_{i}\right)_{i\in\mathbb{N}}$ of $C^{1}$ diffeomorphisms of $\mathbb{R}^{d}$, $\dim_{H}\left(E\cap\left(\bigcap_{i\in\mathbb{N}}f_{i}\left(\text{BA}_{d}\right)\right)\right)=\dim_{H}\left(E\right)$, where $\text{BA}_{d}$ is the set of badly approximable vectors in $\mathbb{R}^{d}$. We show this by proving that E almost surely contains hyperplane diffuse subsets which are Ahlfors-regular with dimensions arbitrarily close to $\dim_{H}\left(E\right)$.

We achieve this by analysing Galton–Watson trees and showing that they almost surely contain appropriate subtrees whose projections to $\mathbb{R}^{d}$ yield the aforementioned subsets of E. This method allows us to obtain a more general result by projecting the Galton–Watson trees against any similarity IFS whose attractor is not contained in a single affine hyperplane. Thus our general result relates to a broader class of random fractals than fractal percolation.

In [4], Kifer, Peres and Weiss showed that the Bernoulli measures for the Gauss map T(x)=1/x mod 1 satisfy a ‘dimension gap’ meaning that for some c > 0, supp dim μp < 1– c, where μp denotes the (pushforward) Bernoulli measure for the countable probability vector p. In this paper we propose a new proof of the dimension gap. By using tools from thermodynamic formalism we show that the problem reduces to obtaining uniform lower bounds on the asymptotic variance of a class of potentials.