[論文レビュー] Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems

Maxime Cautrès, Nathan Claudet+4 more|arXiv (Cornell University)|Jan 1, 2024

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿は、グラフ理論における頂点部分グラフ関係を用いて、任意のk量子ビット上で任意の安定化子状態をLOCCプロトコルで生成可能なk安定化子ユニバーサルグラフ状態——つまり、任意のk量子ビット上で任意の安定化子状態を生成可能な量子状態——を導入する。この状態がΘ(k²)量子ビットで存在することを証明し、射影平面の接続グラフを用いて明示的な族を構成することで、O(k⁴)量子ビットでkペアリングを達成し、従来の指数的構成と比べて顕著な改善を実現する。

ABSTRACT

We study the notion of k-stabilizer universal quantum state, that is, an n-qubit quantum state, such that it is possible to induce any stabilizer state on any k qubits, by using only local operations and classical communications. These states generalize the notion of k-pairable states introduced by Bravyi et al., and can be studied from a combinatorial perspective using graph states and k-vertex-minor universal graphs. First, we demonstrate the existence of k-stabilizer universal graph states that are optimal in size with n = Θ(k²) qubits. We also provide parameters for which a random graph state on Θ(k²) qubits is k-stabilizer universal with high probability. Our second contribution consists of two explicit constructions of k-stabilizer universal graph states on n = O(k⁴) qubits. Both rely upon the incidence graph of the projective plane over a finite field 𝔽_q. This provides a major improvement over the previously known explicit construction of k-pairable graph states with n = O(2^{3k}), bringing forth a new and potentially powerful family of multipartite quantum resources.

研究の動機と目的

• kペアリングをk安定化子ユニバーサルに一般化し、任意のk量子ビット上で任意の安定化子状態をLOCCにより生成可能にする。
• グラフ状態における頂点部分グラフ関係を用いて、k安定化子ユニバーサルを組合せ論的に特徴付ける。
• k量子ビットの頂点部分グラフユニバーサルグラフの明示的・決定的族を、kに関する多項式スケーリングで構成する。
• 従来のkペアブル状態の指数的サイズ（n = O(2³ᵏ)）を上回る、多項式スケーリングを達成する。

提案手法

• 量子LOCCプロトコルをグラフ操作（特に頂点削除と局所補完）にマッピングするため、グラフ状態形式を用いる。
• k頂点部分グラフユニバーサルの定義：グラフGがk頂点部分グラフユニバーサルであるとは、Gの任意のk頂点部分グラフがGの頂点部分グラフであることを意味する。
• 有限体Fq上の射影平面の接続グラフを用いて、2つの明示的なk頂点部分グラフユニバーサルグラフ族を構成する。
• 射影平面の性質を活用し、局所補完と頂点削除の制御されたシーケンスにより、すべてのk頂点グラフが頂点部分グラフとして得られることを保証する。
• 頂点部分グラフ操作とパウリ測定およびクリフォードゲートを用いたLOCCプロトコルとの等価性を用いて、結果のグラフ状態がk安定化子ユニバーサルであることを証明する。
• 漸近的スケーリングを分析し、二部グラフおよび縮約グラフの構成がO(k⁴)量子ビット状態をもたらすことを示し、二部グラフバージョンがわずかに効率的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 k安定化子ユニバーサルグラフ状態は、kに関する多項式スケーリングで構成可能か？（指数的ではなく）
• RQ2 理論的下界（O(k²)）に一致する、k頂点部分グラフユニバーサルグラフの決定的・明示的構成は存在するか？
• RQ3 有限射影平面の接続グラフは、LOCCによる任意のk量子ビット安定化子状態の生成を体系的に行う手がかりを提供するか？
• RQ4 各参加者が1量子ビットずつしか持たない状況で、kペアリングを多項式数の量子ビットで達成可能か？（Bravyiらの未解決問題を解消する。）
• RQ5 k安定化子ユニバーサル性はkペアリングよりも厳密に強い性質であり、kペアブル状態が2k安定化子ユニバーサルでない例は存在するか？

主な発見

• 本稿は、n = Θ(k²)量子ビットでk頂点部分グラフユニバーサルグラフが存在することを証明し、理論的最小サイズに達している。
• ランダムなグラフ状態がΘ(k²)量子ビットで構成される場合、高確率でk安定化子ユニバーサルであることを示す確率的構成を提示する。
• 2つの明示的構成が与えられる：1つは射影平面の接続グラフ（二部グラフ版）、もう1つは縮約グラフで、両方ともn = O(k⁴)のk頂点部分グラフユニバーサルグラフを生成する。
• 二部グラフ構成ではn₂ = 2(q₂² + q₂ + 1) ∼ 49/8 k⁴、縮約グラフ構成ではn₁ = q₁² + q₁ + 1 ∼ 25/4 k⁴であり、後者の方が漸近的により効率的である。
• 二部グラフ構成に対応するグラフ状態|Gq₂⟩はCSS状態と等価であり、将来のフォールトトレランス量子情報処理において利点を示す可能性がある。
• 任意の希望するk量子ビット安定化子状態を生成するLOCCプロトコルは、頂点部分グラフ構成ステップから明示的に導出可能であり、完全な操作的フレームワークを提供する。