Source author record

Christopher J. Bishop

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CV Computational Geometry math.DS math.CA math.MG

Catalog footprint

Research overview

10works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Conformal mapping in linear time

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/ε)$ .

preprint2020arXiv

Nonobtuse triangulations of PSLGs

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$ .

preprint2020arXiv

Optimal angle bounds for quadrilateral meshes

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.

preprint2020arXiv

Quadrilateral meshes for PSLGs

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]$ .

preprint2020arXiv

Speiser class Julia sets with dimension near one

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.

preprint2020arXiv

The order conjecture fails in S

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.

preprint2020arXiv

True trees are dense

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.

preprint2016arXiv

Qusisymmetric dimension distortion of Ahlfors regular subsets of a metric space

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}.

preprint2014arXiv

Examples Concerning Abelian and Cesaro Limits

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.

preprint1994arXiv

Hausdorff dimension and Kleinian groups

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.

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.

Christopher J. Bishop

Research overview

Is this your work?

10 publications

Conformal mapping in linear time

Nonobtuse triangulations of PSLGs

Optimal angle bounds for quadrilateral meshes

Quadrilateral meshes for PSLGs

Speiser class Julia sets with dimension near one

The order conjecture fails in S

True trees are dense

Qusisymmetric dimension distortion of Ahlfors regular subsets of a metric space

Examples Concerning Abelian and Cesaro Limits

Hausdorff dimension and Kleinian groups

See the researcher in context

Building this map preview