Uncomputation

Creating a logical conjunction of the five controls out of Toffoli gates and ancilla bits. Uncomputation is used to restore the ancilla bits to their original states before finishing.

Uncomputation is a technique, used in reversible circuits, for cleaning up temporary effects on ancilla bits so that they can be re-used.

Uncomputation is a fundamental step in quantum computing algorithms. Whether or not intermediate effects have been uncomputed affects how states interfere with each other when measuring results.

The process is primarily motivated by the principle of implicit measurement., which states that ignoring a register during computation is physically equivalent to measuring it. Failure to uncompute the necessary garbage registers can have unintentional consequences on during computation, such as superposition collapse. For example, if we take the state ${\frac {1}{{\sqrt {(}}2)}}(|0\rangle |g_{0}\rangle +|1\rangle |g_{1}\rangle )$ where $g_{0}$ and $g_{1}$