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.

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.

We show that on a $\sigma $-finite measure-preserving system $X = (X,\nu , T)$, the non-conventional ergodic averages

$$ \begin{align*} \mathbb{E}_{n \in [N]} \Lambda(n) f(T^n x) g(T^{P(n)} x) \end{align*} $$

$f \in L^{p_1}(X)$

$g \in L^{p_2}(X)$

$1/p_1 + 1/p_2 \leq 1$

$2$

$\Lambda $

$1$

$\mu $

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 consider local escape rates and hitting time statistics for unimodal interval maps of Misiurewicz–Thurston type. We prove that for any point z in the interval, there is a local escape rate and hitting time statistics that is one of three types. While it is key that we cover all points z, the particular interest here is when z is periodic and in the postcritical orbit that yields the third part of the trichotomy. We also prove generalized asymptotic escape rates of the form first shown by Bruin, Demers and Todd.

Using bi-contact geometry, we define a new type of Dehn surgery on an Anosov flow with orientable weak invariant foliations. The Anosovity of the new flow is strictly connected to contact geometry and the Reeb dynamics of the defining bi-contact structure. This approach gives new insights into the properties of the flows produced by Goodman surgery and clarifies under which conditions Goodman’s construction yields an Anosov flow. Our main application gives a necessary and sufficient condition to generate a contact Anosov flow by Foulon–Hasselblatt Legendrian surgery on a geodesic flow. In particular, we show that this is possible if and only if the surgery is performed along a simple closed geodesic. As a corollary, we have that any positive skewed $\mathbb {R}$-covered Anosov flow obtained by a single surgery on a closed orbit of a geodesic flow is orbit equivalent to a positive contact Anosov flow.

We extend a result of Lopes and Thieullen [Sub-actions for Anosov flows. Ergod. Th. & Dynam. Sys. 25(2) (2005), 605–628] on sub-actions for smooth Anosov flows to the setting of geodesic flow on locally CAT($-1$) spaces. This allows us to use arguments originally due to Croke and Dairbekov to prove a volume rigidity theorem for some interesting locally CAT($-1$) spaces, including quotients of Fuchsian buildings and surface amalgams.

We solve generalizations of Hubbard’s twisted rabbit problem for analogs of the rabbit polynomial of degree $d\geq 2$. The twisted rabbit problem asks: when a certain quadratic polynomial, called the Douady rabbit polynomial, is twisted by a cyclic subgroup of a mapping class group, to which polynomial is the resulting map equivalent (as a function of the power of the generator)? The solution to the original quadratic twisted rabbit problem, given by Bartholdi and Nekrashevych, depended on the 4-adic expansion of the power of the mapping class by which we twist. In this paper, we provide a solution to a degree-d generalization that depends on the $d^2$-adic expansion of the power of the mapping class element by which we twist.

Recently, the Kac formula for the conditional expectation of the first recurrence time of a conditionally ergodic conditional expectation preserving system was established in the measure-free setting of vector lattices (Riesz spaces). We now give a formulation of the Kakutani–Rokhlin decomposition for conditionally ergodic systems in terms of components of weak order units in a vector lattice. In addition, we prove that every aperiodic conditional expectation preserving system can be approximated by a periodic system.

We establish some interactions between uniformly recurrent subgroups (URSs) of a group G and cosets topologies $\tau _{\mathcal {N}}$ on G associated to a family $\mathcal {N}$ of normal subgroups of G. We show that when $\mathcal {N}$ consists of finite index subgroups of G, there is a natural closure operation $\mathcal {H} \mapsto \mathrm {cl}_{\mathcal {N}}(\mathcal {H})$ that associates to a URS $\mathcal {H}$ another URS $\mathrm {cl}_{\mathcal {N}}(\mathcal {H})$, called the $\tau _{\mathcal {N}}$-closure of $\mathcal {H}$. We give a characterization of the URSs $\mathcal {H}$ that are $\tau _{\mathcal {N}}$-closed in terms of stabilizer URSs. This has consequences on arbitrary URSs when G belongs to the class of groups for which every faithful minimal profinite action is topologically free. We also consider the largest amenable URS $\mathcal {A}_G$ and prove that for certain coset topologies on G, almost all subgroups $H \in \mathcal {A}_G$ have the same closure. For groups in which amenability is detected by a set of laws (a property that is variant of the Tits alternative), we deduce a criterion for $\mathcal {A}_G$ to be a singleton based on residual properties of G.

We consider one-parameter families of smooth circle cocycles over an ergodic transformation in the base, and show that their rotation numbers must be log-Hölder regular with respect to the parameter. As an immediate application, we get a dynamical proof of the one-dimensional version of the Craig–Simon theorem that establishes that the integrated density of states of an ergodic Schrödinger operator must be log-Hölder.

We show that $\alpha $-stable Lévy motions can be simulated by any ergodic and aperiodic probability-preserving transformation. Namely we show that: for $0<\alpha <1$ and every $\alpha $-stable Lévy motion ${\mathbb {W}}$, there exists a function f whose partial sum process converges in distribution to ${\mathbb {W}}$; for $1\leq \alpha <2$ and every symmetric $\alpha $-stable Lévy motion, there exists a function f whose partial sum process converges in distribution to ${\mathbb {W}}$; for $1< \alpha <2$ and every $-1\leq \beta \leq 1$ there exists a function f whose associated time series is in the classical domain of attraction of an $S_\alpha (\ln (2), \beta ,0)$ random variable.

Let M be a smooth closed oriented surface. Gaussian thermostats on M correspond to the geodesic flows arising from metric connections, including those with non-zero torsion. These flows may not preserve any absolutely continuous measure. We prove that if two Gaussian thermostats on M with negative thermostat curvature are related by a smooth orbit equivalence isotopic to the identity, then the two background metrics are conformally equivalent via a smooth diffeomorphism of M isotopic to the identity. We also give a relationship between the thermostat forms themselves. Finally, we prove the same result for Anosov magnetic flows.

We prove a two-dimensional analog of the Leau–Fatou flower theorem for non-degenerate reduced biholomorphisms tangent to the identity.

Given a countable group G and two subshifts X and Y over G, a continuous, shift-commuting map $\phi : X \to Y$ is called a homomorphism. Our main result states that if G is locally virtually nilpotent, X is aperiodic, and Y has the finite extension property, then there exists a homomorphism $\phi : X \to Y$. By combining this theorem with the main result of [1], we obtain that if the same conditions hold, and if additionally the topological entropy of X is less than the topological entropy of Y and Y has no global period, then X embeds into Y.

An area-preserving homeomorphism isotopic to the identity is said to have rational rotation direction if its rotation vector is a real multiple of a rational class. We give a short proof that any area-preserving homeomorphism of a compact surface of genus at least two, which is isotopic to the identity and has rational rotation direction, is either the identity or has periodic points of unbounded minimal period. This answers a question of Ginzburg and Seyfaddini and can be regarded as a Conley conjecture-type result for symplectic homeomorphisms of surfaces beyond the Hamiltonian case. We also discuss several variations, such as maps preserving arbitrary Borel probability measures with full support, maps that are not isotopic to the identity and maps on lower genus surfaces. The proofs of the main results combine topological arguments with periodic Floer homology.

Consider, for any integer $n\ge 3$, the set $\operatorname {\mathrm {Pos}}_n$ of all n-periodic tree patterns with positive topological entropy and the set $\operatorname {\mathrm {Irr}}_n\subset \operatorname {\mathrm {Pos}}_n$ of all n-periodic irreducible tree patterns. The aim of this paper is to determine the elements of minimum entropy in the families $\operatorname {\mathrm {Pos}}_n$, $\operatorname {\mathrm {Irr}}_n$ and $\operatorname {\mathrm {Pos}}_n\setminus \operatorname {\mathrm {Irr}}_n$. Let $\unicode{x3bb} _n$ be the unique real root of the polynomial $x^n-2x-1$ in $(1,+\infty )$. We explicitly construct an irreducible n-periodic tree pattern $\mathcal {Q}_n$ whose entropy is $\log (\unicode{x3bb} _n)$. We prove that this entropy is minimum in $\operatorname {\mathrm {Pos}}_n$. Since the pattern $\mathcal {Q}_n$ is irreducible, $\mathcal {Q}_n$ also minimizes the entropy in the family $\operatorname {\mathrm {Irr}}_n$. We also prove that the minimum positive entropy in the set $\operatorname {\mathrm {Pos}}_n\setminus \operatorname {\mathrm {Irr}}_n$ (which is non-empty only for composite integers $n\ge 6$) is $\log (\unicode{x3bb} _{n/p})/p$, where p is the least prime factor of n.

We obtain asymptotics for the average value taken by a Vassiliev invariant on knots appearing as periodic orbits of an Axiom A flow on $S^3.$ The methods used also give asymptotics for the writhe of periodic orbits. Our results are analogous to those of G. Contreras [Average linking numbers of closed orbits of hyperbolic flows. J. Lond. Math. Soc. (2) 51 (1995), 614–624] for average linking numbers.

We study the computational problem of rigorously describing the asymptotic behavior of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit, both as a spatial object (attractor set) and as a statistical distribution (physical measure), and we prove upper bounds on the computational resources of computing descriptions of these objects with arbitrary accuracy. We also study how these bounds are affected by different dynamical constraints and provide several examples showing that our bounds are sharp in general. In particular, we exhibit a computable interval map having a unique transitive attractor with Cantor set structure supporting a unique physical measure such that both the attractor and the measure are non-computable.

In her thesis, Mirzakhani showed that the number of simple closed geodesics of length $\leq L$ on a closed, connected, oriented hyperbolic surface X of genus g is asymptotic to $L^{6g-6}$ times a constant depending on the geometry of X. In this survey, we give a detailed account of Mirzakhani’s proof of this result aimed at non-experts. We draw inspiration from classic primitive lattice point counting results in homogeneous dynamics. The focus is on understanding how the general principles that drive the proof in the case of lattices also apply in the setting of hyperbolic surfaces.