We compute explicitly the density of the invariant measure for the reverse algorithm which is absolutely continuous with respect to Lebesgue measure, using a method proposed by Arnoux and Nogueira. We also apply the same method on the unsorted version of the Brun algorithm and Cassaigne algorithm. We illustrate some experimentations on the domain of the natural extension of those algorithms. For some other algorithms, which are known to have a unique invariant measure absolutely continuous with respect to Lebesgue measure, the invariant domain found by this method seems to have a fractal boundary, and it is unclear whether it is of positive measure.

We consider several weaker versions of the notion of conjugacy and orbit equivalence of measure preserving actions of countable groups on probability spaces, involving equivalence of the ultrapower actions and asymptotic intertwining conditions. We compare them with the other existing equivalence relations between group actions, and study the usual type of rigidity questions around these new concepts (superrigidity, calculation of invariants, etc).

Let $f:M\rightarrow M$ be a $C^{1}$ self-map of a smooth Riemannian manifold $M$ and $\unicode[STIX]{x1D707}$ be an $f$-invariant ergodic Borel probability measure with a compact support $\unicode[STIX]{x1D6EC}$. We prove that if $f$ is Hölder mild on the intersection of the singularity set and $\unicode[STIX]{x1D6EC}$, then the pointwise dimension of $\unicode[STIX]{x1D707}$ can be controlled by the Lyapunov exponents of $\unicode[STIX]{x1D707}$ with respect to $f$ and the entropy of $f$. Moreover, we establish the distinction of the Hausdorff dimension of the critical points sets of maps between the $C^{1,\unicode[STIX]{x1D6FC}}$ continuity and Hölder mildness conditions. Consequently, this shows that the Hölder mildness condition is much weaker than the $C^{1,\unicode[STIX]{x1D6FC}}$ continuity condition. As applications of our result, if we study the recurrence rate of $f$ instead of the pointwise dimension of $\unicode[STIX]{x1D707}$, then we deduce that the analogous relation exists between recurrence rate, entropy and Lyapunov exponents.

We prove transitivity for volume-preserving $C^{1+}$ diffeomorphisms on $\mathbb{T}^{3}$ which are isotopic to a linear Anosov automorphism along a path of weakly partially hyperbolic diffeomorphisms.

We characterize when there exists a diagonal-preserving $\ast$-isomorphism between two graph $C^{\ast }$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of ‘orbit equivalence’ between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal-preserving $\ast$-isomorphism between the graph $C^{\ast }$-algebras $C^{\ast }(E)$ and $C^{\ast }(F)$.

We discuss how one uses the thermodynamic formalism to produce metrics on higher Teichmüller spaces. Our higher Teichmüller spaces will be spaces of Anosov representations of a word-hyperbolic group into a semi-simple Lie group. We begin by discussing our construction in the classical setting of the Teichmüller space of a closed orientable surface of genus at least 2, then we explain the construction for Hitchin components and finally we treat the general case. This paper surveys results of Bridgeman, Canary, Labourie and Sambarino, The pressure metric for Anosov representations, and discusses questions and open problems which arise.

Partial hyperbolicity appeared in the 1960s as a natural generalization of hyperbolicity. In the last 20 years, there has been great activity in this area. Here we survey the state of the art in some related topics, focusing especially on partial hyperbolicity in dimension three. The reason for this is not only that it is the smallest dimension in which non-degenerate partial hyperbolicity can occur, but also that the topology of $3$-manifolds influences the dynamics in revealing ways.

This paper surveys recent results on classifying partially hyperbolic diffeomorphisms. This includes the construction of branching foliations and leaf conjugacies on three-dimensional manifolds with solvable fundamental group. Classification results in higher-dimensional settings are also discussed. The paper concludes with an overview of the construction of new partially hyperbolic examples derived from Anosov flows.

We prove that if the Lyapunov spectrum of the Kontsevich–Zorich cocycle over an affine $\text{SL}_{2}(\mathbb{R})$-invariant submanifold is completely degenerate, i.e. if $\unicode[STIX]{x1D706}_{2}=\cdots =\unicode[STIX]{x1D706}_{g}=0$, then the submanifold must be an arithmetic Teichmüller curve in the moduli space of Abelian differentials over surfaces of genus three, four, or five. As a corollary, we prove that there is at most a finite number of such Teichmüller curves.

In this work, we study the class of mostly expanding partially hyperbolic diffeomorphisms. We prove that such a class is $C^{r}$-open, $r>1$, among the partially hyperbolic diffeomorphisms and we prove that the mostly expanding condition guarantees the existence of physical measures and provides more information about the statistics of the system. Mañé’s classical derived-from-Anosov diffeomorphism on $\mathbb{T}^{3}$ belongs to this set.

In this paper we develop a notion of Gibbs measure for the geodesic flow tangent to a foliated bundle over a compact negatively curved base. We also develop a notion of $F$-harmonic measure and prove that there exists a natural bijective correspondence between these two concepts. For projective foliated bundles with $\mathbb{C}\mathbb{P}^{1}$-fibers without transverse invariant measure, we show the uniqueness of these measures for any Hölder potential on the base. In that case we also prove that $F$-harmonic measures are realized as weighted limits of large balls tangent to the leaves and that their conditional measures on the fibers are limits of weighted averages on the orbits of the holonomy group.

We prove the Pisot conjecture for $\unicode[STIX]{x1D6FD}$-substitutions: if $\unicode[STIX]{x1D6FD}$ is a Pisot number, then the tiling dynamical system $(\unicode[STIX]{x1D6FA}_{\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FD}}},\mathbb{R})$ associated with the $\unicode[STIX]{x1D6FD}$-substitution has pure discrete spectrum. As corollaries: (1) arithmetical coding of the hyperbolic solenoidal automorphism associated with the companion matrix of the minimal polynomial of any Pisot number is almost everywhere one-to-one; and (2) all Pisot numbers are weakly finitary.

Let $\unicode[STIX]{x1D6FD}\in (1,2)$ be a real number. For a function $\unicode[STIX]{x1D6F9}:\mathbb{N}\rightarrow \mathbb{R}_{\geq 0}$, define $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ to be the set of $x\in \mathbb{R}$ such that for infinitely many $n\in \mathbb{N},$ there exists a sequence $(\unicode[STIX]{x1D716}_{i})_{i=1}^{n}\in \{0,1\}^{n}$ satisfying $0\leq x-\sum _{i=1}^{n}(\unicode[STIX]{x1D716}_{i}/\unicode[STIX]{x1D6FD}^{i})\leq \unicode[STIX]{x1D6F9}(n)$. In Baker [Approximation properties of $\unicode[STIX]{x1D6FD}$-expansions. Acta Arith. 168 (2015), 269–287], the author conjectured that for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1,2)$, the condition $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)=\infty$ implies that $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. In this paper we make a significant step towards proving this conjecture. We prove that given a sequence of positive real numbers $(\unicode[STIX]{x1D714}_{n})_{n=1}^{\infty }$ satisfying $\lim _{n\rightarrow \infty }\unicode[STIX]{x1D714}_{n}=\infty$, for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1.497,\ldots ,2)$, the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D714}_{n}\cdot 2^{-n})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. We also study the case where $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)<\infty$ in which the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ has Lebesgue measure zero. Applying the mass transference principle developed by Beresnevich and Velani in [A mass transference principle and the Duffin–Schaeffer conjecture for Hausdorff measures. Ann. of Math. (2) 164(3) (2006), 971–992], we obtain some results on the Hausdorff dimension and the Hausdorff measure of $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$.

We investigate the $K$-theory of unital UCT Kirchberg algebras ${\mathcal{Q}}_{S}$ arising from families $S$ of relatively prime numbers. It is shown that $K_{\ast }({\mathcal{Q}}_{S})$ is the direct sum of a free abelian group and a torsion group, each of which is realized by another distinct $C^{\ast }$-algebra naturally associated to $S$. The $C^{\ast }$-algebra representing the torsion part is identified with a natural subalgebra ${\mathcal{A}}_{S}$ of ${\mathcal{Q}}_{S}$. For the $K$-theory of ${\mathcal{Q}}_{S}$, the cardinality of $S$ determines the free part and is also relevant for the torsion part, for which the greatest common divisor $g_{S}$ of $\{p-1:p\in S\}$ plays a central role as well. In the case where $|S|\leq 2$ or $g_{S}=1$ we obtain a complete classification for ${\mathcal{Q}}_{S}$. Our results support the conjecture that ${\mathcal{A}}_{S}$ coincides with $\otimes _{p\in S}{\mathcal{O}}_{p}$. This would lead to a complete classification of ${\mathcal{Q}}_{S}$, and is related to a conjecture about $k$-graphs.

In this paper we consider expansive homeomorphisms of compact spaces with a hyperbolic metric presenting a self-similar behavior on stable and unstable sets. Several applications are given related to Hausdorff dimension, entropy, intrinsically ergodic measures and the transitivity of expansive homeomorphisms with canonical coordinates.

We study the dependence of the topological entropy of piecewise monotonic maps with holes under perturbations, for example sliding a hole of fixed size at uniform speed or expanding a hole at a uniform rate. We show that under suitable conditions the topological entropy varies locally Hölder continuously with the local Hölder exponent depending itself on the value of the topological entropy.

We study polygonal billiards with reflection laws contracting the angle of reflection towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic Sinai–Ruelle–Bowen measures whose basins cover a set of full Lebesgue measure.

Consider a measured equivalence relation acting on a bundle of hyperbolic metric spaces by isometries. We prove that every aperiodic hyperfinite subequivalence relation is contained in a unique maximal hyperfinite subequivalence relation. We classify elements of the full group according to their action on fields on boundary measures (extending earlier results of Kaimanovich [Boundary amenability of hyperbolic spaces. Discrete Geometric Analysis(Contemporary Mathematics, 347). American Mathematical Society, Providence, RI, 2004, pp. 83–111]), study the existence and residuality of different types of elements and obtain an analog of Tits’ alternative.

We study the zero-temperature limit of the Gibbs measures of a class of long-range potentials on a full shift of two symbols $\{0,1\}$ . These potentials were introduced by Walters as a natural space for the transfer operator. In our case, they are constant on a countable infinity of cylinders and are Lipschitz continuous or, more generally, of summable variation. We assume that there exist exactly two ground states: the fixed points $0^{\infty }$ and $1^{\infty }$ . We fully characterize, in terms of the Peierls barrier between the two ground states, the zero-temperature phase diagram of such potentials, that is, the regions of convergence or divergence of the Gibbs measures as the temperature goes to zero.

In this paper we develop a generalization of foliated manifolds in the context of metric spaces. In particular we study dendritations of surfaces that are defined as maximal atlases of compatible upper semicontinuous local decompositions into dendrites. Applications are given in modeling stable and unstable sets of topological dynamical systems. For this purpose new forms of expansivity are defined.