[论文解读] 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

一句话总结

该论文通过总变差最小化，从低阶Wigner D函数矩中实现了对旋转群SO(3)上离散测度的精确恢复。证明了当支撑点之间的分离度至少为$\frac{36}{N+1}$时，唯一恢复是可能的，通过在群上对微分核进行显式局部化估计，将环面（torus）上的超分辨原理推广至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\`es与Fernandez-Granda的超分辨框架推广至旋转群SO(3)。
• 通过SO(3)上插值核及其导数的显式局部化估计，构造总变差最小化中唯一性的对偶证书。
• 推导出确保对偶证书满足所需插值与有界性条件的核局部化界中的显式常数。
• 证明当支撑点间的最小分离度超过$\frac{36}{N+1}$时，精确恢复是可能的，其中$N$为最大矩次数。

提出的方法

• 将恢复问题表述为SO(3)上符号测度空间中的总变差最小化问题。
• 将Cand\`es与Fernandez-Granda的对偶证书方法适配至SO(3)，要求构造一个以Wigner D函数表示的三角多项式（类似三角多项式），其在支撑点处插值符号，并在其余位置绝对值不超过1。
• 通过涉及Wigner D函数及其至三阶导数的基于核的插值方案构造对偶证书。
• 利用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}$因子相比如何？

主要发现

• 当支撑点间分离度至少为$\frac{36}{N+1}$时，SO(3)上离散测度从至多$N$阶的Wigner D矩中可实现精确恢复。
• 在所有具有相同至$N$阶矩的符号测度中，该解是总变差范数的唯一最小化元。
• 证明依赖于利用SO(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}$时，对偶证书构造成立，确保对偶证书在支撑集外严格满足不等式条件。