English

Asymptotic density and the coarse computability bound

Logic 2015-05-11 v1

Abstract

For r[0,1]r \in [0,1] we say that a set AωA \subseteq \omega is \emph{coarsely computable at density} rr if there is a computable set CC such that {n:C(n)=A(n)}\{n : C(n) = A(n)\} has lower density at least rr. Let γ(A)=sup{r:A is coarsely computable at density r}\gamma(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(0,1]r \in (0,1] there are sets A0,A1A_0, A_1 such that γ(A0)=γ(A1)=r\gamma(A_0) = \gamma(A_1) = r where A0A_0 is coarsely computable at density rr while A1A_1 is not coarsely computable at density rr. We show that a real r[0,1]r \in [0,1] is equal to γ(A)\gamma(A) for some c.e.\ set AA if and only if rr is left-Σ30\Sigma^0_3. A surprising result is that if GG is a Δ20\Delta^0_2 11-generic set, and ATGA \leq\sub{T} G with γ(A)=1\gamma(A) = 1, then AA is coarsely computable at density 11.

Keywords

Cite

@article{arxiv.1505.01901,
  title  = {Asymptotic density and the coarse computability bound},
  author = {Denis R. Hirschfeldt and Carl G. Jockusch, and Timothy H. McNicholl and Paul E. Schupp},
  journal= {arXiv preprint arXiv:1505.01901},
  year   = {2015}
}
R2 v1 2026-06-22T09:30:08.358Z