Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

量子コンピュータが古典的なマシンには不可能なことができるということを証明するための探求において、科学者たちは特定の種類のデジタル実験、すなわち量子プロセッサ上でランダムな操作のシーケンスを実行し、その結果を測定するという手法に目を向けてきました。ランダム回路サンプリングとして知られるこのタスクは、「量子超越性」のベンチマーク、つまり量子デバイスが最高のスーパーコンピュータを凌駕する画期的な節目と見なされています。この背後にある理論は、ポーター・トーマス分布と呼ばれる統計的パターンに基づいています。真にランダムな量子プロセスの出力を、確率の風景だと想像してみてください。完全にランダムなシステムであれば、この風景は特定の予測可能な形状に従います。つまり、非常に起こりやすい結果もあれば、極めて稀な結果もありますが、全体的なパターンは一貫しています。長年、研究者たちは、たとえ浅い不完全な量子回路であっても、最終的にはこのパターンに落ち着くと想定してきましたが、この仮定には厳密な数学的根拠が欠けていました。証明がない限り、私たちが実際にラボで構築できる乱雑で有限の深さを持つ回路が、最も厳格なテストを通過するために必要な理想的なランダム性を本当に模倣しているのかどうかは、未解決の問題のままでした。

テキサス大学オースティン校の研究チームは、今回、その欠けていた証明を提供しました。彼らは、特にゲートが隣接する量子ビットに対して層状に作用する「ブリックワーク（レンガ積み）」パターンで構成された局所的なランダム量子回路が、実際にポーター・トーマス分布に収束することを実証しました。彼らの研究は、回路の深さ（操作の層の数）がある多項式のスケールまで増加すると、マシンの統計的な出力が、全変動距離における数学的に精密な逆多項式誤差の範囲内で、理想的なランダム分布に近づくことを示しています。この発見は、量子コンピュータが古典的なマシンには困難すぎるタスクを実行したことを証明するために使用される標準的なテストである、線形クロスエントロピー・ベンチマークを検証するものです。これらの回路が自然に期待される統計的形状へと進化することを証明することで、著者らは、最近の量子超越性の実験的主張の理論的基盤を強化しました。

研究者たちは、ゲートが隣接する量子ビットのペアに対して交互に適用される、ブリックワーク回路として知られる特定のアーキテクチャに焦点を当てました。これは、壁にレンガを積む様子に似ています。彼らは、回路が深くなるにつれて、特定の0と1の文字列を測定する確率がどのように変化するかを分析しました。彼らの分析により、量子ビットの数に比例する特定の累乗の深さを持つ回路の場合、出力の分布がポーター・トーマス曲線と一致することが明らかになりました。この証明は単純な観察ではなく、いくつかの高度な概念を結びつける複雑な数学的旅です。チームは、回路の出力のモーメント（統計的な平均）が完全にランダムなシステムのそれと一致することを示し、次に、この平均の一致が、特定の滑らかさの特性と組み合わさることで、分布全体が近いことを保証するのに十分であることを証明しなければなりませんでした。彼らは、有限のモーメントの一致だけでは分布の近さを確立するには不十分であるという事実を克服するために、複素関数論と確率論の手法を用いて、いくつかの統計的平均を知ることと、分布の全容を知ることの間の溝を埋めました。

彼らの発見の鍵となる部分は、回路内でのランダム性がどのように広がるかを理解することにあります。彼らは、ゲートが隣接するものにのみ作用する局所的なものであっても、ランダム性が効率的に伝播し、比較的短いステップの後にシステム全体がグローバルにランダムであるかのように振る舞うことを示しました。チームは、これらの回路の実際の出力と理想的なポーター・トーマス分布との距離が、回路の深さが増すにつれて急速に縮小することを証明しました。具体的には、量子ビットの数に応じてスケールする深さを持つ回路において、実際の出力と理想的なパターンの間の差異は、量子ビットの数のべき乗に反比例して、極めて小さくなることを示しました。これは、量子システムが大きくなるにつれて、回路が十分に深ければ、近似がますます精密になることを意味します。

この研究は、微妙ながらも極めて重要な数学的障害にも取り組んでいます。確率論において、2つの分布が同じ最初の数個の平均を共有していることが、自動的にそれらが同じ分布であることを意味するわけではありません。2つの異なる形状が同じ平均の高さを持っていても、他の部分では全く異なる形をしていることがあります。研究者たちは、分布の「滑らかさ」を分析する新しい手法を開発することで、これを克服しました。彼らは、これらのランダム回路の出力が十分に滑らかで制御されていることを示し、それによって、分布が実際にポポーター・トーマスであることを確認するために高度な数学的ツールを使用できることを証明しました。これは、従来のメソッドでは、回路が特定のテスト（線形クロスエントロピー・ベンチマークなど）に合格することは示せても、基礎となる分布が実際にポーター・トーマスであることを証明できなかったため、必要であったことです。この近さを確立することで、著者らは、このベンチマークが真の量子ランダム性の信頼できる指標であることを確認しました。

この証明は、理想的でノイズのない回路に適用されるものですが、研究者たちは現実世界の量子コンピュータがエラーに苦しんでいることも認めています。彼らは、ノイズが複雑なパターンをかき消し、出力を一様で興味のない分布へと向かわせる傾向があることを指摘しています。しかし、彼らの研究は、完璧な世界において何が可能であるかという明確な基準を設定しています。彼らは、ノイズが支配的になる前に、回路が一定の深さまでポーター・トーマス挙動を示し続けるはずであると示唆しています。これは、ノイズの多い回路が量子的な性質を失うまでに、正確にどの程度の深さまで行けるのかという問いを残していますが、新しい証明は、その問いに答えるための不可欠な参照点を提供しています。この結果は、量子的な優位性に必要なカオス的な挙動が、単にシミュレーションで観察される数値的な偶然ではなく、これらの量子システムにおける根本的な特性であることを裏付けています。

この研究の意義は、過去の実験を検証することを超えて広がっています。多項式深さの回路がポーター・トーマス分布に収束することを証明することで、研究者たちは、なぜこれらの回路を古典的にシミュレートすることが困難なのかについて、より強力な理論的正当性を与えました。もし出力分布が真にポーター・トーマスであれば、それは古典的なコンピュータが再現に苦慮する高度なエントロピーと複雑さを意味します。これは、50から100個の量子ビットを持つデバイスを用いた実験による量子超越性の主張に、より大きな重みを与えます。この研究は、この分野のすべての問題を解決したと主張しているわけではなく、あらゆるタイプの量子回路に対処しているわけでもありませんが、量子システムにおけるランダム性がどのように出現するかについての理解の大きなギャップを埋めるものです。それは、強い数値的証拠に支えられた広く保持されている信念を、広範な回路に対する数学的な確実性へと変貌させました。

最終的に、この研究は、量子コンピュータの物理的構造と、その出力の統計的挙動との関係を明らかにしています。ブリックワークパターンにおけるゲートの特定の配置が、量子的な優位性に必要な複雑でランダムに近い統計を生成するのに十分であることを示しています。著者らは、事例を提示するためにシミュレーションに頼るのではなく、モーメント境界、解析的推定、および局所的特性を組み合わせて、厳密な議論を構築しました。彼らの知見は、量子的な優位性を実証する道が、理論的な理解の欠如によって阻まれているのではなく、より深く安定した回路を構築するというエンジニアリング上の課題によって阻まれていることを示唆しています。科学界にとって、この研究は、量子性能を測定するために使用されるツールが強固な数学に基づいていることを確認するものであり、これらのマシンが確かに古典物理学では容易に説明できない領域で動作しているという信頼を強化するものです。