[論文レビュー] Global multipartite entanglement dynamics in Grover's search algorithm

Minghua Pan, Daowen Qiu+1 more|arXiv (Cornell University)|Mar 7, 2020

Quantum Computing Algorithms and Architecture参考文献 34被引用数 7

ひとこと要約

本稿は、幾何的エンタングルメント測度（GME）を用いて、複数のマーク付き状態を有するグローバー探索アルゴリズムにおけるグローバルな多粒子エンタングルメントダイナミクスを調査する。スケール不変性—GMEが反復比 $k/k_{\text{opt}}$ のみに依存する性質—は、臨界的転換点より前には成立するが、それ以降は $n$ およびマーク付き状態のハミング重みに依存し、大規模な $n$ に対して普遍的なスケール不変性が成り立つという従来の仮定に反する。転換点は、マーク付き状態の数とそのハミング重みに基づいて解析的に導出される。

ABSTRACT

Entanglement is considered to be one of the primary reasons for why quantum algorithms are more efficient than their classical counterparts for certain computational tasks. The global multipartite entanglement of the multiqubit states in Grover's search algorithm can be quantified using the geometric measure of entanglement (GME). Rossi {\em et al.} (Phys. Rev. A extbf{87}, 022331 (2013)) found that the entanglement dynamics is scale invariant for large $n$. Namely, the GME does not depend on the number $n$ of qubits; rather, it only depends on the ratio of iteration $k$ to the total iteration. In this paper, we discuss the optimization of the GME for large $n$. We prove that ``the GME is scale invariant'' does not always hold. We show that there is generally a turning point that can be computed in terms of the number of marked states and their Hamming weights during the curve of the GME. The GME is scale invariant prior to the turning point. However, the GME is not scale invariant after the turning point since it also depends on $n$ and the marked states.

研究の動機と目的

• 複数のマーク付き状態が存在する場合、大規模な $n$ においてグローバーのアルゴリズムにおけるグローバルな多粒子エンタングルメントダイナミクスが、スケール不変性を保つかどうかを調査すること。
• 従来、$M=1$ および $M=2$ の場合に示唆されたように、幾何的エンタングルメント測度（GME）が量子ビット数 $n$ に依存しない条件を同定すること。
• GME曲線におけるスケール不変性が破綻する転換点を特定し、解析的に計算すること。
• 転換点以降において、マーク付き状態の構造（特にその数とハミング重み）がエンタングルメントダイナミクスに与える影響を検討すること。
• 漸近的極限 $N=2^n \gg M$ におけるGMEのスケール不変性の必要十分条件を提示すること。

提案手法

• グローバルな多粒子エンタングルメントの測定として、幾何的エンタングルメント測度（GME）を用いる。GMEは、最も近い完全に分離可能な状態との二乗距離として定義される。
• 状態空間における最適化を通じて、特に積状態、GHZ状態、W状態などの対称的マーク付き状態を想定し、GMEの解析的漸近的表現を導出する。
• GMEが $\sin^2\theta_k$ スケーリングから逸脱する時点を解くことで、転換点 $k_T$ を特定する。ここで $\theta_k = k \cdot \theta_{\text{opt}}$ であり、$\theta_{\text{opt}}$ は $k_{\text{opt}}$ 回の反復における最適な角度である。
• 本手法では、転換点以前には GME を $E(k) = \sin^2\theta_k$ の式で計算し、以降は $n$ およびマーク付き状態の特性に依存する逸脱を分析する。
• 数値シミュレーションを $n=15$ から $35$ および $n=28$ に対して実施し、異なるマーク付き状態タイプにおける解析結果の妥当性を検証する。
• マーク付き状態の数 $M$ およびそのハミング重みに基づいて、一般化された転換点の公式を導出する。これにより、転換点がマーク付き状態の構造に依存することが示される。

実験結果

リサーチクエスチョン

• RQ1 グローバーのアルゴリズムにおける幾何的エンタングルメント測度（GME）は、$M>1$ のマーク付き状態が存在する場合、すべての $n$ に対してスケール不変性を示すか？
• RQ2 ある反復点以降、GMEは量子ビット数 $n$ およびマーク付き状態の構造（例：ハミング重み）に依存するか？
• RQ3 GME曲線におけるスケール不変性が破綻する転換点について、一般化された解析的表現を導出可能か？
• RQ4 GMEが真にスケール不変性を示す条件は何か。また、$n$ やマーク付き状態の特性に依存する状況はどのようなときか？
• RQ5 積状態、GHZ状態、W状態などの異なる対称的マーク付き状態は、エンタングルメントダイナミクスおよび転換点の位置にどのように影響を与えるか？

主な発見

• GMEは、臨界的転換点 $k_T$ より前でのみスケール不変であり、その間は $k/k_{\text{opt}}$ の比にのみ依存し、$n$ には依存しない。
• 転換点以降、GMEは量子ビット数 $n$ およびマーク付き状態の具体的な構造（ハミング重みを含む）に依存する。
• 転換点 $k_T$ は、マーク付き状態の数とそのハミング重みに基づいて解析的に計算可能である。
• $n \to \infty$ の極限において、転換点以前の最大GMEは $\sin^2\theta_{k_T} \approx 0.73$ に漸近的に近づき、$k_T/k_{\text{opt}} \approx 0.653$ となる。一方、最終状態のGMEは $E_{\text{opt}} \approx 0.632$ である。
• $n=28$ の数値結果から、積状態、GHZ状態、W状態のGME曲線は $k_T/k_{\text{opt}}$ 以前には一致するが、以降はマーク付き状態の構造に依存して分離することが確認された。
• GMEがスケール不変であるのは、転換点が $n$ に依存しないようなマーク付き状態に限られる。そうでない場合、$k_T$ を超えるとスケール不変性が崩れ、$n$ およびマーク付き状態の特性に明示的な依存が現れる。