BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lasse Rempe-Gillen

Lasse Rempe-Gillen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.CVmath.GN

Catalog footprint

What is connected

13works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2020arXiv

Eventual hyperbolic dimension of entire functions and Poincaré functions of polynomials

Let $ P \colon \mathbb{C} \to \mathbb{C} $ be an entire function. A Poincaré function $ L \colon \mathbb{C} \to \mathbb{C} $ of $ P $ is the entire extension of a linearising coordinate near a repelling fixed point of $ P $. We propose such Poincaré functions as a rich and natural class of dynamical systems from the point of view of measurable dynamics, showing that the measurable dynamics of $ P $ influences that of $ L $. More precisely, the hyperbolic dimension of $ P $ is a lower bound for the hyperbolic dimension of $ L $. Our results allow us to describe a large collection of hyperbolic entire functions having full hyperbolic dimension, and hence no natural invariant measures. (The existence of such examples was only recently established, using very different and much less direct methods.) We also give a negative answer to a natural question concerning the behaviour of eventual dimensions under quasiconformal equivalence.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Non-escaping endpoints do not explode

The family of exponential maps $f_a(z)= e^z+a$ is of fundamental importance in the study of transcendental dynamics. Here we consider the topological structure of certain subsets of the Julia set $J(f_a)$. When $a\in (-\infty,-1)$, and more generally when $a$ belongs to the Fatou set of $f_a$, it is known that $J(f_a)$ can be written as a union of "hairs" and "endpoints" of these hairs. In 1990, Mayer proved for $a\in (-\infty,-1)$ that, while the set of endpoints is totally separated, its union with infinity is a connected set. Recently, Alhabib and the second author extended this result to the case where $a \in F(f_a)$, and showed that it holds even for the smaller set of all escaping endpoints. We show that, in contrast, the set of non-escaping endpoints together with infinity is totally separated. It turns out that this property is closely related to a topological structure known as a `spider's web'; in particular we give a new topological characterisation of spiders' webs that may be of independent interest. We also show how our results can be applied to Fatou's function, $z\mapsto z + 1 + e^{-z}$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On connected preimages of simply-connected domains under entire functions

Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely invariant under $f$ if $f^{-1}(U)=U$.) It was recently observed by Julien Duval that there is a flaw in Baker's argument (which has also been used in later generalisations and extensions of Baker's result). We show that the answer to the above question is negative; so this flaw cannot be repaired. Indeed, for the function $f(z)= e^z+z$, there is a collection of infinitely many pairwise disjoint simply-connected domains, each with connected preimage. We also answer a long-standing question of Eremenko by giving an example of a transcendental entire function, with infinitely many poles, which has the same property. Furthermore, we show that there exists a function $f$ with the above properties such that additionally the set of singular values $S(f)$ is bounded; in other words, $f$ belongs to the Eremenko-Lyubich class. On the other hand, if $S(f)$ is finite (or if certain additional hypotheses are imposed), many of the original results do hold. For the convenience of the research community, we also include a description of the error in the proof of Baker's paper, and a summary of other papers that are affected.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Escaping endpoints explode

In 1988, Mayer proved the remarkable fact that infinity is an explosion point for the set of endpoints of the Julia set of an exponential map that has an attracting fixed point. That is, the set is totally separated (in particular, it does not have any nontrivial connected subsets), but its union with the point at infinity is connected. Answering a question of Schleicher, we extend this result to the set of "escaping endpoints" in the sense of Schleicher and Zimmer, for any exponential map for which the singular value belongs to an attracting or parabolic basin, has a finite orbit, or escapes to infinity under iteration (as well as many other classes of parameters). Furthermore, we extend one direction of the theorem to much greater generality, by proving that the set of escaping endpoints joined with infinity is connected for any transcendental entire function of finite order with bounded singular set. We also discuss corresponding results for *all* endpoints in the case of exponential maps; in order to do so, we establish a version of Thurston's "no wandering triangles" theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Hyperbolic entire functions and the Eremenko-Lyubich class: Class $\mathcal{B}$ or not class $\mathcal{B}$?

Hyperbolicity plays an important role in the study of dynamical systems, and is a key concept in the iteration of rational functions of one complex variable. Hyperbolic systems have also been considered in the study of transcendental entire functions. There does not appear to be an agreed definition of the concept in this context, due to complications arising from the non-compactness of the phase space. In this article, we consider a natural definition of hyperbolicity that requires expanding properties on the preimage of a punctured neighbourhood of the isolated singularity. We show that this definition is equivalent to another commonly used one: a {\tef} is hyperbolic if and only if its postsingular set is a compact subset of the Fatou set. This leads us to propose that this notion should be used as the general definition of hyperbolicity in the context of entire functions, and, in particular, that speaking about hyperbolicity makes sense only within the \emph{Eremenko-Lyubich class} $\mathcal{B}$ of transcendental entire functions with a bounded set of singular values. We also considerably strengthen a recent characterisation of the class $\mathcal{B}$, by showing that functions outside of this class cannot be expanding with respect to a metric whose density decays at most polynomially. In particular, this implies that no transcendental entire function can be expanding with respect to the spherical metric. Finally we give a characterisation of an analogous class of functions analytic in a hyperbolic domain.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hyperbolic entire functions with bounded Fatou components

We show that an invariant Fatou component of a hyperbolic transcendental entire function is a bounded Jordan domain (in fact, a quasidisc) if and only if it contains only finitely many critical points and no asymptotic curves. We use this theorem to prove criteria for the boundedness of Fatou components and local connectivity of Julia sets for hyperbolic entire functions, and give examples that demonstrate that our results are optimal. A particularly strong dichotomy is obtained in the case of a function with precisely two critical values.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Density of hyperbolicity for classes of real transcendental entire functions and circle maps

We prove density of hyperbolicity in spaces of (i) real transcendental entire functions, bounded on the real line, whose singular set is finite and real and (ii) transcendental self-maps of the punctured plane which preserve the circle and whose singular set (apart from zero and infinity) is contained in the circle. In particular, we prove density of hyperbolicity in the famous Arnol'd family of circle maps and its generalizations, and solve a number of other open problems for these functions, including three conjectures by de Melo, Salomão and Vargas. We also prove density of (real) hyperbolicity for certain families as in (i) but without the boundedness condition. Our results apply, in particular, when the functions in question have only finitely many critical points and asymptotic singularities, or when there are no asymptotic values and the degree of critical points is uniformly bounded.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Non-autonomous conformal iterated function systems and Moran-set constructions

We study non-autonomous conformal iterated function systems, with finite or countably infinite alphabet alike. These differ from the usual (autonomous) iterated function systems in that the contractions applied at each step in time are allowed to vary. (In the case where all maps are affine similarities, the resulting system is also called a "Moran set construction".) We shall show that, given a suitable restriction on the growth of the number of contractions used at each step, the Hausdorff dimension of the limit set of such a system is determined by an equation known as Bowen's formula. We also give examples that show the optimality of our results. In addition, we prove Bowen's formula for a class of infinite-alphabet-systems and deal with Hausdorff and packing measures for finite systems, as well as continuity of topological pressure and Hausdorff dimension for both finite and infinite systems. In particular, we strengthen the existing continuity results for infinite autonomous systems. As a simple application of our results, we show that, for a transcendental meromorphic function, the Hausdorff dimension of the set of transitive points (i.e., those points whose orbits are dense in the Julia set) is bounded from below by the hyperbolic dimension (in the sense of Shishikura).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On invariance of order and the area property for finite-type entire functions

Let f be an entire function that has only finitely many critical and asymptotic values. Up to topological equivalence, the function $f$ is determined by combinatorial information, more precisely by an infinite graph known as a "line-complex". In this note, we discuss the natural question whether the order of growth of an entire function is determined by this combinatorial information. The search for conditions that imply a positive answer to this question leads us to the "area property", which turns out to be related to many interesting and important questions in conformal dynamics and function theory. These include a conjecture of Eremenko and Lyubich, the measurable dynamics of entire functions, and pushforwards of quadratic differentials. We also discuss evidence that invariance of order and the area property fail in general.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Prime Ends and Local Connectivity

Let U be a simply connected domain on the Riemann sphere whose complement K contains more than one point. We establish a characterization of local connectivity of K at a point in terms of the prime ends whose impressions contain this point. Invoking a result of Ursell and Young, we obtain an alternative proof of a theorem of Torhorst, which states that the impression of a prime end of $U$ contains at most two points at which $K$ is locally connected.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Absence of wandering domains for some real entire functions with bounded singular sets

Let f be a real entire function whose set S(f) of singular values is real and bounded. We show that, if f satisfies a certain function-theoretic condition (the "sector condition"), then $f$ has no wandering domains. Our result includes all maps of the form f(z)=λsinh(z)/z + a, where a is a real constant and λ is positive. We also show the absence of wandering domains for certain non-real entire functions for which S(f) is bounded and the iterates of f tend to infinity uniformly on S(f). As a special case of our theorem, we give a short, elementary and non-technical proof that the Julia set of the complex exponential map f(z)=e^z is the entire complex plane. Furthermore, we apply similar methods to extend a result of Bergweiler, concerning Baker domains of entire functions and their relation to the postsingular set, to the case of meromorphic functions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Hyperbolic entire functions with full hyperbolic dimension and approximation by Eremenko-Lyubich functions

We show that there exists a hyperbolic entire function of finite order of growth such that the hyperbolic dimension---that is, the Hausdorff dimension of the set of points in the Julia set of whose orbit is bounded---is equal to two. This is in contrast to the rational case, where the Julia set of a hyperbolic map must have Hausdorff dimension less than two, and to the case of all known explicit hyperbolic entire functions. In order to obtain this example, we prove a general result on constructing entire functions in the Eremenko-Lyubich class with prescribed behavior near infinity, using Cauchy integrals. This result significantly increases the class of functions that were previously known to be approximable in this manner. Furthermore, we show that the approximating functions are quasiconformally conjugate to their original models, which simplifies the construction of dynamical counterexamples. We also give some further applications of our results to transcendental dynamics.

0 citations0 reviewsNo code linkedOpen access