arXiv subjects
Publications and source records attributed to Timothy H. McNicholl.
We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.
We show that the continuous functional calculus is computable. As consequences we obtain the computable compactness of the spectrum of any computable normal element of a computably presented $\mathrm{C}^*$-algebra, the existence of effective approximate units for computably presented $\mathrm{C}^*$-algebras, and an effective version of the Spectral Theorem for compact operators on separable Hilbert spaces.
We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive limit of finite-dimensional algebras. Using this, and an analogous result for dimension groups, we show that the computable $K_0$ functor provides a computable equivalence of categories between c.e. presentations of AF algebras and c.e. presentations of unital (scaled) dimension groups, giving an effective version of Elliott's classification theorem. We use our results to determine the complexity of the index set and isomorphism problems for various classes of AF 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.
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.
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.
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.
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.
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.
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.
Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems.
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.
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.
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 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$.
\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.
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$.
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$.