Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centralizer and normalizer of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralizers, but large normalizers. In particular, we discuss several systems where the normalizer is an infinite extension of the centralizer, including the visible lattice points and the k-free integers in some real quadratic number fields.

We show that if a partially hyperbolic diffeomorphism of a Seifert manifold induces a map in the base which has a pseudo-Anosov component then it cannot be dynamically coherent. This extends [C. Bonatti, A. Gogolev, A. Hammerlindl and R. Potrie. Anomalous partially hyperbolic diffeomorphisms III: Abundance and incoherence. Geom. Topol., to appear] to the whole isotopy class. We relate the techniques to the study of certain partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds performed in [T. Barthelmé, S. Fenley, S. Frankel and R. Potrie. Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, part I: The dynamically coherent case. Preprint, 2019, arXiv:1908.06227; Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, part II: Branching foliations. Preprint, 2020, arXiv: 2008.04871]. The appendix reviews some consequences of the Nielsen–Thurston classification of surface homeomorphisms for the dynamics of lifts of such maps to the universal cover.

The papers [O. M. Sarig. Symbolic dynamics for surface diffeomorphisms with positive entropy. J. Amer. Math. Soc.26(2) (2013), 341–426] and [S. Ben Ovadia. Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds. J. Mod. Dyn.13 (2018), 43–113] constructed symbolic dynamics for the restriction of $C^r$ diffeomorphisms to a set $M'$ with full measure for all sufficiently hyperbolic ergodic invariant probability measures, but the set $M'$ was not identified there. We improve the construction in a way that enables $M'$ to be identified explicitly. One application is the coding of infinite conservative measures on the homoclinic classes of Rodriguez-Hertz et al. [Uniqueness of SRB measures for transitive diffeomorphisms on surfaces. Comm. Math. Phys.306(1) (2011), 35–49].

We consider a locally path-connected compact metric space K with finite first Betti number $\textrm {b}_1(K)$ and a flow $(K, G)$ on K such that G is abelian and all G-invariant functions $f\,{\in}\, \textrm{C}(K)$ are constant. We prove that every equicontinuous factor of the flow $(K, G)$ is isomorphic to a flow on a compact abelian Lie group of dimension less than ${\textrm {b}_1(K)}/{\textrm {b}_0(K)}$ . For this purpose, we use and provide a new proof for Theorem 2.12 of Hauser and Jäger [Monotonicity of maximal equicontinuous factors and an application to toral flows. Proc. Amer. Math. Soc.147 (2019), 4539–4554], which states that for a flow on a locally connected compact space the quotient map onto the maximal equicontinuous factor is monotone, i.e., has connected fibers. Our alternative proof is a simple consequence of a new characterization of the monotonicity of a quotient map $p\colon K\to L$ between locally connected compact spaces K and L that we obtain by characterizing the local connectedness of K in terms of the Banach lattice $\textrm {C}(K)$ .

We study the $L^{q}$ -spectrum of measures in the plane generated by certain nonlinear maps. In particular, we consider attractors of iterated function systems consisting of maps whose components are $C^{1+\alpha }$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^{q}$ -spectrum of Bernoulli measures supported on such sets by using an appropriately defined analogue of the singular value function and an appropriate pressure function.

A diffeomorphism of the plane is Anosov if it has a hyperbolic splitting at every point of the plane. In addition to linear hyperbolic automorphisms, translations of the plane also carry an Anosov structure (the existence of Anosov structures for plane translations was originally shown by White). Mendes conjectured that these are the only topological conjugacy classes for Anosov diffeomorphisms in the plane. Very recently, Matsumoto gave an example of an Anosov diffeomorphism of the plane, which is a Brouwer translation but not topologically conjugate to a translation, disproving Mendes’ conjecture. In this paper we prove that Mendes’ claim holds when the Anosov diffeomorphism is the time-one map of a flow, via a theorem about foliations invariant under a time-one map. In particular, this shows that the kind of counterexample constructed by Matsumoto cannot be obtained from a flow on the plane.

We investigate parallel Lagrangian foliations on Kähler manifolds. On the one hand, we show that a Kähler metric admitting a parallel Lagrangian foliation must be flat. On the other hand, we give many examples of parallel Lagrangian foliations on closed flat Kähler manifolds which are not tori. These examples arise from Anosov automorphisms preserving a Kähler form.

Unstable pressure and u-equilibrium states are introduced and investigated for a partially hyperbolic diffeomorphism f. We define the unstable pressure $P^{u}(f, \varphi )$ of f at a continuous function $\varphi $ via the dynamics of f on local unstable leaves. A variational principle for unstable pressure $P^{u}(f, \varphi )$ , which states that $P^{u}(f, \varphi )$ is the supremum of the sum of the unstable entropy and the integral of $\varphi $ taken over all invariant measures, is obtained. U-equilibrium states at which the supremum in the variational principle attains and their relation to Gibbs u-states are studied. Differentiability properties of unstable pressure, such as tangent functionals, Gateaux differentiability and Fréchet differentiability and their relations to u-equilibrium states, are also considered.

We obtain estimates on the uniform convergence rate of the Birkhoff average of a continuous observable over torus translations and affine skew product toral transformations. The convergence rate depends explicitly on the modulus of continuity of the observable and on the arithmetic properties of the frequency defining the transformation. Furthermore, we show that for the one-dimensional torus translation, these estimates are nearly optimal.

A theorem of Brudno says that the Kolmogorov–Sinai entropy of an ergodic subshift over $\mathbb {N}$ equals the asymptotic Kolmogorov complexity of almost every word in the subshift. The purpose of this paper is to extend this result to subshifts over computable groups that admit computable regular symmetric Følner monotilings, which we introduce in this work. For every $d \in \mathbb {N}$ , the groups $\mathbb {Z}^d$ and $\mathsf{UT}_{d+1}(\mathbb {Z})$ admit computable regular symmetric Følner monotilings for which the required computing algorithms are provided.

A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb {R}^{d}$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor, which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the linear parts of the affinities share a common invariant subspace, or more generally if they preserve a finite union of proper subspaces of $\mathbb {R}^{d}$ . In this paper we give an example where multiple invariant measures of maximal dimension exist even though the linear parts of the affinities do not preserve a finite union of proper subspaces.

A measure on a locally compact group is said to be spread out if one of its convolution powers is not singular with respect to Haar measure. Using Markov chain theory, we conduct a detailed analysis of random walks on homogeneous spaces with spread out increment distribution. For finite volume spaces, we arrive at a complete picture of the asymptotics of the n-step distributions: they equidistribute towards Haar measure, often exponentially fast and locally uniformly in the starting position. In addition, many classical limit theorems are shown to hold. In the infinite volume case, we prove recurrence and a ratio limit theorem for symmetric spread out random walks on homogeneous spaces of at most quadratic growth. This settles one direction in a long-standing conjecture.

We show that for every non-elementary hyperbolic group the Bowen–Margulis current associated with a strongly hyperbolic metric forms a unique group-invariant Radon measure class of maximal Hausdorff dimension on the boundary square. Applications include a characterization of roughly similar hyperbolic metrics via mean distortion.