希尔伯特第十问题的量子算法数值模拟
量子物理
2009-11-10 v1 计算机科学中的逻辑
逻辑
数论
摘要
我们运用量子力学原理探索经典不可计算的希尔伯特第十问题类的可计算性，该问题等价于计算机科学中的图灵停机问题。量子绝热定理使我们能够建立此类问题的解与一类特定含时薛定谔方程解的渐近行为之间的联系。然后我们给出对应于各种丢番图方程的量子绝热过程的一些初步数值模拟结果。
引用
@article{arxiv.quant-ph/0304114,
title = {Numerical simulations of a quantum algorithm for Hilbert's tenth problem},
author = {Tien D Kieu},
journal= {arXiv preprint arXiv:quant-ph/0304114},
year = {2009}
}
备注
Oral contribution to SPIE, Orlando, 2003. 7 pages, 6 colour figures