We refine the recent local rigidity result for the marked length spectrum obtained by the first and third author in [GL19] and give an alternative proof using the geodesic stretch between two Anosov flows and some uniform estimate on the variance appearing in the central limit theorem for Anosov geodesic flows. In turn, we also introduce a new pressure metric on the space of isometry classes, which reduces to the Weil–Petersson metric in the case of Teichmüller space and is related to the works [BCLS15, MM08].

In this paper we prove a perturbative result for a class of ${\mathbb Z}^2$ actions on Heisenberg nilmanifolds that have Diophantine properties. Along the way we prove cohomological rigidity and obtain a tame splitting for the cohomology with coefficients in smooth vector fields for such actions.

We consider $C^{r}$-diffeomorphisms ($1 \leq r \leq +\infty$) of a compact smooth manifold having two pairs of hyperbolic periodic points of different indices which admit transverse heteroclinic points and are connected through a blender. We prove that, by giving an arbitrarily $C^{r}$-small perturbation near the periodic points, we can produce a periodic point for which the first return map in the center direction coincides with the identity map up to order $r$, provided the transverse heteroclinic points satisfy certain natural conditions involving higher derivatives of their transition maps in the center direction. As a consequence, we prove that $C^{r}$-generic diffeomorphisms in a small neighborhood of the diffeomorphism under consideration exhibit super-exponential growth of number of periodic points. We also give examples which show the necessity of the conditions we assume.

In this paper, we study the centralizer of a partially hyperbolic diffeomorphism on ${\mathbb T}^3$ which is homotopic to an Anosov automorphism, and we show that either its centralizer is virtually trivial or such diffeomorphism is smoothly conjugate to its linear part.

In this article we study physical measures for $\operatorname {C}^{1+\alpha }$ partially hyperbolic diffeomorphisms with a mostly expanding center. We show that every diffeomorphism with a mostly expanding center direction exhibits a geometrical-combinatorial structure, which we call skeleton, that determines the number, basins and supports of the physical measures. Furthermore, the skeleton allows us to describe how physical measures bifurcate as the diffeomorphism changes under $C^1$ topology.

Moreover, for each diffeomorphism with a mostly expanding center, there exists a $C^1$ neighbourhood, such that diffeomorphism among a $C^1$ residual subset of this neighbourhood admits finitely many physical measures, whose basins have full volume.

We also show that the physical measures for diffeomorphisms with a mostly expanding center satisfy exponential decay of correlation for any Hölder observes. In particular, we prove that every $C^2$, partially hyperbolic, accessible diffeomorphism with 1-dimensional center and nonvanishing center exponent has exponential decay of correlations for Hölder functions.

We show that fractal percolation sets in $\mathbb{R}^{d}$ almost surely intersect every hyperplane absolutely winning (HAW) set with full Hausdorff dimension. In particular, if $E\subset\mathbb{R}^{d}$ is a realisation of a fractal percolation process, then almost surely (conditioned on $E\neq\emptyset$), for every countable collection $\left(f_{i}\right)_{i\in\mathbb{N}}$ of $C^{1}$ diffeomorphisms of $\mathbb{R}^{d}$, $\dim_{H}\left(E\cap\left(\bigcap_{i\in\mathbb{N}}f_{i}\left(\text{BA}_{d}\right)\right)\right)=\dim_{H}\left(E\right)$, where $\text{BA}_{d}$ is the set of badly approximable vectors in $\mathbb{R}^{d}$. We show this by proving that E almost surely contains hyperplane diffuse subsets which are Ahlfors-regular with dimensions arbitrarily close to $\dim_{H}\left(E\right)$.

We achieve this by analysing Galton–Watson trees and showing that they almost surely contain appropriate subtrees whose projections to $\mathbb{R}^{d}$ yield the aforementioned subsets of E. This method allows us to obtain a more general result by projecting the Galton–Watson trees against any similarity IFS whose attractor is not contained in a single affine hyperplane. Thus our general result relates to a broader class of random fractals than fractal percolation.

We construct two planar homoeomorphisms $f$ and $g$ for which the origin is a globally asymptotically stable fixed point whereas for $f \circ g$ and $g \circ f$ the origin is a global repeller. Furthermore, the origin remains a global repeller for the iterated function system generated by $f$ and $g$ where each of the maps appears with a certain probability. This planar construction is also extended to any dimension $>$2 and proves for first time the appearance of the dynamical Parrondo's paradox in odd dimensions.

In [4], Kifer, Peres and Weiss showed that the Bernoulli measures for the Gauss map T(x)=1/x mod 1 satisfy a ‘dimension gap’ meaning that for some c > 0, supp dim μp < 1– c, where μp denotes the (pushforward) Bernoulli measure for the countable probability vector p. In this paper we propose a new proof of the dimension gap. By using tools from thermodynamic formalism we show that the problem reduces to obtaining uniform lower bounds on the asymptotic variance of a class of potentials.

We use feral pseudoholomorphic curves and adiabatic degeneration to prove an extended version of the so-called ‘almost existence result’ for regular compact Hamiltonian energy surfaces. That is, that for a variety of symplectic manifolds equipped with a Hamiltonian, almost every (non-empty) compact energy level has a periodic orbit.

A zero-entropy system is said to be loosely Bernoulli if it can be induced from an irrational rotation of the circle. We provide a criterion for zero-entropy systems to be loosely Bernoulli that is compatible with mixing. Using this criterion, we show the existence of smooth mixing zero-entropy loosely Bernoulli transformations whose Cartesian square is loosely Bernoulli.

Let $\Phi $ be a correspondence from a normed vector space X into itself, let $u: X\to \mathbf {R}$ be a function, and let $\mathcal {I}$ be an ideal on $\mathbf {N}$. In addition, assume that the restriction of u on the fixed points of $\Phi $ has a unique maximizer $\eta ^\star $. Then, we consider feasible paths $(x_0,x_1,\ldots )$ with values in X such that $x_{n+1} \in \Phi (x_n)$, for all $n\ge 0$. Under certain additional conditions, we prove the following turnpike result: every feasible path $(x_0,x_1,\ldots )$ which maximizes the smallest $\mathcal {I}$-cluster point of the sequence $(u(x_0),u(x_1),\ldots )$ is necessarily $\mathcal {I}$-convergent to $\eta ^\star $.

We provide examples that, on the one hand, justify the hypotheses of our result and, on the other hand, prove that we are including new cases which were previously not considered in the related literature.

We consider a smooth area-preserving Anosov diffeomorphism $f\colon \mathbb T^2\rightarrow \mathbb T^2$ homotopic to an Anosov automorphism L of $\mathbb T^2$. It is known that the positive Lyapunov exponent of f with respect to the normalized Lebesgue measure is less than or equal to the topological entropy of L, which, in addition, is less than or equal to the Lyapunov exponent of f with respect to the probability measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on these two dynamical invariants.

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.

We explore new connections between the dynamics of conservative partially hyperbolic systems and the geometric measure-theoretic properties of their invariant foliations. Our methods are applied to two main classes of volume-preserving diffeomorphisms: fibered partially hyperbolic diffeomorphisms and center-fixing partially hyperbolic systems. When the center is one-dimensional, assuming the diffeomorphism is accessible, we prove that the disintegration of the volume measure along the center foliation is either atomic or Lebesgue. Moreover, the latter case is rigid in dimension three (this does not require accessibility): the center foliation is actually smooth and the diffeomorphism is smoothly conjugate to an explicit rigid model. A partial extension to fibered partially hyperbolic systems with compact fibers of any dimension is also obtained. A common feature of these classes of diffeomorphisms is that the center leaves either are compact or can be made compact by taking an appropriate dynamically defined quotient. For volume-preserving partially hyperbolic diffeomorphisms whose center foliation is absolutely continuous, if the generic center leaf is a circle, then every center leaf is compact.

We study a mathematical model proposed in the literature with the aim of describing the interactions between tumor cells and the immune system, when a periodic treatment of immunotherapy is applied. Combining some techniques from non-linear analysis (degree theory, lower and upper solutions, and theory of free-homeomorphisms in the plane), we give a detailed global analysis of the model. We also observe that for certain therapies, the maximum level of aggressiveness of a cancer, for which the treatment works (or does not work), can be computed explicitly. We discuss some strategies for designing therapies. The mathematical analysis is completed with numerical results and conclusions.

We develop a thermodynamic formalism for a smooth realization of pseudo-Anosov surface homeomorphisms. In this realization, the singularities of the pseudo-Anosov map are assumed to be fixed, and the trajectories are slowed down so the differential is the identity at these points. Using Young towers, we prove existence and uniqueness of equilibrium states for geometric t-potentials. This family of equilibrium states includes a unique SRB measure and a measure of maximal entropy, the latter of which has exponential decay of correlations and the central limit theorem.

Stable accessibility of partially hyperbolic systems is central to their stable ergodicity, and we establish its $C^1$-density among partially hyperbolic flows, as well as in the categories of volume-preserving, symplectic, and contact partially hyperbolic flows. As applications, we obtain on one hand in each of these four categories of flows the $C^1$-density of the $C^1$-stable topological transitivity and triviality of the centralizer, and on the other hand the $C^1$-density of the $C^1$-stable K-property of the natural volume in the latter three categories.

We show that the dynamic asymptotic dimension of an action of an infinite virtually cyclic group on a compact Hausdorff space is always one if the action has the marker property. This in particular covers a well-known result of Guentner, Willett, and Yu for minimal free actions of infinite cyclic groups. As a direct consequence, we substantially extend a famous result by Toms and Winter on the nuclear dimension of $C^{*}$-algebras arising from minimal free $\mathbb {Z}$-actions. Moreover, we also prove the marker property for all free actions of countable groups on finite-dimensional compact Hausdorff spaces, generalizing a result of Szabó in the metrisable setting.

We show that $C^r $ generically in the space of $C^r$ conservative diffeomorphisms of a compact surface, every hyperbolic periodic point has a transverse homoclinic orbit.