複雑なダンスパーティーをシミュレーションしているところを想像してみてください。ゲストは、フェルミオンと呼ばれる、小さくて目に見えない粒子です。彼らには非常に厳格なルールがあります。自分と同じ種類の仲間が近づきすぎるのを嫌い、動くたびに「符号(サイン)」やムードの変化を生み出すような、非常に特殊で混沌とした方法で場所を入れ替えなければなりません。量子物理学の世界では、これが分子内における電子の振る舞いです。そして、このダンスを理解することが、新しい薬や超効率的なバッテリー、より強い材料を設計するための鍵となります。
このダンスをコンピュータで観察するために、科学者は量子コンピュータという特別なツールを使用します。しかし、これらのマシンは、踊っている粒子とは異なる言語を話します。彼らが話すのは「量子ビット(qubit)」であり、それはオン、オフ、あるいはその両方の状態を同時に取ることができる、単純なライトスイッチのようなものです。問題は、フェルミオンの複雑でムードが変わるダンスの動きを量子ビットの言語に翻訳しようとすると、通常、巨大で絡まり合った指示の網が必要になることです。それは、メガホンを使ってすべてのゲストに同時に指示を叫びながらダンスパーティーを演出しようとするようなものです。指示があまりに長く複雑になり、ダンスが終わる前にコンピュータが疲れてミスをしてしまいます。これが、科学者が直面している大きな壁です。いかにして、この翻訳を、今日のノイズが多く不完全な量子マシンにとって、短く、クリーンで、十分に速いものにするかということです。
この論文は、その翻訳を整理するための巧妙な新しい方法を紹介しています。それは、ゲストが部屋の端から端まで叫ぶことなく場所を入れ替えられるように、ダンスフロアを再編成するマスター・コレオグラファー(振付師)のような役割を果たします。モスクワのチームである著者らは、「マヨラナ・スワップ・ネットワーク」を用いた戦略を提案しています。フェルミオンを単独のダンサーとしてではなく、手をつないだペア(マヨラナ演算子と呼ばれます)として考えてみてください。これらのペアを入れ替えるために標準的な嵩高い方法を使う代わりに、チームはより精密で、より少ないステップ数を必要とする新しいタイプの「スワップ・ゲート」を使用します。彼らは主に2つのトリックを開発しました。第一に、最も複雑なダンスルーチン(UCCGSDと呼ばれます)に対して、以前よりもはるかに少ない動きでダンサーを正しい位置へとシャッフルする循環型アルゴリズムを作成しました。具体的には、「ルーティング」のオーバーヘッドを(立方から立方への)スケーリングへと減少させました(ただし、総ダンスステップ数は依然として高いままです)。第二に、より簡略化された人気のダンスルーチンであるk-UpCCGSDに合わせて、特定のネットワークをカスタマイズしました。
これらの新しいネットワークをテストしたところ、結果は大幅な改善を示しました。すべての量子ビットが互いに通信できる(全結合型)コンピュータでは、彼らの新手法は回路の深さを約50%削減し、2量子ビットゲートの数を約20%減少させました。より制限されたハードウェア構成(実機のデバイスで一般的な、2行×N列のグリッド状のもの)では、その節約効果はさらに劇的でした。ステップ数は約55%減少し、もつれを作るゲート(エンタングル・ゲート)の数は40%減少しました。著者らはまた、現実世界の誤差を模倣するためにデジタルノイズを用いたシミュレーションも行い、彼らの新手法が概してより堅牢(ロバスト)であること、つまり、コンピュータが不具合を起こしている場合でも、シミュレートされた「ダンス」が正解に近い状態を維持できることを見出しました。これは量子化学のあらゆる問題を解決するものではありませんが、量子情報をシャッフルする方法を変えることで、現在のハードウェアにおいてこれらのシミュレーションをより実用的なものにできることを示唆しています。
技術要約:マヨラナ・スワップ・ネットワークによるフェルミオン変分量子固有値ソルバーの改善
問題提起
相関フェルミオン系の正確なシミュレーションは量子コンピューティングの主要な用途であるが、ノイズあり中規模量子(NISQ)ハードウェアにおいては大きな障壁に直面している。核心となる課題は、非局所的なフェルミオン演算子を量子ビットにマッピングすることである。ジョルダン・ウィグナー(JW)やブラヴィ・キタエフ(BK)のような標準的なエンコーディングは、パウリ文字列のサポートがフェルミオンモード数(M)に応じて増大するため、回路の深化と2量子ビットゲート数の増加を招く。この非局所性はエラーの蓄積を悪化させる。広く用いられている変分アンザッツ(Unitary Coupled Cluster(UCC)ファミリーなど)において、フェルミオン・スワップ・ゲート(FSWAP)を用いたスワップ・ネットワーク(SN)が実効的な局所性を強制するために使用されてきたが、非局所的な演算子による累積的なオーバーヘッドは依然として相当なものである。
手法
著者らは、変分量子固有値ソルバー(VQE)のコンパイルを最適化するために、マヨラナ演算子と**マヨラナ・スワップ・ネットワーク(MSN)**に基づくフレームワークを導入する。
- マヨラナ表現: 標準的なフェルミオンモードの代わりに、各モードを2つのマヨラナ演算子(γ^)を用いて表現する。これらは単純な反交換関係に従い、パウリ群へと自然にマッピングされる。
- マヨラナ・スワップ・ゲート(MSWAP): 著者らは、MSWAPゲートを2つのマヨラナ演算子の符号付き置換を実現する操作として定義する。フェルミオンモード全体を交換するFSWAPとは異なり、MSWAPは個々のマヨラナ成分に対して作用する。これにより、演算子のサポートをより細粒に制御することが可能となり、隣接するモードに対するコンパクトな分解(例:JWエンコーディングにおける単一の2量子ビット・クリフォード演算)が可能になる。
- 修正エンコーディング: MSWAPゲートの層を適用することで、著者らは「修正されたJWエンコーディング」を作成する。これらの中間状態において、励起演算子(単一および二重励起)はより短いパウリ文字列で表現でき、必要なもつれゲートの数を削減できる。
- アンザッツの対象: 本研究では、以下の2つのUCC変種に焦点を当てる:
- UCCGSD: 一般化された単一および二重励起アンザッツであり、O(M4)の二重励起項を含む。
- k-UpCCGSD: 二重励起を空間的にペアリングされた軌道に限定した、よりコンパクトなアンザッツであり、これをk層繰り返す。
主な貢献
最適化された励起分解:
著者らは、MSWAP層と直接統合される二重励起回転のゲート構成を提供する。パウリ・サポートがコンパクトな修正エンコーディング内で回転を合成することにより、標準的なYordanov分解と比較して、二重励起の4量子ビットコアにおける回路の深さを40%削減(12個のCXゲートに対し13個のCXゲート)することに成功した。
UCCGSDのための巡回置換アルゴリズム:
一般的なUCCGSDアンザッツにおけるすべてのO(M4)の二重励起項を局所化するための新しいアルゴリズムを開発した。
- メカニズム: 選択されたモードをフェルミオン対の「アクティブ・リスト」内へ移動させるための巡回スイープ手順を使用する。
- スケーリング: このアルゴリズムは、必要なすべての4モード・サポートをO(M3)の補助的MSWAP置換のみで露出させる。これは、従来のFSNベースのアプローチにおけるO(M4)の補助的スワップ・オーバーヘッドを改善するものである。
- 明確化: 著者らは、ルーティングのオーバーヘッドは立方オーダー(O(M3))に削減されるものの、総変分二重励起回転数は依然としてO(M4)であることを注記している。改善点は、これらの項を局所的にするためのルーティングの効率性にある。
k-UpCCGSDのためのMSN回路:
k-UpCCGSDアンザッツのために、著者らは2×N量子ビット・レイアウト(αおよびβスピン軌道の別々の行)に適合したMSN回路を設計した。
- 融合: 励起回転をMSWAP層に直接融合させ、個別のスワップ相と回転相を分ける必要をなくした。
- 比較: FSNのベースラインと比較して、MSNアプローチは反対スピン軌道間の不要な置換を回避する。
ノイズを考慮した評価:
本研究では、デポラリゼーションおよび相関誤差チャネル、ならびに超伝導およびイオントラップ・デバイスのノイズモデルを用いて、これらのコンパイル戦略を評価している。
結果
小規模な分子インスタンスを用いた数値ベンチマークにより、以下の性能指標が得られた:
- 全結合(All-to-All Connectivity):
- 回路の深さ: 約**50%**削減。
- 2量子ビット・ゲート数: 約**20%**削減。
- 制限された2×N結合:
- 回路の深さ: 約**55%**削減。
- 2量子ビット・ゲート数: 約**40%**削減。
- ノイズ耐性: MSNベースのコンパイルは、固定ベースラインの代替案(標準的なFSNや標準的な分解など)と比較して、一般にノイズに対するエネルギー感受性が低い、あるいは最低レベルであることを示したが、これはチャネルに依存する。
意義と主張
本論文は、マヨラナ・スワップ・ネットワークによる回路コンパイルの構造的改善が、NISQハードウェアにおけるフェルミオンシミュレーションのリソース・オーバーヘッドを大幅に軽減できると主張している。その意義は二重である:
- 効率性: 提案手法は回路の深さとゲート数の定数因子を減少させる。これは、スワップおよび測定のオーバーヘッドがアルゴリズムの成否を決定する際に極めて重要である。
- スケーラビリティ: UCCGSDにおけるO(M3)のルーティング・オーバーヘッドは、総回転数が依然として高いとしても、従来のO(M4)のルーティング戦略に対する漸近的な改善を表している。
- ハードウェア適合性: 2×Nレイアウト向けのMSNの特定の設計は、既存のハードウェア・トポロジー(例:超伝導量子ビット)と自然に一致しており、より堅牢なVQE実装への実用的な経路を提供している。
著者らは、これらの構造的最適化がノイズを考慮した設計と組み合わさることで、現在および近未来の量子デバイスにおける変分量子固有値ソルバーの性能を向上させるための実行可能な道筋を提供すると結論付けている。
毎週最高の quantum physics 論文をお届け。
スタンフォード、ケンブリッジ、フランス科学アカデミーの研究者に信頼されています。
受信トレイを確認して登録を完了してください。
問題が発生しました。もう一度お試しください。
スパムなし、いつでも解除可能。
週刊ダイジェスト — 最新の研究をわかりやすく。登録