Searcharxiv⌕ Search

arXiv subjects

Anna Zdunik

Publications and source records attributed to Anna Zdunik.

At least 19 recordsLinked to original sources
arXiv2025

On the dimension of the boundaries of attracting basins of entire maps

Let $f\colon \mathbb{C} \to \mathbb{C}$ be a transcendental entire map from the Eremenko-Lyubich class $\mathcal{B}$, and let $\zeta$ be an attracting periodic point of period $p$. We prove that the boundaries of components of the attracting basin of (the orbit of) $\zeta$ have hyperbolic (and, consequently, Hausdorff) dimension larger than $1$, provided $f^p$ has an infinite degree on an immediate component $U$ of the basin, and the singular set of $f^p|_U$ is compactly contained in $U$. The same holds for the boundaries of components of the basin of a parabolic $p$-periodic point $\zeta$, under the additional assumption $\zeta \notin \overline{{\text{Sing}}(f^p)}$. We also prove that if an immediate component of an attracting basin of an arbitrary transcendental entire map is bounded, then the boundaries of components of the basin have hyperbolic dimension larger than $1$. This enables us to show that the boundary of a component of an attracting basin of a transcendental entire function is never a smooth or rectifiable curve. The results provide a partial answer to a question from Hayman's list of problems in function theory.

math.DS↗
arXiv2025

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

Let $G(x):=\{1/x\}$ be the Gauss map. By $g_n(x)=\frac{1}{x+n}$ we denote its continuous/real analytic inverse branches. We define iterated function system (IFS) $G_n$ by limiting the collection of functions $g_k$, $k\in\mathbb N$, to the first $n$ elements, meaning that $G_n = \{g_k \}_{k=1}^n$. We are interested in the asymptotics of the Hausdorff measure of the limit set $J_n$ i. e. set consisting of irrational elements of $[0,1]$ having continued fraction expansion with entries at most $n$. In the first part of the paper, we deal with the piecewise-linear analogue of the Gauss map and resulting IFSs. We prove that \[ \lim \limits_{n \to \infty } \frac{1-H_n(J_n)}{1-h_n} \cdot \frac{1}{\ln n} = 1, \] where $J_n$ is the limit set of the piecewise-linear analogue of $G_n$, $h_n$ is its Hausdorff dimension and $H_n$ is the value of $h_n$-dimensional Hausdorff measure of the set $J_n$, $H_n:=H_{h_n}(J_n)$. In the second part, we focus on the IFS generated by the first $n$ branches of Gauss map and prove, as our main result, that $$ \lim_{n\to\infty} \frac{1-H_n}{(1-h_n)\ln n}= 1 $$ and equivalently, due to Hensley's result, $$ \lim_{n\to\infty} \frac{n(1-H_n)}{\ln n}= \frac{6}{\pi^2}, $$ where $J_n$ is the limit set of the system $G_n$, i.e. the set consisting of irrational numbers in $[0,1]$ that continued fraction expansion with entries not exceeding $n$. Similarly as for the piecewise linear map, $h_n$ is the Hausdorff dimension of $J_n$ and $H_n$ is the value of $h_n$-dimensional Hausdorff measure of the set $J_n$, $H_n:=H_{h_n}(J_n)$.

math.DS↗
arXiv2023

Equilibrium measures on Julia sets of random quadratic polynomials

We consider sequences of compositions of quadratic polynomials $f_{c_n} (z) = z^2 + c_n$. For such sequences one can naturally generalize the definitions of the Julia set and basin of infinity from the autonomous case. In this setting the Julia set depends on a sequence $ω= (c_0, c_1, ...)$. We study the equilibrium (harmonic) measure on such Julia sets. In particular, we calculate the Hausdorff dimension of the equilibrium measure and study its dependence on the ''scale of randomness''.

math.DS↗
arXiv2021

On Hausdorff dimension of polynomial not totally disconnected Julia sets

We prove that for every polynomial of one complex variable of degree at least 2 and Julia set not being totally disconnected nor a circle, nor interval, Hausdorff dimension of this Julia set is larger than 1. Till now this was known only in the connected Julia set case. We give also an example of a polynomial with non-connected but not totally disconnected Julia set and such that all its components comprising of more than single points are analytic arcs, thus resolving a question by Christopher Bishop, who asked whether every such component must have Hausdorff dimension larger than 1.

math.DS↗
arXiv2021

The failure of Ruelle's property for entire functions

We exhibit an analytic family of hyperbolic, even disjoint type, entire functions for which the hyperbolic dimension does not vary analytically. Additionally we answer several questions in thermodynamic formalism of entire functions such as the existence of a hyperbolic entire function without conformal measure that is supported on the radial Julia set.

math.DS↗
arXiv2020

Thermodynamic formalism for coarse expanding dynamical systems

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.

math.DS↗
arXiv2020

Total disconnectedness of Julia sets of random quadratic polynomials

For a sequence of complex parameters $\{c_n\}$ we consider the compositions of functions $f_{c_n} (z) = z^2 + c_n$, which is the non-autonomous version of the classical quadratic dynamical system. The definitions of Julia and Fatou sets are naturally generalized to this setting. We answer a question posed by Brück, Büger and Reitz, whether the Julia set for such a sequence is almost always totally disconnected, if the values $c_n$ are chosen randomly from a large disk. Our proof is easily generalized to answer a lot of other related questions regarding typical connectivity of the random Julia set. In fact we prove the statement for a much larger family of sets than just disks, in particular if one picks $c_n$ randomly from the main cardioid of the Mandelbrot set, then the Julia set is still almost always totally disconnected.

math.DS↗
arXiv2019

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

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.

math.DS↗
arXiv2018

Random non-hyperbolic exponential maps

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$.

math.DS↗
arXiv2017

Stability of iterated function systems on the circle

We prove that any Iterated Function System of circle homeomorphisms with at least one of them having dense orbit, is asymptotically stable. The corresponding Perron-Frobenius operator is shown to satisfy the e-property, that is, for any continuous function its iterates are equicontinuous. The Strong Law of Large Numbers for trajectories starting from an arbitrary point for such function systems is also proved.

math.PR↗
arXiv2017

Real Analyticity for random dynamics of transcendental functions

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.

math.DS↗
arXiv2016

Conformal measures for meromorphic maps

In this paper we study the relation between the existence of a conformal measure on the Julia set $J(f)$ of a transcendental meromorphic map $f$ and the existence of zero of the topological pressure function $t \mapsto P(f, t)$ for the map $f$. In particular, we show that if $f$ is hyperbolic and there exists a $t$-conformal measure which is not totally supported on the set of escaping points, then $P(f, t) = 0$. On the other hand, for a wide class of maps $f$, including arbitrary maps with at most finitely many poles and finite set of singular values and hyperbolic maps with at most finitely many poles and bounded set of singular values, if $P(f, t) = 0$, we construct a $t$-conformal measure on $J(f)$. This partially answers a question of R.D. Mauldin.

math.DS↗
arXiv2014

Indecomposable continua in exponential dynamics-Hausdorff dimension

We study some forward invariant sets appearing in the dynamics of the exponential family. We prove that the Hausdorff dimension of the sets under consideration is not larger than $1$. This allows us to prove, as a consequence, a result for some dynamically defined indecomposable continua which appear in the dynamics of the exponential family. We prove that the Hausdorff dimension of these continua is equal to one.

math.DS↗
arXiv2013

Hausdorff and harmonic measures on non-homogeneous Cantor sets

We consider (not self-similar) Cantor sets defined by a sequence of piecewise linear functions. We prove that the dimension of the harmonic measure on such a set is strictly smaller than its Hausdorff dimension. Some Hausdorff measure estimates for these sets are also provided.

math.CA↗
arXiv2011

Bowen's formula for meromorphic functions

Let $f$ be an arbitrary transcendental entire or meromorphic function in the class $\mathcal S$ (i.e. with finitely many singularities). We show that the topological pressure $P(f,t)$ for $t > 0$ can be defined as the common value of the pressures $P(f,t, z)$ for all $z \in \mathbb C$ up to a set of Hausdorff dimension zero. Moreover, we prove that $P(f,t)$ equals the supremum of the pressures of $f|_X$ over all invariant hyperbolic subsets $X$ of the Julia set, and we prove Bowen's formula for $f$, i.e. we show that the Hausdorff dimension of the radial Julia set of $f$ is equal to the infimum of the set of $t$, for which $P(f,t)$ is non-positive. Similar results hold for (non-exceptional) transcendental entire or meromorphic functions $f$ in the class $\mathcal B$ (i.e. with bounded set of singularities), for which the closure of the post-singular set does not contain the Julia set.

math.DS↗
arXiv2009

Dimension properties of the boundaries of exponential basins

We prove that the boundary of a component $U$ of the basin of an attracting periodic cycle (of period greater than 1) for an exponential map on the complex plane has Hausdorff dimension greater than 1 and less than 2. Moreover, the set of points in the boundary of $U$ which do not escape to infinity has Hausdorff dimension (in fact: hyperbolic dimension) greater than 1, while the set of points in the boundary of $U$ which escape to infinity has Hausdorff dimension 1.

math.DS↗
arXiv2007

Hyperbolic dimension of Julia sets of meromorphic maps with logarithmic tracts

We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1.

math.DS↗