In this work, we explore the dynamical implications of a spectral sequence analysis of a filtered chain complex associated to a non-singular Morse–Smale (NMS) flow $\varphi $ on a closed orientable $3$ -manifold $M^3$ with no heteroclinic trajectories connecting saddle periodic orbits. We introduce the novel concepts of cancellations and reductions of pairs of periodic orbits based on Franks’ morsification and Smale’s cancellation theorems. The main goal is to establish an algebraic-dynamical correspondence between the unfolding of this spectral sequence associated to $\varphi $ and a family of flows obtained by cancelling and reducing pairs of periodic orbits of $\varphi $ on $M^3$ . This correspondence is achieved through a spectral sequence sweeping algorithm (SSSA), which determines the order in which these cancellations and reductions of periodic orbits occur, producing a family of NMS flows that reaches a core flow when the spectral sequence converges.

Given a locally finite graph $\Gamma $ , an amenable subgroup G of graph automorphisms acting freely and almost transitively on its vertices, and a G-invariant activity function $\unicode{x3bb} $ , consider the free energy $f_G(\Gamma ,\unicode{x3bb} )$ of the hardcore model defined on the set of independent sets in $\Gamma $ weighted by $\unicode{x3bb} $ . Under the assumption that G is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|\unicode{x3bb} \|_\infty < \unicode{x3bb} _c(\Delta )$ , there exists a randomized $\epsilon $ -additive approximation scheme for $f_G(\Gamma ,\unicode{x3bb} )$ that runs in time $\mathrm {poly}((1+\epsilon ^{-1})\lvert \Gamma /G \rvert )$ , where $\unicode{x3bb} _c(\Delta )$ denotes the critical activity on the $\Delta $ -regular tree. In addition, if G has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. However, we observe that if $\|\unicode{x3bb} \|_\infty> \unicode{x3bb} _c(\Delta )$ , there is no efficient approximation scheme, unless $\mathrm {NP} = \mathrm {RP}$ . This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting. As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.

We study the asymptotic behavior of the family of holomorphic correspondences $\lbrace \mathcal {F}_a\rbrace _{a\in \mathcal {K}}$ , given by

$$ \begin{align*}\bigg(\frac{az+1}{z+1}\bigg)^2+\bigg(\frac{az+1}{z+1}\bigg)\bigg(\frac{aw-1}{w-1}\bigg)+\bigg(\frac{aw-1}{w-1}\bigg)^2=3.\end{align*} $$

$\mathcal {F}_a$

$\operatorname {PSL}_2(\mathbb {Z})$

$a\in \mathcal {K}$

$\mathcal {F}_a$

$\mathcal {F}_a$

We show that, under finitely many ergodicity assumptions, any multicorrelation sequence defined by invertible measure-preserving $\mathbb {Z}^d$ -actions with multivariable integer polynomial iterates is the sum of a nilsequence and a nullsequence, extending a recent result of the second author. To this end, we develop a new seminorm bound estimate for multiple averages by improving the results in a previous work of the first, third, and fourth authors. We also use this approach to obtain new criteria for joint ergodicity of multiple averages with multivariable polynomial iterates on ${\mathbb Z}^{d}$ -systems.

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}]$ .

Let $\alpha $ be a $C^{\infty }$ volume-preserving action on a closed n-manifold M by a lattice $\Gamma $ in $\mathrm {SL}(n,\mathbb {R})$ , $n\ge 3$ . Assume that there is an element $\gamma \in \Gamma $ such that $\alpha (\gamma )$ admits a dominated splitting. We prove that the manifold M is diffeomorphic to the torus ${{\mathbb T}^{n}={\mathbb R}^{n}/{\mathbb Z}^{n}}$ and $\alpha $ is smoothly conjugate to an affine action. Anosov diffeomorphisms and partial hyperbolic diffeomorphisms admit a dominated splitting. We obtained a topological global rigidity when $\alpha $ is $C^{1}$ . We also prove similar theorems for actions on $2n$ -manifolds by lattices in $\textrm {Sp}(2n,{\mathbb R})$ with $n\ge 2$ and $\mathrm {SO}(n,n)$ with $n\ge 5$ .

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.

We construct two new classes of topological dynamical systems; one is a factor of a one-sided shift of finite type while the second is a factor of the two-sided shift. The data are a finite graph which presents the shift of finite type, a second finite directed graph and a pair of embeddings of it into the first, satisfying certain conditions. The factor is then obtained from a simple idea based on binary expansion of real numbers. In both cases, we construct natural metrics on the factors and, in the second case, this makes the system a Smale space, in the sense of Ruelle. We compute various algebraic invariants for these systems, including the homology for Smale space developed by the author and the K-theory of various $C^{*}$ -algebras associated to them, in terms of the pair of original graphs.

We give an example of a path-wise connected open set of $C^{\infty }$ partially hyperbolic endomorphisms on the $2$ -torus, on which the (unique) Sinai–Ruelle–Bowen (SRB) measure exists for each system and varies smoothly depending on the system, while the sign of its central Lyapunov exponent changes.

We study the behavior of the co-spectral radius of a subgroup H of a discrete group $\Gamma $ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.

We show that robustly transitive endomorphisms of a closed manifold must have a non-trivial dominated splitting or be a local diffeomorphism. This allows to get some topological obstructions for the existence of robustly transitive endomorphisms. To obtain the result, we must understand the structure of the kernel of the differential and the recurrence to the critical set of the endomorphism after perturbation.

For a non-conformal repeller $\Lambda $ of a $C^{1+\alpha }$ map f preserving an ergodic measure $\mu $ of positive entropy, this paper shows that the Lyapunov dimension of $\mu $ can be approximated gradually by the Carathéodory singular dimension of a sequence of horseshoes. For a $C^{1+\alpha }$ diffeomorphism f preserving a hyperbolic ergodic measure $\mu $ of positive entropy, if $(f, \mu )$ has only two Lyapunov exponents $\unicode{x3bb} _u(\mu )>0>\unicode{x3bb} _s(\mu )$ , then the Hausdorff or lower box or upper box dimension of $\mu $ can be approximated by the corresponding dimension of the horseshoes $\{\Lambda _n\}$ . The same statement holds true if f is a $C^1$ diffeomorphism with a dominated Oseledet’s splitting with respect to $\mu $ .

In this paper, we will introduce the ‘grid method’ to prove that the extreme case of oscillation occurs for the averages obtained by sampling a flow along the sequence of times of the form $\{n^\alpha : n\in {\mathbb {N}}\}$ , where $\alpha $ is a positive non-integer rational number. Such behavior of a sequence is known as the strong sweeping-out property. By using the same method, we will give an example of a general class of sequences which satisfy the strong sweeping-out property. This class of sequences may be useful to solve a long-standing open problem: for a given irrational $\alpha $ , whether the sequence $(n^\alpha )$ is bad for pointwise ergodic theorem in $L^2$ or not. In the process of proving this result, we will also prove a continuous version of the Conze principle.

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.

Recently, Benini et al showed that, in simply connected wandering domains of entire functions, all pairs of orbits behave in the same way relative to the hyperbolic metric, thus giving us our first insight into the general internal dynamics of such domains. The author proved in a recent paper [G. R. Ferreira. Multiply connected wandering domains of meromorphic functions: internal dynamics andconnectivity. J. Lond. Math. Soc. (2) 106 (2022), 1897–1919] that the same is not true for multiply connected wandering domains, a natural question is how inhomogeneous multiply connected wandering domains can be. We give an answer to this question, in that we show that uniform dynamics inside an open subset of the domain generalizes to the whole wandering domain. As an application of this result, we construct the first example of a meromorphic function with a semi-contracting infinitely connected wandering domain.

Inspired by the phase transition results for non-singular Gaussian actions introduced in [AIM19], we prove several phase transition results for non-singular Bernoulli actions. For generalized Bernoulli actions arising from groups acting on trees, we are able to give a very precise description of their ergodic-theoretical properties in terms of the Poincaré exponent of the group.

We establish analogues for trees of results relating the density of a set ${E \subset \mathbb {N}}$ , the density of its set of popular differences and the structure of E. To obtain our results, we formalize a correspondence principle of Furstenberg and Weiss which relates combinatorial data on a tree to the dynamics of a Markov process. Our main tools are Kneser-type inverse theorems for sets of return times in measure-preserving systems. In the ergodic setting, we use a recent result of the first author with Björklund and Shkredov and a stability-type extension (proved jointly with Shkredov); we also prove a new result for non-ergodic systems.

Given a subshift $\Sigma $ of finite type and a finite set S of finite words, let $\Sigma \langle S\rangle $ denote the subshift of $\Sigma $ that avoids S. We establish a general criterion under which we can bound the entropy perturbation $h(\Sigma ) - h(\Sigma \langle S\rangle )$ from above. As an application, we prove that this entropy difference tends to zero with a sequence of such sets $S_1, S_2,\ldots $ under various assumptions on the $S_i$ .