arXiv subjects

Till Hauser

Publications and source records attributed to Till Hauser.

16 recordsLinked to original sources

arXiv2026

Mean Equicontinuity and Related Properties in Hyperspace and Measure Dynamics

For a dynamical system $(X,T)$ we consider the induced dynamical systems $(\myper(X),T)$ and $(\hyper(X),T)$, consisting of Borel probability measures and closed non-empty subsets, respectively. We show that diam-mean equicontinuity of $(X,T)$ is equivalent to the diam-mean equicontinuity of $(\myper(X),T)$. Furthermore, we establish that $(X,T)$ is mean equicontinuous, iff $(\myper(X),T)$ is mean equicontinuous, iff $(\myper(X),T)$ is weakly-mean equicontinuous. For $(\hyper(X),T)$ the situation is different. It is not hard to see that the diam-mean equicontinuity of $(\hyper(X),T)$ implies the diam-mean equicontinuity of $(X,T)$. We provide examples for which $(X,T)$ is diam-mean equicontinuous, while $(\hyper(X),T)$ is not diam-mean equicontinuous. We prove that $(\hyper(X),T)$ is diam-mean equicontinuous, iff $(\hyper(X),T)$ is mean equicontinuous, iff $(\hyper(X),T)$ is weakly-mean equicontinuous. We present our results in the context of continuous surjective maps $T\colon X\to X$ and discuss why they also hold for actions of locally compact $\sigma$-compact amenable groups.

math.DS↗

arXiv2026

Induced dynamics and quasifactors for minimal equicontinuous actions on Stone spaces

A minimal equicontinuous action of a group $G$ on a Stone space $X$ is called a subodometer. If such a subodometer arises from a group rotation, we refer to it as an odometer. For subodometers $(X,G)$ we show that the hyperspace $\mathcal{H}(X)$ - given by all closed subsets of $X$ and the Vietoris topology - decomposes into subodometers. We show that an infinite subodometer is an odometer if and only if $\mathcal{H}(X)$ decomposes into factors of $(X,G)$. Similarly, we consider $\mathcal{M}(X)$, the space of regular Borel probability measures equipped with the weak-* topology. We show that for a subodometer $(X,G)$ also the connected space $\mathcal{M}(X)$ decomposes into subodometers. We prove that an infinite subodometer $(X,G)$ is an odometer if and only if $\mathcal{M}(X)$ decomposes into factors of $(X,G)$. For this, we study different notions of regular recurrence. Furthermore, we study the disjointness of minimal actions to subodometers and show that this disjointness can be detected from the pairwise disjointness of finite factors. Using this we prove that a minimal action is disjoint from all subodometers if and only if it has a connected maximal equicontinuous factor.

math.DS↗

arXiv2026

Minimal Equicontinuous Actions on Stone Spaces

In this article we study minimal equicontinuous actions on Stone spaces, which we call \emph{subodometers}, and do neither assume that the space is metrizable, nor any assumptions on the acting group. We show that the set of eigenvalues is a complete invariant for subodometers. Furthermore, we characterize minimal rotations on Stone spaces, which we call \emph{odometers}, via the intersection stability of their sets of eigenvalues. We show that any non-empty family of odometers allows for a minimal common extension and a maximal common factor, that both are odometers and that they are unique up to conjugacy. We provide examples that a similar statement does not hold for subodometers. We show that subodometers are given as inverse limits of minimal finite actions, that odometers are given as inverse limits of minimal finite rotations, and present how the minimal common extension and the maximal common factor of a non-empty family of odometers can be represented as an inverse limit. We establish that a minimal action $X$ is a subodometer if and only if its Ellis semigroup $E(X)$ is an odometer, and present how an inverse limit representation of $E(X)$ can be derived from the representation of $X$. Furthermore, we establish the existence of a universal odometer that has all subodometers as factors; as well as the existence of a maximal subodometer factor, and a maximal odometer factor of a given minimal action.

math.DS↗

arXiv2026

The maximal mean equicontinuous factor via regional mean sensitivity

For actions of amenable groups, mean equicontinuity-a natural relaxation of equicontinuity obtained by averaging metrics along orbits-is well known to yield a maximal mean equicontinuous factor. In 2021, Li and Yu introduced the notion of weak sensitivity in the mean for actions of $\mathbb{Z}$ to gain a deeper understanding of this phenomenon, building on earlier work by Qiu and Zhao. We demonstrate that this relation is insufficient for actions of non-Abelian groups. To overcome this limitation, we introduce the regional mean sensitive relation, which more precisely captures the dynamical behaviour underlying the maximal mean equicontinuous factor. We discuss its fundamental properties and highlight its advantages in the non-Abelian setting. In particular, we show that mean equicontinuity is equivalent to the nonexistence of non-diagonal regional mean sensitive pairs. For this, we work in the context of actions of $\sigma$-compact and locally compact amenable groups.

math.DS↗

arXiv2025

Mean Diameter, Regularity and Diam-Mean Equicontinuity

In the context of (not necessarily minimal) actions, we consider the mean diameter and use it to characterize regular factor maps. Building on this characterization, we prove that an action is diam-mean equicontinuous if and only if it is a regular extension of its maximal equicontinuous factor. Furthermore, we establish the existence of a maximal diam-mean equicontinuous factor and discuss stability properties of regular factor maps. For this, we work in the context of actions of locally compact and $\sigma$-compact amenable groups.

math.DS↗

arXiv2025

A note on the structural stability of almost one-to-one maps

A continuous surjection $\pi:X\to Y$ between compact Hausdorff spaces induces continuous surjections $\mathcal{M}(\pi)\colon \mathcal{M}(X)\to\mathcal{M}(Y)$ and $\mathcal{H}(\pi): \mathcal{H}(X)\to\mathcal{H}(Y)$ between the spaces of regular Borel probability measures, and the spaces of closed subsets, respetively. It is well known that $\mathcal{H}(\pi)$ is irreducible if and only if $\pi$ is irreducible. We show that $\mathcal{M}(\pi)$ is irreducible if and only if $\pi$ is irreducible. Furthermore, we show that whenever $\pi$ is almost one-to-one then $\mathcal{M}(\pi)$ and $\mathcal{H}(\pi)$ are almost one-to-one. In particular, we observe that continuous surjections between compact metric spaces are almost one-to-one if and only if $\mathcal{H}(\pi)$ is almost one-to-one and a similar statement about $\mathcal{M}(\pi)$. Finally, we give alternative proofs for some results in 'Characterizations of open and semi-open maps of compact Hausdorff spaces by induced maps' by Xiongping Dai and Yuxuan Xie regarding semi-open maps.

math.DS↗

arXiv2025

Entropy based lower dimension bounds for finite-time prediction of Dynamic Mode Decomposition algorithms

Motivated by Dynamic Mode Decomposition algorithms, we provide lower bounds on the dimension of a finite-dimensional subspace $F \subseteq \mathrm{L}^2(\mathrm{X})$ required for predicting the behavior of dynamical systems over long time horizons. We distinguish between two cases: (i) If $F$ is determined by a finite partition of $X$ we derive a lower bound that depends on the dynamical measure-theoretic entropy of the partition. (ii) We consider general finite-dimensional subspaces $F$ and establish a lower bound for the dimension of $F$ that is contingent on the spectral structure of the Koopman operator of the system, via the approximation entropy of $F$ as studied by Voiculescu. Furthermore, we motivate the use of delay observables to improve the predictive qualities of Dynamic Mode Decomposition algorithms.

math.DS↗

arXiv2024

Mean equicontinuous factor maps

Mean equicontinity is a well studied notion for actions. We propose a definition of mean equicontinuous factor maps that generalizes mean equicontinuity to the relative context. For this we work in the context of countable amenable groups. We show that a factor map is equicontinuous, if and only if it is mean equicontinuous and distal. Furthermore, we show that a factor map is topo-isomorphic, if and only if it is mean equicontinuous and proximal. We present that the notions of topo-isomorphy and Banach proximality coincide for all factor maps. In the second part of the paper we turn our attention to decomposition and composition properties. It is well known that a mean equicontinuous action is a topo-isomorphic extension of an equicontinuous action. In the context of minimal and the context of weakly mean equicontinuous actions, respectively, we show that any mean equicontinuous factor map can be decomposed into an equicontinuous factor map after a topo-isomorphic factor map. Furthermore, for factor maps between weakly mean equicontinuous actions we show that a factor map is mean equicontinuous, if and only if it is the composition of an equicontinuous factor map after a topo-isomorphic factor map. We will see that this decomposition is always unique up to conjugacy.

math.DS↗

arXiv2023

On the continuity of F{\o}lner averages

It is known that if each point $x$ of a dynamical system is generic for some invariant measure $\mu_x$, then there is a strong connection between certain ergodic and topological properties of that system. In particular, if the acting group is abelian and the map $x\mapsto \mu_x$ is continuous, then every orbit closure is uniquely ergodic. In this note, we show that if the acting group is not abelian, orbit closures may well support more than one ergodic measure even if $x\mapsto \mu_x$ is continuous. We provide examples of such a situation via actions of the group of all orientation-preserving homeomorphisms on the unit interval as well as the Lamplighter group. To discuss these examples, we need to extend the existing theory of weakly mean equicontinuous group actions to allow for multiple ergodic measures on orbit closures and to allow for actions of general amenable groups. These extensions are achieved by adopting an operator-theoretic approach.

math.DS↗

arXiv2022

Entropy of group actions beyond uniform lattices

Entropy of measure preserving or continuous actions of amenable discrete groups allows for various equivalent approaches. Among them are the ones given by the techniques developed by Ollagnier and Pinchon on the one hand and the Ornstein-Weiss lemma on the other. We extend these two approaches to the context of actions of amenable topological groups. In contrast to the discrete setting, our results reveal a remarkable difference between the two concepts of entropy in the realm of non-discrete groups: while the first quantity collapses to 0 in the non-discrete case, the second yields a well-behaved invariant for amenable unimodular groups. Concerning the latter, we moreover study the corresponding notion of topological pressure, prove a Goodwyn-type theorem, and establish the equivalence with the uniform lattice approach (for locally compact groups admitting a uniform lattice). Our study elaborates on a version of the Ornstein-Weiss lemma due to Gromov.

math.DS↗

arXiv2020

Pure point diffraction and entropy beyond the Euclidean space

For Euclidean pure point diffractive Delone sets of finite local complexity and with uniform patch frequencies it is well known that the patch counting entropy computed along the closed centred balls is zero. We consider such sets in the setting of sigma-compact locally compact Abelian groups and show that the topological entropy of the associated Delone dynamical system is zero. For this we provide a suitable version of the variational principle. We furthermore construct counterexamples, which show that the patch counting entropy of such sets can be non-zero in this context. Other counterexamples will show that the patch counting entropy of such a set can not be computed along a limit and even be infinite in this setting.

math.DS↗

arXiv2019

Topological concepts in partially ordered vector spaces

In the context of partially ordered vector spaces one encounters different sorts of order convergence and order topologies. This article will investigate these notions and their relations. In particular we study and relate the order topology presented by Floyd, Vulikh and Dobbertin, the order bound topology studied by Namioka and the concept of order convergence given in the works of Abramovich, Sirotkin,Wolk and Vulikh.

math.FA↗

arXiv2019

A Note on Entropy of Delone Sets

In this note we present that the patch counting entropy can be obtained as a limit and investigate which sequences of compact sets are suitable to define this quantity. We furthermore present a geometric definition of patch counting entropy for Delone sets of infinite local complexity and that the patch counting entropy of a Delone set equals the topological entropy of the corresponding Delone dynamical system. We present our results in the context of (non-compact) locally compact Abelian groups that contain Meyer sets.

math.DS↗

arXiv2019

Relative topological entropy for actions of non-discrete groups on compact spaces in the context of cut and project schemes

In the study of aperiodic order via dynamical methods, topological entropy is an important concept. In this paper, parts of the theory, like Bowen's formula for fibre wise entropy or the independence of the definition from the choice of a Van Hove sequence, are extended to actions of several non-discrete groups. To establish these results, we will show that the Ornstein-Weiss lemma is valid for all considered groups which appear in the study of cut and project schemes.

math.DS↗

arXiv2017

Monotonicity of maximal equicontinuous factors and an application to toral flows

We show that for group actions on locally connected spaces the maximal equicontinuous factor map is always monotone, that is, the preimages of single points are connected. As an application, we obtain that if the maximal continuous factor of a homeomorphism of the two-torus is minimal, then it is either (i) an irrational translation of the two-torus, (ii) an irrational rotation on the circle or (iii) the identity on a singleton.

math.DS↗

arXiv2017

Order continuity from a topological perspective

We study three types of order convergence and related concepts of order continuous maps in partially ordered sets, partially ordered abelian groups and partially ordered vector spaces, respectively. An order topology is introduced such that in the latter two settings under mild conditions order continuity is a topological property. We present a generalisation of the Ogasawara theorem on the structure of the set of order continuous operators.

math.FA↗