A mathematical proof for a ground-state identification criterion
arXiv:quant-ph/0602146
Abstract
We give a mathematical proof for an identification criterion by a probability measure for the ground state among an infinite number of available states, or a finitely truncated number with appropriate boundary conditions, in a quantum adiabatic algorithm for Hilbert's tenth problem.
5 pages, no figure