Showing 1–37 of 37 results for author: Keller, G

Besicovitch covering numbers for $\mathcal B$-free and other shifts

Authors: Stanisław Kasjan, Gerhard Keller

Abstract: For a finite alphabet $A$ define by $d_1(x,y):=\limsup_{n\to\infty}\frac{1}{2n+1}\#\{|i|\le n: x_i\neq y_i\}$ the Besicovitch pseudo-metric on $A^{\mathbb Z}$. It is well known that a closed subshift of $A^{\mathbb Z}$ has finite covering numbers w.r.t. $d_1$ if and only if it is mean-equicontinuous. Here we study, more generally, the scaling behavior of these covering numbers for individual orbit… ▽ More For a finite alphabet $A$ define by $d_1(x,y):=\limsup_{n\to\infty}\frac{1}{2n+1}\#\{|i|\le n: x_i\neq y_i\}$ the Besicovitch pseudo-metric on $A^{\mathbb Z}$. It is well known that a closed subshift of $A^{\mathbb Z}$ has finite covering numbers w.r.t. $d_1$ if and only if it is mean-equicontinuous. Here we study, more generally, the scaling behavior of these covering numbers for individual orbits which are generic for an ergodic measure $μ$ on $A^{\mathbb Z}$ with discrete spectrum, and we explore their usefulness as invariants for block code equivalence. We illustrate this by developing tools to determine these covering numbers for various classes of $\mathcal B$-free numbers (in particular also for square-free numbers), and we provide a continuous family of measures $μ_s$, all with the same discrete spectrum generated by a single number, but such that $μ_s$- and $μ_{s'}$-typical $x$ resp. $x'\in A^{\mathbb Z}$ have sufficiently different growth of covering numbers such that there are no finite block codes mapping $x\to x'$ and $x'\to x$. (Indeed, both orbits have different amorphic complexities.) △ Less

Submitted 14 May, 2025; originally announced May 2025.

MSC Class: 37A35; 37A44

Automorphisms of $\mathcal{B}$-free and other Toeplitz shifts

Authors: Aurelia Dymek, Stanisław Kasjan, Gerhard Keller

Abstract: We present sufficient conditions for the triviality of the automorphism group of regular Toeplitz subshifts and give a broad class of examples from the class of $\mathcal{B}$-free subshifts satisfying them, extending [10]. On the other hand we provide an example of a $\mathcal{B}$-free Toeplitz subshift whose automorphism group has elements of arbitrarily large finite order, answering Question 11… ▽ More We present sufficient conditions for the triviality of the automorphism group of regular Toeplitz subshifts and give a broad class of examples from the class of $\mathcal{B}$-free subshifts satisfying them, extending [10]. On the other hand we provide an example of a $\mathcal{B}$-free Toeplitz subshift whose automorphism group has elements of arbitrarily large finite order, answering Question 11 in [13]. △ Less

Submitted 14 December, 2022; v1 submitted 20 November, 2021; originally announced November 2021.

Comments: 39 pages, We worked out how much of the approach to the centralizer for B-free systems carries over to general Toeplitz shifts. We introduced essential holes at level n in the construction of a Toeplitz sequence which allows us to state our previous results for general Toeplitz shifts, see Section 2. In Section 3 we apply these results to B-free Toeplitz shifts

MSC Class: 37A44; 37B05; 37B10

Spectrum of weak model sets with Borel windows

Authors: Gerhard Keller, Christoph Richard, Nicolae Strungaru

Abstract: Consider the extended hull of a weak model set together with its natural shift action. Equip the extended hull with the Mirsky measure, which is a certain natural pattern frequency measure. It is known that the extended hull is a measure-theoretic factor of some group rotation, which is called the underlying torus. Among other results, in the article "Periods and factors of weak model sets" we sho… ▽ More Consider the extended hull of a weak model set together with its natural shift action. Equip the extended hull with the Mirsky measure, which is a certain natural pattern frequency measure. It is known that the extended hull is a measure-theoretic factor of some group rotation, which is called the underlying torus. Among other results, in the article "Periods and factors of weak model sets" we showed that the extended hull is isomorphic to a factor group of the torus, where certain periods of the window of the weak model set have been factored out. This was proved for weak model sets having a compact window. In this note, we argue that the same results hold for arbitrary measurable and relatively compact windows. Our arguments crucially rely on Moody's work on uniform distribution in model sets. We also discuss implications for the diffraction of such weak model sets and discuss a new class of examples which are generic for the Mirsky measure. △ Less

Submitted 20 May, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 14 pages, v2: title changed, minor adjustments, v3: statements of theorems refined, example class added

On the Garden of Eden theorem for B-free subshifts

Authors: Gerhard Keller, Mariusz Lemanczyk, Christoph Richard, Daniel Sell

Abstract: We prove that on B-free subshifts, with B satisfying the Erdös condition, all cellular automata are determined by monotone sliding block codes. In particular, this implies the validity of the Garden of Eden theorem for such systems. We prove that on B-free subshifts, with B satisfying the Erdös condition, all cellular automata are determined by monotone sliding block codes. In particular, this implies the validity of the Garden of Eden theorem for such systems. △ Less

Submitted 4 September, 2024; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: 23 pages

Irregular $\mathcal{B}$-free Toeplitz sequences via Besicovitch's construction of sets of multiples without density

Authors: Gerhard Keller

Abstract: Modifying Besicovitch's construction of a set $\mathcal{B}$ of positive integers whose set of multiples $\mathcal{M}_{\mathcal{B}}$ has no asymptotic density, we provide examples of such sets $\mathcal{B}$ for which $η:=1_{\mathbb{Z}\setminus\mathcal{M}_{\mathcal{B}}}\in\{0,1\}^{\mathbb{Z}}$ is a Toeplitz sequence. Moreover our construction produces examples, for which $η$ is not only quasi-generi… ▽ More Modifying Besicovitch's construction of a set $\mathcal{B}$ of positive integers whose set of multiples $\mathcal{M}_{\mathcal{B}}$ has no asymptotic density, we provide examples of such sets $\mathcal{B}$ for which $η:=1_{\mathbb{Z}\setminus\mathcal{M}_{\mathcal{B}}}\in\{0,1\}^{\mathbb{Z}}$ is a Toeplitz sequence. Moreover our construction produces examples, for which $η$ is not only quasi-generic for the Mirsky measure (which has discrete dynamical spectrum), but also for some measure of positive entropy. On the other hand, modifying slightly an example from Kasjan, Keller, and Lemańczyk, we construct a set $\mathcal{B}$ for which $η$ is an irregular Toeplitz sequence but for which the orbit closure of $η$ in $\{0,1\}^{\mathbb{Z}}$ is uniquely ergodic. △ Less

Submitted 3 January, 2021; originally announced January 2021.

MSC Class: 37A35; 37A45; 37B05; 37B10; 37B40 (Primary) 11N25 (Secondary)

Invariant Graphs for Chaotically Driven Maps

Authors: Sara Fadaei, Gerhard Keller, Fatemeh H. Ghane

Abstract: This paper investigates the geometrical structures of invariant graphs of skew product systems of the form $F : Θ\times I \to Θ\times I , (θ,y)\mapsto (Sθ,f_θ(y))$ driven by a hyperbolic base map $S : Θ\to Θ$ (e.g. a baker map or an Anosov surface diffeomorphism) and with monotone increasing fibre maps $(f_θ)_{θ\in Θ}$ having negative Schwarzian derivatives. We recall a classification, with respec… ▽ More This paper investigates the geometrical structures of invariant graphs of skew product systems of the form $F : Θ\times I \to Θ\times I , (θ,y)\mapsto (Sθ,f_θ(y))$ driven by a hyperbolic base map $S : Θ\to Θ$ (e.g. a baker map or an Anosov surface diffeomorphism) and with monotone increasing fibre maps $(f_θ)_{θ\in Θ}$ having negative Schwarzian derivatives. We recall a classification, with respect to the number and to the Lyapunov exponents of invariant graphs, for this class of systems. Our major goal here is to describe the structure of invariant graphs and study the properties of the pinching set, the set of points where the values of all of the invariant graphs coincide. In arXiv:1610.10010, the authors studied skew product systems driven by a generalized Baker map $S$ with the restrictive assumption that $f_θ$ depends on $θ=(ξ,x)$ only through the stable coordinate $x$ of $θ$. Our aim is to relax this assumption and construct a fibre-wise conjugation between the original system and a new system for which the fibre maps depend only on the stable coordinate of the derive. △ Less

Submitted 23 April, 2018; originally announced April 2018.

MSC Class: 37C70; 37G30; 37H99; 34D06

Tautness for sets of multiples and applications to $\mathcal B$-free dynamics

Authors: Gerhard Keller

Abstract: For any set $\mathcal B\subseteq\mathbb N=\{1,2,\dots\}$ one can define its \emph{set of multiples} $\mathcal M_{\mathcal B}:=\bigcup_{b\in\mathcal B}b\mathbb Z$ and the set of \emph{$\mathcal B$-free numbers} $\mathcal F_{\mathcal B}:=\mathbb Z\setminus\mathcal M_{\mathcal B}$. Tautness of the set $\mathcal B$ is a basic property related to questions around the asymptotic density of… ▽ More For any set $\mathcal B\subseteq\mathbb N=\{1,2,\dots\}$ one can define its \emph{set of multiples} $\mathcal M_{\mathcal B}:=\bigcup_{b\in\mathcal B}b\mathbb Z$ and the set of \emph{$\mathcal B$-free numbers} $\mathcal F_{\mathcal B}:=\mathbb Z\setminus\mathcal M_{\mathcal B}$. Tautness of the set $\mathcal B$ is a basic property related to questions around the asymptotic density of $\mathcal M_{\mathcal B}\subseteq\mathbb Z$. From a dynamical systems point of view (originated by Sarnak) one studies $η$, the indicator function of $\mathcal F_{\mathcal B}\subseteq\mathbb Z$, its shift-orbit closure $X_η\subseteq\{0,1\}^{\mathbb Z}$ and the stationary probability measure $ν_η$ defined on $X_η$ by the frequencies of finite blocks in $η$. In this paper we prove that tautness implies the following two properties of $η$: (1) The measure $ν_η$ has full topological support in $X_η$. (2) If $X_η$ is proximal, i.e. if the one-point set $\{\dots000\dots\}$ is contained in $X_η$ and is the unique minimal subset of $X_η$, then $X_η$ is hereditary, i.e. if $x\in X_η$ and if $w$ is an arbitrary element of $\{0,1\}^{\mathbb Z}$, then also the coordinate-wise product $w\cdot x$ belongs to $X_η$. This strengthens two results from [Bartnicka et al. 2015] which need the stronger assumption that $\mathcal B$ has light tails for the same conclusions. △ Less

Submitted 3 January, 2021; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: Minor correction to Corollary 1, main results unchanged, typos corrected, references updated. An erratum to the version published in Studia Math. is to appear

MSC Class: 37A35; 37A45; 37B05

Journal ref: Studia Mathematica 247 (2019), 205-216

Synchronization versus stability of the invariant distribution for a class of globally coupled maps

Authors: Péter Bálint, Gerhard Keller, Fanni M. Sélley, Imre Péter Tóth

Abstract: We study a class of globally coupled maps in the continuum limit, where the individual maps are expanding maps of the circle. The circle maps in question are such that the uncoupled system admits a unique absolutely continuous invariant measure (acim), which is furthermore mixing. Interaction arises in the form of diffusive coupling, which involves a function that is discontinuous on the circle. W… ▽ More We study a class of globally coupled maps in the continuum limit, where the individual maps are expanding maps of the circle. The circle maps in question are such that the uncoupled system admits a unique absolutely continuous invariant measure (acim), which is furthermore mixing. Interaction arises in the form of diffusive coupling, which involves a function that is discontinuous on the circle. We show that for sufficiently small coupling strength the coupled map system admits a unique absolutely continuous invariant distribution, which depends on the coupling strength $\varepsilon$. Furthermore, the invariant density exponentially attracts all initial distributions considered in our framework. We also show that the dependence of the invariant density on the coupling strength $\varepsilon$ is Lipschitz continuous in the BV norm. When the coupling is sufficiently strong, the limit behavior of the system is more complex. We prove that a wide class of initial measures approach a point mass with support moving chaotically on the circle. This can be interpreted as synchronization in a chaotic state. △ Less

Submitted 3 May, 2018; v1 submitted 15 November, 2017; originally announced November 2017.

Journal ref: Nonlinearity, vol. 31, no. 8, p. 3770, 2018

Generalized heredity in $\mathcal B$-free systems

Authors: Gerhard Keller

Abstract: Let $\mathcal B\subseteq\mathbb N$ be a primitive set. We complement results on heredity of the $\mathcal B$-free subshift $X_η$ from [arxiv:1509.08010] in two directions: In the proximal case we prove that a subshift $X_\varphi$, which micht be slightly larger than the subshift $X_η$, is always hereditary. (There is no need to assume that the set $\mathcal B$ is taut or even has light tails, but… ▽ More Let $\mathcal B\subseteq\mathbb N$ be a primitive set. We complement results on heredity of the $\mathcal B$-free subshift $X_η$ from [arxiv:1509.08010] in two directions: In the proximal case we prove that a subshift $X_\varphi$, which micht be slightly larger than the subshift $X_η$, is always hereditary. (There is no need to assume that the set $\mathcal B$ is taut or even has light tails, but if $\mathcal B$ is taut, then $X_\varphi=X_η$.) We also generalize the the concept of heredity to the non-proximal (and hence non-hereditary) case by proving that $X_\varphi$ is always "hereditary away from its unique minimal subsystem" (which is always Toeplitz). Finally we characterize regularity of this Toeplitz subsystem equivalently by the condition $m_H(\overline{\operatorname{int}(W)})=0$, where $W$ ("the window") is a subset of a compact abelian group $H$ canonically associated with the set $\mathcal B$, and $m_H$ denotes Haar measure on $H$. Throughout, results from [arxiv:1702.02375] are heavily used. △ Less

Submitted 15 November, 2019; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: The statement and the proof of Lemma 4 (current version) were corrected. In view of [arxiv:1802.08309], stronger corrolaries to the main result could be formulated

MSC Class: 37A35; 37A45; 37B05

Periods and factors of weak model sets

Authors: Gerhard Keller, Christoph Richard

Abstract: There is a renewed interest in weak model sets due to their connection to $\mathcal B$-free systems, which emerged from Sarnak's program on the Möbius disjointness conjecture. Here we continue our recent investigation [arXiv:1511.06137] of the extended hull ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$, a dynamical system naturally associated to a weak model set in an abelian group… ▽ More There is a renewed interest in weak model sets due to their connection to $\mathcal B$-free systems, which emerged from Sarnak's program on the Möbius disjointness conjecture. Here we continue our recent investigation [arXiv:1511.06137] of the extended hull ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$, a dynamical system naturally associated to a weak model set in an abelian group $G$ with relatively compact window $W$. For windows having a nowhere dense boundary (this includes compact windows), we identify the maximal equicontinuous factor of ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$ and give a sufficient condition when ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$ is an almost 1:1 extension of its maximal equicontinuous factor. If the window is measurable with positive Haar measure and is almost compact, then the system ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$ equipped with its Mirsky measure is isomorphic to its Kronecker factor. For general nontrivial ergodic probability measures on ${\mathcal M}^{\scriptscriptstyle G}_{\scriptscriptstyle W}$, we provide a kind of lower bound for the Kronecker factor. All relevant factor systems are natural $G$-actions on quotient subgroups of the torus underlying the weak model set. These are obtained by factoring out suitable window periods. Our results are specialised to the usual hull of the weak model set, and they are also interpreted for ${\mathcal B}$-free systems. △ Less

Submitted 28 February, 2018; v1 submitted 8 February, 2017; originally announced February 2017.

MSC Class: 52C23; 37A25; 37B10; 37B50

Dynamics of $\mathcal B$-free sets: a view through the window

Authors: Stanisław Kasjan, Gerhard Keller, Mariusz Lemańczyk

Abstract: Let $\mathcal B$ be an infinite subset of $\{1,2,\dots\}$. We characterize arithmetic and dynamical properties of the $\mathcal B$-free set $\mathcal F_{\mathcal B}$ through group theoretical, topological and measure theoretic properties of a set $W$ (called the window) associated with $\mathcal B$. This point of view stems from the interpretation of the set $\mathcal F_{\mathcal B}$ as a weak mod… ▽ More Let $\mathcal B$ be an infinite subset of $\{1,2,\dots\}$. We characterize arithmetic and dynamical properties of the $\mathcal B$-free set $\mathcal F_{\mathcal B}$ through group theoretical, topological and measure theoretic properties of a set $W$ (called the window) associated with $\mathcal B$. This point of view stems from the interpretation of the set $\mathcal F_{\mathcal B}$ as a weak model set. Our main results are: $\mathcal B$ is taut if and only if the window is Haar regular; the dynamical system associated to $\mathcal F_{\mathcal B}$ is a Toeplitz system if and only if the window is topologically regular; the dynamical system associated to $\mathcal F_{\mathcal B}$ is proximal if and only if the window has empty interior; and the dynamical system associated to $\mathcal F_{\mathcal B}$ has the "naïvely expected" maximal equicontinuous factor if and only if the interior of the window is aperiodic. △ Less

Submitted 8 February, 2017; originally announced February 2017.

MSC Class: 37A35; 37A45; 37B05

Chaotically driven sigmoidal maps

Authors: Gerhard Keller, Atsuya Otani

Abstract: We consider skew product dynamical systems $f:Θ\times\mathbb{R}\toΘ\times\mathbb{R}, f(θ,y)=(Tθ,f_θ(y))$ with a (generalized) baker transformation $T$ at the base and uniformly bounded increasing $C^3$ fibre maps $f_θ$ with negative Schwarzian derivative. Under a partial hyperbolicity assumption that ensures the existence of strong stable fibres for $f$ we prove that the presence of these fibres r… ▽ More We consider skew product dynamical systems $f:Θ\times\mathbb{R}\toΘ\times\mathbb{R}, f(θ,y)=(Tθ,f_θ(y))$ with a (generalized) baker transformation $T$ at the base and uniformly bounded increasing $C^3$ fibre maps $f_θ$ with negative Schwarzian derivative. Under a partial hyperbolicity assumption that ensures the existence of strong stable fibres for $f$ we prove that the presence of these fibres restricts considerably the possible structures of invariant measures - both topologically and measure theoretically, and that this finally allows to provide a "thermodynamic formula" for the Hausdorff dimension of set of those base points over which the dynamics are synchronized, i.e. over which the global attractor consists of just one point. △ Less

Submitted 31 October, 2016; originally announced October 2016.

Comments: 8 figures

MSC Class: 27D25; 27D30; 27D35

Journal ref: Stochastics & Dynamics 18 (2) (2017)

Maximal equicontinuous generic factors and weak model sets

Authors: Gerhard Keller

Abstract: The orbit closures of regular model sets generated from a cut-and-project scheme given by a co-compact lattice $\mathcal{L}\subset G\times H$ and compact and aperiodic window $W\subseteq H$, have the maximal equicontinuous factor (MEF) $(G\times H)/\mathcal{L}$, if the window is toplogically regular. This picture breaks down completely, when the window has empty interior, in which case the MEF is… ▽ More The orbit closures of regular model sets generated from a cut-and-project scheme given by a co-compact lattice $\mathcal{L}\subset G\times H$ and compact and aperiodic window $W\subseteq H$, have the maximal equicontinuous factor (MEF) $(G\times H)/\mathcal{L}$, if the window is toplogically regular. This picture breaks down completely, when the window has empty interior, in which case the MEF is always trivial, although $(G\times H)/\mathcal{L}$ continues to be the Kronecker factor for the Mirsky measure. As this situation occurs for many interesting examples like the square-free numbers or the visible lattice points, there is some need for a slightly weaker concept of topological factors that is still strong enough to capture basic properties of the system. Here we propose to use the concept of a generic factor \cite{HuangYe2012} for this purpose. For so called ergodic topological dynamical systems we prove the existence of a maximal equicontinuous generic factor (MEGF) and characterize it in terms of the regional proximal relation. For such systems we also show that the MEGF is trivial if and only if the system is topologically weakly mixing. This part of the paper profits strongly from previous work by McMahon \cite{McMahon1978} and Auslander \cite{Auslander1988}. In Section 3 we show that $(G\times H)/\mathcal{L}$ is indeed the MEGF of the orbit closure of each weak model set with an aperiodic Haar regulaar window, and in Section 4 we apply this fact to give an alternative proof of the finding \cite{Mentzen2017} that the centralizer of any $\mathcal{B}$-free dynamical system of Erdös type is trivial. △ Less

Submitted 15 May, 2019; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: v2: A minor remark on the bottom of page 2 was corected. v3: The statement of Theorem 2.4 was corrected and a missing piece of the proof was provided. v4: This version combines a modification of v3 (in Section 3) with some new material in Section 4

MSC Class: 37A30; 37B05

Dynamics on the graph of the torus parametrisation

Authors: Gerhard Keller, Christoph Richard

Abstract: Model sets are projections of certain lattice subsets. It was realised by Moody that dynamical properties of such sets are induced from the torus associated with the lattice. We follow and extend this approach by studying dynamics on the graph of the map which associates lattice subsets to points of the torus and then transferring the results to their projections. This not only leads to transparen… ▽ More Model sets are projections of certain lattice subsets. It was realised by Moody that dynamical properties of such sets are induced from the torus associated with the lattice. We follow and extend this approach by studying dynamics on the graph of the map which associates lattice subsets to points of the torus and then transferring the results to their projections. This not only leads to transparent proofs of known results on model sets, but we also obtain new results on so called weak model sets. In particular we prove pure point dynamical spectrum for the hull of a weak model set together with the push forward of the torus Haar measure under the torus parametrisation map, and we derive a formula for the pattern frequencies of configurations with maximal density. △ Less

Submitted 10 May, 2016; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: Some remarks were added, some proofs clarified, and Corollary 1 was extended in the revised version

MSC Class: 52C23; 37A25; 37B10; 37B50

Stability index, uncertainty exponent, and thermodynamic formalism for intermingled basins of chaotic attractors

Authors: Gerhard Keller

Abstract: Skew product systems with monotone one-dimensional fibre maps driven by piecewise expanding Markov interval maps may show the phenomenon of intermingled basins. To quantify the degree of intermingledness the uncertainty exponent and the stability index were suggested by various authors and characterized (partially). Here we present an approach to evaluate/estimate these two quantities rigorously u… ▽ More Skew product systems with monotone one-dimensional fibre maps driven by piecewise expanding Markov interval maps may show the phenomenon of intermingled basins. To quantify the degree of intermingledness the uncertainty exponent and the stability index were suggested by various authors and characterized (partially). Here we present an approach to evaluate/estimate these two quantities rigorously using thermodynamic formalism for the driving Markov map. △ Less

Submitted 13 January, 2017; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: A minor mistake in Theorem 2 is corrected in the 2nd version

MSC Class: 37AXX; 37D35

Journal ref: Discrete and Continuous Dynamical Systems - Series S 10 (2017), 313-334

An elementary proof for the dimension of the graph of the classical Weierstrass function

Authors: Gerhard Keller

Abstract: Let $W_{λ,b}(x)=\sum_{n=0}^\inftyλ^n g(b^n x)$ where $b\geqslant2$ is an integer and $g(u)=\cos(2πu)$ (classical Weierstrass function). Building on work by Ledrappier (1992), Baránsky, Bárány and Romanowska (2013) and Tsujii (2001), we provide an elementary proof that the Hausdorff dimension of $W_{λ,b}$ equals $2+\frac{\logλ}{\log b}$ for all $λ\in(λ_b,1)$ with a suitable $λ_b<1$. This reproduces… ▽ More Let $W_{λ,b}(x)=\sum_{n=0}^\inftyλ^n g(b^n x)$ where $b\geqslant2$ is an integer and $g(u)=\cos(2πu)$ (classical Weierstrass function). Building on work by Ledrappier (1992), Baránsky, Bárány and Romanowska (2013) and Tsujii (2001), we provide an elementary proof that the Hausdorff dimension of $W_{λ,b}$ equals $2+\frac{\logλ}{\log b}$ for all $λ\in(λ_b,1)$ with a suitable $λ_b<1$. This reproduces results by Baránsky, Bárány and Romanowska without using the dimension theory for hyperbolic measures of Ledrappier and Young (1985,1988), which is replaced by a simple telescoping argument together with a recursive multi-scale estimate. △ Less

Submitted 2 May, 2015; v1 submitted 13 June, 2014; originally announced June 2014.

Comments: The proof of Proposition 3.3 is clarified and a mistake is corrected

MSC Class: 37D20; 37D45; 37G35; 37H20

Embedded surfaces of arbitrary genus minimizing the Willmore energy under isoperimetric constraint

Authors: Laura Gioia Andrea Keller, Andrea Mondino, Tristan Rivière

Abstract: The isoperimetric ratio of an embedded surface in $R^3$ is defined as the ratio of the area of the surface to power three to the squared enclosed volume. The aim of the present work is to study the minimization of the Willmore energy under fixed isoperimetric ratio when the underlying abstract surface has fixed genus $g\geq 0$. The corresponding problem in the case of spherical surfaces, i.e.… ▽ More The isoperimetric ratio of an embedded surface in $R^3$ is defined as the ratio of the area of the surface to power three to the squared enclosed volume. The aim of the present work is to study the minimization of the Willmore energy under fixed isoperimetric ratio when the underlying abstract surface has fixed genus $g\geq 0$. The corresponding problem in the case of spherical surfaces, i.e. $g=0$, was recently solved by Schygulla with different methods. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Comments: 38 pages

Journal ref: Arch. Rational Mech. Anal., Volume 212, (2014), 645-682

A model for the nonautonomous Hopf bifurcation

Authors: Vasso Anagnostopoulou, Tobias Jäger, Gerhard Keller

Abstract: Inspired by an example of Grebogi et al [1], we study a class of model systems which exhibit the full two-step scenario for the nonautonomous Hopf bifurcation, as proposed by Arnold [2]. The specific structure of these models allows a rigorous and thorough analysis of the bifurcation pattern. In particular, we show the existence of an invariant 'generalised torus' splitting off a previously stable… ▽ More Inspired by an example of Grebogi et al [1], we study a class of model systems which exhibit the full two-step scenario for the nonautonomous Hopf bifurcation, as proposed by Arnold [2]. The specific structure of these models allows a rigorous and thorough analysis of the bifurcation pattern. In particular, we show the existence of an invariant 'generalised torus' splitting off a previously stable central manifold after the second bifurcation point. The scenario is described in two different settings. First, we consider deterministically forced models, which can be treated as continuous skew product systems on a compact product space. Secondly, we treat randomly forced systems, which lead to skew products over a measure-preserving base transformation. In the random case, a semiuniform ergodic theorem for random dynamical systems is required, to make up for the lack of compactness. △ Less

Submitted 7 May, 2013; originally announced May 2013.

Comments: 26 pages, 10 figures

MSC Class: 39A28; 37H20; 34C23 (Primary)

Random minimality and continuity of invariant graphs in random dynamical systems

Authors: Tobias Jäger, Gerhard Keller

Abstract: We study dynamical systems forced by a combination of random and deterministic noise and provide criteria, in terms of Lyapunov exponents, for the existence of random attractors with continuous structure in the fibres. For this purpose, we provide suitable random versions of the semiuniform ergodic theorem and also introduce and discuss some basic concepts of random topological dynamics. We study dynamical systems forced by a combination of random and deterministic noise and provide criteria, in terms of Lyapunov exponents, for the existence of random attractors with continuous structure in the fibres. For this purpose, we provide suitable random versions of the semiuniform ergodic theorem and also introduce and discuss some basic concepts of random topological dynamics. △ Less

Submitted 3 May, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: As one of the three main results of the first version was partially known (Y. Cao, 2006), we reorganized the material and changed the title of the submission in order to emphasize the other results and some new concepts introduced in this paper. (15 pages)

MSC Class: 37A30; 37H15; 34D45

Journal ref: Transactions Amer. Math. Soc. 368 (2016) ,6643--6662

Stability index for chaotically driven concave maps

Authors: Gerhard Keller

Abstract: We study skew product systems driven by a hyperbolic base map S (e.g. a baker map or an Anosov surface diffeomorphism) and with simple concave fibre maps on an interval [0,a] like h(x)=g(θ) tanh(x) where g(θ) is a factor driven by the base map. The fibre-wise attractor is the graph of an upper semicontinuous function φ(θ). For many choices of the function g, φhas a residual set of zeros but φ>0 al… ▽ More We study skew product systems driven by a hyperbolic base map S (e.g. a baker map or an Anosov surface diffeomorphism) and with simple concave fibre maps on an interval [0,a] like h(x)=g(θ) tanh(x) where g(θ) is a factor driven by the base map. The fibre-wise attractor is the graph of an upper semicontinuous function φ(θ). For many choices of the function g, φhas a residual set of zeros but φ>0 almost everywhere w.r.t. the Sinai-Ruelle-Bowen measure of S^(-1). In such situations we evaluate the stability index of the global attractor of the system, which is the subgraph of φ, at all regular points (θ,0) in terms of the local exponents Γ(θ):=\lim_{n\to\infty} 1/n log g_n(θ) and Λ(θ):=\lim_{n\to\infty} 1/n\log|D_u S^{-n}(θ)| and of the positive zero s_* of a certain thermodynamic pressure function associated with S^(-1) and g. (In queuing theory, an analogon of s_* is known as Loyne's exponent.) The stability index was introduced by Podvigina and Ashwin in 2011 to quantify the local scaling of basins of attraction. △ Less

Submitted 11 September, 2012; originally announced September 2012.

MSC Class: 37D20; 37D45; 37G35; 37H20

Journal ref: Journal of the London Mathematical Society 89 (2014), 603-622

Bifurcation and Hausdorff dimension in families of chaotically driven maps with multiplicative forcing

Authors: Gerhard Keller, Atsuya Otani

Abstract: We study bifurcations of invariant graphs in skew product dynamical systems driven by hyperbolic surface maps T like Anosov surface diffeomorphisms or baker maps and with one-dimensional concave fibre maps under multiplicative forcing when the forcing is scaled by a parameter r=e^{-t}. For a range of parameters two invariant graphs (a trivial and a non-trivial one) coexist, and we use thermodynami… ▽ More We study bifurcations of invariant graphs in skew product dynamical systems driven by hyperbolic surface maps T like Anosov surface diffeomorphisms or baker maps and with one-dimensional concave fibre maps under multiplicative forcing when the forcing is scaled by a parameter r=e^{-t}. For a range of parameters two invariant graphs (a trivial and a non-trivial one) coexist, and we use thermodynamic formalism to characterize the parameter dependence of the Hausdorff and packing dimension of the set of points where both graphs coincide. As a corollary we characterize the parameter dependence of the dimension of the global attractor A_t: Hausdorff and packing dimension have a common value dim(A_t), and there is a critical parameter t_c determined by the SRB measure of T^{-1} such that dim(A_t)=3 for t < t_c and t --> dim(A_t) is strictly decreasing for t_c < t < t_{max}. △ Less

Submitted 29 August, 2012; v1 submitted 14 August, 2012; originally announced August 2012.

MSC Class: 37D20; 37D35; 37G35; 37H20

Journal ref: Dynamical Systems: An International Journal 28 (2013), 123-139

Rare events, exponential hitting times and extremal indices via spectral perturbation

Authors: Gerhard Keller

Abstract: We discuss how an eigenvalue perturbation formula for transfer operators of dynamical systems is related to exponential hitting time distributions and extreme value theory for processes generated by chaotic dynamical systems. We also list a number of piecewise expanding systems to which this general theory applies and discuss the prospects to apply this theory to some classes of piecewise hyperbol… ▽ More We discuss how an eigenvalue perturbation formula for transfer operators of dynamical systems is related to exponential hitting time distributions and extreme value theory for processes generated by chaotic dynamical systems. We also list a number of piecewise expanding systems to which this general theory applies and discuss the prospects to apply this theory to some classes of piecewise hyperbolic systems. △ Less

Submitted 17 February, 2012; originally announced February 2012.

Comments: 15 pages

Journal ref: Dynamical Systems: An International Journal 27 (2012), 11-27

Globally coupled chaotic maps with bistable behaviour: Large deviations

Authors: Gerhard Keller

Abstract: For a system of globally coupled chaotic maps with bistable behaviour we relate the rate function for large deviations in the system size at finite time to dynamical properties of the self consistent Perron-Frobenius operator (SCPFO) that describes the system in the infinite size limit. For a system of globally coupled chaotic maps with bistable behaviour we relate the rate function for large deviations in the system size at finite time to dynamical properties of the self consistent Perron-Frobenius operator (SCPFO) that describes the system in the infinite size limit. △ Less

Submitted 8 September, 2010; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: This paper has been withdrawn by the author due to a severe error in the proof of the main result and some (less severe) errors in section 2. A much less general version of the main theorem remains true, though

MSC Class: 37A60; 82C20

$L^{\infty}$ estimates and integrability by compensation in Besov-Morrey spaces and applications

Authors: Laura Gioia Andrea Keller

Abstract: $L^{\infty}$ estimates in the integrability by compensation result of H. Wente fail in dimension larger than two when Sobolev spaces are replaced by the ad-hoc Morrey spaces. However, in this paper we prove that $L^{\infty}$ estimates hold in arbitrary dimension when Morrey spaces are replaced by their Littlewood Paley counterparts: Besov-Morrey spaces. As an application we prove the existence o… ▽ More $L^{\infty}$ estimates in the integrability by compensation result of H. Wente fail in dimension larger than two when Sobolev spaces are replaced by the ad-hoc Morrey spaces. However, in this paper we prove that $L^{\infty}$ estimates hold in arbitrary dimension when Morrey spaces are replaced by their Littlewood Paley counterparts: Besov-Morrey spaces. As an application we prove the existence of conservation laws to solution of elliptic systems of the form $-Δu= Ω\cdot \nabla u$ where $Ω$ is antisymmetric and both $\nabla u$ and $Ω$ belong to these Besov-Morrey spaces for which the system is critical. △ Less

Submitted 3 January, 2010; originally announced January 2010.

Comments: 37 pages

MSC Class: 35J60; 58E20

Stochastically stable globally coupled maps with bistable thermodynamic limit

Authors: Jean-Baptiste Bardet, Gerhard Keller, Roland Zweimüller

Abstract: We study systems of globally coupled interval maps, where the identical individual maps have two expanding, fractional linear, onto branches, and where the coupling is introduced via a parameter - common to all individual maps - that depends in an analytic way on the mean field of the system. We show: 1) For the range of coupling parameters we consider, finite-size coupled systems always have a… ▽ More We study systems of globally coupled interval maps, where the identical individual maps have two expanding, fractional linear, onto branches, and where the coupling is introduced via a parameter - common to all individual maps - that depends in an analytic way on the mean field of the system. We show: 1) For the range of coupling parameters we consider, finite-size coupled systems always have a unique invariant probability density which is strictly positive and analytic, and all finite-size systems exhibit exponential decay of correlations. 2) For the same range of parameters, the self-consistent Perron-Frobenius operator which captures essential aspects of the corresponding infinite-size system (arising as the limit of the above when the system size tends to infinity), undergoes a supercritical pitchfork bifurcation from a unique stable equilibrium to the coexistence of two stable and one unstable equilibrium. △ Less

Submitted 21 December, 2008; originally announced December 2008.

Comments: 37 pages

MSC Class: 28D99 58F99 70K99 82C20

Journal ref: Communications in Mathematical Physics 292, 1 (2009) 237-270

Map Lattices coupled by collisions

Authors: Gerhard Keller, Carlangelo Liverani

Abstract: We introduce a new coupled map lattice model in which the weak interaction takes place via rare "collisions". By "collision" we mean a strong (possibly discontinuous) change in the system. For such models we prove uniqueness of the SRB measure and exponential space-time decay of correlations. We introduce a new coupled map lattice model in which the weak interaction takes place via rare "collisions". By "collision" we mean a strong (possibly discontinuous) change in the system. For such models we prove uniqueness of the SRB measure and exponential space-time decay of correlations. △ Less

Submitted 20 December, 2008; v1 submitted 21 November, 2008; originally announced November 2008.

MSC Class: 37C30; 37L60; 37D20

Rare events, escape rates and quasistationarity: some exact formulae

Authors: Gerhard Keller, Carlangelo Liverani

Abstract: We present a common framework to study decay and exchanges rates in a wide class of dynamical systems. Several applications, ranging form the metric theory of continuons fractions and the Shannon capacity of contrained systems to the decay rate of metastable states, are given. We present a common framework to study decay and exchanges rates in a wide class of dynamical systems. Several applications, ranging form the metric theory of continuons fractions and the Shannon capacity of contrained systems to the decay rate of metastable states, are given. △ Less

Submitted 20 December, 2008; v1 submitted 13 October, 2008; originally announced October 2008.

MSC Class: 37C30; 47A55

Pressure and Equilibrium States in Ergodic Theory

Authors: J. -R. Chazottes, G. Keller

Abstract: Our goal is to present the basic results on one-dimensional Gibbs and equilibrium states viewed as special invariant measures on symbolic dynamical systems, and then to describe without technicalities a sample of results they allowed to obtain for certain differentiable dynamical systems. We hope that this contribution will illustrate the symbiotic relationship between ergodic theory and statistic… ▽ More Our goal is to present the basic results on one-dimensional Gibbs and equilibrium states viewed as special invariant measures on symbolic dynamical systems, and then to describe without technicalities a sample of results they allowed to obtain for certain differentiable dynamical systems. We hope that this contribution will illustrate the symbiotic relationship between ergodic theory and statistical mechanics, and also information theory. △ Less

Submitted 15 July, 2020; v1 submitted 16 April, 2008; originally announced April 2008.

Comments: There is a second edition of the "Encyclopedia of Complexity and System Science (Springer)" in preparation. We took the opportunity to complete the reference list which contained preprints which are now published articles

Continuity properties of transport coefficients in simple maps

Authors: Gerhard Keller, Phil J. Howard, Rainer Klages

Abstract: We consider families of dynamics that can be described in terms of Perron-Frobenius operators with exponential mixing properties. For piecewise C^2 expanding interval maps we rigorously prove continuity properties of the drift J(l) and of the diffusion coefficient D(l) under parameter variation. Our main result is that D(l) has a modulus of continuity of order O(|dl||log|dl|)^2), i.e. D(l) is Li… ▽ More We consider families of dynamics that can be described in terms of Perron-Frobenius operators with exponential mixing properties. For piecewise C^2 expanding interval maps we rigorously prove continuity properties of the drift J(l) and of the diffusion coefficient D(l) under parameter variation. Our main result is that D(l) has a modulus of continuity of order O(|dl||log|dl|)^2), i.e. D(l) is Lipschitz continuous up to quadratic logarithmic corrections. For a special class of piecewise linear maps we provide more precise estimates at specific parameter values. Our analytical findings are verified numerically for the latter class of maps by using exact formulas for the transport coefficients. We numerically observe strong local variations of all continuity properties. △ Less

Submitted 16 January, 2008; originally announced January 2008.

Comments: 25 pages, 7 figures. Submitted for publication

MSC Class: 37E05;82C70; 37M25

Journal ref: Nonlinearity 21 1719-1743 (2008)

Random walk in Markovian environment

Authors: Dmitry Dolgopyat, Gerhard Keller, Carlangelo Liverani

Abstract: We prove a quenched central limit theorem for random walks with bounded increments in a randomly evolving environment on $\mathbb{Z}^d$. We assume that the transition probabilities of the walk depend not too strongly on the environment and that the evolution of the environment is Markovian with strong spatial and temporal mixing properties. We prove a quenched central limit theorem for random walks with bounded increments in a randomly evolving environment on $\mathbb{Z}^d$. We assume that the transition probabilities of the walk depend not too strongly on the environment and that the evolution of the environment is Markovian with strong spatial and temporal mixing properties. △ Less

Submitted 24 September, 2008; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: Published in at http://dx.doi.org/10.1214/07-AOP369 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP369 MSC Class: 60K37 (Primary) 60K35; 60F05; 37H99; 82B41; 82B44 (Secondary)

Journal ref: Annals of Probability 2008, Vol. 36, No. 5, 1676-1710

Limit theorems for coupled interval maps

Authors: Jean-Baptiste Bardet, Sebastien Gouezel, Gerhard Keller

Abstract: We prove a local limit theorem for Lipschitz continuous observables on a weakly coupled lattice of piecewise expanding interval maps. The core of the paper is a proof that the spectral radii of the Fourier-transfer operators for such a system are strictly less than 1. This extends the approach of [KL2] where the ordinary transfer operator was studied. We prove a local limit theorem for Lipschitz continuous observables on a weakly coupled lattice of piecewise expanding interval maps. The core of the paper is a proof that the spectral radii of the Fourier-transfer operators for such a system are strictly less than 1. This extends the approach of [KL2] where the ordinary transfer operator was studied. △ Less

Submitted 22 September, 2006; originally announced September 2006.

Comments: 17 pages

MSC Class: 37L60; 60F05

Phase transitions in a piecewise expanding coupled map lattice with linear nearest neighbour coupling

Authors: Jean-Baptiste Bardet, Gerhard Keller

Abstract: We construct a mixing continuous piecewise linear map on [-1,1] with the property that a two-dimensional lattice made of these maps with a linear north and east nearest neighbour coupling admits a phase transition. We also provide a modification of this construction where the local map is an expanding analytic circle map. The basic strategy is borroughed from [Gielis-MacKay (2000)], namely we co… ▽ More We construct a mixing continuous piecewise linear map on [-1,1] with the property that a two-dimensional lattice made of these maps with a linear north and east nearest neighbour coupling admits a phase transition. We also provide a modification of this construction where the local map is an expanding analytic circle map. The basic strategy is borroughed from [Gielis-MacKay (2000)], namely we compare the dynamics of the CML to those of a probabilistic cellular automaton of Toom's type. △ Less

Submitted 18 May, 2006; originally announced May 2006.

Comments: 19 pages

MSC Class: 37L40 37L60 82C20

Journal ref: Nonlinearity 19 (2006) 2193-2210

How chaotic are strange nonchaotic attractors

Authors: Paul Glendinning, Tobias Jaeger, Gerhard Keller

Abstract: We show that the classic example of quasiperiodically forced maps with strange nonchaotic attractors described by Grebogi et al and Herman in the mid-1980s have some chaotic properties. More precisely, we show that these systems exhibit sensitive dependence on initial conditions, both on the whole phase space and restricted to the attractor. The results also remain valid in more general classes… ▽ More We show that the classic example of quasiperiodically forced maps with strange nonchaotic attractors described by Grebogi et al and Herman in the mid-1980s have some chaotic properties. More precisely, we show that these systems exhibit sensitive dependence on initial conditions, both on the whole phase space and restricted to the attractor. The results also remain valid in more general classes of quasiperiodically forced systems. Further, we include an elementary proof of a classic result by Glasner and Weiss on sensitive dependence, and we clarify the structure of the attractor in an example with two-dimensional fibers also introduced by Grebogi et al. △ Less

Submitted 13 April, 2006; originally announced April 2006.

Comments: 19 pages, 2 figures

MSC Class: 37B25

Eigenfunctions for smooth expanding circle maps

Authors: Gerhard Keller, Hans Henrik Rugh

Abstract: We construct a real-analytic circle map for which the corresponding Perron-Frobenius operator has a real-analytic eigenfunction with an eigenvalue outside the essential spectral radius when acting upon $C^1$-functions. We construct a real-analytic circle map for which the corresponding Perron-Frobenius operator has a real-analytic eigenfunction with an eigenvalue outside the essential spectral radius when acting upon $C^1$-functions. △ Less

Submitted 4 May, 2004; originally announced May 2004.

Comments: 10 pages, 2 figures

MSC Class: 37D20; 47A35

Journal ref: Nonlinearity, vol 17, no 5, 1723-1730 (2004)

The Denjoy type-of argument for quasiperiodically forced circle diffeomorphisms

Authors: Tobias H. Jaeger, Gerhard Keller

Abstract: We carry the argument used in the proof of the Theorem of Denjoy over to the quasiperiodically forced case. Thus we derive that if a system of quasiperiodically forced circle diffeomorphisms with bounded variation of the derivative has no invariant graphs with a certain kind of topological regularity, then the system is topologically transitive. We carry the argument used in the proof of the Theorem of Denjoy over to the quasiperiodically forced case. Thus we derive that if a system of quasiperiodically forced circle diffeomorphisms with bounded variation of the derivative has no invariant graphs with a certain kind of topological regularity, then the system is topologically transitive. △ Less

Submitted 1 December, 2003; originally announced December 2003.

MSC Class: 37C70; 37C60; 37H15

Ruelle-Perron-Frobenius spectrum for Anosov maps

Authors: Michael Blank, Gerhard Keller, Carlangelo Liverani

Abstract: We extend a number of results from one dimensional dynamics based on spectral properties of the Ruelle-Perron-Frobenius transfer operator to Anosov diffeomorphisms on compact manifolds. This allows to develop a direct operator approach to study ergodic properties of these maps. In particular, we show that it is possible to define Banach spaces on which the transfer operator is quasicompact. (Inf… ▽ More We extend a number of results from one dimensional dynamics based on spectral properties of the Ruelle-Perron-Frobenius transfer operator to Anosov diffeomorphisms on compact manifolds. This allows to develop a direct operator approach to study ergodic properties of these maps. In particular, we show that it is possible to define Banach spaces on which the transfer operator is quasicompact. (Information on the existence of an SRB measure, its smoothness properties and statistical properties readily follow from such a result.) In dimension $d=2$ we show that the transfer operator associated to smooth random perturbations of the map is close, in a proper sense, to the unperturbed transfer operator. This allows to obtain easily very strong spectral stability results, which in turn imply spectral stability results for smooth deterministic perturbations as well. Finally, we are able to implement an Ulam type finite rank approximation scheme thus reducing the study of the spectral properties of the transfer operator to a finite dimensional problem. △ Less

Submitted 10 April, 2001; originally announced April 2001.

Comments: 58 pages, LaTeX

Absorbing Cantor sets in dynamical systems: Fibonacci maps

Authors: Henk Bruin, Gerhard Keller, Tomasz Nowicki, Sebastian van Strien

Abstract: In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $ω(x)$ is equal to an interval), 2) for which $ω(c)$ is a Cantor set, and 3) for which $ω(x)=ω(c)$ for Lebesgue almost all x. So the topological and the metric attractor of such a map do not coincide. This gives the answer to a… ▽ More In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $ω(x)$ is equal to an interval), 2) for which $ω(c)$ is a Cantor set, and 3) for which $ω(x)=ω(c)$ for Lebesgue almost all x. So the topological and the metric attractor of such a map do not coincide. This gives the answer to a question posed by Milnor. △ Less

Submitted 28 January, 1994; originally announced January 1994.

Report number: Stony Brook IMS 1994/2