82,778 research outputs found
Closed Choice and a Uniform Low Basis Theorem
We study closed choice principles for different spaces. Given information
about what does not constitute a solution, closed choice determines a solution.
We show that with closed choice one can characterize several models of
hypercomputation in a uniform framework using Weihrauch reducibility. The
classes of functions which are reducible to closed choice of the singleton
space, of the natural numbers, of Cantor space and of Baire space correspond to
the class of computable functions, of functions computable with finitely many
mind changes, of weakly computable functions and of effectively Borel
measurable functions, respectively. We also prove that all these classes
correspond to classes of non-deterministically computable functions with the
respective spaces as advice spaces. Moreover, we prove that closed choice on
Euclidean space can be considered as "locally compact choice" and it is
obtained as product of closed choice on the natural numbers and on Cantor
space. We also prove a Quotient Theorem for compact choice which shows that
single-valued functions can be "divided" by compact choice in a certain sense.
Another result is the Independent Choice Theorem, which provides a uniform
proof that many choice principles are closed under composition. Finally, we
also study the related class of low computable functions, which contains the
class of weakly computable functions as well as the class of functions
computable with finitely many mind changes. As one main result we prove a
uniform version of the Low Basis Theorem that states that closed choice on
Cantor space (and the Euclidean space) is low computable. We close with some
related observations on the Turing jump operation and its initial topology
Effective Choice and Boundedness Principles in Computable Analysis
In this paper we study a new approach to classify mathematical theorems
according to their computational content. Basically, we are asking the question
which theorems can be continuously or computably transferred into each other?
For this purpose theorems are considered via their realizers which are
operations with certain input and output data. The technical tool to express
continuous or computable relations between such operations is Weihrauch
reducibility and the partially ordered degree structure induced by it. We have
identified certain choice principles which are cornerstones among Weihrauch
degrees and it turns out that certain core theorems in analysis can be
classified naturally in this structure. In particular, we study theorems such
as the Intermediate Value Theorem, the Baire Category Theorem, the Banach
Inverse Mapping Theorem and others. We also explore how existing
classifications of the Hahn-Banach Theorem and Weak K"onig's Lemma fit into
this picture. We compare the results of our classification with existing
classifications in constructive and reverse mathematics and we claim that in a
certain sense our classification is finer and sheds some new light on the
computational content of the respective theorems. We develop a number of
separation techniques based on a new parallelization principle, on certain
invariance properties of Weihrauch reducibility, on the Low Basis Theorem of
Jockusch and Soare and based on the Baire Category Theorem. Finally, we present
a number of metatheorems that allow to derive upper bounds for the
classification of the Weihrauch degree of many theorems and we discuss the
Brouwer Fixed Point Theorem as an example
The Bolzano-Weierstrass Theorem is the Jump of Weak K\"onig's Lemma
We classify the computational content of the Bolzano-Weierstrass Theorem and
variants thereof in the Weihrauch lattice. For this purpose we first introduce
the concept of a derivative or jump in this lattice and we show that it has
some properties similar to the Turing jump. Using this concept we prove that
the derivative of closed choice of a computable metric space is the cluster
point problem of that space. By specialization to sequences with a relatively
compact range we obtain a characterization of the Bolzano-Weierstrass Theorem
as the derivative of compact choice. In particular, this shows that the
Bolzano-Weierstrass Theorem on real numbers is the jump of Weak K\"onig's
Lemma. Likewise, the Bolzano-Weierstrass Theorem on the binary space is the
jump of the lesser limited principle of omniscience LLPO and the
Bolzano-Weierstrass Theorem on natural numbers can be characterized as the jump
of the idempotent closure of LLPO. We also introduce the compositional product
of two Weihrauch degrees f and g as the supremum of the composition of any two
functions below f and g, respectively. We can express the main result such that
the Bolzano-Weierstrass Theorem is the compositional product of Weak K\"onig's
Lemma and the Monotone Convergence Theorem. We also study the class of weakly
limit computable functions, which are functions that can be obtained by
composition of weakly computable functions with limit computable functions. We
prove that the Bolzano-Weierstrass Theorem on real numbers is complete for this
class. Likewise, the unique cluster point problem on real numbers is complete
for the class of functions that are limit computable with finitely many mind
changes. We also prove that the Bolzano-Weierstrass Theorem on real numbers
and, more generally, the unbounded cluster point problem on real numbers is
uniformly low limit computable. Finally, we also discuss separation techniques.Comment: This version includes an addendum by Andrea Cettolo, Matthias
Schr\"oder, and the authors of the original paper. The addendum closes a gap
in the proof of Theorem 11.2, which characterizes the computational content
of the Bolzano-Weierstra\ss{} Theorem for arbitrary computable metric space
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\H{o}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\H{o}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.Comment: 36 page
Limit complexities revisited [once more]
The main goal of this article is to put some known results in a common
perspective and to simplify their proofs.
We start with a simple proof of a result of Vereshchagin saying that
equals . Then we use the same argument to prove
similar results for prefix complexity, a priori probability on binary tree, to
prove Conidis' theorem about limits of effectively open sets, and also to
improve the results of Muchnik about limit frequencies. As a by-product, we get
a criterion of 2-randomness proved by Miller: a sequence is 2-random if and
only if there exists such that any prefix of is a prefix of some
string such that . (In the 1960ies this property was
suggested in Kolmogorov as one of possible randomness definitions.) We also get
another 2-randomness criterion by Miller and Nies: is 2-random if and only
if for some and infinitely many prefixes of .
This is a modified version of our old paper that contained a weaker (and
cumbersome) version of Conidis' result, and the proof used low basis theorem
(in quite a strange way). The full version was formulated there as a
conjecture. This conjecture was later proved by Conidis. Bruno Bauwens
(personal communication) noted that the proof can be obtained also by a simple
modification of our original argument, and we reproduce Bauwens' argument with
his permission.Comment: See http://arxiv.org/abs/0802.2833 for the old pape
Sum of squares lower bounds for refuting any CSP
Let be a nontrivial -ary predicate. Consider a
random instance of the constraint satisfaction problem on
variables with constraints, each being applied to randomly
chosen literals. Provided the constraint density satisfies , such
an instance is unsatisfiable with high probability. The \emph{refutation}
problem is to efficiently find a proof of unsatisfiability.
We show that whenever the predicate supports a -\emph{wise uniform}
probability distribution on its satisfying assignments, the sum of squares
(SOS) algorithm of degree
(which runs in time ) \emph{cannot} refute a random instance of
. In particular, the polynomial-time SOS algorithm requires
constraints to refute random instances of
CSP when supports a -wise uniform distribution on its satisfying
assignments. Together with recent work of Lee et al. [LRS15], our result also
implies that \emph{any} polynomial-size semidefinite programming relaxation for
refutation requires at least constraints.
Our results (which also extend with no change to CSPs over larger alphabets)
subsume all previously known lower bounds for semialgebraic refutation of
random CSPs. For every constraint predicate~, they give a three-way hardness
tradeoff between the density of constraints, the SOS degree (hence running
time), and the strength of the refutation. By recent algorithmic results of
Allen et al. [AOW15] and Raghavendra et al. [RRS16], this full three-way
tradeoff is \emph{tight}, up to lower-order factors.Comment: 39 pages, 1 figur
- âŠ