[論文レビュー] Optimal Perfect Distinguishability between Unitaries and Quantum Operations

Cheng Lü, Jianxin Chen+1 more|arXiv (Cornell University)|Oct 12, 2010

Quantum Computing Algorithms and Architecture参考文献 19被引用数 3

ひとこと要約

本稿は、d次元系におけるユニタリ操作と一般の量子操作の間の最適な完全区別に関する包括的な解析的枠組みを確立する。2次元系における逐次的完全区別のための十分かつ必要十分条件を導出し、最適クエリ時間の解析的公式を提示するとともに、補助系やエンタングルメントに依存しない新しい反復的手法を用いて高次元への一般化を達成した。主な貢献は、最適クエリ時間に対するきつい上界と下界の特定であり、エンタングルメント支援状況や一般の量子操作への拡張も含む。

ABSTRACT

We study optimal perfect distinguishability between a unitary and a general quantum operation. In 2-dimensional case we provide a simple sufficient and necessary condition for sequential perfect distinguishability and an analytical formula of optimal query time. We extend the sequential condition to general d-dimensional case. Meanwhile, we provide an upper bound and a lower bound for optimal sequential query time. In the process a new iterative method is given, the most notable innovation of which is its independence to auxiliary systems or entanglement. Following the idea, we further obtain an upper bound and a lower bound of (entanglement-assisted) q-maximal fidelities between a unitary and a quantum operation. Thus by the recursion in [1] an upper bound and a lower bound for optimal general perfect discrimination are achieved. Finally our lower bound result can be extended to the case of arbitrary two quantum operations.

研究の動機と目的

• 量子情報理論におけるユニタリ操作と一般の量子操作の間の最適な完全区別の特徴づけ。
• 2次元系におけるユニタリ操作と量子操作の間の逐次的完全区別のための十分かつ必要十分条件の導出。
• 2次元系における最適クエリ時間の解析的公式の提示および一般のd次元系への拡張。
• 補助系やエンタングルメントに依存しない最適逐次クエリ時間の上界と下界の確立。
• 結果をエンタングルメント支援状況および一般の量子操作のペアへと拡張。

提案手法

• Kraus作用素と状態重ね合わせの幾何学的・代数的解析を用いて、2次元系におけるユニタリ操作と量子操作の間の逐次的完全区別のための十分かつ必要十分条件を導出。
• 補助系やエンタングルメントを必要としない、最適クエリ時間を計算するための新しい反復的手法を導入し、元のヒルベルト空間内で直接的かつ効率的な計算を可能にする。
• q-最大忠実度およびエンタングルメント支援q-最大忠実度の概念を用いて、異なる状況下での区別性能の境界を定める。
• 先行研究[1]の再帰的アプローチを応用し、任意の量子操作に対する最適一般完全区別の境界を導出。
• 状態ベクトル間の角度とKraus作用素の重なりに関する三角不等式を用いて、きつい解析的表現に至る。
• エンタングルメント支援忠実度フレームワークに恒等作用素と操作ペアを代入することで、一般の量子操作への結果の拡張を実現。

実験結果

リサーチクエスチョン

• RQ1 2次元系におけるユニタリ操作と量子操作の間の逐次的完全区別の正確な条件は何か？
• RQ2 2次元系において最適クエリ時間の解析的公式を導出可能か？ また、d次元系への一般化はどのように行われるか？
• RQ3 補助系に依存しない最適クエリ時間の最もきつい上界と下界は何か？
• RQ4 エンタングルメント支援q-最大忠実度は、ユニタリ操作と量子操作の区別における最適クエリ時間の境界にどのように影響するか？
• RQ5 導出された境界は、ユニタリ操作に限らず、一般の量子操作ペアに対しても拡張可能か？

主な発見

• 2次元系では、関連する状態ベクトルの重なりとKraus作用素構造に基づいて、ユニタリ操作と量子操作の間の逐次的完全区別の十分かつ必要十分条件が導出された。
• 2次元系において最適クエリ時間の解析的公式が提示され、関連する状態ベクトル間の角度と作用素の重なりに明示的に依存する。
• 一般のd次元系では、状態重なりの幾何的制約に基づいて、最適逐次クエリ時間の上界と下界が確立された。
• 導入された反復的手法は補助系やエンタングルメントに依存せず、元のヒルベルト空間内で直接的かつ効率的な計算を可能にする。
• エンタングルメント支援q-最大忠実度の境界を用いて、最適クエリ時間のきつい下界が得られ、任意の量子操作ペアへと拡張された。
• 再帰的アプローチにより、一般の量子操作への結果の拡張が達成され、エンタングルメント支援忠実度を用いた最適一般完全区別の上界と下界が得られた。