Abstract:Quantum computing involving physical systems with continuous degrees of freedom, such as the quantum states of light, has recently attracted significant interest. However, a well-defined quantum complexity theory for these bosonic computations over infinite-dimensional Hilbert spaces is missing. In this work, we lay foundations for such a research program. We introduce natural complexity classes and problems based on bosonic generalizations of BQP, the local Hamiltonian problem, and QMA. We uncover several relationships and subtle differences between standard Boolean classical and discrete variable quantum complexity classes and identify outstanding open problems. In particular: 1. We show that the power of quadratic (Gaussian) quantum dynamics is equivalent to the class BQL. More generally, we define classes of continuous-variable quantum polynomial time computations with a bounded probability of error based on higher-degree gates. Due to the infinite dimensional Hilbert space, it is not a priori clear whether a decidable upper bound can be obtained for these classes. We identify complete problems for these classes and demonstrate a BQP lower and EXPSPACE upper bound. We further show that the problem of computing expectation values of polynomial bosonic observables is in PSPACE. 2. We prove that the problem of deciding the boundedness of the spectrum of a bosonic Hamiltonian is co-NP-hard. Furthermore, we show that the problem of finding the minimum energy of a bosonic Hamiltonian critically depends on the non-Gaussian stellar rank of the family of energy-constrained states one optimizes over: for constant stellar rank, it is NP-complete; for polynomially-bounded rank, it is in QMA; for unbounded rank, it is undecidable.

Complexity of Gaussian quantum optics with a limited number of non-linearities

Quantum Computation with Nonlinear Optics

The Complexity of Bipartite Gaussian Boson Sampling

Classical simulation and quantum resource theory of non-Gaussian optics

Bosonic Quantum Computational Complexity

Simulating lossy and partially distinguishable quantum optical circuits: theory, algorithms and applications to experiment validation and state preparation

Simulating Gaussian boson sampling quantum computers

Classical simulation of non-Gaussian fermionic circuits

Boson Sampling with Gaussian input states: efficient scaling and certification

A scheme for efficient quantum computation with linear optics

Nonlinear quantum optical computing via measurement

Classical algorithm for simulating experimental Gaussian boson sampling

Complexity-theoretic foundations of BosonSampling with a linear number of modes

Quantum computer-aided design of quantum optics hardware

The boundary for quantum advantage in Gaussian boson sampling

Quantum optical neural networks with programmable nonlinearities

Fast simulation of bosonic qubits via Gaussian functions in phase space

Simulating nonlinear optical processes on a superconducting quantum device