For random piecewise linear systems T of the interval that are expanding on average we construct explicitly the density functions of absolutely continuous T-invariant measures. If the random system uses only expanding maps our procedure produces all invariant densities of the system. Examples include random tent maps, random W-shaped maps, random $\beta $ -transformations and random Lüroth maps with a hole.

This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than 1 then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to 1. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit. This phenomenon holds for transversal families (in particular for the translation family) typically, in the self-similar case, in both topological and in measure theoretical sense, and in the more general self-conformal case in the topological sense.

The purpose of this article is to study the relation between combinatorial equivalence and topological conjugacy, specifically how a certain type of combinatorial equivalence implies topological conjugacy. We introduce the concept of kneading sequences for a setting that is more general than one-dimensional dynamics: for the two-dimensional toy model family of Hénon maps introduced by Benedicks and Carleson, we define kneading sequences for their critical lines, and prove that these sequences are a complete invariant for a natural conjugacy class among the toy model family. We also establish a version of Singer’s theorem for the toy model family.

We provide a complete characterization of periodic point free homeomorphisms of the $2$ -torus admitting irrational circle rotations as topological factors. Given a homeomorphism of the $2$ -torus without periodic points and exhibiting uniformly bounded rotational deviations with respect to a rational direction, we show that annularity and the geometry of its non-wandering set are the only possible obstructions for the existence of an irrational circle rotation as topological factor. Through a very precise study of the dynamics of the induced $\rho $ -centralized skew-product, we extend and generalize considerably previous results of Jäger.

A diffeomorphism of the plane is Anosov if it has a hyperbolic splitting at every point of the plane. In addition to linear hyperbolic automorphisms, translations of the plane also carry an Anosov structure (the existence of Anosov structures for plane translations was originally shown by White). Mendes conjectured that these are the only topological conjugacy classes for Anosov diffeomorphisms in the plane. Very recently, Matsumoto gave an example of an Anosov diffeomorphism of the plane, which is a Brouwer translation but not topologically conjugate to a translation, disproving Mendes’ conjecture. In this paper we prove that Mendes’ claim holds when the Anosov diffeomorphism is the time-one map of a flow, via a theorem about foliations invariant under a time-one map. In particular, this shows that the kind of counterexample constructed by Matsumoto cannot be obtained from a flow on the plane.

We study the rotation sets for homeomorphisms homotopic to the identity on the torus $\mathbb T^d$ , $d\ge 2$ . In the conservative setting, we prove that there exists a Baire residual subset of the set $\text {Homeo}_{0, \lambda }(\mathbb T^2)$ of conservative homeomorphisms homotopic to the identity so that the set of points with wild pointwise rotation set is a Baire residual subset in $\mathbb T^2$ , and that it carries full topological pressure and full metric mean dimension. Moreover, we prove that for every $d\ge 2$ the rotation set of $C^0$ -generic conservative homeomorphisms on $\mathbb T^d$ is convex. Related results are obtained in the case of dissipative homeomorphisms on tori. The previous results rely on the description of the topological complexity of the set of points with wild historic behavior and on the denseness of periodic measures for continuous maps with the gluing orbit property.

Let f be a germ of a holomorphic diffeomorphism with an irrationally indifferent fixed point at the origin in ${\mathbb C}$ (i.e. $f(0) = 0, f'(0) = e^{2\pi i \alpha }, \alpha \in {\mathbb R} - {\mathbb Q}$ ). Pérez-Marco [Fixed points and circle maps. Acta Math.179(2) (1997), 243–294] showed the existence of a unique continuous monotone one-parameter family of non-trivial invariant full continua containing the fixed point called Siegel compacta, and gave a correspondence between germs and families $(g_t)$ of circle maps obtained by conformally mapping the complement of these compacts to the complement of the unit disk. The family of circle maps $(g_t)$ is the orbit of a locally defined semigroup $(\Phi _t)$ on the space of analytic circle maps, which we show has a well-defined infinitesimal generator X. The explicit form of X is obtained by using the Loewner equation associated to the family of hulls $(K_t)$ . We show that the Loewner measures $(\mu _t)$ driving the equation are 2-conformal measures on the circle for the circle maps $(g_t)$ .

We describe topological obstructions (involving periodic points, topological entropy and rotation sets) for a homeomorphism on a compact manifold to embed in a continuous flow. We prove that homeomorphisms in a $C^{0}$-open and dense set of homeomorphisms isotopic to the identity in compact manifolds of dimension at least two are not the time-1 map of a continuous flow. Such property is also true for volume-preserving homeomorphisms in compact manifolds of dimension at least five. In the case of conservative homeomorphisms of the torus $\mathbb {T}^{d} (d\ge 2)$ isotopic to identity, we describe necessary conditions for a homeomorphism to be flowable in terms of the rotation sets.

Consider an intermittent map $f_{\unicode[STIX]{x1D705}}:[0,1]\rightarrow [0,1]$ and a Hölder continuous potential $\unicode[STIX]{x1D711}:[0,1]\rightarrow \mathbb{R}$. We show that $\unicode[STIX]{x1D719}$ is stochastic for $f_{\unicode[STIX]{x1D705}}$ if and only if the topological pressure $P(f_{\unicode[STIX]{x1D705}},\unicode[STIX]{x1D711})$ satisfies $P(f_{\unicode[STIX]{x1D705}},\unicode[STIX]{x1D711})-\unicode[STIX]{x1D711}(0)>0$. As a consequence, for each $\unicode[STIX]{x1D6FD}>0$ sufficiently small, the set of Hölder continuous potentials of exponent $\unicode[STIX]{x1D6FD}$ that are not stochastic for $f_{\unicode[STIX]{x1D705}}$ has nonempty interior in the space of all such potentials.

Let $\operatorname{Homeo}_{+}(D_{n}^{2})$ be the group of orientation-preserving homeomorphisms of $D^{2}$ fixing the boundary pointwise and $n$ marked points as a set. The Nielsen realization problem for the braid group asks whether the natural projection $p_{n}:\operatorname{Homeo}_{+}(D_{n}^{2})\rightarrow B_{n}:=\unicode[STIX]{x1D70B}_{0}(\operatorname{Homeo}_{+}(D_{n}^{2}))$ has a section over subgroups of $B_{n}$. All of the previous methods use either torsion or Thurston stability, which do not apply to the pure braid group $PB_{n}$, the subgroup of $B_{n}$ that fixes $n$ marked points pointwise. In this paper, we show that the pure braid group has no realization inside the area-preserving homeomorphisms using rotation numbers.

We study fast approximation of integrals with respect to stationary probability measures associated to iterated function systems on the unit interval. We provide an algorithm for approximating the integrals under certain conditions on the iterated function system and on the function that is being integrated. We apply this technique to estimate Hausdorff moments, Wasserstein distances and Lyapunov exponents of stationary probability measures.

Let $\unicode[STIX]{x1D6E4}$ denote the mapping class group of the plane minus a Cantor set. We show that every action of $\unicode[STIX]{x1D6E4}$ on the circle is either trivial or semiconjugate to a unique minimal action on the so-called simple circle.

We study the asymptotic dynamics of piecewise-contracting maps defined on a compact interval. For maps that are not necessarily injective, but have a finite number of local extrema and discontinuity points, we prove the existence of a decomposition of the support of the asymptotic dynamics into a finite number of minimal components. Each component is either a periodic orbit or a minimal Cantor set and such that the $\unicode[STIX]{x1D714}$-limit set of (almost) every point in the interval is exactly one of these components. Moreover, we show that each component is the $\unicode[STIX]{x1D714}$-limit set, or the closure of the orbit, of a one-sided limit of the map at a discontinuity point or at a local extremum.

We consider multimodal maps with holes and study the evolution of the open systems with respect to equilibrium states for both geometric and Hölder potentials. For small holes, we show that a large class of initial distributions share the same escape rate and converge to a unique absolutely continuous conditionally invariant measure; we also prove a variational principle connecting the escape rate to the pressure on the survivor set, with no conditions on the placement of the hole. Finally, introducing a weak condition on the centre of the hole, we prove scaling limits for the escape rate for holes centred at both periodic and non-periodic points, as the diameter of the hole goes to zero.

In L. W. Flinn’s PhD thesis published in 1972, the author conjectured that weakly expansive flows are also expansive flows. In this paper we use the horocycle flow on compact Riemann surfaces of constant negative curvature to show that Flinn’s conjecture is not true.

We study the continuity of topological entropy of general diffeomorphisms on line. First, we prove that the entropy map is continuous with respect to the strong $C^{0}$-topology on the union of uniformly topologically hyperbolic diffeomorphisms contained in $\text{Diff}_{0}^{r}(\mathbb{R})$ (whose first derivative is uniformly away from zero), which is a $C^{0}$-open and $C^{r}$-dense subset of $\text{Diff}_{0}^{r}(\mathbb{R})$, $r=1,2,\ldots ,\infty$, and $\unicode[STIX]{x1D714}$ (real analytic). Second, we give some examples where entropy map is not continuous. Finally, we prove some results on the continuity of entropy of general diffeomorphisms on the (real) line.

In this survey we prove the sharpest results on the loss of Sobolev regularity for solutions of the cohomological equation for translation flows on translation surfaces, available to the methods developed by the author in Forni [Solutions of the cohomological equation for area-preserving flows on compact surfaces of higher genus. Ann. of Math. (2)146(2) (1997), 295–344] and Forni [Deviation of ergodic averages for area-preserving flows on surfaces of higher genus. Ann. of Math. (2)155(1) (2002), 1–103]. The paper was mostly written between 2005 and 2006 while the author was at the University of Toronto, Canada, and was posted on arXiv in July 2007 [Forni. Sobolev regularity of solutions of the cohomological equation. Preprint, 2007, arXiv:0707.0940v2]. In an updated introduction we describe our results, taking into account later work on the problem and relevant recent progress in the field of Teichmüller dynamics, interval exchange transformations and translation flows.

We begin by defining a homoclinic class for homeomorphisms. Then we prove that if a topological homoclinic class Λ associated with an area-preserving homeomorphism f on a surface M is topologically hyperbolic (i.e. has the shadowing and expansiveness properties), then Λ = M and f is an Anosov homeomorphism.

We extend the unpublished work of Handel and Miller on the classification, up to isotopy, of endperiodic automorphisms of surfaces. We give the Handel–Miller construction of the geodesic laminations, give an axiomatic theory for pseudo-geodesic laminations, show that the geodesic laminations satisfy the axioms, and prove that pseudo-geodesic laminations satisfying our axioms are ambiently isotopic to the geodesic laminations. The axiomatic approach allows us to show that the given endperiodic automorphism is isotopic to a smooth endperiodic automorphism preserving smooth laminations ambiently isotopic to the original ones. Using the axioms, we also prove the ‘transfer theorem’ for foliations of 3-manifolds, namely that, if two depth-one foliations ${\mathcal{F}}$ and ${\mathcal{F}}^{\prime }$ are transverse to a common one-dimensional foliation ${\mathcal{L}}$ whose monodromy on the non-compact leaves of ${\mathcal{F}}$ exhibits the nice dynamics of Handel–Miller theory, then ${\mathcal{L}}$ also induces monodromy on the non-compact leaves of ${\mathcal{F}}^{\prime }$ exhibiting the same nice dynamics. Our theory also applies to surfaces with infinitely many ends.

We consider closed orientable surfaces $S$ of genus $g>1$ and homeomorphisms $f:S\rightarrow S$ isotopic to the identity. A set of hypotheses is presented, called a fully essential system of curves $\mathscr{C}$ and it is shown that under these hypotheses, the natural lift of $f$ to the universal cover of $S$ (the Poincaré disk $\mathbb{D}$), denoted by $\widetilde{f},$ has complicated and rich dynamics. In this context, we generalize results that hold for homeomorphisms of the torus isotopic to the identity when their rotation sets contain zero in the interior. In particular, for $C^{1+\unicode[STIX]{x1D716}}$ diffeomorphisms, we show the existence of rotational horseshoes having non-trivial displacements in every homotopical direction. As a consequence, we found that the homological rotation set of such an $f$ is a compact convex subset of $\mathbb{R}^{2g}$ with maximal dimension and all points in its interior are realized by compact $f$-invariant sets and by periodic orbits in the rational case. Also, $f$ has uniformly bounded displacement with respect to rotation vectors in the boundary of the rotation set. This implies, in case where $f$ is area preserving, that the rotation vector of Lebesgue measure belongs to the interior of the rotation set.