Searcharxiv⌕ Search

arXiv subjects

Joseph S. Miller

Publications and source records attributed to Joseph S. Miller.

18 recordsLinked to original sources
arXiv2026

Listing the hyperarithmetical functions

Given a countable Turing ideal $\mathcal{I} \subseteq ω^ω$, we say that $x$ is a list (resp. weak list) of $\mathcal{I}$ if $\mathcal{I}=\{x^{[n]} : n \in ω\}$ (resp. if $\mathcal{I} \subseteq \{x^{[n]} :n \in ω\}$). We show that, for several natural ideals $\mathcal{I}$, $x$ computes a list of $\mathcal{I}$ if and only if it computes a function dominating all the functions in $\mathcal{I}$. On the other hand, we provide reals which are $\mathsf{HYP}$-strongly null engulfing (and hence $\mathsf{HYP}$-dominating, by results of Greenberg, Kuyper and Turetsky) but which cannot compute a weak list for $\mathsf{HYP}$, solving a problem left open in a recent paper by Greenberg and the second author. This result can be generalized to any countable ideal which is downward closed under $\leq_{\mathsf{HYP}}$. We also give a characterization of reals which compute a list of $\mathsf{HYP}$: $x$ computes a list of $\mathsf{HYP}$ if and only if $x$ is $\mathsf{HYP}$-dominating and $\mathcal{O}$ is $Σ^0_2(x)$.

math.LO↗
arXiv2024

A jump operator on the Weihrauch degrees

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.

math.LO↗
arXiv2024

Maximal towers and ultrafilter bases in computability

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.

math.LO↗
arXiv2023

Minimal covers in the Weihrauch degrees

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.

math.LO↗
arXiv2023

Redundancy of information: lowering dimension

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.

math.LO↗
arXiv2022

Martin-Löf reducibility and cost functions

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.

math.LO↗
arXiv2019

Highness properties close to PA-completeness

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.

math.LO↗
arXiv2019

Computing from projections of random points: a dense hierarchy of subideals of the $K$-trivial degrees

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.

math.LO↗
arXiv2018

Connected Choice and the Brouwer Fixed Point Theorem

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.

math.LO↗
arXiv2017

Forcing with Bushy Trees

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.

math.LO↗
arXiv2015

Energy randomness

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.

math.LO↗
arXiv2014

Lowness notions, measure and domination

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$.

math.LO↗
arXiv2014

Randomness and Differentiability

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.

math.LO↗
arXiv2014

Denjoy, Demuth, and Density

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.

math.LO↗
arXiv2013

Density, forcing, and the covering problem

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.

math.LO↗
arXiv2013

Randomness and lowness notions via open covers

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).

math.LO↗
arXiv2012

Cupping with random sets

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.

math.LO↗