15 research outputs found
A topological view on algebraic computation models
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The framework for this is Weihrauch reducibility. As a consequence of our characterizations, we establish that the solvability complexity index is (mostly) independent of the computational model, and that there thus is common ground in the study of non-computability between the BSS and TTE setting
Monte Carlo Computability
We introduce Monte Carlo computability as a probabilistic concept of computability on infinite objects and prove that Monte Carlo computable functions are closed under composition. We then mutually separate the following classes of functions from each other: the class of multi-valued functions that are non-deterministically computable, that of Las Vegas computable functions, and that of Monte Carlo computable functions. We give natural examples of computational problems witnessing these separations. As a specific problem which is Monte Carlo computable but neither Las Vegas computable nor non-deterministically computable, we study the problem of sorting infinite sequences that was recently introduced by Neumann and Pauly. Their results allow us to draw conclusions about the relation between algebraic models and Monte Carlo computability
Completion of Choice
We systematically study the completion of choice problems in the Weihrauch
lattice. Choice problems play a pivotal role in Weihrauch complexity. For one,
they can be used as landmarks that characterize important equivalences classes
in the Weihrauch lattice. On the other hand, choice problems also characterize
several natural classes of computable problems, such as finite mind change
computable problems, non-deterministically computable problems, Las Vegas
computable problems and effectively Borel measurable functions. The closure
operator of completion generates the concept of total Weihrauch reducibility,
which is a variant of Weihrauch reducibility with total realizers. Logically
speaking, the completion of a problem is a version of the problem that is
independent of its premise. Hence, studying the completion of choice problems
allows us to study simultaneously choice problems in the total Weihrauch
lattice, as well as the question which choice problems can be made independent
of their premises in the usual Weihrauch lattice. The outcome shows that many
important choice problems that are related to compact spaces are complete,
whereas choice problems for unbounded spaces or closed sets of positive measure
are typically not complete.Comment: 30 page
Weihrauch goes Brouwerian
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra
by the consecutive application of two closure operators in the appropriate
order: first completion and then parallelization. The closure operator of
completion is a new closure operator that we introduce. It transforms any
problem into a total problem on the completion of the respective types, where
we allow any value outside of the original domain of the problem. This closure
operator is of interest by itself, as it generates a total version of Weihrauch
reducibility that is defined like the usual version of Weihrauch reducibility,
but in terms of total realizers. From a logical perspective completion can be
seen as a way to make problems independent of their premises. Alongside with
the completion operator and total Weihrauch reducibility we need to study
precomplete representations that are required to describe these concepts. In
order to show that the parallelized total Weihrauch lattice forms a Brouwer
algebra, we introduce a new multiplicative version of an implication. While the
parallelized total Weihrauch lattice forms a Brouwer algebra with this
implication, the total Weihrauch lattice fails to be a model of intuitionistic
linear logic in two different ways. In order to pinpoint the algebraic reasons
for this failure, we introduce the concept of a Weihrauch algebra that allows
us to formulate the failure in precise and neat terms. Finally, we show that
the Medvedev Brouwer algebra can be embedded into our Brouwer algebra, which
also implies that the theory of our Brouwer algebra is Jankov logic.Comment: 36 page
A jump operator on the Weihrauch degrees
A partial order admits a jump operator if there is a map 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 such that
. 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
Ramsey’s theorem and products in the Weihrauch degrees
We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey’s theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey’s theorem for pairs (RT22) is Weihrauch-incomparable to the parallel product of the stable Ramsey’s theorem for pairs and the cohesive principle (SRT22×COH)
Combinatorial principles equivalent to weak induction
We study the principle ERT "In an infinite sequence over finitely many colours, in some tail every colour that appears appears a second time." and ECT "In an infinite sequence over finitely many colours, in some tail every colour that appears appears infinitely." Over RCA_0*, ERT is equivalent to Sigma1-induction, and ECT is equivalent to Sigma2-induction. In the Weihrauch setting, ERT is equivalent to the finite parallelization of LPO, and ECT to the finite parallelization of the total continuation of closed choice on N. Based on these results, we can speculate a bit on how the need for induction can be reflected in the Weihrauch degree of a problem