Skip to main content
QUICK REVIEW

[論文レビュー] A new operational interpretation of relative entropy and trace distance between quantum states

Anurag Anshu, Rahul Jain|arXiv (Cornell University)|Apr 4, 2014
Computability, Logic, AI Algorithms参考文献 29被引用数 6
ひとこと要約

本稿では、アリスとボブがもつれを共有する通信プロトコルを通じて、量子相対エントロピーの新しい操作的解釈を提示する。このプロトコルにおいて、ボブはアリスの状態に近い状態を準備可能であり、通信量は O((c+1)/ε⁴) ビットに抑えられ、fidelity ≥1−ε を達成する。ここで c は両者の状態間の相対エントロピーを表す。また、トレース距離を用いた量子的相関抽出プロトコルを提供し、トレース距離に対する操作的意味をもたらす。これにより、もつれ支援型量子通信複雑性における直接和定理の新たな証明が可能になる。

ABSTRACT

In this paper we present a new operational interpretation of relative-entropy between quantum states in the form of the following protocol. P: Alice gets to know the eigen-decomposition of a quantum state $ ho$. Bob gets to know the eigen-decomposition of a quantum state $\sigma$. Both Alice and Bob know $c= S( ho || \sigma)$, the relative entropy between $ ho$ and $\sigma$ and an error parameter $\epsilon$. Alice and Bob use shared entanglement and after communication of $O((c +1)/\epsilon^4)$ bits from Alice to Bob, Bob ends up with a quantum state $ ho'$ such that $F( ho, ho') \geq 1 - \epsilon$, where $F$ represents fidelity. This result can be considered as a non-commutative generalization of a result due to Braverman and Rao [2011] where they considered the special case when $ ho$ and $\sigma$ are classical probability distributions. We use protocol P to obtain an alternate proof of a direct-sum result for entanglement assisted quantum one-way communication complexity for all relations, which was first shown by Jain, Radhakrishnan and Sen [2005, 2008]. We also present a variant of protocol in which Bob has some side information about the state with Alice. We show that in such a case, the amount of communication can be further reduced, based on the side information that Bob has. Our second result provides a new operational meaning to trace distance between quantum states in the form of a protocol which can be viewed as a quantum analogue of the classical correlated-sampling protocol, which is widely used, for example by Holenstein [2007] in his proof of a parallel-repetition theorem for two-player one-round games. Recently Dinur, Steurer and Vidick [2013] have shown another version of a quantum correlated sampling protocol different from our protocol, and used it in their proof of a parallel-repetition theorem for two-prover one-round entangled projection games.

研究の動機と目的

  • 量子相対エントロピーの新しい操作的解釈を、誤差が有界な通信プロトコルの観点から提供すること。
  • トレース距離を状態の類似度の尺度として用いることで、古典的相関抽出結果を量子領域に一般化すること。
  • もつれ支援型1方向量子通信複雑性における直接和定理の代替的証明を提供すること。
  • ボブがアリスの状態についての付加情報(サイドインフォーメーション)を保有している場合、その情報が通信コストに与える影響を調査すること。
  • 平行繰り返しを含む証明において有用な、古典的相関抽出の量子版を確立すること。

提案手法

  • アリスとボブはもつれを共有し、アリスがボブに O((c+1)/ε⁴) ビットの古典的通信を送ることでプロトコルを実行する。ここで c = S(ρ||σ) は、両者が既知の状態 ρ と σ 間の相対エントロピーを表す。
  • プロトコルは、ボブが状態 ρ′ を準備し、fidelity F(ρ, ρ′) ≥ 1−ε を満たすように保証する。これは、量子状態準備および測定技術を活用する。
  • ボブがアリスの状態に関するサイドインフォーメーションを保有する場合のケースにプロトコルを拡張し、そのサイドインフォーマーションと状態との相互情報量に応じて通信コストを削減する。
  • 目的の状態近似を達成するために、fidelityの境界ともつれ支援型プロトコルを含む、量子情報理論的道具を用いる。
  • トレース距離に基づく量子的相関抽出プロトコルを構築し、複雑性理論で用いられる古典的相関抽出と類似する。
  • このプロトコルを用いて、もつれ支援型1方向量子通信複雑性における直接和結果を再証明し、相対エントロピーの操作的意味を活用する。

実験結果

リサーチクエスチョン

  • RQ1量子状態間の相対エントロピーは、誤差が有界な通信プロトコルを通じて操作的に解釈可能か?
  • RQ2ボブがアリスの状態に関するサイドインフォーマーションを保有している場合、アリスの状態に近い状態を準備するための通信コストはどのように変化するか?
  • RQ3トレース距離を精度の尺度として用いる量子的相関抽出プロトコルを構築可能か?
  • RQ4このプロトコルは、もつれ支援型量子通信複雑性における直接和定理の新たな証明をもたらすか?
  • RQ5このプロトコルは、ディヌール、シュテューラー、ビディックらの他の量子的相関抽出構成と比較してどのように異なるか?

主な発見

  • プロトコルは、O((c+1)/ε⁴) ビットの通信量で、F(ρ, ρ′) ≥ 1−ε のfidelityを達成する。ここで c = S(ρ||σ) は状態間の相対エントロピーを表す。
  • 通信コストは量子状態の次元に依存せず、相対エントロピーと誤差パラメータにのみ依存する。
  • ボブがアリスの状態に関するサイドインフォーマーションを保有している場合、そのサイドインフォーマーションと状態との相互情報量に応じて通信コストを削減可能である。
  • プロトコルは、トレース距離による量子状態間の類似度に新たな操作的意味を与える。これは、古典的相関抽出と類似する。
  • プロトコルは、もつれ支援型1方向量子通信複雑性における直接和結果の代替的証明を提供し、以前の結果を新たな情報理論的経路で再確認する。
  • この手法は、量子情報測度と通信複雑性の間の橋渡しを果たし、量子プロトコルの分析に新たなツールを提供する。

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。