Circuit Design Problems in Binary Polynomial Quantum Optimization

有用な量子コンピュータの構築に向けた競争において、科学者たちは現在、ある手強いボトルネックに直面している。それは、今日存在するマシンが脆弱で限定的であることだ。これらのマシンは、保持できる量子ビット（qubit）の数が少なく、連続して多くのステップを実行させようとすると、その繊細な情報の状態を非常に素早く失ってしまう。複雑な問題を解決するために、研究者たちは通常、それらを「二次無制約バイナリ最適化問題」と呼ばれる特定の数学的形式に変換する。この形式は、現在の量子ハードウェアに容易に適合する普遍的な言語のようなものだが、数学的に成立させるために膨大な数の追加変数が必要となることが多く、それが結果として、マシンが提供できる以上の量子ビットを要求することになる。よりコンパクトな問題の記述方法として、より少ない変数で済む高次多項式を用いる方法が存在する。しかし、このコンパクトな形式は別の問題を引き起こす。それは、現在のハードウェアでは直接実行できない複雑で多段階の操作を必要とするということだ。これらの操作を機能させるためには、エンジニアはそれらを一連の単純なステップへと分解しなければならないが、それによって回路は深く、遅くなり、計算が終わる前に量子情報が減衰してしまう。

この研究の研究者たちは、この特定のジレンマ、すなわち、これらコンパクトな高次問題をどのようにして量子コンピュータのための最短のステップのシーケンスへと配置するかという問題の解決に取り組んだ。彼らは、量子回路の設計を、試行錯誤によるエンジニアリング作業としてではなく、古典的な論理とルーティングのパズルとして捉えた。量子回路を、情報が正しく結合されるためにある地点から別の地点へと移動しなければならない地図として想像してみてほしい。目標は、情報が通過しなければならないステップ数、すなわちレイヤーの数を最小限に抑える、最も効率的な経路を見つけることだった。チームは、与えられた問題に対して絶対的な完璧な最短経路を見つけ出すことは、数学的に極めて困難であることが証明されている一種のパズルであり、高速で完璧な解が存在しないことが知られているクラスの問題に属することを証明した。これは、大規模で複雑な問題に対しては、コンピュータが妥当な時間内に単一の最善の答えを算出することはできないということを意味している。

完璧な解が見つからないことが多いため、チームは「Tempura」と名付けた新しい、非常に効率的な手法を開発した。この手法は、問題全体を一度に解決しようとするのではなく、「グレイコード」として知られる特定のパターンに基づいた標準的で柔軟なテンプレートを構築する。これにより、あらゆる変数の組み合わせが最も論理的な順序で訪問されることが保証される。このテンプレートが構築されると、アルゴリズムは熟練した編集者のように振る舞い、回路をスキャンして不要なステップを取り除いていく。それは、回路内の冗長または非効率な部分を特定し、それらをより短いシーケンスへと書き換える。このプロセスにより、システムは何千もの異なる項を持つ問題を扱うことが可能になり、既存の最高のソフトウェアツールによって生成されるものよりも大幅に短い回路を作成できる。テストにおいて、この新手法は、業界標準のソフトウェアが生成するものよりも一貫してはるかにコンパクトな回路を生成し、かつ実行にかかる時間はほぼ同等であった。

研究者たちはまた、別の手法を用いて絶対的な最善の解を見つけられるかどうかについても調査した。具体的には、強力なコンピュータが最適な答えを見つけ出すための厳格な論理規則の集合として、問題を定式化する方法である。彼らはいくつかのバージョンの規則を作成したが、その中には、解くスピードは速いが、絶対的な最短回路を見つける保証を犠牲にするものもあった。実験の結果、これらの厳格な論理的手法は、小規模な問題に対しては確かに最善の回路を見つけ出すことができるものの、大規模な問題に対しては妥当な時間内に完了させることに苦慮することが示された。新しいヒューリスティック手法であるTempuraは、最も実用的なツールとして浮上した。それは、大規模な問題を迅速に処理し、競合他社よりもはるかに短い回路を生み出すという、スイートスポットを提供した。本研究は、大規模な問題に対して数学的に最適な完璧な解を見つけ出すことは依然として困難であるが、この新しいアプローチは、現在の限られた量子ハードウェアを最大限に活用するための強力でスケーラブルな方法を提供し、近い将来におけるより複雑な計算への道を切り開くものであると結論づけている。