BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Timothy H. McNicholl

Timothy H. McNicholl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.CVmath.GNComputational Geometrymath.NA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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 ω$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access