arXiv.wiki

Solo reading/watching: Fefferman’s talk at QIP (PreciseQMA = PSPACE)

Consider the precise succinct hamiltonian problem:

This is complete for PreciseQMA! (precise + quantum NP) = BQPSPACE

This is the power of “small gaps” + “quantumness” – both are needed to generalize to PreciseQMA.

Consider BQPSPACE = PSPACE

Another result: consider unitary quantum space (non-intermediate measurements only!)

Open questions: