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.

Given $\beta>1$, let $T_\beta $ be the $\beta $-transformation on the unit circle $[0,1)$, defined by $T_\beta (x)=\beta x-\lfloor \beta x\rfloor $. For each $t\in [0,1)$, let $K_\beta (t)$ be the survivor set consisting of all $x\in [0,1)$ whose orbit $\{T^n_\beta (x): n\ge 0\}$ never enters the interval $[0,t)$. Kalle et al [Ergod. Th. & Dynam. Sys. 40(9) (2020), 2482–2514] considered the case $\beta \in (1,2]$. They studied the set-valued bifurcation set $\mathscr {E}_\beta :=\{t\in [0,1): K_\beta (t')\ne K_\beta (t)~\text { for all } t'>t\}$ and proved that the Hausdorff dimension function $t\mapsto \dim _H K_\beta (t)$ is a non-increasing Devil’s staircase. In a previous paper [Ergod. Th. & Dynam. Sys. 43(6) (2023), 1785–1828], we determined, for all $\beta \in (1,2]$, the critical value $\tau (\beta ):=\min \{t>0: \eta _\beta (t)=0\}$. The purpose of the present article is to extend these results to all $\beta>1$. In addition to calculating $\tau (\beta )$, we show that: (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left-continuous on $(1,\infty )$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps; and (iii) there exists an open set $O\subset (1,\infty )$, whose complement $(1,\infty )\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, strictly convex, and strictly decreasing on each connected component of O. We also prove several topological properties of the bifurcation set $\mathscr {E}_\beta $. The key to extending the results from $\beta \in (1,2]$ to all $\beta>1$ is an appropriate generalization of the Farey words that are used to parameterize the connected components of the set O. Some of the original proofs from the above-mentioned papers are simplified.

In this paper we prove disintegration results for self-conformal measures and affinely irreducible self-similar measures. The measures appearing in the disintegration resemble self-conformal/self-similar measures for iterated function systems satisfying the strong separation condition. We use these disintegration statements to prove new results on the Diophantine properties of these measures.

We define a family of discontinuous maps on the circle, called Bowen–Series-like maps, for geometric presentations of surface groups. The family has $2N$ parameters, where $2N$ is the number of generators of the presentation. We prove that all maps in the family have the same topological entropy, which coincides with the volume entropy of the group presentation. This approach allows a simple algorithmic computation of the volume entropy from the presentation only, using the Milnor–Thurston theory for one-dimensional maps.

We prove the central limit theorem (CLT), the first-order Edgeworth expansion and a mixing local central limit theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise $C^2$ expanding maps of the interval. As a corollary, we obtain the corresponding results for Boolean-type transformations on $\mathbb {R}$. The class of observables in the CLT and the MLCLT on $\mathbb {R}$ include the real part, the imaginary part and the absolute value of the Riemann zeta function. Thus obtained CLT and MLCLT for the Riemann zeta function are in the spirit of the results of Lifschitz & Weber [Sampling the Lindelöf hypothesis with the Cauchy random walk. Proc. Lond. Math. Soc. (3) 98 (2009), 241–270] and Steuding [Sampling the Lindelöf hypothesis with an ergodic transformation. RIMS Kôkyûroku Bessatsu B34 (2012), 361–381] who have proven the strong law of large numbers for sampling the Lindelöf hypothesis.

We prove that when the Aubry set for a Lipschitz continuous potential is a subshift of finite type, then the pressure function converges exponentially fast to its asymptote as the temperature goes to 0. The speed of convergence turns out to be the unique eigenvalue for the matrix whose entries are the costs between the different irreducible pieces of the Aubry set. For a special case of Walters potential, we show that perturbations of that potential that go faster to zero than the pressure do not change the selection, neither for the subaction nor for the limit measure, a zero temperature.

We solve the dry ten Martini problem for the unitary almost-Mathieu operator with Diophantine frequencies in the non-critical regime.

Given two rational maps $f,g: \mathbb {P}^1 \to \mathbb {P}^1$ of degree d over $\mathbb {C}$, DeMarco, Krieger, and Ye [Common preperiodic points for quadratic polynomials. J. Mod. Dyn. 18 (2022), 363–413] have conjectured that there should be a uniform bound $B = B(d)> 0$ such that either they have at most B common preperiodic points or they have the same set of preperiodic points. We study their conjecture from a statistical perspective and prove that the average number of shared preperiodic points is zero for monic polynomials of degree $d \geq 6$ with rational coefficients. We also investigate the quantity $\liminf _{x \in \overline {\mathbb {Q}}} (\widehat {h}_f(x) + \widehat {h}_g(x) )$ for a generic pair of polynomials and prove both lower and upper bounds for it.

Approximate lattices of Euclidean spaces, also known as Meyer sets, are aperiodic subsets with fascinating properties. In general, approximate lattices are defined as approximate subgroups of locally compact groups that are discrete and have finite co-volume. A theorem of Lagarias [Meyer’s concept of quasicrystal and quasiregular sets. Comm. Math. Phys. 179(2) (1996), 365–376] provides a criterion for discrete subsets of Euclidean spaces to be approximate lattices. It asserts that if a subset X of $\mathbb {R}^n$ is relatively dense and $X - X$ is uniformly discrete, then X is an approximate lattice. We prove two generalizations of Lagarias’ theorem: when the ambient group is amenable and when it is a higher-rank simple algebraic group over a characteristic $0$ local field. This is a natural counterpart to the recent structure results for approximate lattices in non-commutative locally compact groups. We also provide a reformulation in dynamical terms pertaining to return times of cross-sections. Our method relies on counting arguments involving the so-called periodization maps, ergodic theorems and a method of Tao regarding small doubling for finite subsets. In the case of simple algebraic groups over local fields, we moreover make use of deep superrigidity results due to Margulis and to Zimmer.

Our goal is to show that both the fast and slow versions of the triangle map (a type of multi-dimensional continued fraction algorithm) in dimension n are ergodic, resolving a conjecture of Messaoudi, Noguiera, and Schweiger [Ergodic properties of triangle partitions. Monatsh. Math. 157 (2009), 283–299]. This particular type of higher dimensional multi-dimensional continued fraction algorithm has recently been linked to the study of partition numbers, with the result that the underlying dynamics has combinatorial implications.

Given any strong orbit equivalence class of minimal Cantor systems and any cardinal number that is finite, countable, or the continuum, we show that there exists a minimal subshift within the class whose number of asymptotic components is exactly the given cardinal. For finite or countable ones, we explicitly construct such examples using $\mathcal {S}$-adic subshifts. We obtain the uncountable case by showing that any topological dynamical system with at most countably many asymptotic components has zero topological entropy. We also construct systems that have arbitrarily high subexponential word complexity, but only one asymptotic component. We deduce that within any strong orbit equivalence class, there exists a minimal subshift whose automorphism group is isomorphic to $\mathbb {Z}$.

In this paper, we consider a class of affine Anosov mappings with a quasi-periodic forcing and show that there is a unique positive integer m, which only depends on the system, such that the exponential growth rate of the number of invariant tori of degree m is equal to the topological entropy.

Polynomial Julia sets with tree structure, typically Hubbard trees, play an important role in holomorphic dynamics. In this paper, we study the dynamics of ${f_\alpha (z)=z^2+\alpha \bar {z}}$ for $\alpha $ being real and the Julia sets being trees. We show that all such $\alpha $ form an interval $[1,4]$. This answers a question of G. Sienra. We further show that $f_\alpha $ exhibits non-trivial dynamics on the Fatou set which equals to the escaping set.

We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension k (i.e. a fixed point of multiplicity $k+1$) under conjugacy. Such generic unfoldings depend real analytically on k real parameters. A preparation of the unfolding allows to identify real analytic canonical parameters, which are preserved by any conjugacy between two prepared generic unfoldings. A modulus of analytic classification is defined, which is an unfolding of the modulus assigned to the antiholomorphic parabolic point. Since the second iterate of such a germ is a real unfolding of a holomorphic parabolic point, the modulus is a special form of an unfolding of the Écalle–Voronin modulus of the second iterate of the antiholomorphic parabolic germ. We also solve the problem of the existence of an antiholomorphic square root to a germ of a generic analytic unfolding of a holomorphic parabolic germ.

We prove that among the set of pairs ($C^2$-diffeomorphism, $C^1$-potential), there exists a $C^1$-open and dense subset such that either the Lagrange spectrum is finite and the dynamics is a Morse–Smale diffeomorphism or the Lagrange spectrum has positive Hausdorff dimension and the system has positive topological entropy. We also prove that such dichotomy does not hold for typical systems when replacing the Lagrange by the Markov spectrum.

We strengthen the maximal ergodic theorem for actions of groups of polynomial growth to a form involving jump quantity, which is the sharpest result among the family of variational or maximal ergodic theorems. As two applications, we first obtain the upcrossing inequalities with exponential decay of ergodic averages and then provide an explicit bound on the convergence rate such that the ergodic averages with strongly continuous regular group actions are metastable (or locally stable) on a large interval. Before exploiting the transference techniques, we actually obtain a stronger result—the jump estimates on a metric space with a measure not necessarily doubling. The ideas or techniques involve martingale theory, non-doubling Calderón–Zygmund theory, almost orthogonality argument, and some delicate geometric argument involving the balls and the cubes on a group equipped with a not necessarily doubling measure.

In this paper, we introduce a new technique to study the distribution in residue classes of sets of integers with digit and sum-of-digits restrictions. From our main theorem, we derive a necessary and sufficient condition for integers with missing digits to be uniformly distributed in arithmetic progressions, extending previous results going back to the work of Erdős, Mauduit and Sárközy. Our approach uses Markov chains and does not rely on Fourier analysis as many results of this nature do. Our results apply more generally to the class of multiplicatively invariant sets of integers. This class, defined by Glasscock, Moreira and Richter using symbolic dynamics, is an integer analogue to fractal sets and includes all missing digits sets. We address uniform distribution in this setting, partially answering an open question posed by the same authors.

Piecewise contractions (PCs) are piecewise smooth maps that decrease the distance between pairs of points in the same domain of continuity. The dynamics of a variety of systems is described by PCs. During the last decade, much effort has been devoted to proving that in parameterized families of one-dimensional PCs, the $\omega $-limit set of a typical PC consists of finitely many periodic orbits while there exist atypical PCs with Cantor $\omega $-limit sets. In this article, we extend these results to the multi-dimensional case. More precisely, we provide criteria to show that an arbitrary family $\{f_{\mu }\}_{\mu \in U}$ of locally bi-Lipschitz piecewise contractions $f_\mu :X\to X$ defined on a compact metric space X is asymptotically periodic for Lebesgue almost every parameter $\mu $ running over an open subset U of the M-dimensional Euclidean space $\mathbb {R}^M$. As a corollary of our results, we prove that piecewise affine contractions of $\mathbb {R}^d$ defined in generic polyhedral partitions are asymptotically periodic.

For full shifts on finite alphabets, Coelho and Quas [Criteria for $\overline {d}$-continuity. Trans. Amer. Math. Soc. 350(8) (1998), 3257–3268] showed that the map that sends a Hölder continuous potential $\phi $ to its equilibrium state $\mu _\phi $ is $\overline {d}$-continuous. We extend this result to the setting of full shifts on countable (infinite) alphabets. As part of the proof, we show that the map that sends a strongly positive recurrent potential to its normalization is continuous for potentials on mixing countable state Markov shifts.

In this work, we introduce the type and typeset invariants for equicontinuous group actions on Cantor sets; that is, for generalized odometers. These invariants are collections of equivalence classes of asymptotic Steinitz numbers associated to the action. We show the type is an invariant of the return equivalence class of the action. We introduce the notion of commensurable typesets and show that two actions which are return equivalent have commensurable typesets. Examples are given to illustrate the properties of the type and typeset invariants. The type and typeset invariants are used to define homeomorphism invariants for solenoidal manifolds.