A Complete Characterization of Unitary Quantum Space

Bill Fefferman, Cedric Yen-Yu Lin (or view on SciRate)

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.


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

Open questions:

tags: quantum-complexity