arXiv subjects

Dominik Kwietniak

Publications and source records attributed to Dominik Kwietniak.

At least 19 recordsLinked to original sources

arXiv2026

The conjugacy and flip conjugacy problem for Cantor minimal systems

We prove that topological conjugacy and flip conjugacy of minimal homeomorphisms of a Cantor space are complete analytic relations and hence are not Borel. We also prove that mutual reducibility by injective continuous graph homomorphisms and topological graph isomorphism are complete analytic relations on the space of nonempty compact graphs on a fixed Cantor vertex space with continuous chromatic number two. Both relations remain complete analytic on the larger space of nonempty compact graphs on the same Cantor vertex space with continuous chromatic number two or three.

math.DS↗

arXiv2026

Spectrum of invariant measures via generic points

We describe the spectrum of an ergodic invariant measure by examining the behaviour of its generic points. We define regular Wiener--Wintner generic points for a measure to generalise the characterisation of generic points for discrete spectrum measure from Lenz et al. [Ergodic Theory and Dynamical Systems vol. \textbf{44} (2024), no. 2, 524--568]. We also study limits of sequences of generic points with respect to the Besicovitch pseudometric. This translates to results about limits of measures with respect to the metric rho-bar $\barρ$ generalising Ornstein's d-bar metric. We study how the spectrum behaves when passing to the limit and we prove that points generic for discrete spectrum, totally ergodic, or (weakly) mixing measures, property K, zero entropy measures form a closed set with respect to the Besicovitch pseudometric. Hence, the same holds for corresponding measures with respect to the rho-bar metric. Our methods have already been used to prove existence of ergodic measures with desired properties, in particular with discrete spectrum. They also lead to a new proof of rational discrete spectrum of the Mirsky measure associated with a given set of $\mathscr B$-free numbers.

math.DS↗

arXiv2026

On entropy of pure mixing maps on dendrites

For every $0<α\le\infty$ we construct a continuous pure mixing map (topologically mixing, but not exact) on the Gehman dendrite with topological entropy $α$. It has been previously shown by Špitalský that there are exact maps on the Gehman dendrite with arbitrarily low positive topological entropy. Together, these results show that the entropy of maps on the Gehman dendrite does not exhibit the paradoxical behaviour reported for graph maps, where the infimum of the topological entropy of exact maps is strictly smaller than the infimum of the entropy of pure mixing maps. The latter result, stated in terms of popular notions of chaos, says that for maps on graphs, lower entropy implies stronger Devaney chaos. The conclusion of this paper says that lower entropy does not force stronger chaos for maps of the Gehman dendrite.

math.DS↗

arXiv2026

On mixing and dense periodicity on spaces with a free arc

We study the dynamics of continuous maps on compact metric spaces containing a free interval (an open subset homeomorphic to the interval $(0,1)$). We provide a new proof of a result of M. Dirbák, Ľ. Snoha, V. Špitalský [Ergodic Theory Dynam. Systems, vol. 33 (2013), no. 6, pp. 1786--1812] saying that every continuous and transitive, but non-minimal map of a space with a free interval is relatively mixing, non-invertible, has positive topological entropy, and dense periodic points. The key simplification comes from short proofs of two facts. The first says that every weakly mixing map of a space with a free interval must be mixing and have positive entropy. The second says that a transitive but not minimal map of a space with a free interval has dense periodic points and is non-invertible.

math.DS↗

arXiv2025

Feldman-Katok pseudometric and the GIKN construction of nonhyperbolic ergodic measures

The GIKN construction was introduced by Gorodetski, Ilyashenko, Kleptsyn, and Nalsky in [Functional Analysis and its Applications, 39 (2005), 21--30]. It gives a nonhyperbolic ergodic measure which is a weak$^*$ limit of a special sequence of measures supported on periodic orbits. This method was later adapted by numerous authors and provided examples of nonhyperbolic invariant measures in various settings. We prove that the result of the GIKN construction is always a loosely Kronecker measure in the sense of Ornstein, Rudolph, and Weiss (equivalently, standard measure in the sense of Katok, another name is loosely Bernoulli measure with zero entropy). For a proof we introduce and study the Feldman-Katok pseudometric $\bar{F_{K}}$. The pseudodistance $\bar{F_{K}}$ is a topological counterpart of the $\bar f$ metric for finite-state stationary stochastic processes introduced by Feldman and, independently, by Katok, later developed by Ornstein, Rudolph, and Weiss. We show that every measure given by the GIKN construction is the $\bar{F_{K}}$-limit of a sequence of periodic measures. On the other hand we prove that a measure which is the $\bar{F_{K}}$-limit of a sequence of ergodic measures is ergodic and its entropy is smaller or equal than the lower limit of entropies of measures in the sequence. Furthermore we demonstrate that $\bar{F_{K}}$-Cauchy sequence of periodic measures tends in the weak$^*$ topology either to a periodic measure or to a loosely Kronecker measure.

math.DS↗

arXiv2025

A note on logarithmic mean equicontinuity

We study the set of harmonic limits of empirical measures in topological dynamical systems. We obtain a characterization of unique ergodicity based of logarithmic (harmonic) mean convergence in place of Cesàro convergence. We introduce logarithmic mean equicontinuity and show that a topological dynamical system is logarithmically mean equicontinuous if and only if it is mean equicontinuous.

math.DS↗

arXiv2025

Equilibrium states by synchronization, symbolic extensions, and factors

We combine the two classical topological concepts, time-preserving topological factors and synchronizing time-changes of a continuous flow, and explore some of their thermodynamic consequences. Particular focus is put on equilibrium states and, in particular, measures of maximal entropy, with emphasis on geodesic flows on rank-one surfaces of nonpositive curvature and their time-preserving expansive topological factors for which we investigate the scaled geometric potentials.

math.DS↗

arXiv2025

Even the vague specification property implies density of ergodic measures

We prove that if a topological dynamical system $(X,T)$ is surjective and has the vague specification property, then its ergodic measures are dense in the space of all invariant measures. The vague specification property generalises Bowen's classical specification property and encompasses the majority of the extensions of the specification property introduced so far. The proof proceeds by first considering the natural extension $X_T$ of $(X,T)$ as a subsystem of the shift action on the space $X^\mathbb{Z}$ of $X$-valued biinfinite sequences. We then construct a sequence of subsystems of $X^\mathbb{Z}$ that approximate $X_T$ in the Hausdorff metric induced by a metric compatible with the product topology on $X^\mathbb{Z}$. The approximating subsystems consist of $δ$-chains for $δ$ decreasing to $0$. We show that chain mixing implies that each approximating system possesses the classical periodic specification property. Furthermore, we use vague specification to prove that our approximating subsystems of $X^\mathbb{Z}$ converge to $X_T$ in the Hausdorff metric induced the Besicovitch pseudometric. It follows that the simplices of invariant measures of these subsystems of $δ$-chains converge to the simplex of invariant measures of $X_T$ with respect to a generalised version of Ornstein's $\bar{d}$ metric. What is more, the density of ergodic measures is preserved in the limit. The proof concludes by observing that the simplices of invariant measures for $X_T$ and $(X,T)$ coincide. The approximation technique developed in this paper appears to be of independent interest.

math.DS↗

arXiv2025

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties

We study criteria for the existence of a dense or comeager conjugacy class in the automorphism group of a given measure on the Cantor space. We concentrate on good measures, defined by Akin [\emph{Trans.\ Amer.\ Math.\ Soc.} \textbf{357} (2005), no. 7, 2681--2722], which we characterize as a particular subclass of ultrahomogeneous measures. We determine good measures with rational values on clopen sets whose automorphism group admits a comeager conjugacy class. Our approach uses the Fraïssé theory.

math.LO↗

arXiv2025

Bowen's Problem 32 and the conjugacy problem for systems with specification

We show that Rufus Bowen's Problem 32 on the classification of symbolic systems with the specification property does not admit a solution that would use concrete invariants. To this end, we construct a class of symbolic systems with the specification property and show that the conjugacy relation on this class is too complicated to admit such a classification. More generally, we gauge the complexity of the classification problem for symbolic systems with the specification property. Along the way, we also provide answers to two questions related to the classification of pointed systems with the specification property: to a question of Ding and Gu related to the complexity of the classification of pointed Cantor systems with the specification property and to a question of Bruin and Vejnar related to the complexity of the classification of pointed Hilbert cube systems with the specification property.

math.LO↗

arXiv2024

Minimal and proximal examples of $\bar{d}$-stable and $\bar{d}$-approachable shift spaces

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 were introduced by Konieczny, Kupsa, and Kwietniak [in \emph{Ergodic Theory and Dynamical Systems}, vol. \textbf{43} (2023), issue 3, pp. 943--970]. These notions were developed with the aim to significantly generalize specification properties. Indeed, many popular variants of the specification property, including the classic one and 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}^H$ between shift spaces induced by $\bar{d}$ is the same as the Hausdorff distance between their simiplices of invariant measures with respect to the Hausdorff distance induced by the 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 our earlier paper [op. cit.]. It shows that $\bar{d}$-shadowing indeed generalises the specification property.

math.DS↗

arXiv2023

The descriptive complexity of the set of Poisson generic numbers

Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the effective versions of these results hold in the effective Borel hierarchy.

math.LO↗

arXiv2023

On the properties of the mean orbital pseudo-metric

Given a topological dynamical system $(X,T)$, we study properties of the mean orbital pseudo-metric $\bar E$ defined by \[ \bar E(x,y)= \limsup_{n\to\infty } \min_{σ\in S_n}\frac{1}{n}\sum_{k=0}^{n-1}d(T^k(x),T^{σ(k)}(y)), \] where $x,y\in X$ and $S_n$ is the permutation group of $\{0,1,\ldots,n-1\}$. Let $\hatω_T(x)$ denote the set of measures quasi-generated by a point $x\in X$. We show that the map $x\mapsto\hatω_T(x)$ is uniformly continuous if $X$ is endowed with the pseudo-metric $\bar E$ and the space of compact subsets of the set of invariant measures is considered with the Hausdorff distance. We also obtain a new characterisation of $\bar E$-continuity, which connects it to other properties studied in the literature, like continuous pointwise ergodicity introduced by Downarowicz and Weiss. Finally, we apply our results to reprove some known results on $\bar E$-continuous and mean equicontinuous systems.

math.DS↗

arXiv2023

Amorphic complexity of group actions with applications to quasicrystals

In this article, we define amorphic complexity for actions of locally compact $σ$-compact amenable groups on compact metric spaces. Amorphic complexity, originally introduced for $\mathbb Z$-actions, is a topological invariant which measures the complexity of dynamical systems in the regime of zero entropy. We show that it is tailor-made to study strictly ergodic group actions with discrete spectrum and continuous eigenfunctions. This class of actions includes, in particular, Delone dynamical systems related to regular model sets obtained via Meyer's cut and project method. We provide sharp upper bounds on amorphic complexity of such systems. In doing so, we observe an intimate relationship between amorphic complexity and fractal geometry.

math.DS↗

arXiv2022

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property

We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $α$-Birkhoff regular sets and the irregular set appearing in multifractal analysis of ergodic averages of a continuous real-valued function). We show that many of these sets are Borel. In fact, all these sets are Borel when we assume that our space is compact. We provide examples of these sets being non-Borel, properly placed at the first level of the projective hierarchy (they are complete analytic or co-analytic). This proves that the compactness assumption is in some cases necessary to obtain Borelness. When these sets are Borel, we use the Borel hierarchy to measure their descriptive complexity. We show that the sets of interest are located at most at the third level of the hierarchy. We also use a modified version of the specification property to show that for many dynamical systems these sets are properly located at the third level. To demonstrate that the specification property is a sufficient, but not necessary condition for maximal descriptive complexity of a set of generic points, we provide an example of a compact minimal system with an invariant measure whose set of generic points is $Π^0_3$-complete.

math.DS↗

arXiv2022

On $\bar{d}$-approachability, entropy density and $\mathscr{B}$-free shifts

We study approximation schemes for shift spaces over a finite alphabet using (pseudo)metrics connected to Ornstein's $\bar{d}$ metric. This leads to a class of shift spaces we call $\bar{d}$-approachable. A shift space $\bar{d}$-approachable when its canonical sequence of Markov approximations converges to it also in the $\bar{d}$ sense. We give a topological characterisation of chain mixing $\bar{d}$-approachable shift spaces. As an application we provide a new criterion for entropy density of ergodic measures. Entropy-density of a shift space means that every invariant measure $μ$ of such a shift space is the weak$^*$ limit of a sequence $μ_n$ of ergodic measures with the corresponding sequence of entropies $h(μ_n)$ converging to $h(μ)$. We prove ergodic measures are entropy-dense for every shift space that can be approximated in the $\bar{d}$ pseudometric by a sequence of transitive sofic shifts. This criterion can be applied to many examples that were out of the reach of previously known techniques including hereditary $\mathscr{B}$-free shifts and some minimal or proximal systems. The class of symbolic dynamical systems covered by our results includes also shift spaces where entropy density was established previously using the (almost) specification property.

math.DS↗

arXiv2021

Uniform continuity of entropy rate with respect to the $\bar f$-pseudometric

Assume that a sequence $x=x_0x_1\ldots$ is frequency-typical for a finite-valued stationary stochastic process $\textbf X$. We prove that the function associating to $x$ the entropy-rate $\bar H(\textbf X)$ of $\textbf X$ is uniformly continuous when one endows the set of all frequency-typical sequences with the $\bar f$ pseudometric. As a consequence, we obtain the same result for the $\bar d$ pseudometric. We also give an alternative proof of the Abramov formula for the Kolmogorov-Sinai entropy of the induced measure-preserving transformation.

math.DS↗

arXiv2020

On topological models of zero entropy loosely Bernoulli systems

We provide a purely topological characterisation of uniquely ergodic topological dynamical systems (TDSs) whose unique invariant measure is zero entropy loosely Bernoulli (following Ratner, we call such measures loosely Kronecker). At the heart of our proofs lies Feldman-Katok continuity (FK-continuity for short), that is, continuity with respect to the change of metric to the Feldman-Katok pseudometric. Feldman-Katok pseudometric is a topological analog of f-bar (edit) metric for symbolic systems. We also study an opposite of FK-continuity, coined FK-sensitivity. We obtain a version of Auslander-Yorke dichotomies: minimal TDSs are either FK-continuous or FK-sensitive, and transitive TDSs are either almost FK-continuous or FK-sensitive.

math.DS↗