Search

This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive recurrence for random walks on relatively hyperbolic groups. We then use our estimates for the Green function to prove that $p_n\asymp R^{-n}n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the inverse of the spectral radius of the random walk.

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.

The notion of quantized characters was introduced in our previous paper as a natural quantization of characters in the context of asymptotic representation theory forquantum groups. As in the case of ordinary groups, the representation associated with any extreme quantized character generates a von Neumann factor. From the viewpoint of operator algebras (and measurable dynamical systems), it is natural to ask what is the Murray–von Neumann–Connes type of the resulting factor. In this paper, we give a complete solution to this question when the inductive system is of quantum unitary groups $U_{q}(N)$.

This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.

Suppose that a countable group $G$ admits a cusp-uniform action on a hyperbolic space $(X,d)$ such that $G$ is of divergent type. The main result of the paper is characterizing the purely exponential growth type of the orbit growth function by a condition introduced by Dal'bo-Otal-Peign\'e. For geometrically finite Cartan-Hadamard manifolds with pinched negative curvature this condition ensures the finiteness of Bowen-Margulis-Sullivan measures. In this case, our result recovers a theorem of Roblin (in a weaker form). Our main tool is the Patterson-Sullivan measures on the Gromov boundary of $X$, and a variant of the Sullivan shadow lemma called partial shadow lemma. This allows us to prove that the purely exponential growth of either cones, or partial cones or horoballs is also equivalent to the condition of Dal'bo-Otal-Peign\'e. These results are further used in the paper \cite{YANG7}., Comment: Version 2: 34 pages, 2 figures. Sections 4 and 5 was rewritten following suggestions of the referee. Paper accepted by Ergodic Theory and Dynamical Systems

We correct two technical errors in the original paper. The main result in the original paper remains valid without any changes.

We set out some general criteria to prove the K-property, refining the assumptions used in an earlier paper for the flow case, and introducing the analogous discrete-time result. We also introduce one-sided $\lambda $ -decompositions, as well as multiple techniques for checking the pressure gap required to show the K-property. We apply our results to the family of Mañé diffeomorphisms and the Katok map. Our argument builds on the orbit decomposition theory of Climenhaga and Thompson.

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

In this paper we prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$ , providing a new result on stochastic circle dynamics even for $C^1$ -diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

A Birkhoff billiard is a system describing the inertial motion of a point mass inside a strictly convex planar domain, with elastic reflections at the boundary. The study of the associated dynamics is profoundly intertwined with the geometric properties of the domain: while it is evident how the shape determines the dynamics, a more subtle and difficult question is the extent to which the knowledge of the dynamics allows one to reconstruct the shape of the domain. This translates into many intriguing inverse problems and unanswered rigidity questions, which have been the focus of very active research in recent decades. In this paper we describe some of these questions, along with their connection to other problems in analysis and geometry, with particular emphasis on recent results obtained by the authors and their collaborators.

We consider products of an independent and identically distributed sequence in a set $\{f_1,\ldots ,f_m\}$ of orientation-preserving diffeomorphisms of the circle. We can naturally associate a Lyapunov exponent $\lambda $ . Under few assumptions, it is known that $\lambda \leq 0$ and that the equality holds if and only if $f_1,\ldots ,f_m$ are simultaneously conjugated to rotations. In this paper, we state a quantitative version of this fact in the case where $f_1,\ldots ,f_m$ are $C^k$ perturbations of rotations with rotation numbers $\rho (f_1),\ldots ,\rho (f_m)$ satisfying a simultaneous diophantine condition in the sense of Moser [On commuting circle mappings and simultaneous diophantine approximations. Math. Z.205(1) (1990), 105–121]: we give a precise estimate of $\lambda $ (Taylor expansion) and we prove that there exist a diffeomorphism g and rotations $r_i$ such that $\mbox {dist}(gf_ig^{-1},r_i)\ll |\lambda |^{{1}/{2}}$ for $i=1,\ldots , m$ . We also state analogous results for random products of $2\times 2$ matrices, without any diophantine condition.

In this paper we investigate the Margulis–Ruelle inequality for general Riemannian manifolds (possibly non-compact and with a boundary) and show that it always holds under an integrable condition.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are those for which the postsingular set is a compact subset of the Fatou set. Equivalenty, they are characterized as being expanding. Mihaljevi\'c-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalise these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics., Comment: V3: Author accepted manuscript. To appear in Ergod. Theory Dyn. Syst

In this paper we investigate the range of validity of Ruelle’s property. First, we show that every finitely generated Fuchsian group has Ruelle’s property. We also prove the existence of an infinitely generated Fuchsian group satisfying Ruelle’s property. Concerning the negative results, we first generalize Astala and Zinsmeister’s results [Mostow rigidity and Fuchsian groups. C. R. Math. Acad. Sci. Paris311 (1990), 301–306; Teichmüller spaces and BMOA. Math. Ann.289 (1991), 613–625] by proving that all convergence-type Fuchsian groups of the first kind fail to have Ruelle’s property. Finally, we give some results about second-kind Fuchsian groups. [-3.2pc]

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 continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving (p.m.p.) actions of countablegroups introduced in Part I [B. Seward. Krieger’s finite generator theorem for actions of countable groups I. Invent. Math. 215(1) (2019), 265–310]. In this paper we prove a non-ergodic finite generator theorem and use it to establish sub-additivity and semicontinuity properties of Rokhlin entropy. We also obtain formulas for Rokhlin entropy in terms of ergodic decompositions and inverse limits. Finally, we clarify the relationship between Rokhlin entropy, sofic entropy, and classical Kolmogorov–Sinai entropy. In particular, using Rokhlin entropy we give a new proof of the fact that ergodic actions with positive sofic entropy have finite stabilizers.

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.

In this paper we study the conformal measures of a normal subgroup of a cocompact Fuchsian group. In particular, we relate the extremal conformal measures to the eigenmeasures of a suitable Ruelle operator. Using Ancona’s theorem, adapted to the Ruelle operator setting, we show that if the group of deck transformationsGis hyperbolic then the extremal conformal measures and the hyperbolic boundary ofGcoincide. We then interpret these results in terms of the asymptotic behavior of cutting sequences of geodesics on a regular cover of a compact hyperbolic surface.

Let $(G,\unicode[STIX]{x1D6EC})$ be a self-similar $k$-graph with a possibly infinite vertex set $\unicode[STIX]{x1D6EC}^{0}$. We associate a universal C*-algebra ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ to $(G,\unicode[STIX]{x1D6EC})$. The main purpose of this paper is to investigate the ideal structures of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $\unicode[STIX]{x1D6EC}^{0}$ and the set of all gauge-invariant and diagonal-invariant ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Under some conditions, we characterize all primitive ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

Kifer, Peres, and Weiss proved in [A dimension gap for continued fractions with independent digits. Israel J. Math.124 (2001), 61–76] that there exists $c_{0}>0$, such that $\dim \unicode[STIX]{x1D707}\leq 1-c_{0}$ for any probability measure $\unicode[STIX]{x1D707}$, which makes the digits of the continued fraction expansion independent and identically distributed random variables. In this paper we prove that amongst this class of measures, there exists one whose dimension is maximal. Our results also apply in the more general setting of countable branched systems.

In this article, we calculate the Ellis semigroup of a certain class of constant-length substitutions. This generalizes a result of Haddad and Johnson [IP cluster points, idempotents, and recurrent sequences. Topology Proc.22 (1997) 213–226] from the binary case to substitutions over arbitrarily large finite alphabets. Moreover, we provide a class of counterexamples to one of the propositions in their paper, which is central to the proof of their main theorem. We give an alternative approach to their result, which centers on the properties of the Ellis semigroup. To do this, we also show a new way to construct an almost automorphic–isometric tower to the maximal equicontinuous factor of these systems, which gives a more particular approach than the one given by Dekking [The spectrum of dynamical systems arising from substitutions of constant length. Z. Wahrscheinlichkeitstheor. Verw. Geb.41(3) (1977/78) 221–239].

This paper establishes a fundamental difference between $\mathbb{Z}$ subshifts of finite type and $\mathbb{Z}^{2}$ subshifts of finite type in the context of ergodic optimization. Specifically, we consider a subshift of finite type $X$ as a subset of a full shift $F$. We then introduce a natural penalty function $f$, defined on $F$, which is 0 if the local configuration near the origin is legal and $-1$ otherwise. We show that in the case of $\mathbb{Z}$ subshifts, for all sufficiently small perturbations, $g$, of $f$, the $g$-maximizing invariant probability measures are supported on $X$ (that is, the set $X$ is stably maximized by $f$). However, in the two-dimensional case, we show that the well-known Robinson tiling fails to have this property: there exist arbitrarily small perturbations, $g$, of $f$ for which the $g$-maximizing invariant probability measures are supported on $F\setminus X$.

We investigate the entropy for a class of upper semi-continuous set-valued functions, called Markov set-valued functions, that are a generalization of single-valued Markov interval functions. It is known that the entropy of a Markov interval function can be found by calculating the entropy of an associated shift of finite type. In this paper, we construct a similar shift of finite type for Markov set-valued functions and use this shift space to find upper and lower bounds on the entropy of the set-valued function.

In this paper we give an answer to Furstenberg’s problem on topological disjointness. Namely, we show that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if $(X,T)$ is weakly mixing and there is some countable dense subset $D$ of $X$ such that for any minimal system $(Y,S)$, any point $y\in Y$ and any open neighbourhood $V$ of $y$, and for any non-empty open subset $U\subset X$, there is $x\in D\cap U$ such that $\{n\in \mathbb{Z}_{+}:T^{n}x\in U,S^{n}y\in V\}$ is syndetic. Some characterization for the general case is also given. By way of application we show that if a transitive system $(X,T)$ is disjoint from all minimal systems, then so are $(X^{n},T^{(n)})$ and $(X,T^{n})$ for any $n\in \mathbb{N}$. It turns out that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if the hyperspace system $(K(X),T_{K})$ is disjoint from all minimal systems.

In this paper, we derive geometric and analytic properties of invariant sets, including orbit closures, of a large class of piecewise-affine maps $T$ on $\mathbb{R}^{d}$. We assume that (i) $T$ consists of finitely many affine maps defined on a Borel measurable partition of $\mathbb{R}^{d}$, (ii) there is a lattice $\mathscr{L}\subset \mathbb{R}^{d}$ that contains all of the mutual differences of the translation vectors of these affine maps, and (iii) all of the affine maps have the same linear part that is an automorphism of $\mathscr{L}$. We prove that finite-volume invariant sets of such piecewise-affine maps always consist of translational tiles relative to this lattice, up to some multiplicity. When the partition is Jordan measurable, we show that closures of bounded orbits of $T$ are invariant and yield Jordan measurable tiles, again up to some multiplicity. In the latter case, we show that compact $T$-invariant sets also consist of Jordan measurable tiles. We then utilize these results to quantify the rate of convergence of ergodic averages for $T$ in the case of bounded single tiles.

In this paper, we study an interesting curve, so-called the Manhattan curve, associated with a pair of boundary-preserving Fuchsian representations of a (non-compact) surface, especially representations corresponding to Riemann surfaces with cusps. Using Thermodynamic Formalism (for countable Markov shifts), we prove the analyticity of the Manhattan curve. Moreover, we derive several dynamical and geometric rigidity results, which generalize results of Marc Burger and Richard Sharp for convex-cocompact Fuchsian representations., 34 pages and 2 figures. Minor changes, references updated

Althoughpiecewise isometries(PWIs) are higher-dimensional generalizations of one-dimensionalinterval exchange transformations(IETs), their generic dynamical properties seem to be quite different. In this paper, we consider embeddings of IET dynamics into PWI with a view to better understanding their similarities and differences. We derive some necessary conditions for existence of such embeddings using combinatorial, topological and measure-theoretic properties of IETs. In particular, we prove that continuous embeddings of minimal 2-IETs into orientation-preserving PWIs are necessarily trivial and that any 3-PWI has at most one non-trivially continuously embedded minimal 3-IET with the same underlying permutation. Finally, we introduce a family of 4-PWIs, with an apparent abundance of invariant non-smooth fractal curves supporting IETs, that limit to a trivial embedding of an IET.

We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein., Comment: 55 pages, 33 figures

For a class of competitive maps there is an invariant one-codimensional manifold (the carrying simplex) attracting all non-trivial orbits. In this paper it is shown that its convexity implies that it is a$C^{1}$submanifold-with-corners, neatly embedded in the non-negative orthant. The proof uses the characterization of neat embedding in terms of inequalities between Lyapunov exponents for ergodic invariant measures supported on the boundary of the carrying simplex.

We develop a variational method for constructing positive entropy invariant measures of Lagrangian systems without assuming transversal intersections of stable and unstable manifolds, and without restrictions to the size of non-integrable perturbations. We apply it to a family of two and a half degrees of freedom a-priori unstable Lagrangians, and show that if we assume that there is no topological obstruction to diffusion (precisely formulated in terms of topological non-degeneracy of minima of the Peierl's barrier function), then there exists a vast family of "horsheshoes", such as "shadowing" ergodic positive entropy measures having precisely any closed set of invariant tori in its support. Furthermore, we give bounds on the topological entropy and the "drift acceleration" in any part of a region of instability in terms of a certain extremal value of the Fr\'{e}chet derivative of the action functional, generalizing the angle of splitting of separatrices. The method of construction is new, and relies on study of formally gradient dynamics of the action (coupled parabolic semilinear partial differential equations on unbounded domains). We apply recently developed techniques of precise control of the local evolution of energy (in this case the Lagrangian action), energy dissipation and flux. In Part II of the paper we will apply the theory to obtain sharp bounds for topological entropy and drift acceleration for the same class of equations in the case of small perturbations., Comment: Version 2: corrected typos

It was recently shown in Gaidashev and Yampolsky [Golden mean Siegel disk universality and renormalization. Preprint, 2016, arXiv:1604.00717] that appropriately defined renormalizations of a sufficiently dissipative golden-mean semi-Siegel Hénon map converge super-exponentially fast to a one-dimensional renormalization fixed point. In this paper, we show that the asymptotic two-dimensional form of these renormalizations is universal and is parameterized by the average Jacobian. This is similar to the limit behavior of period-doubling renormalizations in the Hénon family considered in de Carvalho et al [Renormalization in the Hénon family, I: universality but non-rigidity. J. Stat. Phys.121 (5/6) (2006), 611–669]. As an application of our result, we prove that the boundary of the golden-mean Siegel disk of a dissipative Hénon map is non-smoothly rigid.

Let$f:X\rightarrow X$be a continuous dynamical system on a compact metric space$X$and let$\unicode[STIX]{x1D6F7}:X\rightarrow \mathbb{R}^{m}$be an$m$-dimensional continuous potential. The (generalized) rotation set$\text{Rot}(\unicode[STIX]{x1D6F7})$is defined as the set of all$\unicode[STIX]{x1D707}$-integrals of$\unicode[STIX]{x1D6F7}$, where$\unicode[STIX]{x1D707}$runs over all invariant probability measures. Analogous to the classical topological entropy, one can associate the localized entropy$\unicode[STIX]{x210B}(w)$to each$w\in \text{Rot}(\unicode[STIX]{x1D6F7})$. In this paper, we study the computability of rotation sets and localized entropy functions by deriving conditions that imply their computability. Then we apply our results to study the case where$f$is a subshift of finite type. We prove that$\text{Rot}(\unicode[STIX]{x1D6F7})$is computable and that$\unicode[STIX]{x210B}(w)$is computable in the interior of the rotation set. Finally, we construct an explicit example that shows that, in general,$\unicode[STIX]{x210B}$is not continuous on the boundary of the rotation set when considered as a function of$\unicode[STIX]{x1D6F7}$and$w$. In particular,$\unicode[STIX]{x210B}$is, in general, not computable at the boundary of$\text{Rot}(\unicode[STIX]{x1D6F7})$.

Suppose that $f$ is a transcendental entire function. In 2011, Rippon and Stallard showed that the union of the escaping set with infinity is always connected. In this paper we consider the related question of whether the union with infinity of the bounded orbit set, or the bungee set, can also be connected. We give sufficient conditions for these sets to be connected and an example of a transcendental entire function for which all three sets are simultaneously connected. This function lies, in fact, in the Speiser class.It is known that for many transcendental entire functions the escaping set has a topological structure known as a spider’s web. We use our results to give a large class of functions in the Eremenko–Lyubich class for which the escaping set is not a spider’s web. Finally, we give a novel topological criterion for certain sets to be a spider’s web.

The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.

In this paper the notion of sub-exponential measure complexity for an invariant Borel probability measure of a topological dynamical system is introduced. Then a minimal distal skew product map on the torus with sub-exponential measure complexity is constructed.

In this paper, we consider the spectrum of discrete quasi-periodic Schrödinger operators on $\ell ^{2}(\mathbb{Z})$ with the potentials $v\in C^{k}(\mathbb{T})$. For sufficiently large $k$, we show that the Lebesgue measure of the spectrum at irrational frequencies is the limit of the Lebesgue measure of the spectrum of its periodic approximants. This gives a partial answer to the problem proposed in Jitomirskaya and Mavi [Continuity of the measure of the spectrum for quasiperiodic schrödinger operator with rough potentials. Comm. Math. Phys.325 (2014), 585–601]. Our results are based on a generalization of the rigidity theorem in Avila and Krikorian [Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles. Ann. of Math. (2)164 (2006), 911–940]; more precisely, we prove that in the $C^{k}$ case, for almost every frequency $\unicode[STIX]{x1D6FC}\in \mathbb{R}\backslash \mathbb{Q}$ and for almost every $E$, the corresponding quasi-periodic Schrödinger cocycles are either reducible or non-uniformly hyperbolic.

Let $p$ be a prime number. We develop a theory of $p$-adic Mahler measure of polynomials and apply it to the study of $\mathbb{Z}$-covers of rational homology 3-spheres branched over links. We obtain a $p$-adic analogue of the asymptotic formula of the torsion homology growth and a balance formula among the leading coefficient of the Alexander polynomial, the $p$-adic entropy and the Iwasawa $\unicode[STIX]{x1D707}_{p}$-invariant. We also apply the purely $p$-adic theory of Besser–Deninger to $\mathbb{Z}$-covers of links. In addition, we study the entropies of profinite cyclic covers of links. We examine various examples throughout the paper.

In this paper, we establish a non-commutative analogue of Calderón’s transference principle, which allows us to deduce the non-commutative maximal ergodic inequalities from the special case—operator-valued maximal inequalities. As applications, we deduce the non-commutative Stein–Calderón maximal ergodic inequality and the dimension-free estimates of the non-commutative Wiener maximal ergodic inequality over Euclidean spaces. We also show the corresponding individual ergodic theorems. To show Wiener’s pointwise ergodic theorem, following a somewhat standard way we construct a dense subset on which pointwise convergence holds. To show Jones’ pointwise ergodic theorem, we use again the transference principle together with the Littlewood–Paley method, which is different from Jones’ original variational method that is still unavailable in the non-commutative setting.

For each $n\geq 2$, we investigate a family of iterated function systems which is parameterized by a common contraction ratio $s\in \mathbb{D}^{\times }\equiv \{s\in \mathbb{C}:0 and possesses a rotational symmetry of order $n$. Let ${\mathcal{M}}_{n}$ be the locus of contraction ratio $s$ for which the corresponding self-similar set is connected. The purpose of this paper is to show that ${\mathcal{M}}_{n}$ is regular-closed, that is, $\overline{\text{int}\,{\mathcal{M}}_{n}}={\mathcal{M}}_{n}$ holds for $n\geq 4$. This gives a new result for $n=4$ and a simple geometric proof of the previously known result by Bandt and Hung [Fractal $n$-gons and their Mandelbrot sets. Nonlinearity 21 (2008), 2653–2670] for $n\geq 5$.

Thermodynamic formalism, the theory of equilibrium states, is studied both in dynamical systems and probability theory. Various closely related notions have been developed: e.g. Dobrushin–Lanford–Ruelle Gibbs, Bowen–Gibbs and $g$-measures. We discuss the relation between Gibbs and $g$-measures in a one-dimensional context. Often $g$-measures are also Gibbs, but recently an example to the contrary has been presented. In this paper we discuss exactly when a $g$-measure is Gibbs and how this relates to notions such as uniqueness and reversibility of $g$-measures.

In this paper we show that the natural action of the symmetric group acting on the product space $\{0,1\}^{\mathbb{N}}$ endowed with a Bernoulli measure is approximately transitive. We also extend the result to a larger class of probability measures.

[GIKN] and [BBD1] propose two very different ways for building non hyperbolic measures, [GIKN] building such a measure as the limit of periodic measures and [BBD1] as the $\omega$-limit set of a single orbit, with a uniformly vanishing Lyapunov exponent. The technique in [GIKN] was essentially used in a generic setting, as the periodic orbits were built by small perturbations. It is not known if the measures obtained by the technique in [BBD1] are accumulated by periodic measures. In this paper we use a shadowing lemma from [G]: $\bullet$for getting the periodic orbits in [GIKN] without perturbing the dynamics, $\bullet$for recovering the compact set in [BBD1] with a uniformly vanishing Lyapunov exponent by considering the limit of periodic orbits. As a consequence, we prove that there exists an open and dense subset $\mathcal{U}$ of the set of robustly transitive non-hyperbolic diffeomorphisms far from homoclinic tangencies, such that for any $f\in\mathcal{U}$, there exists a non-hyperbolic ergodic measure with full support and approximated by hyperbolic periodic measures. We also prove that there exists an open and dense subset $\mathcal{V}$ of the set of diffeomorphisms exhibiting a robust cycle, such that for any $f\in\mathcal{V}$, there exists a non-hyperbolic ergodic measure approximated by hyperbolic periodic measures., Comment: 37 pages

The dynatomic modular curves parametrize polynomial maps together with a point of period $n$. It is known that the dynatomic curves $Y_1(n)$ are smooth and irreducible in characteristic 0 for families of polynomial maps of the form $f_c(z) = z^m +c$ where $m\geq 2$. In the present paper, we build on the work of Morton to partially characterize the primes $p$ for which the reduction modulo $p$ of $Y_1(n)$ remains smooth and/or irreducible. As an application, we give new examples of good reduction of $Y_1(n)$ for several primes dividing the ramification discriminant when $n=7,8,11$. The proofs involve arithmetic and complex dynamics, reduction theory for curves, ramification theory, and the combinatorics of the Mandelbrot set., Comment: 47 pages, 2 figures; fixed typos and added some data to Appendix A

The paper by Froyland, González-Tokman and Quas [Stability and approximation of random invariant densities for Lasota–Yorke map cocycles.Nonlinearity27(4) (2014), 647] established fibrewise stability of random absolutely continuous invariant measures (acims) for cocycles of random Lasota–Yorke maps under a variety of perturbations, including ‘Ulam’s method’, a popular numerical method for approximating acims. The expansivity requirements of Froylandet alwere that the cocycle (or powers of the cocycle) should be ‘expanding on average’ before applying a perturbation, such as Ulam’s method. In the present work, we make a significant theoretical and computational weakening of the expansivity hypotheses of Froylandet al, requiring only that the cocycle be eventually expanding on average, and importantly,allowing the perturbation to be applied after each single step of the cocycle. The family of random maps that generate our cocycle need not be close to a fixed map and our results can handle very general driving mechanisms. We provide a detailed numerical example of a random Lasota–Yorke map cocycle with expanding and contracting behaviour and illustrate the extra information carried by our fibred random acims, when compared to annealed acims or ‘physical’ random acims.

Over a finite alphabet $A$ of real numbers, unique expansions in base $\unicode[STIX]{x1D6FD}$ are considered. A real number $G_{A}$ called the generalized golden ratio is a critical point of a situation of unique expansions. If $\unicode[STIX]{x1D6FD}, then there are only trivial unique expansions in base $\unicode[STIX]{x1D6FD}$, while there are non-trivial unique expansions in base $\unicode[STIX]{x1D6FD}$ whenever $\unicode[STIX]{x1D6FD}>G_{A}$. Komornik, Lai and Pedicini [Generalized golden ratios of ternary alphabets. J. Eur. Math. Soc.13(4) (2011), 1113–1146] investigated the case where $A$ consists of three real numbers, and demonstrated that Sturmian words curiously emerge out of the generalized golden ratio. The present paper focuses on Sturmian words under this context. For a given alphabet $A=\{a_{1},a_{2},a_{3}\}$ with $a_{1}, we give a complete characterization of the corresponding Sturmian words effectively and algorithmically, which reveals interesting structures behind the generalized golden ratios.

In this paper, we consider pure infiniteness of generalized Cuntz–Krieger algebras associated to labeled spaces $(E,{\mathcal{L}},{\mathcal{E}})$. It is shown that a $C^{\ast }$-algebra $C^{\ast }(E,{\mathcal{L}},{\mathcal{E}})$ is purely infinite in the sense that every non-zero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E,{\mathcal{L}},{\mathcal{E}})$ is disagreeable and every vertex connects to a loop. We also prove that under the condition analogous to (K) for usual graphs, $C^{\ast }(E,{\mathcal{L}},{\mathcal{E}})=C^{\ast }(p_{A},s_{a})$ is purely infinite in the sense of Kirchberg and Rørdam if and only if every generating projection $p_{A}$, $A\in {\mathcal{E}}$, is properly infinite, and also if and only if every quotient of $C^{\ast }(E,{\mathcal{L}},{\mathcal{E}})$ has property (IH).

In this paper, we present results for the forcing relation on the set of braid types of periodic orbits of a rotational horseshoe on the annulus. Precisely, we are concerned with a family of periodic orbits, called the Boyland family, and we prove that for each pair$(r,s)$of rational numbers with$rin$(0,1)$, there exists a non-monotone orbit$B_{r,s}$in this family which has pseudo-Anosov type and rotation interval$[r,s]$. Furthermore, the forcing relation among these orbits is given by the inclusion order on their rotation sets. It is also proved that the Markov partition associated to each Boyland orbit comes from a pruning map which projects to a bimodal circle map. This family also contains the Holmes orbits$H_{p/q}$, which are the largest for the forcing order among all the$(p,q)$-orbits of the rotational horseshoe.

In this paper, we consider the product space of several non-compact finite-volume hyperbolic spaces, $V_{1},V_{2},\ldots ,V_{k}$ of dimension $n$. Let $\text{T}^{1}(V_{i})$ denote the unit tangent bundle of $V_{i}$ and $g_{t}$ denote the geodesic flow on $\text{T}^{1}(V_{i})$ for each $i=1,\ldots ,k$. We define $$\begin{eqnarray}{\mathcal{D}}_{k}:=\{(v_{1},\ldots ,v_{k})\,\in \,\text{T}^{1}(V_{1})\times \cdots \times \text{T}^{1}(V_{k})\,:\,(g_{t}(v_{1}),\ldots ,g_{t}(v_{k}))\text{ diverges as }t\rightarrow \infty \}.\end{eqnarray}$$ We will prove that the Hausdorff dimension of ${\mathcal{D}}_{k}$ is equal to $k(2n-1)-((n-1)/2)$. This extends a result of Cheung.

We study the homotopical rotation vectors and the homotopical rotation sets for the billiard flow on the unit flat torus with two disjoint and orthogonal toroidal (cylindrical) scatterers removed from it. The natural habitat for these objects is the infinite cone erected upon the Cantor set$\text{Ends}(G)$of all ‘ends’ of the hyperbolic group$G=\unicode[STIX]{x1D70B}_{1}(\mathbf{Q})$. An element of$\text{Ends}(G)$describes the direction in (the Cayley graph of) the group$G$in which the considered trajectory escapes to infinity, whereas the height function$s$($s\geq 0$) of the cone gives us the average speed at which this escape takes place. The main results of this paper claim that the orbits can only escape to infinity at a speed not exceeding$\sqrt{3}$and, in any direction$e\in \text{Ends}(\unicode[STIX]{x1D70B}_{1}({\mathcal{Q}}))$, the escape is feasible with any prescribed speed$s$,$0\leq s\leq 1/(\sqrt{6}+2\sqrt{3})$. This means that the radial upper and lower bounds for the rotation set$R$are actually pretty close to each other. Furthermore, we prove the convexity of the set$\mathit{AR}$of constructible rotation vectors, and that the set of rotation vectors of periodic orbits is dense in$\mathit{AR}$. We also provide effective lower and upper bounds for the topological entropy of the studied billiard flow.