We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic.

Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m\geqslant 2$, the sequence $\lfloor p(n)\rfloor \hspace{0.2em}{\rm mod}\hspace{0.2em}m$ is never automatic.

We also prove that the conjecture is equivalent to the claim that the set of powers of an integer $k\geqslant 2$ is not given by a generalised polynomial.

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.

We show that Matui’s HK conjecture holds for groupoids of unstable equivalence relations and their corresponding $C^{\ast }$-algebras on one-dimensional solenoids.

We study the differentiability properties of the topological equivalence between a uniformly asymptotically stable linear nonautonomous system and a perturbed system with suitable nonlinearities. For this purpose, we construct a homeomorphism inspired in the Palmer's one restricted to the positive half line, studying additional continuity properties and providing sufficient conditions ensuring its Cr–smoothness.

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

A celebrated result by Bourgain and Wierdl states that ergodic averages along primes converge almost everywhere for $L^{p}$-functions, $p>1$, with a polynomial version by Wierdl and Nair. Using an anti-correlation result for the von Mangoldt function due to Green and Tao, we observe everywhere convergence of such averages for nilsystems and continuous functions.

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.

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 article, we consider a twisted partial action $\unicode[STIX]{x1D6FC}$ of a group $G$ on an associative ring $R$ and its associated partial crossed product $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$. We provide necessary and sufficient conditions for the commutativity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$ when the twisted partial action $\unicode[STIX]{x1D6FC}$ is unital. Moreover, we study necessary and sufficient conditions for the simplicity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$ in the following cases: (i) $G$ is abelian; (ii) $R$ is maximal commutative in $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$; (iii) $C_{R\ast _{\unicode[STIX]{x1D6FC}}^{w}G}(Z(R))$ is simple; (iv) $G$ is hypercentral. When $R=C_{0}(X)$ is the algebra of continuous functions defined on a locally compact and Hausdorff space $X$, with complex values that vanish at infinity, and $C_{0}(X)\ast _{\unicode[STIX]{x1D6FC}}G$ is the associated partial skew group ring of a partial action $\unicode[STIX]{x1D6FC}$ of a topological group $G$ on $C_{0}(X)$, we study the simplicity of $C_{0}(X)\ast _{\unicode[STIX]{x1D6FC}}G$ by using topological properties of $X$ and the results about the simplicity of $R\ast _{\unicode[STIX]{x1D6FC}}^{w}G$.

Let $(X_{A},\unicode[STIX]{x1D70E}_{A})$ be a shift of finite type and $\text{Aut}(\unicode[STIX]{x1D70E}_{A})$ its corresponding automorphism group. Associated to $\unicode[STIX]{x1D719}\in \text{Aut}(\unicode[STIX]{x1D70E}_{A})$ are certain Lyapunov exponents $\unicode[STIX]{x1D6FC}^{-}(\unicode[STIX]{x1D719}),\unicode[STIX]{x1D6FC}^{+}(\unicode[STIX]{x1D719})$, which describe asymptotic behavior of the sequence of coding ranges of $\unicode[STIX]{x1D719}^{n}$. We give lower bounds on $\unicode[STIX]{x1D6FC}^{-}(\unicode[STIX]{x1D719}),\unicode[STIX]{x1D6FC}^{+}(\unicode[STIX]{x1D719})$ in terms of the spectral radius of the corresponding action of $\unicode[STIX]{x1D719}$ on the dimension group associated to $(X_{A},\unicode[STIX]{x1D70E}_{A})$. We also give lower bounds on the topological entropy $h_{\text{top}}(\unicode[STIX]{x1D719})$ in terms of a distinguished part of the spectrum of the action of $\unicode[STIX]{x1D719}$ on the dimension group, but show that, in general, $h_{\text{top}}(\unicode[STIX]{x1D719})$ is not bounded below by the logarithm of the spectral radius of the action of $\unicode[STIX]{x1D719}$ on the dimension group.

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by

$$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$

$E_{\unicode[STIX]{x1D6FD}}$

$t\in [0,1)$

$t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$E_{2}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$K_{\unicode[STIX]{x1D6FD}}(t)$

$t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$

$\unicode[STIX]{x1D6FD}\in (1,2)$

We consider a one-parameter family of dynamical systems $W:[0,1]\rightarrow [0,1]$ constructed from a pair of monotone increasing diffeomorphisms $W_{i}$ such that $W_{i}^{-1}:$$[0,1]\rightarrow [0,1]$$(i=0,1)$. We characterise the set of symbolic itineraries of $W$ using an attractor $\overline{\unicode[STIX]{x1D6FA}}$ of an iterated closed relation, in the terminology of McGehee, and prove that there is a member of the family for which $\overline{\unicode[STIX]{x1D6FA}}$ is symmetrical.

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 show that systems with some specification properties are topologically or almost Borel universal, in the sense that any aperiodic subshift with lower entropy may be topologically or almost Borel embedded. This improves, with elementary tools, previous results of Quas and Soo [Ergodic universality of some topological dynamical systems. Trans. Amer. Math. Soc.368 (2016), 4137–4170].

We analyse local aspects of chaos for nonautonomous periodic dynamical systems in the context of generating autonomous dynamical systems and the possibility of disturbing them.

Let $X$ be a compact, metric and totally disconnected space and let $f:X\rightarrow X$ be a continuous map. We relate the eigenvalues of $f_{\ast }:\check{H}_{0}(X;\mathbb{C})\rightarrow \check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0, 1 is an eigenvalue. This stands in contrast with a classical inequality of Manning that bounds the entropy of $f$ below by the spectral radius of $f_{\ast }$.

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

Pullback attractors with forwards unbounded behaviour are to be found in the literature, but not much is known about pullback attractors with each and every section being unbounded. In this paper, we introduce the concept of unbounded pullback attractor, for which the sections are not required to be compact. These objects are addressed in this paper in the context of a class of non-autonomous semilinear parabolic equations. The nonlinearities are assumed to be non-dissipative and, in addition, defined in such a way that the equation possesses unbounded solutions as the initial time goes to -∞, for each elapsed time. Distinct regimes for the non-autonomous term are taken into account. Namely, we address the small non-autonomous perturbation and the asymptotically autonomous cases.

Furstenberg’s $\times 2\times 3$ theorem asserts that the double sequence $(2^{m}3^{n}\unicode[STIX]{x1D6FC})_{m,n\geq 1}$ is dense modulo one for every irrational $\unicode[STIX]{x1D6FC}$. The same holds with $2$ and $3$ replaced by any two multiplicatively independent integers. Here we obtain the same result for the sequences $((\begin{smallmatrix}m+n\\ d\end{smallmatrix})a^{m}b^{n}\unicode[STIX]{x1D6FC})_{m,n\geq 1}$ for any non-negative integer $d$ and irrational $\unicode[STIX]{x1D6FC}$, and for the sequence $(P(m)a^{m}b^{n})_{m,n\geq 1}$, where $P$ is any polynomial with at least one irrational coefficient. Similarly to Furstenberg’s theorem, both results are obtained by considering appropriate dynamical systems.

By an assignment we mean a mapping from a Choquet simplex $K$ to probability measure-preserving systems obeying some natural restrictions. We prove that if $\unicode[STIX]{x1D6F7}$ is an aperiodic assignment on a Choquet simplex $K$ such that the set of extreme points $\mathsf{ex}K$ is a countable union $\bigcup _{n}E_{n}$, where each set $E_{n}$ is compact, zero-dimensional and the restriction of $\unicode[STIX]{x1D6F7}$ to the Bauer simplex $K_{n}$ spanned by $E_{n}$ can be ‘embedded’ in some topological dynamical system, then $\unicode[STIX]{x1D6F7}$ can be ‘realized’ in a zero-dimensional system.