Showing 1–17 of 17 results for author: Gorbovickis, I

Independence of multipliers in several variables complex dynamics

Authors: Igors Gorbovickis, Johan Taflin

Abstract: We establish the independence of multipliers for polynomial endomorphisms of $\mathbb C^n$ and endomorphisms of $\mathbb P^n.$ This allows us to extend results about the bifurcation measure and the critical height obtained in \cite{arXiv:2305.02246} to the case of polynomial endomorphisms of $\mathbb C^n$ for $n\geq 3$. An important step in the proof is the irreducibility of the spaces of endomorp… ▽ More We establish the independence of multipliers for polynomial endomorphisms of $\mathbb C^n$ and endomorphisms of $\mathbb P^n.$ This allows us to extend results about the bifurcation measure and the critical height obtained in \cite{arXiv:2305.02246} to the case of polynomial endomorphisms of $\mathbb C^n$ for $n\geq 3$. An important step in the proof is the irreducibility of the spaces of endomorphisms with $N$ marked periodic points, which is of independent interest. △ Less

Submitted 8 January, 2025; v1 submitted 19 November, 2024; originally announced November 2024.

Comments: Minor corrections. New corollary and references added

Renormalization and scaling of bubbles

Authors: Nataliya Goncharuk, Igors Gorbovickis

Abstract: The paper explores scaling properties of bubbles -- a complex analogue of Arnold tongues, associated to a one-dimensional family of analytic circle diffeomorphisms. Bubbles are smooth loops in the upper half-plane attached at all rational points of the real line. Results of [BuffGoncharuk2015] arXiv:1308.3510 show that the size of a $p/q$-bubble has order at most $q^{-2}$. In the current paper w… ▽ More The paper explores scaling properties of bubbles -- a complex analogue of Arnold tongues, associated to a one-dimensional family of analytic circle diffeomorphisms. Bubbles are smooth loops in the upper half-plane attached at all rational points of the real line. Results of [BuffGoncharuk2015] arXiv:1308.3510 show that the size of a $p/q$-bubble has order at most $q^{-2}$. In the current paper we improve this estimate by showing that the size of a $p/q$-bubble near a bounded-type irrational number $α$ has order $d^{ξ(α)} \cdot q^{-2}$, where $ξ(α)>0$, and $d$ is the distance between $α$ and $p/q$. Proofs are based on a renormalization technique. In particular, $ξ(α)$ is related to the unstable and the top stable eigenvalues of the renormalization operator at the rotation by $α$. △ Less

Submitted 18 December, 2023; originally announced December 2023.

MSC Class: 37E20; 37E10

Entire maps with rational preperiodic points and multipliers

Authors: Xavier Buff, Igors Gorbovickis, Valentin Huguin

Abstract: Given a number field $\mathbb{K} \subset \mathbb{C}$ that is not contained in $\mathbb{R}$, we prove the existence of a dense set of entire maps $f \colon \mathbb{C} \rightarrow \mathbb{C}$ whose preperiodic points and multipliers all lie in $\mathbb{K}$. This contrasts with the case of rational maps. In addition, we show that there exists an escaping quadratic-like map that is not conjugate to an… ▽ More Given a number field $\mathbb{K} \subset \mathbb{C}$ that is not contained in $\mathbb{R}$, we prove the existence of a dense set of entire maps $f \colon \mathbb{C} \rightarrow \mathbb{C}$ whose preperiodic points and multipliers all lie in $\mathbb{K}$. This contrasts with the case of rational maps. In addition, we show that there exists an escaping quadratic-like map that is not conjugate to an affine escaping quadratic-like map and whose multipliers all lie in $\mathbb{Q}$. △ Less

Submitted 15 January, 2025; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 21 pages

MSC Class: 37F10; 37P35 (Primary)

Lower bounds on the Hausdorff dimension of some Julia sets

Authors: Artem Dudko, Igors Gorbovickis, Warwick Tucker

Abstract: We present an algorithm for a rigorous computation of lower bounds on the Hausdorff dimensions of Julia sets for a wide class of holomorphic maps. We apply this algorithm to obtain lower bounds on the Hausdorff dimension of the Julia sets of some infinitely renormalizable real quadratic polynomials, including the Feigenbaum polynomial $p_{\,\mathrm{Feig}}(z)=z^2+c_{\,\mathrm{Feig}}$. In addition t… ▽ More We present an algorithm for a rigorous computation of lower bounds on the Hausdorff dimensions of Julia sets for a wide class of holomorphic maps. We apply this algorithm to obtain lower bounds on the Hausdorff dimension of the Julia sets of some infinitely renormalizable real quadratic polynomials, including the Feigenbaum polynomial $p_{\,\mathrm{Feig}}(z)=z^2+c_{\,\mathrm{Feig}}$. In addition to that, we construct a piecewise constant function on $[-2,2]$ that provides rigorous lower bounds for the Hausdorff dimension of the Julia sets of all quadratic polynomials $p_c(z) = z^2+c$ with $c \in [-2,2]$. Finally, we verify the conjecture of Ludwik Jaksztas and Michel Zinsmeister that the Hausdorff dimension of the Julia set of a quadratic polynomial $p_c(z)=z^2+c$, is a $C^1$-smooth function of the real parameter $c$ on the interval $c\in(c_{\,\mathrm{Feig}},-3/4)$. △ Less

Submitted 16 April, 2022; originally announced April 2022.

Comments: 23 pages, 7 figures

Rigidity of analytic and smooth bi-cubic multicritical circle maps with bounded type rotation numbers

Authors: Igors Gorbovickis, Michael Yampolsky

Abstract: We prove that if two analytic multicritical circle maps with the same bounded type rotation number are topologically conjugate by a conjugacy which matches the critical points of the two maps while preserving the orders of their criticalities, then the conjugacy necessarily has $C^{1+α}$ regularity, where $α$ depends only on the bound on the type of the rotation number. We then extend this rigidit… ▽ More We prove that if two analytic multicritical circle maps with the same bounded type rotation number are topologically conjugate by a conjugacy which matches the critical points of the two maps while preserving the orders of their criticalities, then the conjugacy necessarily has $C^{1+α}$ regularity, where $α$ depends only on the bound on the type of the rotation number. We then extend this rigidity result to $C^3$-smooth bi-cubic circle maps. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Accumulation set of critical points of the multipliers in the quadratic family

Authors: Tanya Firsova, Igors Gorbovickis

Abstract: A parameter $c_0\in\mathbb C$ in the family of quadratic polynomials $f_c(z)=z^2+c$ is a critical point of a period $n$ multiplier, if the map $f_{c_0}$ has a periodic orbit of period $n$, whose multiplier, viewed as a locally analytic function of $c$, has a vanishing derivative at $c=c_0$. We study the accumulation set $\mathcal X$ of the critical points of the multipliers, as $n\to\infty$. This… ▽ More A parameter $c_0\in\mathbb C$ in the family of quadratic polynomials $f_c(z)=z^2+c$ is a critical point of a period $n$ multiplier, if the map $f_{c_0}$ has a periodic orbit of period $n$, whose multiplier, viewed as a locally analytic function of $c$, has a vanishing derivative at $c=c_0$. We study the accumulation set $\mathcal X$ of the critical points of the multipliers, as $n\to\infty$. This study complements the equidistribution result for the critical points of the multipliers that was previously obtained by the authors. In particular, in the current paper we prove that the accumulation set $\mathcal X$ is bounded, path connected and contains the Mandelbrot set as a proper subset. We also provide a necessary and sufficient condition for a parameter outside of the Mandelbrot set to be contained in the accumulation set $\mathcal X$ and show that this condition is satisfied for an open set of parameters. Our condition is similar in flavor to one of the conditions that define the Mandelbrot set. As an application, we get that the function that sends $c$ to the Hausdorff dimension of $f_c$, does not have critical points outside of the accumulation set $\mathcal X$. △ Less

Submitted 13 July, 2020; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: Corollary 1.3 about the relation to the Hausdorff dimension of the Julia sets is included

Complex a priori bounds for Lorenz maps

Authors: Denis Gaidashev, Igors Gorbovickis

Abstract: We construct complex a-priori bounds for certain infinitely renormalizable Lorenz maps. As a corollary, we show that renormalization is a real-analytic operator on the corresponding space of Lorenz maps. We construct complex a-priori bounds for certain infinitely renormalizable Lorenz maps. As a corollary, we show that renormalization is a real-analytic operator on the corresponding space of Lorenz maps. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Equidistribution of critical points of the multipliers in the quadratic family

Authors: Tanya Firsova, Igors Gorbovickis

Abstract: A parameter $c_0\in\mathbb C$ in the family of quadratic polynomials $f_c(z)=z^2+c$ is a critical point of a period $n$ multiplier, if the map $f_{c_0}$ has a periodic orbit of period $n$, whose multiplier, viewed as a locally analytic function of $c$, has a vanishing derivative at $c=c_0$. We prove that all critical points of period $n$ multipliers equidistribute on the boundary of the Mandelbrot… ▽ More A parameter $c_0\in\mathbb C$ in the family of quadratic polynomials $f_c(z)=z^2+c$ is a critical point of a period $n$ multiplier, if the map $f_{c_0}$ has a periodic orbit of period $n$, whose multiplier, viewed as a locally analytic function of $c$, has a vanishing derivative at $c=c_0$. We prove that all critical points of period $n$ multipliers equidistribute on the boundary of the Mandelbrot set, as $n\to\infty$. △ Less

Submitted 23 July, 2019; v1 submitted 28 February, 2019; originally announced March 2019.

Comments: Minor changes in the exposition. References added

Critical points of the multiplier map for the quadratic family

Authors: Anna Belova, Igors Gorbovickis

Abstract: The multiplier $λ_n$ of a periodic orbit of period $n$ can be viewed as a (multiple-valued) algebraic function on the space of all complex quadratic polynomials $p_c(z)=z^2+c$. We provide a numerical algorithm for computing critical points of this function (i.e., points where the derivative of the multiplier with respect to the complex parameter $c$ vanishes). We use this algorithm to compute crit… ▽ More The multiplier $λ_n$ of a periodic orbit of period $n$ can be viewed as a (multiple-valued) algebraic function on the space of all complex quadratic polynomials $p_c(z)=z^2+c$. We provide a numerical algorithm for computing critical points of this function (i.e., points where the derivative of the multiplier with respect to the complex parameter $c$ vanishes). We use this algorithm to compute critical points of $λ_n$ up to period $n=10$. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Renormalization for unimodal maps with non-integer exponents

Authors: Igors Gorbovickis, Michael Yampolsky

Abstract: We define an analytic setting for renormalization of unimodal maps with an arbitrary critical exponent. We prove the global Hyperbolicity of Renormalization conjecture for unimodal maps of bounded type with a critical exponent which is sufficiently close to an even integer. We define an analytic setting for renormalization of unimodal maps with an arbitrary critical exponent. We prove the global Hyperbolicity of Renormalization conjecture for unimodal maps of bounded type with a critical exponent which is sufficiently close to an even integer. △ Less

Submitted 16 April, 2017; v1 submitted 3 February, 2017; originally announced February 2017.

The central set and its application to the Kneser-Poulsen conjecture

Authors: Igors Gorbovickis

Abstract: The Kneser-Poulsen conjecture says that if a finite collection of balls in a Euclidean (spherical or hyperbolic) space is rearranged so that the distance between each pair of centers does not increase, then the volume of the union of these balls does not increase as well. We give new results about central sets of subsets of a Riemannian manifold and apply these results to prove new special cases o… ▽ More The Kneser-Poulsen conjecture says that if a finite collection of balls in a Euclidean (spherical or hyperbolic) space is rearranged so that the distance between each pair of centers does not increase, then the volume of the union of these balls does not increase as well. We give new results about central sets of subsets of a Riemannian manifold and apply these results to prove new special cases of the Kneser-Poulsen conjecture in the two-dimensional sphere and the hyperbolic plane. △ Less

Submitted 5 February, 2018; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: 21 pages, 1 figure

Rigidity, universality,and hyperbolicity of renormalization for critical circle maps with non-integer exponents

Authors: Igors Gorbovickis, Michael Yampolsky

Abstract: We construct a renormalization operator which acts on analytic circle maps whose critical exponent $α$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $α=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps. In the case when $α$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove u… ▽ More We construct a renormalization operator which acts on analytic circle maps whose critical exponent $α$ is not necessarily an odd integer $2n+1$, $n\in\mathbb N$. When $α=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps. In the case when $α$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+α}$-rigidity for such maps. △ Less

Submitted 16 April, 2017; v1 submitted 4 May, 2015; originally announced May 2015.

MSC Class: 37E20; 37F25

Algebraic independence of multipliers of periodic orbits in the space of rational maps of the Riemann sphere

Authors: Igors Gorbovickis

Abstract: We consider the space of degree $n\ge 2$ rational maps of the Riemann sphere with $k$ distinct marked periodic orbits of given periods. First, we show that this space is irreducible. For $k=2n-2$ and with some mild restrictions on the periods of the marked periodic orbits, we show that the multipliers of these periodic orbits, considered as algebraic functions on the above mentioned space, are alg… ▽ More We consider the space of degree $n\ge 2$ rational maps of the Riemann sphere with $k$ distinct marked periodic orbits of given periods. First, we show that this space is irreducible. For $k=2n-2$ and with some mild restrictions on the periods of the marked periodic orbits, we show that the multipliers of these periodic orbits, considered as algebraic functions on the above mentioned space, are algebraically independent over $\mathbb C$. Equivalently, this means that at its generic point, the moduli space of degree $n$ rational maps can be locally parameterized by the multipliers of any $2n-2$ distinct periodic orbits, satisfying the above mentioned conditions on their periods. This work extends previous similar result (arXiv:1305.0867) obtained by the author for the case of complex polynomial maps. △ Less

Submitted 19 January, 2014; originally announced January 2014.

Parameterizing degree n polynomials by multipliers of periodic orbits

Authors: Igors Gorbovickis

Abstract: We present the following result: consider the space of complex polynomials of degree n>2 with n-1 distinct marked periodic orbits of given periods. Then this space is irreducible and the multipliers of the marked periodic orbits considered as algebraic functions on the above mentioned space, are algebraically independent over $\mathbb C$. Equivalently, this means that at its generic point, the mod… ▽ More We present the following result: consider the space of complex polynomials of degree n>2 with n-1 distinct marked periodic orbits of given periods. Then this space is irreducible and the multipliers of the marked periodic orbits considered as algebraic functions on the above mentioned space, are algebraically independent over $\mathbb C$. Equivalently, this means that at its generic point, the moduli space of degree n polynomial maps can be locally parameterized by the multipliers of n-1 arbitrary distinct periodic orbits. A detailed proof of this result (together with a proof of a more general statement) is given in [arXiv:1305.0867]. In this exposition we substitute some of the technical lemmas from [arXiv:1305.0867] with more geometric arguments. △ Less

Submitted 25 October, 2013; originally announced October 2013.

Comments: 7 pages, 0 figures

MSC Class: 37F10; 37F05

Algebraic independence of multipliers of periodic orbits in the space of polynomial maps of one variable

Authors: Igors Gorbovickis

Abstract: We consider a space of complex polynomials of degree $n\ge 3$ with $n-1$ distinguished periodic orbits. We prove that the multipliers of these periodic orbits considered as algebraic functions on that space, are algebraically independent over the field of complex numbers. We consider a space of complex polynomials of degree $n\ge 3$ with $n-1$ distinguished periodic orbits. We prove that the multipliers of these periodic orbits considered as algebraic functions on that space, are algebraically independent over the field of complex numbers. △ Less

Submitted 3 May, 2013; originally announced May 2013.

MSC Class: 37F10

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 1156-1166

Strict Kneser-Poulsen conjecture for large radii

Authors: Igors Gorbovickis

Abstract: In this paper we prove the Kneser-Poulsen conjecture for the case of large radii. Namely, if a finite number of points in Euclidean space $E^n$ is rearranged so that the distance between each pair of points does not decrease, then there exists a positive number $r_0$ that depends on the rearrangement of the points, such that if we consider $n$-dimensional balls of radius $r>r_0$ with centers at th… ▽ More In this paper we prove the Kneser-Poulsen conjecture for the case of large radii. Namely, if a finite number of points in Euclidean space $E^n$ is rearranged so that the distance between each pair of points does not decrease, then there exists a positive number $r_0$ that depends on the rearrangement of the points, such that if we consider $n$-dimensional balls of radius $r>r_0$ with centers at these points, then the volume of the union (intersection) of the balls before the rearrangement is not less (not greater) than the volume of the union (intersection) after the rearrangement. Moreover, the inequality is strict whenever the new point set is not congruent to the original one. Also under the same conditions we prove a similar result about surface volumes instead of volumes. In order to prove the above mentioned results we use ideas from tensegrity theory to strengthen the theorem of Sudakov, R. Alexander and Capoyleas and Pach, which says that the mean width of the convex hull of a finite number of points does not decrease after an expansive rearrangement of those points. In this paper we show that the mean width increases strictly, unless the expansive rearrangement was a congruence. We also show that if the configuration of centers of the balls is fixed and the volume of the intersection of the balls is considered as a function of the radius $r$, then the second highest term in the asymptotic expansion of this function is equal to $-M_n r^{n-1}$, where $M_n$ is the mean width of the convex hall of the centers. This theorem was conjectured by Balazs Csikos in 2009. △ Less

Submitted 15 March, 2012; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 14 pages, 1 figure

MSC Class: 52A38; 52A40

Kneser-Poulsen conjecture for a small number of intersections

Authors: Igors Gorbovickis

Abstract: The Kneser-Poulsen conjecture says that if a finite collection of balls in a d-dimensional Euclidean space is rearranged so that the distance between each pair of centers does not get smaller, then the volume of the union of these balls also does not get smaller. In this paper we prove that if in the initial configuration the intersection of any two balls has common points with no more than d+1 ot… ▽ More The Kneser-Poulsen conjecture says that if a finite collection of balls in a d-dimensional Euclidean space is rearranged so that the distance between each pair of centers does not get smaller, then the volume of the union of these balls also does not get smaller. In this paper we prove that if in the initial configuration the intersection of any two balls has common points with no more than d+1 other balls, then the conjecture holds. △ Less

Submitted 25 October, 2013; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 10 pages, 1 figure

MSC Class: 52A38; 52A40