Metrological Benchmarking of Random Quantum Circuits

量子コンピュータが古典的なマシンにはできないことができると証明するための競争において、科学者たちはある特定の手法に注目してきました。それは、量子プロセッサ上でランダムな一連の操作を実行し、その出力が複雑で予測不可能なパターンと一致するかどうかを確認するというものです。ランダム回路サンプリングとして知られるこのアプローチは、現在、「量子超越性」を実証するための主要な手法となっています。しかし、大きな障害が残っています。ノイズの多い現実世界の量子コンピュータが、実際にこれらの複雑な計算を正しく実行しているかを検証するために、研究者たちは伝統的に、比較対象となる完璧で理想的な答えを知る必要があります。大規模なシステムに対してこの理想的な答えを計算することは非常に困難であり、しばしばスーパーコンピュータを必要とするため、テストの目的そのものを無効にしてしまいます。さらに、ハードウェア内のノイズによって、結果がシミュレーションしやすいものに見えてしまい、マシンの真の性能が隠されてしまうこともあります。科学者たちは、完璧な答えという不可能な数学的問題を先に解くことなく、これらのマシンが意図した通りに動作しているかを確認する方法を必要としています。

韓国科学技術研究院（KAIST）の研究チームは、この問題を解決する新しい方法を提案しました。ランダムな量子回路の最終的な出力を計算しようとする代わりに、彼らはシステムが「優しく突かれた（nudged）」ときにどのように反応するかを観察することを提案しています。複雑なランダムな一連の操作を実行している量子コンピュータを想像してください。研究者たちは、この一連の操作の途中に、小さく制御された乱れ（disturbance）を挿入し、その後、操作を逆方向に実行することを提案しています。この「突き」に対してシステムの最終状態がどれほど変化するかを測定することで、回路のダイナミクスの質と複雑さを測ることができます。この反応は、量子フィッシャー情報と呼ばれる尺度によって定量化され、これは本質的に、システムがその乱れに対してどれほど敏感であるかを示します。チームは、この感度が強力なベンチマークとして機能し、回路が真にランダムで複雑なシステムとして振る舞っているのか、それともより単純で予測可能なものなのかを、理想的な出力確率を計算することなく明らかにすることを発見しました。

研究者たちは、2つの非常に異なるタイプの量子回路を比較することで、このアイデアをテストしました。最初のタイプは、数学的にランダムで極めて複雑な、ハールランダム回路として知られる回路で構成されています。2番目のタイプは、クリフォード回路と呼ばれる特定の規則を用いたものです。クリフォード回路は、複雑な回路と同じくらい広くシステム全体に情報を拡散させることができますが、同時に古典的なコンピュータでシミュレートできるほど単純でもあります。もしベンチマークが情報の拡散度合いのみに依存していれば、両方のタイプの回路は同じように見えるはずです。しかし、研究者たちは決定的な違いを発見しました。彼らがこの「突きと測定」のプロトコルを複雑なハールランダム回路に適用したところ、システムは強く測定可能な反応を示しました。感度は量子ビット数が増えるにつれて成長し、最大レベルの応答性に達しました。対照的に、全く同じテストをクリフォード回路に適用したところ、システムはゼロの反応を示しました。情報は同じくらい広く拡散していたにもかかわらず、システムは制御された乱れに対して完全に無反応でした。この結果は、このベンチマークが単なる情報の拡散ではなく、回路を真にシミュレーション困難にする、特定のカオス的なダイナミクスを検知していることを証明しています。

異なるタイプの量子ハードウェアに対してこのテストを実用的にするために、チームは2つのバリエーションのプロトコルを開発しました。一つのバージョンは、個々の量子ビットに対して精密な制御を行い、単一の粒子に乱れを加えるものです。もう一つのバージョンは、集団的なアプローチであり、乱れをシステム全体に一度に適用するもので、個々の量子ビットを個別に制御できないマシンに有用です。どちらの方法も、複雑な回路と単純な回路を判別することに成功しました。また、研究者たちは、テストの結果を最後にたった一つの量子ビットを測定するだけで読み取ることができる、特定の操作シーケンスである「バタフライ」プロトコルを導入しました。このバタフライ・プロトコルの平均的な応答は複雑な回路と単純な回路で同じでしたが、研究者たちは、結果が実行ごとにどのように変化するか、すなわち「揺らぎ」が全く異なることを見出しました。複雑な回路は非常に小さな揺らぎを示しましたが、単純な回路は大きく予測可能な変動を示しました。これは、単純な単一量子ビットの読み出しであっても、結果の変動パターンを見ることで、科学者が真にランダムな量子プロセスとより単純なプロセスを区別できることを意味しています。

最後に、チームはあらゆる現在の量子デバイスに存在する現実のノイズに対処しました。彼らは、ノイズの影響を、完璧な量子状態を完全にランダムで役に立たない状態と混合させる、グローバルでランダムな干渉としてモデル化しました。彼らは、ノイズが増加するにつれて理想的な感度がどのように低下するかを示す、精密な数学的関係を導き出しました。決定的なのは、この関係が理想的な答えを事前に知ることなく成立することです。システムにノイズがある場合、測定された感度は予測可能な方法でスケールダウンするため、研究者はノイズがベンチマークにどの程度影響を与えているかを正確に定量化できます。これは、ノイズの強さに対するベンチマークの変化に関する定量的なリファレンスを提供し、理想的な理論と現実世界の実験を結びつけます。

この研究は、量子コンピュータの検証に向けた新しい道を提示しています。システムの最終目的地を計算しようとするのではなく、制御された「押し」に対してシステムがどのように反応するかに着目することで、研究者は理想的な答えを見つけるという計算上の負担なしに、ノイズの多いランダム回路をベンチマークすることができます。局所的または集団的な制御を用い、さらには単一量子ビットの読み出しさえ用いて、複雑でカオス的なダイナミクスとより単純で古典的にシミュレート可能なものとを区別できる能力は、この分野における強力なツールとなります。量子プロセッサが大型化していく中で、これらの手法は、科学者が自分たちのマシンが真に複雑な量子力学の風景を探索していることを検証し、彼らが求める優位性が、ノイズや単純さによって作られた錯覚ではなく、本物であることを保証することを可能にするでしょう。