arXiv subjects
Publications and source records attributed to Michael Yampolsky.
We construct hyperbolic horseshoes for piecewise-analytic homeomorphisms of the circle with {\it multiple} break-type singularities, under the assumptions of bounded type rotation numbers and bounded geometry -- provided the sizes of the breaks are uniformly small. As a consequence, we obtain a $C^{1+α}$-rigidity result for such maps and prove that rigidity classes are analytic submanifolds.
We construct hyperbolic renormalization horseshoes for analytic generalized interval exchange transformations (GIETs) of bounded type and with bounded geometry, provided their boundaries are small (but not necessarily zero). As a consequence, we describe the manifold structure of smooth conjugacy classes of GIETs.
We present a novel approach for deriving KAM-type linearization theorems directly -- and almost immediately -- from the existence of the stable foliation for a renormalization operator. We give a few illustrations in dynamics in one and several complex variables, starting with a version of the classical theorem of Arnol'd and ending with a result on persistence of Herman rings in families of two-dimensional maps.
In his seminal paper from 1936, Alan Turing introduced the concept of non-computable real numbers and presented examples based on the algorithmically unsolvable Halting problem. We describe a different, analytically natural mechanism for the appearance of non-computability. Namely, we show that additive sampling of orbits of certain skew products over expanding dynamics produces Turing non-computable reals. We apply this framework to Brjuno-type functions to demonstrate that they realize bijections between computable and lower-computable numbers, generalizing previous results of M. Braverman and the second author for the Yoccoz-Brjuno function to a wide class of examples, including Wilton's functions and generalized Brjuno functions.
In 1946, S. Ulam invented Monte Carlo method, which has since become the standard numerical technique for making statistical predictions for long-term behaviour of dynamical systems. We show that this, or in fact any other numerical approach can fail for the simplest non-linear discrete dynamical systems given by the logistic maps $f_{a}(x)=ax(1-x)$ of the unit interval. We show that there exist computable real parameters $a\in (0,4)$ for which almost every orbit of $f_a$ has the same asymptotical statistical distribution in $[0,1]$, but this limiting distribution is not Turing computable.
Authomorphic or $s$-measures for circle diffeomorphisms were introduced by R.Douady and J.-C. Yoccoz in 1999. They have multiple applications in circle dynamics, with the case $s=-1$ being particularly important for describing conjugacy classes. In arxiv:2306.13524, E. de Faria, P. Guarino and B. Nussenzveig proved existence and uniqueness of automorphic $s$-measures for multicritical circle maps for all $s>0$. The purpose of this paper is to extend these results to $s$-measures with negative values of $s$. As an application, we prove a smoothness result for irrational Arnold tongues in families of multicritical maps.
We study the global behavior of the renormalization operator on a specially constructed Banach manifold that has cubic critical circle maps on its boundary and circle diffeomorphisms in its interior. As an application, we prove results on smoothness of irrational Arnold tongues.
We construct a hyperbolic attractor of renormalization of bi-cubic circle maps with bounded combinatorics, with a codimension-two stable foliation.
We consider holomorphic maps defined in an annulus around $\mathbb R/\mathbb Z$ in $\mathbb C/\mathbb Z$. E. Risler proved that in a generic analytic family of such maps $f_ζ$ that contains a Brjuno rotation $f_0(z)=z+α$, all maps that are conjugate to this rotation form a codimension-1 analytic submanifold near $f_0$. In this paper, we obtain the Risler's result as a corollary of the following construction. We introduce a renormalization operator on the space of univalent maps in a neighborhood of $\mathbb R/\mathbb Z$. We prove that this operator is hyperbolic, with one unstable direction corresponding to translations. We further use a holomorphic motions argument and Yoccoz's theorem to show that its stable foliation consists of diffeomorphisms that are conjugate to rotations.
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.
In this note, we extend the renormalization horseshoe we have recently constructed with N. Goncharuk for analytic diffeomorphisms of the circle to their small two-dimensional perturbations. As one consequence, Herman rings with rotation numbers of bounded type survive on a codimension one set of parameters under small two-dimensional perturbations.
We study the question of constructive approximation of the harmonic measure $ω_x^Ω$ of a connected bounded domain $Ω$ with respect to a point $x\inΩ$. In particular, using a new notion of computable harmonic approximation, we show that for an arbitrary such $Ω$, computability of the harmonic measure $ω^Ω_x$ for a single point $x\inΩ$ implies computability of $ω_y^Ω$ for any $y\in Ω$. This may require a different algorithm for different points $y$, which leads us to the construction of surprising natural examples of continuous functions that arise as solutions to a Dirichlet problem, whose values can be computed at any point but cannot be computed with the use of the same algorithm on all of their domain. We further study the conditions under which the harmonic measure is computable uniformly, that is by a single algorithm, and characterize them for regular domains with computable boundaries.
In this paper we study homeomorphisms of the circle with several critical points and bounded type rotation number. We prove complex a priori bounds for these maps. As an application, we get that bi-cubic circle maps with same bounded type rotation number are $C^{1+α}$ rigid.
We show that there exist real parameters $c$ for which the Julia set $J_c$ of the quadratic map $z^2+c$ has arbitrarily high computational complexity. More precisely, we show that for any given complexity threshold $T(n)$, there exist a real parameter $c$ such that the computational complexity of computing $J_c$ with $n$ bits of precision is higher than $T(n)$. This is the first known class of real parameters with a non poly-time computable Julia set.
We use hyperbolicity of golden-mean renormalization of dissipative Hénon-like maps to prove that the boundaries of Siegel disks of sufficiently dissipative quadratic complex Hénon maps with golden-mean rotation number are topological circles. Conditionally on an appropriate renormalization hyperbolicity property, we derive the same result for Siegel disks of Hénon maps with all eventually periodic rotation numbers.
We develop a renormalization theory for analytic homeomorphisms of the circle with two cubic critical points. We prove a renormalization hyperbolicity theorem. As a basis for the proofs, we develop complex a priori bounds for multi-critical circle maps.
In this paper we give a new prove of hyperbolicity of renormalization of critical circle maps using the formalism of almost-commuting pairs. We extend renormalization to two-dimensional dissipative maps of the annulus which are small perturbations of one-dimensional critical circle maps. Finally, we demontsrate that a two-dimensional map which lies in the stable set of the renormalization operator possesses an attractor which is topologically a circle. Such a circle is critical: the dynamics on it is topologically, but not smoothly, conjugate to a rigid rotation.
We consider the simplest non-linear discrete dynamical systems, given by the logistic maps $f_{a}(x)=ax(1-x)$ of the interval $[0,1]$. We show that there exist real parameters $a\in (0,4)$ for which almost every orbit of $f_a$ has the same statistical distribution in $[0,1]$, but this limiting distribution is not Turing computable. In particular, the Monte Carlo method cannot be applied to study these dynamical systems.