In this article, we continue the structural study of factor maps between symbolic dynamical systems and the relative thermodynamic formalism. Here, one is studying a factor map from a shift of finite type X (equipped with a potential function) to a sofic shift Z, equipped with a shift-invariant measure $\nu $ . We study relative equilibrium states, that is, shift-invariant measures on X that push forward under the factor map to $\nu $ which maximize the relative pressure: the relative entropy plus the integral of $\phi $ . In this paper, we establish a new connection to multiplicative ergodic theory by relating these factor triples to a cocycle of Ruelle–Perron–Frobenius operators, and showing that the principal Lyapunov exponent of this cocycle is the relative pressure; and the dimension of the leading Oseledets space is equal to the number of measures of relative maximal entropy, counted with a previously identified concept of multiplicity.

We investigate several questions related to the notion of recognizable morphism. The main result is a new proof of Mossé’s theorem and actually of a generalization to a more general class of morphisms due to Berthé et al [Recognizability for sequences of morphisms. Ergod. Th. & Dynam. Sys. 39(11) (2019), 2896–2931]. We actually prove the result of Berthé et al for the most general class of morphisms, including ones with erasable letters. Our result is derived from a result concerning elementary morphisms for which we also provide a new proof. We also prove some new results which allow us to formulate the property of recognizability in terms of finite automata. We use this characterization to show that for an injective morphism, the property of being recognizable on the full shift for aperiodic points is decidable.

Sarnak’s Möbius disjointness conjecture asserts that for any zero entropy dynamical system $(X,T)$, $({1}/{N})\! \sum _{n=1}^{N}\! f(T^{n} x) \mu (n)= o(1)$ for every $f\in \mathcal {C}(X)$ and every $x\in X$. We construct examples showing that this $o(1)$ can go to zero arbitrarily slowly. In fact, our methods yield a more general result, where in lieu of $\mu (n)$, one can put any bounded sequence $a_{n}$ such that the Cesàro mean of the corresponding sequence of absolute values does not tend to zero. Moreover, in our construction, the choice of x depends on the sequence $a_{n}$ but $(X,T)$ does not.

We provide an explicit $\mathcal {S}$-adic representation of rank-one subshifts with bounded spacers and call the subshifts obtained in this way ‘minimal Ferenczi subshifts’. We aim to show that this approach is very convenient to study the dynamical behavior of rank-one systems. For instance, we compute their topological rank, the strong and the weak orbit equivalence class. We observe that they have an induced system that is a Toeplitz subshift having discrete spectrum. We also characterize continuous and non-continuous eigenvalues of minimal Ferenczi subshifts.

We generalize the greedy and lazy $\beta $ -transformations for a real base $\beta $ to the setting of alternate bases ${\boldsymbol {\beta }}=(\beta _0,\ldots ,\beta _{p-1})$ , which were recently introduced by the first and second authors as a particular case of Cantor bases. As in the real base case, these new transformations, denoted $T_{{\boldsymbol {\beta }}}$ and $L_{{\boldsymbol {\beta }}}$ respectively, can be iterated in order to generate the digits of the greedy and lazy ${\boldsymbol {\beta }}$ -expansions of real numbers. The aim of this paper is to describe the measure-theoretical dynamical behaviors of $T_{{\boldsymbol {\beta }}}$ and $L_{{\boldsymbol {\beta }}}$ . We first prove the existence of a unique absolutely continuous (with respect to an extended Lebesgue measure, called the p-Lebesgue measure) $T_{{\boldsymbol {\beta }}}$ -invariant measure. We then show that this unique measure is in fact equivalent to the p-Lebesgue measure and that the corresponding dynamical system is ergodic and has entropy $({1}/{p})\log (\beta _{p-1}\cdots \beta _0)$ . We give an explicit expression of the density function of this invariant measure and compute the frequencies of letters in the greedy ${\boldsymbol {\beta }}$ -expansions. The dynamical properties of $L_{{\boldsymbol {\beta }}}$ are obtained by showing that the lazy dynamical system is isomorphic to the greedy one. We also provide an isomorphism with a suitable extension of the $\beta $ -shift. Finally, we show that the ${\boldsymbol {\beta }}$ -expansions can be seen as $(\beta _{p-1}\cdots \beta _0)$ -representations over general digit sets and we compare both frameworks.

In this paper, the nilspace approach to higher-order Fourier analysis is developed in the setting of vector spaces over a prime field $\mathbb {F}_p$, with applications mainly in ergodic theory. A key requisite for this development is to identify a class of nilspaces adequate for this setting. We introduce such a class, whose members we call p-homogeneous nilspaces. One of our main results characterizes these objects in terms of a simple algebraic property. We then prove various further results on these nilspaces, leading to a structure theorem describing every finite p-homogeneous nilspace as the image, under a nilspace fibration, of a member of a simple family of filtered finite abelian p-groups. The applications include a description of the Host–Kra factors of ergodic $\mathbb {F}_p^\omega $-systems as p-homogeneous nilspace systems. This enables the analysis of these factors to be reduced to the study of such nilspace systems, with central questions on the factors thus becoming purely algebraic problems on finite nilspaces. We illustrate this approach by proving that for $k\leq p+1$ the kth Host–Kra factor is an Abramov system of order at most k, extending a result of Bergelson–Tao–Ziegler that holds for $k< p$. We illustrate the utility of p-homogeneous nilspaces also by showing that the structure theorem yields a new proof of the Tao–Ziegler inverse theorem for Gowers norms on $\mathbb {F}_p^n$.

Consider a topologically transitive countable Markov shift $\Sigma $ and a summable locally constant potential $\phi $ with finite Gurevich pressure and $\mathrm {Var}_1(\phi ) < \infty $. We prove the existence of the limit $\lim _{t \to \infty } \mu _t$ in the weak$^\star $ topology, where $\mu _t$ is the unique equilibrium state associated to the potential $t\phi $. In addition, we present examples where the limit at zero temperature exists for potentials satisfying more general conditions.

In this work, we study the entropies of subsystems of shifts of finite type (SFTs) and sofic shifts on countable amenable groups. We prove that for any countable amenable group G, if X is a G-SFT with positive topological entropy $h(X)> 0$, then the entropies of the SFT subsystems of X are dense in the interval $[0, h(X)]$. In fact, we prove a ‘relative’ version of the same result: if X is a G-SFT and $Y \subset X$ is a subshift such that $h(Y) < h(X)$, then the entropies of the SFTs Z for which $Y \subset Z \subset X$ are dense in $[h(Y), h(X)]$. We also establish analogous results for sofic G-shifts.

Let $m_1 \geq m_2 \geq 2$ be integers. We consider subsets of the product symbolic sequence space $(\{0,\ldots ,m_1-1\} \times \{0,\ldots ,m_2-1\})^{\mathbb {N}^*}$ that are invariant under the action of the semigroup of multiplicative integers. These sets are defined following Kenyon, Peres, and Solomyak and using a fixed integer $q \geq 2$ . We compute the Hausdorff and Minkowski dimensions of the projection of these sets onto an affine grid of the unit square. The proof of our Hausdorff dimension formula proceeds via a variational principle over some class of Borel probability measures on the studied sets. This extends well-known results on self-affine Sierpiński carpets. However, the combinatoric arguments we use in our proofs are more elaborate than in the self-similar case and involve a new parameter, namely $j = \lfloor \log _q ( {\log (m_1)}/{\log (m_2)} ) \rfloor $ . We then generalize our results to the same subsets defined in dimension $d \geq 2$ . There, the situation is even more delicate and our formulas involve a collection of $2d-3$ parameters.

Every Anosov flow on a 3-manifold is associated to a bifoliated plane (a plane endowed with two transverse foliations $F^s$ and $F^u$ ) which reflects the normal structure of the flow endowed with the center-stable and center-unstable foliations. A flow is $\mathbb{R}$ -covered if $F^s$ (or equivalently $F^u$ ) is trivial. On the other hand, from any Anosov flow one can build infinitely many others by Dehn–Goodman–Fried surgeries. This paper investigates how these surgeries modify the bifoliated plane. We first observe that surgeries along orbits corresponding to disjoint simple closed geodesics do not affect the bifoliated plane of the geodesic flow of a hyperbolic surface (Theorem 1). Analogously, for any non- $\mathbb{R}$ -covered Anosov flow, surgeries along pivot periodic orbits do not affect the branching structure of its bifoliated plane (Theorem 2). Next, we consider the set $\mathcal{S}urg(A)$ of Anosov flows obtained by Dehn–Goodman–Fried surgeries from the suspension flow $X_A$ of any hyperbolic matrix $A \in SL(2,\mathbb{Z})$ . Fenley proved that performing only positive (or negative) surgeries on $X_A$ leads to $\mathbb{R}$ -covered Anosov flows. We study here Anosov flows obtained by a combination of positive and negative surgeries on $X_A$ . Among other results, we build non- $\mathbb{R}$ -covered Anosov flows on hyperbolic manifolds. Furthermore, we show that given any flow $X\in \mathcal{S}urg(A)$ there exists $\epsilon>0$ such that every flow obtained from $X$ by a non-trivial surgery along any $\epsilon$ -dense periodic orbit $\gamma$ is $\mathbb{R}$ -covered (Theorem 4). Analogously, for any flow $X \in \mathcal{S}urg(A)$ there exist periodic orbits $\gamma_+,\gamma_-$ such that every flow obtained from $X$ by surgeries with distinct signs on $\gamma_+$ and $\gamma_-$ is non- $\mathbb{R}$ -covered (Theorem 5).

The manifold M is a Riemannian, boundaryless, and compact manifold with $\dim M\geq 2$, and f is a $C^{1+\beta }$ ($\kern0.3pt\beta>0$) diffeomorphism of M. $\varphi $ is a Hölder continuous potential on M. We construct an invariant and absolutely continuous family of measures (with transformation relations defined by $\varphi $), which sit on local unstable leaves. We present two main applications. First, given an ergodic homoclinic class $H_\chi (p)$, we prove that $\varphi $ admits a local equilibrium state on $H_\chi (p)$ if and only if $\varphi $ is ‘recurrent on $H_\chi (p)$’ (a condition tested by counting periodic points), and one of the leaf measures gives a positive measure to a set of positively recurrent hyperbolic points; and if an equilibrium measure exists, the said invariant and absolutely continuous family of measures constitute as its conditional measures. An immediate corollary is the local product structure of hyperbolic equilibrium states. Second, we prove a Ledrappier–Young property for hyperbolic equilibrium states: if $\varphi $ admits a conformal family of leaf measures and a hyperbolic local equilibrium state, then the leaf measures of the invariant family (respective to $\varphi $) are equivalent to the conformal measures (on a full measure set). This extends the celebrated result by Ledrappier and Young for hyperbolic Sinai–Ruelle–Bowen measures, which states that a hyperbolic equilibrium state of the geometric potential (with pressure zero) has conditional measures on local unstable leaves which are absolutely continuous with respect to the Riemannian volume of these leaves.

An iterative square root of a self-map f is a self-map g such that $g(g(\cdot ))=f(\cdot )$ . We obtain new characterizations for detecting the non-existence of such square roots for self-maps on arbitrary sets. They are used to prove that continuous self-maps with no square roots are dense in the space of all continuous self-maps for various topological spaces. The spaces studied include those that are homeomorphic to the unit cube in ${\mathbb R}^{m}$ and to the whole of $\mathbb {R}^{m}$ for every positive integer $m.$ However, we also prove that every continuous self-map on a space homeomorphic to the unit cube in $\mathbb {R}^{m}$ with a fixed point on the boundary can be approximated by iterative squares of continuous self-maps.

In this text, we provide a fully rigorous and complete proof of E.H. Lieb’s statement that (topological) entropy of square ice (or six-vertex model, XXZ spin chain for anisotropy parameter $\Delta =1/2$ ) is equal to $\tfrac 32\log _{2} (4/3)$ .

In this paper we show that generic continuous Lebesgue measure-preserving circle maps have the s-limit shadowing property. In addition, we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well.

Every topological group G has, up to isomorphism, a unique minimal G-flow that maps onto every minimal G-flow, the universal minimal flow $M(G).$ We show that if G has a compact normal subgroup K that acts freely on $M(G)$ and there exists a uniformly continuous cross-section from $G/K$ to $G,$ then the phase space of $M(G)$ is homeomorphic to the product of the phase space of $M(G/K)$ with K. Moreover, if either the left and right uniformities on G coincide or G is isomorphic to a semidirect product $G/K\ltimes K$ , we also recover the action, in the latter case extending a result of Kechris and Sokić. As an application, we show that the phase space of $M(G)$ for any totally disconnected locally compact Polish group G with a normal open compact subgroup is homeomorphic to a finite set, the Cantor set $2^{\mathbb {N}}$ , $M(\mathbb {Z})$ , or $M(\mathbb {Z})\times 2^{\mathbb {N}}.$

A function which is transcendental and meromorphic in the plane has at least two singular values. On the one hand, if a meromorphic function has exactly two singular values, it is known that the Hausdorff dimension of the escaping set can only be either $2$ or $1/2$ . On the other hand, the Hausdorff dimension of escaping sets of Speiser functions can attain every number in $[0,2]$ (cf. [M. Aspenberg and W. Cui. Hausdorff dimension of escaping sets of meromorphic functions. Trans. Amer. Math. Soc. 374(9) (2021), 6145–6178]). In this paper, we show that number of singular values which is needed to attain every Hausdorff dimension of escaping sets is not more than $4$ .

In this short and elementary note, we study some ergodic optimization problems for circle expanding maps. We first make an observation that if a function is not far from being convex, then its calibrated sub-actions are closer to convex functions in a certain effective way. As an application of this simple observation, for a circle doubling map, we generalize a result of Bousch saying that translations of the cosine function are uniquely optimized by Sturmian measures. Our argument follows the mainline of Bousch’s original proof, while some technical part is simplified by the observation mentioned above, and no numerical calculation is needed.

We study the ergodic properties of horospheres on rank 1 manifolds with non-positive curvature. We prove that the horospheres are equidistributed under the action of the geodesic flow towards the Bowen–Margulis measure, on a large class of manifolds. In the case of surfaces, we define a parametrization of the horocyclic flow on the set of horocycles containing a rank 1 vector that is recurrent under the action of the geodesic flow. We prove that the horocyclic flow in restriction to this set is uniquely ergodic. The results are valid for large classes of manifolds, including the compact ones.

For the family of double standard maps $f_{a,b}=2x+a+({b}/{\pi }) \sin 2\pi x \pmod {1}$ we investigate the structure of the space of parameters a when $b=1$ and when $b\in [0,1)$. In the first case the maps have a critical point, but for a set of parameters $E_1$ of positive Lebesgue measure there is an invariant absolutely continuous measure for $f_{a,1}$. In the second case there is an open non-empty set $E_b$ of parameters for which the map $f_{a,b}$ is expanding. We show that as $b\nearrow 1$, the set $E_b$ accumulates on many points of $E_1$ in a regular way from the measure point of view.

The purpose of this paper is to initiate a theory concerning the dynamics of asymptotically holomorphic polynomial-like maps. Our maps arise naturally as deep renormalizations of asymptotically holomorphic extensions of $C^r$ ($r>3$) unimodal maps that are infinitely renormalizable of bounded type. Here we prove a version of the Fatou–Julia–Sullivan theorem and a topological straightening theorem in this setting. In particular, these maps do not have wandering domains and their Julia sets are locally connected.