-
A jump operator on the Weihrauch degrees
Authors:
Uri Andrews,
Steffen Lempp,
Alberto Marcone,
Joseph S. Miller,
Manlio Valenti
Abstract:
A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We…
▽ More
A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We answer this question positively and provide an explicit definition for an operator on partial multi-valued functions that, when lifted to the Weihrauch degrees, induces a jump operator. This new operator, called the totalizing jump, can be characterized in terms of the total continuation, a well-known operator on computational problems. The totalizing jump induces an injective endomorphism of the Weihrauch degrees. We study some algebraic properties of the totalizing jump and characterize its behavior on some pivotal problems in the Weihrauch lattice.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Minimal covers in the Weihrauch degrees
Authors:
Steffen Lempp,
Joseph S. Miller,
Arno Pauly,
Mariya I. Soskova,
Manlio Valenti
Abstract:
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ i…
▽ More
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem $f$ is a minimal cover or strong minimal cover of a problem $h$. We show that strong minimal covers only exist in the cone below $\mathsf{id}$ and that the Weihrauch lattice above $\mathsf{id}$ is dense. From this, we conclude that the degree of $\mathsf{id}$ is first-order definable in the Weihrauch degrees and that the first-order theory of the Weihrauch degrees is computably isomorphic to third-order arithmetic.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Redundancy of information: lowering dimension
Authors:
Jun Le Goh,
Joseph S. Miller,
Mariya I. Soskova,
Linda Westrick
Abstract:
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, measured using the Besicovitch pseudometric. We also identify classes of sequences for which these infima and suprema are realized as minima and maxima. When t < s, we find d(X,At) is minimized when X is a Bernoulli p-rand…
▽ More
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, measured using the Besicovitch pseudometric. We also identify classes of sequences for which these infima and suprema are realized as minima and maxima. When t < s, we find d(X,At) is minimized when X is a Bernoulli p-random, where H(p)=s, and maximized when X belongs to a class of infinite sequences that we call s-codewords. When s < t, the situation is reversed.
△ Less
Submitted 6 August, 2023; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Maximal towers and ultrafilter bases in computability
Authors:
Steffen Lempp,
Joseph S. Miller,
Andre Nies,
Mariya Soskova
Abstract:
The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory.
We show that the mass problem of ultrafilter bases is equiv…
▽ More
The tower number $\mathfrak t$ and the ultrafilter number $\mathfrak u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subsets of~$ω$ and the almost inclusion relation $\subseteq^*$ between such subsets. We consider analogs of these cardinal characteristics in computability theory.
We show that the mass problem of ultrafilter bases is equivalent to the mass problem of computing a function that dominates all computable functions, and hence, by Martin's characterization, it captures highness. On the other hand, the mass problem for maximal towers is below the mass problem of computing a non-low set. We also show that some, but not all, noncomputable low sets compute maximal towers: Every noncomputable (low) c.e.\ set computes a maximal tower but no 1-generic $Δ^0_2$-set does so.
We finally consider the mass problems of maximal almost disjoint, and of maximal independent families. We show that they are Medvedev equivalent to maximal towers, and to ultrafilter bases, respectively.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Highness properties close to PA-completeness
Authors:
Noam Greenberg,
Joseph S. Miller,
Andre Nies
Abstract:
Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that, depending on the type of object, the resulting highness property is either close to, or equivalent to being PA-complete. We examine, for example, dominating a c.e…
▽ More
Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that, depending on the type of object, the resulting highness property is either close to, or equivalent to being PA-complete. We examine, for example, dominating a c.e. martingale by an oracle-computable martingale, computing compressions functions for two variants of Kolmogorov complexity, and computing subtrees of positive measure of a given $Π^0_1$ tree of positive measure without dead ends. We prove a separation result from PA-completeness for the latter property, called the \emph{continuous covering property}. We also separate the corresponding principles in reverse mathematics.
△ Less
Submitted 6 December, 2019;
originally announced December 2019.
-
Martin-Löf reducibility and cost functions
Authors:
Noam Greenberg,
Joseph S. Miller,
Andre Nies,
Daniel Turetsky
Abstract:
Martin-Löf (ML)-reducibility compares $K$-trivial sets by examining the Martin-Löf random sequences that compute them. We show that every $K$-trivial set is computable from a c.e.\ set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets used to c…
▽ More
Martin-Löf (ML)-reducibility compares $K$-trivial sets by examining the Martin-Löf random sequences that compute them. We show that every $K$-trivial set is computable from a c.e.\ set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets used to capture ML-random sequences. We show that for every cost function there is a c.e.\ set ML-above the sets obeying it (called an ML-complete set for the cost function). We characterise the $K$-trivial sets computable from a fragment of the left-c.e.\ random real~$Ω$. This leads to a new characterisation of strong jump-traceability.
△ Less
Submitted 10 February, 2022; v1 submitted 2 July, 2017;
originally announced July 2017.
-
Computing from projections of random points: a dense hierarchy of subideals of the $K$-trivial degrees
Authors:
Noam Greenberg,
Joseph S. Miller,
Andre Nies
Abstract:
We study the sets that are computable from both halves of some (Martin-Löf) random sequence, which we call \emph{$1/2$-bases}. We show that the collection of such sets forms an ideal in the Turing degrees that is generated by its c.e.\ elements. It is a proper subideal of the $K$-trivial sets. We characterise $1/2$-bases as the sets computable from both halves of Chaitin's $Ω$, and as the sets tha…
▽ More
We study the sets that are computable from both halves of some (Martin-Löf) random sequence, which we call \emph{$1/2$-bases}. We show that the collection of such sets forms an ideal in the Turing degrees that is generated by its c.e.\ elements. It is a proper subideal of the $K$-trivial sets. We characterise $1/2$-bases as the sets computable from both halves of Chaitin's $Ω$, and as the sets that obey the cost function $\mathbf c(x,s) = \sqrt{Ω_s - Ω_x}$.
Generalising these results yields a dense hierarchy of subideals in the $K$-trivial degrees: For $k< n$, let $B_{k/n}$ be the collection of sets that are below any $k$ out of $n$ columns of some random sequence. As before, this is an ideal generated by its c.e.\ elements and the random sequence in the definition can always be taken to be $Ω$. Furthermore, the corresponding cost function characterisation reveals that $B_{k/n}$ is independent of the particular representation of the rational $k/n$, and that $B_p$ is properly contained in $B_q$ for rational numbers $p< q$. These results are proved using a generalisation of the Loomis--Whitney inequality, which bounds the measure of an open set in terms of the measures of its projections. The generality allows us to analyse arbitrary families of orthogonal projections. As it turns out, these do not give us new subideals of the $K$-trivial sets, we can calculate from the family which $B_p$ it characterises.
We finish by showing that the the union of $B_p$ for $p<1$ is the collection of sets which are robustly computable from a random, a class previously studied by Hirschfeldt, Jockusch, Kuyper, and Schupp.
△ Less
Submitted 26 March, 2019; v1 submitted 2 July, 2017;
originally announced July 2017.
-
Energy randomness
Authors:
Joseph S. Miller,
Jason Rute
Abstract:
Energy randomness is a notion of partial randomness introduced by Diamondstone and Kjos-Hanssen to characterize the sequences that can be elements of a Martin-Löf random closed set (in the sense of Barmpalias, Brodhead, Cenzer, Dashti, and Weber). It has also been applied by Allen, Bienvenu, and Slaman to the characterization of the possible zero times of a Martin-Löf random Brownian motion. In th…
▽ More
Energy randomness is a notion of partial randomness introduced by Diamondstone and Kjos-Hanssen to characterize the sequences that can be elements of a Martin-Löf random closed set (in the sense of Barmpalias, Brodhead, Cenzer, Dashti, and Weber). It has also been applied by Allen, Bienvenu, and Slaman to the characterization of the possible zero times of a Martin-Löf random Brownian motion. In this paper, we show that $X \in 2^ω$ is $s$-energy random if and only if $\sum_{n\inω} 2^{sn - KM(X\upharpoonright n)} < \infty$, providing a characterization of energy randomness via a priori complexity $KM$. This is related to a question of Allen, Bienvenu, and Slaman.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Forcing with Bushy Trees
Authors:
Mushfeq Khan,
Joseph S. Miller
Abstract:
We present several results that rely on arguments involving the combinatorics of "bushy trees". These include the fact that there are arbitrarily slow-growing diagonally noncomputable (DNC) functions that compute no Kurtz random real, as well as an extension of a result of Kumabe in which we establish that there are DNC functions relative to arbitrary oracles that are of minimal Turing degree. Alo…
▽ More
We present several results that rely on arguments involving the combinatorics of "bushy trees". These include the fact that there are arbitrarily slow-growing diagonally noncomputable (DNC) functions that compute no Kurtz random real, as well as an extension of a result of Kumabe in which we establish that there are DNC functions relative to arbitrary oracles that are of minimal Turing degree. Along the way, we survey some of the existing instances of bushy tree arguments in the literature.
△ Less
Submitted 20 March, 2017; v1 submitted 30 March, 2015;
originally announced March 2015.
-
Lowness notions, measure and domination
Authors:
Bjørn Kjos-Hanssen,
Joseph S. Miller,
Reed Solomon
Abstract:
We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL$_0$ (but not in RCA$_0$) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also allows us to prove that low for weak $2$-randomness is the same as low for Martin-Löf randomness (a res…
▽ More
We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL$_0$ (but not in RCA$_0$) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also allows us to prove that low for weak $2$-randomness is the same as low for Martin-Löf randomness (a result independently obtained by Nies). Using the same technique, we show that $\leq_{LR}$ implies $\leq_{LK}$, generalizing the fact that low for Martin-Löf randomness implies low for $K$.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Denjoy, Demuth, and Density
Authors:
Laurent Bienvenu,
Rupert Hölzl,
Joseph S. Miller,
Andre Nies
Abstract:
We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy-Young-Saks theorem. For the first, we show that a Martin-Loef random real $z\in [0,1]$ is Turing incomplete if and only if every effectively closed class $C \subseteq [0,1]$ containing $z$ has positive density at $z$. Under the stronger assumption that $z$ is not LR-hard, we show that $z$ has dens…
▽ More
We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy-Young-Saks theorem. For the first, we show that a Martin-Loef random real $z\in [0,1]$ is Turing incomplete if and only if every effectively closed class $C \subseteq [0,1]$ containing $z$ has positive density at $z$. Under the stronger assumption that $z$ is not LR-hard, we show that $z$ has density-one in every such class. These results have since been applied to solve two open problems on the interaction between the Turing degrees of Martin-Loef random reals and $K$-trivial sets: the non-cupping and covering problems.
We say that $f\colon[0,1]\to\mathbb{R}$ satisfies the Denjoy alternative at $z \in [0,1]$ if either the derivative $f'(z)$ exists, or the upper and lower derivatives at $z$ are $+\infty$ and $-\infty$, respectively. The Denjoy-Young-Saks theorem states that every function $f\colon[0,1]\to\mathbb{R}$ satisfies the Denjoy alternative at almost every $z\in[0,1]$. We answer a question posed by Kucera in 2004 by showing that a real $z$ is computably random if and only if every computable function $f$ satisfies the Denjoy alternative at $z$.
For Markov computable functions, which are only defined on computable reals, we can formulate the Denjoy alternative using pseudo-derivatives. Call a real $z$ DA-random if every Markov computable function satisfies the Denjoy alternative at $z$. We considerably strengthen a result of Demuth (Comment. Math. Univ. Carolin., 24(3):391--406, 1983) by showing that every Turing incomplete Martin-Loef random real is DA-random. The proof involves the notion of non-porosity, a variant of density, which is the bridge between the two themes of this paper. We finish by showing that DA-randomness is incomparable with Martin-Loef randomness.
△ Less
Submitted 7 February, 2014; v1 submitted 29 August, 2013;
originally announced August 2013.
-
Computing K-Trivial Sets by Incomplete Random Sets
Authors:
Laurent Bienvenu,
Adam R. Day,
Noam Greenberg,
Antonín Kučera,
Joseph S. Miller,
André Nies,
Dan Turetsky
Abstract:
Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'.
Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'.
△ Less
Submitted 23 May, 2013;
originally announced May 2013.
-
Density, forcing, and the covering problem
Authors:
Adam R. Day,
Joseph S. Miller
Abstract:
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set.
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
Randomness and lowness notions via open covers
Authors:
Laurent Bienvenu,
Joseph S. Miller
Abstract:
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., R^A = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S, where S is weaker: for which A is S^A still weaker than R? In the last few years, many results h…
▽ More
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., R^A = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S, where S is weaker: for which A is S^A still weaker than R? In the last few years, many results have characterized the sequences that are low for randomness by their low computational strength. A few results have also given measure-theoretic characterizations of low sequences. For example, Kjos-Hanssen proved that A is low for Martin-Löf randomness if and only if every A-c.e. open set of measure less than 1 can be covered by a c.e. open set of measure less than 1. In this paper, we give a series of results showing that a wide variety of lowness notions can be expressed in a similar way, i.e., via the ability to cover open sets of a certain type by open sets of some other type. This provides a unified framework that clarifies the study of lowness for randomness notions, and allows us to give simple proofs of a number of known results. We also use this framework to prove new results, including showing that the classes Low(MLR;SR) and Low(W2R;SR) coincide, answering a question of Nies. Other applications include characterizations of highness notions, a broadly applicable explanation for why low for randomness is the same as low for tests, and a simple proof that Low(W2R;S)=Low(MLR;S), where S is the class of Martin-Löf, computable, or Schnorr random sequences. The final section gives characterizations of lowness notions using summable functions and convergent measure machines instead of open covers. We finish with a simple proof of a result of Nies, that Low(MLR) = Low(MLR; CR).
△ Less
Submitted 20 March, 2013;
originally announced March 2013.
-
Connected Choice and the Brouwer Fixed Point Theorem
Authors:
Vasco Brattka,
Stéphane Le Roux,
Joseph S. Miller,
Arno Pauly
Abstract:
We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results is that for any fixed dimension the Brouwer Fixed Point Theorem of that dimension is computably equivalent to connected choice of the Euclidean unit cube of the…
▽ More
We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed set given by negative information. One of our main results is that for any fixed dimension the Brouwer Fixed Point Theorem of that dimension is computably equivalent to connected choice of the Euclidean unit cube of the same dimension. Another main result is that connected choice is complete for dimension greater than or equal to two in the sense that it is computably equivalent to Weak Kőnig's Lemma. While we can present two independent proofs for dimension three and upwards that are either based on a simple geometric construction or a combinatorial argument, the proof for dimension two is based on a more involved inverse limit construction. The connected choice operation in dimension one is known to be equivalent to the Intermediate Value Theorem; we prove that this problem is not idempotent in contrast to the case of dimension two and upwards. We also prove that Lipschitz continuity with Lipschitz constants strictly larger than one does not simplify finding fixed points. Finally, we prove that finding a connectedness component of a closed subset of the Euclidean unit cube of any dimension greater or equal to one is equivalent to Weak Kőnig's Lemma. In order to describe these results, we introduce a representation of closed subsets of the unit cube by trees of rational complexes.
△ Less
Submitted 9 November, 2018; v1 submitted 21 June, 2012;
originally announced June 2012.
-
Cupping with random sets
Authors:
Adam R. Day,
Joseph S. Miller
Abstract:
We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions.
We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Randomness and Differentiability
Authors:
Vasco Brattka,
Joseph S. Miller,
André Nies
Abstract:
We characterize some major algorithmic randomness notions via differentiability of effective functions.
(1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function [0,1]->R is differentiable at z.
(2) We prove that a real number z in [0,1] is weakly 2-random if and only if each almost everywhere differentiable computab…
▽ More
We characterize some major algorithmic randomness notions via differentiability of effective functions.
(1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function [0,1]->R is differentiable at z.
(2) We prove that a real number z in [0,1] is weakly 2-random if and only if each almost everywhere differentiable computable function [0,1]->R is differentiable at z.
(3) Recasting in classical language results dating from 1975 of the constructivist Demuth, we show that a real z is ML random if and only if every computable function of bounded variation is differentiable at z, and similarly for absolutely continuous functions.
We also use our analytic methods to show that computable randomness of a real is base invariant, and to derive other preservation results for randomness notions.
△ Less
Submitted 7 April, 2014; v1 submitted 22 April, 2011;
originally announced April 2011.