arXiv subjects
Publications and source records attributed to Kirill Lazebnik.
Given two Blaschke products $A$, $B$ of the same degree, a \emph{welding homeomorphism} of $A$, $B$ is a circle homeomorphism $k: \mathbb{T} \rightarrow \mathbb{T}$ satisfying $A\circ k=B$ on $\mathbb{T}$. We show that any two pairs of Blaschke products sharing a welding homeomorphism must factor through a common pair of Blaschke products, and we give a criterion for detecting whether two Blaschke products admit such a factorization.
We show that any $d\geq3$ pairwise-disjoint open sets $A_1$, ..., $A_d\subset\widehat{\mathbb{C}}$ sharing a common boundary $J$ can be simultaneously approximated by the $d$ attracting basins $\mathcal{A}_1$, ..., $\mathcal{A}_d$ of a rational map $r$ having Fatou set $\mathcal{F}(r)=\mathcal{A}_1\sqcup...\sqcup\mathcal{A}_d$ and so that the Julia set $\mathcal{J}(r)$ approximates $J$.
Consider a logharmonic polynomial; that is, a product of the form $p(z)\overline{q(z)}$, where $p$, $q$ are holomorphic polynomials. Assume $q$ is linear and denote by $n$ the degree of $p$. It was recently shown in arXiv:2302.04339 [math.CV] that the valence of such a logharmonic polynomial is at most $3n-1$; in this paper we show that their $3n-1$ upper bound is sharp. Together with the work of arXiv:2302.04339 [math.CV], this resolves a conjecture of Bshouty and Hengartner.
The matching problem for a given Jordan curve in the complex plane asks to find two nonconstant functions, one analytic in the bounded complementary component of the curve and the other analytic in the unbounded complementary component of the curve, which are continuous up to the curve and complex conjugate to each other on the curve. We prove that there exist Jordan curves of any Hausdorff dimension between $1$ and $2$ for which the matching problem has a solution. This answers a question of Ebenfelt--Khavinson--Shapiro and provides the first examples of solutions to the matching problem other than rational lemniscates. Our approach relies on conformal welding and harmonic measure. We also obtain new examples of Jordan curves for which the matching problem has no solution, and give a characterization of the subsets of the Riemann sphere that are rational lemniscates in terms of harmonic measure.
A rational lemniscate is a level set of $|r|$ where $r: \hat{\mathbb{C}} \rightarrow \hat{\mathbb{C}}$ is rational. We prove that any planar Euler graph can be approximated, in a strong sense, by a homeomorphic rational lemniscate. This generalizes Hilbert's lemniscate theorem; he proved that any Jordan curve can be approximated (in the same strong sense) by a polynomial lemniscate that is also a Jordan curve. As consequences, we obtain a sharp quantitative version of the classical Runge's theorem on rational approximation, and we give a new result on the approximation of planar continua by Julia sets of rational maps.
We characterize which planar graphs arise as the pullback, under a rational map $r$, of an analytic Jordan curve passing through the critical values of $r$. We also prove that such pullbacks are dense within the collection of $f^{-1}(Σ)$, where $f$ is a branched cover of the sphere and $Σ$ is a Jordan curve passing through the branched values of $f$.
We strengthen the classical approximation theorems of Weierstrass, Runge and Mergelyan by showing the polynomial and rational approximants can be taken to have a simple geometric structure. In particular, when approximating a function $f$ on a compact set $K$, the critical points of our approximants may be taken to lie in any given domain containing $K$, and all the critical values in any given neighborhood of the polynomially convex hull of $f(K)$.
We show that any dynamics on any planar set $S$ discrete in some domain $D$ can be realized by the postcritical dynamics of a function holomorphic in $D$, up to a small perturbation. A key step in the proof, and a result of independent interest, is that any planar domain $D$ can be equilaterally triangulated with triangles whose diameters $\rightarrow0$ (at any prescribed rate) near $\partial D$.
Let $(M_j)_{j=1}^\infty\in\mathbb{N}$ and $(r_j)_{j=1}^\infty\in\mathbb{R}^+$ be increasing sequences satisfying some mild rate of growth conditions. We prove that there is an entire function $f: \mathbb{C} \rightarrow\mathbb{C}$ whose behavior in the large annuli $\{ z\in\mathbb{C} : r_{j}\cdot\exp(π/M_{j})\leq|z|\leq r_{j+1}\}$ is given by a perturbed rescaling of $z\mapsto z^{M_j}$, such that the only singular values of $f$ are rescalings of $\pm r_j^{M_j}$. We describe several applications to the dynamics of entire functions.
We show the existence of transcendental entire functions $f: \mathbb{C} \rightarrow \mathbb{C}$ with Hausdorff-dimension $1$ Julia sets, such that every Fatou component of $f$ has infinite inner connectivity. We also show that there exist singleton complementary components of any Fatou component of $f$, answering a question of Rippon and Stallard (arXiv:1703.11001). Our proof relies on a quasiconformal-surgery approach developed in arXiv:2101.04219.
We study rational functions $f$ of degree $d+1$ such that $f$ is univalent in the exterior unit disc, and the image of the unit circle under $f$ has the maximal number of cusps ($d+1$) and double points $(d-2)$. We introduce a bi-angled tree associated to any such $f$. It is proven that any bi-angled tree is realizable by such an $f$, and moreover, $f$ is essentially uniquely determined by its associated bi-angled tree. This combinatorial classification is used to show that such $f$ are in natural 1:1 correspondence with anti-holomorphic polynomials of degree $d$ with $d-1$ distinct, fixed critical points (classified by their Hubbard trees).
We construct embeddings of Bers slices of ideal polygon reflection groups into the classical family of univalent functions $Σ$. This embedding is such that the conformal mating of the reflection group with the anti-holomorphic polynomial $z\mapsto\overline{z}^d$ is the Schwarz reflection map arising from the corresponding map in $Σ$. We characterize the image of this embedding in $Σ$ as a family of univalent rational maps. Moreover, we show that the limit set of every Kleinian reflection group in the closure of the Bers slice is naturally homeomorphic to the Julia set of an anti-holomorphic polynomial.
We construct a transcendental entire $f:\mathbb{C}\rightarrow\mathbb{C}$ such that (1) $f$ has bounded singular set, (2) $f$ has a wandering domain, and (3) each singular value of $f$ escapes to infinity under iteration by $f$.
We study several classes of holomorphic dynamical systems associated with quadrature domains. Our main result is that real-symmetric polynomials in the principal hyperbolic component of the Mandelbrot set can be conformally mated with a congruence subgroup of $\textrm{PSL}(2,\mathbb{Z})$, and that this conformal mating is the Schwarz function of a simply connected quadrature domain.
We show that any dynamics on any discrete planar sequence $S$ can be realized by the postsingular dynamics of some transcendental meromorphic function, provided we allow for small perturbations of $S$. This work was influenced by an analogous result of DeMarco, Koch and McMullen for finite $S$ in the rational setting. The proof contains a method for constructing meromorphic functions with good control over both the postsingular set of $f$ and the geometry of $f$, using the Folding Theorem of Bishop and a classical fixpoint theorem of Tychonoff.
We use the folding theorem of Bishop to construct an entire function $f$ in class $B$ and a wandering domain $U$ of $f$ such that $f$ restricted to $f^n(U)$ is univalent, for all $n \geq 0$. The components of the wandering orbit are bounded and surrounded by the postcritical set.