[論文レビュー] Self-testing graph states

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

Quantum Computing Algorithms and Architecture参考文献 3被引用数 5

ひとこと要約

本稿では、任意の連結グラフ状態の自己テストプロトコルを提示する。このプロトコルは、各キュービットあたり2〜3の測定設定で、小さな線形数の非局所的相関関係を用いる。これにより、デバイス独立型の状態および測定の検証が可能になる。テストはロバストであり、誤差の境界が 𝒪(√ε + ε¹ᐟ⁴) のスケーリングを示し、ノイズ下でもターゲットのグラフ状態への忠実度を保証する。

ABSTRACT

We give a construction for a self-test for any connected graph state. In other words, for each connected graph state we give a set of non-local correlations that can only be achieved (quantumly) by that particular graph state and certain local measurements. The number of correlations considered is small, being linear in the number of vertices in the graph. We also prove robustness for the test.

研究の動機と目的

• 最小限の測定設定を用いて、任意の連結グラフ状態のデバイス独立型自己テストを構築すること。
• ノイズや不完全性に対してロバストであり、定量的な誤差境界を保証すること。
• ヒルベルト空間の次元や内部動作の知識を仮定せずに、量子状態および測定の検証を可能にすること。
• 測定ベース量子計算への応用を支援するため、自己テスト可能なグラフ状態の準備を可能にすること。
• EPR対やベル状態にとどまらない、より広範なエンタングルドリソース状態への自己テスト技術の拡張すること。

提案手法

• グラフ状態における安定化子測定に基づく非局所的相関関係のセットを構築する。各キュービットおよびその近隣のキュービットに対してパウリ-Xおよびパウリ-Z演算子を用いる。
• 測定設定を定義し、$ D_u = \frac{X_u + Z_u}{\bar{2}} $ などの観測量を用いて、状態がターゲットのグラフ状態と整合しているかをテストする。
• グラフ構造に基づく再帰的構成を用い、誘導部分グラフおよび二部グラフ分解を活用して複雑さを低減する。
• 三角不等式および演算子ノルムの境界を用いて、理想状態からのずれを推定するための演算子ノルムおよびトレース距離の推定を適用する。
• 摂動解析を用いてロバストネス境界を導出する。状態の忠実度を定量化するため、$ \big\rfloor (D_u')^2 |\psi'\rangle - \frac{(X_u' + Z_u')^2}{2} |\psi'\rangle \big\rfloor_1 $ を推定する。
• 誤差スケーリングを確立する。$ \delta = (2n^3 + 4n^2 + n)\sqrt{\epsilon} + 13(\frac{1}{2}n^2 + n)\epsilon^{1/4} $ を用い、クラスタ状態などの特殊ケースに対してより緊密な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 2〜3の測定設定と線形数の相関関係のみを用いて、任意の連結グラフ状態の自己テストを構築できるか？
• RQ2 ノイズや不完全な実験条件下での、その自己テストのロバストネスをどのように定量的に評価できるか？
• RQ3 ヒルベルト空間の次元を仮定せずに、自己テストプロトコルが量子状態および測定をどの程度まで検証できるか？
• RQ4 測定ベース量子計算をデバイス独立型の保証でサポートするため、自己テストフレームワークをどのように適合できるか？
• RQ5 自己テストプロトコルにおいて、測定設定の数と誤差耐性の間の最適なトレードオフは何か？

主な発見

• 自己テストにはキュービット1つあたり2〜3の測定設定で十分であり、相関関係の総数は頂点数に対して線形に増加する。
• プロトコルはロバストであり、誤差境界が $ \mathcal{O}(\sqrt{\epsilon} + \epsilon^{1/4}) $ のスケーリングを示し、$ \epsilon $ が理想相関関係からのずれを定量化する。
• 正方形格子構造のクラスタ状態では、誤差境界が $ \delta = n\sqrt{\epsilon} + 39n\epsilon^{1/4} $ に簡略化され、スケーラビリティの向上を反映する。
• 安定化子関係および非局所的相関関係のテストにより、システム次元に関する事前の仮定なしに、グラフ状態のデバイス独立型検証が可能になる。
• 解析により、測定がX-Y平面に制限された状態のテストにも適用可能であることが確認され、測定ベース量子計算への応用が可能である。
• ロバストネス解析により、誤差伝搬が[MM10]の先行研究と同様にスケーリングされることを確認し、有限ノイズ下での実装が可能であることを支持する。