Random-Oracle Unitary Synthesis is Impossible

量子力学の世界では、物理学の基本法則によって、ほぼ無限に近い多様な変換が可能となっています。情報をどのような複雑で奇妙な形にも作り変えることができる機械を想像してみてください。これらの変換は「ユニタリ変換」と呼ばれ、量子コンピューティングの構成要素となります。しかし、自然界がその変換を許容しているからといって、コンピュータがそれを構築できるとは限りません。容易に構築できるユニタリ変換と、現在の技術では事実上不可能なユニタリ変換の間には、巨大な隔たりが存在します。数十年にわたり、科学者たちはこの隔たりが実在するものなのか、それとも単に我々の理解不足によるものなのかという疑問を抱いてきました。具体的には、あらゆる困難な量子変換が、特定の困難な古典的関数の計算方法を知ることさえできれば構築可能であるのかどうか、という問いです。もし答えが「イエス」であれば、量子コンピューティングにおける最も困難な問題は、古典的なコンピューティングにおける最も困難な問題と同じくらい困難であることになり、両者の世界は密接に結びつくことになります。もし答えが「ノー」であれば、量子力学は古典的な論理では解き明かせない秘密を保持しており、全く新しい複雑性の理論を必要とする可能性があることを示唆することになります。

研究チームは、ゲームのルールを少し変えることで、この問題に調査を行いました。コンピュータが特定の複雑な関数を用いて特定の変換を構築できるかを問う代わりに、コンピュータが、ランダムで構造を持たない関数のみを用いて、完全にランлоムで予測不可能な変換を構築できるかを問いました。この転換により、入力データに利用可能な隠れたパターンが存在しない場合に、何が可能かをテストすることができました。彼らの結論は決定的でした。真にランダムな量子変換を、ランダムな関数のみを用いて効率的に合成することは不可能であるということです。彼らは、たとえどれほど巧妙なアルゴリズムであっても、それがランダムに選ばれた関数に依存している限り、天文学的な数の質問を行わない限り、望ましい量子状態を作り出すことはできないと証明しました。この結果は、複雑な量子状態を構築する能力が、提供される情報の構造に完全に依存していることを示すことで、長年の論争に終止符を打ちました。構造がなければ、そのタスクは手の届かないものとなるのです。

研究者たちはまた、量子暗号で使用される「擬似ランダム・ユニタリ」という関連概念についても探求しました。これらは、作成に使用された秘密鍵を知らない者にはランダムに見えるものの、実際には単純で効率的なプロセスによって構築された量子変換のことです。長年、これら「偽の」ランダム変換を作成するための最善の方法は限定的であり、比較的少ない数の質問を行う観測者を欺くことしかできませんでした。研究者たちは、この限界が一時的な技術的障害なのか、それとも自然界の根本的な法則なのかを知りたいと考えました。彼らは、システム全体のサイズに比例する数までの、より多くの質問を行う観測者に対しても安全性を維持できる、新しい手法を構築しました。これは、システムサイズの平方根に比例する数の質問しか扱えなかった従来の手法と比較して、大幅な改善です。

しかし、彼らの研究は厳しい天井も明らかにしました。彼らは、これら「偽の」ランダム変換のセキュリティを以前よりもはるかに高めることはできましたが、効率的なプロセスを維持したまま、理論上の最大値まで押し上げることは不可能であることを証明しました。もし手法が、実行されるステップ数の観点で効率的であることが求められるならば、非常に多くの質問を行う観測者に対して安全であり続けることはできないことを彼らは示しました。これにより、明確な境界線が引かれました。すなわち、中程度の数の質問に対して効率的かつ安全な手法を持つか、あるいは膨大な数の質問に対して安全な手法を持つかのどちらかであり、その両方を同時に持つことはできないのです。この発見は、量子暗号における現在の限界が、単に優れたアルゴリズムを待てば解決するような問題ではなく、根本的な制約であることを示唆しています。

この研究は、適切な古典的指示があれば、あらゆる量子変換を合成できるユニバーサルな機械を構築できるかという、より広範な問いにも取り組みました。ランダムな入力がランダムな出力を生成できないことを示すことで、研究者たちは、入力の構造が不可欠であることを強力に裏付けました。強力なコンピュータとランダムな関数を持っているだけでは不十分であり、関数自体が、コンピュータを望ましい結果へと導くように注意深く設計されていなければなりません。これは、特定の量子状態を作り出すことの難しさが、単なる計算能力の問題ではなく、それらを記述するために必要な情報の性質に固有のものであることを意味しています。この研究は、単純なランダム・オラクルが、あらゆる量子的可能性を解き放つためのユニバーサルな鍵として機能できるという考えに、事実上の終止符を打ちました。

結局のところ、この論文は、効率性とランダム性が緊張関係にある量子の風景を描き出しています。研究者たちは、非常に説得力のあるランダムの模倣品を作り出すことはできるものの、プロセスを高速に保とうとするならば、その模倣の質には厳しい限界があることを示しました。また、単純なランダム関数を用いてあらゆる量子変換を構築できるという希望は、根拠のないものであることも示しました。彼らの結果は、単なる新しいアルゴリズムや新たな制限を提示するだけでなく、量子領域において何が可能であるかという境界線を再定義しています。量子世界の複雑さは、巧妙なトリックによって回避できる錯覚ではなく、特定の構造化された情報を必要とする実在の特徴であることを、彼らは示したのです。量子テクノロジーの未来を築こうとする人々にとって、これは、単にさらなるパワーを求めるだけでなく、より精密な設計が必要であることを意味しています。宇宙は、私たちが何かを求める前に、私たちが何を求めているのかを正確に知ることを要求しているようです。