Mid-circuit measurements and feedforward implement every unitary exactly in constant depth

量子コンピューティングの領域において、最も強力なマシンは単にどれだけの粒子を保持しているかではなく、それらをどれほど迅速に操作できるかによって定義されます。量子プロセッサを、あらゆる計算が一連のステップである、広大で脆弱な情報の風景であると想像してみてください。伝統的な見方では、これら粒子の大きなグループに対して複雑な変換を実行するには、一つひとつ順番に行われる長い、曲がりくねった操作の経路を必要とします。この経路を完了するのにかかる時間、すなわち回路の深さ（サーキット・デプス）は、粒子の数が増えるにつれて増大します。多くの粒子を持つマシンにとって、この深さはボトルネックとなり、システムがその状態を保持し続ける時間を長引かせ、エラーが入り込んで計算を破壊してしまう原因となります。科学者たちは、このプロセスをショートカットする方法、つまりシステムの規模に関わらず、これらの大規模な変換をほぼ瞬時に実行する方法はないのかと、長年考えてきました。この潜在的なショートカットの鍵は、「回路中測定（mid-circuit measurement）」と呼ばれるテクニックにあります。これは、マシンが自身の状態の一部を観察するために一時停止し、その情報を使用して次のステップを即座に調整する、いわゆる「フィードフォワード」と呼ばれるプロセスです。

香港大学のチェンフェン・カオによる新しい研究は、このショートカットが単なる理論的な可能性ではなく、厳密な合成（exact synthesis）における数学的な現実であることを証明しています。この研究は、回路中測定と即時の古典的調整の助けを借りれば、システムが膨大な数の余剰粒子を使用することを許容される限り、量子システム上のあらゆる可能な変換を一定の時間で構築することが可能であることを証明しています。これは、システムが少数の粒子であっても膨大な数の粒子であっても、計算を実行するために必要な時間は変わらないことを意味し、量子設計を長らく制約してきた時間の曲線を事実上平坦化することを意味します。しかし、このスピードには大きな代償が伴います。ほぼすべての可能な変換において、この一定の深さを達成するには、システムサイズに対して指数関数的に増大する数の余剰粒子が必要となるのです。本研究は、「残差修復（residual repair）」と呼ばれる特定の戦略を用いることでこれを達成しています。これは、近似的な推測と正確な補正を巧みに組み合わせ、推測の正確な誤差を最終的な完璧な結果へとテレポートさせる手法です。

この発見の核心は、量子回路を通じて情報がどのように流れるかという根本的な制限にあります。システムを観察してリアルタイムで調整する能力がない場合、単一の操作の影響は「因果の円錐（causal cone）」、つまり時間が経過するにつれてしか成長できない回路の領域によって制限されます。大規模なシステムのあらゆる部分に影響を与えるためには、操作を積み重ねる長いシーケンスが必要となり、回路の深さは粒子の数に対して線形に増大します。カオの研究は、測定とフィードフォワードを導入することで、この因果の円錐を打破できることを示しています。古典的なコンピュータは、測定の結果を即座に処理し、離れた場所にある量子システムに補正を適用できるため、長い一連の操作を必要とすることなく、事実上これをバイパスできるのです。その結果、得られる構成は一定のステップ数で動作し、これは従来の最良の推定値からの劇的な減少となりますが、これは膨大な量子空間が利用可能であることを条件としています。

これを実現するために、研究者たちは困難な問題、すなわち、繊細な量子状態を破壊することなく近似をどのように修正するかという問題に取り組まなければなりませんでした。彼らは、望ましい変換に非常に近い状態を得られる手法からスタートしましたが、それは完全ではありませんでした。完璧なバージョンを一から構築しようとすると時間がかかりすぎるため、彼らは近似と真実との間の差異を、別のより小さな量子状態として扱いました。彼らはこの「誤差状態」を事前に準備し、その後、コヒーレント干渉と呼ばれるテクニックを用いて、それを近似に再び加えることで、目的の変換と正確に一致させました。両者を注意深くバランスさせることで、彼らはターゲットとなる変換と正確に一致する新しい状態を作り出しました。彼らが「残差修復」と呼ぶこのプロセスは、システム全体を崩壊させるような測定を行うことなく、誤差をメインの計算へと移動させる、特定のタイプの量子テレポーテーションに依存しています。

本研究は、これらの回路を構築するための具体的なレシピを提供しており、実行するためにどれだけの余剰粒子（アンシラ）が必要かを詳細に述べています。この構成は、システムのサイズに応じて増大する数の余剰粒子を必要としますが、回路を実行するのにかかる時間は増大しません。研究者らは、粒子 $n$ のシステムに対して、プロセスには粒子の数の平方にログ因子を乗じたものにほぼ比例する特定の数の余剰粒子が必要であるが、回路の深さは一定であることを示しています。このトレードオフは極めて重要です。つまり、スペースを非常に特定的かつ知的な方法で使用すれば、スピードはスペースによって買えるということを示しています。また、本論文は、このスピードアップが偶然の産物ではないことも確立しています。すなわち、一般的な変換に対しては、これが最良の結果であり、測定とフィードフォワードなしでは、必要な時間は必然的に増大することを示し、スピードアップが「観察して調整する」能力に特有のものであることを裏付けています。

研究者らはまた、マシンが、一度に1つまたは2つの粒子に影響を与える単純なゲートのような、最も基本的な構成要素のみを使用するように制限された場合に何が起こるかについても調査しました。この制約された設定においては、一定の深さの構成は、マシンがファンアウト・ゲートまたは測定ベースのフィードフォード・ガジェットを利用する場合にのみ成立します。研究は、マシンがフィードフォワード機能を持たず、のみ1つおよび2つの量子ビットゲートに制限されている場合、変換を実行するために必要な時間は、システムのサイズに対して線形に増大し、深さ $O(n)$ に達することを証明しています。この区別は、測定とフィードフォワードのアプローチのユニークな力を強調しており、単にハードウェアを増やすことに依存する他の手法とは一線を画しています。また、本研究は、このスピードの限界にも触れており、時間は一定にできるものの、必要な粒子数は膨大であり、与えられたスピードに対して使用できる粒子数には厳しい下限が存在することを示しています。

この研究は、量子回路設計の根本的な限界に関する長年の疑問に決着をつけるものです。時間の増大という障壁は、自然界の絶対的な法則ではなく、回路がどのように構築されているかによる結果であることを、研究は明らかにしています。測定、停止、そして補正を可能にすることで、研究者たちは、膨大なアンシラ空間へのアクセスがある限り、厳密な変換に対して時間の障壁を完全に除去できることを示しました。これらの知見は単なる理論的な好奇心ではなく、将来の量子コンピュータが、長時間の計算に伴うエラーに屈することなく、複雑なタスクを処理するための設計図を提供します。本研究は、そのようなマシンを実際に構築したと主張しているのではなく、その設計図が有効であり、量子力学の法則が、かなりのリソース要件を伴うものの、このレベルの効率性を許容していることを証明したのです。

この研究の含意は、量子複雑性の捉え方そのものにまで及びます。数十年にわたり、システムが大きくなるにつれて特定のタスクは常に時間がかかるようになるという仮定がありました。本論文は、厳密な変換においてその仮定を覆し、適切なツールと十分なリソースがあれば、時間は一定に保てることを示しました。研究者らは、大量の余剰粒子を準備し、近似の誤差をエンコードし、その後、単一ステップの量子増幅を用いて結果を修正するという手法を用いました。このプロセスは決定論的であり、繰り返しの試行を必要とせず、毎回確実に動作し、すべての余剰粒子を初期状態に戻して再利用可能な状態にします。また、本研究は、このスピードアップが、マシンがプロセスの最後にのみシステムを観察するように制限されている場合には不可能であることを明確にしており、プロセスの中間に介入する能力こそが、一定時間性能を解き放つ鍵であることを強調しています。

量子コンピューティングの広い展望において、この結果は、時間とスペースのトレードオフに関する新しい視点を提供します。もし、必要な余剰粒子を保持するためのハードウェアに投資する用意があるならば、以前は不可能と考えられていたレベルのスピードを実現できることを示唆しています。本論文は、振幅増幅などの既知のテクニックと、近似の残差誤差の扱いに関する新しい洞察を組み合わせることで、これが達成可能であることを厳密に証明しています。また、より単純なゲートを用いた場合の限界についても触れており、たとえ最も基本的な操作を用いたとしても、測定とフィードフォワードの能力が存在する場合にのみ、一定の深さという目標に到達できることを示しています。この明確な区分は、何が可能で何が不可能であるかを明確にし、研究者が測定と古典的制御を優先するアーキテクチャへと導くための指針となります。

研究は、実装の現実性に触れ、理論的な構成は妥当であるものの、必要な粒子数が膨大であることを指摘して締めくくられています。しかし、本論文は、深さが一定であること、これが主要な目標であることを強調しています。研究者らはまた、この結果が、広範な変換に適用され、量子システムが変化し得るほぼすべての方法をカバーしているものの、一般的なターゲットに対してこれを行うには指数関数的な幅が必要であることを述べています。特定の条件下でこれらの変換が一定時間で行えることを証明することで、本研究は、より強力で効率的な量子コンピュータを構築するための主要な理論的障害を取り除きました。この研究は、厳密な合成を加速できるかという問いに対する決定的な回答であり、適切な戦略と十分なスペースがあれば、答えは明確に「イエス」であることを示しています。