[論文レビュー] Super-Resolution Radar

Reinhard Heckel, Veniamin I. Morgenshtern+1 more|arXiv (Cornell University)|Nov 23, 2014

Sparse and Compressive Sensing Techniques参考文献 49被引用数 8

ひとこと要約

本稿では、凸最適化問題を解くことで、遅延-Doppler推定における古典的分解能限界を克服するスーパーキャラクタリゼーションレーダー技術を提案する。時間方向に2.37/B以上、周波数方向に2.37/T以上離れた連続的な遅延-Dopplerペアおよび減衰係数を正確に回復可能であり、ターゲット数はBT（システムの次元）に比例して線形に増加し、対数係数まで拡張可能である。

ABSTRACT

In this paper we study the identification of a time-varying linear system from its response to a known input signal. More specifically, we consider systems whose response to the input signal is given by a weighted superposition of delayed and Doppler shifted versions of the input. This problem arises in a multitude of applications such as wireless communications and radar imaging. Due to practical constraints, the input signal has finite bandwidth B, and the received signal is observed over a finite time interval of length T only. This gives rise to a delay and Doppler resolution of 1/B and 1/T. We show that this resolution limit can be overcome, i.e., we can exactly recover the continuous delay-Doppler pairs and the corresponding attenuation factors, by solving a convex optimization problem. This result holds provided that the distance between the delay-Doppler pairs is at least 2.37/B in time or 2.37/T in frequency. Furthermore, this result allows the total number of delay-Doppler pairs to be linear up to a log-factor in BT, the dimensionality of the response of the system, and thereby the limit for identifiability. Stated differently, we show that we can estimate the time-frequency components of a signal that is S-sparse in the continuous dictionary of time-frequency shifts of a random window function, from a number of measurements, that is linear up to a log-factor in S.

研究の動機と目的

• 有限帯域幅（B）と観測時間（T）の制限により生じる実用的制約を克服し、古典的分解能限界を超えて密に配置されたターゲットを解像する根本的課題に取り組む。
• 有限帯域幅（B）と観測時間（T）の制限により、分解能が1/Bおよび1/Tに制限されるという事実を克服する。
• 単一の入出力測定値から、連続的な遅延-Dopplerペアおよび減衰係数を正確に回復可能にする。
• 時間および帯域制限を受ける信号においても、超分解能が達成可能である条件を確立する。
• ターゲットの可解能がBTに比例して線形に増加し、対数係数まで拡張可能であり、識別可能性を最大化する。

提案手法

• 既知のプローブ信号の時間的およびドップラー的シフトの重ね合わせとしてレーダー応答をモデル化し、連続的な遅延-Dopplerペアを扱う。
• 入力信号の部分的周期的拡張を用い、OFDMにおけるサイクリックプレフィックスを模倣することで、離散時間ドメインにおける安定性を確保する。
• 時間周波数シフトの連続辞書における凸最適化問題として回復問題を定式化する。
• 核ノルムペナルティを用いた正則化最小二乗法を適用し、時間周波数表現における低ランク構造を促進する。
• 自己相関関数の構造とその微分を活用し、ヘッセ行列に基づく解析により正確な回復を証明する。
• 摂動解析と行列集中不等式を用いて、目的関数のヘッセ行列が真の解の近傍で負定値であることを確立し、一意性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限帯域幅と観測時間を持つレーダーシステムにおいて、古典的遅延-Doppler分解能限界（1/Bおよび1/T）を克服できるか？
• RQ2 凸最適化を用いて、単一の測定値から連続的な遅延-Dopplerペアをどの条件下で正確に回復できるか？
• RQ3 スーパーキャラクタリゼーションレーダーシステムにおける可解ターゲットの最大数は何か？ また、時間帯域積BTとどのようにスケーリングされるか？
• RQ4 遅延-Dopplerペア間の最小距離が、回復プロセスの識別可能性および安定性にどのように影響するか？
• RQ5 提案手法が、BTに比例して線形に増加するターゲット数（対数係数まで）に対しても正確な回復を達成できるか？

主な発見

• 最小距離が時間方向に2.37/B以上、周波数方向に2.37/T以上離れている限り、凸最適化を用いて連続的な遅延-Dopplerペアおよび減衰係数を正確に回復可能である。
• 可解ターゲット数はBTに比例して線形に増加し、対数係数まで拡張可能であり、識別可能性の情報理論的限界と一致する。
• 摂動に対して安定でロバストであることが証明されており、目的関数のヘッセ行列が真の解の近傍で負定値であることを示している。
• アンダースプライド仮定を必要としないため、広範なレーダーおよび通信システムに適用可能である。
• 行列集中および摂動解析を用いて理論的保証を確立し、正確な回復に必要な最小距離の明示的境界を導出している。
• 数値的検証により、本手法が、レイリー限界を下回る密なターゲットに対しても、古典的手法（マッチドフィルタリング）を上回ることを確認している。