Quantum complexity theory

A complexity class is a collection of computational problems that can be solved by a computational model under certain resource constraints. For instance, the complexity class P is defined as the set of problems solvable by a Turing machine in polynomial time. Similarly, quantum complexity classes may be defined using quantum models of computation, such as the quantum circuit model or the equivalent quantum Turing machine. One of the main aims of quantum complexity theory is to find out how these classes relate to classical complexity classes such as P, NP, BPP, and PSPACE.

One of the reasons quantum complexity theory is studied are the implications of quantum computing for the modern Church-Turing thesis. In short the modern Church-Turing thesis states that any computational model can be simulated in polynomial time with a probabilistic Turing machine.[1][2] However, questions around the Church-Turing thesis arise in the context of quantum computing. It is unclear whether the Church-Turing thesis holds for the quantum computation model. There is much evidence that the thesis does not hold. It may not be possible for a probabilistic Turing machine to simulate quantum computation models in polynomial time.[1]

Both quantum computational complexity of functions and classical computational complexity of functions are often expressed with asymptotic notation. Some common forms of asymptotic notion of functions are ${\displaystyle O(T(n))}$, ${\displaystyle \Omega (T(n))}$, and ${\displaystyle \Theta (T(n))}$. ${\displaystyle O(T(n))}$ expresses that something is bounded above by ${\displaystyle cT(n)}$ where ${\displaystyle c}$ is a constant such that ${\displaystyle c>0}$ and ${\displaystyle T(n)}$ is a function of ${\displaystyle n}$, ${\displaystyle \Omega (T(n))}$ expresses that something is bounded below by ${\displaystyle cT(n)}$ where ${\displaystyle c}$ is a constant such that ${\displaystyle c>0}$ and ${\displaystyle T(n)}$ is a function of ${\displaystyle n}$, and ${\displaystyle \Theta (T(n))}$ expresses both ${\displaystyle O(T(n))}$ and ${\displaystyle \Omega (T(n))}$.[3] These notations also their own names. ${\displaystyle O(T(n))}$ is called Big O notation, ${\displaystyle \Omega (T(n))}$ is called Big Omega notation, and ${\displaystyle \Theta (T(n))}$ is called Big Theta notation.

Some important complexity classes are P, BPP, BQP, PP, and P-Space. To define these we first define a promise problem. A promise problem is a decision problem which has an input assumed to be selected from the set of all possible input strings. A promise problem is a pair ${\displaystyle A=(A_{yes},A_{no})}$. ${\displaystyle A_{yes}}$ is the set of yes instances, ${\displaystyle A_{no}}$ is the set of no instances, and the intersection of these sets is such that ${\displaystyle A_{yes}\cap A_{no}=\emptyset }$. All of the previous complexity classes contain promise problems.[4]

Complexity Class	Criteria
P	Promise problems for which a polynomial time deterministic Turing machine accepts all strings in ${\displaystyle A_{yes}}$ and rejects all strings in ${\displaystyle A_{no}}$[4]
BPP	Promise problems for which a polynomial time Probabilistic Turing machine accepts every string in ${\displaystyle A_{yes}}$ with a probability of at least ${\displaystyle {\frac {2}{3}}}$, and accepts every string in ${\displaystyle A_{no}}$ with a probability of at most ${\displaystyle {\frac {1}{3}}}$[4]
BQP	Promise problems such that for functions ${\displaystyle a,b:\mathbb {N} \rightarrow [0,1]}$, there exists a polynomial time generated family of quantum circuits ${\displaystyle Q={\{Q_{n}:n\in \mathbb {N} \}}}$, where ${\displaystyle Q_{n}}$ is a circuit which accepts ${\displaystyle n}$ qubits and gives an output of one qubit. An element ${\displaystyle x}$ of ${\displaystyle A_{yes}}$ is accepted by ${\displaystyle Q}$ with a probability greater than or equal to ${\displaystyle a(\left\vert x\right\vert )}$. An element ${\displaystyle x}$ of ${\displaystyle A_{no}}$ is accepted by ${\displaystyle Q}$ with a probability less than or equal to ${\displaystyle b(\left\vert x\right\vert )}$.[4]
PP	Promise problems for which a polynomial time Probabilistic Turing machine accepts every string in ${\displaystyle A_{yes}}$ with a probability greater than ${\displaystyle {\frac {1}{2}}}$, and accepts every string in ${\displaystyle A_{no}}$ with a probability of at most ${\displaystyle {\frac {1}{2}}}$[4]
P-SPACE	Promise problems for which a deterministic Turing machine, that runs in polynomial space, accepts every string in ${\displaystyle A_{yes}}$ and rejects all strings in ${\displaystyle A_{no}}$[4]

The suspected relationship of BQP to other complexity classes.[5]

The class of problems that can be efficiently solved by a quantum computer with bounded error is called BQP ("bounded error, quantum, polynomial time"). More formally, BQP is the class of problems that can be solved by a polynomial-time quantum Turing machine with error probability of at most 1/3.

As a class of probabilistic problems, BQP is the quantum counterpart to BPP ("bounded error, probabilistic, polynomial time"), the class of problems that can be efficiently solved by probabilistic Turing machines with bounded error.[6] It is known that BPP${\displaystyle \subseteq }$BQP and widely suspected, but not proven, that BQP${\displaystyle \nsubseteq }$BPP, which intuitively would mean that quantum computers are more powerful than classical computers in terms of time complexity.[7] BQP is a subset of PP.

The exact relationship of BQP to P, NP, and PSPACE is not known. However, it is known that P${\displaystyle \subseteq }$BQP${\displaystyle \subseteq }$PSPACE; that is, the class of problems that can be efficiently solved by quantum computers includes all problems that can be efficiently solved by deterministic classical computers but does not include any problems that cannot be solved by classical computers with polynomial space resources. It is further suspected that BQP is a strict superset of P, meaning there are problems that are efficiently solvable by quantum computers that are not efficiently solvable by deterministic classical computers. For instance, integer factorization and the discrete logarithm problem are known to be in BQP and are suspected to be outside of P. On the relationship of BQP to NP, little is known beyond the fact that some NP problems are in BQP (integer factorization and the discrete logarithm problem are both in NP, for example). It is suspected that NP${\displaystyle \nsubseteq }$BQP; that is, it is believed that there are efficiently checkable problems that are not efficiently solvable by a quantum computer. As a direct consequence of this belief, it is also suspected that BQP is disjoint from the class of NP-complete problems (if any NP-complete problem were in BQP, then it follows from NP-hardness that all problems in NP are in BQP).[8]

The relationship of BQP to the essential classical complexity classes can be summarized as:

${\displaystyle {\mathsf {P\subseteq BPP\subseteq BQP\subseteq PP\subseteq PSPACE}}}$

It is also known that BQP is contained in the complexity class #P (or more precisely in the associated class of decision problems P^#P),[8] which is a subset of PSPACE.

There is no known way to efficiently simulate a quantum computational model with a classical computer. This means that a classical computer cannot simulate a quantum computational model in polynomial time. However, a quantum circuit of ${\displaystyle S(n)}$ qubits with ${\displaystyle T(n)}$ quantum gates can be simulated by a classical circuit with ${\displaystyle O(2^{S(n)}T(n)^{3})}$ classical gates.[3] This number of classical gates is obtained by determining how many bit operations are necessary to simulate the quantum circuit. In order to do this, first the amplitudes associated with the ${\displaystyle S(n)}$ qubits must be accounted for. Each of the states of the ${\displaystyle S(n)}$ qubits can be described by a two-dimensional complex vector, or a state vector. These state vectors can also be described a linear combination of its component vectors with coefficients called amplitudes. These amplitudes are complex numbers which are normalized to one, meaning the sum of the squares of the absolute values of the amplitudes must be one.[3] The entries of the state vector are these amplitudes. Which entry each of the amplitudes are correspond to the none-zero component of the component vector which they are the coefficients of in the linear combination description. As an equation this is described as ${\displaystyle \alpha {\begin{bmatrix}1\\0\end{bmatrix}}+\beta {\begin{bmatrix}0\\1\end{bmatrix}}={\begin{bmatrix}\alpha \\\beta \end{bmatrix}}}$ or ${\displaystyle \alpha \left\vert 1\right\rangle +\beta \left\vert 0\right\rangle ={\begin{bmatrix}\alpha \\\beta \end{bmatrix}}}$ using Dirac notation. The state of the entire ${\displaystyle S(n)}$ qubit system can be described by a single state vector. This state vector describing the entire system is the tensor product of the state vectors describing the individual qubits in the system. The result of the tensor products of the ${\displaystyle S(n)}$ qubits is a single state vector which has ${\displaystyle 2^{S(n)}}$ dimensions and entries that are the amplitudes associated with each basis state or component vector. Therefore, ${\displaystyle 2^{S(n)}}$amplitudes must be accounted for with a ${\displaystyle 2^{S(n)}}$ dimensional complex vector which is the state vector for the ${\displaystyle S(n)}$ qubit system.[9] In order to obtain an upper bound for the number of gates required to simulate a quantum circuit we need a sufficient upper bound for the amount data used to specify the information about each of the ${\displaystyle 2^{S(n)}}$ amplitudes. To do this ${\displaystyle O(T(n))}$ bits of precision are sufficient for encoding each amplitude.[3] So it takes ${\displaystyle O(2^{S(n)}T(n))}$ classical bits to account for the state vector of the ${\displaystyle S(n)}$ qubit system. Next the application of the ${\displaystyle T(n)}$ quantum gates on ${\displaystyle 2^{S(n)}}$ amplitudes must be accounted for. The quantum gates can be represented as ${\displaystyle 2^{S(n)}\times 2^{S(n)}}$ sparse matrices.[3] So to account for the application of each of the ${\displaystyle T(n)}$ quantum gates, the state vector must be multiplied by a ${\displaystyle 2^{S(n)}\times 2^{S(n)}}$ sparse matrix for each of the ${\displaystyle T(n)}$ quantum gates. Every time the state vector is multiplied by a ${\displaystyle 2^{S(n)}\times 2^{S(n)}}$ sparse matrix, ${\displaystyle O(2^{S(n)})}$ arithmetic operations must be performed.[3] Therefore, there are ${\displaystyle O(2^{S(n)}T(n)^{2})}$ bit operations for every quantum gate applied to the state vector. So ${\displaystyle O(2^{S(n)}T(n)^{2})}$ classical gate are needed to simulate ${\displaystyle S(n)}$ qubit circuit with just one quantum gate. Therefore, ${\displaystyle O(2^{S(n)}T(n)^{3})}$ classical gates are needed to simulate a quantum circuit of ${\displaystyle S(n)}$ qubits with ${\displaystyle T(n)}$ quantum gates.[3] While there is no known way to efficiently simulate a quantum computer with a classical computer, it is possible to efficiently simulate a classical computer with a quantum computer. This is evident from the belief that ${\displaystyle BBP\subseteq BQP}$.[4]

One major advantage of using a quantum computational system instead of a classical one, is that a quantum computer may be able to give a polynomial time algorithm for some problem for which no classical polynomial time algorithm exists, but more importantly, a quantum computer may significantly decrease the calculation time for a problem that a classical computer can already solve efficiently. Essentially, a quantum computer may be able to both determine how long it will take to solve a problem, while a classical computer may be unable to do so, and can also greatly improve the computational efficiency associated with the solution to a particular problem. Quantum query complexity refers to how complex, or how many queries to the graph associated with the solution of a particular problem, are required to solve the problem. Before we delve further into query complexity, let us consider some background regarding graphing solutions to particular problems, and the queries associated with these solutions.

Quantum query complexity of certain types of graph problems

Both of the above models can be used to determine the query complexity of particular types of graphing problems, including the connectivity, strong connectivity (a directed graph version of the connectivity model), minimum spanning tree, and single source shortest path models of graphs. An important caveat to consider is that the quantum complexity of a particular type of graphing problem can change based on the query model (namely either matrix or array) used to determine the solution. The following table showing the quantum query complexities of these types of graphing problems illustrates this point well.

Quantum Query Complexity of Certain Types of Graph Problems

Problem	Matrix Model	Array Model
Minimum Spanning Tree	${\displaystyle \Theta (n^{3/2})}$	${\displaystyle \Theta ({\sqrt {nm}})}$
Connectivity	${\displaystyle \Theta (n^{3/2})}$	${\displaystyle \Theta (n)}$
Strong Connectivity	${\displaystyle \Theta (n^{3/2})}$	${\displaystyle \Omega ({\sqrt {nm}})}$, ${\displaystyle O({\sqrt {nmlog(n)}})}$
Single Source Shortest Path	${\displaystyle \Omega (n^{3/2})}$, ${\displaystyle O(n^{3/2}log^{2}n)}$	${\displaystyle \Omega ({\sqrt {nm}})}$, ${\displaystyle O({\sqrt {nm}}log^{2}(n))}$

Notice the discrepancy between the quantum query complexities associated with a particular type of problem, depending on which query model was used to determine the complexity. For example, when the matrix model is used, the quantum complexity of the connectivity model in Big O notation is ${\displaystyle \Theta (n^{3/2})}$, but when the array model is used, the complexity is ${\displaystyle \Theta (n)}$. Additionally, for brevity, we use the shorthand ${\displaystyle m}$ in certain cases, where ${\displaystyle m=\Theta (n^{2})}$.[11] The important implication here is that the efficiency of the algorithm used to solve a graphing problem is dependent on the type of query model used to model the graph.

• Quantum computing
• Quantum Turing machine
• Polynomial hierarchy (PH)

• Nielsen, Michael; Chuang, Isaac (2000). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. ISBN 978-0-521-63503-5. OCLC 174527496.
• Arora, Sanjeev; Barak, Boaz (2016). Computational Complexity: A Modern Approach. Cambridge University Press. pp. 201–236. ISBN 978-0-521-42426-4.
• Watrous, John (2008). "Quantum Computational Complexity". arXiv:0804.3401v1 [quant-ph].
• Watrous J. (2009) Quantum Computational Complexity. In: Meyers R. (eds) Encyclopedia of Complexity and Systems Science. Springer, New York, NY

• MIT lectures by Scott Aaronson