Dynamic angular synchronization under smoothness constraints
Ernesto Araya, Mihai Cucuringu, Hemant Tyagi
TL;DR
This work addresses dynamic angular synchronization, where both latent angles and measurement graphs evolve over time under a smoothness constraint. It develops three algorithms—GTRS-DynSync, LTRS-GS-DynSync, and GMD-LTRS-DynSync—to jointly estimate angles across all time points, accompanied by non-asymptotic MSE guarantees for at least one method under AGN and Outliers noise models. Theoretical results show that, under mild smoothness, the MSE can vanish as $T\to\infty$, even with highly sparse or disconnected graphs and with noise that may grow with $T$, and are complemented by experiments on synthetic data. This dynamic framework extends static angular synchronization and ranking literature, offering practical methods for time-evolving synchronization problems with broad potential applications. The findings highlight robust performance of the matrix-denoising plus local-spectral approach, and suggest avenues for extending to other compact groups and dependent-time measurements.
Abstract
Given an undirected measurement graph $\mathcal{H} = ([n], \mathcal{E})$, the classical angular synchronization problem consists of recovering unknown angles $θ_1^*,\dots,θ_n^*$ from a collection of noisy pairwise measurements of the form $(θ_i^* - θ_j^*) \mod 2π$, for all $\{i,j\} \in \mathcal{E}$. This problem arises in a variety of applications, including computer vision, time synchronization of distributed networks, and ranking from pairwise comparisons. In this paper, we consider a dynamic version of this problem where the angles, and also the measurement graphs evolve over $T$ time points. Assuming a smoothness condition on the evolution of the latent angles, we derive three algorithms for joint estimation of the angles over all time points. Moreover, for one of the algorithms, we establish non-asymptotic recovery guarantees for the mean-squared error (MSE) under different statistical models. In particular, we show that the MSE converges to zero as $T$ increases under milder conditions than in the static setting. This includes the setting where the measurement graphs are highly sparse and disconnected, and also when the measurement noise is large and can potentially increase with $T$. We complement our theoretical results with experiments on synthetic data.
