For $E \subset \mathbb {N}$, a subset $R \subset \mathbb {N}$ is E-intersective if for every $A \subset E$ having positive relative density, $R \cap (A - A) \neq \varnothing $. We say that R is chromatically E-intersective if for every finite partition $E=\bigcup _{i=1}^k E_i$, there exists i such that $R\cap (E_i-E_i)\neq \varnothing $. When $E=\mathbb {N}$, we recover the usual notions of intersectivity and chromatic intersectivity. We investigate to what extent the known intersectivity results hold in the relative setting when $E = \mathbb {P}$, the set of primes, or other sparse subsets of $\mathbb {N}$. Among other things, we prove the following: (1) the set of shifted Chen primes $\mathbb {P}_{\mathrm {Chen}} + 1$ is both intersective and $\mathbb {P}$-intersective; (2) there exists an intersective set that is not $\mathbb {P}$-intersective; (3) every $\mathbb {P}$-intersective set is intersective; (4) there exists a chromatically $\mathbb {P}$-intersective set which is not intersective (and therefore not $\mathbb {P}$-intersective).

We study piecewise injective, but not necessarily globally injective, contracting maps on a compact subset of ${\mathbb R}^d$. We prove that, generically, the attractor and the set of discontinuities of such a map are disjoint, and hence the attractor consists of periodic orbits. In addition, we prove that piecewise injective contractions are generically topologically stable.

Using tools from computable analysis, we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural systems one can think of are effective in this sense, including some group rotations, affine actions on the torus and finitely presented algebraic actions. We show that for finitely generated and recursively presented groups, every effective dynamical system is the topological factor of a computable action on an effectively closed subset of the Cantor space. We then apply this result to extend the simulation results available in the literature beyond zero-dimensional spaces. In particular, we show that for a large class of groups, many of these natural actions are topological factors of subshifts of finite type.

Due to a result by Glasner and Downarowicz [Isomorphic extensions and applications. Topol. Methods Nonlinear Anal. 48(1) (2016), 321–338], it is known that a minimal system is mean equicontinuous if and only if it is an isomorphic extension of its maximal equicontinuous factor. The majority of known examples of this type are almost automorphic, that is, the factor map to the maximal equicontinuous factor is almost one-to-one. The only cases of isomorphic extensions which are not almost automorphic are again due to Glasner and Downarowicz, who in the same article provide a construction of such systems in a rather general topological setting. Here, we use the Anosov–Katok method to provide an alternative route to such examples and to show that these may be realized as smooth skew product diffeomorphisms of the two-torus with an irrational rotation on the base. Moreover – and more importantly – a modification of the construction allows to ensure that lifts of these diffeomorphisms to finite covering spaces provide novel examples of finite-to-one topomorphic extensions of irrational rotations. These are still strictly ergodic and share the same dynamical eigenvalues as the original system, but show an additional singular continuous component of the dynamical spectrum.

We introduce and study two conditions on groups of homeomorphisms of Cantor space, namely the conditions of being vigorous and of being flawless. These concepts are dynamical in nature, and allow us to study a certain interplay between the dynamics of an action and the algebraic properties of the acting group. A group $G\leq \operatorname {Homeo}(\mathfrak {C})$ is vigorous if for any clopen set A and proper clopen subsets B and C of A, there is $\gamma \in G$ in the pointwise stabiliser of $\mathfrak {C}\backslash A$ with $B\gamma \subseteq C$. A nontrivial group $G\leq \operatorname {Homeo}(\mathfrak {C})$ is flawless if for all k and w a nontrivial freely reduced product expression on k variables (including inverse symbols), a particular subgroup $w(G)_\circ $ of the verbal subgroup $w(G)$ is the whole group. We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) flawless groups are both perfect and lawless, 3) vigorous groups are simple if and only if they are flawless, and, 4) the class of vigorous simple subgroups of $\operatorname {Homeo}(\mathfrak {C})$ is fairly broad (the class is closed under various natural constructions and contains many well known groups, such as the commutator subgroups of the Higman–Thompson groups $G_{n,r}$, the Brin-Thompson groups $nV$, Röver’s group $V(\Gamma )$, and others of Nekrashevych’s ‘simple groups of dynamical origin’).

Let $(X,\mu ,T,d)$ be a metric measure-preserving dynamical system such that three-fold correlations decay exponentially for Lipschitz continuous observables. Given a sequence $(M_k)$ that converges to $0$ slowly enough, we obtain a strong dynamical Borel–Cantelli result for recurrence, that is, for $\mu $-almost every $x\in X$,

$$ \begin{align*} \lim_{n \to \infty}\frac{\sum_{k=1}^{n} \mathbf{1}_{B_k(x)}(T^{k}x)} {\sum_{k=1}^{n} \mu(B_k(x))} = 1, \end{align*} $$

$\mu (B_k(x)) = M_k$

This paper studies various aspects of inverse limits of locally expanding affine linear maps on flat branched manifolds, which I call flat Wieler solenoids. Among the aspects studied are different types of cohomologies, the rates of mixing given by the Ruelle spectrum of the hyperbolic map acting on this space, and solutions of the cohomological equation in primitive substitution subshifts for Hölder functions. The overarching theme is that considerations of $\alpha $-Hölder regularity on Cantor sets go a long way.

We study shift spaces over a finite alphabet that can be approximated by mixing shifts of finite type in the sense of (pseudo)metrics connected to Ornstein’s $\bar {d}$ metric ($\bar {d}$-approachable shift spaces). The class of $\bar {d}$-approachable shifts can be considered as a topological analog of measure-theoretical Bernoulli systems. The notion of $\bar {d}$-approachability, together with a closely connected notion of $\bar {d}$-shadowing, was introduced by Konieczny, Kupsa, and Kwietniak [Ergod. Th. & Dynam. Sys. 43(3) (2023), 943–970]. These notions were developed with the aim of significantly generalizing specification properties. Indeed, many popular variants of the specification property, including the classic one and the almost/weak specification property, ensure $\bar {d}$-approachability and $\bar {d}$-shadowing. Here, we study further properties and connections between $\bar {d}$-shadowing and $\bar {d}$-approachability. We prove that $\bar {d}$-shadowing implies $\bar {d}$-stability (a notion recently introduced by Tim Austin). We show that for surjective shift spaces with the $\bar {d}$-shadowing property the Hausdorff pseudodistance ${\bar d}^{\mathrm {H}}$ between shift spaces induced by $\bar {d}$ is the same as the Hausdorff distance between their simplices of invariant measures with respect to the Hausdorff distance induced by Ornstein’s metric $\bar {d}$ between measures. We prove that without $\bar {d}$-shadowing this need not to be true (it is known that the former distance always bounds the latter). We provide examples illustrating these results, including minimal examples and proximal examples of shift spaces with the $\bar {d}$-shadowing property. The existence of such shift spaces was announced in the earlier paper mentioned above. It shows that $\bar {d}$-shadowing indeed generalizes the specification property.

Under certain conditions, we construct a countable Markov partition for pointwise hyperbolic diffeomorphism $f:M\rightarrow M$ on an open invariant subset $O\subset M$, which allows the Lyapunov exponents to be zero. From this partition, we define a symbolic extension that is finite-to-one and onto a subset of O that carries the same finite f-invariant measures as O. Our method relies upon shadowing theory of a recurrent-pointwise-pseudo-orbit that we introduce. As a canonical application, we estimate the number of closed orbits for f.

We extend previously known two-dimensional multiplication tiling systems that simulate multiplication by two natural numbers p and q in base $pq$ to higher dimensional multiplication tessellation systems. We develop the theory of these systems and link different multiplication tessellation systems with each other via macrotile operations that glue cubes in one tessellation system into larger cubes of another tessellation system. The macrotile operations yield topological conjugacies and factor maps between cellular automata performing multiplication by positive numbers in various bases.

Given a two-sided shift space on a finite alphabet and a continuous potential function, we give conditions under which an equilibrium measure can be described using a construction analogous to Hausdorff measure that goes back to the work of Bowen. This construction was previously applied to smooth uniformly and partially hyperbolic systems by the first author, Pesin, and Zelerowicz. Our results here apply to all subshifts of finite type and Hölder continuous potentials, but extend beyond this setting, and we also apply them to shift spaces with synchronizing words.

The definition of subshifts of finite symbolic rank is motivated by the finite rank measure-preserving transformations which have been extensively studied in ergodic theory. In this paper, we study subshifts of finite symbolic rank as essentially minimal Cantor systems. We show that minimal subshifts of finite symbolic rank have finite topological rank, and conversely, every minimal Cantor system of finite topological rank is either an odometer or conjugate to a minimal subshift of finite symbolic rank. We characterize the class of all minimal Cantor systems conjugate to a rank-$1$ subshift and show that it is dense but not generic in the Polish space of all minimal Cantor systems. Within some different Polish coding spaces of subshifts, we also show that the rank-1 subshifts are dense but not generic. Finally, we study topological factors of minimal subshifts of finite symbolic rank. We show that every infinite odometer and every irrational rotation is the maximal equicontinuous factor of a minimal subshift of symbolic rank $2$, and that a subshift factor of a minimal subshift of finite symbolic rank has finite symbolic rank.

We present a streamlined proof of a result essentially presented by the author in [Some counterexamples in topological dynamics. Ergod. Th. & Dynam. Sys. 28(4) (2008), 1291–1322], namely that for every set $S = \{s_1, s_2, \ldots \} \subset \mathbb {N}$ of zero Banach density and finite set A, there exists a minimal zero-entropy subshift $(X, \sigma )$ so that for every sequence $u \in A^{\mathbb {Z}}$, there is $x_u \in X$ with $x_u(s_n) = u(n)$ for all $n \in \mathbb {N}$. Informally, minimal deterministic sequences can achieve completely arbitrary behavior upon restriction to a set of zero Banach density. As a corollary, this provides counterexamples to the polynomial Sarnak conjecture reported by Eisner [A polynomial version of Sarnak’s conjecture. C. R. Math. Acad. Sci. Paris 353(7) (2015), 569–572] which are significantly more general than some recently provided by Kanigowski, Lemańczyk and Radziwiłł [Prime number theorem for analytic skew products. Ann. of Math. (2) 199 (2024), 591–705] and by Lian and Shi [A counter-example for polynomial version of Sarnak’s conjecture. Adv. Math. 384 (2021), Paper no. 107765] and shows that no similar result can hold under only the assumptions of minimality and zero entropy.

Two asymptotic configurations on a full $\mathbb {Z}^d$-shift are indistinguishable if, for every finite pattern, the associated sets of occurrences in each configuration coincide up to a finitely supported permutation of $\mathbb {Z}^d$. We prove that indistinguishable asymptotic pairs satisfying a ‘flip condition’ are characterized by their pattern complexity on finite connected supports. Furthermore, we prove that uniformly recurrent indistinguishable asymptotic pairs satisfying the flip condition are described by codimension-one (dimension of the internal space) cut and project schemes, which symbolically correspond to multidimensional Sturmian configurations. Together, the two results provide a generalization to $\mathbb {Z}^d$ of the characterization of Sturmian sequences by their factor complexity $n+1$. Many open questions are raised by the current work and are listed in the introduction.

For $\lambda \in (0,\,1/2]$ let $K_\lambda \subset \mathbb {R}$ be a self-similar set generated by the iterated function system $\{\lambda x,\, \lambda x+1-\lambda \}$. Given $x\in (0,\,1/2)$, let $\Lambda (x)$ be the set of $\lambda \in (0,\,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda (x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\,\ldots,\, y_p\in (0,\,1/2)$ there exists a full Hausdorff dimensional set of $\lambda \in (0,\,1/2]$ such that $y_1,\,\ldots,\, y_p \in K_\lambda$.

Given a countable group G and a G-flow X, a probability measure $\mu $ on X is called characteristic if it is $\mathrm {Aut}(X, G)$-invariant. Frisch and Tamuz asked about the existence of a minimal G-flow, for any group G, which does not admit a characteristic measure. We construct for every countable group G such a minimal flow. Along the way, we are motivated to consider a family of questions we refer to as minimal subdynamics: Given a countable group G and a collection of infinite subgroups $\{\Delta _i: i\in I\}$, when is there a faithful G-flow for which every $\Delta _i$ acts minimally?

The box-ball system (BBS), which was introduced by Takahashi and Satsuma in 1990, is a soliton cellular automaton. Its dynamics can be linearized by a few methods, among which the best known is the Kerov–Kirillov–Reschetikhin (KKR) bijection using rigged partitions. Recently, a new linearization method in terms of ‘slot configurations’ was introduced by Ferrari–Nguyen–Rolla–Wang, but its relations to existing ones have not been clarified. In this paper, we investigate this issue and clarify the relation between the two linearizations. For this, we introduce a novel way of describing the BBS dynamics using a carrier with seat numbers. We show that the seat number configuration also linearizes the BBS and reveals explicit relations between the KKR bijection and the slot configuration. In addition, by using these explicit relations, we also show that even in case of finite carrier capacity the BBS can be linearized via the slot configuration.

Feng and Huang [Variational principle for weighted topological pressure. J. Math. Pures Appl. (9) 106 (2016), 411–452] introduced weighted topological entropy and pressure for factor maps between dynamical systems and established its variational principle. Tsukamoto [New approach to weighted topological entropy and pressure. Ergod. Th. & Dynam. Sys. 43 (2023), 1004–1034] redefined those invariants quite differently for the simplest case and showed via the variational principle that the two definitions coincide. We generalize Tsukamoto’s approach, redefine the weighted topological entropy and pressure for higher dimensions, and prove the variational principle. Our result allows for an elementary calculation of the Hausdorff dimension of affine-invariant sets such as self-affine sponges and certain sofic sets that reside in Euclidean space of arbitrary dimension.

Pavlov [Adv. Math. 295 (2016), 250–270; Nonlinearity 32 (2019), 2441–2466] studied the measures of maximal entropy for dynamical systems with weak versions of specification property and found the existence of intrinsic ergodicity would be influenced by the assumptions of the gap functions. Inspired by these, in this article, we study the dynamical systems with non-uniform specification property. We give some basic properties these systems have and give an assumption for the gap functions to ensure the systems have the following five properties: CO-measures are dense in invariant measures; for every non-empty compact connected subset of invariant measures, its saturated set is dense in the total space; ergodic measures are residual in invariant measures; ergodic measures are connected; and entropy-dense. In addition, we will give examples to show the assumption is optimal.

We define a notion of substitution on colored binary trees that we call substreetution. We show that a point fixed by a substreetution may (or not) be almost periodic, and thus the closure of the orbit under the $\mathbb {F}_{2}^{+}$-action may (or not) be minimal. We study one special example: we show that it belongs to the minimal case and that the number of preimages in the minimal set increases just exponentially fast, whereas it could be expected a super-exponential growth. We also give examples of periodic trees without invariant measures on their orbit. We use our construction to get quasi-periodic colored tilings of the hyperbolic disk.