Evaluating the Effect of the Order of Optimization Passes in Quantum Circuit Optimization

量子コンピュータは、新しい薬の設計から複雑な気候システムのモデリングに至るまで、古典的なコンピュータが解くのに数千年かかるような問題を解決することを約束しています。しかし、これらのマシンは非常に脆弱です。環境からのわずかな乱れでも、ノイズとして知られるエラーを引き起こす原因となります。これに対抗するため、科学者たちはハイレベルなコンピュータプログラムを、特定の量子ハードウェアが実際に理解できる命令へと翻訳しなければなりません。コンパイルと呼ばれるこの翻訳プロセスは、しばしば余分なステップを追加し、情報が通過する経路である回路をより長く、複雑にします。回路が長くなればなるほど、エラーが入り込む時間が増えるため、実行前に回路をできるだけ短く単純にすることが目標となります。ここで、不要なステップを取り除き、回路を整理するために設計された一連のルールである「最適化」が登場します。

長年、エンジニアたちはこれらのクリーニングルールを適用することが有用であることは知っていましたが、それらを適用する順番はそれほど重要ではないと広く想定してきました。ルールさえ適用すれば、結果はおおよそ同じになると考えられていたのです。研究者たちはこの仮定に異を唱え、最適化ステップの順序が実は極めて重要であることを明らかにしました。シェフが、野菜を炒める前に刻むか、先に炒めてから刻むかによって結果が変わるのと同様に、量子回路における最適化ステップの順序が、最終的なプログラムの品質を劇的に変えてしまうことを彼らは発見したのです。

研究者たちは、量子コンピュータをプログラミングするために使用される普及したソフトウェアであるQiskitを用いて、このアイデアを体系的にテストしました。彼らは16種類の異なる最適化手法を選択しましたが、それぞれが特定の種類の手法による非効率性を修正するように設計されています。ある手法は小さなステップを一つに統合し、別の手法は互いに打ち消し合う操作のペアをキャンセルし、また別の手法はステップの順序を並べ替えてより効率的にします。チームは、各手法が単独でどれほどうまく機能するかだけでなく、これら16種類のテクニックのあらゆる可能な組み合わせをテストしました。彼らは同じ量子回路をコンパイラに通し、まず手法Aを適用してからBを適用し、次にBを適用してからAを適用するという手順を踏みました。彼らはこれら120通りのすべてのペアに対してこれを繰り返し、結果としての回路の長さと総ステップ数を測定しました。

結果は明白かつ驚くべきものでした。120組のペアのうち12組において、順序が重大な差を生じさせました。場合によっては、一方の順序が、もう一方のほぼ半分のサイズしかない回路を生み出すこともありました。この研究は、特定のテクニックが他のテクニックが機能するためのより良い土台を作り出すことを示しました。例えば、早い段階で無用なステップを取り除くことで、後のテクニックが簡略化できる新しいパターンが明らかになることがありますが、もし後のテクニックを先に実行してしまうと、そのパターンを見逃してしまう可能性があるのです。研究者たちは、最適な順序はターゲットとなる特定の量子ハードウェアに大きく依存することも発見しました。なぜなら、異なるマシンは異なる基本操作の「言語」を話しているからです。例えば、あるタイプのマシンに最適だったシーケンスが、別のマシンには効果がないこともあります。

チームはまた、不適切な順序の選択が後で修正できるかどうかについても調査しました。手法を二度実行することで、最適ではないシーケンスを修復できるのかという問いです。順序が重要であった12組のケースのうち7組において、最初のテクニックを再適用することで実際に結果が改善され、時には最初に選んだ最善のシーケンスよりも優れたものになりました。しかし、これは普遍的な解決策ではありませんでした。他のケースでは、ステップを繰り返しても結果は改善されず、不必要な作業を加えるだけでした。このことは、二度目のパスが悪いスタートを救うこともあるものの、時間を浪費しないためには、最初から正しい順序で行うことがはるかに優れていることを示唆しています。

研究者たちがテストを3つ、4つ、あるいは5つのテクニックのシーケンスへと拡大すると、相互作用はさらに複雑になることがわかりました。2つのテクニックにおける最適な順序が、3つ目のテクニックが加わったときにもそのまま成立するとは限りませんでした。2ステップのプロセスにおいて最初に配置するのがベストだったテクニックが、3つ目のステップが導入されると中間に移動する必要があることもありました。これは、これらのルールの関係が単なる一方向の因果関係ではなく、一つのルールが存在することで他のルールの振る舞いが変わる、相互作用の網であることを示しています。

彼らの知見に基づき、著者らはこれらの最適化ルールを適用するための新しい推奨順序を提案しました。彼らが提案するシーケンスは、ほとんど影響を与えないゲートの削除から始まり、次に残りのステップを並べ替えてさらなる簡略化を可能にし、続いてパターンマッチングと反対の操作のキャンセルを行います。この推奨される順序は、現在標準的な量子コンパイラで使用されているデフォルト設定とは異なります。彼らがこの新しい順序を標準的なものと比較テストしたところ、最適化ステップのみを用いた制御された環境においては、その差は最小限でした。しかし、完全なコンパイルプロセスを含めた場合、新しい順序は、特に総ステップ数の削減において、多くのケースでわずかに優れた性能を示しました。

本研究は、あらゆる状況に通用する唯一の「完璧な」順序は存在しないと結論づけています。最適なシーケンスは、実行される特定の回路、その回路の規模、そして最も重要なことに、ターゲットとなるハードウェアのネイティブゲートセットに依存します。研究者たちは、自分たちの仕事が強力な基盤とより良い出発点を提供するものである一方で、特定の量子プログラムにとっての最適な経路はおそらく固有のものであると強調しています。彼らの研究は、単に固定されたルールのリストを適用することから、それらの間の動的な関係を理解することへと焦タスを移し、量子プログラムがハードウェアに触れる前に、可能な限り効率的でエラーに強いものであることを保証しようとしています。