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.[1]

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.[2]

The process is primarily motivated by the principle of implicit measurement,[3][page needed] which states that discarding a register during computation is physically equivalent to measuring it. Failure to uncompute garbage registers can have unintentional consequences. For example, if we take the state where and are garbage registers. Then, if we do not apply any further operations to those registers, according to the principle of implicit measurement, the entangled state has been measured, resulting in a collapse to either or with probability . What makes this undesirable is that wave-function collapse occurs before the program terminates, and thus may not yield the expected result.

References

edit
  1. ^ Aaronson, Scott; Grier, Daniel; Schaeffer, Luke (2015). "The Classification of Reversible Bit Operations". arXiv:1504.05155 [quant-ph].
  2. ^ Aaronson, Scott (2002). "Quantum Lower Bound for Recursive Fourier Sampling". Quantum Information and Computation. 3 (2): 165–174. arXiv:quant-ph/0209060. Bibcode:2002quant.ph..9060A. doi:10.26421/QIC3.2-7.
  3. ^ Nielsen, Michael A.; Chuang, Isaac L. (2010). Quantum computation and quantum information (10th Anniversary ed.). Cambridge: Cambridge University Press. ISBN 978-1107002173.


📚 Artikel Terkait di Wikipedia

Ancilla bit

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.

Quantum logic gate

function has run to completion, the ancilla qubits can then either be uncomputed or left untouched. Measuring or otherwise collapsing the quantum state

Reversible programming language

current t=9. (<= 9 0) is false.  ;; So, 'do_run' (if we consider its "uncomputed" state) would correspond to 'false'.  ;; The 'if do_run' block's 'then'

Fixed-income attribution

some cases these may simply not be available. The return made by such uncomputed risks may be grouped into an ‘Other’ category in the attribution report

HHL algorithm

measurement with a nonzero probability of failure. After it succeeds, we have uncomputed the | λ j ⟩ {\displaystyle |\lambda _{j}\rangle } register and have a

Program Inversion, Interpretation, and Injectivization

to ensure that any temporary state used by the interpreter is properly uncomputed or managed. The Bob architecture is an example of a proposed reversible