A linear-optical proof that the permanent is #P-hard
Quantum computing, postselection, and probabilistic polynomial-time