Results 1  10
of
33
Quantum Algorithm For Hilberts Tenth Problem
 Int.J.Theor.Phys
, 2003
"... We explore in the framework of Quantum Computation the notion of 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 noncomp ..."
Abstract

Cited by 61 (10 self)
 Add to MetaCart
(Show Context)
We explore in the framework of Quantum Computation the notion of 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 ChurchTuring 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. 1
Hypercomputation and the Physical ChurchTuring Thesis
, 2003
"... A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Tu ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Turing definability (`hypercomputation'): supertask, nonwellfounded, analog, quantum, and retrocausal computation. These models depend on infinite computation, explicitly or implicitly, and appear physically implausible; moreover, even if infinite computation were realizable, the Halting Problem would not be a#ected. Therefore, Thesis P is not essentially di#erent from the standard ChurchTuring Thesis.
Algorithmic randomness, quantum physics, and incompleteness
 Proceedings of the Conference “Machines, Computations and Universality” (MCU’2004), number 3354 in Lecture Notes in Computer Science
, 2006
"... When a distinguished but elderly scientist states that something is possible, he is almost certainly right. When he states that something is impossible, he is almost certainly wrong. Arthur C. Clarke ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
(Show Context)
When a distinguished but elderly scientist states that something is possible, he is almost certainly right. When he states that something is impossible, he is almost certainly wrong. Arthur C. Clarke
Hypercomputability of quantum adiabatic processes: facts versus prejudices
 http://arxiv.org/quantph/0504101
, 2005
"... Abstract. We give an overview of a quantum adiabatic algorithm for Hilbert’s tenth problem, including some discussions on its fundamental aspects and the emphasis on the probabilistic correctness of its findings. For the purpose of illustration, the numerical simulation results of some simple Diopha ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We give an overview of a quantum adiabatic algorithm for Hilbert’s tenth problem, including some discussions on its fundamental aspects and the emphasis on the probabilistic correctness of its findings. For the purpose of illustration, the numerical simulation results of some simple Diophantine equations are presented. We also discuss some prejudicial misunderstandings as well as some plausible difficulties faced by the algorithm in its physical implementations. “To believe otherwise is merely to cling to a prejudice which only gives rise to further prejudices... ” 1
On the identification of the ground state based on occupation probabilities: An investigation of Smith’s apparent counterexample
 Journal of Applied Mathematics and Computation
, 2005
"... Abstract. We study a set of truncated matrices, given by Smith [8], in connection to an identification criterion for the ground state in our proposed quantum adiabatic algorithm for Hilbert’s tenth problem. We identify the origin of the trouble for this truncated example and show that for a suitable ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We study a set of truncated matrices, given by Smith [8], in connection to an identification criterion for the ground state in our proposed quantum adiabatic algorithm for Hilbert’s tenth problem. We identify the origin of the trouble for this truncated example and show that for a suitable choice of some parameter it can always be removed. We also argue that it is only an artefact of the truncation of the underlying Hilbert spaces, through showing its sensitivity to different boundary conditions available for such a truncation. It is maintained that the criterion, in general, should be applicable provided certain conditions are satisfied. We also point out that, apart from this one, other criteria serving the same identification purpose may also be available. In a proposal of a quantum adiabatic algorithm for Hilbert’s tenth problem [5], we employ an adiabatic process with a timedependent Hamiltonian (1) H(t) = (1 − t/T)HI + (t/T)HP. Here t is time and this Hamiltonian metamorphoses from HI when t = 0 to HP when t = T. The final Hamiltonian HP encodes the Diophantine equation in consideration, while the initial HI is universal and independent of the Diophantine equation, except only on its number of variables K. The process is captured by the Schrödinger equation (2) ∂tψ(t)〉
On the existence of a new family of diophantine equations for Ω
 Fundamenta Informaticae
"... Abstract. We show how to determine the kth bit of Chaitin’s algorithmically random real number, Ω, by solving k instances of the halting problem. From this we then reduce the problem of determining the kth bit of Ω to determining whether a certain Diophantine equation with two parameters, k and N, ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Abstract. We show how to determine the kth bit of Chaitin’s algorithmically random real number, Ω, by solving k instances of the halting problem. From this we then reduce the problem of determining the kth bit of Ω to determining whether a certain Diophantine equation with two parameters, k and N, has solutions for an odd or an even number of values of N. We also demonstrate two further examples of Ω in number theory: an exponential Diophantine equation with a parameter, k, which has an odd number of solutions iff the kth bit of Ω is 1, and a polynomial of positive integer variables and a parameter, k, that takes on an odd number of positive values iff the kth bit of Ω is 1.
The churchturing thesis: Consensus and opposition
 In Lecture Notes in Computer Science
, 2006
"... ..."
(Show Context)
Physicallyrelativized ChurchTuring Hypotheses. Applied Mathematics and Computation 215, 4
 in the School of Mathematics at the University of Leeds, U.K. © 2012 ACM 00010782/12/03 $10.00 march 2012  vol. 55  no. 3  communications of the acm 83
"... Abstract. We turn ‘the ’ ChurchTuring Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and welldefined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the ChurchTuring Hypothesis (CTH), sug ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract. We turn ‘the ’ ChurchTuring Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and welldefined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the ChurchTuring Hypothesis (CTH), suggests to study the CTH relative to an arbitrary but specific physical theory—rather than vaguely referring to “nature ” in general. To this end we combine (and compare) physical structuralism with (models of computation in) complexity theory. The benefit of this formal framework is illustrated by reporting on some previous, and giving one new, example result(s) of computability
THE PHYSICAL CHURCHTURING THESIS AND THE PRINCIPLES OF QUANTUM THEORY
, 2012
"... As was emphasized by Deutsch, quantum computation shatters complexity theory, but is innocuous to computability theory. Yet Nielsen and others have shown how quantum theory as it stands could breach the physical ChurchTuring thesis. We draw a clear line as to when this is the case, in a way that is ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
As was emphasized by Deutsch, quantum computation shatters complexity theory, but is innocuous to computability theory. Yet Nielsen and others have shown how quantum theory as it stands could breach the physical ChurchTuring thesis. We draw a clear line as to when this is the case, in a way that is inspired by Gandy. Gandy formulates postulates about physics, such as homogeneity of space and time, bounded density and velocity of information — and proves that the physical ChurchTuring thesis is a consequence of these postulates. We provide a quantum version of the theorem. Thus this approach exhibits a formal nontrivial interplay between theoretical physics symmetries and computability assumptions.