アンコンピュテーション

アンコンピュテーション（Uncomputation）は、可逆計算回路で使用される手法であり、アンシラビットに一時的に生じた効果を消去して再利用できるようにするためのものである^[1]。

計算の解除は、量子計算アルゴリズムにおける基本的な工程である。途中の効果が解除されているかどうかは、結果を測定する際に、状態同士がどのように干渉するかに影響する^[2]。

この手法の主な理論的根拠は暗黙的測定の原理^{[3][要ページ番号]}であり、これは「計算中にレジスタを破棄することは、それを測定することと物理的に同等である」と述べている。ガーベジレジスタの計算解除を行わない場合、意図しない結果を招くことがある。例えば次のような状態を考える。

${\displaystyle }$ ${\displaystyle {\frac {1}{\sqrt {2}}}(|0\rangle |g_{0}\rangle +|1\rangle |g_{1}\rangle )}$ where ${\displaystyle g_{0}}$

ここで${\displaystyle g_{0}}$と${\displaystyle g_{1}}$はガーベジレジスタである。このレジスタに対してそれ以上の操作を行わない場合、暗黙的測定の原理に従えば、このエンタングルされた状態は測定され、確率${\displaystyle |0\rangle |g_{0}\rangle }$または${\displaystyle |1\rangle |g_{1}\rangle }$確率で${\displaystyle {\frac {1}{2}}}$のいずれかに崩壊する。問題なのは、この波動関数の崩壊がプログラムの終了前に発生することであり、結果が期待と異なるものになる可能性がある点である。