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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [23 references]  Display  Hide  Download

Contributor : Benoit Monin <>
Submitted on : Thursday, November 17, 2016 - 3:18:52 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM
Document(s) archivé(s) le : Thursday, March 16, 2017 - 6:07:48 PM


Files produced by the author(s)




Benoit Monin, André Nies. A Unifying Approach to the Gamma Question. LICS 2015, Jul 2015, KYOTO, Japan. pp.585 - 596, ⟨10.1109/LICS.2015.60⟩. ⟨hal-01397264⟩



Record views


Files downloads