Bosonic Quantum Computational Complexity

Ulysse Chabaud,Michael Joseph,Saeed Mehraban,Arsalan Motamedi

2024-10-06

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.

Quantum Physics,Computational Complexity

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to construct a theoretical framework for the complexity of bosonic quantum computing. Specifically, the authors focus on continuous - variable quantum computations in infinite - dimensional Hilbert spaces (bosonic quantum computations) and attempt to define and understand the complexity classes of these computations. The following are the main research questions and contributions of this paper:

### Research Questions

1. **Complexity Classes of Bosonic Quantum Computing**:
- How to define the complexity classes of quantum computing based on continuous variables (such as photon states)?
- What is the relationship between these complexity classes and the complexity classes of standard discrete variables (such as bits or qubits)?

2. **Ground - State Energy Problem of Bosonic Hamiltonians**:
- How to determine whether the ground - state energy of a bosonic Hamiltonian is finite?
- What is the complexity of optimizing the ground - state energy problem under different degrees of non - Gaussianity (stellar rank)?

3. **Capabilities of Bosonic Quantum Computing**:
- What are the specific capabilities of Gaussian computations and non - Gaussian computations?
- Can certain types of bosonic quantum computations be reduced to known complexity classes, such as BQP, QMA, etc.?

### Main Contributions

1. **Complexity of Gaussian Computations**:
- It is proved that the computational power of Gaussian computations (Gaussian dynamical computations, GDC) is equivalent to bounded - error quantum logspace (bounded - error quantum logspace, BQL) under logarithmic - space reduction. This result is achieved by simulating the inverse problem of well - conditioned matrices.
- The class of continuous - variable quantum polynomial - time computations (CVBQP) is defined, and its relationship with BQP is shown.

2. **Complexity of Non - Gaussian Computations**:
- It is shown that bosonic quantum computations using specific non - Gaussian gates (such as cubic - phase gates) can be strongly simulated within EXPSPACE.
- A polynomial - time parallel algorithm for computing the expected value of output continuous - variable observables is provided, and it is proved to belong to PSPACE.

3. **Ground - State Energy Problem of Bosonic Hamiltonians**:
- It is proved that determining whether the spectrum of a bosonic Hamiltonian is finite is a co - NP - hard problem.
- It is found that the complexity of the ground - state energy problem depends on the non - Gaussianity (stellar rank) of the state set:
- For zero non - Gaussianity (i.e., Gaussian states), the problem is NP - complete.
- For polynomially bounded non - Gaussianity, the problem belongs to QMA.
- For unbounded non - Gaussianity, the problem is recursively enumerable - hard (RE - hard), that is, undecidable.

### Conclusion

This paper lays the foundation for the complexity theory of bosonic quantum computing and reveals the complexity and differences between continuous - variable quantum computing and traditional discrete - variable quantum computing. By introducing new complexity classes and problems, the authors not only expand the research scope of quantum - computing - complexity theory but also provide important open problems and directions for future research.