Quantum Parameterized Complexity
Abstract
Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of parameterized complexity classes and examine the relationship between these classes, their classical counterparts, and well-studied problems. This framework exposes a rich classification of the complexity of parameterized versions of QMA-hard problems, demonstrating, for example, a clear separation between the Quantum Circuit Satisfiability problem and the Local Hamiltonian problem.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.08002
- arXiv:
- arXiv:2203.08002
- Bibcode:
- 2022arXiv220308002B
- Keywords:
-
- Quantum Physics;
- Computer Science - Computational Complexity;
- Computer Science - Data Structures and Algorithms
- E-Print:
- 23 pages, 1 figure