A Unifying Approach to the Gamma Question

Abstract : The Gamma question was formulated by Andrews et al. in " Asymptotic density, computable traceability and 1-randomness " (2013, available at http://www.math.wisc.edu/ ∼ lempp/papers/traceable.pdf). It is related to the recent notion of coarse computability which stems from complexity theory. The Gamma value of an oracle set measures to what extent each set computable with the oracle is approximable in the sense of density by a computable set. The closer to 1 this value is, the closer the oracle is to being computable. The Gamma question asks whether this value can be strictly in between 0 and 1/2. We say that an oracle is weakly Schnorr engulfing if it computes a Schnorr test that succeeds on all computable reals. We show that each non weakly Schnorr engulfing oracle has a Gamma value of at least 1/2. Together with a recent result of Kjos-Hanssen, Stephan, and Terwijn, this establishes new examples of such oracles. We also give a unifying approach to oracles with Gamma value 0. We say that an oracle is infinitely often equal with bound h if it computes a function that agrees infinitely often with each computable function bounded by h. We show that every oracle which is infinitely equal with bound 2^d^n for d > 1, has a Gamma value of 0. This provides new examples of such oracles as well. We present a combinatorial characterization of being weakly Schnorr engulfing via traces, which is inspired by the study of cardinal characteristics in set theory.
Type de document :
Communication dans un congrès
LICS 2015, Jul 2015, KYOTO, Japan. 00, pp.585 - 596, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. 〈10.1109/LICS.2015.60〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01397264
Contributeur : Benoit Monin <>
Soumis le : jeudi 17 novembre 2016 - 15:18:52
Dernière modification le : samedi 19 novembre 2016 - 01:08:56
Document(s) archivé(s) le : jeudi 16 mars 2017 - 18:07:48

Fichier

gamma_paper_lics.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Benoit Monin, André Nies. A Unifying Approach to the Gamma Question. LICS 2015, Jul 2015, KYOTO, Japan. 00, pp.585 - 596, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. 〈10.1109/LICS.2015.60〉. 〈hal-01397264〉

Partager

Métriques

Consultations de la notice

72

Téléchargements de fichiers

36