Distributed synchronization of Euclidean transformations with guaranteed convergence

This paper addresses synchronization of Euclidean transformations over graphs. Synchronization in this context, unlike rendezvous or consensus, means that composite transformations over loops in the graph are equal to the identity. Given a set of non-synchronized transformations, the problem at hand is to find a set of synchronized transformations approximating well the non-synchronized transformations. This is formulated as a nonlinear least-squares optimization problem. We present a distributed synchronization algorithm that converges to the optimal solution to an approximation of the optimization problem. This approximation stems from a spectral relaxation of the rotational part on the one hand and from a separation between the rotations and the translations on the other. The method can be used to distributively improve the measurements obtained in sensor networks such as networks of cameras where pairwise relative transformations are measured. The convergence of the method is verified in numerical simulations.

[1]  Venu Madhav Govindu.  Lie-algebraic averaging for globally consistent motion estimation , 2004, CVPR 2004.

[2]  Venu Madhav Govindu,et al.  Robustness in Motion Averaging , 2006, ACCV.

[3]  Venu Madhav Govindu,et al.  On Averaging Multiview Relations for 3D Scan Registration , 2014, IEEE Transactions on Image Processing.

[4]  Carlos Sagues,et al.  Parallel and Distributed Map Merging and Localization: Algorithms, Tools and Strategies for Robotic Networks , 2015 .

[5]  Berthold K. P. Horn,et al.  Closed-form solution of absolute orientation using orthonormal matrices , 1988 .

[6]  Yoel Shkolnisky,et al.  Three-Dimensional Structure Determination from Common Lines in Cryo-EM by Eigenvectors and Semidefinite Programming , 2011, SIAM J. Imaging Sci..

[7]  P. Schönemann,et al.  A generalized solution of the orthogonal procrustes problem , 1966 .

[8]  Johan Thunberg,et al.  Distributed methods for synchronization of orthogonal matrices over graphs , 2017, Autom..

[9]  J. Keller.  Closest Unitary, Orthogonal and Hermitian Operators to a Given Operator , 1975 .

[10]  Amit Singer,et al.  Eigenvector Synchronization, Graph Rigidity and the Molecule Problem , 2011, Information and inference : a journal of the IMA.

[11]  Amit Singer,et al.  Global Registration of Multiple Point Clouds Using Semidefinite Programming , 2013, SIAM J. Optim..

[12]  Johan Thunberg,et al.  Transitively Consistent and Unbiased Multi-Image Registration Using Numerically Stable Transformation Synchronisation , 2015 .

[13]  Amit Singer,et al.  A Cheeger Inequality for the Graph Connection Laplacian , 2012, SIAM J. Matrix Anal. Appl..

[14]  Yaron Lipman,et al.  Sensor network localization by eigenvector synchronization over the euclidean group , 2012, TOSN.

[15]  A. Singer,et al.  Representation theoretic patterns in three dimensional Cryo-Electron Microscopy I: The intrinsic reconstitution algorithm. , 2009, Annals of mathematics.

[16]  Vikas Singh,et al.  Solving the multi-way matching problem by permutation synchronization , 2013, NIPS.

[17]  René Vidal,et al.  Distributed 3-D Localization of Camera Sensor Networks From 2-D Image Measurements , 2014, IEEE Transactions on Automatic Control.

[18]  Johan Thunberg,et al.  On Transitive Consistency for Linear Invertible Transformations between Euclidean Coordinate Systems , 2015, ArXiv.

[19]  K. S. Arun,et al.  Least-Squares Fitting of Two 3-D Point Sets , 1987, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[20]  Johan Thunberg,et al.  A solution for multi-alignment by transformation synchronisation , 2014, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).

[21]  A. Singer.  Angular Synchronization by Eigenvectors and Semidefinite Programming. , 2009, Applied and computational harmonic analysis.

[22]  Amit Singer,et al.  Representation Theoretic Patterns in Three-Dimensional Cryo-Electron Microscopy II—The Class Averaging Problem , 2011, Found. Comput. Math..

[23]  Mac Schwager,et al.  Distributed formation control without a global reference frame , 2014, 2014 American Control Conference.

[24]  Nicolas Boumal,et al.  A Riemannian low-rank method for optimization over semidefinite matrices with block-diagonal constraints , 2015, ArXiv.

[25]  Hongdong Li,et al.  Rotation Averaging , 2013, International Journal of Computer Vision.

[26]  Amit Singer,et al.  Exact and Stable Recovery of Rotations for Robust Synchronization , 2012, ArXiv.