Researcher profile

Dierk Schleicher

Dierk Schleicher contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

15 published item(s)

preprint2026arXiv

Filament Pairs, Dynamic Partitions, and Spiders for Post-Singularly Finite Entire Functions

Filaments are a natural generalization of the well-known concept of dynamic rays in complex dynamics. In this article we investigate which periodic or preperiodic filaments land together for arbitrary post-singularly finite transcendental entire functions. Our first main result is a combinatorial description of the landing relation of filaments in terms of the dynamic partitions of the space of external addresses. One of the main difficulties deals with taming the more complicated topology of filaments. In the end, filaments possess all the topological properties of dynamic rays that are essential for the construction of dynamic partitions. The results of this paper are the foundation for the development of combinatorial models, in particular homotopy Hubbard trees, for arbitrary post-singularly finite transcendental entire functions. Our second mail result is that every postsingularly finite entire function has an iterated that possesses and invariant spider: spiders are, like homotopy Hubbard trees, an important tool for the combinatorial classification of postsingularly finite polynomials and presumably also for entire functions.

preprint2022arXiv

A canonical decomposition of postcritically finite rational maps and their maximal expanding quotients

We provide a natural canonical decomposition of postcritically finite rational maps with non-empty Fatou sets based on the topological structure of their Julia sets. The building blocks of this decomposition are maps where all Fatou components are Jordan disks with disjoint closures (Sierpiński maps), as well as those where any two Fatou components can be connected through a countable chain of Fatou components with common boundary points (crochet or Newton-like maps). We provide several alternative characterizations for our decomposition, as well as an algorithm for its effective computation. We also show that postcritically finite rational maps have dynamically natural quotients in which all crochet maps are collapsed to points, while all Sierpiński maps become small spheres; the quotient is a maximal expanding cactoid. The constructions work in the more general setup of Böttcher expanding maps, which are metric models of postcritically finite rational maps.

preprint2022arXiv

A classification of postcritically finite Newton maps

The dynamical classification of rational maps is a central concern of holomorphic dynamics. Much progress has been made, especially on the classification of polynomials and some approachable one-parameter families of rational maps; the goal of finding a classification of general rational maps is so far elusive. Newton maps (rational maps that arise when applying Newton's method to a polynomial) form a most natural family to be studied from the dynamical perspective. Using Thurston's characterization and rigidity theorem, a complete combinatorial classification of postcritically finite Newton maps is given in terms of a finite connected graph satisfying certain explicit conditions.

preprint2021arXiv

Unicritical Laminations

Thurston introduced \emph{invariant (quadratic) laminations} in his 1984 preprint as a vehicle for understanding the connected Julia sets and the parameter space of quadratic polynomials. Important ingredients of his analysis of the angle doubling map $σ_2$ on the unit circle $\mathbb{S}^1$ were the Central Strip Lemma, non-existence of wandering polygons, the transitivity of the first return map on vertices of periodic polygons, and the non-crossing of minors of quadratic invariant laminations. We use Thurston's methods to prove similar results for \emph{unicritical} laminations of arbitrary degree $d$ and to show that the set of so-called \emph{minors} of unicritical laminations themselves form a \emph{Unicritical Minor Lamination} $\mathrm{UML}_d$. In the end we verify the \emph{Fatou conjecture} for the unicritical laminations and extend the \emph{Lavaurs algorithm} onto $\mathrm{UML}_d$.

preprint2020arXiv

Finding polynomial roots by dynamical systems -- a case study

We investigate two well known dynamical systems that are designed to find roots of univariate polynomials by iteration: the methods known by Newton and by Ehrlich-Aberth. Both are known to have found all roots of high degree polynomials with good complexity. Our goal is to determine in which cases which of the two algorithms is more efficient. We come to the conclusion that Newton is faster when the polynomials are given by recursion so they can be evaluated in logarithmic time with respect to the degree, or when all the roots are all near the boundary of their convex hull. Conversely, Ehrlich-Aberth has the advantage when no fast evaluation of the polynomials is available, and when roots are in the interior of the convex hull of other roots.

preprint2020arXiv

Puzzles and the Fatou-Shishikura injection for rational Newton maps

We establish a principle that we call the Fatou-Shishikura injection for Newton maps of polynomials: there is a dynamically natural injection from the set of non-repelling periodic orbits of any Newton map to the set of its critical orbits. This injection obviously implies the classical Fatou-Shishikura inequality, but it is stronger in the sense that every non-repelling periodic orbit has its own critical orbit. Moreover, for every Newton map we associate a forward invariant graph (a puzzle) which provides a dynamically defined partition of the Riemann sphere into closed topological disks (puzzle pieces). This puzzle construction is for rational Newton maps what Yoccoz puzzles are for polynomials: it provides the foundation for all kinds of rigidity results of Newton maps beyond our Fatou-Shishikura injection. Moreover, it gives necessary structure for a classification of the postcritically finite maps in the spirit of Thurston theory.

preprint2020arXiv

The Weierstrass root finder is not generally convergent

Finding roots of univariate polynomials is one of the fundamental tasks of numerics, and there is still a wide gap between root finders that are well understood in theory and those that perform well in practice. We investigate the root finding method of Weierstrass, a root finder that tries to approximate all roots of a given polynomial in parallel (in the Jacobi version, i.e., with parallel updates). This method has a good reputation for finding all roots in practice except in obvious cases of symmetry, but very little is known about its global dynamics and convergence properties. We show that the Weierstrass method, like the well known Newton method, is not generally convergent: there are open sets of polynomials $p$ of every degree $d \ge 3$ such that the dynamics of the Weierstrass method applied to $p$ exhibits attracting periodic orbits. Specifically, all polynomials sufficiently close to $Z^3 + Z + 180$ have attracting cycles of period $4$. Here, period $4$ is minimal: we show that for cubic polynomials, there are no periodic orbits of length $2$ or $3$ that attract open sets of starting points. We also establish another convergence problem for the Weierstrass method: for almost every polynomial of degree $d\ge 3$ there are orbits that are defined for all iterates but converge to $\infty$; this is a problem that does not occur for Newton's method. Our results are obtained by first interpreting the original problem coming from numerical mathematics in terms of higher-dimensional complex dynamics, then phrasing the question in algebraic terms in such a way that we could finally answer it by applying methods from computer algebra.

preprint2017arXiv

Antiholomorphic perturbations of Weierstrass Zeta functions and Green's function on tori

In \cite{BeEr}, Bergweiler and Eremenko computed the number of critical points of the Green's function on a torus by investigating the dynamics of a certain family of antiholomorphic meromorphic functions on tori. They also observed that hyperbolic maps are dense in this family of meromorphic functions in a rather trivial way. In this paper, we study the parameter space of this family of meromorphic functions, which can be written as antiholomorphic perturbations of Weierstrass Zeta functions. On the one hand, we give a complete topological description of the hyperbolic components and their boundaries, and on the other hand, we show that these sets admit natural parametrizations by associated dynamical invariants. This settles a conjecture, made in \cite{LW}, on the topology of the regions in the upper half plane $\mathbb{H}$ where the number of critical points of the Green's function remains constant.

preprint2015arXiv

On Multicorns and Unicorns II: Bifurcations in Spaces of Antiholomorphic Polynomials

The multicorns are the connectedness loci of unicritical antiholomorphic polynomials $\bar{z}^d + c$. We investigate the structure of boundaries of hyperbolic components: we prove that the structure of bifurcations from hyperbolic components of even period is as one would expect for maps that depend holomorphically on a complex parameter (for instance, as for the Mandelbrot set; in this setting, this is a non-obvious fact), while the bifurcation structure at hyperbolic components of odd period is very different. In particular, the boundaries of odd period hyperbolic components consist only of parabolic parameters, and there are bifurcations between hyperbolic components along entire arcs, but only of bifurcation ratio $2$. We also count the number of hyperbolic components of any period of the multicorns. Since antiholomorphic polynomials depend only real-analytically on the parameters, most of the techniques used in this paper are quite different from the ones used to prove the corresponding results in a holomorphic setting.

preprint2011arXiv

A small probabilistic universal set of starting points for finding roots of complex polynomials by Newton's method

We specify a small set, consisting of $O(d(\log\log d)^2)$ points, that intersects the basins under Newton's method of \emph{all} roots of \emph{all} (suitably normalized) complex polynomials of fixed degrees $d$, with arbitrarily high probability. This set is an efficient and universal \emph{probabilistic} set of starting points to find all roots of polynomials of degree $d$ using Newton's method; the best known \emph{deterministic} set of starting points consists of $\lceil 1.1d(\log d)^2\rceil$ points.

preprint2011arXiv

Hausdorff dimension and biaccessibility for polynomial Julia sets

We investigate the set of biaccessible points for connected polynomial Julia sets of arbitrary degrees $d\geq 2$. We prove that the Hausdorff dimension of the set of external angles corresponding to biaccessible points is less than 1, unless the Julia set is an interval. This strengthens theorems of Stanislav Smirnov and Anna Zdunik: they proved that the same set of external angles has zero 1-dimensional measure.

preprint2011arXiv

How to Add a Noninteger Number of Terms: From Axioms to New Identities

Starting from a small number of well-motivated axioms, we derive a unique definition of sums with a noninteger number of addends. These "fractional sums" have properties that generalize well-known classical sum identities in a natural way. We illustrate how fractional sums can be used to derive infinite sum and special functions identities; the corresponding proofs turn out to be particularly simple and intuitive.

preprint2009arXiv

Dynamic rays of bounded-type entire functions

We construct an entire function in the Eremenko-Lyubich class $\B$ whose Julia set has only bounded path-components. This answers a question of Eremenko from 1989 in the negative. On the other hand, we show that for many functions in $\B$, in particular those of finite order, every escaping point can be connected to $\infty$ by a curve of escaping points. This gives a partial positive answer to the aforementioned question of Eremenko, and answers a question of Fatou from 1926.

preprint2007arXiv

Fractional Sums and Euler-like Identities

We introduce a natural definition for sums of the form \[ \sum_{ν=1}^x f(ν) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the gamma function or Euler's little-known formula \sum_{ν=1}^{-1/2} \frac 1ν= -2\ln 2. Many classical identities like the geometric series and the binomial theorem nicely extend to this more general setting. Sums with a fractional number of terms are closely related to special functions, in particular the Riemann and Hurwitz zeta functions. A number of results about fractional sums can be interpreted as classical infinite sums or products or as limits, including identities like \[ \lim_{n\to\infty}[ e^{\frac n 4(4n+1)}n^{-\frac 1 8 - n(n+1)}(2π)^{-\frac n 2} \prod_{k=1}^{2n} Γ(1+\frac k 2)^{k(-1)^k} ] = \sqrt[12]{2} \exp({5/24} - \frac 3 2 ζ'(-1) -\frac{7ζ(3)}{16π^2}) \] some of which seem to be new.