Ancilla bit

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In classical computation any memory bit can be turned on or off at will, requiring no prior knowledge or extra gadgetry. This is not the case in quantum (or classical reversible) computation, however, as operations in these models are reversible, while turning a bit on (or off) would lose the information about the initial value of that bit. For this reason, in a quantum computation there is no way to deterministically put bits in a specific prescribed state unless one is given access to bits whose original state is known in advance. Such bits which are known in advance to be in the state are called ancilla bits.

Using three ancilla bits and four Toffoli gates to construct a NOT gate with 5 controls. The ancilla bits end up trashed because the effects on them were not uncomputed.

A trivial use for ancilla bits is downgrading complicated quantum gates into simple gates. For example, by placing controls on ancilla bits, a Toffoli gate can be used as a controlled NOT gate or a NOT gate.[1]:29

For classical reversible computation it is known that a single ancilla bit is necessary and sufficient for universal computation.[2] Additional ancilla bits are not necessary, but the extra workspace can allow for simpler circuit constructions that use fewer gates.[1]:131

In quantum computing, quantum catalysis uses ancilla qubits to store entangled states that enable tasks that would not normally be possible with local operations and classical communication (LOCC).[3] Quantum computers also use ancilla bits for quantum error correction.[4]


  1. ^ a b Nielsen, Michael A.; Chuang, Isaac L. (2010). Quantum Computation and Quantum Information (2nd ed.). Cambridge: Cambridge University Press. ISBN 978-1-107-00217-3. 
  2. ^ Aaronson, Scott; Grier, Daniel; Schaeffer, Luke (2015). "The Classification of Reversible Bit Operations". arXiv:1504.05155Freely accessible [quant-ph]. 
  3. ^ Azuma, Koji; Koashi, Masato; Imoto, Nobuyuki (2008). "Quantum catalysis of information". arXiv:0804.2426Freely accessible [quant-ph]. 
  4. ^ Shor, Peter W. (1 October 1995). "Scheme for reducing decoherence in quantum computer memory". Physical Review A. 52 (4): R2493–R2496. Bibcode:1995PhRvA..52.2493S. doi:10.1103/PhysRevA.52.R2493. Retrieved 6 June 2015.