Entanglement-Aware Quantum Circuit Optimization through Globally Optimal Partitioning

有用な量子コンピュータの構築に向けた競争において、科学者たちは単に壊れやすい原子を量子重ね合わせの状態に保つために戦っているだけではありません。彼らはまた、効率性のための戦争とも戦っています。量子コンピュータは、量子ビットと呼ばれる微小な情報の単位を操作することによって動作します。計算を実行するには、これらの量子ビットが「ゲート」として知られる一連の操作を通じて互いに相互作用しなければなりません。しかし、実際の量子マシンは乱雑で制限があります。すべての量子ビットを他のすべての量子ビットと直接接続できるわけではなく、あらゆる相互作用が、計算を台無しにしかねないわずかなノイズを導入します。結果を得るために、エンジニアは複雑な数学的問題を、これらのゲートの特定のシーケンスへと翻訳しなければなりません。これが「コンパイル（翻訳）」と呼ばれるプロセスです。目標は、可能な限り少ないゲートを使用し、マシンの物理的な接続を尊重するようにそれらを配置することです。もしシーケンスが長すぎたり、複雑に絡み合ったりしていれば、答えが見つかる前にノイズが信号を圧倒してしまうからです。

課題は、最も効率的なシーケンスを見つけることが極めて困難であることです。それは、何十億ものルートが存在し、歩いている間に壁が動く迷路の中で、最短経路を見つけようとするようなものです。既存のツールはしばしば近道を選び、その場では良さそうに見える素早い局所的な決定を下しますが、それが全体としてはより長く、より乱雑な旅につながってしまいます。それらは、計算の小さな一部を最適化することはできても、それが残りの部分にどのように影響するかまでは見ていません。本論文は、これらの計算をどのように分解し、再構築するかという方法を変える新しいアプローチを紹介します。素早い推測に頼る代わりに、研究者たちは、回路全体を一度に見て、それを管理可能な断片へと分割する最善の方法を見つけ出し、その後、それらの断片がいかに絡み合っているか（エンタングルメント）についての深い理解を用いて、より効率的に再構築する手法を開発しました。

ハンガリーの機関に所属する研究者たちは、量子回路を依存関係のマップとして扱うフレームワークを作成しました。彼らは、大規模な回路を最適化する最善の方法は、それを小さく自己完結したブロックに切り分け、各ブロックを個別に最適化し、それらを再び縫い合わせることであると気づきました。しかし、回路をどのように切るかが極めて重要になります。もし切り方が悪ければ、論理を簡略化する機会を逃したり、あるいはブロックを正しい順序で実行できないという新たな問題を引き起こしたりする可能性があります。チームはこの「切り分け問題」を、あらゆる実行可能な選択肢のリストから最善のブロックの選択を保証する数学的なパズルとして定式化しました。彼らはこれを「グローバル最適分割（globally optimal partitioning）」と呼んでいます。これは、選ばれたブロックの集合が、単に局所的に効率的なブロックの集まりではなく、総ゲート数を最小にするものであることを保証します。

回路がこれらの最適なブロックに切り分けられた後、研究者たちは、再構築のために第二の、同様に巧妙なテクニックを適用します。彼らは、量子力学の性質である「オペレーター・シュミット階数（operator-Schmidt rank）」を使用します。これは、ブロック内の量子ビットが互いにどれほど深くエンタングルしているかを測定するものです。この階数を、量子ビットがどれほど「絡み合って」いるかの尺度と考えてください。階数が高いほど、それらはより複雑に連結しています。研究者たちは、この測定値を用いて、ブロックの挙動を再現できる最も単純なゲート配置の探索をガイドします。あらゆるランダムなゲートの組み合わせを試すのではなく、彼らの手法はエンタングルメントの構造を調べ、どのゲート配置が成功する可能性が高いかを予測します。これにより、最終的なエンタングルメントのパターンに寄与しない不要なステップを避けることで、従来の手法よりも少ないゲート数で解を見つけることができます。

アイデアをテストするために、チームは現在この分野の標準となっているBQSKitと呼ばれる有名なツールと比較しました。彼らは、小規模で単純な例から、数十の量子ビットを含む大規模で複雑な計算に至るまで、一連のベンチマーク回路を用いて両方のシステムを実行しました。結果は明白でした。772の特定の量子操作のテストにおいて、新手法は741個に対して検証済みの効率的な解を見出すことに成功しましたが、標準的なツールは617個しか達成できませんでした。さらに重要なことに、両方のツールが解を見出したケースにおいて、新手法はすべての事例で、従来と同等またはより少ない数のゲートを持つ回路を生成しており、損失はありませんでした。回路全体を最適化するエンドツーエンドのプロセス全体を見ると、この新しいアプローチは、特に最適化の初期段階において、総ゲート数を大幅に削減しました。標準的なツールは、より大きな回路に対して合理的な時間内にタスクを完了することに苦慮することがありましたが、新手法は、しばしばその数分の一の時間で作業を完了し、よりクリーンで効率的な結果を生み出しました。ただし、タイミングに関する結果には微妙な差異がありました。3量子ビットの分割については、新手法に非常に長い実行時間がいくつかあったため、累積的な総時間では標準的なツールの方が実際には速かったのですが、新手法は一般的に初期の最適化段階においては高速でした。

研究では、最適化に使用するブロックを少し大きくした場合に何が起こるかも調査されました。4つの量子ビットのグループを見るようにすることで、3つの場合よりもさらに効率を高め、ゲート数をさらに削減できることを研究者たちは発見しました。しかし、これにはトレードオフが伴いました。これらの解を見つけるために必要な時間が増加したのです。チームは、4量子ビットのブロックがより優れた圧縮を実現する一方で、検索に費やす追加時間は、あらゆる回路において必ずしも価値があるわけではないことを発見しました。これは、最善のアプローチは特定の問題の内容に依存することを示唆していますが、新しいフレームワークは適切なバランスを選択できる柔軟性を提供しています。研究者たちはまた、彼らの手法がゲート数の削減には優れているものの、量子コンピュータの物理的なレイアウトが依然として「ルーティング」と呼ばれる追加のステップを強制し、それがシステムにゲートを戻してしまうことも指摘しています。この制約がある場合でも、彼らの最適化された回路は既存の手法によって生成されたものよりも優れた状態を維持していました。

この研究は、量子コンピュータを実用的にするための大きな前進を意味します。問題を切り分けるための厳密なグローバル戦略と、断片を解決するためのスマートなエンタングルメント認識戦略を組み合わせることで、研究者たちは、より優れたハードウェアを待つことなく、より優れた量子回路を構築することが可能であることを示しました。彼らの手法は、単に問題の端の部分を微調整するのではなく、ソリューションの構造そのものを再考するものです。この知見は、有用な量子コンピューティングへの道が、単に機械を大きくすることだけでなく、それらの機械に何をさせるかをより賢明に伝えることにあることを示唆しています。SQUANDERと呼ばれるオープンソースパッケージとして実装されたこの新しいフレームワークは、現在の量子コンピュータが達成できる限界を押し広げ、以前は実行が困難であった複雑な回路を、管理可能で効率的なものへと変える手段を提供します。