量子計算重要猜想が三日以内に解決、十八年の不確実性に終止符

量子計算の限界に関する数学的問題が、長い18年の研究を経て、短期間の三日で解決される可能性がある。物理研究会社PSIは、長年の間にわたるAaronson-Ambainis猜想を解明したと主張しており、この成果は量子計算機が伝統的な計算機を超える時期に関する新たな洞察を提供する可能性がある。同社によれば、システムは三日以内にAaronson-Ambainis猜想の証明を完了した。この問題は2008年に最初に提起され、量子計算機がどのような条件下で伝統的な計算機に対して指数的な速度優位を実現できるかに関するものである。

猜想を解明するための研究システム

PSIは、その研究システムがAnthropicからの非公開モデルを使用し、同社の独自のインフラストラクチャ上で運用されていると述べている。このシステムは数学的証明を生成し、論理的正確性を確認するための正式な数学的証明支援ソフトウェアLeanによって受け入れられた。さらに、同社はシステムがその証明を二度改良し、最終版もLeanによって受け入れられたと報告している。しかし、この結果はまだ全面的な独立学術審査を受けていない。

スタンフォード大学の研究者たちは、この作業のいくつかの側面を検証しフィードバックを提供したが、より広範な審査がその証明が元の猜想を解決したかどうかを判断する上で重要である。Aaronson-Ambainis猜想は、古典計算機が特定の量子アルゴリズムを模擬するために必要な情報量を説明する、長年の量子問題に関するものである。より具体的には、特定の数学的構造を持つ量子アルゴリズムが古典計算機によって効果的に近似できるかどうかに焦点を当てている。この猜想が成立すれば、古典計算機はランダムに選択された入力を模擬する際に、多項式の追加計算のみで済むことになる。

量子計算の優位性と制限

この区別は非常に重要である。なぜなら、多項式の増加と指数の増加は、問題のサイズが大きくなるにつれて全く異なる計算要求を生じるからである。これにより、特定の量子アルゴリズムが古典計算に対して指数的な優位を提供しない可能性がある理由を説明する手助けとなる。量子ハードウェアが根本的に異なる方法で情報を処理できる場合でもである。

この結果は、量子計算機が古典機械に対して優位性を持たないことを意味するものではない。大数分解に使用されるShorアルゴリズムを含む特定の問題に特化したアルゴリズムは、この猜想によって排除されていない。逆に、この猜想は特定の種類の量子計算に焦点を当て、その表面的な優位性がどの条件下で古典的な方法で再現できるかを探求している。PSIは、David Turtureanがこの作業を主導し、研究システムを開発し、問題を定義し、全過程を運営したと述べている。彼は最終草稿を審査し、論文の正確性を担当した。

同社によれば、Jim Halversonがその証明を審査し、Phiala ShanahanがLeanの正式化に対して意見を提供した。スタンフォード大学の研究者たち、Guy Blanc、Jordan Docter、Carmen Strassle、Li-Yang Tanもこの結果を検証している。このグループは、2026年8月にこの猜想の一特例を証明し、他の専門家のためにPSIの全証明の簡潔な説明を準備している。

彼らの参加は重要である。なぜなら、正式な検証と独立した数学的審査は異なる目的に役立つからである。Leanは、正式な証明がその記述された仮定から論理的に導かれるかどうかを検証できるが、研究者たちはその正式化された陳述が元の猜想を正確に捉えているかどうかを評価する必要がある。

PSIは2026年9月に正式に設立され、自動化システムを構築して科学的発見を促進する物理研究会社であると自称している。その発表は潜在的に重要なマイルストーンを示しているが、その声明はより広範な専門家の審査を受ける必要があり、確定的な結果として見なされるためにはさらなる検証が必要である。

猜想を解明する意義と課題

PSIの成果は、量子計算分野における重要な進展を示しており、特に量子アルゴリズムの計算能力の理解において重要である。しかし、この結果はその有効性と信頼性を確認するために広範な学術審査を受ける必要がある。量子計算の潜在能力は、特定の問題を解決する速度が古典計算機を大きく上回ることにあるが、今回の猜想の解明は、すべての量子アルゴリズムがすべての状況で優位性を提供できるわけではないことを思い出させるものである。今後の研究では、これらのアルゴリズムの具体的な応用とその制限をさらに探求し、量子計算の潜在能力を十分に引き出す必要がある。