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

Michael Yampolsky

Michael Yampolsky 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.LOmath.GTComputational ComplexityTissues and Organs

Catalog footprint

What is connected

18works
6topics
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

18 published item(s)

preprint2025arXiv

Computability of Brjuno-like functions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Analytic linearization of conformal maps of the annulus

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Real quadratic Julia sets can have arbitrarily high complexity

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Golden mean Siegel disk universality and renormalization

We provide a computer-assisted proof of one of the central open questions in one-dimensional renormalization theory -- universality of the golden-mean Siegel disks. We further show that for every function in the stable manifold of the golden-mean renormalization fixed point the boundary of the Siegel disk is a quasicircle which coincides with the closure of the critical orbit, and that the dynamics on the boundary of the Siegel disk is rigid. Furthermore, we extend the renormalization from one-dimensional analytic maps with a golden-mean Siegel disk to two-dimensional dissipative Hénon-like maps and show that the renormalization hyperbolicity result still holds in this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Computable Caratheodory Theory

Conformal Riemann mapping of the unit disk onto a simply-connected domain $W$ is a central object of study in classical Complex Analysis. The first complete proof of the Riemann Mapping Theorem given by P. Koebe in 1912 is constructive, and theoretical aspects of computing the Riemann map have been extensively studied since. Carath{é}odory Theory describes the boundary extension of the Riemann map. In this paper we develop its constructive version with explicit complexity bounds.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Constructive geometrization of Thurston maps and decidability of Thurston equivalence

The key result in the present paper is a direct analogue of the celebrated Thurston's Theorem for marked Thurston maps with parabolic orbifolds. Combining this result with previously developed techniques, we prove that every Thurston map can be constructively geometrized in a canonical fashion. As a consequence, we give a partial resolution of the general problem of decidability of Thurston equivalence of two postcritically finite branched covers of the two-sphere.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The fixed point of the parabolic renormalization operator

We study parabolic renormalization of analytic germs with a simple parabolic point at the origin. We describe a class of maps $\mathbf P$ which admit a maximal analytic extension to a Jordan domain, and whose covering properties have an explicit topological model. We demonstrate that $\mathbf P$ is invariant under parabolic renormalization, and that Inou-Shishikura fixed point $f_*$ lies in $\mathbf P$. We conjecture that successive parabolic renormalizations of every map in $\mathbf P$ converge to $f_*$ at a geometric rate. We further present a numerical method for computing the Taylor's expansion of $f_*$ with a high accuracy. Our approach also allows us to compute the images of the maximal domain of analyticity of $f_*$. Finally, we obtain numerical estimates on the spectral radius of the differential of the parabolic renormalization operator at $f_*$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Abnormality of the placental vasculature affects placental thickness

Our empirical modeling suggests that deformation of placental vascular growth is associated with abnormal placental chorionic surface shape. Altered chorionic surface shape is associated with lowered placental functional efficiency. We hypothesize that placentas with deformed chorionic surface vascular trees and reduced functional efficiency also have irregular vascular arborization that will be reflected in increased variability of placental thickness and a lower mean thickness. We find that non-centrality of the umbilical cord insertion is strongly and significantly correlated with disk thickness (Spearman's rho=0.128, p=0.002). Deformed shape is strongly and significantly associated with lower overall thickness and higher variability of thickness with beta between -0.173 and -0.254 (p<0.001) . Both lower mean thickness and high variability of thickness are strongly correlated with higher beta (reduced placental efficiency) (p<0.001 and p=0.038 respectively). Greater thickness variability is correlated with higher beta independent of the other placental shape variables p=0.004.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Computability of Brolin-Lyubich Measure

Brolin-Lyubich measure $λ_R$ of a rational endomorphism $R:\riem\to\riem$ with $°R\geq 2$ is the unique invariant measure of maximal entropy $h_{λ_R}=h_{\text{top}}(R)=\log d$. Its support is the Julia set $J(R)$. We demonstrate that $λ_R$ is always computable by an algorithm which has access to coefficients of $R$, even when $J(R)$ is not computable. In the case when $R$ is a polynomial, Brolin-Lyubich measure coincides with the harmonic measure of the basin of infinity. We find a sufficient condition for computability of the harmonic measure of a domain, which holds for the basin of infinity of a polynomial mapping, and show that computability may fail for a general domain.

0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv

Geography of the cubic connectedness locus I: Intertwining surgery

We exhibit products of Mandelbrot sets in the two-dimensional complex parameter space of cubic polynomials. These products were observed by J. Milnor in computer experiments which inspired Lavaurs' proof of non local-connectivity for the cubic connectedness locus. Cubic polynomials in such a product may be renormalized to produce a pair of quadratic maps. The inverse construction is an {\it intertwining surgery} on two quadratics. The idea of intertwining first appeared in a collection of problems edited by Bielefeld. Using quasiconformal surgery techniques of Branner and Douady, we show that any two quadratics may be intertwined to obtain a cubic polynomial. The proof of continuity in our two-parameter setting requires further considerations involving ray combinatorics and a pullback argument.

0 citations0 reviewsNo code linkedOpen access