[論文レビュー] Self testing quantum apparatus

Dominic Mayers, Andrew Chi-Chih Yao|ArXiv.org|Jul 28, 2003

Quantum Information and Cryptography被引用数 23

ひとこと要約

この論文は、内部構造を信頼しない条件下で、量子光源と2つの遠隔測定装置の正しさを検証する自己検証プロトコルを導入する。観測された測定統計、特に{−π/8, 0, π/8}における基底選択からの9つの同時確率分布を比較することで、実際の系が局所的ユニタリ変換を除いて理想の仕様（ベル状態Φ⁺とこれらの角度における直交測定）に等価であることが保証される。これは、系の次元や測定演算子に関する最小限の仮定の下で成り立つ。

ABSTRACT

We study a configuration of devices that includes (1) a source of some unknown bipartite quantum state that is claimed to be the Bell state $Φ^+$ and (2) two commuting but otherwise unknown measurement apparatus, one on each side, that are each claimed to execute an orthogonal measurement at an angle $θ\in \{0, π/8, π/4\}$ that is chosen by the user. We show that, if the nine distinct probability distributions that are generated by the self checking configuration, one for each pair of angles, are consistent with the specifications, the source and the two measurement apparatus are guaranteed to be identical modulo some isomorphism to the claimed specifications. We discuss the connection with quantum cryptography.

研究の動機と目的

• 量子装置（特にベル状態を準備する光源と2つの遠隔測定装置）の正しさを、内部の正しさや次元に関する仮定を置かずに検証する手法を開発すること。
• 測定結果の同時確率分布の観測から、全構成が局所的同型を除いて一意に特定されることを確立すること。
• 古典的統計のみに基づいて量子系を検証できる仕組みを提供することで、装置に依存しない量子暗号の基盤を築くこと。
• この自己検証フレームワークが、量子基礎理論や実験データからの量子モデルの検証に与える影響を明らかにすること。

提案手法

• この手法は、すべての9通りの基底選択α, β ∈ {−π/8, 0, π/8}について観測された同時確率分布\tilde{p}((\alpha,x), (\beta,y))を、理想の量子予測p((\alpha,x), (\beta,y))と比較することに依存する。
• 空間的分離（空間的隔離）の測定装置を仮定し、系の次元、測定演算子のランク、状態準備に関する事前知識を一切仮定しない。
• 中心的な主張は、純粋なエンタングル状態の補間空間上で作用する2つの演算子が同一の出力状態を生成するならば、それらの演算子は等しいはずである、という命題である。
• 証明は、観測統計と状態のシュミット分解を用いて、実際の系の状態空間を理想系に写像する等長写像U_{\hat{A}}とU_{\hat{B}}を構成する。
• 内積構造と残渣密度行列の補間を用いて、実際の系における測定演算子が等長写像を通じて理想のものとユニタリ同値であることを確認する。
• 証明の結論として、等長写像が測定構造と状態を保存することを示し、これにより局所的ユニタリ変換を除いて等価であることが証明される。

実験結果

リサーチクエスチョン

• RQ1 測定装置や光源を信頼しない条件下で、量子系がベル状態Φ^+を生成し、角度{−π/8, 0, π/8}における直交測定を実行していることを検証できるか？
• RQ2 系の次元や測定演算子の構造に関する仮定なしに、古典的統計のみから全量子構成をどの程度再構成できるか？
• RQ3 測定結果の同時確率分布の観測から、構成が局所的同型を除いて一意に特定されるか？
• RQ4 この自己検証フレームワークが、装置に依存しない量子暗号や基礎的量子力学に与える影響は何か？
• RQ5 この自己検証手法は、特定の構成に限定されず、他のエンタングル状態や測定基底へ一般化可能か？

主な発見

• 9つの観測同時確率分布が、すべての基底ペアについて理想の量子予測と正確に一致する場合、実際の系は局所的ユニタリ変換を除いて理想の仕様に等価であることが保証される。
• 証明は、量子系の次元や測定演算子のランクに関する仮定を一切必要としない。
• 光源はベル状態Φ^+ = (|00\rangle + |11\rangle)/\sqrt{2}を準備しなければならず、測定装置は角度θ ∈ {−π/8, 0, π/8}における直交測定を実行しなければならない。
• 等長写像を用いて実際の系の状態と測定演算子を理想系に写像し、量子統計を保存することで等価性が確立される。
• 測定装置が測定後まで互いに分離されている（信号伝播が不可能）という仮定の下で、この結果は成り立つ。これにより、信号伝播の禁止と一貫した統計が保証される。
• この手法は、特に装置を信頼しない量子情報処理、特にBB84のような量子鍵配送プロトコルにおいて、最小限の装置信頼性を前提とした検証の基盤を提供する。