BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Christopher J. Bishop appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Given any $ε>0$ and any planar region $Ω$ bounded by a simple n-gon $P$ we construct a ($1 + ε)$-quasiconformal map between $Ω$ and the unit disk in time $C(ε)n$. One can take $ C(ε) = C + C \log (1/ε) \log \log (1/ε)$.
We show that any planar straight line graph (PSLG) with $n$ vertices has a conforming triangulation by $O(n^{2.5})$ nonobtuse triangles (all angles $\leq 90^\circ$), answering the question of whether any polynomial bound exists. A nonobtuse triangulation is Delaunay, so this result also improves a previous $O(n^3)$ bound of Eldesbrunner and Tan for conforming Delaunay triangulations of PSLGs. In the special case that the PSLG is the triangulation of a simple polygon, we will show that only $O(n^2)$ triangles are needed, improving an $O(n^4)$ bound of Bern and Eppstein. We also show that for any $ε>0$, every PSLG has a conforming triangulation with $O(n^2/ε^2)$ elements and with all angles bounded above by $90^\circ + ε$. This improves a result of S. Mitchell when $ε= 3 π/8 = 67.5^\circ $ and Tan when $ε= 7π/30 =42^\circ$.
We show that any simple planar n-gon can be meshed in linear time by $O(n)$ quadrilaterals with all new angles bounded between $60$ and $120$ degrees.
We prove that every planar straight line graph with $n$ vertices has a conforming quadrilateral mesh with $O(n^2)$ elements, all angles $\leq 120^\circ$ and all new angles $\geq 60^\circ$. Both the complexity and the angle bounds are sharp. Moreover, all but $O(n)$ of the angles may be taken in a smaller interval, say $[89^\circ, 91^\circ]$.
For any $ δ>0$ we construct an entire function $f$ with three singular values whose Julia set has Hausdorff dimension at most $1=δ$. Stallard proved that the dimension must be strictly larger than 1 whenever $f$ has a bounded singular set, but no examples with finite singular set and dimension strictly less than 2 were previously known.
We construct an entire function $f$ with only three singular values whose order of growth can change under a quasiconformal equivalence. This is a counterexample to the Order Conjecture in the Speiser class ${\mathcal S}$ of entire functions.
We show that any compact, connected set $K$ in the plane can be approximated by the critical points of a polynomial with two critical values. Equivalently, $K$ can be approximated in the Hausdorff metric by a true tree in the sense of Grothendieck's dessins d'enfants.
We show that if $f:X\to Y$ is a quasisymmetric mapping between Ahlfors regular spaces, then $\dim_H f(E)\leq\dim_H E$ for "almost every" bounded Ahlfors regular set $E\subseteq X$. If additionally, $X$ and $Y$ are Loewner spaces then $\dim_H f(E)=\dim_H E$ for "almost every" Ahlfors regular set $E\subset X$. The precise statements of these results are given in terms of Fuglede's modulus of measures. As a corollary of these general theorems we show that if $f$ is a quasiconformal map of $\mathbb{R}^N$, $N\geq 2$, then for Lebesgue a.e. $y\in\mathbb{R}^N$ we have $\dim_H f(y+E) = \dim_H E$. A similar result holds for Carnot groups as well. For planar quasiconformal maps, our general estimates imply that if $E \subset \mathbb{R}$ is Ahlfors $d$-regular, $d<1$, then some component of $f(E \times \mathbb{R})$ has dimension at most $2/(d+1)$, and we construct examples to show this bound is sharp. In addition, we show there is a $1$-dimensional set $S\subseteq \mathbb R$ and planar quasiconformal map $f$ such that $f(\mathbb{R} \times S)$ contains no rectifiable sub-arcs. These results generalize work of Balogh, Monti and Tyson \cite{Tyson:frequency} and answer questions posed in \cite{Tyson:frequency} and \cite{AimPL}.
This note provides examples of all possible equality and strict inequality relations between upper and lower Abelian and Cesaro limits of sequences bounded above or below.
Let G be a non-elementary, finitely generated Kleinian group, Lambda(G) its limit set and Omega(G) = S \ Lambda(G) (S = the sphere) its set of discontinuity. Let delta(G) be the critical exponent for the Poincaré series and let Lambda_c be the conical limit set of G. Suppose Omega_0 is a simply connected component of Omega(G). We prove that (1) delta(G) = dim(Lambda_c). (2) A simply connected component Omega is either a disk or dim(Omega)>1$. (3) Lambda(G) is either totally disconnected, a circle or has dimension > 1, (4) G is geometrically infinite iff dim(Lambda)=2. (5) If G_n \to G algebraically then dim(Lambda) <= \liminf dim(Lambda_n). (6) The Minkowski dimension of Lambda equals the Hausdorff dimension. (7) If Area(Lambda)=0 then delta(G) = dim(Lambda(G)). The proof also shows that \dim(Lambda(G)) > 1 iff the conical limit set has dimension > 1 iff the Poincaré exponent of the group is > 1. Furthermore, a simply connected component of Omega(G) either is a disk or has non-differentiable boundary in the the sense that the (inner) tangent points of \partial Omega have zero 1-dimensional measure. Almost every point (with respect to harmonic measure) is a twist point.