[論文レビュー] Quantum state certification

Costin Bădescu, Ryan O’Donnell+1 more|arXiv (Cornell University)|Aug 20, 2017

Computability, Logic, AI Algorithms被引用数 2

ひとこと要約

本稿では、完全なトモグラフィーに比べて著しく少ないコピー数で、未知の量子状態 ρ が既知のターゲット状態 σ に近いかを検証する最適な量子状態認証アルゴリズムを提示する。2つのロバストなプロトコルを導入：1つはO(d/ǫ)コピーでfidelityを用い、もう1つはO(d/ǫ²)コピーでtrace distanceを用いる。両者とも定数を除いて最適である。主な革新点は、表現論とSchur-Weyl双対性を活用して、Hilbert-SchmidtおよびBures χ²発散の推定に適した低コピー数の測定を設計したことにある。

ABSTRACT

We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $ ho$, and one wants to test whether $ ho$ is equal to some known mixed state $\sigma$ or else is $\epsilon$-far from $\sigma$. The goal is to use notably fewer copies than the $\Omega(d^2)$ needed for full tomography on $ ho$ (i.e., density estimation). We give two robust state certification algorithms: one with respect to fidelity using $n = O(d/\epsilon)$ copies, and one with respect to trace distance using $n = O(d/\epsilon^2)$ copies. The latter algorithm also applies when $\sigma$ is unknown as well. These copy complexities are optimal up to constant factors.

研究の動機と目的

• 完全な量子状態トモグラフィー（Ω(d²)スケール）に比べて著しく少ないコピー数で推定可能な量子状態認証プロトコルの開発。
• 未知の混合状態 ρ が既知のターゲット状態 σ に近いかを、fidelityまたはtrace distanceの観点で最適なサンプル複雑度でテストする。
• ρ が正確に σ でないが十分に近い場合でも受け入れるロバストな認証アルゴリズムの設計。これにより、ノイズの多い量子デバイスにおける実用的妥当性を確保する。
• ρ と σ が両方とも未知の状態である場合に一般化し、Hilbert-Schmidt距離を用いて2つの未知状態を比較可能にする。

提案手法

• ユニタリ群の表現論とSchur-Weyl双対性を用いて、n個のコピーの結合ヒルバート空間をヤング図式でラベル付けされた既約表現に分解する。
• 弱いSchurサンプリングを用いて、ヤング図式 λ ⊢ n に対応する対称部分空間射影を測定し、ρ の多項式関数の推定を可能にする。
• Hilbert-Schmidt観測量を、Schur-Weyl射影と固有値関数の線形結合として構築し、二乗Hilbert-Schmidt距離の不偏推定を可能にする。
• Gelfand-Tsetlin基底とタイプ射影（Πτ）に基づく代替観測量を導入し、σ のコピーを事前準備せずとも D²_HS(ρ,σ) を推定可能にする。
• Schur変換を活用してシュール基底における同時測定を実行し、時間的に多項式（poly(n, d)）で観測量を効率的に計算可能にする。
• 濃度不等式（例：補題2.1）を適用し、推定器の分散が O(1/n² + D²_HS/n) のスケーリングに従うことを示し、O(1/ε²)コピーで信頼性の高い推定が可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 量子状態認証は、完全なトモグラフィーのO(d²)コストを回避するため、dに対して2次未満のサンプル複雑度で達成可能か？
• RQ2 ターゲット状態 σ からの微小なずれに対しても耐性を持つ認証プロトコルを設計可能か？ すなわち、fidelity や trace distance で近い状態であっても受け入れるか？
• RQ3 未知状態 ρ が既知の σ に近いかを、fidelity や trace distance の観点で最適なサンプル複雑度で認証するには？
• RQ4 2つの未知状態を比較するフレームワークを、両者の事前知識なしに、ρ⊗n と σ⊗n のコピーのみで拡張可能か？
• RQ5 Schur-Weyl双対性のような表現論的ツールをどのように活用し、低コピー数の効率的測定を設計して状態認証を実現できるか？

主な発見

• fidelityに基づく認証でO(d/ǫ)コピーを達成。情報論的下界と定数を除いて一致する。
• trace distanceに基づく認証でO(d/ǫ²)コピーを達成。σ が未知であっても最適である。
• 既知の σ を用いた代替Hilbert-Schmidt観測量によるアルゴリズムは、dに依存せずO(1/ǫ²)コピーで十分であり、Hilbert-Schmidt距離に対してロバストである。
• 1つの状態が近似的に低ランク（ランク ≤k）である場合、サンプル複雑度はO(k/ǫ²）に改善され、系の有効次元を反映する。
• フレームワークによりロバストな認証が可能：F(ρ,σ) < 1−ǫ ならば、高確率で「遠い」と報告される。ρ=σ ならば「近い」と報告される。
• 提案された推定器の分散は O(1/n² + D²_HS/n) で有界であり、信頼性の高い集中を保証し、高確率できめの細かい信頼区間を構築可能である。