The Computational Complexity of Linear Optics

Abstract

We give new evidence that quantum computers -- moreover, rudimentary quantum computers built entirely out of linear-optical elements -- cannot be efficiently simulated by classical computers. In particular, we define a model of computation in which identical photons are generated, sent through a linear-optical network, then nonadaptively measured to count the number of photons in each mode. This model is not known or believed to be universal for quantum computation, and indeed, we discuss the prospects for realizing the model using current technology. On the other hand, we prove that the model is able to solve sampling problems and search problems that are classically intractable under plausible assumptions. Our first result says that, if there exists a polynomial-time classical algorithm that samples from the same probability distribution as a linear-optical network, then P^#P=BPP^NP, and hence the polynomial hierarchy collapses to the third level. Unfortunately, this result assumes an extremely accurate simulation. Our main result suggests that even an approximate or noisy classical simulation would already imply a collapse of the polynomial hierarchy. For this, we need two unproven conjectures: the "Permanent-of-Gaussians Conjecture", which says that it is #P-hard to approximate the permanent of a matrix A of independent N(0,1) Gaussian entries, with high probability over A; and the "Permanent Anti-Concentration Conjecture", which says that |Per(A)|>=sqrt(n!)/poly(n) with high probability over A. We present evidence for these conjectures, both of which seem interesting even apart from our application. This paper does not assume knowledge of quantum optics. Indeed, part of its goal is to develop the beautiful theory of noninteracting bosons underlying our model, and its connection to the permanent function, in a self-contained way accessible to theoretical computer scientists.

94 pages, 4 figures

References in corpus (14)

• Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance
• Improved Simulation of Stabilizer Circuits
• On the Power of One Bit of Quantum Information
• Simulation of Many-Body Fermi Systems on a Universal Quantum Computer
• Classical simulation of noninteracting-fermion quantum circuits
• Instantaneous Quantum Computation
• Generalised Hong-Ou-Mandel Experiments with Bosons and Fermions
• Fast parallel circuits for the quantum Fourier transform
• Fermionic Linear Optics and Matchgates
• Permanents in linear optical networks
• Bounds for Small-Error and Zero-Error Quantum Algorithms
• A simple encoding of a quantum circuit amplitude as a matrix permanent
• Pseudorandom generators and the BQP vs. PH problem
• Large deviation for the empirical eigenvalue density of truncated Haar unitary matrices

Cited by in corpus (10)

• Quantum computing and the entanglement frontier
• Quantum interferometry with three-dimensional geometry
• Entanglement classes of permutation-symmetric qudit states: symmetric operations suffice
• Unsupervised Event Classification with Graphs on Classical and Photonic Quantum Computers
• Noise-Aware Quantum Amplitude Estimation
• Continuous Variable Quantum Algorithms: an Introduction
• Analogue Quantum Simulation: A Philosophical Prospectus
• On immanant functions related to Weyl groups of $A_n$
• Quantum Computation
• GaAs integrated quantum photonics: Towards dense and fully-functional quantum photonic integrated circuits