I am getting confused about the meaning of the term "ancilla" qubit. It's use seems to vary a lot in different situations. I have read (in numerous places) that an ancilla is a constant input - but in nearly all of the algorithms I know (Simion's, Grover's, Deutsch etc) all the qubits are of constant input and therefore would be considered ancilla. Given that this does not seem to be the case - what is the general meaning of an "ancilla" qubit in quantum computers?


The general meaning of ancilla in ancilla qubit is auxiliary. In particular, when people write about "constant input" what they mean is that, for a given algorithm -which has a purpose, such as finding the prime factors of an input number, or effecting a simple arithmetic operation between two input numbers the value of the ancilla qubits will be independent of the value of the input.

Probably your confusion arises because some algorithms study a function, employing a constant input, rather than study an input, using a constant function. Maybe in these cases the term ancilla qubit makes less sense, since, as you point out, all input qubits are constant and act as ancillae.

  • $\begingroup$ It seems a bit silly to look at ancient etymology of ancilla to derive some slavery message; from my point of view it's obviously related to ancillary which has the same etymology but is a perfectly normal word in english usage, and has zero slavery connotation, latin etymology notwithstanding. $\endgroup$ – Mario Carneiro Apr 22 '18 at 1:22

When translating a classical circuit into a quantum circuit, you often need to introduce extra qubits simply because quantum computers only implement reversible logic. Such extra qubits are ancilla (or ancillary qubits).

One way to spot which qubits are ancilla is to look for those qubits that typically need to be "uncomputed" when using the quantum circuit as a quantum oracle in another quantum algorithm.

  • 1
    $\begingroup$ or the ancillas might be measured and then thrown away, as in the case of error correction, so they're only a temporary part of the computation. $\endgroup$ – DaftWullie Apr 21 '18 at 16:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.