Showing 1–26 of 26 results for author: McNicholl, T

Evaluative presentations

Authors: Timothy H. McNicholl

Abstract: We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective Banach-Stone Theorem for unital commutative $C^*$ algebras. We also apply our results to the computable categoricity of $C^*$ algebras and compact Polish spaces. We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective Banach-Stone Theorem for unital commutative $C^*$ algebras. We also apply our results to the computable categoricity of $C^*$ algebras and compact Polish spaces. △ Less

Submitted 20 March, 2024; originally announced March 2024.

MSC Class: 03D78

Computable Gelfand Duality

Authors: Peter Burton, Christopher J. Eagle, Alec Fox, Isaac Goldbring, Matthew Harrison-Trainor, Timothy H. McNicholl, Alexander Melnikov, Teerawat Thewmorakot

Abstract: We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras. △ Less

Submitted 20 March, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

MSC Class: 03D78; 03D45; 46LO5

Hyperarithmetic numerals

Authors: Caleb M. H. Camrud, Timothy H. McNicholl

Abstract: Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language $L$ that have the same truth value in every interpretation of $L$. We prove that every hyperarithmetic real can be represented by a hyperarithmetic numeral at the same level of complexity. Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language $L$ that have the same truth value in every interpretation of $L$. We prove that every hyperarithmetic real can be represented by a hyperarithmetic numeral at the same level of complexity. △ Less

Submitted 2 November, 2022; originally announced November 2022.

MSC Class: 03C57 (Primary); 03B52 (Secondary)

On the complexity of the theory of a computably presented metric structure

Authors: Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl

Abstract: We consider the complexity (in terms of the arithmetical hierarchy) of the various quantifier levels of the diagram of a computably presented metric structure. As the truth value of a sentence of continuous logic may be any real in $[0,1]$, we introduce two kinds of diagrams at each level: the closed diagram, which encapsulates weak inequalities of the form $φ^\mathcal{M} \leq r$, and the open dia… ▽ More We consider the complexity (in terms of the arithmetical hierarchy) of the various quantifier levels of the diagram of a computably presented metric structure. As the truth value of a sentence of continuous logic may be any real in $[0,1]$, we introduce two kinds of diagrams at each level: the closed diagram, which encapsulates weak inequalities of the form $φ^\mathcal{M} \leq r$, and the open diagram, which encapsulates strict inequalities of the form $φ^\mathcal{M} < r$. We show that the closed and open $Σ_N$ diagrams are $Π^0_{N+1}$ and $Σ_N$ respectively, and that the closed and open $Π_N$ diagrams are $Π^0_N$ and $Σ^0_{N + 1}$ respectively. We then introduce effective infinitary formulas of continuous logic and extend our results to the hyperarithmetical hierarchy. Finally, we demonstrate that our results are optimal. △ Less

Submitted 9 June, 2021; originally announced June 2021.

MSC Class: 3C57; 3D45; 3D55; 3D78

Effective notions of weak convergence of measures on the real line

Authors: Timothy H. McNicholl, Diego A. Rojas

Abstract: We establish a framework for the study of the effective theory of weak convergence of measures. We define two effective notions of weak convergence of measures on $\mathbb{R}$: one uniform and one non-uniform. We show that these notions are equivalent. By means of this equivalence, we prove an effective version of the Portmanteau Theorem, which consists of multiple equivalent definitions of weak c… ▽ More We establish a framework for the study of the effective theory of weak convergence of measures. We define two effective notions of weak convergence of measures on $\mathbb{R}$: one uniform and one non-uniform. We show that these notions are equivalent. By means of this equivalence, we prove an effective version of the Portmanteau Theorem, which consists of multiple equivalent definitions of weak convergence of measures. △ Less

Submitted 1 June, 2021; v1 submitted 31 May, 2021; originally announced June 2021.

Comments: 13 pages, 2 figures

Computing the exponent of a Lebesgue space

Authors: Timothy H. McNicholl

Abstract: 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… ▽ More 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. △ Less

Submitted 30 December, 2019; originally announced December 2019.

MSC Class: 03D78; 03D45

Degrees of and lowness for isometric isomorphism

Authors: Johanna N. Y. Franklin, Timothy H. McNicholl

Abstract: We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with resp… ▽ More We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with respect to fixed computable presentations, and, in this vein, we obtain classifications of the degrees that are low for isometric isomorphism with respect to the standard copies of certain Lebesgue spaces. △ Less

Submitted 13 November, 2019; originally announced November 2019.

MSC Class: 03C57

On the complexity of classifying Lebesgue spaces

Authors: Tyler Brown, Alexander G. Melnikov, Timothy H. McNicholl

Abstract: Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems. Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems. △ Less

Submitted 28 June, 2019; originally announced June 2019.

MSC Class: 03D45; 03D78; 46B04

Continuous logic and embeddings of Lebesgue spaces

Authors: Timothy H. McNicholl

Abstract: We use the compactness theorem of continuous logic to give a new proof that $L^r([0,1]; \mathbb{R})$ isometrically embeds into $L^p([0,1]; \mathbb{R})$ whenever $1 \leq p \leq r \leq 2$. We will also give a proof for the complex case. This will involve a new characterization of complex $L^p$ spaces based on Banach lattices. We use the compactness theorem of continuous logic to give a new proof that $L^r([0,1]; \mathbb{R})$ isometrically embeds into $L^p([0,1]; \mathbb{R})$ whenever $1 \leq p \leq r \leq 2$. We will also give a proof for the complex case. This will involve a new characterization of complex $L^p$ spaces based on Banach lattices. △ Less

Submitted 31 December, 2018; v1 submitted 29 May, 2018; originally announced May 2018.

MSC Class: 03C99; 46B04; 46B42

Analytic computable structure theory and $L^p$-spaces part 2

Authors: Tyler Brown, Timothy H. McNicholl

Abstract: Suppose $p \geq 1$ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable $L^p$ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the degrees of categoricity of these spaces and the complexity of associated projection maps. Suppose $p \geq 1$ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable $L^p$ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the degrees of categoricity of these spaces and the complexity of associated projection maps. △ Less

Submitted 26 April, 2019; v1 submitted 31 December, 2017; originally announced January 2018.

MSC Class: 03D78; 03D45; 46E30

Analytic computable structure theory and $L^p$ spaces

Authors: Joe Clanin, Timothy H. McNicholl, Don Stull

Abstract: We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $Ω$ is a nonzero, non-atomic, and separable measure space, then every computable presentation of $L^p(Ω)$ is computably linearly isometric to the standard computable presentation of $L^p[0,1]$; in particular, $L^p[0,1]$ is computably categori… ▽ More We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $Ω$ is a nonzero, non-atomic, and separable measure space, then every computable presentation of $L^p(Ω)$ is computably linearly isometric to the standard computable presentation of $L^p[0,1]$; in particular, $L^p[0,1]$ is computably categorical. We also show that there is a measure space $Ω$ that does not have a computable presentation even though $L^p(Ω)$ does for every computable real $p \geq 1$. △ Less

Submitted 10 April, 2018; v1 submitted 3 January, 2017; originally announced January 2017.

MSC Class: 03

The isometry degree of a computable copy of $\ell^p$

Authors: Timothy H. McNicholl, D. M. Stull

Abstract: When $p$ is a computable real so that $p \geq 1$, the isometry degree of a computable copy $\mathcal{B}$ of $\ell^p$ is defined to be the least powerful Turing degree that computes a linear isometry of $\ell^p$ onto $\mathcal{B}$. We show that this degree always exists and that when $p \neq 2$ these degrees are precisely the c.e. degrees. When $p$ is a computable real so that $p \geq 1$, the isometry degree of a computable copy $\mathcal{B}$ of $\ell^p$ is defined to be the least powerful Turing degree that computes a linear isometry of $\ell^p$ onto $\mathcal{B}$. We show that this degree always exists and that when $p \neq 2$ these degrees are precisely the c.e. degrees. △ Less

Submitted 26 April, 2019; v1 submitted 2 May, 2016; originally announced May 2016.

MSC Class: 03D78; 03D45

Algorithmic randomness and Fourier analysis

Authors: Johanna Franklin, Timothy McNicholl, Jason Rute

Abstract: Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-π, π]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f \in L^p[-π, π]$ given natural computability conditions on $f$ and $p$. Suppose $1 < p < \infty$. Carleson's Theorem states that the Fourier series of any function in $L^p[-π, π]$ converges almost everywhere. We show that the Schnorr random points are precisely those that satisfy this theorem for every $f \in L^p[-π, π]$ given natural computability conditions on $f$ and $p$. △ Less

Submitted 5 March, 2016; originally announced March 2016.

MSC Class: 03D32 (Primary) 03D78; 42A20 (Secondary)

Asymptotic density and the coarse computability bound

Authors: Denis R. Hirschfeldt, Carl G. Jockusch, Jr., Timothy H. McNicholl, Paul E. Schupp

Abstract: 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… ▽ More 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$. △ Less

Submitted 7 May, 2015; originally announced May 2015.

MSC Class: 03D28; 03D25

Computable copies of $\ell^p$

Authors: Timothy H. McNicholl

Abstract: \begin{abstract} Suppose $p$ is a computable real so that $p \geq 1$. It is shown that the halting set can compute a surjective linear isometry between any two computable copies of $\ell^p$. It is also shown that this result is optimal in that when $p \neq 2$ there are two computable copies of $\ell^p$ with the property that any oracle that computes a linear isometry of one onto the other must als… ▽ More \begin{abstract} Suppose $p$ is a computable real so that $p \geq 1$. It is shown that the halting set can compute a surjective linear isometry between any two computable copies of $\ell^p$. It is also shown that this result is optimal in that when $p \neq 2$ there are two computable copies of $\ell^p$ with the property that any oracle that computes a linear isometry of one onto the other must also compute the halting set. Thus, $\ell^p$ is $Δ_2^0$-categorical and is computably categorical if and only if $p = 2$. It is also shown that there is a computably categorical Banach space that is not a Hilbert space and that $\ell^p$ is linearly isometric to a computable Banach space if and only if $p$ is computable. These results hold in both the real and complex case. △ Less

Submitted 28 April, 2017; v1 submitted 17 April, 2015; originally announced April 2015.

Comments: Will appear in Computabilty. Errata attached January 3, 2017. Errata incorporated April, 2017

MSC Class: 03D78; 03D45; 46B25

A note on the computable categoricity of l^p spaces

Authors: Timothy H. McNicholl

Abstract: 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$. 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$. △ Less

Submitted 4 April, 2015; v1 submitted 6 December, 2014; originally announced December 2014.

MSC Class: 03D78 (Primary) 03D45 (Secondary)

Carathéodory's Theorem and moduli of local connectivity

Authors: Timothy H. McNicholl

Abstract: 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. 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. △ Less

Submitted 7 January, 2015; v1 submitted 16 August, 2014; originally announced August 2014.

MSC Class: 30

Asymptotic density and the Ershov hierarchy

Authors: Rod Downey, Carl Jockusch, Timothy H. McNicholl, Paul Schupp

Abstract: 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.\ s… ▽ More 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 ω$. △ Less

Submitted 16 August, 2014; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: To appear in Mathematical Logic Quarterly

MSC Class: 03D25; 03D78

Computing conformal maps onto circular domains

Authors: Valentin V. Andreev, Dale Daniel, Timothy H. McNicholl

Abstract: 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 map** 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… ▽ More 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 map** 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. △ Less

Submitted 24 July, 2013; originally announced July 2013.

Computing boundary extensions of conformal maps part 2

Authors: T. H. McNicholl

Abstract: It is shown that there is a computable conformal map of the unit disk onto a domain $D$ that has a computable extension to the closure of the unit disk even though the boundary of $D$ is not effectively locally connected. The proof encodes an arbitrary \emph{c.e.} set into the local connectivity of the boundary of $D$. It is shown that there is a computable conformal map of the unit disk onto a domain $D$ that has a computable extension to the closure of the unit disk even though the boundary of $D$ is not effectively locally connected. The proof encodes an arbitrary \emph{c.e.} set into the local connectivity of the boundary of $D$. △ Less

Submitted 19 March, 2014; v1 submitted 6 April, 2013; originally announced April 2013.

Comments: Formally known as `Conformal maps and domains with jagged edges'

MSC Class: 30C30; 30E10; 03D78; 03F60; 54D05

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

Authors: Timothy H. McNicholl

Abstract: 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… ▽ More 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. △ Less

Submitted 25 October, 2011; originally announced October 2011.

MSC Class: 31; 47

Journal ref: Complex Analysis and Operator Theory, vol. 7, no. 4, pp. 1311-131, 2013

Computing links and accessing arcs

Authors: Timothy H. McNicholl

Abstract: 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. 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. △ Less

Submitted 5 September, 2012; v1 submitted 25 October, 2011; originally announced October 2011.

MSC Class: 03F60; 30C20; 30C30; 30C85

Computing boundary extensions of conformal maps

Authors: Timothy H. McNicholl

Abstract: Let $φ$ be a conformal map of the unit disk onto a domain $D$, and suppose $φ$ has a boundary extension. We show that arbitrarily good approximations of the boundary extension of $φ$ can be computed from sufficiently good approximations of $φ$ and sufficient local connectivity information for the boundary of $D$. Let $φ$ be a conformal map of the unit disk onto a domain $D$, and suppose $φ$ has a boundary extension. We show that arbitrarily good approximations of the boundary extension of $φ$ can be computed from sufficiently good approximations of $φ$ and sufficient local connectivity information for the boundary of $D$. △ Less

Submitted 4 March, 2014; v1 submitted 24 October, 2011; originally announced October 2011.

Comments: Patches gap in proof of Theorem 3.3

MSC Class: 30C30; 30E10; 03D78; 03F60; 54D05

Journal ref: LMS J. Comput. Math. 17 (2014) 360-378

An effective Caratheodory Theorem

Authors: Timothy H. McNicholl

Abstract: 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. 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. △ Less

Submitted 18 July, 2011; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: To appear in Theory of Computing Systems. The final publication is available at springerlink.com

MSC Class: 03F60; 30C20; 30C30; 30C85

Journal ref: vol. 50, no. 4 (2012), pp. 579 - 588

Effective local connectivity properties

Authors: Dale Daniel, Timothy H. McNicholl

Abstract: 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. 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. △ Less

Submitted 16 September, 2011; v1 submitted 16 June, 2011; originally announced June 2011.

Comments: Final version

MSC Class: 03F60; 30D55; 54D05; 54F15

Journal ref: vol. 50, no. 4 (2012), pp. 621 - 640

The power of backtracking and the confinement of length

Authors: Timothy H. McNicholl

Abstract: 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. 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. △ Less

Submitted 16 June, 2011; originally announced June 2011.

MSC Class: 03F60; 03D32; 54D05