Showing 1–50 of 72 results for author: Urbański, M

The dimension spectrum of the infinitely generated Apollonian gasket

Authors: Vasileios Chousionis, Dmitriy Leykekhman, Mariusz Urbański, Erik Wendt

Abstract: We prove that the infinitely generated Apollonian gasket has full Hausdorff dimension spectrum. Our proof, which is computer assisted, relies on an iterative technique introduced by the first three authors in [3] and on a flexible method for rigorously estimating Hausdorff dimensions of limit sets of conformal iterated function systems, which we recently developed in [5]. Another key ingredient in… ▽ More We prove that the infinitely generated Apollonian gasket has full Hausdorff dimension spectrum. Our proof, which is computer assisted, relies on an iterative technique introduced by the first three authors in [3] and on a flexible method for rigorously estimating Hausdorff dimensions of limit sets of conformal iterated function systems, which we recently developed in [5]. Another key ingredient in our proof is obtaining reasonably sized distortion constants for the (infinite) Apollonian iterated function system. △ Less

Submitted 24 April, 2025; originally announced April 2025.

MSC Class: 37D35; 37C30; 28A80; 52C26

Asymptotics of the Hausdorff measure for the Gauss map and its linearized analogue

Authors: Rafał Tryniecki, Mariusz Urbański, Anna Zdunik

Abstract: For $n\in\mathbb N$ we consider the set $J_n$ of points in the interval [0,1] whose continued fraction expansion entries are bounded by n. Similarly, we consider the set $J_n$ for the linearized analogue of the Gauss map. We study the asymptotic of the Hausdorff measure of the set $J_n$, (evaluated at its Hausdorff dimension). We obtain precise asymptotics for the linearized Gauss map and the same… ▽ More For $n\in\mathbb N$ we consider the set $J_n$ of points in the interval [0,1] whose continued fraction expansion entries are bounded by n. Similarly, we consider the set $J_n$ for the linearized analogue of the Gauss map. We study the asymptotic of the Hausdorff measure of the set $J_n$, (evaluated at its Hausdorff dimension). We obtain precise asymptotics for the linearized Gauss map and the same one -sided bound for the asymptotics for the original Gauss map. △ Less

Submitted 2 April, 2025; originally announced April 2025.

MSC Class: 37E05

Rigorous Hausdorff dimension estimates for conformal fractals

Authors: Vasileios Chousionis, Dmitriy Leykekhman, Mariusz Urbański, Erik Wendt

Abstract: We develop a versatile framework which allows us to rigorously estimate the Hausdorff dimension of maximal conformal graph directed Markov systems in $\mathbb{R}^n$ for $n \geq 2$. Our method is based on piecewise linear approximations of the eigenfunctions of the Perron-Frobenius operator via a finite element framework for discretization and iterative mesh schemes. One key element in our approach… ▽ More We develop a versatile framework which allows us to rigorously estimate the Hausdorff dimension of maximal conformal graph directed Markov systems in $\mathbb{R}^n$ for $n \geq 2$. Our method is based on piecewise linear approximations of the eigenfunctions of the Perron-Frobenius operator via a finite element framework for discretization and iterative mesh schemes. One key element in our approach is obtaining bounds for the derivatives of these eigenfunctions, which, besides being essential for the implementation of our method, are of independent interest. △ Less

Submitted 30 April, 2025; v1 submitted 12 August, 2024; originally announced August 2024.

Comments: Added new examples, updated dimension estimates, and revised preliminaries

MSC Class: 37D35; 37C30; 28A80; 65J10; 11J70

Inner Functions and Laminations

Authors: Oleg Ivrii, Mariusz Urbański

Abstract: In this paper, we study orbit counting problems for inner functions using geodesic and horocyclic flows on Riemann surface laminations. For a one component inner function of finite Lyapunov exponent with $F(0) = 0$, other than $z \to z^d$, we show that the number of pre-images of a point $z \in \mathbb{D} \setminus \{ 0\}$ that lie in a ball of hyperbolic radius $R$ centered at the origin satisfie… ▽ More In this paper, we study orbit counting problems for inner functions using geodesic and horocyclic flows on Riemann surface laminations. For a one component inner function of finite Lyapunov exponent with $F(0) = 0$, other than $z \to z^d$, we show that the number of pre-images of a point $z \in \mathbb{D} \setminus \{ 0\}$ that lie in a ball of hyperbolic radius $R$ centered at the origin satisfies $$ \mathcal{N}(z, R) \, \sim \, \frac{1}{2} \log \frac{1}{|z|} \cdot \frac{1}{\int_{\partial \mathbb{D}} \log |F'| dm}, \quad \text{as }R \to \infty. $$ For a general inner function of finite Lyapunov exponent, we show that the above formula holds up to a Cesàro average. Our main insight is that iteration along almost every inverse orbit is asymptotically linear. We also prove analogues of these results for parabolic inner functions of infinite height. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: 75 pages, 2 figures

MSC Class: 30J05; 37D40; 37A25

Inner Functions, Composition Operators, Symbolic Dynamics and Thermodynamic Formalism

Authors: Oleg Ivrii, Mariusz Urbański

Abstract: In this paper, we use thermodynamic formalism to study the dynamics of inner functions $F$ acting on the unit disk. If the Denjoy-Wolff point of $F$ is in the open unit disk, then without loss of generality, we can assume that $F(0) = 0$ so that 0 is an attracting fixed point of $F$ and the Lebesgue measure on the unit circle is invariant under $F$. Utilizing the connection between composition ope… ▽ More In this paper, we use thermodynamic formalism to study the dynamics of inner functions $F$ acting on the unit disk. If the Denjoy-Wolff point of $F$ is in the open unit disk, then without loss of generality, we can assume that $F(0) = 0$ so that 0 is an attracting fixed point of $F$ and the Lebesgue measure on the unit circle is invariant under $F$. Utilizing the connection between composition operators, Aleksandrov-Clark measures and Perron-Frobenius operators, we develop a rudimentary thermodynamic formalism which allows us to prove the Central Limit Theorem and the Law of Iterated Logarithm for Sobolev multipliers and Hölder continuous observables. Under the more restrictive, but natural hypothesis that $F$ is a one component inner function, we develop a more complete thermodynamic formalism which is sufficient for orbit counting, assuming only the $(1+\varepsilon)$ integrability of $\log|F'|$. As one component inner functions admit countable Markov partitions of the unit circle, we may work in the abstract symbolic setting of countable alphabet subshifts of finite type. Due to the very weak hypotheses on the potential, we need to pay close attention to the regularity of the complex Perron-Frobenius operators $\mathcal L_s$ with $\text{Re }s > 1$ near the boundary. Finally, we discuss inner functions with a Denjoy-Wolff point on the unit circle. We assume a parabolic type behavior of $F$ around this point and we introduce the class of parabolic one component inner functions. By making use of the first return map, we deduce various stochastic laws and orbit counting results from the aforementioned abstract symbolic results. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 84 pages, 1 figure

On hyperbolic dimension gap for entire functions

Authors: Volker Mayer, Mariusz Urbański

Abstract: Polynomials and entire functions whose hyperbolic dimension is strictly smaller than the Hausdorff dimension of their Julia set are known to exist but in all these examples the latter dimension is maximal, i.e. equal to two. In this paper we show that there exist hyperbolic entire functions $f$ having Hausdorff dimension of the Julia set $\HD (\J _f)<2$ and hyperbolic dimension… ▽ More Polynomials and entire functions whose hyperbolic dimension is strictly smaller than the Hausdorff dimension of their Julia set are known to exist but in all these examples the latter dimension is maximal, i.e. equal to two. In this paper we show that there exist hyperbolic entire functions $f$ having Hausdorff dimension of the Julia set $\HD (\J _f)<2$ and hyperbolic dimension $\HypDim(f)<\HD(\J_f)$. △ Less

Submitted 21 July, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: 15 pages

MSC Class: Primary 37F10; Secondary 30D05; 28A80

Estimating Hausdorff measure for Denjoy maps

Authors: Łukasz Pawelec, Mariusz Urbański

Abstract: By employing the recurrence method worked out in `Estimating the Hausdorff measure by recurrence', we provide effective lower estimates of the proper--dimensional Hausdorff measure of minimal sets of circle homeomorphisms that are not conjugate to any rotation. By employing the recurrence method worked out in `Estimating the Hausdorff measure by recurrence', we provide effective lower estimates of the proper--dimensional Hausdorff measure of minimal sets of circle homeomorphisms that are not conjugate to any rotation. △ Less

Submitted 7 December, 2022; originally announced December 2022.

MSC Class: 37E10; 37C45

Geometry of measures in random systems with complete connections

Authors: Eugen Mihailescu, Mariusz Urbanski

Abstract: We study new relations between countable iterated function systems (IFS) with overlaps, Smale endomorphisms and random systems with complete connections. We prove that stationary measures for countable conformal IFS with overlaps and placedependent probabilities, are exact dimensional; moreover we determine their Hausdorff dimension. Next, we construct a family of fractals in the limit set of a co… ▽ More We study new relations between countable iterated function systems (IFS) with overlaps, Smale endomorphisms and random systems with complete connections. We prove that stationary measures for countable conformal IFS with overlaps and placedependent probabilities, are exact dimensional; moreover we determine their Hausdorff dimension. Next, we construct a family of fractals in the limit set of a countable IFS with overlaps S, and study the dimension for certain measures supported on these subfractals. In particular, we obtain families of measures on these subfractals which are related to the geometry of the system. △ Less

Submitted 15 February, 2022; originally announced February 2022.

MSC Class: 28A80; 37A05; 37D35; 37C45; 37H15; 30C35

Equilateral Triangulations and The Postcritical Dynamics of Meromorphic Functions

Authors: Christopher J. Bishop, Kirill Lazebnik, Mariusz Urbański

Abstract: We show that any dynamics on any planar set $S$ discrete in some domain $D$ can be realized by the postcritical dynamics of a function holomorphic in $D$, up to a small perturbation. A key step in the proof, and a result of independent interest, is that any planar domain $D$ can be equilaterally triangulated with triangles whose diameters $\rightarrow0$ (at any prescribed rate) near $\partial D$. We show that any dynamics on any planar set $S$ discrete in some domain $D$ can be realized by the postcritical dynamics of a function holomorphic in $D$, up to a small perturbation. A key step in the proof, and a result of independent interest, is that any planar domain $D$ can be equilaterally triangulated with triangles whose diameters $\rightarrow0$ (at any prescribed rate) near $\partial D$. △ Less

Submitted 30 October, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

MSC Class: 30D05; 37F10; 30D30

The exact value of Hausdorff dimension of escaping sets of class B meromorphic functions

Authors: Volker Mayer, Mariusz Urbański

Abstract: We consider the subclass of class ${\mathcal B} $ consisting of meromorphic functions $f:{\mathbb C}\to\hat{\mathbb C}$ for which infinity is not an asymptotic value and whose all poles have orders uniformly bounded from above. This class was introduced in \cite{BwKo2012} and the Hausdorff dimension ${\rm HD}({{\mathcal I} (f)})$ of the set ${{\mathcal I} (f)}$ of all points escaping to infinity u… ▽ More We consider the subclass of class ${\mathcal B} $ consisting of meromorphic functions $f:{\mathbb C}\to\hat{\mathbb C}$ for which infinity is not an asymptotic value and whose all poles have orders uniformly bounded from above. This class was introduced in \cite{BwKo2012} and the Hausdorff dimension ${\rm HD}({{\mathcal I} (f)})$ of the set ${{\mathcal I} (f)}$ of all points escaping to infinity under forward iteration of $f$ was estimated therein. In this paper we provide a closed formula for the exact value of ${\rm HD}({{\mathcal I} (f)})$ identifying it with the critical exponent of the natural series introduced in \cite{BwKo2012}. This exponent is very easy to calculate for many concrete functions. In particular, we construct a function from this class which is of infinite order and for which ${\rm HD}({{\mathcal I} (f)})=0$. △ Less

Submitted 29 March, 2021; v1 submitted 3 March, 2021; originally announced March 2021.

Comments: 27 pages

Thermodynamic Formalism and Geometric Applications for Transcendental Meromorphic and Entire Functions

Authors: Volker Mayer, Mariusz Urbanski

Abstract: This text provides an overview of the (geometric) thermodynamic formalism for transcendental meromorphic and entire functions with particular emphasis on geometric/fractal aspects such as Bowen's Formula expressing the hyperbolic dimension as a unique zero of a pressure function and the behavior of the latter when the transcendental functions vary in an analytic family. This text provides an overview of the (geometric) thermodynamic formalism for transcendental meromorphic and entire functions with particular emphasis on geometric/fractal aspects such as Bowen's Formula expressing the hyperbolic dimension as a unique zero of a pressure function and the behavior of the latter when the transcendental functions vary in an analytic family. △ Less

Submitted 24 November, 2020; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: Revised Version, 36 pages

MSC Class: 30D05; 37F10

Ergodic Theory, Geometric Measure Theory, Conformal Measures and the Dynamics of Elliptic Functions

Authors: Janina Kotus, Mariusz Urbanski

Abstract: The ultimate goal of our book is to present a unified approach to the dynamics, ergodic theory, and geometry of elliptic functions from $\C$ to $\oc$. We consider elliptic functions as a most regular class of transcendental meromorphic functions. Poles form an essential feature of such functions but the set of critical values is finite and an elliptic function is "the same" on its of its fundament… ▽ More The ultimate goal of our book is to present a unified approach to the dynamics, ergodic theory, and geometry of elliptic functions from $\C$ to $\oc$. We consider elliptic functions as a most regular class of transcendental meromorphic functions. Poles form an essential feature of such functions but the set of critical values is finite and an elliptic function is "the same" on its of its fundamental regions. In a sense this is the class of transcendental meromorphic functions which resembles rational functions most. On the other hand, the differences are huge. We will touch on them in the course of this introduction. In order to comprehensively cover the dynamics and geometry of elliptic functions we make large preparations. This is done in the first two parts of the book: Part 1, "Ergodic Theory and Measures" and Part 2,"Geometry and Conformal Measures". We intend our book to be as self contained as possible and we use essentially all major results of Part~1 and Part~2 in Part~3 and Part~4 dealing with elliptic functions. This book can be thus treated as a fairly comprehensive account of dynamics, ergodic theory, and fractal geometry of elliptic functions but also as a reference book (with proofs) for many results of geometric measure theory, finite and infinite abstract ergodic theory, Young's towers, measure--theoretic Kolmogorov--Sinai entropy, thermodynamic formalism, geometric function theory (in particular Koebe's Distortion Theorems and Riemann--Hurwitz Formulas), various kinds of conformal measures, conformal graph Directed Markov systems and iterated function systems, classical general theory of elliptic functions, and topological dynamics of transcendental meromorphic functions. △ Less

Submitted 26 July, 2020; originally announced July 2020.

Hausdorff dimensions of perturbations of a conformal iterated function system via thermodynamic formalism

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either… ▽ More We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either exactly, or as an asymptotic expansion. Significant applications include strengthening Hensley's asymptotic formula from 1992, which improved on earlier bounds due to Jarník and Kurzweil, for the Hausdorff dimension of the set of real numbers whose continued fraction expansion partial quotients are all $\leq N$; as well as its counterpart for reals whose partial quotients are all $\geq N$ due to Good from 1941. △ Less

Submitted 4 January, 2023; v1 submitted 20 July, 2020; originally announced July 2020.

MSC Class: 37C45; 11K50; 37D35 (Primary); 11K60; 28A78; 37F35; 28A80; 37A45; 37B10; 37C30 (Secondary)

Journal ref: Sel. Math. New Ser. 29, 19 (2023)

The Dynamics and Geometry of Semi-Hyperbolic Rational Semigroups

Authors: Jason Atnip, Hiroki Sumi, Mariusz Urbański

Abstract: We study skew-product dynamics for a large class of finitely-generated semi--hyperbolic semigroups of rational maps acting on the Riemann sphere, which generalizes both the theory of iteration of a single rational map of a single complex variable complex/holomorphic dynamics) and the theory of countable alphabet conformal iterated function systems (CIFSs). We construct the thermodynamic formalism… ▽ More We study skew-product dynamics for a large class of finitely-generated semi--hyperbolic semigroups of rational maps acting on the Riemann sphere, which generalizes both the theory of iteration of a single rational map of a single complex variable complex/holomorphic dynamics) and the theory of countable alphabet conformal iterated function systems (CIFSs). We construct the thermodynamic formalism for such dynamical systems and geometric potentials by developing the notion of nice families that extend to the case of our highly disconnected skew product phase space the powerful notion of nice sets due to Rivera--Letelier and Przytycki, and the allied earlier notion of $K(V)$ sets due to Denker and the last named author. We leverage out techniques to prove the existence and uniqueness of equilibrium states for a wide class of Hölder potentials, and concomitant statistical laws: central limit theorem, law of iterated logarithm, and exponential decay of correlations. We devote lots of space and effort to control (non-recurrent) critical points which is a notoriously challenging task even for a single rational function; more generators add qualitatively new challenges. Beyond dynamics, but still with dynamical methods, we advance the study of finer fractal geometrical properties of the intricate Julia sets associated to such systems and, in particular, via equilibrium states, we perform a multifractal analysis of Lyapunov exponents. We use the Nice Open Set Condition (NOSC) introduced by the last two authors, and apply our new techniques to settle a long-standing problem in the theory of rational semigroups by proving that for our class of semigroups the Hausdorff dimension of each fiber Julia set is strictly smaller than the Hausdorff dimension of the global Julia set of the semigroup. △ Less

Submitted 25 September, 2022; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: 168 pages, 6 figures

Porosity in conformal dynamical systems

Authors: Vasileios Chousionis, Mariusz Urbański

Abstract: In this paper we study various aspects of porosities for conformal fractals. We first explore porosity in the general context of infinite graph directed Markov systems (GDMS), and we show that, under some natural assumptions, their limit sets are porous in large (in the sense of category and dimension) subsets, and they are mean porous almost everywhere. On the other hand, we prove that if the lim… ▽ More In this paper we study various aspects of porosities for conformal fractals. We first explore porosity in the general context of infinite graph directed Markov systems (GDMS), and we show that, under some natural assumptions, their limit sets are porous in large (in the sense of category and dimension) subsets, and they are mean porous almost everywhere. On the other hand, we prove that if the limit set of a GDMS is not porous then it is not porous almost everywhere. We also revisit porosity for finite graph directed Markov systems, and we provide checkable criteria which guarantee that limit sets have holes of relative size at every scale in a prescribed direction. We then narrow our focus to systems associated to complex continued fractions with arbitrary alphabet and we provide a novel characterization of porosity for their limit sets. Moreover, we introduce the notions of upper density and upper box dimension for subsets of Gaussian integers and we explore their connections to porosity. As applications we show that limit sets of complex continued fractions system whose alphabet is co-finite, or even a co-finite subset of the Gaussian primes, are not porous almost everywhere, while they are mean porous almost everywhere. We finally turn our attention to complex dynamics and we delve into porosity for Julia sets of meromorphic functions. We show that if the Julia set of a tame meromorphic function is not the whole complex plane then it is porous at a dense set of its points and it is almost everywhere mean porous with respect to natural ergodic measures. On the other hand, if the Julia set is not porous then it is not porous almost everywhere. In particular, if the function is elliptic we show that its Julia set is not porous at a dense set of its points. △ Less

Submitted 13 September, 2019; originally announced September 2019.

MSC Class: 28A75 (Primary); 28C10; 35R03 (Secondary)

Journal ref: Math. Proc. Camb. Phil. Soc. 172 (2022) 303-371

Thermodynamic formalism for coarse expanding dynamical systems

Authors: Tushar Das, Feliks Przytycki, Giulio Tiozzo, Mariusz Urbanski, Anna Zdunik

Abstract: We consider a class of dynamical systems, which we call weakly coarse expanding, which is a generalization to the postcritically infinite case of expanding Thurston maps as discussed by Bonk-Meyer and is closely related to coarse expanding conformal systems as defined by Haissinsky-Pilgrim. We prove existence and uniqueness of equilibrium states for a wide class of potentials, as well as statistic… ▽ More We consider a class of dynamical systems, which we call weakly coarse expanding, which is a generalization to the postcritically infinite case of expanding Thurston maps as discussed by Bonk-Meyer and is closely related to coarse expanding conformal systems as defined by Haissinsky-Pilgrim. We prove existence and uniqueness of equilibrium states for a wide class of potentials, as well as statistical laws such as a central limit theorem, law of iterated logarithm, exponential decay of correlations and a large deviation principle. Further, if the system is defined on the 2-sphere, we prove all such results even in presence of periodic (repelling) branch points. △ Less

Submitted 7 October, 2020; v1 submitted 22 August, 2019; originally announced August 2019.

Comments: 30 pages, revised version

MSC Class: 37F15; 37D35; 53C23

Journal ref: Commun. Math. Phys. 384, 165--199 (2021)

Smale endomorphisms over graph-directed Markov systems

Authors: Eugen Mihailescu, Mariusz Urbanski

Abstract: We study Smale skew product endomorphisms (introduced in [27]) now over countable graph directed Markov systems, and we prove the exact dimensionality of conditional measures in fibers, and then the global exact dimensionality of the equilibrium measure itself. Our results apply to large classes of systems and have many applications. They apply for instance to natural extensions of graph-directed… ▽ More We study Smale skew product endomorphisms (introduced in [27]) now over countable graph directed Markov systems, and we prove the exact dimensionality of conditional measures in fibers, and then the global exact dimensionality of the equilibrium measure itself. Our results apply to large classes of systems and have many applications. They apply for instance to natural extensions of graph-directed Markov systems. Another application is to skew products over parabolic systems. We give also applications in ergodic number theory, for example to the continued fraction expansion, and the backward fractions expansion. In the end we obtain a general formula for the Hausdorff (and pointwise) dimension of equilibrium measures with respect to the induced maps of natural extensions $\mathcal T_β$ of $β$-maps $T_β$, for arbitrary $β> 1$. △ Less

Submitted 10 July, 2021; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: Published in Ergodic Theory and Dynamical Systems, vol 41, 2021, 2508-2541. arXiv admin note: substantial text overlap with arXiv:1705.05880

MSC Class: 37D35; 37A35; 37C45; 37A45; 11K55; 46G10; 60B05

Journal ref: Ergod. Th. Dynam. Sys. 41 (2021) 2508-2541

Opportunity costs in the game of best choice

Authors: Madeline Crews, Brant Jones, Kaitlyn Myers, Laura Taalman, Michael Urbanski, Breeann Wilson

Abstract: The game of best choice, also known as the secretary problem, is a model for sequential decision making with many variations in the literature. Notably, the classical setup assumes that the sequence of candidate rankings is uniformly distributed over time and that there is no expense associated with the candidate interviews. Here, we weight each ranking permutation according to the position of the… ▽ More The game of best choice, also known as the secretary problem, is a model for sequential decision making with many variations in the literature. Notably, the classical setup assumes that the sequence of candidate rankings is uniformly distributed over time and that there is no expense associated with the candidate interviews. Here, we weight each ranking permutation according to the position of the best candidate in order to model costs incurred from conducting interviews with candidates that are ultimately not hired. We compare our weighted model with the classical (uniform) model via a limiting process. It turns out that imposing even infinitesimal costs on the interviews results in a probability of success that is about 28%, as opposed to 1/e (about 37%) in the classical case. △ Less

Submitted 12 March, 2019; v1 submitted 5 March, 2019; originally announced March 2019.

Comments: 7 pages; this article is a companion to arXiv:1902.10163; includes addendum

A variational principle in the parametric geometry of numbers

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of… ▽ More We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of Schmidt's game capable of computing the Hausdorff and packing dimensions of any set, and the notion of templates, which generalize Roy's rigid systems. In particular, we compute the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, resolving a conjecture of Kadyrov, Kleinbock, Lindenstrauss and Margulis, as well as a question of Bugeaud, Cheung and Chevallier. As a corollary of Dani's correspondence principle, the divergent trajectories of a one-parameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs has equal Hausdorff and packing dimensions. Other applications include quantitative strengthenings of theorems due to Cheung and Moshchevitin, which originally resolved conjectures due to Starkov and Schmidt respectively; as well as dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions, completing partial results due to Baker, Bugeaud, Cheung, Chevallier, Dodson, Laurent and Rynne. △ Less

Submitted 11 November, 2023; v1 submitted 19 January, 2019; originally announced January 2019.

Comments: now with a uniform version of the main variational principle

MSC Class: 11K55; 11J13 (primary); 28A80; 28A78; 37A15; 37A17; 37C85; 37D40; 91A05; 91A44 (secondary)

Journal ref: Advances in Mathematics, Volume 437, 2024, 109435

Long hitting times for expanding systems

Authors: Łukasz Pawelec, Mariusz Urbański

Abstract: We prove a new result in the area of hitting time statistics. Currently, there is a lot of papers showing that the first entry times into cylinders or balls are often faster than the Birkhoff's Ergodic Theorem would suggest. We provide an opposite counterpart to these results by proving that the hitting times into shrinking balls are also often much larger than these theorems would suggest, by sho… ▽ More We prove a new result in the area of hitting time statistics. Currently, there is a lot of papers showing that the first entry times into cylinders or balls are often faster than the Birkhoff's Ergodic Theorem would suggest. We provide an opposite counterpart to these results by proving that the hitting times into shrinking balls are also often much larger than these theorems would suggest, by showing that for many dynamical systems $$ \displaystyle \limsup_{r\to 0} τ_{B(y,r)}(x)μ(B(y,r))=+\infty, $$ for an appropriately large, at least of full measure, set of points $y$ and $x$. We first do this for all transitive open distance expanding maps and Gibbs/equilibrium states of Hölder continuous potentials; in particular for all irreducible subshifts of finite type with a finite alphabet. Then we prove such result for all finitely irreducible subshifts of finite type with a countable alphabet and Gibbs/equilibrium states for Hölder continuous summable potentials. Next, we show that the \emph{limsup} result holds for all graph directed Markov systems (far going natural generalizations of iterated function systems) and projections of aforementioned Gibbs states on their limit sets. By utilizing the first return map techniques, we then prove the \emph{limsup} result for all tame topological Collect--Eckmann multimodal maps of an interval, all tame topological Collect--Eckmann rational functions of the Riemann sphere, and all dynamically semi--regular transcendental meromorphic functions from $\mathbb{C}$ to $\widehat{\mathbb{C}}$. △ Less

Submitted 1 August, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: arXiv admin note: text overlap with arXiv:1609.03610

MSC Class: Primary 37B20; Secondary 37A25

Quantization dimension for infinite conformal iterated function systems

Authors: Jason Atnip, Mrinal Kanti Roychowdhury, Mariusz Urbański

Abstract: The quantization dimension function for an $F$-conformal measure $m_F$ generated by an infinite conformal iterated function system satisfying the strong open set condition and by a summable Hölder family of functions is expressed by a simple formula involving the temperature function of the system. The temperature function is commonly used to perform the multifractal analysis, in our context of th… ▽ More The quantization dimension function for an $F$-conformal measure $m_F$ generated by an infinite conformal iterated function system satisfying the strong open set condition and by a summable Hölder family of functions is expressed by a simple formula involving the temperature function of the system. The temperature function is commonly used to perform the multifractal analysis, in our context of the measure $m_F$. The result in this paper extends a similar result of Lindsay and Mauldin established for finite conformal iterated function systems [Nonlinearity 15 (2002)]. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Critically Finite Random Maps of an Interval

Authors: Jason Atnip, Mariusz Urbański

Abstract: We consider random multimodal $C^3$ maps with negative Schwarzian derivative, defined on a finite union of closed intervals in $[0,1]$, onto the interval $[0,1]$ with the base space $Ω$ and a base invertible ergodic map $θ:Ω\toΩ$ preserving a probability measure $m$ on $Ω$. We denote the corresponding skew product map by $T$ and call it a critically finite random map of an interval. We prove that… ▽ More We consider random multimodal $C^3$ maps with negative Schwarzian derivative, defined on a finite union of closed intervals in $[0,1]$, onto the interval $[0,1]$ with the base space $Ω$ and a base invertible ergodic map $θ:Ω\toΩ$ preserving a probability measure $m$ on $Ω$. We denote the corresponding skew product map by $T$ and call it a critically finite random map of an interval. We prove that there exists a subset $AA(T)$ of $[0,1]$ with the following properties: (1) For each $t\in AA(T)$ a $t$-conformal random measure $ν_t$ exists. We denote by $λ_{t,ν_t,ω}$ the corresponding generalized eigenvalues of the corresponding dual operators $\mathcal{L}_{t,ω}^*$, $ω\inΩ$. (2) Given $t\ge 0$ any two $t$-conformal random measures are equivalent. (3) The expected topological pressure of the parameter $t$: $$\mathcal{E}P(t):=\int_Ω\logλ_{t,ν,ω}dm(ω) $$ is independent of the choice of a $t$-conformal random measure $ν$. (4) The function $$ AA(T)\ni t\longmapsto \mathcal{E}P(t)\in\mathbb R $$ is monotone decreasing and Lipschitz continuous. (5) With $b_T$ being defined as the supremum of such parameters $t\in AA(T)$ that $\mathcal{E}P(t)\ge 0$, it holds that $$ \mathcal{E}P(b_T)=0 \ \ \ {\rm and} \ \ \ [0,b_T]\subset \text{Int}(AA(T)). $$ (6) $\text{HD}(\mathcal{J}_ω(T))=b_T$ for $m$-a.e $ω\inΩ$, where $\mathcal{J}_ω(T)$, $ω\inΩ$, form the random closed set generated by the skew product map $T$. (7) $b_T=1$ if and only if $\bigcup_{Δ\in \mathcal{G}}Δ=[0,1]$, and then $\mathcal{J}_ω(T)=[0,1]$ for all $ω\inΩ$. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Rigid foldability of the augmented square twist

Authors: Thomas C. Hull, Michael T. Urbanski

Abstract: Define the augmented square twist origami crease pattern to be the classic square twist crease pattern with one crease added along a diagonal of the twisted square. In this paper we fully describe the rigid foldability of this new crease pattern. Specifically, the extra crease allows the square twist to rigidly fold in ways the original cannot. We prove that there are exactly four non-degenerate r… ▽ More Define the augmented square twist origami crease pattern to be the classic square twist crease pattern with one crease added along a diagonal of the twisted square. In this paper we fully describe the rigid foldability of this new crease pattern. Specifically, the extra crease allows the square twist to rigidly fold in ways the original cannot. We prove that there are exactly four non-degenerate rigid foldings of this crease pattern from the unfolded state. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Journal ref: Origami$^7$: Proceedings of the 7th International Meeting on Origami Science, Mathematics, and Education, Tarquin (2018), pp. 533-543

Phase Drift Compensating RF Link for Femtosecond Synchronization of E-XFEL

Authors: Dominik Sikora, Krzysztof Czuba, Pawel Jatczak, Maciej Urbanski, Holger Schlarb, Frank Ludwig, Heinrich Pryschelski

Abstract: Modern high-energy particle accelerators and Free-Electron Lasers incorporate large quantities of sensitive RF and microwave frequency devices distributed over kilometer distances. Such devices require extreme stable phase and time synchronization by means of high frequency signal distributed along the accelerator facility. Coaxial cables are commonly used to distribute the reference signal over t… ▽ More Modern high-energy particle accelerators and Free-Electron Lasers incorporate large quantities of sensitive RF and microwave frequency devices distributed over kilometer distances. Such devices require extreme stable phase and time synchronization by means of high frequency signal distributed along the accelerator facility. Coaxial cables are commonly used to distribute the reference signal over the large machine to synchronize electronic systems and they are the main source of undesirable phase drifts in the synchronization system. Signal phase drifts in cables are mainly caused by temperature and humidity variations and their values usually exceed required phase synchronization accuracy by more than order of magnitude. There are several approaches to reduce signal phase drifts in coaxial cables. This paper describes the realization of active phase stabilization system based on interference phenomenon. A phase-locked signal from the transmitter is reflected at the end of a coaxial cable link. Directional couplers placed along the cable pick up the forward and reflected signals and interfere them to cancel out the cable phase drifts. Distributed hardware including interferometer controller/transmitter and receiver modules were built to demonstrate system concept and performance. Link input and output devices used FPGA I/O boards with Ethernet interface to control system operation. Specialized firmware and software was developed to calibrate and control the system. This paper describes the concept of interferometer link, designed hardware, basic control algorithms and performance evaluation results. The link prototype was built to distribute 1.3 GHz signal through a coaxial cable. Measured phase drift suppression factor value exceeded level of 100. △ Less

Submitted 24 June, 2018; originally announced June 2018.

Comments: 6 pages, 10 figures, 21st IEEE Real Time Conference

On the dimension spectrum of infinite subsystems of continued fractions

Authors: Vasileios Chousionis, Dmitriy Leykekhman, Mariusz Urbański

Abstract: In this paper we study the dimension spectrum of continued fractions with coefficients restricted to infinite subsets of natural numbers. We prove that if $E$ is any arithmetic progression, the set of primes, or the set of squares $\{n^2\}_{n \in \mathbb{N}}$, then the continued fractions whose digits lie in $E$ have full dimension spectrum, which we denote by $DS(\mathcal{CF}_E)$. Moreover we pro… ▽ More In this paper we study the dimension spectrum of continued fractions with coefficients restricted to infinite subsets of natural numbers. We prove that if $E$ is any arithmetic progression, the set of primes, or the set of squares $\{n^2\}_{n \in \mathbb{N}}$, then the continued fractions whose digits lie in $E$ have full dimension spectrum, which we denote by $DS(\mathcal{CF}_E)$. Moreover we prove that if $E$ is an infinite set of consecutive powers then the dimension spectrum $DS(\mathcal{CF}_E)$ always contains a non trivial interval. We also show that there exists some $E \subset \mathbb{N}$ and two non-trivial intervals $I_1, I_2$, such that $DS(\mathcal{CF}_E) \cap I_1=I_1$ and $DS(\mathcal{CF}_E) \cap I_2$ is a Cantor set. On the way we employ the computational approach of Falk and Nussbaum in order to obtain rigorous effective estimates for the Hausdorff dimension of continued fractions whose entries are restricted to infinite sets. △ Less

Submitted 30 May, 2018; originally announced May 2018.

Random non-hyperbolic exponential maps

Authors: Mariusz Urbański, Anna Zdunik

Abstract: We consider random iteration of exponential entire functions, i.e. of the form ${\mathbb C}\ni z\mapsto f_λ(z):=λe^z\in\mathbb C$, $λ\in{\mathbb C}\setminus \{0\}$. Assuming that $λ$ is in a bounded closed interval $[A,B]$ with $A>1/e$, we deal with random iteration of the maps $f_λ$ governed by an invertible measurable map $θ:Ω\toΩ$ preserving a probability ergodic measure $m$ on $Ω$, where $Ω$ i… ▽ More We consider random iteration of exponential entire functions, i.e. of the form ${\mathbb C}\ni z\mapsto f_λ(z):=λe^z\in\mathbb C$, $λ\in{\mathbb C}\setminus \{0\}$. Assuming that $λ$ is in a bounded closed interval $[A,B]$ with $A>1/e$, we deal with random iteration of the maps $f_λ$ governed by an invertible measurable map $θ:Ω\toΩ$ preserving a probability ergodic measure $m$ on $Ω$, where $Ω$ is a measurable space. The link from $Ω$ to exponential maps is then given by an arbitrary measurable function $η:Ω\longmapsto [A,B]$. We in fact work on the cylinder space $Q:={\mathbb C}/\sim$, where $\sim$ is the natural equivalence relation: $z\sim w$ if and only if $w-z$ is an integral multiple of $2πi$. We prove that then for every $t>1$ there exists a unique random conformal measure $ν^{(t)}$ for the random conformal dynamical system on $Q$. We further prove that this measure is supported on the, appropriately defined, radial Julia set. Next, we show that there exists a unique random probability invariant measure $μ^{(t)}$ absolutely continuous with respect to $μ^{(t)}$. In fact $μ^{(t)}$ is equivalent with $ν^{(t)}$. Then we turn to geometry. We define an expected topological pressure $\mathcal E P(t)\in{\mathbb R}$ and show that its only zero $h$ coincides with the Hausdorff dimension of $m$--almost every fiber radial Julia set $J_r(ω)\subset Q$, $ω\inΩ$. We show that $h\in (1,2)$ and that the omega--limit set of Lebesgue almost every point in $Q$ is contained in the real line $\mathbb R$. Finally, we entirely transfer our results to the original random dynamical system on $\mathbb C$. As our preliminary result, we show that all fiber Julia sets coincide with the entire complex plane $\mathbb C$. △ Less

Submitted 21 May, 2018; originally announced May 2018.

The dimension spectrum of graph directed Markov systems

Authors: Vasileios Chousionis, Dmitriy Leykekhman, Mariusz Urbański

Abstract: In this paper we study the dimension spectrum of general conformal graph directed Markov systems modeled by countable state symbolic subshifts of finite type. We perform a comprehensive study of the dimension spectrum addressing questions regarding its size and topological structure. As a corollary we obtain that the dimension spectrum of infinite conformal iterated function systems is compact and… ▽ More In this paper we study the dimension spectrum of general conformal graph directed Markov systems modeled by countable state symbolic subshifts of finite type. We perform a comprehensive study of the dimension spectrum addressing questions regarding its size and topological structure. As a corollary we obtain that the dimension spectrum of infinite conformal iterated function systems is compact and perfect. On the way we revisit the role of the parameter $θ$ in graph directed Markov systems and we show that new phenomena arise. We also establish topological pressure estimates for subsystems in the abstract setting of symbolic dynamics with countable alphabets. These estimates play a crucial role in our proofs regarding the dimension spectrum, and they allow us to study Hausdorff dimension asymptotics for subsystems. Finally we narrow our focus to the dimension spectrum of conformal iterated function systems and we prove, among other things, that the iterated function system resulting from the complex continued fractions algorithm has full dimension spectrum. We thus give a positive answer to the Texan conjecture for complex continued fractions. △ Less

Submitted 4 February, 2018; originally announced February 2018.

MSC Class: 37D35; 28A80; 11K50; 11J70; 37B10; 37C30; 37C40

Journal ref: Selecta Math. 25 (2019), no. 3, Art. 40

Index divisibility in the orbit of 0 for integral polynomials

Authors: T. Alden Gassert, Michael T. Urbanski

Abstract: Let $f(x) \in \bbz[x]$ and consider the index divisibility set $D = \{n \in \bbn : n \mid f^n(0)\}$. We present a number of properties of $D$ in the case that $(f^n(0))_{n=1}^\infty$ is a rigid divisibility sequence, generalizing a number of results of Chen, Stange, and the first author. We then study the polynomial $x^d + x^e + c \in \bbz[x]$, where $d > e \ge 2$ and determine all cases where thi… ▽ More Let $f(x) \in \bbz[x]$ and consider the index divisibility set $D = \{n \in \bbn : n \mid f^n(0)\}$. We present a number of properties of $D$ in the case that $(f^n(0))_{n=1}^\infty$ is a rigid divisibility sequence, generalizing a number of results of Chen, Stange, and the first author. We then study the polynomial $x^d + x^e + c \in \bbz[x]$, where $d > e \ge 2$ and determine all cases where this map has a finite index divisibility set. △ Less

Submitted 25 September, 2017; originally announced September 2017.

Thermodynamic formalism and integral means spectrum of asymptotic tracts for transcendental entire functions

Authors: Volker Mayer, Mariusz Urbański

Abstract: We provide the full theory of thermodynamic formalism for a very general collection of entire functions in class $\mathcal B$. This class overlaps with the collection of all entire functions for which thermodynamic formalism has been so far established and contains many new functions. The key point is that we introduce an integral means spectrum for logarithmic tracts which takes care of the fra… ▽ More We provide the full theory of thermodynamic formalism for a very general collection of entire functions in class $\mathcal B$. This class overlaps with the collection of all entire functions for which thermodynamic formalism has been so far established and contains many new functions. The key point is that we introduce an integral means spectrum for logarithmic tracts which takes care of the fractal behavior of the boundary of the tract near infinity. It turns out that this spectrum behaves well as soon as the tracts have some sufficiently nice geometry which, for example, is the case for quasicircle, John or Hölder tracts. In this case we get a good control of the corresponding transfer operators, leading to full thermodynamic formalism along with its applications such as exponential decay of correlations, central limit theorem and a Bowen's formula for the Hausdorff dimension of radial Julia sets. Our approach applies in particular to every hyperbolic function from any Eremenko-Lyubich analytic family of Speiser class $\mathcal S$ provided this family contains at least one function with Hölder tracts. The latter is, for example, the case if the family contains a Poincaré linearizer. △ Less

Submitted 21 October, 2019; v1 submitted 15 September, 2017; originally announced September 2017.

MSC Class: 30D05; 37F10

Skew product Smale endomorphisms over countable shifts of finite type

Authors: Eugen Mihailescu, Mariusz Urbański

Abstract: We introduce and study skew product Smale endomorphisms over finitely irreducible topological Markov shifts with countable alphabets. We prove that almost all conditional measures of equilibrium states of summable and locally Holder continuous potentials are dimensionally exact, and that their dimension is equal to the ratio of the (global) entropy and the Lyapunov exponent. We also prove for the… ▽ More We introduce and study skew product Smale endomorphisms over finitely irreducible topological Markov shifts with countable alphabets. We prove that almost all conditional measures of equilibrium states of summable and locally Holder continuous potentials are dimensionally exact, and that their dimension is equal to the ratio of the (global) entropy and the Lyapunov exponent. We also prove for them a formula of Bowen type for the Hausdorff dimension of all fibers. We develop a version of thermodynamic formalism for finitely irreducible two-sided topological Markov shifts with countable alphabets. We describe then the thermodynamic formalism for Smale skew products over countable-to-1 endomorphisms, and give several applications to measures on natural extensions of endomorphisms. We show that the exact dimensionality of conditional measures on fibers, implies the global exact dimensionality of the measure, in certain cases. We then study equilibrium states for skew products over endomorphisms generated by graph directed Markov systems, in particular for skew products over expanding Markov-Renyi(EMR) maps, and we settle the question of the exact dimensionality of such measures. In particular, this applies to skew products over the continued fractions transformation, and over parabolic maps. We prove next two results related to Diophantine approximation, which make the renowned Doeblin-Lenstra Conjecture more general and more precise, for a different class of measures than in the classical case. In the end, we prove exact dimensionality and find a computable formula for the dimension of equilibrium measures, for induced maps of natural extensions $\mathcal T_β$ of beta-maps, for arbitrary β> 1. △ Less

Submitted 18 April, 2019; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: This was accepted and will appear in Ergodic Theory and Dynamical Systems

MSC Class: 37D35; 37A35; 37C45; 37A45; 46G10; 60B05

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 3105-3149

Asymptotic Counting in Conformal Dynamical Systems

Authors: Mark Pollicott, Mariusz Urbanski

Abstract: In this article we consider the general setting of conformal graph directed Markov systems modeled by countable state symbolic subshifts of finite type. We deal with two classes of such systems: attracting and parabolic. The latter being treated by means of the former. We prove fairly complete asymptotic counting results for multipliers and diameters associated with preimages or periodic orbits… ▽ More In this article we consider the general setting of conformal graph directed Markov systems modeled by countable state symbolic subshifts of finite type. We deal with two classes of such systems: attracting and parabolic. The latter being treated by means of the former. We prove fairly complete asymptotic counting results for multipliers and diameters associated with preimages or periodic orbits ordered hy a natural geometric weighting. We also prove the corresponding Central Limit Theorems describing the further features of the distribution of their weights. These have direct applications to a variety of examples, including the case of Apollonian Circle Packings, Apollonian Triangle, expanding and parabolic rational functions, Farey maps, continued fractions, Mannenville-Pomeau maps, Schottky groups, Fuchsian groups, and many more. A fairly complete collection of asymptotic counting results for them is presented. Our new approach is founded on spectral properties of complexified Ruelle--Perron--Frobenius operators and Tauberian theorems as used in classical problems of prime number theory. △ Less

Submitted 19 July, 2017; v1 submitted 23 April, 2017; originally announced April 2017.

MSC Class: 37F35; 37D35; 52C26

A variational principle in the parametric geometry of numbers, with applications to metric Diophantine approximation

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to… ▽ More We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to $mn \big(1-\frac1{m+n}\big)$, thus proving a conjecture of Kadyrov, Kleinbock, Lindenstrauss, and Margulis (preprint 2014) as well as answering a question of Bugeaud, Cheung, and Chevallier (preprint 2016). We introduce the notion of a $template$, which generalizes the notion of a $rigid$ $system$ (Roy, 2015) to the setting of matrix approximation. Our main theorem takes the following form: for any class of templates $\mathcal F$ closed under finite perturbations, the Hausdorff and packing dimensions of the set of matrices whose successive minima functions are members of $\mathcal F$ (up to finite perturbation) can be written as the suprema over $\mathcal F$ of certain natural functions on the space of templates. Besides implying KKLM's conjecture, this theorem has many other applications including computing the Hausdorff and packing dimensions of the set of points witnessing a conjecture of Starkov (2000), and of the set of points witnessing a conjecture of Schmidt (1983). △ Less

Submitted 8 July, 2017; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: Announcement

Journal ref: C. R. Math. Acad. Sci. Paris 355 (2017), no. 8, 835-846

Non-Escaping Sets in Conformal Dynamical Systems and Singular Perturbations of Perron-Frobenius Operators

Authors: Mark Pollicott, Mariusz Urbanski

Abstract: The study of escape rates for a ball in a dynamical systems has been much studied. Understanding the asymptotic behavior of the escape rate as the radius of the ball tends to zero is an especially subtle problem. In the case of hyperbolic conformal systems this has been addressed by various authors. In this paper we consider a far more general realm of conformal maps where the analysis is correspo… ▽ More The study of escape rates for a ball in a dynamical systems has been much studied. Understanding the asymptotic behavior of the escape rate as the radius of the ball tends to zero is an especially subtle problem. In the case of hyperbolic conformal systems this has been addressed by various authors. In this paper we consider a far more general realm of conformal maps where the analysis is correspondingly more complicated. We prove the existence of escape rates and calculate them in the context of countable alphabets, either finite or infinite, uniformly contracting conformal graph directed Markov systems with their special case of conformal countable alphabet iterated function systems. This goal is achieved by developing the appropriate theory of singular perturbations of Perron-Frobenius (transfer) operators associated with countable alphabet subshifts of finite type and Hölder continuous summable potentials. This is the key ingredient for further results about other conformal systems. These include topological Collet-Eckmann multimodal interval maps and rational maps of the Riemann sphere (an equivalent formulation is to be uniformly hyperbolic on periodic points), and also a large class of transcendental meromorphic functions. △ Less

Submitted 12 September, 2016; originally announced September 2016.

Comments: 131 pages

MSC Class: 37F35; 37C30; 37D35; 37A25

Badly approximable points on self-affine sponges and the lower Assouad dimension

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdo… ▽ More We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdorff and dynamical dimensions, the set of badly approximable points has full Hausdorff dimension in the sponge. Our results, which are the first to advance beyond the conformal setting, encompass both the case of Sierpiński sponges/carpets (also known as Bedford-McMullen sponges/carpets) and the case of Barański carpets. We use the fact that the lower Assouad dimension of a hyperplane diffuse set constitutes a lower bound for the Hausdorff dimension of the set of badly approximable points in that set. △ Less

Submitted 13 March, 2017; v1 submitted 10 August, 2016; originally announced August 2016.

Journal ref: Ergodic Theory and Dynamical Systems, 39 (2019), no. 3, 638-657

Thin annuli property and exponential distribution of return times for Weakly Markov systems

Authors: Łukasz Pawelec, Mariusz Urbański, Anna Zdunik

Abstract: We deal with the problem of asymptotic distribution of first return times to shrinking balls under iteration generated by a large general class of dynamical systems called weakly Markov. Our ultimate main result is that these distributions converge to the exponential law when the balls shrink to points. We apply this result to many classes of smooth dynamical systems that include conformal iterate… ▽ More We deal with the problem of asymptotic distribution of first return times to shrinking balls under iteration generated by a large general class of dynamical systems called weakly Markov. Our ultimate main result is that these distributions converge to the exponential law when the balls shrink to points. We apply this result to many classes of smooth dynamical systems that include conformal iterated function systems, rational functions on the Riemann sphere $\widehat{\mathbb C}$, and transcendental meromorphic functions on the complex plane $\mathbb{C}$. We also apply them to expanding repellers and holomorphic endomorphisms of complex projective spaces. One of the key ingredients in our approach is to solve the well known, in this field of mathematics, problem of appropriately estimating the measures of, suitably defined, large class of geometric annuli. We successfully do it. This problem is, in the existing literature, differently referred to by different authors; we call it the Thick Thin Annuli Property. Having this property established, we prove that for non--conformal systems the aforementioned distributions converge to the exponential one along sets of radii whose relative Lebesgue measure converges fast to one. But this is not all. In the context of conformal iterated function systems, we establish the Full Thin Annuli Property, which gives the same estimates for all radii. ln this way, we solve a long standing problem. As a result, we prove that the convergence to the exponential law holds along all radii for essentially all conformal iterated function systems and, with the help of the techniques of first return maps, for all aforementioned conformal dynamical systems. △ Less

Submitted 2 January, 2019; v1 submitted 23 May, 2016; originally announced May 2016.

MSC Class: 37B20 (Primary); 37A25 (Secondary)

Conformal graph directed Markov systems on Carnot groups

Authors: Vasilis Chousionis, Jeremy T. Tyson, Mariusz Urbański

Abstract: We develop a comprehensive theory of conformal graph directed Markov systems in the non-Riemannian setting of Carnot groups equipped with a sub-Riemannian metric. In particular, we develop the thermodynamic formalism and show that, under natural hypotheses, the limit set of an Carnot conformal GDMS has Hausdorff dimension given by Bowen's parameter. We illustrate our results for a variety of examp… ▽ More We develop a comprehensive theory of conformal graph directed Markov systems in the non-Riemannian setting of Carnot groups equipped with a sub-Riemannian metric. In particular, we develop the thermodynamic formalism and show that, under natural hypotheses, the limit set of an Carnot conformal GDMS has Hausdorff dimension given by Bowen's parameter. We illustrate our results for a variety of examples of both linear and nonlinear iterated function systems and graph directed Markov systems in such sub-Riemannian spaces. These include the Heisenberg continued fractions introduced by Lukyanenko and Vandehey as well as Kleinian and Schottky groups associated to the non-real classical rank one hyperbolic spaces. △ Less

Submitted 3 May, 2016; originally announced May 2016.

MSC Class: 30L10; 53C17; 37C40; 11J70; 28A78; 37B10; 37C30; 37D35; 37F35; 47H10

Real Analyticity for random dynamics of transcendental functions

Authors: Volker Mayer, Mariusz Urbanski, Anna Zdunik

Abstract: Analyticity results of expected pressure and invariant densities in the context of random dynamics of transcendental functions are established. These are obtained by a refinement of work by Rugh leading to a simple approach to analyticity. We work under very mild dynamical assumptions. Just the iterates of the Perron-Frobenius operator are assumed to converge. We also provide a Bowen's formula e… ▽ More Analyticity results of expected pressure and invariant densities in the context of random dynamics of transcendental functions are established. These are obtained by a refinement of work by Rugh leading to a simple approach to analyticity. We work under very mild dynamical assumptions. Just the iterates of the Perron-Frobenius operator are assumed to converge. We also provide a Bowen's formula expressing the almost sure Hausdorff dimension of the radial fiberwise Julia sets in terms of the zero of an expected pressure function. Our main application states real analyticity for the variation of this dimension for suitable hyperbolic random systems of entire or meromorphic functions. △ Less

Submitted 17 February, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 33 pages

MSC Class: 54C40

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 490-520

Badly approximable vectors and fractals defined by conformal dynamical systems

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is true if $J$ is the radial Julia set of an irreducible meromorphic function (either rational or transcendental). The method of proof is to find subsets of $J$ tha… ▽ More We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is true if $J$ is the radial Julia set of an irreducible meromorphic function (either rational or transcendental). The method of proof is to find subsets of $J$ that support absolutely friendly and Ahlfors regular measures of large dimension. In the appendix to this paper, we answer a question of Broderick, Kleinbock, Reich, Weiss, and the second-named author ('12) by showing that every hyperplane diffuse set supports an absolutely decaying measure. △ Less

Submitted 30 October, 2016; v1 submitted 4 March, 2016; originally announced March 2016.

Journal ref: Mathematical Research Letters 25 (2018), no. 2, 437-467

Tukia's isomorphism theorem in CAT(-1) spaces

Authors: Tushar Das, David Simmons, Mariusz Urbański

Abstract: We prove a generalization of Tukia's ('85) isomorphism theorem which states that isomorphisms between geometrically finite groups extend equivariantly to the boundary. Tukia worked in the setting of real hyperbolic spaces of finite dimension, and his theorem cannot be generalized as stated to the setting of CAT($-1$) spaces. We exhibit examples of type-preserving isomorphisms of geometrically fini… ▽ More We prove a generalization of Tukia's ('85) isomorphism theorem which states that isomorphisms between geometrically finite groups extend equivariantly to the boundary. Tukia worked in the setting of real hyperbolic spaces of finite dimension, and his theorem cannot be generalized as stated to the setting of CAT($-1$) spaces. We exhibit examples of type-preserving isomorphisms of geometrically finite subgroups of finite-dimensional rank one symmetric spaces of noncompact type (ROSSONCTs) whose boundary extensions are not quasisymmetric. A sufficient condition for a type-preserving isomorphism to extend to a quasisymmetric equivariant homeomorphism between limit sets is that one of the groups in question is a lattice, and that the underlying base fields are the same, or if they are not the same then the base field of the space on which the lattice acts has the larger dimension. This in turn leads to a generalization of a rigidity theorem of Xie ('08) to the setting of finite-dimensional ROSSONCTs. △ Less

Submitted 28 November, 2015; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: This paper is split off from an older version (v5) of arXiv:1409.2155

Journal ref: Ann. Acad. Sci. Fenn. Math. 41 (2016), 659-680

Extremality and dynamically defined measures, part II: Measures from conformal dynamical systems

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On… ▽ More We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying. △ Less

Submitted 8 June, 2020; v1 submitted 23 August, 2015; originally announced August 2015.

Comments: Link to Part I: arXiv:1504.04778

MSC Class: 11J13; 11J83; 28A75; 37F35

Journal ref: Ergodic Theory and Dynamical Systems. 2021;41(8):2311-2348

Overlap functions for measures in conformal iterated function systems

Authors: Eugen Mihailescu, Mariusz Urbanski

Abstract: We study conformal iterated function systems (IFS) $\mathcal S = \{φ_i\}_{i \in I}$ with arbitrary overlaps, and measures $μ$ on limit sets $Λ$, which are projections of equilibrium measures $\hat μ$ with respect to a certain lift map $Φ$ on $Σ_I^+ \times Λ$. No type of Open Set Condition is assumed. We introduce a notion of overlap function and overlap number for such a measure $\hat μ$ with resp… ▽ More We study conformal iterated function systems (IFS) $\mathcal S = \{φ_i\}_{i \in I}$ with arbitrary overlaps, and measures $μ$ on limit sets $Λ$, which are projections of equilibrium measures $\hat μ$ with respect to a certain lift map $Φ$ on $Σ_I^+ \times Λ$. No type of Open Set Condition is assumed. We introduce a notion of overlap function and overlap number for such a measure $\hat μ$ with respect to $\mathcal S$; and, in particular a notion of (topological) overlap number $o(\mathcal S)$. These notions take in consideration the $n$-chains between points in the limit set. We prove that $o(\mathcal S, \hat μ)$ is related to a conditional entropy of $\hat μ$ with respect to the lift $Φ$. Various types of projections to $Λ$ of invariant measures are studied. We obtain upper estimates for the Hausdorff dimension $HD(μ)$ of $μ$ on $Λ$, by using pressure functions and $o(\mathcal S, \hat μ)$. In particular, this applies to projections of Bernoulli measures on $Σ_I^+$. Next, we apply the results to Bernoulli convolutions $ν_λ$ for $λ\in (\frac 12, 1)$, which correspond to self-similar measures determined by composing, with equal probabilities, the contractions of an IFS with overlaps $\mathcal S_λ$. We prove that for all $λ\in (\frac 12, 1)$, there exists a relation between $HD(ν_λ)$ and the overlap number $o(\mathcal S_λ)$. The number $o(\mathcal S_λ)$ is approximated with integrals on $Σ_2^+$ with respect to the uniform Bernoulli measure $ν_{(\frac 12, \frac 12)}$. We also estimate $o(\mathcal S_λ)$ for certain values of $λ$. △ Less

Submitted 31 July, 2015; originally announced July 2015.

MSC Class: 28A80; 28D05; 37C45

Countable Alphabet Random Subhifts of finite type with weakly positive transfer operator

Authors: Volker Mayer, Mariusz Urbanski

Abstract: We deal with countable alphabet locally compact random subshifts of finite type (the latter merely meaning that the symbol space is generated by an incidence matrix) under the absence of Big Images Property and under the absence of uniform positivity of the transfer operator. We first establish the existence of random conformal measures along with good bounds for the iterates of the Perron-Frobeni… ▽ More We deal with countable alphabet locally compact random subshifts of finite type (the latter merely meaning that the symbol space is generated by an incidence matrix) under the absence of Big Images Property and under the absence of uniform positivity of the transfer operator. We first establish the existence of random conformal measures along with good bounds for the iterates of the Perron-Frobenius operator. Then, using the technique of positive cones and proving a version of Bowen's type contraction (see \cite{Bow75}), we also establish a fairly complete thermodynamical formalism. This means that we prove the existence and uniqueness of fiberwise invariant measures (giving rise to a global invariant measure) equivalent to the fiberwise conformal measures. Furthermore, we establish the existence of a spectral gap for the transfer operators, which in the random context precisely means the exponential rate of convergence of the normalized iterated transfer operator. This latter property in a relatively straightforward way entails the exponential decay of correlations and the Central Limit Theorem. △ Less

Submitted 21 May, 2015; originally announced May 2015.

Comments: 32 pages

Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures

Authors: Tushar Das, Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis ('98) resolving Sprindžuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss ('04), hereafter abbreviated KLW. As applications we… ▽ More We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis ('98) resolving Sprindžuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss ('04), hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In Part I, we introduce and develop a systematic account of two classes of measures, which we call $quasi$-$decaying$ and $weakly$ $quasi$-$decaying$. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework (which has received much attention in recent years), thus proving a conjecture of KLW. We also prove the "inherited exponent of irrationality" version of this theorem, describing the relationship between the Diophantine properties of certain subspaces of the space of matrices and measures supported on these subspaces. In subsequent papers, we exhibit numerous examples of quasi-decaying measures, in support of the thesis that "almost any measure from dynamics and/or fractal geometry is quasi-decaying". In addition to the examples described above, we also prove (for example) that Gibbs measures (including conformal measures) of infinite iterated function systems are quasi-decaying, even if the systems in question do not satisfy the open set condition. We also discuss examples of non-extremal measures coming from dynamics, illustrating where the theory must halt. △ Less

Submitted 15 February, 2017; v1 submitted 18 April, 2015; originally announced April 2015.

Comments: Link to part II: arXiv:1508.05592

Journal ref: Selecta Mathematica New Ser. 24 (2018), no. 3, 2165-2206

Dimension rigidity in conformal structures

Authors: Tushar Das, David Simmons, Mariusz Urbański

Abstract: Let $Λ$ be the limit set of a conformal dynamical system, i.e. a Kleinian group acting on either finite- or infinite-dimensional real Hilbert space, a conformal iterated function system, or a rational function. We give an easily expressible sufficient condition, requiring that the limit set is not too much bigger than the radial limit set, for the following dichotomy: $Λ$ is either a real-analytic… ▽ More Let $Λ$ be the limit set of a conformal dynamical system, i.e. a Kleinian group acting on either finite- or infinite-dimensional real Hilbert space, a conformal iterated function system, or a rational function. We give an easily expressible sufficient condition, requiring that the limit set is not too much bigger than the radial limit set, for the following dichotomy: $Λ$ is either a real-analytic manifold or a fractal in the sense of Mandelbrot (i.e. its Hausdorff dimension is strictly greater than its topological dimension). Our primary focus is on the infinite-dimensional case. An important component of the strategy of our proof comes from the rectifiability techniques of Mayer and Urbański ('03), who obtained a dimension rigidity result for conformal iterated function systems (including those with infinite alphabets). In order to handle the infinite dimensional case, both for Kleinian groups and for iterated function systems, we introduce the notion of pseudorectifiability, a variant of rectifiability, and develop a theory around this notion similar to the theory of rectifiable sets. Our approach also extends existing results in the finite-dimensional case, where it unifies the realms of Kleinian groups, conformal iterated function systems, and rational functions. For Kleinian groups, we improve on the rigidity result of Kapovich ('09) by substantially weakening its hypothesis of geometrical finiteness. Moreover, our proof, based on rectifiability, is entirely different than that of Kapovich, which depends on homological algebra. Another advantage of our approach is that it allows us to use the "demension" of Štan$'$ko ('69) as a substitute for topological dimension. For example, we prove that any dynamically defined version of Antoine's necklace must have Hausdorff dimension strictly greater than 1 (i.e. the demension of Antoine's necklace). △ Less

Submitted 28 December, 2016; v1 submitted 7 April, 2015; originally announced April 2015.

Journal ref: Adv. Math. 308 (2017), 1127-1186

Shrinking targets for non-autonomous dynamical systems corresponding to Cantor series expansions

Authors: Lior Fishman, Bill Mance, David Simmons, Mariusz Urbanski

Abstract: We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation i… ▽ More We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation interpretation of our scheme. △ Less

Submitted 11 October, 2014; v1 submitted 28 September, 2014; originally announced September 2014.

Comments: 6 pages

Journal ref: Bull. Aust. Math. Soc. {\bf 92} (2015), no. 2, 205--213

Random Dynamics of Transcendental Functions

Authors: Volker Mayer, Mariusz Urbanski

Abstract: This work concerns random dynamics of hyperbolic entire and meromorphic functions of finite order and whose derivative satisfies some growth condition at infinity. This class contains most of the classical families of transcendental functions and goes much beyond. Based on uniform versions of Nevanlinna's value distribution theory we first build a thermodynamical formalism which, in particular, pr… ▽ More This work concerns random dynamics of hyperbolic entire and meromorphic functions of finite order and whose derivative satisfies some growth condition at infinity. This class contains most of the classical families of transcendental functions and goes much beyond. Based on uniform versions of Nevanlinna's value distribution theory we first build a thermodynamical formalism which, in particular, produces unique geometric and fiberwise invariant Gibbs states. Moreover, spectral gap property for the associated transfer operator along with exponential decay of correlations and a central limit theorem are shown. This part relies on our construction of new positive invariant cones that are adapted to the setting of unbounded phase spaces. This setting rules out the use of Hilbert's metric along with the usual contraction principle. However these cones allow us to apply a contraction argument stemming from Bowen's initial approach. △ Less

Submitted 3 February, 2017; v1 submitted 25 September, 2014; originally announced September 2014.

Comments: Final Version, to appear in J. d'Analyse Math, 35 pages

Rigidity of limit sets for nonplanar geometrically finite Kleinian groups of the second kind

Authors: Lior Fishman, David Simmons, Mariusz Urbański

Abstract: We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while a stronger rigidity theorem of Yang and Jiang ('10) does not. We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while a stronger rigidity theorem of Yang and Jiang ('10) does not. △ Less

Submitted 1 October, 2014; v1 submitted 12 September, 2014; originally announced September 2014.

Journal ref: Geom. Dedicata 178 (2015), 95-101

Geometry and dynamics in Gromov hyperbolic metric spaces: With an emphasis on non-proper settings

Authors: Tushar Das, David Simmons, Mariusz Urbański

Abstract: Our monograph presents the foundations of the theory of groups and semigroups acting isometrically on Gromov hyperbolic metric spaces. Our work unifies and extends a long list of results by many authors. We make it a point to avoid any assumption of properness/compactness, keeping in mind the motivating example of $\mathbb H^\infty$, the infinite-dimensional rank-one symmetric space of noncompact… ▽ More Our monograph presents the foundations of the theory of groups and semigroups acting isometrically on Gromov hyperbolic metric spaces. Our work unifies and extends a long list of results by many authors. We make it a point to avoid any assumption of properness/compactness, keeping in mind the motivating example of $\mathbb H^\infty$, the infinite-dimensional rank-one symmetric space of noncompact type over the reals. The monograph provides a number of examples of groups acting on $\mathbb H^\infty$ which exhibit a wide range of phenomena not to be found in the finite-dimensional theory. Such examples often demonstrate the optimality of our theorems. We introduce a modification of the Poincaré exponent, an invariant of a group which gives more information than the usual Poincaré exponent, which we then use to vastly generalize the Bishop--Jones theorem relating the Hausdorff dimension of the radial limit set to the Poincaré exponent of the underlying semigroup. We give some examples based on our results which illustrate the connection between Hausdorff dimension and various notions of discreteness which show up in non-proper settings. We construct Patterson--Sullivan measures for groups of divergence type without any compactness assumption. This is carried out by first constructing such measures on the Samuel--Smirnov compactification of the bordification of the underlying hyperbolic space, and then showing that the measures are supported on the bordification. We study quasiconformal measures of geometrically finite groups in terms of (a) doubling and (b) exact dimensionality. Our analysis characterizes exact dimensionality in terms of Diophantine approximation on the boundary. We demonstrate that some Patterson--Sullivan measures are neither doubling nor exact dimensional, and some are exact dimensional but not doubling, but all doubling measures are exact dimensional. △ Less

Submitted 28 June, 2016; v1 submitted 7 September, 2014; originally announced September 2014.

Comments: A previous version of this document included Section 12.5 (Tukia's isomorphism theorem). The results of that subsection have been split off into a new document which is available at arXiv:1508.06960

Journal ref: Mathematical Surveys and Monographs, 218. American Mathematical Society, Providence, RI, 2017

Random countable iterated function systems with overlaps and applications

Authors: Eugen Mihailescu, Mariusz Urbanski

Abstract: We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy, the dimensional exactness of the projections of invariant measures from the shift space, and we give a formula for their dimension, in the context of random in… ▽ More We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy, the dimensional exactness of the projections of invariant measures from the shift space, and we give a formula for their dimension, in the context of random infinite conformal iterated function systems with overlaps. There exist many differences between our case and the finite deterministic case studied in [7], and we introduce new methods specific to the infinite and random case. We apply our results towards a problem related to a conjecture of Lyons about random continued fractions ([10]), and show that for Lebesgue-almost all parameters λ> 0, the invariant measure ν_λis exact dimensional. The finite IFS determining these continued fractions is not hyperbolic, but we can associate to it a random infinite IFS of contractions which have overlaps. We study then also other large classes of random countable iterated function systems with overlaps, namely: a) several types of random iterated function systems related to Kahane-Salem sets; and b) randomized infinite IFS in the plane which have uniformly bounded number of disc overlaps. For all the above classes, we find lower and upper estimates for the pointwise (and Hausdorff, packing) dimensions of the invariant measures. △ Less

Submitted 23 March, 2015; v1 submitted 12 May, 2014; originally announced May 2014.

MSC Class: 37H15; 37F40; 28A80; 28D05; 37C45; 37A35

Homogeneous kernerls and self similar sets

Authors: Vasilis Chousionis, Mariusz Urbański

Abstract: We consider singular integrals associated to homogeneous kernels on self similar sets. Using ideas from ergodic theory we prove, among other things, that in Euclidean spaces the principal values of singular integrals associated to real analytic, homogeneous kernels fail to exist a.e. on self similar sets satisfying some separation conditions. Furthermore in general metric groups, using similar tec… ▽ More We consider singular integrals associated to homogeneous kernels on self similar sets. Using ideas from ergodic theory we prove, among other things, that in Euclidean spaces the principal values of singular integrals associated to real analytic, homogeneous kernels fail to exist a.e. on self similar sets satisfying some separation conditions. Furthermore in general metric groups, using similar techniques, we generalize a criterion of $L^2$-unboundedness for singular integrals on self similar sets. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Journal ref: Indiana Univ. Math. J. 64 No. 2 (2015), 411--431