[論文レビュー] Distinguishing sets of quantum states

Rahul Jain|ArXiv.org|Jun 24, 2005

Computability, Logic, AI Algorithms参考文献 2被引用数 4

ひとこと要約

この論文は、有限個の量子状態の集合を正の作用素値測定（POVM）を用いて区別できるための必要十分条件を確立する。測定がϵ-分離可能であることは、任意の分布に関する2つの集合の平均状態間のトレース距離が2ϵ以上であることに、かつそのときに限り等価であることを証明し、ゲーム理論のミニマックス原理を用いて、量子状態の区別可能性とトレース距離を結びつける。

ABSTRACT

Given two sets finite $S_0$ and $S_1$ of quantum states. We show necessary and sufficient conditions for distinguishing them by a measurement.

研究の動機と目的

• 2つの有限個の量子状態の集合が測定によって区別可能となる条件を特徴づけること。
• 固定された余地ϵに対して、測定が2つの集合を分離できる正確な条件（トレース距離に基づく）を確立すること。
• ミニマックス定理を状態の区別問題に適用することで、量子情報理論とゲーム理論を橋渡しすること。
• 量子状態の凸結合を用いた構成的かつ必要十分な基準を、ϵ-分離測定について提示すること。

提案手法

• ϵ-分離測定を、すべてのρ ∈ S₀およびσ ∈ S₁に対して|Tr(Tρ) - Tr(Tσ)| ≥ ϵを満たすPOVM要素Tとして定義する。
• トレースノルムを量子状態間の区別可能性の尺度として用い、max_T |Tr(Tρ) - Tr(Tσ)| = ½||ρ - σ||_trという恒等式を活用する。
• ゲーム理論のミニマックス定理を用いて、POVMと状態集合への分布の最適化を双対化する。
• 測定選択と状態分布の間のゼロサムゲームとして問題を定式化し、最悪ケースのトレース距離と分離測定の存在が同値であることを可能にする。
• トレースの線形性を用いて、分布上の期待測定結果を、それらの平均状態のトレース距離に関連付ける。
• ϵ-分離POVMの存在と、S₀上のすべての分布μ₀およびS₁上のすべての分布μ₁に対して||ρ_μ₀ - σ_μ₁||_tr ≥ 2ϵである条件との同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの有限個の量子状態の集合が、固定された分離余地ϵをもって1つの測定によって区別可能となる条件は何か？
• RQ2 集合の平均化によって得られる混合状態間のトレース距離を用いて、ϵ-分離測定を特徴づけることは可能か？
• RQ3 分離測定の存在を、2つの集合からの状態の凸結合の最悪ケースの区別可能性に関する条件に還元できるか？
• RQ4 ゲーム理論のミニマックス原理は、量子状態の識別問題にどのように適用されるか？
• RQ5 平均状態のトレース距離と、元の集合を余地ϵで分離する測定の存在との正確な関係は何か？

主な発見

• ϵ-分離測定が存在するための必要十分条件は、S₀およびS₁上の任意の分布に関する平均状態間のトレース距離が2ϵ以上であることである。
• 平均状態ρ_μ₀とσ_μ₁間のトレース距離は、任意の測定によって達成可能な区別可能性のタイトな下界を提供する。
• ミニマックス定理とトレースの線形性を用いて、分離測定の存在とトレース距離条件との同値性が証明された。
• この結果により、分布上での最悪ケースの区別可能性が、余地ϵで集合を分離する測定の存在を完全に決定することが示された。
• この特徴づけは必要かつ十分であり、量子状態集合の区別可能性に対する完全な意思決定基準を提供する。
• 証明は、POVM要素の凸結合が依然として有効なPOVMのままであるという事実に依存しており、ミニマックス議論に必要な構造を保っている。