On the Satisfiability of Quantum Circuits of Small Treewidth

• Published in: Theory of computing systems Vol. 61; no. 2; pp. 656 - 688
• Main Author: Oliveira Oliveira, Mateus de
• Format: Journal Article
• Language: English
• Published: New York Springer US 01-08-2017; Springer Nature B.V
• Subjects: Algorithms; Circuits; Complexity; Computer Science; Gates; Gates (circuits); Optimization; Quantum theory; Scheduling algorithms; Theory of Computation; Satisfiability of quantum circuits; Tensor networks; Merlin-Arthur protocols; Treewidth
• ISSN: 1432-4350; 1433-0490
• DOI: 10.1007/s00224-016-9727-8

It has been known for almost three decades that many NP-hard optimization problems can be solved in polynomial time when restricted to structures of constant treewidth. In this work we provide the first extension of such results to the quantum setting. We show that given a quantum circuit
C
with
n
uninitialized inputs,
p
o
l
y
(
n
) gates, and treewidth
t
, one can compute in time
(
n
δ
)
exp
(
O
(
t
)
)
a classical assignment
y
∈{0,1}
n
that maximizes the acceptance probability of
C
up to a
δ
additive factor. In particular, our algorithm runs in polynomial time if
t
is constant and 1/
p
o
l
y
(
n
)<
δ
<1. For unrestricted values of
t
, this problem is known to be complete for the complexity class QCMA, a quantum generalization of MA. In contrast, we show that the same problem is NP-complete if
t
=
O
(log
n
) even when
δ
is constant. On the other hand, we show that given a
n
-input quantum circuit
C
of treewidth
t
=
O
(log
n
), and a constant
δ
<1/2, it is QMA-complete to determine whether there exists a quantum state
|
φ
〉
∈
(
ℂ
d
)
⊗
n
such that the acceptance probability of
C
|
φ
〉 is greater than 1−
δ
, or whether for every such state |
φ
〉, the acceptance probability of
C
|
φ
〉 is less than
δ
. As a consequence, under the widely believed assumption that QMA≠NP, we have that quantum witnesses are strictly more powerful than classical witnesses with respect to Merlin-Arthur protocols in which the verifier is a quantum circuit of logarithmic treewidth.