[論文レビュー] Two-qubit catalysis in a four-state pure bipartite system

Peter H. Anspach|ArXiv.org|Feb 12, 2001

Quantum Information and Cryptography参考文献 4被引用数 6

ひとこと要約

本稿は、4状態の純粋な双粒子量子系において、局所操作と古典的通信（LOCC）によるエンタングルメント状態間の変換がカタリストなしでは不可能である場合に、2量子ビットのカタリストが可能な必要十分条件を確立する。カタリストが可能となるのは、スミット係数の比が、ターゲット状態の係数に対するソース状態の係数の最大比と最小比を含む特定の不等式を満たす場合に限られ、これにより、もともとは禁止されていたエンタングルメント変換が再利用可能な2量子ビットのカタリストを用いて実現可能となる。

ABSTRACT

We consider a four-state pure bipartite system consisting of four qubits shared among two parties using the same Schmidt basis, two qubits per party. In some cases, transformation between two known pure states may not be possible using LOCC transformations but may be possible with the addition of a two-qubit catalyst. We provide a necessary and sufficient condition for this to occur.

研究の動機と目的

• 標準的な局所操作では不可能であるが、2量子ビットのカタリストを用いることで可能となる2つの純粋な双粒子状態間のLOCC変換が発生する条件を特定すること。
• エンタングルメントカタリスト作用がニールセンの主要化基準に反する状態遷移を可能にする、明確な数学的条件を同定すること。
• スミット係数比を用いて、その妥当性を検証する具体的なカタリスト作用変換の例を構築すること。
• 与えられた2つの臨界比 m と M（m > M）を実現する状態が存在することを証明すること。

提案手法

• LOCCの可視性の基礎としてニールセンの主要化基準を用い、共有スミット基底を持つ4レベルの純粋な双粒子系に適応する。
• 標準的な主要化により禁止される変換を可能にするために、2量子ビットのカタリスト状態 |κ⟩ = √p|00⟩ + √(1−p)|11⟩ を導入する。
• 状態 |ψ⟩|κ⟩ と |ϕ⟩|κ⟩ の拡張されたスミット係数を分析し、ソースのベクトルがターゲットのベクトルによって主要化される条件を導出する。
• 2つの重要な比を定義する：m = max(α₁/α′₁, α₂/α′₂, α₃/α′₃) および M = min(α₄/α′₄, (α₃−α₄)/(α′₃−α′₄)) であり、カタリスト作用が可能となるのは m > M のときである。
• 任意の所望の m₀ と M₀（0 < m₀ かつ 0 < M₀ < 1）を実現するための状態族をパrameter μ と a を用いて構築する。
• スミット係数の代数的変形と比の比較を通じて構成を検証し、単調性と正規化が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 標準的なLOCC操作が失敗する4状態の純粋な双粒子系において、2量子ビットのカタリスト作用が可能な条件は何か？
• RQ2 初期状態、ターゲット状態、カタリスト状態のスミット係数の間の明確な数学的関係は何か？ これによりカタリスト作用が可能になる。
• RQ3 任意のペア (m₀, M₀)（0 < m₀ かつ 0 < M₀ < 1）に対して、適切なエンタングル状態を構築することで実現可能か？
• RQ4 カタリストのエンタングルメント（p）の選択が、このような系におけるカタリスト作用変換の可能性に与える影響は何か？
• RQ5 導出された必要十分条件を満たすカタリスト遷移の例を体系的に構築する方法はあるか？

主な発見

• カタリスト作用が可能となるのは、ソース状態のスミット係数に対するターゲット状態の係数の最大比（m）が最小比（M）を上回る場合に限られる。すなわち m > M である。
• 例として α = (0.4, 0.4, 0.1, 0.1) と α′ = (0.5, 0.25, 0.25, 0) の場合、m = 1 かつ M = 0.25 であり、m > M であるため、|κ⟩ = √0.6|00⟩ + √0.4|11⟩ を用いたカタリスト作用は可能である。
• m ≤ M の場合、例えば α = (0.45, 0.45, 0.05, 0.05) と α′ = (0.5, 0.35, 0.15, 0) の場合、m = 1 かつ M = 0.25 であり、任意の p に対してカタリスト作用は不可能である。
• 任意の所望の m₀ と M₀（0 < m₀ かつ 0 < M₀ < 1）を実現するための構成的技法が提示されており、パrameter μ と正規化係数 a を用いる。
• m₀ = 2/3 かつ M₀ = 1/3 の場合、μ = 1/10 かつ a = 9/16 を用いると、構築された状態は m = 2/3 かつ M = 1/3 を得て、条件 m > M が満たされることを確認できる。
• 本稿では、導出された条件 m > M が、4レベルの純粋な双粒子系におけるカタリスト作用を伴うLOCC変換に対して、必要かつ十分であることを証明している。