A Unified Approach to Synchronization Problems over Subgroups of the
  Orthogonal Group
  The problem of synchronization over a group $\mathcal{G}$ aims to estimate a
collection of group elements $G^*_1, \dots, G^*_n \in \mathcal{G}$ based on
noisy observations of a subset of all pairwise ratios of the form $G^*_i
{G^*_j}^{-1}$. Such a problem has gained much attention recently and finds many
applications across a wide range of scientific and engineering areas. In this
paper, we consider the class of synchronization problems in which the group is
a closed subgroup of the orthogonal group. This class covers many group
synchronization problems that arise in practice. Our contribution is fivefold.
First, we propose a unified approach for solving this class of group
synchronization problems, which consists of a suitable initialization step and
an iterative refinement step based on the generalized power method, and show
that it enjoys a strong theoretical guarantee on the estimation error under
certain assumptions on the group, measurement graph, noise, and initialization.
Second, we formulate two geometric conditions that are required by our approach
and show that they hold for various practically relevant subgroups of the
orthogonal group. The conditions are closely related to the error-bound
geometry of the subgroup -- an important notion in optimization. Third, we
verify the assumptions on the measurement graph and noise for standard random
graph and random matrix models. Fourth, based on the classic notion of metric
entropy, we develop and analyze a novel spectral-type estimator. Finally, we
show via extensive numerical experiments that our proposed non-convex approach
outperforms existing approaches in terms of computational speed, scalability,
and/or estimation error.
