References & Citations
Quantum Physics
Title: Merlin-Arthur Games and Stoquastic Complexity
(Submitted on 2 Nov 2006 (this version), latest version 19 Dec 2006 (v2))
Abstract: MA is a class of decision problems for which `yes'-instances have a proof that can be efficiently checked by a classical randomized algorithm. We prove that MA has a natural complete problem which we call the stoquastic k-SAT problem. This is a matrix-valued analogue of the satisfiability problem in which clauses are k-qubit projectors with non-negative matrix elements, while a satisfying assignment is a vector that belongs to the space spanned by these projectors. We also study the minimum eigenvalue problem for local stoquastic Hamiltonians that was introduced in quant-ph/0606140, stoquastic LH-MIN. A new complexity class StoqMA is introduced so that stoquastic LH-MIN is StoqMA-complete. Lastly, we consider the average minimum eigenvalue problem for local stoquastic Hamiltonians that depend on a random or `quenched disorder' parameter, stoquastic AV-LH-MIN. We prove that stoquastic AV-LH-MIN is complete for the complexity class AM, the class of decision problems for which yes-instances have a randomized interactive proof with two-way communication between prover and verifier. Stoquastic k-SAT and AV-LH-MIN are the first non-trivial examples of a MA-complete and an AM-complete problem respectively.
Submission history
From: Sergey Bravyi [view email][v1] Thu, 2 Nov 2006 01:20:42 GMT (27kb)
[v2] Tue, 19 Dec 2006 06:31:11 GMT (26kb)
Link back to: arXiv, form interface, contact.