[論文レビュー] Exact Recovery of Discrete Measures from Wigner D-Moments

Frank Filbir, Kristof Schröder|arXiv (Cornell University)|Jun 16, 2016

Mathematical Analysis and Transform Methods参考文献 24被引用数 5

ひとこと要約

本稿は、SO(3) 上の離散測度を、Wigner D関数の低次のモーメントから全変動最小化を用いて正確に回復できることを確立する。支持点が互いに少なくとも $\frac{36}{N+1}$ 離れている場合に、一意的な回復が可能であることを証明しており、トーラス上での超解像原理をSO(3) に拡張する。この際、群上の微分作用素核の明示的局在化推定を用いる。

ABSTRACT

In this paper, we show the possibility of recovering a sum of Dirac measures on the rotation group $SO(3)$ from its low degree moments with respect to Wigner D-functions only. The main Theorem of the paper states, that exact recovery from moments up to degree $N$ is possible, if the support set of the measure obeys a separation distance of $\frac{36}{N+1}$. In this case, the sought measure is the unique solution of a total variation minimization. The proof of the uniqueness requires localization estimates for interpolation kernels and corresponding derivatives on the rotation group $SO(3)$ with explicit constants.

研究の動機と目的

• SO(3) 上の離散測度が、その低次のWigner D関数モーメントから正確に回復可能である条件を確立すること。
• CandèsとFernandez-Grandaの超解像フレームワークを回転群SO(3) に拡張すること。
• 補間核およびその微分の明示的局在化推定を用いて、SO(3) 上の全変動最小化における一意性のための双対証明を構築すること。
• 双対証明が満たすべき補間および有界性条件を満たすために必要な、核の局在化バウンドにおける明示的定数を導出すること。
• 支持点間の最小分離距離が $\frac{36}{N+1}$ を超える場合に正確な回復が可能であることを示すこと。ここで $N$ は最大モーメント次数である。

提案手法

• SO(3) 上の符号付き測度の空間における全変動最小化として回復問題を定式化する。
• CandèsとFernandez-Grandaの双対証明アプローチをSO(3) に適応し、支持点で符号を補間し、それ以外の点で絶対値が1以下であるような、Wigner D関数による三角多項式（類似）を必要とする。
• Wigner D関数およびその3階微分までを含む、核に基づく補間スキームを用いて双対証明を構築する。
• Rodriguesの公式およびSO(3) 上の球面調和関数展開を用いて、核およびその微分の点ごとの明示的バウンドを導出する。
• 核およびその微分のための明示的定数 $\tilde{d}_s$, $\tilde{c}_s$, および $\tilde{d}_s$ を用いた局在化推定を確立し、双対証明が必要な条件を満たすようにする。
• 微分作用素の下での核の振る舞いを制御するため、$|X_i^x X_i^x X_n^y \sigma_N| \leq \tilde{d}_s (N+1)^3 \delta$ および類似の推定を用いる。

実験結果

リサーチクエスチョン

• RQ1 SO(3) 上の離散測度は、その低次のWigner D関数モーメントから正確に回復可能か？
• RQ2 全変動最小化における解の一意性を保証するための、支持点間の最小分離条件は何か？
• RQ3 トーラス上での超解像に用いられる双対証明の構成を、回転群SO(3) に適応可能か？
• RQ4 SO(3) 上での補間核およびその微分の局在化推定に必要な明示的定数は何か？
• RQ5 SO(3) 上の超解像係数は、トーラス上での古典的係数 $\frac{2}{N}$ と比べてどう異なるか？

主な発見

• SO(3) 上の離散測度が、次数 $N$ までのWigner Dモーメントから正確に回復可能である。その条件は、支持点が互いに少なくとも $\frac{36}{N+1}$ 離れていることである。
• 解は、次数 $N$ までのモーメントが同一であるすべての符号付き測度の中で、全変動ノルムの唯一の最小化子である。
• 証明は、SO(3) 上の補間核の3階微分の明示的局在化推定を用いた双対証明の構築に依存しており、明示的定数が含まれる。
• 局在化バウンドは、Rodriguesの公式および球面調和関数展開を用いて導出され、$|X_i^x X_i^x X_n^y \sigma_N| \leq \tilde{d}_s (N+1)^3 \delta$ のような推定が得られる。
• SO(3) 上の超解像係数は $\frac{36}{N+1}$ であり、トーラス上での $\frac{2}{N}$ に比べて大きい。これは回転群の高い複雑性を反映している。
• 双対証明の構築は、支持点の分離が $\frac{36}{N+1}$ を超える場合に有効であり、これにより支持点外で双対証明が厳密に不等式を満たすことが保証される。