Quantum Optimization for Electromagnetics: Physics-Informed QAOA for Reconfigurable Intelligent Surfaces

あなたは、巨大な群衆を特定の隊列に並ばせ、巨大で見えないスポットライトを作り出すように指示していると想像してください。これが「再構成可能な知能表面（RIS）」の役割です。RISを、何千もの小さなタイルで作られたハイテクなデジタル鏡だと考えてください。各タイルは、電波の反射の仕方を瞬時に変えることができ、これによりエンジニアは、新しい基地局を設置することなく、電波を角の周りに曲げたり、壁を通り抜けさせたり、あるいは特定のスマートフォンへ直接向けたりすることができるのです。この技術は、より高速で信頼性の高い通信をあらゆる場所で実現する、次世代6Gインターネットの鍵となる技術です。

しかし、問題があります。現実の世界では、これらのタイルは非常に密に配置されているため、それぞれが独立した鏡として機能するわけではありません。彼らは「相互結合（mutual coupling）」と呼ばれる目に見えない電磁気学的なささやきを通じて、互いに影響を及ぼし合います。一つのタイルが位相を変えると、隣のタイルにわずかな乱れが生じ、システム全体が予測困難で乱れた挙動を示すようになります。すべてのタイルをどのように設定すれば完璧な信号が得られるかというパズルを解くことは、従来のコンピュータにとっては悪夢のような作業です。なぜなら、組み合わせの数が天文学的な数字になるからです。ここで「量子コンピューティング」が登場します。量子コンピュータは、多くの可能性を同時に探索できる特殊なマシンであり、理論上、こうした大規模なパズルを解くのに最適です。しかし、問題があります。現在の量子コンピュータはまだ小規模でノイズが多く、複雑で乱れた数学的処理には苦戦します。

本論文は、非常に興味深い中間領域を探求しています。つまり、量子コンピュータに、現実世界の物理現象を「十分に」含んだバージョンの問題を学習させることで、RISのパズルを解かせることができるのか？ という問いです。物理現象を、正確ではあるものの量子コンピュータが窒息しない程度に調整して提示する手法です。KTH王立工科大学の研究者たちは、単にタイルが完璧であると仮定するのではなく、量子アルゴリズムがどの程度の「物理現象」までなら扱えるのかを検証するために、4つの異なる数学モデルを構築しました。

デジタルミラーと量子のパズル

物語は、シンプルな問いから始まります。「5x5のグリッド（計25個の小さなタイル）に対して、電波を始点から目的地へと反射させるために、各タイルの『頭の向き（位相）』をどのように調整すべきか？」という問いです。

理想的な、夢のようなシナリオであれば、各タイルの最適な角度を計算するだけで完了します。しかし現実には、タイルは隣同士です。一つを動かせば、他のタイルもそれを感じ取ります。これが「相互結合」です。もしこれを無視すれば、量子コンピュータは、理論上は完璧に見えても、現実の世界では無残に失敗する解を出してしまうかもしれません。それはまるで、真空中で完璧に歌っている合唱団が、騒がしいスタジアムではひどい音に聞こえてしまうようなものです。

著者たちは、このテストを行うためのシミュレーションを設定しました。彼らは「量子近似最適化アルゴリズム（QAOA）」を使用しました。QAOAを、非常にスマートで高速な「試行錯誤マシン」だと考えてください。これは、タイルの設定の組み合わせを試し、その結果得られる信号がどれほど優れているかを確認し、徐々に最適なパターンを学習していくものです。ただし、これを行うためには、問題を量子コンピュータが理解できる言語である「QUBO（二次無制約バイナリ最適化）」へと翻訳する必要があります。これは、複雑な小説を、0と1の単純なコードに翻訳するような作業です。

4つのモデル： 「夢の世界」から「現実の世界」へ

研究者たちは、鏡のタイルの物理現象をこのコードに翻訳する4つの異なる方法をテストしました。そして、どの翻訳がシミュレーション上の量子コンピュータにとって最適であるかを調べました。

1. 「理想的」モデル（モデル1）： このモデルは、タイルが互いに無関係な存在であると仮定します。タイルが隣り合って影響し合っている事実を無視します。最も単純な数学ですが、著者らはこれが物理的に欠陥があると考えています。これは、合唱団に対して「部屋の音響を無視して歌え」と命じるようなものです。
2. 「距離ペナルティ」モデル（モデル2）： このモデルは、「隣接するほど影響が大きくなる」という単純なルールを追加します。これは、「隣人はうるさい」と言うだけで、具体的に「どの程度」うるさいのかまでは特定しない、大まかな近似です。
3. 「球面波」モデル（モデル3）： これは一歩進んだモデルです。波がどのように伝わり、距離に応じて減衰するかを考慮した、より現実的な数式を使用しています。時には隣同士が打ち消し合い、時には強め合うことも含めています。依然として簡略化されてはいますが、現実にはるかに近いです。
4. 「フル物理」モデル（モデル4）： これは最強のモデルです。すべてのタイル間のあらゆる相互作用を、電磁波の完全で複雑な数学を用いて含めようとします。これは最も正確な現実の記述ですが、量子コンピュータがナビゲートするのが極めて困難な、巨大で密な接続のネットワークを生み出します。

驚くべき結果

シミュレーションを実行したところ、興味深いことが起こりました。

まず、量子コンピュータ（QAOA）は、最も複雑なモデルに対しても、驚くほど優れた回答を見つけ出すことができました。「フル物理」モデル（モデル4）という最も複雑な数学を持つモデルに対しても、量子アルゴリズムは依然として非常に迅速に最適解を見つけ出しました。これは、たとえ問題が乱雑で密度が高くても、量子的なアプローチは理論上、それに対処できることを示唆しています。

しかし、ここにひねりがありました。最も正確なモデルは、実際のハードウェア上で実行するのが最も困難だったのです。

「フル物理」モデル（モデル4）は、量子コンピュータのすべての「量子ビット（qubit）」を他のすべての量子ビットと接続することを要求しました。スタジアムにいる全員と同時に手を繋ごうとする場面を想像してみてください。多くの人がメッセージを伝達を助けない限り、物理的に不可能です。量子用語で言えば、これには膨大な「ルーティング」のオーバーヘッドが必要であり、現在のノイズの多いコンピュータではうまく処理できません。

一方で、より単純なモデル（モデル2およびモデル3）は、近くの隣人との接続のみを必要としました。これは、隣の人とだけ会話をする「伝言ゲーム」のようなものです。この「疎（スパース）」な構造は、現在の量子チップに完璧に適合します。

トレードオフ： 正確性と実現可能性

本論文の主な発見は、決定的なトレードオフです。

• もし最も正確な物理現象（モデル4）を求めるなら、最高の理論的なビームステアリングが得られますが、量子コンピュータは、それを実行するために今日存在するよりもはるかに強力な性能を必要とします。
• もし現在の技術（NISQデバイス）で実行したいなら、「疎な」モデル（モデル2または3）を使用しなければなりません。これらのモデルは、遠くの相互作用を無視していますが、「十分に機能する」ものであり、実際に今日のマシンで実行可能です。

興味深いことに、研究者たちは、時として「劣った」解（簡略化されたモデルにおける数学的に完璧ではない解）が、現実世界のシミュレーションにおいて、簡略化モデルの「完璧な」解よりも優れたパフォーマンスを示すことを発見しました。これは奇妙なミスマッチを浮き彫りにしています。つまり、量子コードの中でベストに見える答えが、必ずしも物理的な結果としてベストになるとは限らないのです。

結論

著者らは、これらのインテリジェントな鏡の複雑で乱れた物理現象を数学的に記述することは可能だが、現在の量子コンピュータでその完全な記述を実行することはまだできない、と結論付けています。「フル物理」モデルは重すぎるのです。

代わりに、近い将来における最善の道は、**「疎で、距離によるペナルティを課したモデル」**を使用することです。これらのモデルはバランスが取れています。つまり、隣同士が影響し合うことを考慮に入れることで、実用的なレベルの物理現象を含みつつ、ハードウェアを圧倒してしまうような遠くの複雑な相互作用は排除しています。

したがって、量子コンピュータが巨大で物理的に完璧な鏡を完全にシミュレートするという夢は、まだ少し先の話ですが、本論文は実用的な踏み台を示しています。 「物理学に基づいた（physics-informed）」簡略化モデルを使用することで、私たちは今日からこれらの6Gミラーの最適化を開始でき、量子力学の助けを借りて、インターネット信号をレーザーのような精度で制御できる未来への道を切り開くことができるのです。