Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities are finite for all if and only if ∂Ω and ∂Π do not contain isolated points. This work was supported by a grant of the Deutsche Forschungsgemeinschaft for F. G. Avkhadiev.     

On the Density of 2-Saturated Lattice Packings of Discs

 In a recent paper of G. Fejes Tóth, G. Kuperberg and W. Kuperberg [1] a conjecture has been published concerning the greatest lower bound of the density of a 2-saturated packing of unit discs in the plane. (A packing of unit discs is said to be 2-saturated if none of the discs could be replaced by two other ones of the same size to generate a new packing. A packing of the unit disc is a lattice packing if the centers form a point lattice.) In the present note we study this problem for lattice packings, however, in a more general form in which the removed unit disc is replaced by two discs of radius r. A corollary of our results supports the above conjecture proving that a lattice packing cannot be 2-saturated except if its density is larger than the conjectured bound. (Received 6 December 2000; in revised form March 29, 2001)     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

Quasiconformal Lipschitz maps, Sullivan's convex hull theorem and Brennan's conjecture

We show that proving the conjectured sharp constant in a theorem of Dennis Sullivan concerning convex sets in hyperbolic 3-space would imply the Brennan conjecture. We also prove that any conformal mapf:D→Ω can be factored as aK-quasiconformal self-map of the disk (withK independent of Ω) and a mapg:D→Ω with derivative bounded away from zero. In particular, there is always a Lipschitz homeomorphism from any simply connected Ω (with its internal path metric) to the unit disk. The author is partially supported by NSF Grant DMS 9800924.     

Convex hull theorem for multiply connected domains in the plane with an estimate of the quasiconformal constant

For any multiply connected domain Ω in R2, let S be the boundary of the convex hull in H3 of R2\Ω which faces Ω. Suppose in addition that there exists a lower bound l > 0 of the hyperbolic lengths of closed geodesics in Ω. Then there is always a K-quasiconformal mapping from S to Ω, which extends continuously to the identity on S = Ω, where K depends only on l. We also give a numerical estimate of K by using the parameter l.     

On hyperbolic fixed points in ultrametric dynamics

Let K be a complete ultrametric field. We give lower and upper bounds for the size of linearization discs for power series over K near hyperbolic fixed points. These estimates are maximal in the sense that there exist examples where these estimates give the exact size of the corresponding linearization disc. In particular, at repelling fixed points, the linearization disc is equal to the maximal disc on which the power series is injective.     

Estimates for the hyperbolic metric of the punctured plane and applications

The hyperbolic metrich ^Ω of the twice punctured complex plane Ω is studied. A new recursive algorithm for computing the density λ_Ω ofh ^Ω is given. For a proper subdomainG of Ω we answer a question of G. Martin concerning quasiconformal mappings ofG that can be extended to the complement ofG as the identity map.     

Covering with Fat Convex Discs

According to a theorem of L. Fejes Tóth [4], if non-crossing congruent copies of a convex disc K cover a convex hexagon H, then the density of the discs relative to H is at least area K/f_K(6) where f_K(6) denotes the maximum area of a hexagon contained in K. We say that a convex disc is r-fat if it is contained in a unit circle C and contains a concentric circle c of radius r. Recently, Heppes [7] showed that the above inequality holds without the non-crossing assumption if K is a 0.8561-fat ellipse. We show that the non-crossing assumption can be omitted if K is an r₀-fat convex disc with r₀ = 0.933 or an r₁-fat ellipse with r₁ = 0.741.     

Multivalued Analytic Continuation of the Cauchy Transform

In this paper we introduce the notion of multivalued analytic continuation of the Cauchy transforms. Many difficulties arise because the continuation is not single-valued. Our main result asserts that if χ_Ω has a multivalued analytic continuation, then the free boundary ∂Ω has zero Lebesgue measure. Here χ_Ω is the characteristic function of a domain Ω and ∂Ω is its boundary. We also discuss the connections between this notion, quadrature domains and approximations of analytic functions with single-valued integrals by rational functions. The last problem is related to the existence of a continuous function g and a closed connected set K such that the gradient of g vanishes on K, nevertheless g is not constant on K. Mathematics Subject Classifications (2000) Primary 31A25, 31B20; secondary 30E10, 35J05, 41A20.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Existence of Universal Taylor Series for Nonsimply Connected Domains

It is known that, for any simply connected proper subdomain Ω of the complex plane and any point ζ in Ω, there are holomorphic functions on Ω that possess “universal” Taylor series expansions about ζ; that is, partial sums of the Taylor series approximate arbitrary polynomials on arbitrary compacta in ℂ\Ω that have connected complement. This paper shows, for nonsimply connected domains Ω, how issues of capacity, thinness and topology affect the existence of holomorphic functions on Ω that have universal Taylor series expansions about a given point.     

On planarity of compact, locally connected, metric spaces

Independently, Claytor [Ann. Math. 35 (1934), 809–835] and Thomassen [Combinatorica 24 (2004), 699–718] proved that a 2-connected, compact, locally connected metric space is homeomorphic to a subset of the sphere if and only if it does not contain K ₅ or K _3;3. The “thumbtack space” consisting of a disc plus an arc attaching just at the centre of the disc shows the assumption of 2-connectedness cannot be dropped. In this work, we introduce “generalized thumbtacks” and show that a compact, locally connected metric space is homeomorphic to a subset of the sphere if and only if it does not contain K ₅, K _3;3, or any generalized thumbtack, or the disjoint union of a sphere and a point.     

The Forest Hiding Problem

Let Ω be a disk of radius R in the plane. A set F of unit disks contained in Ω forms a maximal packing if the unit disks are pairwise interior-disjoint and the set is maximal, i.e., it is not possible to add another disk to F while maintaining the packing property. A point p is hidden within the “forest” defined by F if any ray with apex p intersects some disk of F, that is, a person standing at p can hide without being seen from outside the forest. We show that if the radius R of Ω is large enough, one can find a hidden point for any maximal packing of unit disks in Ω. This proves a conjecture of Joseph Mitchell. We also present an O(n ^5/2log n)-time algorithm that, given a forest with n (not necessarily congruent) disks, computes the boundary illumination map of all disks in the forest.     

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

L P-Integrability of derivatives of Riemann mappings on Ahlfors-David regular curves

In 1981, Hayman and Wu proved that for any simply connected domain Ω and any Riemann mappingF: Ω →D,F′ ∈ L¹ (L ∩ Ω), whereL is any line in the complex plane. Several years later, Fernández, Heinonen and Martio showed that there is anε > 0 such thatF′ ∈ L^1+∈(L ∩ Ω). The question arises as to which curves other than lines satisfy such a statement. A curve Γ is said to be Ahlfors-David regular if there is a constantA such that for any B(x, r) (the disk of radiusr centered atx), l(Γ ∩ B(x, r))≤ Ar. The major result of the paper is the following theorem: Let Γ be an Ahlfors-David regular curve with constantA. Then there exists an∈ > 0, depending only onA, such thatF′ ∈ L^1+∈(Γ ∩ Ω). This result is the synthesis of the extension of Fernández, Heinonen and Martio, and the result of Bishop and Jones showing thatF′ ∈ L¹(Γ ∩ Ω). The proof of the results uses a stopping-time argument which seeks out places in the curve where small pieces may be added in order to control the portions of the curve where |F′ | is large. This is accomplished with an estimate on the vanishing of the harmonic measure of the curve in such places. The paper also includes simpler arguments for the special cases where Γ = ∂Ω and Γ ⊂Ω.     

Convergence of Rational Interpolants with Preassigned Poles

Let Ω be a domain in the extended complex plane such that ∞∈Ω . Further, let K= C / Ω and, for each n , let Q _n be a monic polynomial of degree n with all its zeros in K . This paper is concerned with whether (Q _n ) can be chosen so that, if f is any holomorphic function on Ω and P _n is the polynomial part of the Laurent expansion of Q _n f at ∞ , then (P _n /Q _n ) converges to f locally uniformly on Ω . It is shown that such a sequence (Q _n ) can be chosen if and only if either K has zero logarithmic capacity or Ω is regular. January 21, 1999. Date accepted: August 17, 1999.     

Schwarz—Pick Inequalities for Derivatives of Arbitrary Order

   Abstract. Let Ω and Π be two simply connected domains in the complex plane C which are not equal to the whole plane C and let λ _Ω and λ _Π denote the densities of the Poincare metric in Ω and Π , respectively. For f: Ω → Π analytic in Ω , inequalities of the type

Infinite primitive directed graphs

A group G of permutations of a set Ω is primitive if it acts transitively on Ω, and the only G-invariant equivalence relations on Ω are the trivial and universal relations. A digraph Γ is primitive if its automorphism group acts primitively on its vertex set, and is infinite if its vertex set is infinite. It has connectivity one if it is connected and there exists a vertex α of Γ, such that the induced digraph Γ∖{α} is not connected. If Γ has connectivity one, a lobe of Γ is a connected subgraph that is maximal subject to the condition that it does not have connectivity one. Primitive graphs (and thus digraphs) with connectivity one are necessarily infinite.