[論文レビュー] Quantum Information Processing with Adversarial Devices

Matthew McKague|arXiv (Cornell University)|Jun 11, 2010

Quantum Information and Cryptography参考文献 55被引用数 13

ひとこと要約

この論文は、内部構造を仮定せずに統計的相関を用いて信頼できない物理的デバイスを検証するブラックボックス設定における量子デバイスの検証フレームワークを導入する。CHSH不等式を用いて、量子回路および量子状態の強固な自己検証プロトコルを確立し、デバイスに依存しない量子鍵配送（DIQKD）のセキュリティを証明するとともに、測定統計のみを用いて状態のfideliyにきびしい境界を提供する。

ABSTRACT

We consider several applications in black-box quantum computation in which untrusted physical quantum devices are connected together to produce an experiment. By examining the outcome statistics of such an experiment, and comparing them against the desired experiment, we may hope to certify that the physical experiment is implementing the desired experiment. This is useful in order to verify that a calculation has been performed correctly, that measurement outcomes are secure, or that the devices are producing the desired state.

研究の動機と目的

• 観測された統計のみを用いて、信頼できない物理的デバイスが実行する量子計算の正しさを検証する手法を開発すること。
• 実ヒルベルト空間から複素ヒルベルト空間への自己検証技術の拡張を図り、複素測定を伴う量子ゲートおよび回路の検証を可能にすること。
• CHSH相関値のみを用いて、エンタングルド状態のfideliyに強固で、操作的に意味のある境界を提供すること。
• 特にデバイスのメモリーや構造に関する仮定を減らすことで、デバイスに依存しない量子鍵配送（DIQKD）のセキュリティ証明を強化すること。
• デバイス内部構造へのアクセスなしに、1つの観測量（CHSH値）のみを用いて、高品質な最大エンタングルメント状態のqubitペアを特徴付けること。

提案手法

• デバイスを信頼できないボックスとして扱い、入出力動作を統計的相関によって分析するブラックボックスモデルを用いる。
• 目的実験と同一の統計を再現するが、それらとは同型でないシミュレーションを導入し、デバイス検証の制約の限界を明らかにする。
• 観測された結果と参照回路との比較を通じて、ユニタリ変換および局所基底変更を用いて、自己検証技術を適用して量子回路を検証する。
• エンタングルド状態の特徴付けに中心的な役割を果たすCHSH不等式を用い、最大CHSH値と状態のfideliy測度との関連を確立する。
• CHSH空間におけるfideliy関数の凹性を活用し、qubitのfideliy境界の凸結合を用いてfideliyの境界を導出する。
• DIQKDプロトコルのセキュリティ解析を対称的qubit戦略に還元し、条件付きエントロピーの境界をパラメータ推定を用いて求める。

実験結果

リサーチクエスチョン

• RQ1 信頼できないデバイス上で実装された量子回路の正しさは、統計的相関のみを用いて検証可能か？
• RQ2 自己検証を実ヒルベルト空間から複素ヒルベルト空間へ拡張することで、複素ユニタリゲートを伴う回路の検証は可能か？
• RQ3 デバイスに依存しない量子鍵配送におけるセキュリティを証明するために必要な最小限の仮定は何か？
• RQ4 デバイス内部構造の知識なしに、CHSH値のみを用いて二粒子量子状態の品質を認証可能か？
• RQ5 観測されたCHSH値に関して、状態のfideliy測度（例：$F_{LOCC}$, $F_{LO}$）の最もきびしい下限は何か？

主な発見

• LOCC fideliyに対する新しい境界が導出された：$F_{LOCC}\left(\rho\right) \geq \frac{S_{\text{max}}\left(\rho\right) + 2\sqrt{2} - 4}{4\left(\sqrt{2} - 1\right)}$ であり、これはベル状態と混合状態の混合によって達成可能であると予想され、タイトである。
• $F_{LO}$ に対する境界は $F_{LO}\left(\rho\right) \geq \frac{S_{\text{max}}\left(\rho\right) - 2}{2\left(\sqrt{2} - 1\right)}$ と確立されたが、$F_{MY}$ に対してより高い下限が存在するため、タイトではないと予想される。
• 本論文は、複素ヒルベルト空間へのメイヤーズ＝ヨウ自己検証が、複素測定を検証するテストを用いて拡張可能であることを証明した。
• AMP06 DIQKDプロトコルのセキュリティが、より少ない仮定の下で証明された。特に、対称的qubit戦略への還元と条件付きエントロピーの推定が含まれる。
• 解析により、攻撃的デバイスであっても、入出力統計のみを用いて、量子回路の強固な自己検証が可能であることが示された。
• 本研究は、CHSH値のみを用いて高精度な最大エンタングルメント状態ペアを認証可能であり、qubitのfideliy境界の凸解析を用いて、fideliy境界を導出したことを示した。