-
The computational content of multidimensional discontinuity
Authors:
Rupert Hölzl,
Keng Meng Ng
Abstract:
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from…
▽ More
The Weihrauch degrees are a tool to gauge the computational difficulty of mathematical problems. Often, what makes these problems hard is their discontinuity. We look at discontinuity in its purest form, that is, at otherwise constant functions that make a single discontinuous step along each dimension of their underlying space. This is an extension of previous work of Kihara, Pauly, Westrick from a single dimension to multiple dimensions. Among other results, we obtain strict hierarchies in the Weihrauch degrees, one of which orders mathematical problems by the richness of the truth-tables determining how discontinuous steps influence the output.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Randomness versus superspeedability
Authors:
Rupert Hölzl,
Philip Janicki,
Wolfgang Merkle,
Frank Stephan
Abstract:
Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. T…
▽ More
Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. This new type of benign left-approximations of numbers then integrates itself into a hierarchy of other such notions studied in a growing body of recent work. We add a new perspective to this study by juxtaposing this hierachy with the well-studied hierachy of algorithmic randomness notions.
△ Less
Submitted 28 June, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Benign approximations and non-speedability
Authors:
Rupert Hölzl,
Philip Janicki
Abstract:
A left-computable number $x$ is called regainingly approximable if there is a computable increasing sequence $(x_n)_n$ of rational numbers converging to $x$ such that $x - x_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$; and it is called nearly computable if there is such an $(x_n)_n$ such that for every computable increasing function $s \colon \mathbb{N} \to \mathbb{N}$ the sequence…
▽ More
A left-computable number $x$ is called regainingly approximable if there is a computable increasing sequence $(x_n)_n$ of rational numbers converging to $x$ such that $x - x_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$; and it is called nearly computable if there is such an $(x_n)_n$ such that for every computable increasing function $s \colon \mathbb{N} \to \mathbb{N}$ the sequence ${(x_{s(n+1)} - x_{s(n)})_n}$ converges computably to 0. In this article we study the relationship between both concepts by constructing on the one hand a non-computable number that is both regainingly approximable and nearly computable, and on the other hand a left-computable number that is nearly computable but not regainingly approximable; it then easily follows that the two notions are incomparable with non-trivial intersection. With this relationship clarified, we then hold the keys to answering an open question of Merkle and Titov: they studied speedable numbers, that is, left-computable numbers whose approximations can be sped up in a certain sense, and asked whether, among the left-computable numbers, being Martin-Löf random is equivalent to being non-speedable. As we show that the concepts of speedable and regainingly approximable numbers are equivalent within the nearly computable numbers, our second construction provides a negative answer.
△ Less
Submitted 15 April, 2024; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Regainingly approximable numbers and sets
Authors:
Peter Hertling,
Rupert Hölzl,
Philip Janicki
Abstract:
We call an $α\in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $α$ with $α- a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We also call a set $A\subseteq\mathbb{N}$ regainingly approximable if it is c.e. and the strongly left-computable number $2^{-A}$ is regainingly approximable. We show that the set of…
▽ More
We call an $α\in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $α$ with $α- a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We also call a set $A\subseteq\mathbb{N}$ regainingly approximable if it is c.e. and the strongly left-computable number $2^{-A}$ is regainingly approximable. We show that the set of regainingly approximable sets is neither closed under union nor intersection and that every c.e. Turing degree contains such a set. Furthermore, the regainingly approximable numbers lie properly between the computable and the left-computable numbers and are not closed under addition. While regainingly approximable numbers are easily seen to be i.o. $K$-trivial, we construct such an $α$ such that ${K(α\restriction n)>n}$ for infinitely many $n$. Similarly, there exist regainingly approximable sets whose initial segment complexity infinitely often reaches the maximum possible for c.e. sets. Finally, there is a uniform algorithm splitting regular real numbers into two regainingly approximable numbers that are still regular.
△ Less
Submitted 1 February, 2024; v1 submitted 9 January, 2023;
originally announced January 2023.
-
Computable classifications of continuous, transducer, and regular functions
Authors:
Johanna N. Y. Franklin,
Rupert Hölzl,
Alexander Melnikov,
Keng Meng Ng,
Daniel Turetsky
Abstract:
We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise line…
▽ More
We develop a systematic algorithmic framework that unites global and local classification problems for functional separable spaces and apply it to attack classification problems concerning the Banach space C[0,1] of real-valued continuous functions on the unit interval. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear, pointwise linear-time Lipshitz functions is $Σ^0_2$-complete. We show that a function $f\colon [0,1] \rightarrow \mathbb{R}$ is (binary) transducer if and only if it is continuous regular; interestingly, this peculiar and nontrivial fact was overlooked by experts in automata theory. As one of many consequences, our $Σ^0_2$-completeness result covers the class of transducer functions as well. Finally, we show that the Banach space $C[0,1]$ of real-valued continuous functions admits an arithmetical classification among separable Banach spaces. Our proofs combine methods of abstract computability theory, automata theory, and functional analysis.
△ Less
Submitted 2 October, 2022; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Degrees of Randomized Computability
Authors:
Rupert Hölzl,
Christopher P. Porter
Abstract:
In this survey we discuss work of Levin and V'yugin on collections of sequences that are non-negligible in the sense that they can be computed by a probabilistic algorithm with positive probability. More precisely, Levin and V'yugin introduced an ordering on collections of sequences that are closed under Turing equivalence. Roughly speaking, given two such collections $\mathcal{A}$ and…
▽ More
In this survey we discuss work of Levin and V'yugin on collections of sequences that are non-negligible in the sense that they can be computed by a probabilistic algorithm with positive probability. More precisely, Levin and V'yugin introduced an ordering on collections of sequences that are closed under Turing equivalence. Roughly speaking, given two such collections $\mathcal{A}$ and $\mathcal{B}$, $\mathcal{A}$ is below $\mathcal{B}$ in this ordering if $\mathcal{A}\setminus\mathcal{B}$ is negligible. The degree structure associated with this ordering, the Levin-V'yugin degrees (or LV-degrees), can be shown to be a Boolean algebra, and in fact a measure algebra.
We demonstrate the interactions of this work with recent results in computability theory and algorithmic randomness: First, we recall the definition of the Levin-V'yugin algebra and identify connections between its properties and classical properties from computability theory. In particular, we apply results on the interactions between notions of randomness and Turing reducibility to establish new facts about specific LV-degrees, such as the LV-degree of the collection of 1-generic sequences, that of the collection of sequences of hyperimmune degree, and those collections corresponding to various notions of effective randomness. Next, we provide a detailed explanation of a complex technique developed by V'yugin that allows the construction of semi-measures into which computability-theoretic properties can be encoded. We provide two examples of the use of this technique by explicating a result of V'yugin's about the LV-degree of the collection of Martin-Löf random sequences and extending the result to the LV-degree of the collection of sequences of DNC degree.
△ Less
Submitted 18 May, 2021; v1 submitted 17 July, 2019;
originally announced July 2019.
-
Rank and randomness
Authors:
Rupert Hölzl,
Christopher P. Porter
Abstract:
We show that for each computable ordinal $α>0$ it is possible to find in each Martin-Löf random $Δ^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $α$, while ensuring that the sequences that inductively witness $R$'s rank are all Martin-Löf random with respect to a single countably supported and computable measure. This is a strengthening for random degrees of a recent result of Downey, Wu, an…
▽ More
We show that for each computable ordinal $α>0$ it is possible to find in each Martin-Löf random $Δ^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $α$, while ensuring that the sequences that inductively witness $R$'s rank are all Martin-Löf random with respect to a single countably supported and computable measure. This is a strengthening for random degrees of a recent result of Downey, Wu, and Yang, and can be understood as a randomized version of it.
△ Less
Submitted 9 October, 2019; v1 submitted 2 July, 2017;
originally announced July 2017.
-
The Vitali Covering Theorem in the Weihrauch Lattice
Authors:
Vasco Brattka,
Guido Gherardi,
Rupert Hölzl,
Arno Pauly
Abstract:
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational…
▽ More
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational content. These versions are either computable or closely related to uniform variants of Weak Weak Kőnig's Lemma.
△ Less
Submitted 26 July, 2016; v1 submitted 11 May, 2016;
originally announced May 2016.
-
Randomness for computable measures and initial segment complexity
Authors:
Rupert Hölzl,
Christopher P. Porter
Abstract:
We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on $2^ω$, the so-called proper sequences. Our main results are as follows: (1) We show that the initial segment complexity of a proper sequence $X$ is bounded from below by a computable function (that is, $X$ is complex) if and only if $X$ is rand…
▽ More
We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on $2^ω$, the so-called proper sequences. Our main results are as follows: (1) We show that the initial segment complexity of a proper sequence $X$ is bounded from below by a computable function (that is, $X$ is complex) if and only if $X$ is random with respect to some computable, continuous measure. (2) We prove that a uniform version of the previous result fails to hold: there is a family of complex sequences that are random with respect to a single computable measure such that for every computable, continuous measure $μ$, some sequence in this family fails to be random with respect to $μ$. (3) We show that there are proper sequences with extremely slow-growing initial segment complexity, that is, there is a proper sequence the initial segment complexity of which is infinitely often below every computable function, and even a proper sequence the initial segment complexity of which is dominated by all computable functions. (4) We prove various facts about the Turing degrees of such sequences and show that they are useful in the study of certain classes of pathological measures on $2^ω$, namely diminutive measures and trivial measures.
△ Less
Submitted 8 November, 2016; v1 submitted 24 October, 2015;
originally announced October 2015.
-
Universality, optimality, and randomness deficiency
Authors:
Rupert Hölzl,
Paul Shafer
Abstract:
A Martin-Löf test $\mathcal U$ is universal if it captures all non-Martin-Löf random sequences, and it is optimal if for every ML-test $\mathcal V$ there is a $c \in ω$ such that $\forall n(\mathcal{V}_{n+c} \subseteq \mathcal{U}_n)$. We study the computational differences between universal and optimal ML-tests as well as the effects that these differences have on both the notion of layerwise comp…
▽ More
A Martin-Löf test $\mathcal U$ is universal if it captures all non-Martin-Löf random sequences, and it is optimal if for every ML-test $\mathcal V$ there is a $c \in ω$ such that $\forall n(\mathcal{V}_{n+c} \subseteq \mathcal{U}_n)$. We study the computational differences between universal and optimal ML-tests as well as the effects that these differences have on both the notion of layerwise computability and the Weihrauch degree of LAY, the function that produces a bound for a given Martin-Löf random sequence's randomness deficiency. We prove several robustness and idempotence results concerning the Weihrauch degree of LAY, and we show that layerwise computability is more restrictive than Weihrauch reducibility to LAY. Along similar lines we also study the principle RD, a variant of LAY outputting the precise randomness deficiency of sequences instead of only an upper bound as LAY.
△ Less
Submitted 9 October, 2014; v1 submitted 30 September, 2014;
originally announced September 2014.
-
On Martin's Pointed Tree Theorem
Authors:
Rupert Hölzl,
Frank Stephan,
Liang Yu
Abstract:
We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT).
We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT).
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Probabilistic Computability and Choice
Authors:
Vasco Brattka,
Guido Gherardi,
Rupert Hölzl
Abstract:
We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input. The machine can take advantage of this random sequence, but it always has…
▽ More
We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input. The machine can take advantage of this random sequence, but it always has to produce a correct result or to stop the computation after finite time if the random advice is not successful. With positive probability the random advice has to be successful. We characterize the class of Las Vegas computable functions in the Weihrauch lattice with the help of probabilistic choice principles and Weak Weak Kőnig's Lemma. Among other things we prove an Independent Choice Theorem that implies that Las Vegas computable functions are closed under composition. In a case study we show that Nash equilibria are Las Vegas computable, while zeros of continuous functions with sign changes cannot be computed on Las Vegas machines. However, we show that the latter problem admits randomized algorithms with weaker failure recognition mechanisms. The last mentioned results can be interpreted such that the Intermediate Value Theorem is reducible to the jump of Weak Weak Kőnig's Lemma, but not to Weak Weak Kőnig's Lemma itself. These examples also demonstrate that Las Vegas computable functions form a proper superclass of the class of computable functions and a proper subclass of the class of non-deterministically computable functions. We also study the impact of specific lower bounds on the success probabilities, which leads to a strict hierarchy of classes. In particular, the classical technique of probability amplification fails for computations on infinite objects. We also investigate the dependency on the underlying probability space.
△ Less
Submitted 4 March, 2015; v1 submitted 27 December, 2013;
originally announced December 2013.
-
Randomness and Semi-measures
Authors:
Laurent Bienvenu,
Rupert Hölzl,
Christopher P. Porter,
Paul Shafer
Abstract:
A semi-measure is a generalization of a probability measure obtained by relaxing the additivity requirement to super-additivity. We introduce and study several randomness notions for left-c.e. semi-measures, a natural class of effectively approximable semi-measures induced by Turing functionals. Among the randomness notions we consider, the generalization of weak 2-randomness to left-c.e. semi-mea…
▽ More
A semi-measure is a generalization of a probability measure obtained by relaxing the additivity requirement to super-additivity. We introduce and study several randomness notions for left-c.e. semi-measures, a natural class of effectively approximable semi-measures induced by Turing functionals. Among the randomness notions we consider, the generalization of weak 2-randomness to left-c.e. semi-measures is the most compelling, as it best reflects Martin-Löf randomness with respect to a computable measure. Additionally, we analyze a question of Shen, a positive answer to which would also have yielded a reasonable randomness notion for left-c.e. semi-measures. Unfortunately though, we find a negative answer, except for some special cases.
△ Less
Submitted 21 October, 2013; v1 submitted 18 October, 2013;
originally announced October 2013.
-
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-cup** 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.
-
From Bi-immunity to Absolute Undecidability
Authors:
Laurent Bienvenu,
Rupert Hölzl,
Adam R. Day
Abstract:
An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying t…
▽ More
An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying techniques from coding theory. We show how to use Walsh-Hadamard codes to build a truth-table functional which maps any sequence A to a sequence B, such that given any restriction of B to a set of positive upper density, one can recover A. This implies that if A is non-computable, then B is absolutely undecidable. Using a forcing construction, we show that this result cannot be strengthened in any significant fashion.
△ Less
Submitted 20 March, 2013; v1 submitted 17 October, 2012;
originally announced October 2012.
-
Separations of non-monotonic randomness notions
Authors:
Laurent Bienvenu,
Rupert Hoelzl,
Thorsten Kraling,
Wolfgang Merkle
Abstract:
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Martin-Loef randomness and computable randomness. The latter notion was introduced by Schnorr and is rather natural: an infinite binary sequence is computably random if no total computable strategy succeeds on it by bettin…
▽ More
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Martin-Loef randomness and computable randomness. The latter notion was introduced by Schnorr and is rather natural: an infinite binary sequence is computably random if no total computable strategy succeeds on it by betting on bits in order. However, computably random sequences can have properties that one may consider to be incompatible with being random, in particular, there are computably random sequences that are highly compressible. The concept of Martin-Loef randomness is much better behaved in this and other respects, on the other hand its definition in terms of martingales is considerably less natural. Muchnik, elaborating on ideas of Kolmogorov and Loveland, refined Schnorr's model by also allowing non-monotonic strategies, i.e. strategies that do not bet on bits in order. The subsequent ``non-monotonic'' notion of randomness, now called Kolmogorov-Loveland randomness, has been shown to be quite close to Martin-Loef randomness, but whether these two classes coincide remains a fundamental open question. As suggested by Miller and Nies, we study in this paper weak versions of Kolmogorov-Loveland randomness, where the betting strategies are non-adaptive (i.e., the positions of the bits to bet on should be decided before the game). We obtain a full classification of the different notions we consider.
△ Less
Submitted 14 July, 2009;
originally announced July 2009.