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 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.

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.

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 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.

This is a corrigendum to ‘An uncountable Furstenberg–Zimmer structure theory’ [Ergod. Th. & Dynam. Sys. 43(7) (2023), 2404–2436]. We report two issues in that paper. First, Lemma A.5 and Proposition A.6 in the Appendix, which supported a spectral analysis of conditional Hilbert–Schmidt operators, are incorrect. These results were used in the proof of Lemma 4.4, which establishes part of the equivalences in Theorem 4.1. We provide a correction for this issue here. While the proof strategy of Lemma 4.4 remains valid, the details have been revised using known auxiliary results in the non-commutative setting of tracial von Neumann algebras, replacing the faulty arguments from the Appendix. Second, the proof of the implication $\mathrm{(iii)} \Rightarrow \mathrm{(iii)}'$ in Lemma 4.10 is incorrect. We supply a new argument to address this. We also take this opportunity to correct several minor issues that have come to our attention since the paper’s publication. A fully revised version, including these corrections, as well as updated references and some fixed typos, is now available on arXiv.

We prove that in the space of $C^r$ maps $(r=2,\ldots ,\infty ,\omega )$ of a smooth manifold of dimension at least 4, there exist open regions where maps with infinitely many corank-2 homoclinic tangencies of all orders are dense. The result is applied to show the existence of maps with universal two-dimensional dynamics, that is, maps whose iterations approximate the dynamics of every map of a two-dimensional disk with an arbitrarily good accuracy. We show that maps with universal two-dimensional dynamics are $C^r$-generic in the regions under consideration.

Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. For a wide class of intrinsically ergodic subshifts over a finite alphabet, we show that the space of continuous functions on the shift space contains two disjoint subsets: one is a dense $G_\delta $ set for which all maximizing measures have ‘relatively small’ entropy; the other is the set of functions having uncountably many, fully supported ergodic maximizing measures with ‘relatively large’ entropy. This result generalizes and unifies the results of Morris [Discrete Contin. Dyn. Syst. 27 (2010), 383–388] and Shinoda [Nonlinearity 31 (2018), 2192–2200] on symbolic dynamics, and applies to a wide class of intrinsically ergodic non-Markov symbolic dynamics without the Bowen specification property, including any transitive piecewise monotonic interval map, some coded shifts, and multidimensional $\beta $-transformations. Along with these examples of application, we provide an example of an intrinsically ergodic subshift with positive obstruction entropy to specification.

We consider the Perron–Frobenius operator defined on the space of functions of bounded variation for the beta-map $\tau _\beta (x)=\beta x$ (mod $1$) for $\beta \in (1,\infty )$, and investigate its isolated eigenvalues except $1$, called non-leading eigenvalues in this paper. We show that the set of $\beta $ such that the corresponding Perron–Frobenius operator has at least one non-leading eigenvalue is open and dense in $(1,\infty )$. Furthermore, we establish the Hölder continuity of each non-leading eigenvalue as a function of $\beta $ and show in particular that it is continuous but non-differentiable, whose analogue was conjectured by Flatto, Lagarias and Poonen in [The zeta function of the beta transformation. Ergod. Th. & Dynam. Sys. 14 (1994), 237–266]. In addition, for an eigenfunctional of the Perron–Frobenius operator corresponding to an isolated eigenvalue, we give an explicit formula for the value of the functional applied to the indicator function of every interval. As its application, we provide three results related to non-leading eigenvalues, one of which states that an eigenfunctional corresponding to a non-leading eigenvalue cannot be expressed by any complex measure on the interval, which is in contrast to the case of the leading eigenvalue $1$.

Given a topologically transitive system on the unit interval, one can investigate the cover time, that is, the time for an orbit to reach a certain level of resolution in the repeller. We introduce a new notion of dimension, namely the stretched Minkowski dimension, and show that under mixing conditions, the asymptotics of typical cover times are determined by Minkowski dimensions when they are finite, or by stretched Minkowski dimensions otherwise. For application, we show that for countably full-branched affine maps, results using the usual Minkowski dimensions fail to give a finite limit of cover times, whilst the stretched version gives a finite limit. In addition, cover times for irrational rotations are calculated as counterexamples due to the absence of mixing.