We introduce the notions of directional dynamical cubes and directional regionally proximal relation defined via these cubes for a minimal $\mathbb{Z}^{d}$ -system $(X,T_{1},\ldots ,T_{d})$ . We study the structural properties of systems that satisfy the so-called unique closing parallelepiped property and we characterize them in several ways. In the distal case, we build the maximal factor of a $\mathbb{Z}^{d}$ -system $(X,T_{1},\ldots ,T_{d})$ that satisfies this property by taking the quotient with respect to the directional regionally proximal relation. Finally, we completely describe distal $\mathbb{Z}^{d}$ -systems that enjoy the unique closing parallelepiped property and provide explicit examples.

In this paper, it is shown that if a dynamical system is null and distal, then it is equicontinuous. It turns out that a null system with closed proximal relation is mean equicontinuous. As a direct application, it follows that a null dynamical system with dense minimal points is also mean equicontinuous. Meanwhile, a distal system with trivial $\text{Ind}_{\text{fip}}$ -pairs and a non-trivial regionally proximal relation of order $\infty$ are constructed.

We construct a multiply Xiong chaotic set with full Hausdorff dimension everywhere that is contained in some multiply proximal cell for the full shift over finite symbols and the Gauss system, respectively.

A nilspace system is a generalization of a nilsystem, consisting of a compact nilspace $\text{X}$ equipped with a group of nilspace translations acting on $\text{X}$ . Nilspace systems appear in different guises in several recent works and this motivates the study of these systems per se as well as their relation to more classical types of systems. In this paper we study morphisms of nilspace systems, i.e., nilspace morphisms with the additional property of being consistent with the actions of the given translations. A nilspace morphism does not necessarily have this property, but one of our main results shows that it factors through some other morphism which does have the property. As an application we obtain a strengthening of the inverse limit theorem for compact nilspaces, valid for nilspace systems. This is used in work of the first- and third-named authors to generalize the celebrated structure theorem of Host and Kra on characteristic factors.

In this paper we give an answer to Furstenberg’s problem on topological disjointness. Namely, we show that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if $(X,T)$ is weakly mixing and there is some countable dense subset $D$ of $X$ such that for any minimal system $(Y,S)$ , any point $y\in Y$ and any open neighbourhood $V$ of $y$ , and for any non-empty open subset $U\subset X$ , there is $x\in D\cap U$ such that $\{n\in \mathbb{Z}_{+}:T^{n}x\in U,S^{n}y\in V\}$ is syndetic. Some characterization for the general case is also given. By way of application we show that if a transitive system $(X,T)$ is disjoint from all minimal systems, then so are $(X^{n},T^{(n)})$ and $(X,T^{n})$ for any $n\in \mathbb{N}$ . It turns out that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if the hyperspace system $(K(X),T_{K})$ is disjoint from all minimal systems.

We investigate continuous transitive actions of semitopological groups on spaces, as well as separately continuous transitive actions of topological groups.

Let $\unicode[STIX]{x1D70B}:(X,T)\rightarrow (Y,S)$ be an extension between minimal systems; we consider its relative sensitivity. We obtain that $\unicode[STIX]{x1D70B}$ is relatively $n$ -sensitive if and only if the relative $n$ -regionally proximal relation contains a point whose coordinates are distinct; and the structure of $\unicode[STIX]{x1D70B}$ which is relatively $n$ -sensitive but not relatively $(n+1)$ -sensitive is determined. Let ${\mathcal{F}}_{t}$ be the families consisting of thick sets. We introduce notions of relative block ${\mathcal{F}}_{t}$ -sensitivity and relatively strong ${\mathcal{F}}_{t}$ -sensitivity. Let $\unicode[STIX]{x1D70B}:(X,T)\rightarrow (Y,S)$ be an extension between minimal systems. Then the following Auslander–Yorke type dichotomy theorems are obtained: (1)  $\unicode[STIX]{x1D70B}$ is either relatively block ${\mathcal{F}}_{t}$ -sensitive or $\unicode[STIX]{x1D719}:(X,T)\rightarrow (X_{\text{eq}}^{\unicode[STIX]{x1D70B}},T_{\text{eq}})$ is a proximal extension where $(X_{\text{eq}}^{\unicode[STIX]{x1D70B}},T_{\text{eq}})\rightarrow (Y,S)$ is the maximal equicontinuous factor of $\unicode[STIX]{x1D70B}$ . (2)  $\unicode[STIX]{x1D70B}$ is either relatively strongly ${\mathcal{F}}_{t}$ -sensitive or $\unicode[STIX]{x1D719}:(X,T)\rightarrow (X_{d}^{\unicode[STIX]{x1D70B}},T_{d})$ is a proximal extension where $(X_{d}^{\unicode[STIX]{x1D70B}},T_{d})\rightarrow (Y,S)$ is the maximal distal factor of $\unicode[STIX]{x1D70B}$ .

We study best proximity points in the framework of metric spaces with $w$ -distances. The results extend, generalise and unify several well-known fixed point results in the literature.

We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the ‘semi-generic’ complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of Angel et al [Random orderings and unique ergodicity of automorphism groups. J. Eur. Math. Soc., 16 (2014), 2059–2095], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in Zucker [Amenability and unique ergodicity of automorphism groups of Fraïssé structures. Fund. Math., 226 (2014), 41–61]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in Jasiński et al [Ramsey precompact expansions of homogeneous directed graphs. Electron. J. Combin., 21(4), (2014), 31] and the papers cited therein.

We consider generalised metrisability and cardinal invariants in quasitopological groups. We construct examples to show that some equalities of cardinal invariants in topological groups cannot be extended to quasitopological groups.

We first improve an old result of McMahon and show that a metric minimal flow whose enveloping semigroup contains less than $2^{\mathfrak{c}}$ (where $\mathfrak{c}=2^{\aleph _{0}}$ ) minimal left ideals is proximal isometric (PI). Then we show the existence of various minimal PI-flows with many minimal left ideals, as follows. For the acting group $G=\text{SL}_{2}(\mathbb{R})^{\mathbb{N}}$ , we construct a metric minimal PI $G$ -flow with $\mathfrak{c}$ minimal left ideals. We then use this example and results established in Glasner and Weiss. [On the construction of minimal skew-products. Israel J. Math.34 (1979), 321–336] to construct a metric minimal PI cascade $(X,T)$ with $\mathfrak{c}$ minimal left ideals. We go on to construct an example of a minimal PI-flow $(Y,{\mathcal{G}})$ on a compact manifold $Y$ and a suitable path-wise connected group ${\mathcal{G}}$ of a homeomorphism of $Y$ , such that the flow $(Y,{\mathcal{G}})$ is PI and has $2^{\mathfrak{c}}$ minimal left ideals. Finally, we use this latter example and a theorem of Dirbák to construct a cascade $(X,T)$ that is PI (of order three) and has $2^{\mathfrak{c}}$ minimal left ideals. Thus this final result shows that, even for cascades, the converse of the implication ‘less than $2^{\mathfrak{c}}$ minimal left ideals implies PI’, fails.

We extend Følner’s amenability criterion to the realm of general topological groups. Building on this, we show that a topological group $G$ is amenable if and only if its left-translation action can be approximated in a uniform manner by amenable actions on the set  $G$ . As applications we obtain a topological version of Whyte’s geometric solution to the von Neumann problem and give an affirmative answer to a question posed by Rosendal.

The group of ${\mathcal{C}}^{1}$ -diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson’s groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin’s higher-dimensional generalizations $nV$ of Thompson’s group $V$ arise when we consider products of central ternary Cantor sets. We derive that the ${\mathcal{C}}^{2}$ -smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.

We use the pointwise Lipschitz constant to define an upper Lyapunov exponent for maps on metric spaces different to that given by Kifer [‘Characteristic exponents of dynamical systems in metric spaces’, Ergodic Theory Dynam. Systems 3(1) (1983), 119–127]. We prove that this exponent reduces to that of Bessa and Silva on Riemannian manifolds and is not larger than that of Kifer at stable points. We also prove that it is invariant along orbits in the case of (topological) diffeomorphisms and under topological conjugacy. Moreover, the periodic orbits where this exponent is negative are asymptotically stable. Finally, we estimate this exponent for certain hyperbolic homeomorphisms.

We present a general framework for automatic continuity results for groups of isometries of metric spaces. In particular, we prove automatic continuity property for the groups of isometries of the Urysohn space and the Urysohn sphere, i.e. that any homomorphism from either of these groups into a separable group is continuous. This answers a question of Ben Yaacov, Berenstein and Melleray. As a consequence, we get that the group of isometries of the Urysohn space has unique Polish group topology and the group of isometries of the Urysohn sphere has unique separable group topology. Moreover, as an application of our framework we obtain new proofs of the automatic continuity property for the group $\text{Aut}([0,1],\unicode[STIX]{x1D706})$ , due to Ben Yaacov, Berenstein and Melleray and for the unitary group of the infinite-dimensional separable Hilbert space, due to Tsankov.

Ott, Tomforde and Willis proposed a useful compactification for one-sided shifts over infinite alphabets. Building from their idea, we develop a notion of two-sided shift spaces over infinite alphabets, with an eye towards generalizing a result of Kitchens. As with the one-sided shifts over infinite alphabets, our shift spaces are compact Hausdorff spaces but, in contrast to the one-sided setting, our shift map is continuous everywhere. We show that many of the classical results from symbolic dynamics are still true for our two-sided shift spaces. In particular, while for one-sided shifts the problem about whether or not any $M$ -step shift is conjugate to an edge shift space is open, for two-sided shifts we can give a positive answer for this question.

We introduce the open degree of a compact space, and we show that for every natural number  $n$ , the separable Rosenthal compact spaces of degree  $n$ have a finite basis.

A class of abelian topological groups was previously defined to be a variety of topological groups with coproducts if it is closed under forming subgroups, quotients, products and coproducts in the category of all abelian topological groups and continuous homomorphisms. This extended research on varieties of topological groups initiated by the second author. The key to describing varieties of topological groups generated by various classes was proving that all topological groups in the variety are a quotient of a subgroup of a product of groups in the generating class. This paper analyses generating varieties of topological groups with coproducts. It focuses on the interplay between forming products and coproducts. It is proved that the variety of topological groups with coproducts generated by all discrete groups contains topological groups which cannot be expressed as a quotient of a subgroup of a product of a coproduct of discrete groups. It is proved that the variety of topological groups with coproducts generated by any infinite-dimensional Hilbert space contains all infinite-dimensional Hilbert spaces, answering an open question. This contrasts with the result that a variety of topological groups generated by a topological group does not contain any infinite-dimensional Hilbert space of greater cardinality.

In this paper we first give a negative answer to a question of Amini-Harandi [‘Best proximity point theorems for cyclic strongly quasi-contraction mappings’, J. Global Optim. 56 (2013), 1667–1674] on a best proximity point theorem for cyclic quasi-contraction maps. Then we prove some new results on best proximity point theorems that show that results of Amini-Harandi for cyclic strongly quasi-contractions are true under weaker assumptions.

In this paper, we establish a convergence theorem for fixed points of generalised weak contractions in complete metric spaces under some new control conditions on the functions. An illustrative example of a generalised weak contraction is discussed to show how the new conditions extend known results.