A Unified Dual Framework for Sparse-Array Near-Field Beam Focusing With Spatial Interference Suppression

技術要約：空間干渉抑制を伴う疎アレイ近傍界ビームフォーカシングのための統一的二重フレームワーク

問題提起
本論文は、空中のターゲットに対して放射エネルギーを集中させると同時に、連続的な地上保護領域上の干渉を抑制するように設計された、コヒーレントな衛星フォーメーション（特に低軌道（LEO）コンステレーション）の設計課題に取り組んでいる。このシナリオは、航空機端末へのダウンリンク信号と地上セルラーユーザーが共存しなければならない再生ペイロード搭載の非地上ネットワーク（NTN）において発生する。

この問題は、主に以下の3つの課題によって特徴付けられる：

1. 半無限制約： 保護領域は連続的な空間連続体であり、無限個の点における電界強度を抑制する必要がある。これは通常、収束性が不確実な数値的な切断平面法（cutting-plane methods）を必要とする。
2. 幾何学的退化： 一般的なLEOシナリオでは、ターゲットの高度は軌道高度よりもはるかに低い。これにより、「準共線的（near-collinear）」な幾何学構造が生まれ、ターゲットと支配的な地上干渉方向が高度に相関し、最適化アルゴリズムとは独立した、信号対干渉比（SIR）に対する根本的な上限を課すことになる。
3. 定振幅実装： 実用的な衛星ペイロードは飽和電力増幅器を使用するため、ビームフォーミング重みに定振幅（constant-modulus）制約が課される。これにより、問題は非凸な多様体最適化へと変貌し、古典的な閉形式の線形解（MVDRなど）は一般に実行不可能となる。

手法
著者らは、異なるビームフォーミング・アプローチ（SOCP、MVDR、LCMV）を別個のデザインとして扱うのではなく、共通の解析的構造を導出するために、統一的なラグランジュ双対フレームワークを提案している。

• 双対解析： 著者らは、ビームフォーカスの問題を半無限二次錐計画問題（SOCP）として定式化している。ラグランジュ双対性を適用することで、最適なビームフォーマーを、有効な空間共分散行列に対する一般化マッチドフィルタとして特徴付けている。この共分散は、保護領域上で支持される最適な双対測度によって誘導される。
• 有限支持特性： 測度論的議論（特にチャカルフの定理）を用いて、最適な双対測度が有限の支持を持つことを証明している。アクティブな「ワーストケース」干渉点の数は、一般には $M^2$ であり、一様線形アレイ（ULA）の場合は $M$ （$M$ はアレイ素子数）で抑えられる。これは、切断平面法の収束性に対する理論的な証明となる。
• 漸近解析： 著者らは、平均SIRに関する閉形式の上限を導出している。準共線的レジームにおいて、この上限はアパーチャ幅ではなく、アレイ次数 $M$ に対して対数的にスケールすること（具体的には $10 \log_{10} M$）が示されている。
• アルゴリズムの特化： 本フレームワークは、既存のいくつかのアルゴリズムを単一の双対測度定式化の特殊なケースとして統合している。さらに、定振幅制約に対処するため、無制約のMVDR解を単位トーラス多様体に投影して初期化を行う、リーマン共役勾配アルゴリズムを開発した。

主な貢献

1. 最適なビームフォーマー構造： すべての最適な線形ビームフォーマーは、双対測度によって誘導される空間共分散に対する一般化マッチドフィルタとして表現できることを確立した。これにより、半無限SOCP定式化と古典的な適応ビームフォーミング（MVDR、LCMV）が直接結びつけられた。
2. 有限支持の証明： 最適な双対測度が有限の支持を持つこと（カーディナリティ $\le M^2$、一般に $\le M$、ULAの場合は $\le M$）を証明した。これは、疎なアクティブセット法の経験的な効率性を説明し、切断平面法が有限のワーキングセットで終了することを保証するものである。
3. 基本となるSIR限界： 平均SIRに関する閉形式の上限を導出した。解析の結果、準共線的幾何学の下では、達成可能なSIRはアパーチャ幅や特定の最適化アルゴリズムではなく、アレイ次数 $M$ によって支配されることが明らかになった。
4. 統一的なアルゴリズム解釈： 本フレームワークは、MVDR、LCMV、およびSOCPベースのフォーカシングを、単一の双対測度定式化の特殊なケースとして示している。また、定振幅制約を持つための実用的な多様体最適化アルゴリズムを提供し、無制約の性能限界に接近することを示した。
5. アーキテクチャに関する洞察： 解析により、以下の3つの動作不変性を特定した：
   • アルゴリズム不変性： 無制約および定振幅ビームフォーマーのいずれも、最適に近いSIRを達成する。
   • トポロジー不変性： 準共線的レジームでは、同じ $M$ を持つ1Dおよび2Dコンステレーションは、実質的に同一のSIRを示す。
   • 送受信非対称性： 送信アパーチャ（プラットフォームごと）を拡大することは、幾何学的制約により収穫逓減をもたらすが、受信側の指向性アンテナはデシベル単位での線形な利得を提供し、SIRの天井を突破するための主要なレバーとなる。

結果
代表的なLEOフォーメーション（$M=8$ 衛星、$D=300$ km）を用いた数値実験により、理論的知見が検証された：

• SIRのスケーリング： 測定されたSIRの上限は正確に $10 \log_{10} M$ としてスケールし、アパーチャ幅 $D$ にはほとんど依存しない。これは漸近解析を裏付けている。
• アルゴリズム性能： 無制約のMVDRビームフォーマーは9.03 dBを達成し、理論的上限から0.01 dB以内である。提案されたリーマン多様体アルゴリズム（MVDRによる初期化を伴う）は9.09 dBを達成し、定振幅制約がこのレジームにおいて性能を大きく低下させないことを示している。
• LCMVの失敗： 本研究は、幾何学的退化下におけるLCMVの失敗を定量化している。ヌル制約の数が増えるにつれて、制約行列の条件数が爆発し、ターゲット信号の崩壊を招く。
• ロバスト性： システムは位置摂動に対して敏感であり、SIRの劣化は $1/\sigma_p^2$ （$\sigma_p$ は位置誤差の標準偏差）としてスケールする。しかし、センチメートル級の軌道決定精度があれば、低いSIR損失を維持できる。
• プラットフォームごとの戦略： シミュレーションは、個々の衛星プラットフォーム上でのローカル処理戦略（ボアサイト、ローカルヌリング、またはローカルMVDR）では、幾何学的なSIRの天井を克服できないことを示している。この限界を打破するには、全物理素子（$MN$ 素子）の完全な共同コヒーレント処理が必要であるが、これは現在のシステムにおいては非現実的なネットワーク全体の同期を必要とする。

意義と主張
本論文は、疎アレイ近傍界ビームフォーカスの理論的統一を提供し、数値最適化（SOCP）と解析的適応ビームフォーミング（MVDR/LCMV）の間の溝を埋めるものである。その主な意義は、焦点の対象をアルゴリズムの改善から幾何学的制限へとシフトさせたことにある。

著者らは、準共線的幾何学で作動する分散型衛星フォーメーションについて次のように主張している：

• 達成可能なSIRは、最適化アルゴリズムの精緻さではなく、アレイ次数 $M$ と高度比によって根本的に制限される。
• 既存の階層的アーキテクチャ（プラットフォーム間で協調する前にローカルな結合を行うもの）は、本質的にこの幾何学的天井に縛られている。
• 実用的な設計努力は、送信側のアルゴリズムやアパーチャ幅を洗練させることよりも、受信側の指向性を高めるか、あるいはプラットフォームの数（$M$）を増やすことに優先度を置くべきである。なぜなら、後者はこの特定のレジームにおいては微々たる利得しか得られないためである。

結論として、定振幅制約は実用上必要であるが、問題の幾何学的制約から導かれる基本性能限界への接近を妨げるものではないとしている。