[論文レビュー] Coherence convertibility for mixed states

Xiaofei Qi, Zhaofang Bai+1 more|arXiv (Cornell University)|May 27, 2015

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

ひとこと要約

本稿では、純粋な量子状態の集合を、凹関数から導かれる一連のコヒーレンス測度を用いて、非コヒーレント操作（ICO）によって別の集合に変換するための必要十分条件を確立している。主な結果は、このような変換が可能であるための条件が、すべての関連するパラメータにおいて、ターゲット集合のコヒーレンス測度がソース集合のそれら以下であることに等しいことである。これは、ニールセンの主要化フレームワークを混合状態におけるコヒーレンス変換可能性に拡張したものである。

ABSTRACT

In this paper, by providing a class of coherence measures in finite dimensional systems, a sufficient and necessary condition for the existence of coherence transformations that convert one probability distribution of any pure states into another one is obtained.

研究の動機と目的

• 純粋状態の集合が非コヒーレント操作（ICO）によって別の集合に変換可能となる条件を特定すること。これは、純粋状態にとどまらず、混合状態におけるコヒーレンス変換可能性の枠組みを拡張することを目的とする。
• バウムグラッツらが提起した根本的な問いに応えること：ICOの下で量子状態に順序が存在するか、特に混合状態に対しては。
• 凹関数を用いた一般化された方法により、コヒーレンス測度を構築するための一般的な手法を開発し、コヒーレンス変換の必要十分条件を導出可能にする。
• 混合状態間のコヒーレンス変換可能性の基準を確立すること。この際、その状態に対して最適な集合が存在すると仮定する。

提案手法

• 著者らは、Duら[17]が提唱した凹関数に基づく一般化された手法を用いて、2つの新しいコヒーレンス測度のクラスを構築した。これにより、相対エントロピーとl1ノルムのコヒーレンスといった既存の測度が一般化される。
• 各 $ l = 2, \dots, d $ および $ k \in (0,1] $ に対して、$ g_{l,k} $ という特定の凹関数に基づくコヒーレンス測度 $ C_{g_{l,k}} $ を定義した。この関数は、異なる基底射影下でのコヒーレンスを捉えるように設計されている。
• これらの測度が非コヒーレント操作の下でどのように振る舞うかを分析することで、変換条件を導出。特に、コヒーレンス測度の単調性および部分集合選択性に注目した。
• 変換の可達性を示すために、異なる状態間のコヒーレンス値の相対的順序に基づくケース解析を実施。パrameter $ t_{ij} $ とコヒーレンス測度 $ C_{f_i} $ を含む不等式を用いた。
• 適切な $ t_{ij} $ 値が特定の不等式を満たすことが、変換の可能性と等価であることを示し、主要化に類似した条件に帰着した。
• 最適な集合が存在すると仮定し、混合状態間のコヒーレンス変換可能性を定義。すべてのパrameterにわたるコヒーレンス測度の優位性に基づく条件を導出した。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、純粋状態の集合が非コヒーレント操作（ICO）によって別の集合に変換可能となるか？
• RQ2 既存のコヒーレンス測度の制限を考慮すると、混合量子状態間のコヒーレンス変換可能性を特定するための一般的な枠組みを確立できるか？
• RQ3 凹関数から導かれるコヒーレンス測度は、ICOの下での量子状態の変換可能性をどのように特徴づけるか？
• RQ4 混合状態のコヒーレンス変換可能性を完全に特徴付けるために、有限個か無限個の条件が必要か？
• RQ5 混合状態に対して最適な集合が存在する場合、コヒーレンス変換可能性の特徴づけにどのような影響を与えるか？

主な発見

• 純粋状態の集合を別の集合にICOで変換可能であるための必要十分条件が導出された。この条件は、すべての $ l = 2, \dots, d $ および $ k \in (0,1] $ に対して、コヒーレンス測度 $ C_{g_{l,k}} $ の優位性に依存する。
• 条件は、すべての $ l $ および $ k $ に対して $ \sum_j p_j C_{g_{l,k}}(|\phi_j\rangle) \geq \sum_i q_i C_{g_{l,k}}(|\psi_i\rangle) $ を満たす必要がある。これにより、変換中にコヒーレンスが増加しないことが保証される。
• 純粋状態の場合、この条件はコヒーレンス測度を含む主要化条件に簡略化され、ニールセンの定理がコヒーレンス枠組みへと一般化される。
• 本稿では、混合状態のコヒーレンス変換可能性を完全に特徴付けるために、$ l $ および $ k $ でインデックス付けされた無限可算個の条件が必要であることを示した。
• すべての混合状態に対して最適な集合が存在すると仮定すると、$ \rho \xrightarrow{\text{ICO}} \sigma $ が成り立つための必要十分条件は、すべての $ l $ および $ k $ に対して $ C_{g_{l,k}}(\rho) \geq C_{g_{l,k}}(\sigma) $ が成り立つことである。これにより完全な基準が得られた。
• バウムグラッツらが提起した、ICOの下で量子状態に完全な順序が存在するかという未解決の問いに、部分的に答えを提示した。