  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.
