[論文レビュー] Impossibility of comparing and sorting quantum states

A Arul|ArXiv.org|Jul 17, 2001

Quantum Information and Cryptography参考文献 5被引用数 7

ひとこと要約

この論文は、ユニタリな量子操作を用いて、非直交な量子状態の集合を比較・ソートすることは根本的になされないことを証明している。量子変換のユニタリティに着目することで、著者は、ユニタリ操作が非直交状態を区別できないことを示しており、これは、任意の量子状態の比較やソートを実行する量子回路が存在し得ないことを示している。これは、量子情報処理におけるノーコピーやノーデリートの定理を超えた根本的な制限を示している。

ABSTRACT

Is there any point of principle that prohibits us from doing one or more forms of quantum information processing? It is now well known that an unknown quantum state can neither be copied nor deleted perfectly. Given a set of states which are not necessarily orthogonal, is it possible to compare any two states from the set, given some reasonable ordering of such states? Is it possible to sort them in some specific order? In the context of quantum computation, it is shown here that there is no quantum circuit implementing a unitary transformation, for comparing and sorting an unrestricted set of quantum states.

研究の動機と目的

• 量子コンピュータが任意の量子状態に対して比較やソートといった基本的演算を実行できるかどうかを調査すること。
• 非直交な量子状態に対して、ユニタリ変換がコンパレータまたはソーティング操作を実装できるかどうかを特定すること。
• 既知のノーゴ定理を超えて、量子計算における許容可能と禁止された操作の境界を明確にすること。
• ユニタリティの制約により、量子情報処理は非直交状態の比較・ソーティングに拡張できないことを確立すること。

提案手法

• 入力状態の順序に基づき、|ψi⟩ < |ψj⟩ かどうかを示す制御キュービットを出力するユニタリ変換として、量子コンパレータを形式化すること。
• 状態の値を v(|ψ⟩) = ⟨ψ|X|ψ⟩ で定義し、その値に基づいて入力状態を単調増加の順序に並び替えるソーティング変換を定義すること。
• コンパレータおよびソーティング操作にユニタリティの制約を適用し、状態間の内積に必要な条件を導出すること。
• 非直交状態が比較可能またはソーティング可能であると仮定した場合に矛盾を導き出し、⟨ψi|ψj⟩ がゼロでなければならないことを示すこと。
• ユニタリティから得られる内積の一貫性条件を用いて、非直交状態が必要な変換関係を満たせないことを証明すること。
• 具体的な三状態の例を分析し、非直交性がユニタリ進化下で一貫しない内積の要件を引き起こすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ユニタリな量子回路は、二つの非直交な量子状態を比較し、古典的な比較結果を出力できるか？
• RQ2 任意の非直交な量子状態の集合を、事前に定義された順序にソートするユニタリ変換を設計することは可能か？
• RQ3 量子ユニタリティは、非直交な量子状態の比較・ソーティングにどのような制約を課えるか？
• RQ4 事前に状態の値が分かっている場合、ペアワイズの比較なしに量子ソーティングを達成できるか？
• RQ5 非直交状態の比較が不可能であるという事実は、ソーティングのようなより複雑な操作へと拡張されるか？

主な発見

• ユニタリティにより、非直交状態を区別できないため、量子コンパレータは非直交状態を区別できない。これは、内積 ⟨ψi|ψj⟩ がゼロになる必要があるが、これは状態が直交している場合にのみ成立する。
• 非直交状態のソーティングに必要な変換は、すべての状態が互いに直交している場合を除き、矛盾を引き起こす。
• ユニタリティから導かれる内積条件 ⟨ψ3|ψ1⟩ = ⟨ψ2|ψ1⟩⟨ψ3|ψ2⟩⟨Σ′′|Σ′⟩ は、非直交状態では満たせない。これは特定の内積がゼロになる必要があるが、一般には成り立たない。
• 比較やソーティングといった量子操作は、根本的に直交する状態の集合に制限される。たとえそれらの状態がコピー可能で操作可能であっても同様である。
• この結果は、量子情報処理の基礎的ノーゴ定理を拡張し、コピーと削除に加え、比較とソーティングも非直交状態に対しては不可能であることを示している。
• この不可能性は、量子進化のユニタリティに起因し、非直交状態の順序付けに不適合な方法で、状態変換のダイナミクスが制約されることに起因する。