物理学では、量子情報理論の量子削除不可能定理（りょうしさくじょふかのうていり）は、任意の量子状態の2つのコピーが与えられた場合、コピーの1つを削除することは不可能であることを示すNo-go定理である[1]。これは、任意の状態はコピーできないという量子複製不可能定理の時間反転双対である [2][3]。この定理は、多くの意味で量子状態が壊れやすいため、注目に値するようだが、特定のケースでは、それらも堅牢であると主張している。物理学者アルンK.パティとサミュエルL.ブラウンスタインはこの定理を証明した。

削除不可能定理は、複製不可能定理とともに、圏論の観点から、特にダガー対称モノイド圏としての量子力学の解釈を支えている[4][5]。カテゴリカル量子力学として知られるこの定式化により、量子力学から量子情報理論の論理としての線形論理への接続が可能になる（デカルト閉圏に基づく古典論理とまったく同じ類似）。
量子削除の概要

未知の量子状態のコピーが 2 つあるとする。この文脈での適切な質問は、2つの同一のコピーが与えられた場合、量子力学的操作を使用してそれらのうちの1つを削除することが可能かどうかを尋ねることである。削除不可能定理は、量子力学の線形性の結果である。複製不可能定理と同様に、これは量子コンピューティング、量子情報理論、および一般的な量子力学において重要な意味を持つ。

量子削除のプロセスでは、入力ポートで任意の不明な量子状態のコピーを 2 つ取得し、元の状態と共に空白の状態を出力する。数学的には、これは次のように記述できる。 U 。 ψ ⟩ A 。 ψ ⟩ B 。 A ⟩ C = 。 ψ ⟩ A 。 0 ⟩ B 。 A ′ ⟩ C {\displaystyle U|\psi \rangle _{A}|\psi \rangle _{B}|A\rangle _{C}=|\psi \rangle _{A}|0\rangle _{B}|A'\rangle _{C}}

U {\displaystyle U} はユニタリである必要のない削除操作であり(線形操作)、 。 ψ ⟩ A {\displaystyle |\psi \rangle _{A}} は未知の量子状態、 。 0 ⟩ B {\displaystyle |0\rangle _{B}} は空状態、 。 A ⟩ C {\displaystyle |A\rangle _{C}} は削除マシンの初期状態、 。 A ′ ⟩ C {\displaystyle |A'\rangle _{C}} はマシンの最終状態。

古典ビットは直行状態の 量子ビットと同様にコピーおよび削除できることに注意。 例えば2つの量子ビット 。 00 ⟩ {\displaystyle |00\rangle } と 。 11 ⟩ {\displaystyle |11\rangle } があるとき、これを 。 00 ⟩ {\displaystyle |00\rangle } と 。 10 ⟩ {\displaystyle |10\rangle } へ変換できる。 この場合、2つめのコピーを削除している。しかし、量子論の線型性から、任意の状態 。 ψ ⟩ {\displaystyle |\psi \rangle } に対して削除操作を実行できる U {\displaystyle U} は存在しないことがわかる。
削除不可能定理の正式な主張

。 ψ ⟩ {\displaystyle |\psi \rangle } をヒルベルト空間上の未知の量子状態とする。その場合、次のような線形等角変換はない。 。 ψ ⟩ A 。 ψ ⟩ B 。 A ⟩ C → 。 ψ ⟩ A 。 0 ⟩ B 。 A ′ ⟩ C {\displaystyle |\psi \rangle _{A}|\psi \rangle _{B}|A\rangle _{C}\rightarrow |\psi \rangle _{A}|0\rangle _{B}|A'\rangle _{C}} ,
証明

この定理は、任意の次元のヒルベルト空間における量子状態に対して成り立つ。わかりやすくするために、2 つの同一の量子ビットの削除変換を検討する。2つの量子ビットが直交状態にある場合、削除には次が必要。 。 0 ⟩ A 。 0 ⟩ B 。 A ⟩ C → 。 0 ⟩ A 。 0 ⟩ B 。 A 0 ⟩ C {\displaystyle |0\rangle _{A}|0\rangle _{B}|A\rangle _{C}\rightarrow |0\rangle _{A}|0\rangle _{B}|A_{0}\rangle _{C}} , 。 1 ⟩ A 。 1 ⟩ B 。 A ⟩ C → 。 1 ⟩ A 。 0 ⟩ B 。 A 1 ⟩ C {\displaystyle |1\rangle _{A}|1\rangle _{B}|A\rangle _{C}\rightarrow |1\rangle _{A}|0\rangle _{B}|A_{1}\rangle _{C}} .

。 ψ ⟩ = α 。 0 ⟩ + β 。 1 ⟩ {\displaystyle |\psi \rangle =\alpha |0\rangle +\beta |1\rangle } を未知の量子ビットの状態とする。もし未知の量子状態の2つのコピーを持っている時、削除変換の線形性によって 。 ψ ⟩ A 。 ψ ⟩ B 。 A ⟩ C = [ α 2 。 0 ⟩ A 。 0 ⟩ B + β 2 。 1 ⟩ A 。 1 ⟩ B + α β ( 。 0 ⟩ A 。 1 ⟩ B + 。 1 ⟩ A 。 0 ⟩ B ) ] 。 A ⟩ C {\displaystyle |\psi \rangle _{A}|\psi \rangle _{B}|A\rangle _{C}=[\alpha ^{2}|0\rangle _{A}|0\rangle _{B}+\beta ^{2}|1\rangle _{A}|1\rangle _{B}+\alpha \beta (|0\rangle _{A}|1\rangle _{B}+|1\rangle _{A}|0\rangle _{B})]|A\rangle _{C}} → α 2 。 0 ⟩ A 。 0 ⟩ B 。 A 0 ⟩ C + β 2 。 1 ⟩ A 。 0 ⟩ B 。 A 1 ⟩ C + 2 α β 。 Φ ⟩ A B C . {\displaystyle \qquad \rightarrow \alpha ^{2}|0\rangle _{A}|0\rangle _{B}|A_{0}\rangle _{C}+\beta ^{2}|1\rangle _{A}|0\rangle _{B}|A_{1}\rangle _{C}+{\sqrt {2}}\alpha \beta |\Phi \rangle _{ABC}.}

上記の式では、次の変換が使用されている。 1 / 2 ( 。 0 ⟩ A 。 1 ⟩ B + 。 1 ⟩ A 。 0 ⟩ B ) 。 A ⟩ C → 。 Φ ⟩ A B C . {\displaystyle 1/{\sqrt {2}}(|0\rangle _{A}|1\rangle _{B}+|1\rangle _{A}|0\rangle _{B})|A\rangle _{C}\rightarrow |\Phi \rangle _{ABC}.}

ただし、コピーを削除できる場合は、削除マシンの出力ポートで、結合された状態は次のようになる。 。 ψ ⟩ A 。 0 ⟩ B 。 A ′ ⟩ C = ( α 。 0 ⟩ A 。 0 ⟩ B + β 。 1 ⟩ A 。