# An Introduction to Quantum Complexity Theory

@article{Cleve2000AnIT, title={An Introduction to Quantum Complexity Theory}, author={R. Cleve}, journal={arXiv: Quantum Physics}, year={2000}, pages={103} }

We give a basic overview of computational complexity, query complexity, and communication complexity, with quantum information incorporated into each of these scenarios. The aim is to provide simple but clear definitions, and to highlight the interplay between the three scenarios and currently-known quantum algorithms.

#### Figures from this paper

#### 84 Citations

Introduction to Recent Quantum Algorithms

- Computer Science
- MFCS
- 2001

The aim is to give a basic overview of the primary techniques used in proving upper and lower bounds and illustrate how to apply the techniques to a variety of problems, including the threshold function, parity, searching and sorting. Expand

Quantum Computational Complexity

- Mathematics, Computer Science
- Encyclopedia of Complexity and Systems Science
- 2009

Property of quantum complexity classes based on three fundamental notions: polynomial-time quantum computations, the efficient verification of quantum proofs, and quantum interactive proof systems are presented. Expand

Quantum Algorithm III

- Computer Science
- 2011

An algorithm introduced by Ohya and Volovich is discussed which can solve the NP-complete satisfiability (SAT) problem in polynomial time and goes beyond the quantum Turing machine paradigm. Expand

An Introduction to Quantum Computing

- Computer Science, Mathematics
- 2006

This book discusses quantum algorithms, a quantum model of computation, and algorithms with super-polynomial speed-up, as well as quantum computational complexity theory and lower bounds. Expand

Universal quantum processors with arbitrary radix n

- Physics, Mathematics
- OFC 2001
- 2001

Here is discussed the Hamiltonian approach to construction of deterministic universal (in approximate sense) programmable quantum circuits with qubits or any other quantum systems with dimension of… Expand

Quantum programming languages

- Computer Science
- Informatik - Forschung und Entwicklung
- 2006

The state of the art in the development of quantum programming languages is investigated, two kinds of such languages are distinguished, those targeting at practical applications or the programming of actual quantum computers and those targeting the theoretical analysis of quantum programs. Expand

Quantum Algorithms for Element Distinctness

- Computer Science, Mathematics
- SIAM J. Comput.
- 2005

We present several applications of quantum amplitude amplification for deciding whether all elements in the image of a given function are distinct, for finding an intersection of two sorted tables,… Expand

A Stochastic Limit Approach to the SAT Problem

- Mathematics, Physics
- Open Syst. Inf. Dyn.
- 2003

In this paper, a new concept of quantum adaptive stochastic systems is proposed, and it is shown that it can be used to solve the problem above. Expand

Quantum Challenges

- Computer Science
- SOFSEM
- 1999

The aim of the talk is to present and to analyse the current situation in quantum information processing and to point out main quantum challenges that need to be attacked in order to make a further progress in this fascinating and promising area. Expand

Quantum Algorithms

- Computer Science, Physics
- Encyclopedia of Complexity and Systems Science
- 2009

This work provides an explicit algorithm for generating any prescribed interference pattern with an arbitrary precision for quantum algorithms and shows how they are related to diierent instances of quantum phase estimation. Expand

#### References

SHOWING 1-10 OF 53 REFERENCES

Realizable Universal Quantum Logic Gates.

- Computer Science, Medicine
- Physical review letters
- 1995

This work identifies a 2-bit quantum gate that is sufficient to build any quantum logic network and proposes an explicit construction of this gate, which is based on cavity QED techniques and may be realizable with current technology. Expand

Complexity limitations on quantum computation

- Computer Science, Mathematics
- J. Comput. Syst. Sci.
- 1999

We use the powerful tools of counting complexity and generic oracles to help understand the limitations of the complexity of quantum computation. We show several results for the probabilistic quantum… Expand

Quantum gates and circuits

- Mathematics, Physics
- Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
- 1998

A historical review is given of the emergence of the idea of the quantum logic gate from the theory of reversible Boolean gates. I highlight the quantum XOR or controlled NOT as the fundamental… Expand

Fast quantum verification for the formulas of predicate calculus

- Mathematics, Physics
- 1998

Quantum algorithm is constructed which veries the formula s of predicate calculus in time O( p N) with bounded error probability, where N is the time required for classical algorithms. This algorithm… Expand

The Probabilistic Communication Complexity of Set Intersection

- Mathematics, Computer Science
- SIAM J. Discret. Math.
- 1987

It is shown that, for inputs of length n, the probabilistic (bounded error) communication complexity of set intersection is $\Theta ( n )$. Since set intersection can be recognized nondeterministic...

Quantum algorithms revisited

- Mathematics, Physics
- Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
- 1998

Quantum computers use the quantum interference of different computational paths to enhance correct outcomes and suppress erroneous outcomes of computations. A common pattern underpinning quantum… Expand

Quantum Counting

- Computer Science, Physics
- ICALP
- 1998

This work generalizes the Grover iteration in the light of a concept called amplitude amplification, and shows that the quadratic speedup obtained by the quantum searching algorithm over classical brute force can still be obtained for a large family of search problems for which good classical heuristics exist. Expand

Quantum computational networks

- Mathematics
- Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences
- 1989

The theory of quantum computational networks is the quantum generalization of the theory of logic circuits used in classical computing machines. Quantum gates are the generalization of classical… Expand

Quantum measurements and the Abelian Stabilizer Problem

- Computer Science, Mathematics
- Electron. Colloquium Comput. Complex.
- 1996

A polynomial quantum algorithm for the Abelian stabilizer problem which includes both factoring and the discrete logarithm is presented, based on a procedure for measuring an eigenvalue of a unitary operator. Expand

Quantum Circuit Complexity

- Mathematics, Computer Science
- FOCS
- 1993

It is shown that any function computable in polynomial time by a quantum Turing machine has aPolynomial-size quantum circuit, and this result enables us to construct a universal quantum computer which can simulate a broader class of quantum machines than that considered by E. Bernstein and U. Vazirani (1993), thus answering an open question raised by them. Expand