-
Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch, Jr.,
Paul E. Schupp
Abstract:
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $δ$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting $δ([A],[B])$ be the upper density of the symmetric difference of $A$ and $B$. We study the resulting metric space, showing in particular that between any two distinct poi…
▽ More
The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $δ$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting $δ([A],[B])$ be the upper density of the symmetric difference of $A$ and $B$. We study the resulting metric space, showing in particular that between any two distinct points there are continuum many geodesic paths. We also study subspaces of the form $\{[A] : A \in \mathcal U\}$ where $\mathcal U$ is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of $\mathcal U$.
We then define a distance between Turing degrees based on Hausdorff distance in this metric space. We adapt a proof of Monin to show that the distances between degrees that occur are exactly 0, 1/2, and 1, and study which of these values occur most frequently in the senses of measure and category. We define a degree to be attractive if the class of all degrees at distance 1/2 from it has measure 1, and dispersive otherwise. We study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition.
We also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually 1-random, as well as a perfect set whose elements are mutually 1-generic.
Finally, we study the completeness of $(\mathcal S,δ)$ from the perspectives of computability theory and reverse mathematics.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Dense computability, upper cones, and minimal pairs
Authors:
Eric P. Astor,
Denis R. Hirschfeldt,
Carl G. Jockusch Jr
Abstract:
This paper concerns algorithms that give correct answers with (asymptotic) density $1$. A dense description of a function $g : ω\to ω$ is a partial function $f$ on $ω$ such that $\left\{n : f(n) = g(n)\right\}$ has density $1$. We define $g$ to be densely computable if it has a partial computable dense description $f$. Several previous authors have studied the stronger notions of generic computabi…
▽ More
This paper concerns algorithms that give correct answers with (asymptotic) density $1$. A dense description of a function $g : ω\to ω$ is a partial function $f$ on $ω$ such that $\left\{n : f(n) = g(n)\right\}$ has density $1$. We define $g$ to be densely computable if it has a partial computable dense description $f$. Several previous authors have studied the stronger notions of generic computability and coarse computability, which correspond respectively to requiring in addition that $g$ and $f$ agree on the domain of $f$, and to requiring that $f$ be total. Strengthening these two notions, call a function $g$ effectively densely computable if it has a partial computable dense description $f$ such that the domain of $f$ is a computable set and $f$ and $g$ agree on the domain of $f$. We compare these notions as well as asymptotic approximations to them that require for each $ε> 0$ the existence of an appropriate description that is correct on a set of lower density of at least $1 - ε$. We determine which implications hold among these various notions of approximate computability and show that any Boolean combination of these notions is satisfied by a c.e. set unless it is ruled out by these implications. We define reducibilities corresponding to dense and effectively dense reducibility and show that their uniform and nonuniform versions are different. We show that there are natural embeddings of the Turing degrees into the corresponding degree structures, and that these embeddings are not surjective and indeed that sufficiently random sets have quasiminimal degree. We show that nontrivial upper cones in the generic, dense, and effective dense degrees are of measure $0$ and use this fact to show that there are minimal pairs in the dense degrees.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
The reverse mathematics of Hindman's theorem for sums of exactly two elements
Authors:
Barbara F. Csima,
Damir D. Dzhafarov,
Denis R. Hirschfeldt,
Carl G. Jockusch, Jr.,
Reed Solomon,
Linda Brown Westrick
Abstract:
Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particul…
▽ More
Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particular, HT$^{\leqslant n}_k$ is the restriction of HT to sums of at most $n$ many elements, with at most $k$ colors allowed, and HT$^{=n}_k$ is the restriction of HT to sums of \emph{exactly} $n$ many elements and $k$ colors. Even HT$^{\leqslant 2}_2$ appears to be a strong principle, and may even imply HT itself over RCA$_0$. In contrast, HT$^{=2}_2$ is known to be strictly weaker than HT over RCA$_0$, since HT$^{=2}_2$ follows immediately from Ramsey's Theorem for $2$-colorings of pairs. In fact, it was open for several years whether HT$^{=2}_2$ is computably true.
We show that HT$^{=2}_2$ and similar results with addition replaced by subtraction and other operations are not provable in RCA$_0$, or even WKL$_0$. In fact, we show that there is a computable instance of HT$^{=2}_2$ such that all solutions can compute a function that is diagonally noncomputable relative to $\emptyset'$. It follows that there is a computable instance of HT$^{=2}_2$ with no $Σ^0_2$ solution, which is the best possible result with respect to the arithmetical hierarchy. Furthermore, a careful analysis of the proof of the result above about solutions DNC relative to $\emptyset'$ shows that HT$^{=2}_2$ implies RRT$^{=2}_2$, the Rainbow Ramsey Theorem for $2$-colorings of pairs, over RCA$_0$. The most interesting aspect of our construction of computable colorings as above is the use of an effective version of the Lovász Local Lemma due to Rumyantsev and Shen.
△ Less
Submitted 28 May, 2018; v1 submitted 25 April, 2018;
originally announced April 2018.
-
Asymptotic Density and the Theory of Computability: A partial survey
Authors:
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
In this article we survey the development of generic and coarse computability and the main results on how classical asymptotic density interacts with the theory of computability.
In this article we survey the development of generic and coarse computability and the main results on how classical asymptotic density interacts with the theory of computability.
△ Less
Submitted 20 October, 2016;
originally announced October 2016.
-
Effectiveness of Hindman's theorem for bounded sums
Authors:
Damir D. Dzhafarov,
Carl G. Jockusch, Jr.,
Reed Solomon,
Linda Brown Westrick
Abstract:
We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and…
▽ More
We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$.
△ Less
Submitted 27 March, 2016;
originally announced March 2016.
-
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.
-
Coarse Reducibility and Algorithmic Randomness
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch Jr.,
Rutger Kuyper,
Paul E. Schupp
Abstract:
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse descrip…
▽ More
A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse description D of A, then B is K-trivial, which implies that if A is in fact weakly 2-random then B is computable. Our main tool is a kind of compactness theorem for cone-avoiding descriptions, which also allows us to prove the same result for 1-genericity in place of weak 2-randomness. In the other direction, we show that if A is a 1-random set which Turing-reduces to 0', then there is a noncomputable c.e. set computable from every coarse description of A, but that not all K-trivial sets are computable from every coarse description of some 1-random set. We study both uniform and nonuniform notions of coarse reducibility. A set Y is uniformly coarsely reducible to X if there is a Turing functional Phi such that if D is a coarse description of X, then Phi^D is a coarse description of Y. A set B is nonuniformly coarsely reducible to A if every coarse description of A computes a coarse description of B. We show that a certain natural embedding of the Turing degrees into the coarse degrees (both uniform and nonuniform) is not surjective. We also show that if two sets are mutually weakly 3-random, then their coarse degrees form a minimal pair, in both the uniform and nonuniform cases, but that the same is not true of every pair of relatively 2-random sets, at least in the nonuniform coarse degrees.
△ Less
Submitted 7 May, 2015;
originally announced May 2015.
-
The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
Authors:
Denis R. Hirschfeldt,
Carl G. Jockusch,
Bjørn Kjos-Hanssen,
Steffen Lempp,
Theodore A. Slaman
Abstract:
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of t…
▽ More
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT$^2_2$ implies DNR over RCA$_0$ but COH does not, and answer a question of Mileti by showing that every computable stable $2$-coloring of pairs has an incomplete $Δ^0_2$ infinite homogeneous set. We also give some extensions of the latter result, and relate it to potential approaches to showing that SRT$^2_2$ does not imply RT$^2_2$.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Asymptotic Density and Computably Enumerable Sets
Authors:
Rodney G. Downey,
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural characterization of non-low c.e. degrees. In contrast, we prove that every nonzero c.e. degree contains a set which is generically computable but not coarsely compu…
▽ More
We study connections between classical asymptotic density and c.e. sets. We prove that a c.e. Turing degree d is not low if and only if d contains a c.e. set A of density 1 which has no computable subsets of density 1, giving a natural characterization of non-low c.e. degrees. In contrast, we prove that every nonzero c.e. degree contains a set which is generically computable but not coarsely computable. There is a very close connection between the computational complexity of a set and the computational complexity of its density as a real number where we measure complexity of real numbers as the position of their left Dedekind cuts in the Arithmetic Hierarchy. We characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study "computable at density r" where r is an arbitrary real number in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity and cohesiveness.
△ Less
Submitted 28 June, 2013;
originally announced July 2013.
-
-Generic Computability, Turing Reducibility and Asymptotic Density
Authors:
Carl G. Jockusch Jr.,
Paul E. Schupp
Abstract:
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has density 1 and which agrees with the characteristic function of A on its domain. A set A is coarsely computable if there is a computable set C such that the symme…
▽ More
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has density 1 and which agrees with the characteristic function of A on its domain. A set A is coarsely computable if there is a computable set C such that the symmetric difference of A and C has density 0. We prove that there is a c.e. set which is generically computable but not coarsely computable and vice versa. We show that every nonzero Turing degree contains a set which is not coarsely computable. We prove that there is a c.e. set of density 1 which has no computable subset of density 1. As a corollary, there is a generically computable set A such that no generic algorithm for A has computable domain. We define a general notion of generic reducibility in the spirt of Turing reducibility and show that there is a natural order-preserving embedding of the Turing degrees into the generic degrees which is not surjective.
△ Less
Submitted 25 October, 2010;
originally announced October 2010.