[論文レビュー] Tight bounds for the quantum discord

Sixia Yu, Chengjie Zhang+2 more|arXiv (Cornell University)|Feb 7, 2011

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本稿では、局所ユニタリ変換下での7パラメータ族のフィルタードX状態に対して、計算可能なきつい境界をqubit-qudit系の量子分散について提示する。これらの境界は、フィルタード密度行列と相関行列の固有値を用いて導出され、DQC1回路およびバイナリービットチャネルへの応用において、ゼロ分散条件を正確に捉え、フォン・ノイマン測定の最適性を確認する。

ABSTRACT

Quantum discord quantifies quantum correlations beyond entanglement and assumes nonzero values, which are notoriously hard to compute, for almost all quantum states. Here we provide computable tight bounds for the quantum discord for qubit-qudit states. In the case of two qubits our lower and upper bounds coincide for a 7-parameter family of filtered $X$-states, whose quantum discords can therefore be evaluated analytically. An application to the accessible information of the binary qubit channel is also presented. For the qubit-qudit state output by the circuit of deterministic computation with one qubit, nontrivial lower and upper bounds that respect the zero-discord conditions are obtained for its quantum discord.

研究の動機と目的

• 非ゼロの量子分散を計算するという長年の課題に取り組む。これは、すべての測定に対する最小化を伴うため、著しく困難である。
• qubit-qudit系における量子分散の計算可能できつい下限および上限を提供する。特に、解析的に解けない状態に対しても有効である。
• 既知のゼロ分散条件（例：DQC1回路やバイナリービットチャネル）を尊重するように境界を設計し、物理的整合性を高める。
• 以前に限られた解析的結果しか得られなかった2キュービットのフィルタードX状態の広いクラスに対して、量子分散の解析的評価を可能にする。
• DQC1プロトコルや量子チャネルにおける利用可能な情報といった物理的に重要な状況において、量子相関を定量化するために境界を応用する。

提案手法

• 可逆なqubitの縮約状態に対して、$\tilde{\varrho} = \frac{1}{\sqrt{2\varrho_A}} \varrho \frac{1}{\sqrt{2\varrho_A}} $ を定義し、分散計算を簡略化する。
• スワップ演算子を用い、qudit部分系についてトレースをとることで、2体相関構造から$4 \times 4$行列$Q_{\varrho}$を構築する。
• 行列$Q_{\varrho} - q\eta$の固有値$q_1 \geq q_2 \geq q_3 \geq q_4$を計算する。ここで$\eta = \mathrm{diag}(1,-1,-1,-1)$であり、これはconcurrenceと同程度に計算可能である。
• フィルタード状態の相関行列の最大固有値$q_2(\tilde{\varrho})$とqubit部分系のフォン・ノイマンエントロピーを用いて、量子分散のきつい境界を導出する。
• DQC1状態に対して、$D_A(\varrho) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$ の境界を用いる。ここで$h(x) = -x\log_2 x - (1-x)\log_2(1-x)$ である。
• ゼロ分散条件（例：$\alpha=0$ または $\beta=1$）において境界が一致することを検証し、物理的整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般のqubit-qudit状態に対して、計算可能できつい量子分散の境界を導出できるか。特に、解析的計算が不可能な場合に有効であるか。
• RQ2 どの特定の2キュービット状態のクラス（例：フィルタードX状態）において、下限と上限が一致し、解析的評価が可能になるか。
• RQ3 提案された境界は、既知のゼロ分散条件（例：DQC1回路における$\alpha = 0$ または $\beta = 1$ のとき$D_A(\varrho) = 0$）を満たしているか。
• RQ4 境界を用いて、バイナリービットチャネルにおける利用可能な情報の最適測定がフォン・ノイマン測定であることを確認できるか。
• RQ5 量子分散が量子高速化の根拠とされているDQC1プロトコルのような物理的に重要な状況において、境界の性能はいかがなものか。

主な発見

• 局所ユニタリ変換下の7パラメータ族のフィルタードX状態に対して、量子分散の下限と上限が一致し、正確な解析的評価が可能になる。
• DQC1回路において、導出された境界$D_A(\varrho_u) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$ は、$\alpha = 0$ および $\beta = 1$ の両方のゼロ分散条件を満たす。
• 上界は$\alpha = 1$ および $\beta = 1/2$ で約0.6の最大値に達し、$\alpha = 0$ または $\beta = 1$ のときには正確に0に減少する。これにより物理的整合性が確認される。
• 境界は、バイナリービットチャネルにおける利用可能な情報の最適測定がフォン・ノイマン測定であることを確認し、長年の疑問を解決する。
• 本手法は、古典的相関や利用可能な情報に一般化可能なフレームワークを提供し、エンタングルメントの形成に関する境界を用いて、一般の双粒子状態への応用も可能である。
• 境界はきついかつ計算可能であり、特にDQC1プロトコルのような、過去の推定がゼロ分散を検出できなかった状況において、従来の数値的または不感度の高い解析的推定に比べて顕著な改善をもたらす。