Numerical simulations of a quantum algorithm for Hilbert's tenth problem
暂无分享,去创建一个
We employ quantum mechanical principles in the computability exploration of the class of classically noncomputable Hilbert's tenth problem which is equivalent to the Turing halting problem in Computer Science. The Quantum Adiabatic Theorem enables us to establish a connection between the solution for this class of problems and the asymptotic behavior of solutions of a particular type of time-dependent Schrodinger equations. We then present some preliminary numerical simulation results for the quantum adiabatic processes corresponding to various Diophantine equations.
[1] Yuri Matiyasevich,et al. Hilbert’s tenth problem , 2019, 100 Years of Math Milestones.
[2] A. Messiah. Quantum Mechanics , 1961 .
[3] Tien D. Kieu,et al. Computing the non-computable , 2002, ArXiv.
[4] M. Sipser,et al. Quantum Computation by Adiabatic Evolution , 2000, quant-ph/0001106.