Search

In the second paragraph on page 30 [ 1 ], we wrote ‘Making a critical point precritical decreases the number of points about which we have to worry’. Indeed, we stopped worrying about these points so much, that we forgot to mention them in several statements. This includes Lemma 3.13, Theorem 3.14 and the Main Theorem. Thus, the possibility of critical points being precritical (not only sinking or recurrent) has to be added to those statements. In particular, the Main Theorem should read as follows.

In our paper [1], in the proof of Proposition 1, we implicitly assume that the polynomial P is monic, although later we apply this proposition to polynomials which are not monic. The following corrections should be made in the proof of Proposition 1.

It is shown that a result by Moeckel holds not only for admissible subgroups of SL (2, ℤ), but also for arbitrary subgroups of finite index.

The author regrets that there are certain errors in [1] and would like to give the following corrections.

For a $C^1$ non-conformal repeller, this paper proves that there exists an ergodic measure of full Carathéodory singular dimension. For an average conformal hyperbolic set of a $C^1$ diffeomorphism, this paper constructs a Borel probability measure (with support strictly inside the repeller) of full Hausdorff dimension. If the average conformal hyperbolic set is of a $C^{1+\alpha }$ diffeomorphism, this paper shows that there exists an ergodic measure of maximal dimension.

The renormalization group method has been developed to investigate p-adic q-state Potts models on the Cayley tree of order k. This method is closely related to the examination of dynamical behavior of the p-adic Potts–Bethe mapping which depends on the parameters q, k. In Mukhamedov and Khakimov [Chaotic behavior of the p-adic Potts–Behte mapping. Discrete Contin. Dyn. Syst.38 (2018), 231–245], we have considered the case when q is not divisible by p and, under some conditions, it was established that the mapping is conjugate to the full shift on $\kappa _p$ symbols (here $\kappa _p$ is the greatest common factor of k and $p-1$ ). The present paper is a continuation of the forementioned paper, but here we investigate the case when q is divisible by p and k is arbitrary. We are able to fully describe the dynamical behavior of the p-adic Potts–Bethe mapping by means of a Markov partition. Moreover, the existence of a Julia set is established, over which the mapping exhibits a chaotic behavior. We point out that a similar result is not known in the case of real numbers (with rigorous proofs).

This paper presents sufficient conditions for a substitution tiling dynamical system of $\mathbb {R}^2$ , generated by a generalized substitution on three letters, to be topologically mixing. These conditions are shown to hold on a large class of tiling substitutions originally presented by Kenyon in 1996. This problem was suggested by Boris Solomyak, and many of the techniques that are used in this paper are based on the work by Kenyon, Sadun, and Solomyak [Topological mixing for substitutions on two letters. Ergod. Th. & Dynam. Sys.25(6) (2005), 1919–1934]. They studied one-dimensional tiling dynamical systems generated by substitutions on two letters and provided similar conditions sufficient to ensure that one-dimensional substitution tiling dynamical systems are topologically mixing. If a tiling dynamical system of $\mathbb {R}^2$ satisfies our conditions (and thus is topologically mixing), we can construct additional topologically mixing tiling dynamical systems of $\mathbb {R}^2$ . By considering the stepped surface constructed from a tiling $T_\sigma $ , we can get a new tiling of $\mathbb {R}^2$ by projecting the surface orthogonally onto an irrational plane through the origin.

Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices., Comment: 35 pages; Major corrections along the paper following the referee's suggestions. To appear in Ergod. Theory Dyn. Syst

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.

In this paper, we show local smooth rigidity for higher rank ergodic nilpotent action by toral automorphisms. In former papers all examples for actions enjoying the local smooth rigidity phenomenon are higher rank and have no rank-one factors. In this paper we give examples of smooth rigidity of actions having rank-one factors. The method is a generalization of the KAM (Kolmogorov–Arnold–Moser) iterative scheme.

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

In this paper, we construct a uniformly recurrent infinite word of low complexity without uniform frequencies of letters. This shows the optimality of a bound of Boshernitzan, which gives a sufficient condition for a uniformly recurrent infinite word to admit uniform frequencies.

In this paper, we prove the continuity of iteration operators $\mathcal {J}_n$ on the space of all continuous self-maps of a locally compact Hausdorff space X and generally discuss dynamical behaviors of them. We characterize their fixed points and periodic points for $X=\mathbb {R}$ and the unit circle $S^1$ . Then we indicate that all orbits of $\mathcal {J}_n$ are bounded; however, we prove that for $X=\mathbb {R}$ and $S^1$ , every fixed point of $\mathcal {J}_n$ which is non-constant and equals the identity on its range is not Lyapunov stable. The boundedness and the instability exhibit the complexity of the system, but we show that the complicated behavior is not Devaney chaotic. We give a sufficient condition to classify the systems generated by iteration operators up to topological conjugacy.

In this paper, we prove using elementary techniques that any group of diffeomorphisms acting on the 2-sphere and properly extending the conformal group of Möbius transformations must be at least 4-transitive or, more precisely, arc 4-transitive. As an important consequence, we derive that any such group must always contain an element of positive topological entropy. We also provide a self-contained characterization, in terms of transitivity, of the Möbius transformations within the full group of sphere diffeomorphisms.

Let $\theta $ be an irrational real number. The map $T_\theta : y \mapsto (y+\theta ) \,\mod \!\!\: 1$ from the unit interval $\mathbf {I} = [0,1[$ (endowed with the Lebesgue measure) to itself is ergodic. In 2002, Rudolph and Hoffman showed in [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2) 156(1) (2002), 79–101] that the measure-preserving map $[T_\theta ,\mathrm {Id}]$ is isomorphic to a one-sided dyadic Bernoulli shift. Their proof is not constructive. A few years before, Parry [Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] had provided an explicit isomorphism under the assumption that $\theta $ is extremely well approached by the rational numbers, namely, $$ \begin{align*}\inf_{q \ge 1} q^44^{q^2}~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$ Whether the explicit map considered by Parry is an isomorphism or not in the general case was still an open question. In Leuridan [Bernoulliness of $[T,\mathrm {Id}]$ when T is an irrational rotation: towards an explicit isomorphism. Ergod. Th. & Dynam. Sys.41(7) (2021), 2110–2135] we relaxed Parry’s condition into $$ \begin{align*}\inf_{q \ge 1} q^4~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$ In the present paper, we remove the condition by showing that the explicit map considered by Parry is always an isomorphism. With a few adaptations, the same method works with $[T,T^{-1}]$ .

In this paper, we reduce the logarithmic Sarnak conjecture to the $\{0,1\}$ -symbolic systems with polynomial mean complexity. By showing that the logarithmic Sarnak conjecture holds for any topologically dynamical system with sublinear complexity, we provide a variant of the $1$ -Fourier uniformity conjecture, where the frequencies are restricted to any subset of $[0,1]$ with packing dimension less than one.

In this paper we show how to apply classical probabilistic tools for partial sums $\sum _{j=0}^{n-1}\varphi \circ \tau ^j$ generated by a skew product $\tau $ , built over a sufficiently well-mixing base map and a random expanding dynamical system. Under certain regularity assumptions on the observable $\varphi $ , we obtain a central limit theorem (CLT) with rates, a functional CLT, an almost sure invariance principle (ASIP), a moderate-deviations principle, several exponential concentration inequalities and Rosenthal-type moment estimates for skew products with $\alpha $ -, $\phi $ - or $\psi $ -mixing base maps and expanding-on-average random fiber maps. All of the results are new even in the uniformly expanding case. The main novelty here (in contrast to [2]) is that the random maps are not independent, they do not preserve the same measure and the observable $\varphi $ depends also on the base space. For stretched exponentially ${\alpha }$ -mixing base maps our proofs are based on multiple correlation estimates, which make the classical method of cumulants applicable. For $\phi $ - or $\psi $ -mixing base maps, we obtain an ASIP and maximal and concentration inequalities by establishing an $L^\infty $ convergence of the iterates ${\mathcal K}^{\,n}$ of a certain transfer operator ${\mathcal K}$ with respect to a certain sub- ${\sigma }$ -algebra, which yields an appropriate (reverse) martingale-coboundary decomposition.

A probability measure preserving action of a discrete amenable group $G$ is said to be dominant if it is isomorphic to a generic extension of itself. Recently, it was shown that for $G = \mathbb{Z}$, an action is dominant if and only if it has positive entropy and that for any $G$, positive entropy implies dominance. In this paper, we show that the converse also holds for any $G$, i.e. that zero entropy implies non-dominance., v3: fixed an incorrect reference

In this paper, we study the ergodicity of the geodesic flows on surfaces with no focal points. Let M be a smooth connected and closed surface equipped with a $C^{\infty }$ Riemannian metric g, whose genus $\mathfrak {g} \geq 2$ . Suppose that $(M,g)$ has no focal points. We prove that the geodesic flow on the unit tangent bundle of M is ergodic with respect to the Liouville measure, under the assumption that the set of points on M with negative curvature has at most finitely many connected components.

We show that for a Salem number $\beta$ of degree $d$, there exists a positive constant $c(d)$ that $\beta^m$ is a Parry number for integers $m$ of natural density $\ge c(d)$. Further, we show $c(6)>1/2$ and discuss a relation to the discretized rotation in dimension $4$., Comment: Revision after referee comments and suggestions. Information in the paper is increased

Let$k\geq 2$and$(X_{i}, \mathcal {T}_{i}), i=1,\ldots ,k$, be$\mathbb {Z}^{d}$-actions topological dynamical systems with$\mathcal {T}_i:=\{T_i^{\textbf {g}}:X_i{\rightarrow } X_i\}_{\textbf {g}\in \mathbb {Z}^{d}}$, where$d\in \mathbb {N}$and$f\in C(X_{1})$. Assume that for each$1\leq i\leq k-1$,$(X_{i+1}, \mathcal {T}_{i+1})$is a factor of$(X_{i}, \mathcal {T}_{i})$. In this paper, we introduce the weighted topological pressure$P^{\textbf {a}}(\mathcal {T}_{1},f)$and weighted measure-theoretic entropy$h_{\mu }^{\textbf {a}}(\mathcal {T}_{1})$for$\mathbb {Z}^{d}$-actions, and establish a weighted variational principle as$$ \begin{align*} P^{\textbf{a}}(\mathcal{T}_{1},f)=\sup\bigg\{h_{\mu}^{\textbf{a}}(\mathcal{T}_{1})+\int_{X_{1}}f\,d\mu:\mu\in\mathcal{M}(X_{1}, \mathcal{T}_{1})\bigg\}. \end{align*} $$This result not only generalizes some well-known variational principles about topological pressure for compact or non-compact sets, but also improves the variational principle for weighted topological pressure in [16] from$\mathbb {Z}_{+}$-action topological dynamical systems to$\mathbb {Z}^{d}$-actions topological dynamical systems.

In this paper we consider the set of all extremal Volterra quadratic stochastic operators defined on a unit simplex $S^{4}$ and show that such operators can be reinterpreted in terms of zero-sum games. We show that an extremal Volterra operator is non-ergodic and an appropriate zero-sum game is a rock-paper-scissors game if either the Volterra operator is a uniform operator or for a non-uniform Volterra operator $V$ there exists a subset $I\subset \{1,2,3,4,5\}$ with $|I|\leq 2$ such that $\sum _{i\in I}(V^{n}\mathbf{x})_{i}\rightarrow 0,$ and the restriction of $V$ on an invariant face ${\rm\Gamma}_{I}=\{\mathbf{x}\in S^{m-1}:x_{i}=0,i\in I\}$ is a uniform Volterra operator.

In this paper, we investigatepigeonhole statisticsfor the fractional parts of the sequence$\sqrt {n}$. Namely, we partition the unit circle$ \mathbb {T} = \mathbb {R}/\mathbb {Z}$intoNintervals and show that the proportion of intervals containing exactlyjpoints of the sequence$(\sqrt {n} + \mathbb {Z})_{n=1}^N$converges in the limit as$N \to \infty $. More generally, we investigate how the limiting distribution of the first$sN$points of the sequence varies with the parameter$s \geq 0$. A natural way to examine this is via point processes—random measures on$[0,\infty )$which represent the arrival times of the points of our sequence to a random interval from our partition. We show that the sequence of point processes we obtain converges in distribution and give an explicit description of the limiting process in terms of random affine unimodular lattices. Our work uses ergodic theory in the space of affine unimodular lattices, building upon work of Elkies and McMullen [Gaps in$\sqrt {n}$mod 1 and ergodic theory.Duke Math. J.123(2004), 95–139]. We prove a generalisation of equidistribution of rational points on expanding horocycles in the modular surface, working instead on nonlinear horocycle sections.

Dirichlet’s theorem, including the uniform setting and asymptotic setting, is one of the most fundamental results in Diophantine approximation. The improvement of the asymptotic setting leads to the well-approximable set (in words of continued fractions) $$ \begin{align*} \mathcal{K}(\Phi):=\{x:a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}; \end{align*} $$ the improvement of the uniform setting leads to the Dirichlet non-improvable set $$ \begin{align*} \mathcal{G}(\Phi):=\{x:a_{n}(x)a_{n+1}(x)\ge\Phi(q_{n}(x))\ \textrm{for infinitely many }n\in \mathbb{N}\}. \end{align*} $$ Surprisingly, as a proper subset of Dirichlet non-improvable set, the well-approximable set has the same s-Hausdorff measure as the Dirichlet non-improvable set. Nevertheless, one can imagine that these two sets should be very different from each other. Therefore, this paper is aimed at a detailed analysis on how the growth speed of the product of two-termed partial quotients affects the Hausdorff dimension compared with that of single-termed partial quotients. More precisely, let $\Phi _{1},\Phi _{2}:[1,+\infty )\rightarrow \mathbb {R}^{+}$ be two non-decreasing positive functions. We focus on the Hausdorff dimension of the set $\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$ . It is known that the dimensions of $\mathcal {G}(\Phi )$ and $\mathcal {K}(\Phi )$ depend only on the growth exponent of $\Phi $ . However, rather different from the current knowledge, it will be seen in some cases that the dimension of $\mathcal {G}(\Phi _{1})\!\setminus\! \mathcal {K}(\Phi _{2})$ will change greatly even slightly modifying $\Phi _1$ by a constant.

The Ruelle operator has been studied extensively both in dynamical systems and iterated function systems (IFSs). Given a weakly contractive IFS $(X, \{w_j\}_{j=1}^m)$ and an associated family of positive continuous potential functions $\{p_j\}_{j=1}^m$, a triple system $(X, \{w_j\}_{j=1}^m, \{p_j\}_{j=1}^m)$is set up. In this paper we study Ruelle operators associated with the triple systems. The paper presents an easily verified condition. Under this condition, the Ruelle operator theorem holds provided that the potential functions are Dini continuous. Under the same condition, the Ruelle operator is quasi-compact, and the iterations sequence of the Ruelle operator converges with a specific geometric rate, if the potential functions are Lipschitz continuous.

This paper contains results on the geometric and ergodic properties of a class of strange attractors introduced by Wang and Young [Towards a theory of rank one attractors. Ann. of Math. (2) 167 (2008), 349–480]. These attractors can live in phase spaces of any dimension, and have been shown to arise naturally in differential equations that model several commonly occurring phenomena. Dynamically, such systems are chaotic; they have controlled non-uniform hyperbolicity with exactly one unstable direction, hence the name rank-one. In this paper we prove theorems on their Lyapunov exponents, Sinai–Ruelle–Bowen (SRB) measures, basins of attraction, and statistics of time series, including central limit theorems, exponential correlation decay and large deviations. We also present results on their global geometric and combinatorial structures, symbolic coding and periodic points. In short, we build a dynamical profile for this class of dynamical systems, proving that these systems exhibit many of the characteristics normally associated with ‘strange attractors’.

In this paper, we introduce and study theα-Farey map and its associated jump transformation, theα-Lüroth map, for an arbitrary countable partitionαof the unit interval with atoms which accumulate only at the origin. These maps represent linearized generalizations of the Farey map and the Gauss map from elementary number theory. First, a thorough analysis of some of their topological and ergodic theoretical properties is given, including establishing exactness for both types of these maps. The first main result then is to establish weak and strong renewal laws for what we have calledα-sum-level sets for theα-Lüroth map. Similar results have previously been obtained for the Farey map and the Gauss map by using infinite ergodic theory. In this respect, a side product of the paper is to allow for greater transparency of some of the core ideas of infinite ergodic theory. The second remaining result is to obtain a complete description of the Lyapunov spectra of theα-Farey map and theα-Lüroth map in terms of the thermodynamical formalism. We show how to derive these spectra and then give various examples which demonstrate the diversity of their behaviours in dependence on the chosen partitionα.

In the last two decades, considerable attention has been paid to the dimension theory of self-affine sets. In the case of generalized 4-corner sets (see Figure 1), the iterated function systems obtained as the projections of self-affine systems have maps of common fixed points. In this paper, we extend our result [B. Bárány. On the Hausdorff dimension of a family of self-similar sets with complicated overlaps. Fund. Math. 206 (2009), 49–59], which introduced a new method of computation of the box and Hausdorff dimensions of self-similar families where some of the maps have common fixed points. The extended version of our method presented in this paper makes it possible to determine the box dimension of the generalized 4-corner set for Lebesgue-typical contracting parameters.

The derivation of Ruelle’s derivative formula of the SRB measure depends largely on the calculation of the derivative of the unstable Jacobian. Although Ruelle’s derivative formula is correct, the proofs in the original paper and its corrigendum are not complete. In this paper, we re-visit the differentiation process of the unstable Jacobian and provide a complete derivation of its derivative formula. Our approach is to extend the volume form provided by the SRB measure on local unstable manifolds to a system of Hölder continuous local Riemannian metrics on the manifold so that under this system of local metrics, the unstable Jacobian becomes differentiable with respect to the base point and its derivative with respect to the map can be obtained by the chain rule.

In the first part of this paper, we consider several natural problems about locally homogeneous rigid geometric structures. In particular, we formulate a notion of topological completeness which is adapted to the study of global rigidity of chaotic dynamical systems. In the second part of the paper, we prove the following result: let φ be a C∞ expanding map of a closed manifold. If φ preserves a topologically complete C∞ rigid geometric structure, then φ is C∞ conjugate to an expanding infra-nilendomorphism.

Furstenberg-Zimmer structure theory refers to the extension of the dichotomy between the compact and weakly mixing parts of a measure-preserving dynamical system and the algebraic and geometric descriptions of such parts to a conditional setting, where such dichotomy is established relative to a factor and conditional analogs of those algebraic and geometric descriptions are sought. Although the unconditional dichotomy and the characterizations are known for arbitrary systems, the relative situation is understood under certain countability and separability hypotheses on the underlying groups and spaces. The aim of this article is to remove these restrictions in the relative situation and establish a Furstenberg-Zimmer structure theory in full generality. As an independent byproduct, we establish a connection between the relative analysis of systems in ergodic theory and the internal logic in certain Boolean topoi., A.J. was supported by DFG-research fellowship JA 2512/3-1. A.J. offers his thanks to Terence Tao for suggesting this project, many helpful discussions, and his encouragement and support. He is grateful to Pieter Spaas for several helpful discussions. A.J. thanks Markus Haase for organizing an online workshop on structural ergodic theory where the results of this paper and the parallel work could be discussed, and Nikolai Edeko, Markus Haase, and Henrik Kreidler for helpful comments on an early version of the manuscript. A.J. is indebted to the anonymous referee for several useful suggestions and corrections.

This is the first paper in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

The f-invariant is an isomorphism invariant of free-group measure-preserving actions introduced by Lewis Bowen, who first used it to show that two finite-entropy Bernoulli shifts over a finitely generated free group can be isomorphic only if their base measures have the same Shannon entropy. Bowen also showed that the f-invariant is a variant of sofic entropy; in particular, it is the exponential growth rate of the expected number of good models over a uniform random homomorphism. In this paper we present an analogous formula for the relative f-invariant and use it to prove a formula for the exponential growth rate of the expected number of good models over a random sofic approximation which is a type of stochastic block model.

In this paper, we introduce the notion of planar two-center Stark–Zeeman systems and define four $J^{+}$ -like invariants for their periodic orbits. The construction is based on a previous construction for a planar one-center Stark–Zeeman system in [K. Cieliebak, U. Frauenfelder and O. van Koert. Periodic orbits in the restricted three-body problem and Arnold’s $J^+$ -invariant. Regul. Chaotic Dyn.22(4) (2017), 408–434] as well as Levi-Civita and Birkhoff regularizations. We analyze the relationship among these invariants and show that they are largely independent, based on a new construction called interior connected sum.

Given $\beta \in (1,2]$ , let $T_{\beta }$ be the $\beta $ -transformation on the unit circle $[0,1)$ such that $T_{\beta }(x)=\beta x\pmod 1$ . For each $t\in [0,1)$ , let $K_{\beta }(t)$ be the survivor set consisting of all $x\in [0,1)$ whose orbit $\{T^{n}_{\beta }(x): n\ge 0\}$ never hits the open interval $(0,t)$ . Kalle et al [Ergod. Th. & Dynam. Sys.40(9) (2020) 2482–2514] proved that the Hausdorff dimension function $t\mapsto \dim _{H} K_{\beta }(t)$ is a non-increasing Devil’s staircase. So there exists a critical value $\tau (\beta )$ such that $\dim _{H} K_{\beta }(t)>0$ if and only if $t. In this paper, we determine the critical value $\tau (\beta )$ for all $\beta \in (1,2]$ , answering a question of Kalle et al (2020). For example, we find that for the Komornik–Loreti constant $\beta \approx 1.78723$ , we have $\tau (\beta )=(2-\beta )/(\beta -1)$ . Furthermore, we show that (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps, with $\tau (1+)=0$ and $\tau (2)=1/2$ ; and (iii) there exists an open set $O\subset (1,2]$ , whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, convex, and strictly decreasing on each connected component of O. Consequently, the dimension $\dim _{H} K_{\beta }(t)$ is not jointly continuous in $\beta $ and t. Our strategy to find the critical value $\tau (\beta )$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

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).

In this paper, we show that each element in the convex hull of the rotation set of a compact invariant chain transitive set is realized by a Birkhoff solution, which is an improvement of the fundamental lemma of T. Zhou and W.-X. Qin [Pseudo solutions, rotation sets, and shadowing rotations for monotone recurrence relations. Math. Z.297 (2021), 1673–1692] in the study of rotation sets for monotone recurrence relations. We then investigate the properties of rotation sets assuming the system has zero topological entropy. The rotation set for a Birkhoff recurrence class is a singleton and the forward and backward rotation numbers are identical for each solution in the same Birkhoff recurrence class. We also show the continuity of rotation numbers on the set of non-wandering points. If the rotation set is upper-stable, then we show that each boundary point is a rational number, and we also obtain a result of bounded deviation.

The pattern complexity of a word for a given pattern S, where S is a finite subset of {0,1,2,…}, is the number of distinct restrictions of the word to S+n (with n=0,1,2,…). The maximal pattern complexity of the word, introduced in the paper of T. Kamae and L. Zamboni [Sequence entropy and the maximal pattern complexity of infinite words. Ergod. Th. & Dynam. Sys.22(4) (2002), 1191–1199], is the maximum value of the pattern complexity of S with #S=k as a function of k=1,2,…. A substitution of constant length on an alphabet is a mapping from the alphabet to finite words on it of constant length not less than two. An infinite word is called a fixed point of the substitution if it stays the same after the substitution is applied. In this paper, we prove that the maximal pattern complexity of a fixed point of a substitution of constant length on {0,1} (as a function of k=1,2,…) is either bounded, a linear function of k, or 2k.

This paper deals with families of conformal iterated function systems (CIFSs). The space CIFS(X,I) of all CIFSs, with common seed space X and alphabet I, is successively endowed with the topology of pointwise convergence and the so-calledλ-topology. We show just how bad the topology of pointwise convergence is: although the Hausdorff dimension function is continuous on a dense Gδ-set, it is also discontinuous on a dense subset of CIFS(X,I). Moreover, all of the different types of systems (irregular, critically regular, etc.), have empty interior, have the whole space as boundary, and thus are dense in CIFS(X,I), which goes against intuition and conception of a natural topology on CIFS(X,I). We then prove how good the λ-topology is: Roy and Urbański [Regularity properties of Hausdorff dimension in infinite conformal IFSs. Ergod. Th. & Dynam. Sys.25(6) (2005), 1961–1983] have previously pointed out that the Hausdorff dimension function is then continuous everywhere on CIFS(X,I). We go further in this paper. We show that (almost) all of the different types of systems have natural topological properties. We also show that, despite not being metrizable (as it does not satisfy the first axiom of countability), the λ-topology makes the space CIFS(X,I) normal. Moreover, this space has no isolated points. We further prove that the conformal Gibbs measures and invariant Gibbs measures depend continuously on Φ∈CIFS(X,I) and on the parameter t of the potential and pressure functions. However, we demonstrate that the coding map and the closure of the limit set are discontinuous on an important subset of CIFS(X,I).

We investigate the setIof parametersκ∈ℂ for which the singular orbit (0,eκ,…) ofEκ(z):=exp (z+κ) converges to$\infty $. These parameters are organized in curves in parameter space calledparameter rays, together with endpoints of certain rays. Parameter rays are an important tool to understand the detailed structure of exponential parameter space. In this paper, we construct and investigate these parameter rays. Based on these results, a complete classification of the setIis given in the following paper [M. Förster, L. Rempe and D. Schleicher. Classification of escaping exponential maps.Proc. Amer. Math. Soc.136(2008), 651–663].

We show that in the context of homogeneous Cantor sets, there are generically five possible (open and dense) structures for their arithmetic sum: a Cantor set, an L, R, M-Cantorval and a finite union of closed intervals. The dense case has been dealt with previously. In this paper, we explicitly present pairs of this space which have stable intersection, while not satisfying the generalized thickness test. Also, all the pairs of middle homogeneous Cantor sets whose arithmetic sum is a closed interval are identified.

Let $(G,+)$ be a compact, abelian, and metrizable topological group. In this group we take $g\in G$ such that the corresponding automorphism $\tau _g$ is ergodic. The main result of this paper is a new ergodic theorem for functions in $L^1(G,M)$ , where M is a Hadamard space. The novelty of our result is that we use inductive means to average the elements of the orbit $\{\tau _g^n(h)\}_{n\in \mathbb {N}}$ . The advantage of inductive means is that they can be explicitly computed in many important examples. The proof of the ergodic theorem is done firstly for continuous functions, and then it is extended to $L^1$ functions. The extension is based on a new construction of mollifiers in Hadamard spaces. This construction has the advantage that it only uses the metric structure and the existence of barycenters, and does not require the existence of an underlying vector space. For this reason, it can be used in any Hadamard space, in contrast to those results that need to use the tangent space or some chart to define the mollifier.

In this paper we apply Conley index theory in a covering space of an invariant set S, possibly not isolated, in order to describe the dynamics in S. More specifically, we consider the action of the covering translation group in order to define a topological separation of S which distinguishes the connections between the Morse sets within a Morse decomposition of S. The theory developed herein generalizes the classical connection matrix theory, since one obtains enriched information on the connection maps for non-isolated invariant sets, as well as for isolated invariant sets. Moreover, in the case of an infinite cyclic covering induced by a circle-valued Morse function, one proves that the Novikov differential of f is a particular case of the p-connection matrix defined herein.

In this paper it is shown that for a minimal system $(X,T)$ and $d,k\in \mathbb {N}$ , if $(x,x_{i})$ is regionally proximal of order d for $1\leq i\leq k$ , then $(x,x_{1},\ldots ,x_{k})$ is $(k+1)$ -regionally proximal of order d. Meanwhile, we introduce the notion of $\mathrm {IN}^{[d]}$ -pair: for a dynamical system $(X,T)$ and $d\in \mathbb {N}$ , a pair $(x_{0},x_{1})\in X\times X$ is called an $\mathrm {IN}^{[d]}$ -pair if for any $k\in \mathbb {N}$ and any neighborhoods $U_{0} ,U_{1} $ of $x_{0}$ and $x_{1}$ respectively, there exist different $(p_{1}^{(i)},\ldots ,p_{d}^{(i)})\in \mathbb {N}^{d} , 1\leq i\leq k$ , such that $$ \begin{align*} \bigcup_{i=1}^{k}\{ p_{1}^{(i)}\epsilon(1)+\cdots+p_{d}^{(i)} \epsilon(d):\epsilon(j)\in \{0,1\},1\leq j\leq d\}\backslash \{0\}\in \mathrm{Ind}(U_{0},U_{1}), \end{align*} $$ where $\mathrm {Ind}(U_{0},U_{1})$ denotes the collection of all independence sets for $(U_{0},U_{1})$ . It turns out that for a minimal system, if it does not contain any non-trivial $\mathrm {IN}^{[d]}$ -pair, then it is an almost one-to-one extension of its maximal factor of order d.