Source author record

Timothy H. McNicholl

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

ResearcherUnclaimed source record

math.LO math.CV math.GN Computational Geometry math.NA

Catalog footprint

Research overview

11works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2019arXiv

Computing the exponent of a Lebesgue space

We consider the question as to whether the exponent of a computably presentable Lebesgue space whose dimension is at least 2 must be computable. We show this very natural conjecture is true when the exponent is at least 2 or when the space is finite-dimensional. However, we also show there is no uniform solution even when given upper and lower bounds on the exponent. The proof of this result leads to some basic results on the effective theory of stable random variables.

preprint2015arXiv

A note on the computable categoricity of l^p spaces

Suppose $p$ is a computable real so that $p \geq 1$ . We show that in both the real and complex case $l^p$ is computably categorical if and only if $p \neq 2$ .

preprint2015arXiv

Asymptotic density and the coarse computability bound

For $r \in [0,1]$ we say that a set $A \subseteq ω$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$ . Let $γ(A) = \sup \{r : A \hbox{ is coarsely computable at density } r\}$ . We study the interactions of these concepts with Turing reducibility. For example, we show that if $r \in (0,1]$ there are sets $A_0, A_1$ such that $γ(A_0) = γ(A_1) = r$ where $A_0$ is coarsely computable at density $r$ while $A_1$ is not coarsely computable at density $r$ . We show that a real $r \in [0,1]$ is equal to $γ(A)$ for some c.e.\ set $A$ if and only if $r$ is left- $Σ^0_3$ . A surprising result is that if $G$ is a $Δ^0_2$ $1$ -generic set, and $A \leq\sub{T} G$ with $γ(A) = 1$ , then $A$ is coarsely computable at density $1$ .

preprint2015arXiv

Carathéodory's Theorem and moduli of local connectivity

We give a constructive proof of the Carathéodory Theorem by means of the concept of a modulus of local connectivity and the extremal distance of the separating curves of an annulus.

preprint2014arXiv

Asymptotic density and the Ershov hierarchy

We classify the asymptotic densities of the $Δ^0_2$ sets according to their level in the Ershov hierarchy. In particular, it is shown that for $n \geq 2$ , a real $r \in [0,1]$ is the density of an $n$ -c.e.\ set if and only if it is a difference of left- $Π_2^0$ reals. Further, we show that the densities of the $ω$ -c.e.\ sets coincide with the densities of the $Δ^0_2$ sets, and there are $ω$ -c.e.\ sets whose density is not the density of an $n$ -c.e. set for any $n \in ω$ .

preprint2013arXiv

Computing conformal maps onto circular domains

We show that, given a non-degenerate, finitely connected domain $D$ , its boundary, and the number of its boundary components, it is possible to compute a conformal mapping of $D$ onto a circular domain \emph{without} prior knowledge of the circular domain. We do so by computing a suitable bound on the error in the Koebe construction (but, again, without knowing the circular domain in advance). As a scientifically sound model of computation with continuous data, we use Type-Two Effectivity.

preprint2012arXiv

Computing links and accessing arcs

Sufficient conditions are given for the computation of accessing arcs and arcs that links boundary components of multiply connected domains. The existence of a not-computably-accessible but computable point on a computably compact arc is also demonstrated.

preprint2011arXiv

An effective Caratheodory Theorem

By means of the property of effective local connectivity, the computability of finding the Carathéodory extension of a conformal map of a Jordan domain onto the unit disk is demonstrated.

preprint2011arXiv

An operator-theoretic existence proof of solutions to planar Dirichlét problems

By using some elementary techniques from operator theory, we prove constructively prove the existence of solutions to Dirichlét problems for planar Jordan domains with at least two boundary curves. An iterative method is thus obtained, and explicit bounds on the error in the resulting approximations are given. Finally, a closed form for the solution is given. No amount of differentiability of the boundary is assumed.

preprint2011arXiv

Effective local connectivity properties

We investigate, and prove equivalent, effective versions of local connectivity and uniformly local arcwise connectivity for connected and computably compact subspaces of Euclidean space. We also prove that Euclidean continua that are computably compact and effectively locally connected are computably arcwise connected.

preprint2011arXiv

The power of backtracking and the confinement of length

We show that there is a point on a computable arc that does not belong to any computable rectifiable curve. We also show that there is a point on a computable rectifiable curve with computable length that does not belong to any computable arc.

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.

Timothy H. McNicholl

Research overview

Is this your work?

11 publications

Computing the exponent of a Lebesgue space

A note on the computable categoricity of l^p spaces

Asymptotic density and the coarse computability bound

Carathéodory's Theorem and moduli of local connectivity

Asymptotic density and the Ershov hierarchy

Computing conformal maps onto circular domains

Computing links and accessing arcs

An effective Caratheodory Theorem

An operator-theoretic existence proof of solutions to planar Dirichlét problems

Effective local connectivity properties

The power of backtracking and the confinement of length

See the researcher in context

Building this map preview