2,997 research outputs found
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
A Galois connection between Turing jumps and limits
Limit computable functions can be characterized by Turing jumps on the input
side or limits on the output side. As a monad of this pair of adjoint
operations we obtain a problem that characterizes the low functions and dually
to this another problem that characterizes the functions that are computable
relative to the halting problem. Correspondingly, these two classes are the
largest classes of functions that can be pre or post composed to limit
computable functions without leaving the class of limit computable functions.
We transfer these observations to the lattice of represented spaces where it
leads to a formal Galois connection. We also formulate a version of this result
for computable metric spaces. Limit computability and computability relative to
the halting problem are notions that coincide for points and sequences, but
even restricted to continuous functions the former class is strictly larger
than the latter. On computable metric spaces we can characterize the functions
that are computable relative to the halting problem as those functions that are
limit computable with a modulus of continuity that is computable relative to
the halting problem. As a consequence of this result we obtain, for instance,
that Lipschitz continuous functions that are limit computable are automatically
computable relative to the halting problem. We also discuss 1-generic points as
the canonical points of continuity of limit computable functions, and we prove
that restricted to these points limit computable functions are computable
relative to the halting problem. Finally, we demonstrate how these results can
be applied in computable analysis
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals
We describe the basic theory of infinite time Turing machines and some recent
developments, including the infinite time degree theory, infinite time
complexity theory, and infinite time computable model theory. We focus
particularly on the application of infinite time Turing machines to the
analysis of the hierarchy of equivalence relations on the reals, in analogy
with the theory arising from Borel reducibility. We define a notion of infinite
time reducibility, which lifts much of the Borel theory into the class
in a satisfying way.Comment: Submitted to the Effective Mathematics of the Uncountable Conference,
200
The prospects for mathematical logic in the twenty-first century
The four authors present their speculations about the future developments of
mathematical logic in the twenty-first century. The areas of recursion theory,
proof theory and logic for computer science, model theory, and set theory are
discussed independently.Comment: Association for Symbolic Logi
Uniform Diagonalization Theorem for Complexity Classes of Promise Problems including Randomized and Quantum Classes
Diagonalization in the spirit of Cantor's diagonal arguments is a widely used
tool in theoretical computer sciences to obtain structural results about
computational problems and complexity classes by indirect proofs. The Uniform
Diagonalization Theorem allows the construction of problems outside complexity
classes while still being reducible to a specific decision problem. This paper
provides a generalization of the Uniform Diagonalization Theorem by extending
it to promise problems and the complexity classes they form, e.g. randomized
and quantum complexity classes. The theorem requires from the underlying
computing model not only the decidability of its acceptance and rejection
behaviour but also of its promise-contradicting indifferent behaviour - a
property that we will introduce as "total decidability" of promise problems.
Implications of the Uniform Diagonalization Theorem are mainly of two kinds:
1. Existence of intermediate problems (e.g. between BQP and QMA) - also known
as Ladner's Theorem - and 2. Undecidability if a problem of a complexity class
is contained in a subclass (e.g. membership of a QMA-problem in BQP). Like the
original Uniform Diagonalization Theorem the extension applies besides BQP and
QMA to a large variety of complexity class pairs, including combinations from
deterministic, randomized and quantum classes.Comment: 15 page
Quantum Algorithm for Hilbert's Tenth Problem
We explore in the framework of Quantum Computation the notion of {\em
Computability}, which holds a central position in Mathematics and Theoretical
Computer Science. A quantum algorithm for Hilbert's tenth problem, which is
equivalent to the Turing halting problem and is known to be mathematically
noncomputable, is proposed where quantum continuous variables and quantum
adiabatic evolution are employed. If this algorithm could be physically
implemented, as much as it is valid in principle--that is, if certain
hamiltonian and its ground state can be physically constructed according to the
proposal--quantum computability would surpass classical computability as
delimited by the Church-Turing thesis. It is thus argued that computability,
and with it the limits of Mathematics, ought to be determined not solely by
Mathematics itself but also by Physical Principles
- …