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!)
recent paper says this is the same as non-unitary BQPSPACE, you don’t need to add ancillas!
k-local hamiltonian problem is qma complete (verify yes/no with quantum circuit, above some error)
can do well conditioned matrix inversion.