Fast design and scaling of multi-qubit gates in large-scale trapped-ion quantum computers

技術要約：大規模トラップイオン量子コンピュータにおける多量子ビットゲートの高速設計とスケーリング

問題提起
トラップイオン量子コンピュータは、長距離接続性と長いコヒーレンス時間を提供するため、量子計算の主要なプラットフォームとなっている。しかし、これらのシステムを数百のイオンへとスケールアップさせることは、概念的および技術的な大きな課題である。イオンは集団的な運動モード（フォノンバス）を介して全対全の接続性を備えているが、大規模な結晶に対して高フィデリティでプログラマブルな多量子ビットもつれゲートを設計することは、計算量的に極めて困難である。

核心となる困難はゲート設計問題にある。すなわち、すべての量子ビットペア間の目標となるもつれ位相（$N(N-1)/2$ 個の二次制約）を同時に満たしつつ、ドライブ電力を最小化し、かつ運動モードが基底状態に戻ることを保証する制御ドライブのセットを見つけることである。これは、イオン数 $N$ に対して $N^2$ でスケーリングする二次制約付き最適化問題として定式化され、NP困難な問題となる。既存のアプローチは、問題を小さなイオンのサブセットに限定するか、大規模なシステムにおける複雑な制約に苦慮する勾配ベースの最小化アルゴリズムに依存している。

手法：大規模高速（LSF）法
著者らは、ゲート設計問題のNP困難性を緩和し、最大数百個のイオンからなる結晶に対して堅牢でプログラマブルなゲートの多項式時間設計を可能にする、「Large-Scale Fast (LSF)」と呼ばれる手法的なフレームワークを導入する。

1. スペクトル領域での定式化: ゲート設計は、量子遷移周波数付近にデチューンされたフーリエ成分の和としてドライブ場を表現するスペクトル領域で定式化される。問題は、線形制約（運動変位の消失）に従いつつ、ベクトル $R$（ドライブトーンの振幅）のノルム $\|R\|$ を最小化することへと簡約される。
2. ゼロ位相解（ZPS）シード: LSF法は、「ゼロ位相解（ZPS）」として知られる「シード」解の生成に依存している。ZPSとは、すべての目標もつれ位相がゼロ（$\phi^{(0)}_s = 0$）である斉次問題に対する非自明な解である。これらの解は、特定の目標ゲートを解く前に蓄積される。
3. 変換と最適化: アルゴリズムは主に以下の2つのステップで進行する。
   • 変換: ZPSを大きな係数 $\lambda$ でスケールさせ、小さなベクトル $D$ によって摂動を与えることで、目標とする二次制約を満たすようにする。目標位相を満たす近似解 $R_{conv}$ を得るために、スケールされたZPSの周囲で制約を線形化し、線形系を解く。
   • ノルム削減: 解のベクトルを、制約を厳密に遵守しながら反復的に最小化する。これには、「ノルム削減」ステップ（パワーを削減するために解の多様体上を移動する）と「誤差削減」ステップ（目標位相からの偏差を修正する）の交互のプロセスが含まれる。ステップサイズは、誤差が指定された許容範囲（通常は $10^{-4}$）内に留まることを保証するために、多項式の根の計算手法（カルダノの公式およびフェラーリの公式）を用いて解析的に計算される。
4. 集約: アルゴリズムが効率的な解を見つけられるよう、多様な探索空間を確保するために複数のZPSを集約する。

主な貢献と結果

• 多項式時間のスケーリング: LSF法は、NP困難な設計問題を、ZPSの生成（特定の対称性に対して効率的に実行可能）と、それに続く効率的な多項式時間最適化というタスクへと変換する。ベンチマークテストでは、LSFは、$N > 20$ のイオン系において、標準的な信頼領域制約および共役勾配最適化器よりも約1桁高速に解に到達することが示された。
• ドライブ電力の推定: 著者らは、ゲートを駆動するために必要な総ラビ周波数（$\Omega_{nuc}$）のヒューリスティックな推定量を導出した。この推定量は、目標もつれ行列の核ノルム $\|\phi\|_{nuc}$ に依存し、イオン数 $N$ に対して線形にスケーリングする。驚くべきことに、シミュレーション結果によれば、必要なドライブ電力は特定のモード構造や周波数間隔にほとんど依存せず、平均モード密度タイムスケール $T_\nu$ で正規化すると、ユニバーサルな曲線上に収束する。
• 最小ゲート時間 ($T_{min}$): 本研究は、ゲート持続時間の根本的な下限を特定している。臨界時間 $T_{min} \approx 2.9 \cdot T_\nu$ （ここで $T_\nu$ は平均モード間隔の逆数に比例する）を下回ると、高フィデリティの解は見出せない。決定的なのは、$T_{min}$ がイオン数 $N$ に対して線形にスケーリングすることである。これは、同時にもつれ操作の数が $N^2$ でスケーリングする一方で、ゲート持続時間は $N$ でしかスケーリングしないことを意味しており、逐次的なゲート実装に対するスケーリング上の優位性を示している。
• 誤差スケーリング分析: 本論文は、ゲートのフィデリティに影響を与える3つの主要な誤差源の影響を定量化している。
  • 運動モードの周波数ドリフト: 誤差は、周波数ドリフトと結合数（$N^2$）に対して二次的にスケーリングする。
  • ドライブ振幅のゆらぎ: 誤差は、ノイズの分散と結合数に対してスケーリングする。
  • 運動加熱: 加熱による誤差のスケーリングは、ノイズの空間的相関に依存する。無相関なノイズの場合、フィデリティは $N$ に対して二次的に減衰し、強く相関したノイズの場合、線形に減衰する。
    LSFフレームワークにより、これらの誤差に対してゲートを堅牢化するための線形制約を含めることが可能となり、ドリフトや加熱に対する感度を大幅に低減できる。
• 表面符号（Surface Code）の例: 本手法は、49個のイオン結晶を用いて、単一のパルスで33個のイオンをもつれさせる表面符号スタビライザ・ゲートの実装に適用された。この解は、効率的な電力配分を示しており、「ノード」イオンには高いドライブ振幅を、「エッジ」イオンには低い振幅を割り当て、切断されたペア間の不要なクロスもつれを効果的に抑制している。

意義と主張
本論文は、多量子ビットゲートの設計という概念的な障壁を克服することにより、トラップイオン量子コンピュータを数百量子ビットへとスケールアップさせる道筋を提示している。高速かつ堅犯なアルゴリズム（LSF）を提供することで、著者らは、これまでNP困難な性質のために困難と考えられていた、数十のイオンを含む回路や複雑な多量子ビットゲートのオフライン・コンパイルを可能にした。

本研究は、ゲート時間が線形にスケーリングする閾値 $T_{min}$ を超えるならば、大規模な結晶における高フィデリティな多量子ビットゲートが物理的に実現可能であることを確立している。さらに、ドライブ電力、ゲート時間、および誤差源に関する導出された関係性は、実験者に対して実用的な設計指針と許容誤差を提供している。著者らは、本手法がラム・ディック近似の範囲内で主要な誤差メカニズムを扱っているものの、高振幅解における量子ビットキャリアとの相互作用やマグヌス展開の高次項については、さらなる検証が必要であると述べている。このフレームワークは、量子誤り訂正および最適化アプリケーションのための、長距離接続性を備えたトラップイオン・アーキテクチャを実現するための基礎的なツールとして提示されている。