[Paper Review] A mathematical proof for a ground-state identification criterion

Tien D. Kieu|ArXiv.org|Feb 17, 2006

Radiation Detection and Scintillator Technologies3 references3 citations

TL;DR

This paper provides a rigorous mathematical proof that, in a quantum adiabatic algorithm for solving Hilbert’s tenth problem, the Fock state with a measurement probability exceeding one-half at the final time is guaranteed to be the ground state of the final Hamiltonian, provided the Hilbert space is infinite-dimensional or finitely truncated with appropriate boundary conditions. The proof establishes a probability-based identification criterion for the ground state, resolving a key issue in quantum adiabatic computation for non-computable problems.

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.

Motivation & Objective

• To resolve the validity of a ground-state identification criterion in higher-dimensional or infinite-dimensional Hilbert spaces for a quantum adiabatic algorithm targeting Hilbert’s tenth problem.
• To address a counterexample in five dimensions proposed by Warren Smith, which challenged the original two-dimensional proof of the criterion.
• To prove that the criterion remains valid in infinite-dimensional Hilbert spaces and in finitely truncated spaces with appropriate boundary conditions.
• To establish a nonconstructive but robust ground-state identification mechanism based on measurement probability exceeding one-half.
• To support the quantum computability of classically non-computable problems via the quantum adiabatic theorem and the proposed probability criterion.

Proposed method

• The proof employs a contradiction argument assuming that the matrix element ⟨e(t₀)|Hₚ−Hᵢ|f(t₀)⟩ vanishes for some orthonormal instantaneous eigenstates |e(t₀)⟩ and |f(t₀)⟩ at time t₀.
• It expands the eigenstates in the Fock basis and applies the Bosanquet-Henstock theorem to analyze the convergence of infinite series involving the state coefficients.
• The analysis focuses on the asymptotic behavior of the Fock state coefficients fₙ and eₙ, showing that any pattern of vanishing or non-vanishing components leads to a contradiction with normalization or convergence conditions.
• By reducing the problem to pairwise comparisons of orthonormal states and leveraging geometric constraints in higher-dimensional lattices, the proof generalizes from the one-variable case to K variables.
• The method relies on the noncommutativity of Hᵢ and Hₚ and the structure of the Diophantine encoding in Hₚ = [D(n₁,…,nₖ)]².
• It demonstrates that the condition ⟨e(t)|Hₚ−Hᵢ|f(t)⟩ ≠ 0 must hold for all t ∈ (0,T), preventing constructive interference from driving any excited state’s probability above one-half.

Experimental results

Research questions

• RQ1 Can the ground-state identification criterion—based on measurement probability exceeding one-half—be rigorously extended from two dimensions to infinite-dimensional Hilbert spaces?
• RQ2 Does the counterexample in five dimensions by Smith invalidate the original criterion, or is it an artifact of finite truncation with boundary conditions?
• RQ3 Is the condition ⟨e(t)|Hₚ−Hᵢ|f(t)⟩ ≠ 0 always satisfied in infinite-dimensional Hilbert spaces, ensuring that no excited state exceeds 50% measurement probability?
• RQ4 Can the identification criterion be preserved in finitely truncated Hilbert spaces if appropriate boundary conditions are applied?
• RQ5 Does the quantum adiabatic theorem, combined with the probability criterion, enable the identification of the ground state without prior knowledge of its structure?

Key findings

• The condition ⟨e(t)|Hₚ−Hᵢ|f(t)⟩ ≠ 0 holds for all t ∈ (0,T) in infinite-dimensional Hilbert spaces, preventing any excited state from attaining a measurement probability ≥ 0.5.
• The proof shows that any configuration of Fock state coefficients fₙ and eₙ leading to a vanishing matrix element results in a contradiction with the normalization or convergence of the state vectors.
• In the infinite-dimensional case, the identification criterion holds: the Fock state with measurement probability > 0.5 at time T is the ground state of Hₚ.
• For finitely truncated Hilbert spaces, the criterion remains valid if appropriate boundary conditions are applied, restoring the condition even when a counterexample exists in standard truncation.
• The result confirms that the ground state can be identified nonconstructively via probability measure, enabling the quantum adiabatic algorithm to solve Hilbert’s tenth problem.
• The key contribution is a mathematically rigorous foundation for a probability-based ground-state identification mechanism in quantum adiabatic computation.