We introduce the notions of returns and well-aligned sets for closed relations on compact metric spaces and then use them to obtain non-trivial sufficient conditions for such a relation to have non-zero entropy. In addition, we give a characterization of finite relations with non-zero entropy in terms of Li–Yorke and DC2 chaos.

We prove that for any non-degenerate dendrite D, there exist topologically mixing maps $F : D \to D$ and $f : [0, 1] \to [0, 1]$ such that the natural extensions (as known as shift homeomorphisms) $\sigma _F$ and $\sigma _f$ are conjugate, and consequently the corresponding inverse limits are homeomorphic. Moreover, the map f does not depend on the dendrite D and can be selected so that the inverse limit $\underleftarrow {\lim } (D,F)$ is homeomorphic to the pseudo-arc. The result extends to any finite number of dendrites. Our work is motivated by, but independent of, the recent result of the first and third author on conjugation of Lozi and Hénon maps to natural extensions of dendrite maps.

We are interested in dendrites for which all invariant measures of zero-entropy mappings have discrete spectrum, and we prove that this holds when the closure of the endpoint set of the dendrites is countable. This solves an open question which has been around for awhile, and almost completes the characterization of dendrites with this property.

For a continuous function $f:[0,1] \to [0,1]$ we define a splitting sequence admitted by f and show that the inverse limit of f is an arc if and only if f does not admit a splitting sequence.

We characterize dendrites D such that a continuous selfmap of D is generically chaotic (in the sense of Lasota) if and only if it is generically ${\varepsilon }$ -chaotic for some ${\varepsilon }>0$ . In other words, we characterize dendrites on which generic chaos of a continuous map can be described in terms of the behaviour of subdendrites with non-empty interiors under iterates of the map. A dendrite D belongs to this class if and only if it is completely regular, with all points of finite order (that is, if and only if D contains neither a copy of the Riemann dendrite nor a copy of the $\omega $ -star).

A Cantor action is a minimal equicontinuous action of a countably generated group $G$ on a Cantor space $X$. Such actions are also called generalized odometers in the literature. In this work, we introduce two new conjugacy invariants for Cantor actions, the stabilizer limit group and the centralizer limit group. An action is wild if the stabilizer limit group is an increasing sequence of stabilizer groups without bound and otherwise is said to be stable if this group chain is bounded. For Cantor actions by a finitely generated group $G$, we prove that stable actions satisfy a rigidity principle and furthermore show that the wild property is an invariant of the continuous orbit equivalence class of the action. A Cantor action is said to be dynamically wild if it is wild and the centralizer limit group is a proper subgroup of the stabilizer limit group. This property is also a conjugacy invariant and we show that a Cantor action with a non-Hausdorff element must be dynamically wild. We then give examples of wild Cantor actions with non-Hausdorff elements, using recursive methods from geometric group theory to define actions on the boundaries of trees.

We study continuous countably (strictly) monotone maps defined on a tame graph, i.e. a special Peano continuum for which the set containing branch points and end points has countable closure. In our investigation we confine ourselves to the countable Markov case. We show a necessary and sufficient condition under which a locally eventually onto, countably Markov map $f$ of a tame graph $G$ is conjugate to a map $g$ of constant slope. In particular, we show that in the case of a Markov map $f$ that corresponds to a recurrent transition matrix, the condition is satisfied for a constant slope $e^{h_{\text{top}}(f)}$, where $h_{\text{top}}(f)$ is the topological entropy of $f$. Moreover, we show that in our class the topological entropy $h_{\text{top}}(f)$ is achievable through horseshoes of the map $f$.

We show that if there exists a counter example for the rational case of the Franks–Misiurewicz conjecture, then it must exhibit unbounded deviations in the complementary direction of its rotation set.

We decompose the topological stability (in the sense of P. Walters) into the corresponding notion for points. Indeed, we define a topologically stable point of a homeomorphism f as a point x such that for any C0-perturbation g of f there is a continuous semiconjugation defined on the g-orbit closure of x which tends to the identity as g tends to f. We obtain some properties of the topologically stable points, including preservation under conjugacy, vanishing for minimal homeomorphisms on compact manifolds, the fact that topologically stable chain recurrent points belong to the periodic point closure, and that the chain recurrent set coincides with the closure of the periodic points when all points are topologically stable. Next, we show that the topologically stable points of an expansive homeomorphism of a compact manifold are precisely the shadowable ones. Moreover, an expansive homeomorphism of a compact manifold is topologically stable if and only if every point is topologically stable. Afterwards, we prove that a pointwise recurrent homeomorphism of a compact manifold has no topologically stable points. Finally, we prove that every chain transitive homeomorphism with a topologically stable point of a compact manifold has the pseudo-orbit tracing property. Therefore, a chain transitive expansive homeomorphism of a compact manifold is topologically stable if and only if it has a topologically stable point.

The points which converge to $\infty$ under iteration of the maps $z\mapsto\lambda\exp(z)$ for $\lambda \in \mathbb{C} \backslash \{0\}$ are investigated. A complete classification of such ‘escaping points’ is given: they are organized in the form of differentiable curves called rays which are diffeomorphic to open intervals, together with the endpoints of certain (but not all) of these rays. Every escaping point is either on a ray or the endpoint (landing point) of a ray. This answers a special case of a question of Eremenko. The combinatorics of occurring rays, and which of them land at escaping points, are described exactly. It turns out that this answer does not depend on the parameter $\lambda$.

It is also shown that the union of all the rays has Hausdorff dimension 1, while the endpoints alone have Hausdorff dimension 2. This generalizes results of Karpińska for specific choices of $\lambda$.