For a sequence of complex parameters $(c_n)$ we consider the composition of functions $f_{c_n} (z) = z^2 + c_n$, 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 disc. 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 discs; 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.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are functions for which the postsingular set is a compact subset of the Fatou set. Equivalently, they are characterized as being expanding. Mihaljević-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalize these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics.

For every $m\in \mathbb {N}$, we establish the equidistribution of the sequence of the averaged pullbacks of a Dirac measure at any given value in $\mathbb {C}\setminus \{0\}$ under the $m$th order derivatives of the iterates of a polynomials $f\in \mathbb {C}[z]$ of degree $d>1$ towards the harmonic measure of the filled-in Julia set of f with pole at $\infty $. We also establish non-archimedean and arithmetic counterparts using the potential theory on the Berkovich projective line and the adelic equidistribution theory over a number field k for a sequence of effective divisors on $\mathbb {P}^1(\overline {k})$ having small diagonals and small heights. We show a similar result on the equidistribution of the analytic sets where the derivative of each iterate of a Hénon-type polynomial automorphism of $\mathbb {C}^2$ has a given eigenvalue.

We give conditions ensuring that the Fatou set and the complement of the fast escaping set of an exponential polynomial f both have finite Lebesgue measure. Essentially, these conditions are designed such that $|f(z)|\ge \exp (|z|^\alpha )$ for some $\alpha>0$ and all z outside a set of finite Lebesgue measure.

We compactify and regularise the space of initial values of a planar map with a quartic invariant and use this construction to prove its integrability in the sense of algebraic entropy. The system has certain unusual properties, including a sequence of points of indeterminacy in $\mathbb {P}^{1}\!\times \mathbb {P}^{1}$ . These indeterminacy points lie on a singular fibre of the mapping to a corresponding QRT system and provide the existence of a one-parameter family of special solutions.

Let f be a germ of a holomorphic diffeomorphism with an irrationally indifferent fixed point at the origin in $${\mathbb C}$$ (i.e. $$f(0) = 0, f'(0) = e^{2\pi i \alpha }, \alpha \in {\mathbb R} - {\mathbb Q}$$ ). Pérez-Marco [Fixed points and circle maps. Acta Math.179(2) (1997), 243–294] showed the existence of a unique continuous monotone one-parameter family of non-trivial invariant full continua containing the fixed point called Siegel compacta, and gave a correspondence between germs and families $$(g_t)$$ of circle maps obtained by conformally mapping the complement of these compacts to the complement of the unit disk. The family of circle maps $$(g_t)$$ is the orbit of a locally defined semigroup $$(\Phi _t)$$ on the space of analytic circle maps, which we show has a well-defined infinitesimal generator X. The explicit form of X is obtained by using the Loewner equation associated to the family of hulls $$(K_t)$$ . We show that the Loewner measures $$(\mu _t)$$ driving the equation are 2-conformal measures on the circle for the circle maps $$(g_t)$$ .

We study the dynamics of towers defined by fixed points of renormalization for Feigenbaum polynomials in the complex plane with varying order $\ell $ of the critical point. It is known that the measure of the Julia set of the Feigenbaum polynomial is positive if and only if almost every point tends to $0$ under the dynamics of the tower for corresponding $\ell $ . That in turn depends on the sign of a quantity called the drift. We prove the existence and key properties of absolutely continuous invariant measures for tower dynamics as well as their convergence when $\ell $ tends to $\infty $ . We also prove the convergence of the drifts to a finite limit, which can be expressed purely in terms of the limiting tower, which corresponds to a Feigenbaum map with a flat critical point.

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 [Logarithm laws for flows on homogeneous spaces. Invent. Math.138(3) (1999), 451–494] resolving Sprindžuk’s conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. Selecta Math.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 [Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures. Selecta Math.24(3) (2018), 2165–2206], 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, 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.

We show that condenser capacity varies continuously under holomorphic motions, and the corresponding family of the equilibrium measures of the condensers is continuous with respect to the weak-star convergence. We also study the behavior of uniformly perfect sets under holomorphic motions.

We focus on various dynamical invariants associated to monomial correspondences on toric varieties, using algebraic and arithmetic geometry. We find a formula for their dynamical degrees, relate the exponential growth of the degree sequences to a strict log-concavity condition on the dynamical degrees and compute the asymptotic rate of the growth of heights of points of such correspondences.

We consider the dynamics of complex rational maps on $\widehat{\mathbb{C}}$ . We prove that, after reducing their orbits to a fixed number of positive values representing the Fubini–Study distances between finitely many initial elements of the orbit and the origin, ergodic properties of the rational map are preserved.

Our main result states that, under an exponential map whose Julia set is the whole complex plane, on each piecewise smooth Jordan curve there is a point whose orbit is dense. This has consequences for the boundaries of nice sets, used in induction methods to study ergodic and geometric properties of the dynamics.

We study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $\unicode[STIX]{x1D6FF}$-dense (the orbit meets every ball of radius $\unicode[STIX]{x1D6FF}$), weakly dense and such that $\unicode[STIX]{x1D6E4}\cdot \text{Orb}_{P}(x)$ is dense for every $\unicode[STIX]{x1D6E4}\subset \mathbb{C}$ that either is unbounded or has 0 as an accumulation point. Moreover, we generalize the construction to arbitrary infinite-dimensional separable Banach spaces. To prove this, we study Julia sets of homogeneous polynomials on Banach spaces.

We prove that for each characteristic direction $[v]$ of a tangent to the identity diffeomorphism of order $k+1$ in $(\mathbb{C}^{2},0)$ there exist either an analytic curve of fixed points tangent to $[v]$ or $k$ parabolic manifolds where all the orbits are tangent to $[v]$ , and that at least one of these parabolic manifolds is or contains a parabolic curve.

We consider a certain two-parameter family of automorphisms of the affine plane over a complete, locally compact non-Archimedean field. Each of these automorphisms admits a chaotic attractor on which it is topologically conjugate to a full two-sided shift map, and the attractor supports a unit Borel measure which describes the distribution of the forward orbit of Haar-almost all points in the basin of attraction. We also compute the Hausdorff dimension of the attractor, which is non-integral.

Let $X$ be a nonempty set and ${\mathcal{P}}(X)$ the power set of $X$ . The aim of this paper is to identify the unital subrings of ${\mathcal{P}}(X)$ and to compute its cardinality when it is finite. It is proved that any topology $\unicode[STIX]{x1D70F}$ on $X$ such that $\unicode[STIX]{x1D70F}=\unicode[STIX]{x1D70F}^{c}$ , where $\unicode[STIX]{x1D70F}^{c}=\{U^{c}\mid U\in \unicode[STIX]{x1D70F}\}$ , is a unital subring of ${\mathcal{P}}(X)$ . It is also shown that $X$ is finite if and only if any unital subring of ${\mathcal{P}}(X)$ is a topology $\unicode[STIX]{x1D70F}$ on $X$ such that $\unicode[STIX]{x1D70F}=\unicode[STIX]{x1D70F}^{c}$ if and only if the set of unital subrings of ${\mathcal{P}}(X)$ is finite. As a consequence, if $X$ is finite with cardinality $n\geq 2$ , then the number of unital subrings of ${\mathcal{P}}(X)$ is equal to the $n$ th Bell number and the supremum of the lengths of chains of unital subalgebras of ${\mathcal{P}}(X)$ is equal to $n-1$ .

We show that for any quasimeromorphic mapping with an essential singularity at infinity, there exist points whose iterates tend to infinity arbitrarily slowly. This extends a result by Nicks for quasiregular mappings, and Rippon and Stallard for transcendental meromorphic functions on the complex plane. We further establish a new result for the growth rate of quasiregular mappings near an essential singularity, and briefly extend some results regarding the bounded orbit set and the bungee set to the quasimeromorphic setting.

We study topological properties of the escaping endpoints and fast escaping endpoints of the Julia set of complex exponential $\exp (z)+a$ when $a\in (-\infty ,-1)$ . We show neither space is homeomorphic to the whole set of endpoints. This follows from a general result stating that for every transcendental entire function $f$ , the escaping Julia set $I(f)\cap J(f)$ is first category.

We discuss the relation between the existence of fixed points of the Ruelle operator acting on different Banach spaces, and Sullivan’s conjecture in holomorphic dynamics.

We study the iteration of transcendental self-maps of $\mathcal{C}^*:\=\mathcal{C}\{0}$, that is, holomorphic functions $\fnof:\mathcal{C}^*:\rarr\mathcal{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0},\infin$ in any possible way under iteration. We also give the first explicit examples of transcendental self-maps of $\mathcal{C}^*$ with Baker domains and with wandering domains. In doing so, we developed a sufficient condition for a function to have a simply connected escaping wandering domain. Finally, we remark that our results also provide new examples of entire functions with escaping Fatou components.