On the Significance of the Gottesman-Knill Theorem
arXiv:1310.0938 · doi:10.1093/bjps/axv016
Abstract
According to the Gottesman-Knill theorem, quantum algorithms which utilise only the operations belonging to a certain restricted set are efficiently simulable classically. Since some of the operations in this set generate entangled states, it is commonly concluded that entanglement is insufficient to enable quantum computers to outperform classical computers. I argue in this paper that this conclusion is misleading. First, the statement of the theorem (that the particular set of quantum operations in question can be simulated using a classical computer) is, on reflection, already evident when we consider Bell's and related inequalities in the context of a discussion of computational machines. This, in turn, helps us to understand that the appropriate conclusion to draw from the Gottesman-Knill theorem is not that entanglement is insufficient to enable a quantum performance advantage, but rather that if we limit ourselves to the operations referred to in the Gottesman-Knill theorem, we will not have used the resources provided by an entangled quantum system to their full potential.
Forthcoming in the British Journal for the Philosophy of Science (this is the submitted version). Note that this article supersedes arXiv:1207.5236
References in corpus (5)
Cited by in corpus (7)
- Interaction signatures and non-Gaussian photon states from a strongly driven atomic ensemble coupled to a nanophotonic waveguide
- No-Go Theorems: What Are They Good For?
- Feynman-path type simulation using stabilizer projector decomposition of unitaries
- Information Causality, the Tsirelson Bound, and the 'Being-Thus' of Things
- Reconsidering No-Go Theorems from a Practical Perspective
- On The Stabilizer Formalism And Its Generalization
- Distribution of Non-Locality On Quantum Random Circuits