提出可证明的点集重构方法,解决部分距离下的几何恢复难题。
Provable Non-Convex Euclidean Distance Matrix Completion: Geometry, Reconstruction, and Robustness
- 在流形上优化低秩格拉姆矩阵,利用几何约束隐式保证一致性。
- 采样率满足条件时,算法以高概率线性收敛,理论保证完备。
- 适用于传感器定位、分子构型等需精确几何恢复的场景。
从部分点间距离中恢复点集配置的欧氏距离矩阵补全(EDMC)问题广泛应用于传感器网络定位、分子构型与流形学习等领域。本文提出一种基于黎曼优化的EDMC求解框架,将问题建模为正半定格拉姆矩阵上的低秩矩阵补全。通过非正交基展开编码观测距离,优化过程隐式通过非负性和三角不等式强制几何一致性,继承经典多维缩放结构。在伯努利采样模型下,当采样概率满足 $p\≥ O(ν^2 r^2\log(n)/n)$ 时,黎曼梯度下降在秩-$r$矩阵流形上以高概率局部线性收敛,其中 $ν$ 为特定于EDMC的非相干参数。此外,我们设计了一种一步硬阈值初始化方案,当 $p \geq O(νr^{3/2}\log^{3/4}(n)/n^{1/4})$ 时可保证收敛。本工作的关键技术贡献在于分析了非正交基下对偶基展开产生的对称线性算子,需对二阶退化U统计量进行分析,以在耦合项存在时建立最优限制等距性质。合成数据实验表明,所提算法性能优于现有先进方法。我们还给出了针对EDMC设定的几何非相干性解释,并提供了方法的鲁棒性保证。
原文摘要 · Abstract (English)
The problem of recovering the configuration of points from their partial pairwise distances, referred to as the Euclidean Distance Matrix Completion (EDMC) problem, arises in a broad range of applications, including sensor network localization, molecular conformation, and manifold learning. In this paper, we propose a Riemannian optimization framework for solving the EDMC problem by formulating it as a low-rank matrix completion task over the space of positive semi-definite Gram matrices. The available distance measurements are encoded as expansion coefficients in a non-orthogonal basis, and optimization over the Gram matrix implicitly enforces geometric consistency through nonnegativity and the triangle inequality, a structure inherited from classical multidimensional scaling. Under a Bernoulli sampling model for observed distances, we prove that Riemannian gradient descent on the manifold of rank-$r$ matrices locally converges linearly with high probability when the sampling probability satisfies $p\geq O(ν^2 r^2\log(n)/n)$, where $ν$ is an EDMC-specific incoherence parameter. Furthermore, we provide an initialization candidate using a one-step hard thresholding procedure that yields convergence, provided the sampling probability satisfies $p \geq O(νr^{3/2}\log^{3/4}(n)/n^{1/4})$. A key technical contribution of this work is the analysis of a symmetric linear operator arising from a dual basis expansion in the non-orthogonal basis, which requires analysis of a second order degenerate U-statistic to establish an optimal restricted isometry property in the presence of coupled terms. Empirical evaluations on synthetic data demonstrate that our algorithm achieves competitive performance relative to state-of-the-art methods. Moreover, we provide a geometric interpretation of matrix incoherence tailored to the EDMC setting and provide robustness guarantees for our method.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。