
TL;DR
This paper improves conditions for the existence of minimal degree diagonally non-recursive functions related to order functions and answers a question about the existence of a specific type of weakly meager covering real with particular computational properties.
Contribution
It refines the conditions under which minimal degree DNR functions exist and constructs a real with specific non-computability and covering properties, answering an open question.
Findings
Reduced the factor in the tree thinning argument from 2^j to j.
Established existence of DNR_h of minimal degree under weaker growth conditions.
Constructed a real that is weakly meager covering, does not compute Schnorr random reals, and does not Schnorr cover REC.
Abstract
Khan and Miller proved that for every computable non decreasing unbounded function (henceforth order function), if is sufficiently large, then there exists a that is of minimal degree. Where has to satisfy for all . Their core argument is that we can thin the tree by a factor of to make Turing functional split. We improve their result by reducing this factor to . Thus we show that for every order function with for all , there exists a of minimal degree. We answer a question of Brendle, Brooke-Taylor, Ng and Nies by showing that there exists a such that is weakly meager covering, does not compute any Schnorr random real and does not Schnorr cover REC.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · semigroups and automata theory · Machine Learning and Algorithms
