Sub-Riemannian geometry of measurement based quantum computation

技術要約：測定ベース量子計算の劣リーマン幾何学

問題提起
測定ベース量子計算（MBQC）は、回路モデルにおける連続的なユニタリ発展とは対照的に、局所的な射影測定によって駆動される離散的なパラダイムで動作する。対称保護された相におけるMBQCのリソース状態の計算能力は十分に確立されているが、効率性（具体的には、目標とする論理的ユニタリを実現するために、いかに操作リソース（量子ビット数／測定サイト数）を最小化するか）という問いについては、厳密な連続フレームワークが欠けていた。

計算相にある量子物質において、論理演算は、対称性を尊重する軸から角度 $\alpha$ だけ回転させた基底での測定によって実装される。理想的なリソース状態から外れた場合、これらの操作は完全なユニタリではなく、ノイズを含むチャネルとして作用する。有限の角度 $\alpha$ の高フィデリティなユニタリ回転を実現するために、標準的な戦略は、回転を $N$ 個の小さな回転（角度 $\alpha/N$）に分割することである。これにより、エラーのスケーリングは $O(\alpha^2)$ から $O(\alpha^2/N)$ へと減少するが、引き換えに $N$ 個の粒子を消費することになる。本稿で扱う中心的な問題は、実行可能な生成子の集合が系の対称性によって制限されている場合に、目標とするユニタリを実現するためのこれら小さな回転の最適なシーケンスを決定することである。

手法
著者らは、MBQCの離散的なプロセスと、連続的な微分幾何学との間の溝を、劣リーマン測地線問題として最適化をモデル化することで埋めている。

1. ノイズモデルとエラーのスケーリング： 本論文は、秩序パラメータ $\sigma$ を持つリソース状態に対する、角度 $\beta_i$ を持つ局所的な測定 $M_i$ の影響を、量子チャネル $C_i(\beta_i)$ として利用するノイズモデルを用いている。理想的なユニタリ $U_i(\alpha_i)$ からの偏差は、回転角に対して二次的に発生する。具体的には、微小角において、局所的なエラー $\epsilon_i$ は $\epsilon_i \approx (\frac{1}{\sigma^2} - 1)\alpha_i^2$ とスケーリングする。
2. 劣リーマン幾何学： 実行可能な生成子の集合 $\mathcal{G}$（相の対称性によって決定される）は、ユニタリ群 $SU(2^n)$ 上の水平分布を定義する。「水平曲線」とは、許可された生成子のみによって生成されるパスである。著者らは、単位元から目標とするユニタリ $U$ へ接続する最小の劣リーマン弧長として、カルノー・カロテオドリー距離（$d_{CC}$）を定義している。
3. Lie-Trotter-Suzuki法による近似： 連続的な測地線 $C(t)$ を離散的なMBQC測定を用いて実装するために、著者らはLie-Trotter-Suzuki積公式を用いる。これにより、連続的な制御パスを $N$ 個の小さな回転のシーケンスへと離散化する。著者らは、この離散化によって導入される近似誤差が $O(N^{-2})$ のオーダーであり、$O(N^{-1})$ のオーダーである実装エラーよりも劣位であることを示している。

主要な貢献と結果
本論文の主要な貢献は、定理1であり、これは（単一の回転に限定されていた）従来の誤差スケーリング関係を任意のユニタリ回路へと一般化したものである。

• 定理1（実装エラー）： 並進不変な秩序パラメータ $\sigma$ と実行可能な生成子 $\mathcal{G}$ を持つリソース状態において、$N$ 個の測定サイトを用いて目標ユニタリ $U \in \mathcal{G}$ を実装する際のエラー $\epsilon$ は、次のように抑えられる：
  $$\epsilon \leq \frac{1}{N} \left( \frac{1}{\sigma^2} - 1 \right) d_{CC}^2(e, U) + O(N^{-2})$$
  ここで、$d_{CC}(e, U)$ は単位元と目標ユニタリ $U$ の間の劣リーマン距離である。

• 最適化戦略： この定理は、リソース消費の最小化（固定されたエラーに対して $N$ を最大化すること、あるいは固定された $N$ に対してエラーを最小化すること）が、単位元と目標ユニタリ $U$ の間の劣リーマン測地線（最小弧長のパス）を見つけることと同等であることを示唆している。

• 標準的な手法との比較： 著者らは、オイラー角分解などの標準的な分解手法が、劣リーマン測地線と比較してしばしば長いパス（より大きな弧長）を生じさせることを示している。したがって、測地線に基づく戦略は、特に単位元に近いユニタリに対して優れた効率性を提供する。

• 数値的検証： 理論的な境界は、$SU(2)$（パウリ生成子を使用）を用いた数値シミュレーションを通じて検証されている。結果は、劣リーマン距離によって予測されるエラーのスケーリングがタイトであることを裏付けており、測地線アプローチがオイラー角シーケンスよりも優れていることを示している。

意義と主張
本論文は、量子物質の計算相におけるMBQCを最適化するための厳密な幾何学的フレームワークを確立したと主張している。

• 離散と連続の統一： ハミルトニアン制御に適用されてきた微分幾何学的な効率性の概念が、MBQCに直接適用できることを示している。MBQCにおいては、「生成子」は対称性によって硬直的に固定されているため、劣リーマン構造（特定の方向のみが許可される構造）は近似ではなく、自然かつ必然的な記述となる。
• 原理的な最適化： 本研究は、量子プロセッシングを最適化するための原理的な経路を提供する。MBQCを単なる離散ゲートのシーケンスとして扱うのではなく、制約された幾何学における最短パスを見つける問題として捉え直している。これにより、標準的な回路モデルのシミュレーションよりも効率的なネイティブゲートセットの特定が可能になる。
• 適用範囲： 本手法は、部分系の対称性を持つ1次元および2次元系に適用可能であり、広範なクラスの計算相（先行研究で特定された2600の相を含む）をカバーしている。
• 限界と未解決の課題： 著者らは、上限は確立されているものの、ダイヤモンドノルム誤差に対する一致する下限は厳密には証明されていないこと（ただし、数値的証拠は境界がタイトであることを示唆している）を謙虚に述べている。さらに、現在のフレームワークは無相関な測定を想定しており、相関のある領域への拡張は今後の課題である。本論文は具体的な実験実装を提案するものではなく、これら既存または将来の計算相におけるリソース状態を分析し、最適化するための理論的ツールを提供することを目的としている。

総括すると、本論文は、対称保護されたリソース状態上でMBQCを最も効率的に実行する方法は、目標とするユニタリを劣リーマン多様体内の点として扱い、単位元とその点をつなぐ測地線に沿って計算を実行することであり、それによって特定の論理精度を達成するために必要な物理リソースを最小化できると論じている。