A linear-optical proof that the permanent is #P-hard
One of the crown jewels of complexity theory is Valiant's theorem that computing the permanent of an n×n matrix is #P-hard. Here we show that, by using the model of linear-optical quantum computing—and in particular, a universality theorem owing to Knill, Laflamme and Milburn—one can give a dif...
Main Author: | Aaronson, Scott |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
Format: | Article |
Language: | en_US |
Published: |
Royal Society, The
2012
|
Online Access: | http://hdl.handle.net/1721.1/72067 https://orcid.org/0000-0003-1333-4045 |
Similar Items
-
Impossibility of Succinct Quantum Proofs for Collision-Freeness
by: Aaronson, Scott
Published: (2012) -
The Computational Complexity of Linear Optics
by: Aaronson, Scott, et al.
Published: (2011) -
NP-Hardness of Approximately Solving Linear Equations Over Reals
by: Khot, Subhash, et al.
Published: (2011) -
Generation of universal linear optics by any beam splitter
by: Aaronson, Scott, et al.
Published: (2014) -
Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
by: Yang, Lisa L.
Published: (2022)