SearcharxivSearch

arXiv subjects

Steffen Rohde

Publications and source records attributed to Steffen Rohde.

At least 19 recordsLinked to original sources

Piecewise geodesic Jordan curves II: Loewner energy, projective structures, and accessory parameters

In this paper we consider Jordan curves on the Riemann sphere passing through $n \ge 3$ given points. We show that in each relative isotopy class of such curves, there exists a unique curve that minimizes the Loewner energy. These curves have the property that each arc between two consecutive points is a hyperbolic geodesic in the domain bounded by the other arcs. This geodesic property lets us define a complex projective structure whose holonomy lies in $\mathrm{PSL}(2,\mathbb{R})$. We show that the quadratic differential comparing this projective structure to the trivial projective structure on the sphere has simple poles whose residues (accessory parameters) are given by the Wirtinger derivatives of the minimal Loewner energy. This is reminiscent of Polyakov's conjecture for Fuchsian projective structures, proven by Takhtajan and Zograf. Finally, we show that the projective structures we obtain are related to Fuchsian projective structures through $\pi$-grafting.

math.CV

Shapes of infinite conformally balanced trees

Numerical experiments by Werness, Lee and the third author suggested that dessin d'enfants associated to large trivalent trees approximate the developed deltoid introduced by Lee, Lyubich, Makarov and Mukherjee. In this paper, we confirm this conjecture. As a side product of our techniques, we give a new proof of a theorem of Bishop which says that ``true trees are dense.'' We also exhibit a sequence of trees whose conformally natural shapes converge to the cauliflower, the Julia set of $z\mapsto z^2+1/4$.

math.CV

Piecewise geodesic Jordan curves I: weldings, explicit computations, and Schwarzian derivatives

We consider Jordan curves of the form $\gamma=\cup_{j=1}^n \gamma_j$ on the Riemann sphere for which each $\gamma_j$ is a hyperbolic geodesic in $(\widehat{\mathbb C} \smallsetminus \gamma)\cup \gamma_j$. These Jordan curves are characterized by their conformal welding being piecewise M\"obius. We show that the Schwarzian derivatives of the uniformizing mappings of the two regions in $\widehat{\mathbb C} \smallsetminus \gamma$ form a rational function with at most second-order poles at the endpoints of $\gamma_j$ and that the poles are simple if the curve has continuous tangents. A key tool is the explicit computation of all $C^1$ geodesic pairs, namely $C^1$ chords $\gamma=\gamma_1\cup\gamma_2$ in a simply connected domain $D$ such that $\gamma_j$ is a hyperbolic geodesic in $D\smallsetminus \gamma_{3-j}$ for both $j=1$ and $j=2$.

math.CV

Homogenization of iterated singular integrals with applications to random quasiconformal maps

We study homogenization of iterated randomized singular integrals and homeomorphic solutions to the Beltrami differential equation with a random Beltrami coefficient. More precisely, let $(F_j)_{j \geq 1}$ be a sequence of normalized homeomorphic solutions to the planar Beltrami equation $\overline{\partial} F_j (z)=μ_j(z,ω) \partial F_j(z),$ where the random dilatation satisfies $|μ_j|\leq k<1$ and has locally periodic statistics, for example of the type $$μ_j (z,ω)=ϕ(z)\sum_{n\in \mathbf{Z}^2}g(2^j z-n,X_{n}(ω)), $$ where $g(z,ω)$ decays rapidly in $z$, the random variables $X_{n}$ are i.i.d., and $ϕ\in C^\infty_0$. We establish the almost sure and local uniform convergence as $j\to\infty$ of the maps $F_j$ to a deterministic quasiconformal limit $F_\infty$. This result is obtained as an application of our main theorem, which deals with homogenization of iterated randomized singular integrals. As a special case of our theorem, let $T_1,\ldots , T_{m}$ be translation and dilation invariant singular integrals on ${\bf R}^d, $ and consider a $d$-dimensional version of $μ_j$, e.g., as defined above or within a more general setting. We then prove that there is a deterministic function $f$ such that almost surely as $j\to\infty$, $$ μ_j T_{m}μ_j\ldots T_1μ_j\to f \quad \textrm{weakly in } L^p,\quad 1 < p < \infty\ . $$

math.CV

The Loewner energy of loops and regularity of driving functions

Loewner driving functions encode simple curves in 2-dimensional simply connected domains by real-valued functions. We prove that the Loewner driving function of a $C^{1,β}$ curve (differentiable parametrization with $β$-Hölder continuous derivative) is in the class $C^{1,β-1/2}$ if $1/2<β\leq 1$, and in the class $C^{0,β+ 1/2}$ if $0 \leq β\leq 1/2$. This is the converse of a result of Carto Wong and is optimal. We also introduce the Loewner energy of a rooted planar loop and use our regularity result to show the independence of this energy from the basepoint.

math.CV

Loewner Curvature

The purpose of this paper is to interpret the phase transition in the Loewner theory as an analog of the hyperbolic variant of the Schur theorem about curves of bounded curvature. We define a family of curves that have a certain conformal self-similarity property. They are characterized by a deterministic version of the domain Markov property, and have constant Loewner curvature. We show that every sufficiently smooth curve in a simply connected plane domain has a best-approximating curve of constant Loewner curvature, establish a geometric comparison principle, and show that curves of Loewner curvature bounded by 8 are simple curves.

math.CV

Backward SLE and the symmetry of the welding

The backward chordal Schramm-Loewner Evolution naturally defines a conformal welding homeomorphism of the real line. We show that this homeomorphism is invariant under the automorphism $x\mapsto -1/x$, and conclude that the associated solution to the welding problem (which is a natural renormalized limit of the finite time Loewner traces) is reversible. The proofs rely on an analysis of the action of analytic circle diffeomorphisms on the space of hulls, and on the coupling techniques of the second author.

math.PR

A note on quasiconformal maps with Holder-continuous dilatation

Here we give an alternate proof of a sufficient condition due to J. Mateu, J. Orobitg, and J. Verdera for a quasiconformal map of the plane with dilatation supported in a smooth domain to be bi-Lipschitz. We also extend this theorem to cover boundaries with certain types of corners.

math.CV

Quasisymmetry and rectifiability of quasispheres

We obtain Dini conditions with "exponent 2" that guarantee that an asymptotically conformal quasisphere is rectifiable. In particular, we show that for any e>0 integrability of (esssup_{1-t < |x| < 1+t} K_f(x)-1)^{2-e} dt/t implies that the image of the unit sphere under a global quasiconformal homeomorphism f is rectifiable. We also establish estimates for the weak quasisymmetry constant of a global K-quasiconformal map in neighborhoods with maximal dilatation close to 1.

math.CA

On the Continuity of SLE(κ) in κ

We prove that for almost every Brownian motion sample, the corresponding SLE(κ) curves parameterized by capacity exist and change continuously in the supremum norm when κvaries in the interval [0,κ_0), where κ_0=8(2-\sqrt{3})=2.143... We estimate the κ-dependent modulus of continuity of the curves and also give an estimate on the modulus of continuity for the supremum norm change with κ.

math.PR

Half-plane capacity and conformal radius

In this note, we show that the half-plane capacity of a subset of the upper half-plane is comparable to a simple geometric quantity, namely the euclidean area of the hyperbolic neighborhood of radius one of this set. This is achieved by proving a similar estimate for the conformal radius of a subdomain of the unit disc, and by establishing a simple relation between these two quantities.

math.CV

Spacefilling Curves and Phases of the Loewner Equation

Similar to the well-known phases of SLE, the Loewner differential equation with Lip(1/2) driving terms is known to have a phase transition at norm 4, when traces change from simple to non-simple curves. We establish the deterministic analog of the second phase transition of SLE, where traces change to space-filling curves: There is a constant C>4 such that a Loewner driving term whose trace is space filling has Lip(1/2) norm at least C. We also provide a geometric criterion for traces to be driven by Lip(1/2) functions, and show that for instance the Hilbert space filling curve and the Sierpinski gasket fall into this class.

math.CV

On the Riemann surface type of Random Planar Maps

We show that the (random) Riemann surfaces of the Angel-Schramm Uniform Infinite Planar Triangulation and of Sheffield's infinite necklace construction are both parabolic. In other words, Brownian motion on these surfaces is recurrent. We obtain this result as a corollary to a more general theorem on subsequential distributional limits of random unbiased disc triangulations, following work of Benjamini and Schramm.

math.CV

Quasisymmetric conjugacy between quadratic dynamics and iterated function systems

We consider linear iterated function systems (IFS) with a constant contraction ratio in the plane for which the "overlap set" $\Ok$ is finite, and which are "invertible" on the attractor $A$, the sense that there is a continuous surjection $q: A\to A$ whose inverse branches are the contractions of the IFS. The overlap set is the critical set in the sense that $q$ is not a local homeomorphism precisely at $\Ok$. We suppose also that there is a rational function $p$ with the Julia set $J$ such that $(A,q)$ and $(J,p)$ are conjugate. We prove that if $A$ has bounded turning and $p$ has no parabolic cycles, then the conjugacy is quasisymmetric. This result is applied to some specific examples including an uncountable family. Our main focus is on the family of IFS $\{λz,λz+1\}$ where $λ$ is a complex parameter in the unit disk, such that its attractor $A_\lam$ is a dendrite, which happens whenever $\Ok$ is a singleton. C. Bandt observed that a simple modification of such an IFS (without changing the attractor) is invertible and gives rise to a quadratic-like map $q_\lam$ on $A_\lam$. If the IFS is post-critically finite, then a result of A. Kameyama shows that there is a quadratic map $p_c(z)=z^2+c$, with the Julia set $J_c$ such that $(A_\lam,q_\lam)$ and $(J_c,p_c)$ are conjugate. We prove that this conjugacy is quasisymmetric and obtain partial results in the general (not post-critically finite) case.

math.DS

Optimal regularity for planar mappings of finite distortion

Let $f:Ω\to\IR^2$ be a mapping of finite distortion, where $Ω\subset\IR^2 .$ Assume that the distortion function $K(x,f)$ satisfies $e^{K(\cdot, f)}\in L^p_{loc}(Ω)$ for some $p>0.$ We establish optimal regularity and area distortion estimates for $f$. Especially, we prove that $|Df|^2 \log^{β-1}(e + |Df|) \in L^1_{loc}(Ω) $ for every $β<p.$ This answers positively well known conjectures due to Iwaniec and Martin \cite{IMbook} and to Iwaniec, Koskela and Martin \cite{IKM}.

math.CV

Collisions and Spirals of Loewner Traces

We analyze Loewner traces driven by functions asymptotic to K\sqrt{1-t}. We prove a stability result when K is not 4 and show that K=4 can lead to non locally connected hulls. As a consequence, we obtain a driving term λ(t) so that the hulls driven by Kλ(t) are generated by a continuous curve for all K > 0 with K not equal to 4 but not when K = 4, so that the space of driving terms with continuous traces is not convex. As a byproduct, we obtain an explicit construction of the traces driven by K\sqrt{1-t} and a conceptual proof of the corresponding results of Kager, Nienhuis and Kadanoff, math-ph/0309006

math.CV

Continuity of the SLE trace in simply connected domains

We prove that the $SLE_κ$ trace in any simply connected domain $G$ is continuous (except possibly near its endpoints) if $κ<8$. We also prove an SLE analog of Makarov's Theorem about the support of harmonic measure.

math.PR