Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

I have a few questions about Quantum PCP conjecture:

  1. What is the statement of the quantum PCP conjecture?

  2. What implications would Quantum PCP theorem have for simulating of Hamiltonians?

  3. Is it believed adopting Irit Dinur's proof of the classical PCP theorem is likely to lead to a proof of Quantum PCP conjecture?

  4. What background is needed to read articles about the problem?

The copy of the question on MO

share|improve this question
1  
12  
There is no quantum PCP theorem. People are trying to prove it, but whether such a theorem exists (and maybe exactly what form it would take) are one of the big open questions in quantum computing. –  Peter Shor Nov 7 '10 at 12:33
7  
Noah Rahman: Please link to the original question when crossposting. Otherwise not everyone would be aware that you already received a very good answer from Peter Shor. mathoverflow.net/questions/45106/quantum-pcp-theorem –  Tsuyoshi Ito Nov 7 '10 at 13:06
3  
I wish I knew what is the best approach to proving or disproving a quantum PCP theorem. The problem is that if I knew it, I would have already proved or disproved it. –  Tsuyoshi Ito Nov 7 '10 at 13:57
2  
Sorry, I'll close the question. I was told by someone to go post it here. but to answer Robin's question my research has to do with the applicability of these so called DMRG algorithms, and that's how I came across the QPCP conjecture (having presented to a seminar class earlier on Kitaev's various QMA-complete problems) –  Noah Rahman Nov 7 '10 at 18:48

2 Answers 2

As Shor said, there is no QPCP theorem (yet!). One conjecture (let us call it the QPCP conjecture) is this: consider a graph of N vertices, of degree O(1). Associate a qudit with each vertex, with Hilbert space dimension O(1). Let the Hamiltonian be a sum of terms for each edge, each such term acting just on the qudits on the vertices, with operator norm of each such term bounded by O(1), so that the operator norm of the Hamiltonian is O(N). Then, the conjecture is that there is some epsilon>0 such that it is QMA-hard to approximate the ground state energy of the problem to an accuracy epsilon N.

A slightly stronger conjecture is to consider the case in which each such term acting on an edge is a projector so that the ground state energy is non-negative, and the conjecture is that it is QMA-hard to determine whether the ground state energy is 0 given a promise that if it is not zero then it is at least epsilon N.

There are other versions of the conjecture too, but those are two interesting ones with the most natural relation to physics. An even stronger conjecture (hence probably an easier one to disprove if you believe that these conjectures are false) is to consider the case in which the Hamiltonian is a sum of commuting projectors.

share|improve this answer
6  
The classical PCP theorem says that all of these questions are at least NP-hard. –  Peter Shor Nov 18 '10 at 18:37

Basically everything that is known about the Quantum PCP conjecture has been collected in this survey by Dorit Aharonov, Itai Arad, and Thomas Vidick:

The Quantum PCP Conjecture

See also Thomas' blog post on the topic.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.