Source author record

Mikhail Lyubich

Mikhail Lyubich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

27works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

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

27 published item(s)

preprint2025arXiv

MLC at Feigenbaum points

We prove a priori bounds for Feigenbaum quadratic polynomials, i.e., infinitely renormalizable polynomials $f_c: z\mapsto z^2+c$ of bounded type. It implies local connectivity of the corresponding Julia sets $J(f_c)$ and MLC (local connectivity of the Mandelbrot set) at the corresponding parameters $c$. It also yields the scaling Universality, dynamical and parameter, for the corresponding combinatorics. The MLC Conjecture was open for the most classical period-doubling Feigenbaum parameter as well as for the complex tripling renormalizations. Universality for the latter was conjectured by Goldberg-Khanin-Sinai in the early 1980s.

preprint2021arXiv

Self-similar groups and holomorphic dynamics: Renormalization, integrability, and spectrum

In this paper, we explore the spectral measures of the Laplacian on Schreier graphs for several self-similar groups (the Grigorchuk, Lamplighter, and Hanoi groups) from the dynamical and algebro-geometric viewpoints. For these graphs, classical Schur renormalization transformations act on appropriate spectral parameters as rational maps in two variables. We show that the spectra in question can be interpreted as asymptotic distributions of slices by a line of iterated pullbacks of certain algebraic curves under the corresponding rational maps (leading us to a notion of a spectral current). We follow up with a dynamical criterion for discreteness of the spectrum. In case of discrete spectrum, the precise rate of convergence of finite-scale approximands to the limiting spectral measure is given. For the three groups under consideration, the corresponding rational maps happen to be fibered over polynomials in one variable. We reveal the algebro-geometric nature of this integrability phenomenon.

preprint2019arXiv

Pacman renormalization and self-similarity of the Mandelbrot set near Siegel parameters

In the 1980s Branner and Douady discovered a surgery relating various limbs of the Mandelbrot set. We put this surgery in the framework of "Pacman Renormalization Theory" that combines features of quadratic-like and Siegel renormalizations. We show that Siegel renormalization periodic points (constructed by McMullen in the 1990s) can be promoted to pacman renormalization periodic points. Then we prove that these periodic points are hyperbolic with one-dimensional unstable manifold. As a consequence, we obtain the scaling laws for the centers of satellite components of the Mandelbrot set near the corresponding Siegel parameters.

preprint2014arXiv

Repelling periodic points and landing of rays for post-singularly bounded exponential maps

We show that repelling periodic points are landing points of periodic rays for exponential maps whose singular value has bounded orbit. For polynomials with connected Julia sets, this is a celebrated theorem by Douady, for which we present a new proof. In both cases we also show that points in hyperbolic sets are accessible by at least one and at most finitely many rays. For exponentials this allows us to conclude that the singular value itself is accessible.

preprint2014arXiv

Stability and bifurcations for dissipative polynomial automorphisms of C^2

We study stability and bifurcations in holomorphic families of polynomial automorphisms of C^2. We say that such a family is weakly stable over some parameter domain if periodic orbits do not bifurcate there. We first show that this defines a meaningful notion of stability, which parallels in many ways the classical notion of J-stability in one-dimensional dynamics. In the second part of the paper, we prove that under an assumption of moderate dissipativity, the parameters displaying homoclinic tangencies are dense in the bifurcation locus. This confirms one of Palis' Conjectures in the complex setting. The proof relies on the formalism of semi-parabolic bifurcation and the construction of "critical points" in semi-parabolic basins (which makes use of the classical Denjoy-Carleman-Ahlfors and Wiman Theorems).

preprint2013arXiv

On cycles and coverings associated to a knot

We consider the space of all representations of the commutator subgroup of a knot group into a finite abelian group Σ, together with a shift map σ_x. This is a finite dynamical system, introduced by D.Silver and S. Williams. We describe the lengths of its cycles in terms of the roots of the Alexander polynomial of the knot. This generalizes our previous result for Σ= Z/p, p is prime, and gives a complete classification of depth 2 solvable coverings of the knot complement.

preprint2011arXiv

Probabilistic Universality in two-dimensional Dynamics

In this paper we continue to explore infinitely renormalizable Hénon maps with small Jacobian. It was shown in [CLM] that contrary to the one-dimensional intuition, the Cantor attractor of such a map is non-rigid and the conjugacy with the one-dimensional Cantor attractor is at most 1/2-Hölder. Another formulation of this phenomenon is that the scaling structure of the Hénon Cantor attractor differs from its one-dimensional counterpart. However, in this paper we prove that the weight assigned by the canonical invariant measure to these bad spots tends to zero on microscopic scales. This phenomenon is called {\it Probabilistic Universality}. It implies, in particular, that the Hausdorff dimension of the canonical measure is universal. In this way, universality and rigidity phenomena of one-dimensional dynamics assume a probabilistic nature in the two-dimensional world.

preprint2010arXiv

Lee-Yang zeros for DHL and 2D rational dynamics, I. Foliation of the physical cylinder

In a classical work of the 1950's, Lee and Yang proved that the zeros of the partition functions of a ferromagnetic Ising models always lie on the unit circle. Distribution of these zeros is physically important as it controls phase transitions in the model. We study this distribution for the Migdal-Kadanoff Diamond Hierarchical Lattice (DHL). In this case, it can be described in terms of the dynamics of an explicit rational function $\RR$ in two variables (the renormalization transformation). We prove that $\RR$ is partially hyperbolic on an invariant cylinder $\CC$. The Lee-Yang zeros are organized in a transverse measure for the central-stable foliation of $\RR|\, \CC$. Their distribution is absolutely continuous. Its density is $C^\infty$ (and non-vanishing) below the critical temperature. Above the critical temperature, it is $C^\infty$ on a open dense subset, but it vanishes on the complementary Cantor set of positive measure. This seems to be the first occasion of a complete rigorous description of the Lee-Yang distributions beyond 1D models.

preprint2010arXiv

The full renormalization horseshoe for unimodal maps of higher degree: exponential contraction along hybrid classes

We prove exponential contraction of renormalization along hybrid classes of infinitely renormalizable unimodal maps (with arbitrary combinatorics), in any even degree $d$. We then conclude that orbits of renormalization are asymptotic to the full renormalization horseshoe, which we construct. Our argument for exponential contraction is based on a precompactness property of the renormalization operator ("beau bounds"), which is leveraged in the abstract analysis of holomorphic iteration. Besides greater generality, it yields a unified approach to all combinatorics and degrees: there is no need to account for the varied geometric details of the dynamics, which were the typical source of contraction in previous restricted proofs.

preprint2008arXiv

A note on hyperbolic leaves and wild laminations of rational functions

We study the affine orbifold laminations that were constructed by Lyubich and Minsky. An important question left open in their construction is whether these laminations are always locally compact. We show that this is not the case. The counterexample we construct has the property that the regular leaf space contains (many) hyperbolic leaves that intersect the Julia set; whether this can happen is itself a question raised by Lyubich and Minsky.

preprint1999arXiv

Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness Conjecture

We prove the Feigenbaum-Coullet-Tresser conjecture on the hyperbolicity of the renormalization transformation of bounded type. This gives the first computer-free proof of the original Feigenbaum observation of the universal parameter scaling laws. We use the Hyperbolicity Theorem to prove Milnor's conjectures on self-similarity and "hairiness" of the Mandelbrot set near the corresponding parameter values. We also conclude that the set of real infinitely renormalizable quadratics of type bounded by some N>1 has Hausdorff dimension strictly between 0 and 1. In the course of getting these results we supply the space of quadratic-like germs with a complex analytic structure and demonstrate that the hybrid classes form a complex codimension-one foliation of the connectedness locus.

preprint1997arXiv

Almost every real quadratic map is either regular or stochastic

We prove uniform hyperbolicity of the renormalization operator for all possible real combinatorial types. We derive from it that the set of infinitely renormalizable parameter values in the real quadratic family $P_c: x\mapsto x^2+c$ has zero measure. This yields the statement in the title (where ``regular'' means to have an attracting cycle and ``stochastic'' means to have an absolutely continuous invariant measure). An application to the MLC problem is given.

preprint1996arXiv

Dynamics of quadratic polynomials, III: Parapuzzle and SBR measures

This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid and little Mandelbrot sets attached to it) we associate a ``principal nest of parapuzzle pieces'' and show that the moduli of the annuli grow at least linearly. The main motivation for this work was to prove the following: Theorem B (joint with Martens and Nowicki). Lebesgue almost every real quadratic polynomial which is non-hyperbolic and at most finitely renormalizable has a finite absolutely continuous invariant measure.

preprint1995arXiv

Dynamics of quadratic polynomials II: rigidity

This is a continuation of the series of notes on the dynamics of quadratic polynomials. We show the following Rigidity Theorem: Any combinatorial class contains at most one quadratic polynomial satisfying the secondary limbs condition with a-priori bounds. As a corollary, such maps are combinatorially and topologically rigid, and as a consequence, the Mandelbrot set is locally connected at the correspoinding parameter values.

preprint1994arXiv

Laminations in holomorphic dynamics

We suggest a way to associate to a rational map of the Riemann sphere a three dimensional object called a hyperbolic orbifold 3-lamination. The relation of this object to the map is analogous to the relation of a hyperbolic 3-manifold to a Kleinian group. In order to construct the 3-lamination we analyze the natural extension of a rational map and the complex affine structure on the canonical 2-dimensional leaf space contained in it. In this paper the construction is carried out in full for post-critically finite maps. We show that the corresponding laminations have a compact convex core. As a first application we give a three-dimensional proof of Thurston's rigidity for post-critically finite mappings, via the "lamination extension" of the proofs of the Mostow and Marden rigidity and isomorphism theorems for hyperbolic 3-manifolds. An Ahlfors-type argument for zero measure of the Julia set is applied along the way. This approach also provides a new point of view on the Lattes deformable examples.

preprint1993arXiv

Distribution of periodic points of polynomial diffeomorphisms of C^2

This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $μ$ of the set $K$ of points with bounded orbits. In [BLS] $μ$ is also characterized dynamically as the unique measure of maximal entropy. Thus $μ$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In the present paper we give another dynamical interpretation of $μ$ as the limit distribution of the periodic points of $f$.

preprint1993arXiv

Geometry of quadratic polynomials: moduli, rigidity and local connectivity

A while ago MLC (the conjecture that the Mandelbrot set is locally connected) was proven for quasi-hyperbolic points by Douady and Hubbard, and for boundaries of hyperbolic components by Yoccoz. More recently Yoccoz proved MLC for all at most finitely renormalizable parameter values. One of our goals is to prove MLC for some infinitely renormalizable parameter values. Loosely speaking, we need all renormalizations to have bounded combinatorial rotation number (assumption C1) and sufficiently high combinatorial type (assumption C2). For real quadratic polynomials of bounded combinatorial type the complex a priori bounds were obtained by Sullivan. Our result complements the Sullivan's result in the unbounded case. Moreover, it gives a background for Sullivan's renormalization theory for some bounded type polynomials outside the real line where the problem of a priori bounds was not handled before for any single polynomial. An important consequence of a priori bounds is absence of invariant measurable line fields on the Julia set (McMullen) which is equivalent to quasi-conformal (qc) rigidity. To prove stronger topological rigidity we construct a qc conjugacy between any two topologically conjugate polynomials (Theorem III). We do this by means of a pull-back argument, based on the linear growth of moduli and a priori bounds. Actually the argument gives the stronger combinatorial rigidity which implies MLC.

preprint1993arXiv

Teichmüller space of Fibonacci maps

According to Sullivan, a space ${\cal E}$ of unimodal maps with the same combinatorics (modulo smooth conjugacy) should be treated as an infinitely-dimensional Teichmüller space. This is a basic idea in Sullivan's approach to the Renormalization Conjecture. One of its principle ingredients is to supply ${\cal E}$ with the Teichmüller metric. To have such a metric one has to know, first of all, that all maps of ${\cal E}$ are quasi-symmetrically conjugate. This was proved [Ji] and [JS] for some classes of non-renormalizable maps (when the critical point is not too recurrent). Here we consider a space of non-renormalizable unimodal maps with in a sense fastest possible recurrence of the critical point (called Fibonacci). Our goal is to supply this space with the Teichmüller metric.

preprint1992arXiv

Polynomial diffeomorphisms of C^2, IV: The measure of maximal entropy and laminar currents

This paper concerns the dynamics of polynomial automorphisms of ${\bf C}^2$. One can associate to such an automorphism two currents $μ^\pm$ and the equilibrium measure $μ=μ^+\wedgeμ^-$. In this paper we study some geometric and dynamical properties of these objects. First, we characterize $μ$ as the unique measure of maximal entropy. Then we show that the measure $μ$ has a local product structure and that the currents $μ^\pm$ have a laminar structure. This allows us to deduce information about periodic points and heteroclinic intersections. For example, we prove that the support of $μ$ coincides with the closure of the set of saddle points. The methods used combine the pluripotential theory with the theory of non-uniformly hyperbolic dynamical systems.

preprint1992arXiv

Problems in holomorphic dynamics

Contents: 1. Quasiconformal Surgery and Deformations: Ben Bielefeld, Questions in quasiconformal surgery; Curt McMullen, Rational maps and Teichmüller space; John Milnor, Thurston's algorithm without critical finiteness; Mary Rees, A possible approach to a complex renormalization problem. 2. Geometry of Julia Sets: Lennart Carleson, Geometry of Julia sets; John Milnor, Problems on local connectivity. 3. Measurable Dynamics: Mikhail Lyubich, Measure and Dimension of Julia Sets; Feliks Przytycki, On invariant measures for iterations of holomorphic maps. 4. Iterates of Entire Functions: Robert Devaney, Open questions in non-rational complex dynamics; Alexandre Eremenko and Mikhail Lyubich, Wandering domains for holomorphic maps. 5. Newton's Method: Scott Sutherland, Bad polynomials for Newton's method

preprint1991arXiv

Ergodic theory for smooth one-dimensional dynamical systems

In this paper we study measurable dynamics for the widest reasonable class of smooth one dimensional maps. Three principle decompositions are described in this class : decomposition of the global measure-theoretical attractor into primitive ones, ergodic decomposition and Hopf decomposition. For maps with negative Schwarzian derivative this was done in the series of papers [BL1-BL5], but the approach to the general smooth case must be different.

preprint1991arXiv

On the Lebesgue measure of the Julia set of a quadratic polynomial

The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douady-Hubbard-Yoccoz rigidity theorem follows this result.

preprint1991arXiv

The Fibonacci unimodal map

This paper will study topological, geometrical and measure-theoretical properties of the real Fibonacci map. Our goal was to figure out if this type of recurrence really gives any pathological examples and to compare it with the infinitely renormalizable patterns of recurrence studied by Sullivan. It turns out that the situation can be understood completely and is of quite regular nature. In particular, any Fibonacci map (with negative Schwarzian and non-degenerate critical point) has an absolutely continuous invariant measure (so, we deal with a ``regular'' type of chaotic dynamics). It turns out also that geometrical properties of the closure of the critical orbit are quite different from those of the Feigenbaum map: its Hausdorff dimension is equal to zero and its geometry is not rigid but depends on one parameter.