arXiv subjects

Maik Gröger

Publications and source records attributed to Maik Gröger.

16 recordsLinked to original sources

arXiv2026

Period spectrum and rigidity of interval maps

We study the extent to which periodic orbits determine a one-dimensional dynamical system. In particular, we show that they determine every topologically mixing interval map. More generally, for a non-mixing interval map $f$ with dense periodic points, the periodic orbits need not determine $f$, but they always do so for $f^2$. Finally, for maps on compact intervals, we obtain a local version of this rigidity: for each basic set $B$ arising in the spectral decomposition of an interval map $f$, there exists an iterate $f^q$ whose restriction to $B$ is determined by the periodic orbits of $f$.

math.DS↗

arXiv2026

Group actions with almost normal stabilizers

In this paper, we consider minimal group actions of countable groups on compact Hausdorff spaces by homeomorphisms. We show that the existence of a point with finite stabilizer imposes strong restrictions on the dynamics: the residual set of points then has stabilizers conjugate to the same almost normal subgroup of the acting group. Under certain conditions on the acting group such an action also has no essential holonomy. If the acting group is residually finite, we show that every group action with finite almost normal stabilizers with no essential holonomy arises as an almost finite-to-one factor of an essentially free action.

math.DS↗

arXiv2026

Tameness, nullness, and amorphic complexity of automatic systems

In topological dynamics, tame and null systems arise naturally in the study of low-complexity aperiodic behaviour, yet providing concrete and easily testable conditions to establish their existence in a canonical class of systems is often nontrivial. We give a complete characterisation of tameness and nullness for minimal automatic systems generated by primitive constant length substitutions in terms of amorphic complexity -- a numerical invariant recently introduced to study zero entropy systems. We derive an easily computable closed formula for this invariant in this setting and show that, for infinite automatic systems, tameness and nullness are equivalent to its value being one.

math.DS↗

arXiv2026

Dimension gap and phase transition for one-dimensional random walks with reflective boundary

We study $\mathbb Z$- and $\mathbb N$-extensions of interval maps with at most countably many full branches modelling one-dimensional random walks without and with a reflective boundary. We analyse the associated Gurevich pressure and explore the relations governing these two cases. For such extensions, we obtain variational formulae for the Gurevich pressure that depend only on the base system. As a consequence, we characterise the systems with a dimension gap and, in the presence of a reflective boundary, provide general conditions in terms of asymptotic covariances for a second order phase transition. As a by-product, we derive a variational formula for the spectral radius of infinite Hessenberg matrices.

math.DS↗

arXiv2025

On the continuity of Følner averages

It is known that if each point $x$ of a dynamical system is generic for some invariant measure $μ_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 μ_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 μ_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↗

arXiv2024

On continuum real trees of circle maps and their graphs

The Brownian continuum tree was extensively studied in the 90s as a universal random metric space. One construction obtains the continuum tree by a change of metric from an excursion function (or continuous circle mapping) on $[0,1]$. This change of metric can be applied to all excursion functions, and generally to continuous circle mappings. In 2008, Picard proved that the dimension theory of the tree is connected to its associated contour function: the upper box dimension of the continuum tree coincides with the variation index of the contour function. In this article we give a short and direct proof of Picard's theorem through the study of packings. We develop related and equivalent notions of variations and variation indices and study their basic properties. Finally, we link the dimension theory of the tree with the dimension theory of the graph of its contour function.

math.CA↗

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↗

arXiv2020

Measures and stabilizers of group Cantor actions

We consider a minimal equicontinuous action of a finitely generated group $G$ on a Cantor set $X$ with invariant probability measure $μ$, and stabilizers of points for such an action. We give sufficient conditions under which there exists a subgroup $H$ of $G$ such that the set of points in $X$ whose stabilizers are conjugate to $H$ has full measure. The conditions are that the action is locally quasi-analytic and locally non-degenerate. An action is locally quasi-analytic if its elements have unique extensions on subsets of uniform diameter. The condition that the action is locally non-degenerate is introduced in this paper. We apply our results to study the properties of invariant random subgroups induced by minimal equicontinuous actions on Cantor sets and to certain almost one-to-one extensions of equicontinuous actions.

math.DS↗

arXiv2019

Thermodynamic formalism for transient dynamics on the real line

We develop a new thermodynamic formalism to investigate the transient behaviour of maps on the real line which are skew-periodic $\mathbb{Z}$-extensions of expanding interval maps. Our main focus lies in the dimensional analysis of the recurrent and transient sets as well as in determining the whole dimension spectrum with respect to $α$-escaping sets. Our results provide a one-dimensional model for the phenomenon of a dimension gap occurring for limit sets of Kleinian groups. In particular, we show that a dimension gap occurs if and only if we have non-zero drift and we are able to precisely quantify its width as an application of our new formalism.

math.DS↗

arXiv2019

The structure of mean equicontinuous group actions

We study mean equicontinuous actions of locally compact $σ$-compact amenable groups on compact metric spaces. In this setting, we establish the equivalence of mean equicontinuity and topo-isomorphy to the maximal equicontinuous factor and provide a characterization of mean equicontinuity of an action via properties of its product. This characterization enables us to show the equivalence of mean equicontinuity and the weaker notion of Besicovitch-mean equicontinuity in fairly high generality, including actions of abelian groups as well as minimal actions of general groups. In the minimal case, we further conclude that mean equicontinuity is equivalent to discrete spectrum with continuous eigenfunctions. Applications of our results yield a new class of non-abelian mean equicontinuous examples as well as a characterization of those extensions of mean equicontinuous actions which are still mean equicontinuous.

math.DS↗

arXiv2019

The bifurcation set as a topological invariant for one-dimensional dynamics

For a continuous map on the unit interval or circle, we define the bifurcation set to be the collection of those interval holes whose surviving set is sensitive to arbitrarily small changes of their position. By assuming a global perspective and focusing on the geometric and topological properties of this collection rather than the surviving sets of individual holes, we obtain a novel topological invariant for one-dimensional dynamics. We provide a detailed description of this invariant in the realm of transitive maps and observe that it carries fundamental dynamical information. In particular, for transitive non-minimal piecewise monotone maps, the bifurcation set encodes the topological entropy and strongly depends on the behavior of the critical points.

math.DS↗

arXiv2018

Constant length substitutions, iterated function systems and amorphic complexity

We show how geometric methods from the general theory of fractal dimensions and iterated function systems can be deployed to study symbolic dynamics in the zero entropy regime. More precisely, we establish a dimensional characterization of the topological notion of amorphic complexity. For subshifts with discrete spectrum associated to constant length substitutions, this characterization allows us to derive bounds for the amorphic complexity by interpreting the subshift as the attractor of an iterated function system in a suitable quotient space. As a result, we obtain the general finiteness and positivity of amorphic complexity in this setting and provide a closed formula in case of a binary alphabet.

math.DS↗

arXiv2017

A classification of aperiodic order via spectral metrics and Jarník sets

Given an $α> 1$ and a $θ$ with unbounded continued fraction entries, we characterise new relations between Sturmian subshifts with slope $θ$ with respect to (i) an $α$-Höder regularity condition of a spectral metric, (ii) level sets defined in terms of the Diophantine properties of $θ$, and (iii) complexity notions which we call $α$-repetitive, $α$-repulsive and $α$-finite; generalisations of the properties known as linearly repetitive, repulsive and power free, respectively. We show that the level sets relate naturally to (exact) Jarn\'ık sets and prove that their Hausdorff dimension is $2/(α+ 1)$.

math.DS↗

arXiv2017

Hyperbolic graphs: critical regularity and box dimension

We study fractal properties of invariant graphs of hyperbolic and partially hyperbolic skew product diffeomorphisms in dimension three. We describe the critical (either Lipschitz or at all scales Hölder continuous) regularity of such graphs. We provide a formula for their box dimension given in terms of appropriate pressure functions. We distinguish three scenarios according to the base dynamics: Anosov, one-dimensional attractor, or Cantor set. A key ingredient for the dimension arguments in the latter case will be the presence of a so-called fibered blender.

math.DS↗

arXiv2014

Non-smooth saddle-node bifurcations II: dimensions of strange attractors

We study the geometric and topological properties of strange non-chaotic attractors created in non-smooth saddle-node bifurcations of quasiperiodically forced interval maps. By interpreting the attractors as limit objects of the iterates of a continuous curve and controlling the geometry of the latter, we determine their Hausdorff and box-counting dimension and show that these take distinct values. Moreover, the same approach allows to describe the topological structure of the attractors and to prove their minimality.

math.DS↗

arXiv2013

Coupled skinny baker's maps and the Kaplan-Yorke conjecture

The Kaplan-Yorke conjecture states that for "typical" dynamical systems with a physical measure, the information dimension and the Lyapunov dimension coincide. We explore this conjecture in a neighborhood of a system for which the two dimensions do not coincide because the system consists of two uncoupled subsystems. We are interested in whether coupling "typically" restores the equality of the dimensions. The particular subsystems we consider are skinny baker's maps, and we consider uni-directional coupling. For coupling in one of the possible directions, we prove that the dimensions coincide for a prevalent set of coupling functions, but for coupling in the other direction we show that the dimensions remain unequal for all coupling functions. We conjecture that the dimensions prevalently coincide for bi-directional coupling. On the other hand, we conjecture that the phenomenon we observe for a particular class of systems with uni-directional coupling, where the information and Lyapunov dimensions differ robustly, occurs more generally for many classes of uni-directionally coupled systems (also called skew-product systems) in higher dimensions.

math.DS↗