Showing 1–50 of 63 results for author: Kesseböhmer, M

Multifractal analysis of intermingled basins and blowout bifurcations in a parametetric family of skew product maps

Authors: Fatemeh Helen Ghane, Marc Kesseböhmer

Abstract: In this paper we study a two-parameter family of planar maps characterized by two distinct invariant subspaces. The model reveals the existence of two chaotic attractors within these subspaces. We identify parameter values at which these attractors either exhibits a locally riddled basin of attraction or transitions into a chaotic saddle. In particular, we demonstrate that, for an open region in t… ▽ More In this paper we study a two-parameter family of planar maps characterized by two distinct invariant subspaces. The model reveals the existence of two chaotic attractors within these subspaces. We identify parameter values at which these attractors either exhibits a locally riddled basin of attraction or transitions into a chaotic saddle. In particular, we demonstrate that, for an open region in the parameter plane, their basins are intermingled. It is shown that a fractal boundary curve separates the basins of attraction of these two chaotic attractors, providing a detailed characterization of the riddled basin structure. Additionally, we show that the model undergoes a blowout bifurcation. An estimation of the stability index is examined using thermodynamic formalism. We also perform a multifractal analysis of the level sets of the stability index. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: 32 pages, 5 figures

MSC Class: 37C70; 37C40; 37H15; 37C45

Parametrized Families of Gibbs Measures and their Statistical Inference

Authors: Manfred Denker, Marc Keßeböhmer, Artur O. Lopes, Silvia R. C. Lopes

Abstract: For Hölder continuous functions $f_i$, $i=0,\ldots ,d$, on a subshift of finite type and $Θ\subset \mathbb \R^d$ we consider a parametrized family of potentials $\{F_θ= f_0+\sum_{i=1}^d θ_i f_i : θ\in Θ\}$. We show that the maximum likelihood estimator of $θ$ for a family of Gibbs measures with potentials $F_θ$ is consistent and determine its asymptotic distribution under the associated shift-inva… ▽ More For Hölder continuous functions $f_i$, $i=0,\ldots ,d$, on a subshift of finite type and $Θ\subset \mathbb \R^d$ we consider a parametrized family of potentials $\{F_θ= f_0+\sum_{i=1}^d θ_i f_i : θ\in Θ\}$. We show that the maximum likelihood estimator of $θ$ for a family of Gibbs measures with potentials $F_θ$ is consistent and determine its asymptotic distribution under the associated shift-invariant distribution. A second part discusses applications; from confidence intervals through testing problems to connections to Bernoulli distributions and stationary Markov chains. △ Less

Submitted 2 August, 2024; originally announced August 2024.

Comments: 37 pages

MSC Class: 62F02; 62F12; 62E20; 37A50; 37A10

Quantization dimensions of negative order

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: In this note, we investigate the possibility of defining meaningful upper and lower quantization dimensions for a compactly supported Borel probability measure of order $r$, also for negative values of $r$. To this end, we utilize the concept of partition functions, which generalizes the idea of the $L^{q}$-spectrum and, in this way, naturally extends the work in [M. Kesseböhmer, A. Niemann, and S… ▽ More In this note, we investigate the possibility of defining meaningful upper and lower quantization dimensions for a compactly supported Borel probability measure of order $r$, also for negative values of $r$. To this end, we utilize the concept of partition functions, which generalizes the idea of the $L^{q}$-spectrum and, in this way, naturally extends the work in [M. Kesseböhmer, A. Niemann, and S. Zhu. Quantization dimensions of probability measures via Rényi dimensions. $\textit{Trans. Amer. Math. Soc.}$ 376.7 (2023), 4661$\unicode{x2013}$4678]. In particular, we provide natural fractal geometric bounds as well as easily verifiable necessary conditions for the existence of the quantization dimensions. Exact asymptotics for the absolutely continuous case are also given. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 12 pages, 1 figure

MSC Class: 28A80; 60E05; 62E20; 94A12

Equidistribution of cusp points of Hecke triangle groups

Authors: Laura Breitkopf, Marc Kesseböhmer, Anke Pohl

Abstract: In the framework of infinite ergodic theory, we derive equidistribution results for suitable weighted sequences of cusp points of Hecke triangle groups encoded by group elements of constant word length with respect to a set of natural generators. This is a generalization of the corresponding results for the modular group, for which we rely on advanced results from infinite ergodic theory and trans… ▽ More In the framework of infinite ergodic theory, we derive equidistribution results for suitable weighted sequences of cusp points of Hecke triangle groups encoded by group elements of constant word length with respect to a set of natural generators. This is a generalization of the corresponding results for the modular group, for which we rely on advanced results from infinite ergodic theory and transfer operator techniques developed for AFN-maps. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 29 pages, 2 figures

MSC Class: Primary: 11J70; 37F32; 37E05; Secondary: 37D40; 37A44

Exact asymptotic order for generalised adaptive approximations

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: In this note, we present an abstract approach to study asymptotic orders for adaptive approximations with respect to a monotone set function $\mathfrak{J}$ defined on dyadic cubes. We determine the exact upper order in terms of the critical value of the corresponding $\mathfrak{J}$-partition function, and we are able to provide upper and lower bounds in term of fractal-geometric quantities. With p… ▽ More In this note, we present an abstract approach to study asymptotic orders for adaptive approximations with respect to a monotone set function $\mathfrak{J}$ defined on dyadic cubes. We determine the exact upper order in terms of the critical value of the corresponding $\mathfrak{J}$-partition function, and we are able to provide upper and lower bounds in term of fractal-geometric quantities. With properly chosen $\mathfrak{J}$, our new approach has applications in many different areas of mathematics, including the spectral theory of Krein-Feller operators, quantization dimensions of compactly supported probability measures, and the exact asymptotic order for Kolmogorov, Gelfand and linear widths for Sobolev embeddings into $L_μ^p$-spaces. △ Less

Submitted 17 March, 2025; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: 19 pages, 3 figures. arXiv admin note: text overlap with arXiv:2202.05247. Accepted for publication in Journal of Approximation Theory 2025

MSC Class: primary: 68W25; 41A25 secondary: 28A80; 65D15

Approximation order of Kolmogorov, Gel'fand, and linear widths for Sobolev embeddings in euclidian measure spaces

Authors: Marc Kesseböhmer, Linus Wiegmann

Abstract: In this paper we completely solve the problem of finding the (upper) approximation order with respect to the Kolmogorov, Gel'fand, and linear widths for the embedding of the Sobolev spaces $W^{α,p}$ and $W_{0}^{α,p}$ in the euclidian measure spaces $L_ν^{q}$ for an arbitrary Borel probability measure $ν$ with support contained in the open $m$-dimensional unit cube and for all possible choices of… ▽ More In this paper we completely solve the problem of finding the (upper) approximation order with respect to the Kolmogorov, Gel'fand, and linear widths for the embedding of the Sobolev spaces $W^{α,p}$ and $W_{0}^{α,p}$ in the euclidian measure spaces $L_ν^{q}$ for an arbitrary Borel probability measure $ν$ with support contained in the open $m$-dimensional unit cube and for all possible choices of $1\leq p,q\leq\infty$. We will determine the exact values for the various upper approximation orders in terms of the $L^{q}$-spectrum of $ν$ only and finally give sufficient conditions imposed on the regularity of the $L^{q}$-spectrum for the approximation orders to exist. We also elucidate some intrinsic connections between the concept of approximation order and the fractal geometric notion of the upper and lower Minkowski dimension of the support of $ν$. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 23 pages, 2 figures

MSC Class: 46A32; 35P20; 42B35; 31B30; 28A80

Quantization dimensions of compactly supported probability measures via Rényi dimensions

Authors: Marc Kesseböhmer, Aljoscha Niemann, Sanguo Zhu

Abstract: We provide a complete picture of the upper quantization dimension in terms of the Rényi dimension by proving that the upper quantization dimension $\bar{D}_{r}(ν)$ of order $r>0$ for an arbitrary compactly supported Borel probability measure $ν$ is given by its Rényi dimension at the point $q_{r}$ where the $L^{q}$-spectrum of $ν$ and the line through the origin with slope $r$ intersect. In partic… ▽ More We provide a complete picture of the upper quantization dimension in terms of the Rényi dimension by proving that the upper quantization dimension $\bar{D}_{r}(ν)$ of order $r>0$ for an arbitrary compactly supported Borel probability measure $ν$ is given by its Rényi dimension at the point $q_{r}$ where the $L^{q}$-spectrum of $ν$ and the line through the origin with slope $r$ intersect. In particular, this proves the continuity of $r\mapsto\bar{D}_{r}(ν)$ as conjectured by Lindsay (2001). This viewpoint also sheds new light on the connection of the quantization problem with other concepts from fractal geometry in that we obtain a one-to-one correspondence of the upper quantization dimension and the $L^{q}$-spectrum restricted to $\left(0,1\right)$. We give sufficient conditions in terms of the $L^{q}$-spectrum for the existence of the quantization dimension. In this way we show as a byproduct that the quantization dimension exists for every Gibbs measure with respect to a $\mathcal{C}^{1}$-self- conformal iterated function system on $\mathbb{R}^{d}$ without any assumption on the separation conditions as well as for inhomogeneous self-similar measures under the inhomogeneous open sets condition. Some known general bounds on the quantization dimension in terms of other fractal dimensions can readily be derived from our new approach, some can be improved. △ Less

Submitted 23 November, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 17 pages, 1 figure

MSC Class: 28A80; 42B35; 45D05

Journal ref: Trans. Amer. Math. Soc. 376 (2023), no. 7, 4661-4678

Spectral dimensions of Krein-Feller operators in higher dimensions

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: We study the spectral dimensions of Krein-Feller operators for arbitrary for arbitrary finite Borel measures $ν$ on the $d$-dimensional unit cube ($d\geq2$) via a form approach. We make use of the spectral partition function of $ν$ as introduced in [Kesseböhmer and Niemann, Exact asymptotic order for adaptive approximations. 2023, arXiv:2312.16644] and, assuming that the lower $\infty$-dimension o… ▽ More We study the spectral dimensions of Krein-Feller operators for arbitrary for arbitrary finite Borel measures $ν$ on the $d$-dimensional unit cube ($d\geq2$) via a form approach. We make use of the spectral partition function of $ν$ as introduced in [Kesseböhmer and Niemann, Exact asymptotic order for adaptive approximations. 2023, arXiv:2312.16644] and, assuming that the lower $\infty$-dimension of $ν$ exceeds $d-2$, we identify the upper Neumann spectral dimension as the unique zero of the spectral partition function, thus revealing the intrinsic connection of these spectral and fractal-geometric quantities. We show that if the lower $\infty$-dimension of $ν$ is strictly less than $d-2$, the form approach breaks down. Examples are given for the critical case, that is the lower $\infty$-dimension of $ν$ equals $d-2$. We provide additional regularity assumptions on the spectral partition function, guaranteeing that the Neumann spectral dimension exists and coincides with the Dirichlet spectral dimension. Several prominent examples previously treated in the literature are provided, namely absolutely continuous measures and more generally Ahlfors-David regular measures, and examples not previously treated in the literature, namely self-conformal measures with or without overlaps, for which we show that both the Dirichlet and Neumann spectral dimensions exist and how they can be obtained from the $L^{q}$-spectrum of the measures. We demonstrate how our approach can be used to obtain upper and lower asymptotic spectral bounds for the case of Ahlfors-David regular measures. Moreover, we provide sharp bounds for the upper Neumann spectral dimension in terms of the upper Minkowski dimension of the support of $ν$ and its lower $\infty$-dimension. Finally, we give an example for which the spectral dimension does not exist. △ Less

Submitted 8 January, 2024; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 35 pages, 2 figures

MSC Class: 35P20; 35J05; 28A80; 42B35; 45D05

A rigorous stochastic theory for spike pattern formation in recurrent neural networks with arbitrary connection topologies

Authors: Maik Schünemann, Udo Ernst, Marc Kesseböhmer

Abstract: Cortical networks exhibit synchronized activity which often occurs in spontaneous events in the form of spike avalanches. Since synchronization has been causally linked to central aspects of brain function such as selective signal processing and integration of stimulus information, participating in an avalanche is a form of a transient synchrony which temporarily creates neural assemblies and henc… ▽ More Cortical networks exhibit synchronized activity which often occurs in spontaneous events in the form of spike avalanches. Since synchronization has been causally linked to central aspects of brain function such as selective signal processing and integration of stimulus information, participating in an avalanche is a form of a transient synchrony which temporarily creates neural assemblies and hence might especially be useful for implementing flexible information processing. For understanding how assembly formation supports neural computation, it is therefore essential to establish a comprehensive theory of how network structure and dynamics interact to generate specific avalanche patterns and sequences. Here we derive exact avalanche distributions for a finite network of recurrently coupled spiking neurons with arbitrary non-negative interaction weights, which is made possible by formally mapping the model dynamics to a linear, random dynamical system on the $N$-torus and by exploiting self-similarities inherent in the phase space. We introduce the notion of relative unique ergodicity and show that this property is guaranteed if the system is driven by a time-invariant Bernoulli process. This approach allows us not only to provide closed-form analytical expressions for avalanche size, but also to determine the detailed set(s) of units firing in an avalanche (i.e., the avalanche assembly). The underlying dependence between network structure and dynamics is made transparent by expressing the distribution of avalanche assemblies in terms of the induced graph Laplacian. We explore analytical consequences of this dependence and provide illustrating examples. △ Less

Submitted 5 February, 2022; originally announced February 2022.

Comments: 88 pages, 7 figures

Approximation order of Kolmogorov diameters via $L^{q}$-spectra and applications to polyharmonic operators

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: We establish a connection between the $L^{q}$-spectrum of a Borel measure $ν$ on the $m$-dimensional unit cube and the approximation order of Kolmogorov diameters of the unit sphere with respect to Sobolev norms in $L_{ν}^{p}$. This leads to improvements of classical results of Borzov and Birman/Solomjak for a broad class of singular measures. As an application, we consider spectral asymptotics of… ▽ More We establish a connection between the $L^{q}$-spectrum of a Borel measure $ν$ on the $m$-dimensional unit cube and the approximation order of Kolmogorov diameters of the unit sphere with respect to Sobolev norms in $L_{ν}^{p}$. This leads to improvements of classical results of Borzov and Birman/Solomjak for a broad class of singular measures. As an application, we consider spectral asymptotics of polyharmonic operators and obtain improved upper bounds of the decay rate of their eigenvalues. For measures with non-trivial absolutely continuous parts as well as for self-similar measures the exact approximation orders are stated. △ Less

Submitted 16 June, 2022; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: 21 pages, 1 figure

MSC Class: 46A32; 35P20; 42B35; 31B30; 28A80

Journal ref: J. Funct. Anal. 283 (2022), no. 7, Paper No. 109598, 22 pp

Spectral asymptotics of Krein--Feller operators for weak Gibbs measures on self-conformal fractals with overlaps

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: We study the spectral dimensions and spectral asymptotics of Krein--Feller operators for weak Gibbs measures on self-conformal fractals with or without overlaps. We show that, restricted to the unit interval, the $L^{q}$-spectrum for every weak Gibbs measure $ρ$ with respect to a $\mathcal{C}^{1}$-IFS exists as a limit. Building on recent results of the authors, we can deduce that the spectral dim… ▽ More We study the spectral dimensions and spectral asymptotics of Krein--Feller operators for weak Gibbs measures on self-conformal fractals with or without overlaps. We show that, restricted to the unit interval, the $L^{q}$-spectrum for every weak Gibbs measure $ρ$ with respect to a $\mathcal{C}^{1}$-IFS exists as a limit. Building on recent results of the authors, we can deduce that the spectral dimension with respect to a weak Gibbs measure exists and equals the fixed point of its $L^{q}$-spectrum. For an IFS satisfying the open set condition, it turns out that the spectral dimension equals the unique zero of the associated pressure function. Moreover, for a Gibbs measure with respect to a $\mathcal{C}^{1+γ}$-IFS under the open set condition, we are able to determine the asymptotics of the eigenvalue counting function. △ Less

Submitted 7 April, 2022; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: 31 pages, 1 figure

MSC Class: 35P20; 35J05; 28A80; 42B35; 45D05

Journal ref: Adv. Math. 403 (2022), Paper No. 108384, 33 pp

Spectral dimensions of Krein--Feller operators and $L^{q}$-spectra

Authors: Marc Kesseböhmer, Aljoscha Niemann

Abstract: We study the spectral dimensions and spectral asymptotics of Krein-Feller operators for arbitrary finite Borel measures on $\left(0,1\right).$ Connections between the spectral dimension, the $L^{q}$-spectrum, the partition entropy and the optimised coarse multifractal dimension are established. In particular, we show that the upper spectral dimension always corresponds to the fixed point of the… ▽ More We study the spectral dimensions and spectral asymptotics of Krein-Feller operators for arbitrary finite Borel measures on $\left(0,1\right).$ Connections between the spectral dimension, the $L^{q}$-spectrum, the partition entropy and the optimised coarse multifractal dimension are established. In particular, we show that the upper spectral dimension always corresponds to the fixed point of the $L^{q}$-spectrum of the corresponding measure. Natural bounds reveal intrinsic connections to the Minkowski dimension of the support of the associated Borel measure. Further, we give a sufficient condition on the $L^{q}$-spectrum to guarantee the existence of the spectral dimension. As an application, we confirm the existence of the spectral dimension of self-conformal measures with or without overlap as well as of certain measures of pure point type. We construct a simple example for which the spectral dimension does not exist and determine explicitly its upper and lower spectral dimension. △ Less

Submitted 17 February, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 50 pages, 2 figures

MSC Class: 35P20; 35J05; 28A80; 42B35; 45D05

Journal ref: Adv. Math. 399(2022), Paper No. 108253, 53 pp

Generalised Krein-Feller operators and gap diffusions via transformations of measure spaces

Authors: Marc Kesseböhmer, Aljoscha Niemann, Tony Samuel, Hendrik Weyer

Abstract: We consider the generalised Krein-Feller operator $Δ_{ν, μ} $ with respect to compactly supported Borel probability measures $μ$ and $ν$ with the natural restrictions that $μ$ is atomless, the supp$(ν)\subseteq$supp$(μ)$ and the atoms of $ν$ are embedded in the supp$(μ)$. We show that the solutions of the eigenvalue problem for $Δ_{ν, μ} $ can be transferred to the corresponding problem for the cl… ▽ More We consider the generalised Krein-Feller operator $Δ_{ν, μ} $ with respect to compactly supported Borel probability measures $μ$ and $ν$ with the natural restrictions that $μ$ is atomless, the supp$(ν)\subseteq$supp$(μ)$ and the atoms of $ν$ are embedded in the supp$(μ)$. We show that the solutions of the eigenvalue problem for $Δ_{ν, μ} $ can be transferred to the corresponding problem for the classical Krein-Feller operator $Δ_{ν\circ F_μ^{-1}, Λ}$ with respect to the Lebesgue measure $Λ$ via an isometric isomorphism determined by the distribution function $F_μ$ of $μ$. In this way, we obtain a new characterisation of the upper spectral dimension and consolidate many known results on the spectral asymptotics of Krein-Feller operators. We also recover known properties of and connections to generalised gap diffusions associated to these operators. △ Less

Submitted 19 December, 2023; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 26 pages, 4 figures

MSC Class: 47G30; 35P20; 42B35; 45D05

Thermodynamic formalism for transient dynamics on the real line

Authors: Maik Gröger, Johannes Jaerisch, Marc Kesseböhmer

Abstract: 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 f… ▽ More 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. △ Less

Submitted 27 November, 2019; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 23 pages, 5 figures

Journal ref: Nonlinearity 35, pp. 1093-1118, 2022

Mean convergence for intermediately trimmed Birkhoff sums of observables with regularly varying tails

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We show that the normed trimmed sum process of these observables then converges in mean. This result is new also for the special case of i.i.d. random variables and contrasts the general case where mean convergence might fa… ▽ More On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We show that the normed trimmed sum process of these observables then converges in mean. This result is new also for the special case of i.i.d. random variables and contrasts the general case where mean convergence might fail even though a strong law of large numbers holds. To illuminate the required mixing condition we give an explicit example of a dynamical system fulfilling a spectral gap property and an observable with regularly varying tails but without the assumed mixing condition such that mean convergence fails. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 17 pages

MSC Class: 60F25; 37A05; 37A30; 37A25; 60G10

Journal ref: Nonlinearity 33(5) 2020, pp. 5543-5566

Dynamics and topological entropy of 1D Greenberg-Hastings cellular automata

Authors: Marc Kesseböhmer, Jens D. M. Rademacher, Dennis Ulbrich

Abstract: In this paper we analyse the non-wandering set of 1D-Greenberg-Hastings cellular automata models for excitable media with $e\geqslant 1$ excited and $r\geqslant 1$ refractory states and determine its (strictly positive) topological entropy. We show that it results from a Devaney-chaotic closed invariant subset of the non-wandering set that consists of colliding and annihilating travelling waves, w… ▽ More In this paper we analyse the non-wandering set of 1D-Greenberg-Hastings cellular automata models for excitable media with $e\geqslant 1$ excited and $r\geqslant 1$ refractory states and determine its (strictly positive) topological entropy. We show that it results from a Devaney-chaotic closed invariant subset of the non-wandering set that consists of colliding and annihilating travelling waves, which is conjugate to a skew-product dynamical system of coupled shift-dynamics. Moreover, we determine the remaining part of the non-wandering set explicitly as a Markov system with strictly less topological entropy that also scales differently for large $e,r$. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 33 pages, 12 figures

MSC Class: 37B15; 37B20; 37B40; 74J35

Journal ref: Ergodic Theory and Dynamical Systems , Volume 41 , Issue 5 , 2021 , pp. 1397 - 1430

Intermediately trimmed strong laws for Birkhoff sums on subshifts of finite type

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We prove strong laws of large numbers under intermediate trimming for Birkhoff sums over subshifts of finite type. This gives another application of a previous trimming result only proven for interval maps. In case of Markov measures we give a further example of St.\ Petersburg type distribution functions. To prove these statements we introduce the space of quasi-Hölder continuous functions for su… ▽ More We prove strong laws of large numbers under intermediate trimming for Birkhoff sums over subshifts of finite type. This gives another application of a previous trimming result only proven for interval maps. In case of Markov measures we give a further example of St.\ Petersburg type distribution functions. To prove these statements we introduce the space of quasi-Hölder continuous functions for subshifts of finite type. △ Less

Submitted 13 January, 2019; originally announced January 2019.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1706.07369

MSC Class: Primary: 60F15 Secondary: 37A05; 37A30; 60G10; 60J10

Journal ref: Dynamical Systems, 35:2, 2020, pp. 275-305

Scaling properties of the Thue--Morse measure

Authors: Michael Baake, Philipp Gohlke, Marc Kesseböhmer, Tanja Schindler

Abstract: The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Riesz product, many aspects of this measure have been studied in the past, including various scaling properties and a partly heuristic multifractal analysis. Some of the difficulties emerge from the appearance of an unbound… ▽ More The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Riesz product, many aspects of this measure have been studied in the past, including various scaling properties and a partly heuristic multifractal analysis. Some of the difficulties emerge from the appearance of an unbounded potential in the thermodynamic formalism. It is the purpose of this article to review and prove some of the observations that were previously established via numerical or scaling arguments. △ Less

Submitted 24 April, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 30 pages, 4 figures, updated version with minor improvements

MSC Class: 37D35; 37C45; 52C23

Journal ref: Discr. Cont. Dynam. Syst. A 39 (2019) 4157--4185

Measure-geometric Laplacians on the real line

Authors: Marc Kesseböhmer, Tony Samuel, Hendrik Weyer

Abstract: Motivated by the fundamental theorem of calculus, and based on the works of Feller as well as Kac and Kreĭn, given an atomless Borel probability measure $η$ supported on a compact subset of $\mathbb{R}$, Freiberg and Zähle introduced a measure-geometric approach to define a first order differential operator $\nabla_η$ and a second order differential operator $Δ_η$, with respect to $η$. We generali… ▽ More Motivated by the fundamental theorem of calculus, and based on the works of Feller as well as Kac and Kreĭn, given an atomless Borel probability measure $η$ supported on a compact subset of $\mathbb{R}$, Freiberg and Zähle introduced a measure-geometric approach to define a first order differential operator $\nabla_η$ and a second order differential operator $Δ_η$, with respect to $η$. We generalise this approach to measures of the form $η= ν+ δ$, where $ν$ is continuous and $δ$ is finitely supported. We determine analytic properties of $\nabla_η$ and $Δ_η$ and show that $Δ_η$ is a densely defined, unbounded, linear, self-adjoint operator with compact resolvent. Moreover, we give a systematic way to calculate the eigenvalues and eigenfunctions of $Δ_η$. For two leading examples, we determine the eigenvalues and the eigenfunctions, as well as the asymptotic growth rates of the eigenvalue counting function. △ Less

Submitted 17 February, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: 13 pages, 2 figures

MSC Class: 47G30; 42B35; 35P20

Journal ref: In Niemeyer et al., editor, Horizons of Fractal Geometry and Complex Dimensions, volume 731 of Contemp. Math., pp. 133-142. Amer. Math. Soc., Providence, R.I. (2019)

Diffraction of return time measures

Authors: Marc Kesseböhmer, Arne Mosbach, Tony Samuel, Malte Steffens

Abstract: Letting $T$ denote an ergodic transformation of the unit interval and letting $f \colon [0,1)\to \mathbb{R}$ denote an observable, we construct the $f$-weighted return time measure $μ_y$ for a reference point $y\in[0,1)$ as the weighted Dirac comb with support in $\mathbb{Z}$ and weights $f \circ T^z(y)$ at $z\in\mathbb{Z}$, and if $T$ is non-invertible, then we set the weights equal to zero for a… ▽ More Letting $T$ denote an ergodic transformation of the unit interval and letting $f \colon [0,1)\to \mathbb{R}$ denote an observable, we construct the $f$-weighted return time measure $μ_y$ for a reference point $y\in[0,1)$ as the weighted Dirac comb with support in $\mathbb{Z}$ and weights $f \circ T^z(y)$ at $z\in\mathbb{Z}$, and if $T$ is non-invertible, then we set the weights equal to zero for all $z < 0$. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges from the Fourier transform of its autocorrelation and analyse it for the dependence on the underlying transformation. For certain rapidly mixing transformations and observables of bounded variation, we show that the diffraction of $μ_{y}$ consists of a trivial atom and an absolutely continuous part, almost surely with respect to $y$. This contrasts what occurs in the setting of regular model sets arising from cut and project schemes and deterministic incommensurate structures. As a prominent example of non-mixing transformations, we consider the family of rigid rotations $T_α \colon x \to x + α\bmod{1}$ with rotation number $α\in \mathbb{R}^+$. In contrast to when $T$ is mixing, we observe that the diffraction of $μ_{y}$ is pure point, almost surely with respect to $y$. Moreover, if $α$ is irrational and the observable $f$ is Riemann integrable, then the diffraction of $μ_{y}$ is independent of $y$. Finally, for a converging sequence $(α_{i})_{i \in \mathbb{N}}$ of rotation numbers, we provide new results concerning the limiting behaviour of the associated diffractions. △ Less

Submitted 23 January, 2018; originally announced January 2018.

Comments: 11 pages, 2 figures

MSC Class: 43A25; 52C23; 37E05; 37A25; 37A45

Journal ref: J. Stat. Phys. 174(3): 519-535 (2019)

The Sierpiński gasket as the Martin boundary of a non-isotropic Markov chain

Authors: Marc Kesseböhmer, Tony Samuel, Karenina Sender

Abstract: In 2012 Lau and Ngai, motivated by the work of Denker and Sato, gave an example of an isotropic Markov chain on the set of finite words over a three letter alphabet, whose Martin boundary is homeomorphic to the Sierpiński gasket. Here, we extend the results of Lau and Ngai to a class of non-isotropic Markov chains. We determine the Martin boundary and show that the minimal Martin boundary is a pro… ▽ More In 2012 Lau and Ngai, motivated by the work of Denker and Sato, gave an example of an isotropic Markov chain on the set of finite words over a three letter alphabet, whose Martin boundary is homeomorphic to the Sierpiński gasket. Here, we extend the results of Lau and Ngai to a class of non-isotropic Markov chains. We determine the Martin boundary and show that the minimal Martin boundary is a proper subset of the Martin boundary. In addition, we give a description of the set of harmonic functions. △ Less

Submitted 20 January, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 13 pages, 5 figures

MSC Class: 31C35; 60J50; 28A80; 60J10

Journal ref: Journal of Fractal Geometry 7 (2): 113-136 (2020)

Strong laws of large number for intermediately trimmed Birkhoff sums of observables with infinite mean

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We consider dynamical systems on a finite measure space fulfilling a spectral gap property and Birkhoff sums of a non-negative, non-integrable observable. For such systems we generalize strong laws of large numbers for intermediately trimmed sums only known for independent random variables. The results split up in trimming statements for general distribution functions and for regularly varying tai… ▽ More We consider dynamical systems on a finite measure space fulfilling a spectral gap property and Birkhoff sums of a non-negative, non-integrable observable. For such systems we generalize strong laws of large numbers for intermediately trimmed sums only known for independent random variables. The results split up in trimming statements for general distribution functions and for regularly varying tail distributions. In both cases the trimming rate can be chosen in the same or almost the same way as in the i.i.d. case. As an example we show that piecewise expanding interval maps fulfill the necessary conditions for our limit laws. As a side result we obtain strong laws of large numbers for truncated Birkhoff sums. △ Less

Submitted 3 September, 2019; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: 37 pages

MSC Class: 60F15; 37A05; 37A30; 60G10

Journal ref: Stochastic Processes and their Applications, Volume 129, Issue 10, October 2019, Pages 4163-4207

Measure-geometric Laplacians for discrete distributions

Authors: Marc Kesseböhmer, Tony Samuel, Hendrik Weyer

Abstract: In 2002 Freiberg and Zähle introduced and developed a harmonic calculus for measure-geometric Laplacians associated to continuous distributions. We show their theory can be extended to encompass distributions with finite support and give a matrix representation for the resulting operators. In the case of a uniform discrete distribution we make use of this matrix representation to explicitly determ… ▽ More In 2002 Freiberg and Zähle introduced and developed a harmonic calculus for measure-geometric Laplacians associated to continuous distributions. We show their theory can be extended to encompass distributions with finite support and give a matrix representation for the resulting operators. In the case of a uniform discrete distribution we make use of this matrix representation to explicitly determine the eigenvalues and the eigenfunctions of the associated Laplacian. △ Less

Submitted 22 February, 2018; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: 8 pages, 4 figures

MSC Class: 42B35; 47G30; 45D05; 34B09; 35P20

Journal ref: Comment. Math. Univ. Carolin. 61, 313-335 (2020)

Minkowski measurability of infinite conformal graph directed systems and application to Apollonian packings

Authors: Marc Kesseböhmer, Sabrina Kombrink

Abstract: We give conditions for the existence of the Minkowski content of limit sets stemming from infinite conformal graph directed systems. As an application we obtain Minkowski measurability of Apollonian gaskets, provide explicit formulae of the Minkowski content, and prove the analytic dependence on the initial circles. Further, we are able to link the fractal Euler characteristic, as well as the Mink… ▽ More We give conditions for the existence of the Minkowski content of limit sets stemming from infinite conformal graph directed systems. As an application we obtain Minkowski measurability of Apollonian gaskets, provide explicit formulae of the Minkowski content, and prove the analytic dependence on the initial circles. Further, we are able to link the fractal Euler characteristic, as well as the Minkowski content, of Apollonian gaskets with the asymptotic behaviour of the circle counting function studied by Kontorovich and Oh. These results lead to a new interpretation and an alternative formula for the Apollonian constant. We estimate a first lower bound for the Apollonian constant, namely $0{.}055$, partially answering an open problem by Oh of 2013. In the higher dimensional setting of collections of disjoint balls, generated e.\,g.\ by Kleinian groups of Schottky type, we prove that all fractal curvature measures exist and are constant multiples of each other. Further number theoretical applications connected to the Gauss map and to the Riemann $ζ$-function illustrate our results. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: 30 pages, 3 figures

MSC Class: 28A75; 52C26; 28A80

A multifractal analysis for cuspidal windings on hyperbolic surfaces

Authors: Johannes Jaerisch, Marc Kesseböhmer, Sara Munday

Abstract: In this paper we investigate the multifractal decomposition of the limit set of a finitely generated, free Fuchsian group with respect to the mean cusp winding number. We will completely determine its multifractal spectrum by means of a certain free energy function and show that the Hausdorff dimension of sets consisting of limit points with the same scaling exponent coincides with the Legendre tr… ▽ More In this paper we investigate the multifractal decomposition of the limit set of a finitely generated, free Fuchsian group with respect to the mean cusp winding number. We will completely determine its multifractal spectrum by means of a certain free energy function and show that the Hausdorff dimension of sets consisting of limit points with the same scaling exponent coincides with the Legendre transform of this free energy function. As a by-product we generalise previously obtained results on the multifractal formalism for infinite iterated function systems to the setting of infinite graph directed Markov systems. △ Less

Submitted 18 April, 2018; v1 submitted 18 October, 2016; originally announced October 2016.

MSC Class: 37A45; 11K50; 11J06; 28A80

Regularity of aperiodic minimal subshifts

Authors: Fabian Dreher, Marc Kesseböhmer, Arne Mosbach, Tony Samuel, Malte Steffens

Abstract: At the turn of this century Durand, and Lagarias and Pleasants established that key features of minimal subshifts (and their higher-dimensional analogues) to be studied are linearly repetitive, repulsive and power free. Since then, generalisations and extensions of these features, namely $α$-repetitive, $α$-repulsive and $α$-finite ($α\geq 1$), have been introduced and studied. We establish the eq… ▽ More At the turn of this century Durand, and Lagarias and Pleasants established that key features of minimal subshifts (and their higher-dimensional analogues) to be studied are linearly repetitive, repulsive and power free. Since then, generalisations and extensions of these features, namely $α$-repetitive, $α$-repulsive and $α$-finite ($α\geq 1$), have been introduced and studied. We establish the equivalence of $α$-repulsive and $α$-finite for general subshifts over finite alphabets. Further, we studied a family of aperiodic minimal subshifts stemming from Grigorchuk's infinite $2$-group $G$. In particular, we show that these subshifts provide examples that demonstrate $α$-repulsive (and hence $α$-finite) is not equivalent to $α$-repetitive, for $α> 1$. We also give necessary and sufficient conditions for these subshifts to be $α$-repetitive, and $α$-repulsive (and hence $α$-finite). Moreover, we obtain an explicit formula for their complexity functions from which we deduce that they are uniquely ergodic. △ Less

Submitted 26 February, 2017; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: 15 pages

MSC Class: 52C23; 68R15; 94A55

Journal ref: Bulletin of Mathematical Sciences. 8(3): 413-434 (2018)

Strong laws of large numbers for intermediately trimmed sums of i.i.d. random variables with infinite mean

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We consider moderately trimmed sums of non-negative i.i.d. random variables. We show that for every distribution function there exists a proper moderate trimming such that for the trimmed sum a non-trivial strong law of large numbers holds. In case that the distribution function has regularly varying tails we give necessary and sufficient conditions on the trimming for a strong law of large number… ▽ More We consider moderately trimmed sums of non-negative i.i.d. random variables. We show that for every distribution function there exists a proper moderate trimming such that for the trimmed sum a non-trivial strong law of large numbers holds. In case that the distribution function has regularly varying tails we give necessary and sufficient conditions on the trimming for a strong law of large numbers to hold. △ Less

Submitted 6 December, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 13 pages

MSC Class: 60F15; 60G50; 62G70

Journal ref: Journal of Theoretical Probability 32(2): 702-720 (2019)

Escape rates for special flows and their higher order asymptotics

Authors: Fabian Dreher, Marc Kesseböhmer

Abstract: In this paper escape rates and local escape rates for special flows are sudied. In a general context the first result is that the escape rate depends monotonically on the ceiling function and fulfills certain scaling, invariance, and continuity properties. For the metric setting local escape rates are considered. If the base transformation is ergodic and exhibits an exponential convergence in prob… ▽ More In this paper escape rates and local escape rates for special flows are sudied. In a general context the first result is that the escape rate depends monotonically on the ceiling function and fulfills certain scaling, invariance, and continuity properties. For the metric setting local escape rates are considered. If the base transformation is ergodic and exhibits an exponential convergence in probability of ergodic sums, then the local escape rate with respect to the flow is just the local escape rate with respect to the base transformation, divided by the integral of the ceiling function. Also a reformulation with respect to induced pressure is presented. Finally, under additional regularity conditions higher order asymptotics for the local escape rate are established. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 29 pages

MSC Class: 28A65; 37D35

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 1501-1530

A complex Ruelle-Perron-Frobenius theorem for infinite Markov shifts with applications to renewal theory

Authors: Mark Kesseböhmer, Sabrina Kombrink

Abstract: We prove a complex Ruelle-Perron-Frobenius theorem for Markov shifts over an infinite alphabet, whence extending results by M. Pollicott from the finite to the infinite alphabet setting. As an application we obtain an extension of renewal theory in symbolic dynamics, as developed by S. P. Lalley and in the sequel generalised by the second author, now covering the infinite alphabet case. We prove a complex Ruelle-Perron-Frobenius theorem for Markov shifts over an infinite alphabet, whence extending results by M. Pollicott from the finite to the infinite alphabet setting. As an application we obtain an extension of renewal theory in symbolic dynamics, as developed by S. P. Lalley and in the sequel generalised by the second author, now covering the infinite alphabet case. △ Less

Submitted 27 April, 2016; originally announced April 2016.

MSC Class: 37C30; 60K05; 28D99; 58C40

Journal ref: Discrete and Continuous Dynamical Systems - Series S , 10 (2017), no. 2, 335-352

Limit theorems for counting large continued fraction digits

Authors: Marc Kesseböhmer, Tanja Schindler

Abstract: We establish a central limit theorem for counting large continued fraction digits $(a_n)$, i.e. we count occurrences $\{a_n>b_n\}$, where $(b_n)$ is a sequence of positive integers. Our result improves a similar result by Philipp which additionally assumes that $b_n$ tends to infinity. Moreover, we give a refinement of the famous Borel-Bernstein Theorem for continued fractions regarding the event… ▽ More We establish a central limit theorem for counting large continued fraction digits $(a_n)$, i.e. we count occurrences $\{a_n>b_n\}$, where $(b_n)$ is a sequence of positive integers. Our result improves a similar result by Philipp which additionally assumes that $b_n$ tends to infinity. Moreover, we give a refinement of the famous Borel-Bernstein Theorem for continued fractions regarding the event that the $n$-th continued fraction digit lies infinitely often between $d_n$ and $d_n(1+1/c_n)$ for given sequences $(c_n)$ and $(d_n)$. Also for these sets we obtain a central limit theorem. As an interesting side result we determine the first $φ$-mixing coefficient for the Gauss system explicitly. △ Less

Submitted 28 December, 2018; v1 submitted 22 April, 2016; originally announced April 2016.

Comments: 14 pages

MSC Class: 11K50; 60F20; 60F05

Journal ref: Lith. Math. J. 60, 189-207 (2020)

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

Authors: Maik Gröger, Marc Kesseböhmer, Arne Mosbach, Tony Samuel, Malte Steffens

Abstract: 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… ▽ More 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)$. △ Less

Submitted 5 October, 2017; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: 25 pages, 1 figure

MSC Class: 52C23; 68R15; 94A55; 47C15; 11K60; 37C45; 11J70; 46L87

Journal ref: Ergodic Theory and Dynamical Systems. (2018), 1-35

Some recent developments in quantization of fractal measures

Authors: Marc Kesseböhmer, Sanguo Zhu

Abstract: We give an overview on the quantization problem for fractal measures, including some related results and methods which have been developed in the last decades. Based on the work of Graf and Luschgy, we propose a three-step procedure to estimate the quantization errors. We survey some recent progress, which makes use of this procedure, including the quantization for self-affine measures, Markov-typ… ▽ More We give an overview on the quantization problem for fractal measures, including some related results and methods which have been developed in the last decades. Based on the work of Graf and Luschgy, we propose a three-step procedure to estimate the quantization errors. We survey some recent progress, which makes use of this procedure, including the quantization for self-affine measures, Markov-type measures on graph-directed fractals, and product measures on multiscale Moran sets. Several open problems are mentioned. △ Less

Submitted 20 January, 2015; originally announced January 2015.

Comments: 13 pages

MSC Class: 28A75; 28A80; 94A15

Journal ref: Fractal geometry and stochastics V, Progr. Probab. 70 (2015), 105-120

A note on measure-geometric Laplacians

Authors: Marc Kesseböhmer, Tony Samuel, Hendrik Weyer

Abstract: We consider the measure-geometric Laplacians $Δ^μ$ with respect to atomless compactly supported Borel probability measures $μ$ as introduced by Freiberg and Zähle in 2002 and show that the harmonic calculus of $Δ^μ$ can be deduced from the classical (weak) Laplacian. We explicitly calculate the eigenvalues and eigenfunctions of $Δ^μ$. Further, it is shown that there exists a measure-geometric Lapl… ▽ More We consider the measure-geometric Laplacians $Δ^μ$ with respect to atomless compactly supported Borel probability measures $μ$ as introduced by Freiberg and Zähle in 2002 and show that the harmonic calculus of $Δ^μ$ can be deduced from the classical (weak) Laplacian. We explicitly calculate the eigenvalues and eigenfunctions of $Δ^μ$. Further, it is shown that there exists a measure-geometric Laplacian whose eigenfunctions are the Chebyshev polynomials and illustrate our results through specific examples of fractal measures, namely Salem and inhomogeneous self-similar Cantor measures. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: 9 pages, 10 figures

MSC Class: 35P20; 42B35; 47G30; 45D05

Journal ref: Monatshefte für Mathematik 181 (2016), 643-655

On the convergence to equilibrium of unbounded observables under a family of intermittent interval maps

Authors: Johannes Kautzsch, Marc Kesseböhmer, Tony Samuel

Abstract: We consider a family $\{ T_{r} \colon [0, 1] \circlearrowleft \}_{r \in [0, 1]}$ of Markov interval maps interpolating between the Tent map $T_{0}$ and the Farey map $T_{1}$. Letting $\mathcal{P}_{r}$ denote the Perron-Frobenius operator of $T_{r}$, we show, for $β\in [0, 1]$ and $α\in (0, 1)$, that the asymptotic behaviour of the iterates of $\mathcal{P}_{r}$ applied to observables with a singula… ▽ More We consider a family $\{ T_{r} \colon [0, 1] \circlearrowleft \}_{r \in [0, 1]}$ of Markov interval maps interpolating between the Tent map $T_{0}$ and the Farey map $T_{1}$. Letting $\mathcal{P}_{r}$ denote the Perron-Frobenius operator of $T_{r}$, we show, for $β\in [0, 1]$ and $α\in (0, 1)$, that the asymptotic behaviour of the iterates of $\mathcal{P}_{r}$ applied to observables with a singularity at $β$ of order $α$ is dependent on the structure of the $ω$-limit set of $β$ with respect to $T_{r}$. Having a singularity it seems that such observables do not fall into any of the function classes on which convergence to equilibrium has been previously shown. △ Less

Submitted 14 October, 2014; originally announced October 2014.

MSC Class: 37A40; 37A25; 37A50; 60K05

Journal ref: Annales Henri Poincaré. A Journal of Theoretical and Mathematical Physics. Volume 17. Number 9. pp. 2585-2621. 2016

The quantization for Markov-type measures on a class of ratio-specified graph directed fractals

Authors: Marc Kesseböhmer, Sanguo Zhu

Abstract: We study the asymptotic quantization error of order $r$ for Markov-type measures $μ$ on a class of ratio-specified graph directed fractals. We show that the quantization dimension of $μ$ exists and determine its exact value $s_{r}$ in terms of spectral radius of a related matrix. We prove that the $s_{r}$-dimensional lower quantization coefficient of $μ$ is always positive. Moreover, inspired by M… ▽ More We study the asymptotic quantization error of order $r$ for Markov-type measures $μ$ on a class of ratio-specified graph directed fractals. We show that the quantization dimension of $μ$ exists and determine its exact value $s_{r}$ in terms of spectral radius of a related matrix. We prove that the $s_{r}$-dimensional lower quantization coefficient of $μ$ is always positive. Moreover, inspired by Mauldin-Williams's work on the Hausdorff measure of graph directed fractals, we establish a necessary and sufficient condition for the $s_{r}$-dimensional upper quantization coefficient of $μ$ to be finite. △ Less

Submitted 12 June, 2014; originally announced June 2014.

MSC Class: 28A75; 28A80; 94A15

Journal ref: The upper and lower quantization coefficient for Markov-type measures. Mathematische Nachrichten 290 (2017), No. 5-6, 827-839

On the asymptotics of the $α$-Farey transfer operator

Authors: Johannes Kautzsch, Marc Kesseböhmer, Tony Samuel, Bernd O. Stratmann

Abstract: We study the asymptotics of iterates of the transfer operator for non-uniformly hyperbolic $α$-Farey maps. We provide a family of observables which are Riemann integrable, locally constant and of bounded variation, and for which the iterates of the transfer operator, when applied to one of these observables, is not asymptotic to a constant times the wandering rate on the first element of the parti… ▽ More We study the asymptotics of iterates of the transfer operator for non-uniformly hyperbolic $α$-Farey maps. We provide a family of observables which are Riemann integrable, locally constant and of bounded variation, and for which the iterates of the transfer operator, when applied to one of these observables, is not asymptotic to a constant times the wandering rate on the first element of the partition $α$. Subsequently, sufficient conditions on observables are given under which this expected asymptotic holds. In particular, we obtain an extension theorem which establishes that, if the asymptotic behaviour of iterates of the transfer operator is known on the first element of the partition $α$, then the same asymptotic holds on any compact set bounded away from the indifferent fixed point. △ Less

Submitted 7 October, 2014; v1 submitted 23 April, 2014; originally announced April 2014.

MSC Class: 37A40; 37A25; 37A50; 60K05

Journal ref: Nonlinearity. Volume 28. pp. 143--166. 2015

On the quantization for self-affine measures on Bedford-McMullen carpets

Authors: Marc Kesseböhmer, Sanguo Zhu

Abstract: For a self-affine measure on a Bedford-McMullen carpet we prove that its quantization dimension exists and determine its exact value. Further, we give various sufficient conditions for the corresponding upper and lower quantization coefficient to be both positive and finite. Finally, we compare the quantization dimension with corresponding quantities derived from the multifractal temperature funct… ▽ More For a self-affine measure on a Bedford-McMullen carpet we prove that its quantization dimension exists and determine its exact value. Further, we give various sufficient conditions for the corresponding upper and lower quantization coefficient to be both positive and finite. Finally, we compare the quantization dimension with corresponding quantities derived from the multifractal temperature function and show that -- different from conformal systems -- they in general do not coincide. △ Less

Submitted 11 December, 2013; originally announced December 2013.

Comments: 20 pages

MSC Class: 28A75; 28A80; 94A15

Journal ref: Mathematische Zeitschrift 283(1) (2015), 39-58

Minkowski content and fractal Euler characteristic for conformal graph directed systems

Authors: Marc Kesseböhmer, Sabrina Kombrink

Abstract: We study the (local) Minkowski content and the (local) fractal Euler characteristic of limit sets $F\subset\mathbb R$ of conformal graph directed systems (cGDS) $Φ$. For the local quantities we prove that the logarithmic Cesàro averages always exist and are constant multiples of the $δ$-conformal measure. If $Φ$ is non-lattice, then also the non-average local quantities exist and coincide with the… ▽ More We study the (local) Minkowski content and the (local) fractal Euler characteristic of limit sets $F\subset\mathbb R$ of conformal graph directed systems (cGDS) $Φ$. For the local quantities we prove that the logarithmic Cesàro averages always exist and are constant multiples of the $δ$-conformal measure. If $Φ$ is non-lattice, then also the non-average local quantities exist and coincide with their respective average versions. When the conformal contractions of $Φ$ are analytic, the local versions exist if and only if $Φ$ is non-lattice. For the non-local quantities the above results in particular imply that limit sets of Fuchsian groups of Schottky type are Minkowski measurable, proving a conjecture of Lapidus from 1993. Further, when the contractions of the cGDS are similarities, we obtain that the Minkowski content and the fractal Euler characteristic of $F$ exist if and only if $Φ$ is non-lattice, generalising earlier results by Falconer, Gatzouras, Lapidus and van Frankenhuijsen for non-degenerate self-similar subsets of $\mathbb R$ that satisfy the open set condition. △ Less

Submitted 2 March, 2015; v1 submitted 30 November, 2012; originally announced November 2012.

Comments: 34 pages

MSC Class: 28A80 (Primary) 28A75; 60K05 (Secondary)

Journal ref: Journal of Fractal Geometry 2 (2) (2015), 171--227

A Fréchet law and an Erdös-Philipp law for maximal cuspidal windings

Authors: Johannes Jaerisch, Marc Kesseböhmer, Bernd O. Stratmann

Abstract: In this paper we establish a Fréchet law for maximal cuspidal windings of the geodesic flow on a Riemannian surface associated with an arbitrary finitely generated, essentially free Fuchsian group with parabolic elements. This result extends previous work by Galambos and Dolgopyat and is obtained by applying Extreme Value Theory. Subsequently, we show that this law gives rise to an Erdös-Philipp l… ▽ More In this paper we establish a Fréchet law for maximal cuspidal windings of the geodesic flow on a Riemannian surface associated with an arbitrary finitely generated, essentially free Fuchsian group with parabolic elements. This result extends previous work by Galambos and Dolgopyat and is obtained by applying Extreme Value Theory. Subsequently, we show that this law gives rise to an Erdös-Philipp law and to various generalised Khintchine-type results for maximal cuspidal windings. These results strengthen previous results by Sullivan, Stratmann and Velani for Kleinian groups, and extend earlier work by Philipp on continued fractions, which was inspired by a conjecture of Erdös. △ Less

Submitted 6 March, 2012; v1 submitted 16 September, 2011; originally announced September 2011.

MSC Class: 37A45; 30F35; 11J70; 11J83; 28A80; 20H10

Journal ref: Ergodic Theory Dynamical Systems 33:4 (2013) 1008-1028

Multiresolution analysis for Markov Interval Maps

Authors: Jana Bohnstengel, Marc Kesseböhmer

Abstract: We set up a multiresolution analysis on fractal sets derived from limit sets of Markov Interval Maps. For this we consider the $\mathbb{Z}$-convolution of a non-atomic measure supported on the limit set of such systems and give a thorough investigation of the space of square integrable functions with respect to this measure. We define an abstract multiresolution analysis, prove the existence of mo… ▽ More We set up a multiresolution analysis on fractal sets derived from limit sets of Markov Interval Maps. For this we consider the $\mathbb{Z}$-convolution of a non-atomic measure supported on the limit set of such systems and give a thorough investigation of the space of square integrable functions with respect to this measure. We define an abstract multiresolution analysis, prove the existence of mother wavelets, and then apply these abstract results to Markov Interval Maps. Even though, in our setting the corresponding scaling operators are in general not unitary we are able to give a complete description of the multiresolution analysis in terms of multiwavelets. △ Less

Submitted 1 July, 2011; originally announced July 2011.

Comments: 31 pages, 4 figures

Journal ref: Numerical Functional Analysis and Optimization 33:7-9 (2012) 791-832

Fractal curvature measures and Minkowski content for one-dimensional self-conformal sets

Authors: Marc Kesseböhmer, Sabrina Kombrink

Abstract: We show that the fractal curvature measures of invariant sets of one-dimensional conformal iterated function systems satisfying the open set condition exist, if and only if the associated geometric potential function is nonlattice. Moreover, in the nonlattice situation we obtain that the Minkowski content exists and prove that the fractal curvature measures are constant multiples of the $δ$-confor… ▽ More We show that the fractal curvature measures of invariant sets of one-dimensional conformal iterated function systems satisfying the open set condition exist, if and only if the associated geometric potential function is nonlattice. Moreover, in the nonlattice situation we obtain that the Minkowski content exists and prove that the fractal curvature measures are constant multiples of the $δ$-conformal measure, where $δ$ denotes the Minkowski dimension of the invariant set. For the first fractal curvature measure, this constant factor coincides with the Minkowski content of the invariant set. In the lattice situation we give sufficient conditions for the Minkowski content of the invariant set to exist, contrasting the fact that the Minkowski content of a self-similar lattice fractal never exists. However, every self-similar set satisfying the open set condition exhibits a Minkowski measurable $\mathcal{C}^{1+α}$ diffeomorphic image. Both in the lattice and nonlattice situation average versions of the fractal curvature measures are shown to always exist. △ Less

Submitted 8 March, 2011; v1 submitted 24 December, 2010; originally announced December 2010.

Comments: 36 pages

MSC Class: 28A80; 28A75; 60K05

Journal ref: Advances in Mathematics 230 (2012), 2474-2512

Spectral metric spaces for Gibbs measures

Authors: Marc Kesseböhmer, Tony Samuel

Abstract: We construct spectral metric spaces for Gibbs measures on a one-sided topologically exact subshift of finite type. That is, for a given Gibbs measure we construct a spectral triple and show that Connes' corresponding pseudo-metric is a metric and that its metric topology agrees with the weak-*-topology on the state space over the set of continuous functions defined on the subshift. Moreover, we sh… ▽ More We construct spectral metric spaces for Gibbs measures on a one-sided topologically exact subshift of finite type. That is, for a given Gibbs measure we construct a spectral triple and show that Connes' corresponding pseudo-metric is a metric and that its metric topology agrees with the weak-*-topology on the state space over the set of continuous functions defined on the subshift. Moreover, we show that each Gibbs measure can be fully recovered from the noncommutative integration theory and that the noncommutative volume constant of the associated spectral triple is equal to the reciprocal of the measure theoretical entropy of the shift invariant Gibbs measure. △ Less

Submitted 13 October, 2011; v1 submitted 23 December, 2010; originally announced December 2010.

Comments: 25 pages

MSC Class: 58B34

Journal ref: Journal of Functional Analysis. Volume 265. Number 9. pp. 1801-1828. 2013

Induced topological pressure for countable state Markov shifts

Authors: Johannes Jaerisch, Marc Kesseböhmer, Sanaz Lamei

Abstract: We introduce the notion of induced topological pressure for countable state Markov shifts with respect to a non-negative scaling function and an arbitrary subset of finite words. Firstly, the scaling function allows a direct access to important thermodynamical quantities, which are usually given only implicitly by certain identities involving the classically defined pressure. In this context we ge… ▽ More We introduce the notion of induced topological pressure for countable state Markov shifts with respect to a non-negative scaling function and an arbitrary subset of finite words. Firstly, the scaling function allows a direct access to important thermodynamical quantities, which are usually given only implicitly by certain identities involving the classically defined pressure. In this context we generalise Savchenko's definition of entropy for special flows to a corresponding notion of topological pressure and show that this new notion coincides with the induced pressure for a large class of Hölder continuous height functions not necessarily bounded away from zero. Secondly, the dependence on the subset of words gives rise to interesting new results connecting the Gurevi{\vc} and the classical pressure with exhausting principles for a large class of Markov shifts. In this context we consider dynamical group extentions to demonstrate that our new approach provides a useful tool to characterise amenability of the underlying group structure. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: 28 pages

MSC Class: 37D35; 28A65

Journal ref: Stoch. Dyn. 14(2), 2014

A dichotomy between uniform distributions of the Stern-Brocot and the Farey sequence

Authors: Marc Kesseböhmer, Bernd O. Stratmann

Abstract: We employ infinite ergodic theory to show that the even Stern-Brocot sequence and the Farey sequence are uniformly distributed mod 1 with respect to certain canonical weightings. As a corollary we derive the precise asymptotic for the Lebesgue measure of continued fraction sum-level sets as well as connections to asymptotic behaviours of geometrically and arithmetically restricted Poincaré series.… ▽ More We employ infinite ergodic theory to show that the even Stern-Brocot sequence and the Farey sequence are uniformly distributed mod 1 with respect to certain canonical weightings. As a corollary we derive the precise asymptotic for the Lebesgue measure of continued fraction sum-level sets as well as connections to asymptotic behaviours of geometrically and arithmetically restricted Poincaré series. Moreover, we give relations of our main results to elementary observations for the Stern-Brocot tree. △ Less

Submitted 9 September, 2010; originally announced September 2010.

Comments: 9 pages

MSC Class: 10K05; 11B57

Journal ref: Uniform Distribution Theory, 7 (2012), no. 2, 21-33

Strong renewal theorems and Lyapunov spectra for $α$-Farey and $α$-Lüroth systems

Authors: Marc Kesseböhmer, Sara Munday, Bernd O. Stratmann

Abstract: In this paper we introduce and study the $α$-Farey map and its associated jump transformation, the $α$-Lüroth map, for an arbitrary countable partition $α$ of the unit interval with atoms which accumulate only at the origin. These maps represent linearised generalisations of the Farey map and the Gauss map from elementary number theory. First, a thorough analysis of some of their topological and e… ▽ More In this paper we introduce and study the $α$-Farey map and its associated jump transformation, the $α$-Lüroth map, for an arbitrary countable partition $α$ of the unit interval with atoms which accumulate only at the origin. These maps represent linearised generalisations of the Farey map and the Gauss map from elementary number theory. First, a thorough analysis of some of their topological and ergodic-theoretic properties is given, including establishing exactness for both types of these maps. The first main result then is to establish weak and strong renewal laws for what we have called $α$-sum-level sets for the $α$-Lüroth map. Similar results have previously been obtained for the Farey map and the Gauss map, by using infinite ergodic theory. In this respect, a side product of the paper is to allow for greater transparency of some of the core ideas of infinite ergodic theory. The second remaining result is to obtain a complete description of the Lyapunov spectra of the $α$-Farey map and the $α$-Lüroth map in terms of the thermodynamical formalism. We show how to derive these spectra, and then give various examples which demonstrate the diversity of their behaviours in dependence on the chosen partition $α$. △ Less

Submitted 9 February, 2011; v1 submitted 29 June, 2010; originally announced June 2010.

Comments: 29 pages, 16 figures

Journal ref: Ergodic Theory Dynamical Systems 32 no. 3 (2012) 989-1017

Large deviations asymptotics for large waiting times

Authors: Marc Kesseböhmer, Lidong Tang

Abstract: In this paper we investigate the statistics of large waiting times (with respect to the total waiting time) for Bernoulli processes. We determine the corresponding rate functions explicitly and prove a large deviations asymptotic. By this we have estabished a large deviation principle for which the rate function is not the Legendre transform of some free energy function. In this paper we investigate the statistics of large waiting times (with respect to the total waiting time) for Bernoulli processes. We determine the corresponding rate functions explicitly and prove a large deviations asymptotic. By this we have estabished a large deviation principle for which the rate function is not the Legendre transform of some free energy function. △ Less

Submitted 30 October, 2009; originally announced October 2009.

Comments: 11 pages, 3 figures

MSC Class: 60F10; 60G70; 60J10

A note on the algebraic growth rate of Poincaré series for Kleinian groups

Authors: Marc Kesseböhmer, Bernd O. Stratmann

Abstract: In this note we employ infinite ergodic theory to derive estimates for the algebraic growth rate of the Poincaré series for a Kleinian group at its critical exponent of convergence. In this note we employ infinite ergodic theory to derive estimates for the algebraic growth rate of the Poincaré series for a Kleinian group at its critical exponent of convergence. △ Less

Submitted 29 October, 2009; originally announced October 2009.

Comments: 8 pages

MSC Class: 30F40; 37A05

Journal ref: Contributions to Analytic and Algebraic Number Theory - Festschrift for S. J. Patterson, Series: Springer Proceedings in Mathematics 9, Blomer, Valentin; Mihãilescu, Preda (Eds.) (2012), 237-245

Wavelets for iterated function systems

Authors: Jana Bohnstengel, Marc Kesseböhmer

Abstract: We construct a wavelet and a generalised Fourier basis with respect to some fractal measures given by one-dimensional iterated function systems. In this paper we will not assume that these systems are given by linear contractions generalising in this way some previous work of Jorgensen and Dutkay to the non-linear setting. We construct a wavelet and a generalised Fourier basis with respect to some fractal measures given by one-dimensional iterated function systems. In this paper we will not assume that these systems are given by linear contractions generalising in this way some previous work of Jorgensen and Dutkay to the non-linear setting. △ Less

Submitted 4 October, 2009; originally announced October 2009.

Comments: 17 pages, 3 figures

MSC Class: 42C40; 28A80

Journal ref: Journal of Functional Analysis 259 (2010), 583-601, no 3

Regularity of multifractal spectra of conformal iterated function systems

Authors: Johannes Jaerisch, Marc Kesseböhmer

Abstract: We investigate multifractal regularity for infinite conformal iterated function systems (cIFS). That is we determine to what extent the multifractal spectrum depends continuously on the cIFS and its thermodynamic potential. For this we introduce the notion of regular convergence for families of cIFS not necessarily sharing the same index set, which guarantees the convergence of the multifractal… ▽ More We investigate multifractal regularity for infinite conformal iterated function systems (cIFS). That is we determine to what extent the multifractal spectrum depends continuously on the cIFS and its thermodynamic potential. For this we introduce the notion of regular convergence for families of cIFS not necessarily sharing the same index set, which guarantees the convergence of the multifractal spectra on the interior of their domain. In particular, we obtain an Exhausting Principle for infinite cIFS allowing us to carry over results for finite to infinite systems, and in this way to establish a multifractal analysis without the usual regularity conditions. Finally, we discuss the connections to the $λ$-topology introduced by Roy and Urbas{ń}ki. △ Less

Submitted 30 March, 2010; v1 submitted 14 February, 2009; originally announced February 2009.

Comments: 16 pages; 3 figures

MSC Class: 37C45

Journal ref: Trans. Amer. Math. Soc. 363 (2011), no. 1, 313-330

On the Lebesgue measure of sum-level sets for continued fractions

Authors: Marc Kesseböhmer, Bernd O. Stratmann

Abstract: In this paper we give a detailed measure theoretical analysis of what we call sum-level sets for regular continued fraction expansions. The first main result is to settle a recent conjecture of Fiala and Kleban, which asserts that the Lebesgue measure of these level sets decays to zero, for the level tending to infinity. The second and third main result then give precise asymptotic estimates for… ▽ More In this paper we give a detailed measure theoretical analysis of what we call sum-level sets for regular continued fraction expansions. The first main result is to settle a recent conjecture of Fiala and Kleban, which asserts that the Lebesgue measure of these level sets decays to zero, for the level tending to infinity. The second and third main result then give precise asymptotic estimates for this decay. The proofs of these results are based on recent progress in infinite ergodic theory, and in particular, they give non-trivial applications of this theory to number theory. The paper closes with a discussion of the thermodynamical significance of the obtained results, and with some applications of these to metrical Diophantine analysis. △ Less

Submitted 23 September, 2009; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: 1 figure

MSC Class: 37A45; 11J70

Journal ref: Discrete and Continuous Dynamical Systems. Series A 32 (2012), no. 7, 2437-2451