[논문 리뷰] A Provably Robust Multiple Rotation Averaging Scheme for SO(2)

Tyler Maunu, Gilad Lerman|arXiv (Cornell University)|2020. 02. 13.

Sparse and Compressive Sensing Techniques참고 문헌 15인용 수 1

한 줄 요약

이 논문은 SO(2)에서 다중 회전 평균화를 위한 증명 가능하게 강건한 알고리즘인 트리밍 평균 동기화를 제안한다. 이 알고리즘은 측정치의 25% 이내로 악성 오염이 발생하더라도 정확한 복원과 선형 수렴을 달성한다. 이 방법은 악성 공격자가 오염된 측정치와 그 대체 값 모두를 선택할 수 있는 최악의 상황에서도 작동하도록 설계되어 있으며, 기존 비볼록 공식화의 실패를 극복한다.

ABSTRACT

We give adversarial robustness results for synchronization on the rotation group over $\mathbb{R}^2$, $\mathrm{SO}(2)$. In particular, we consider an adversarial corruption setting, where an adversary can choose which measurements to corrupt as well as what to corrupt them to. In this setting, we first show that some common nonconvex formulations, which are categorized as multiple rotation averaging, may fail. We then discuss a new fast algorithm, called Trimmed Averaging Synchronization, which has exact recovery and linear convergence up to an outlier percentage of $1/4$.

연구 동기 및 목표

• SO(2)에서 악성 오염에 취약한 기존 비볼록 다중 회전 평균화 공식화 문제를 해결하기 위해.
• 악성 공격자가 오염된 측정치의 선택과 값까지 임의로 설정할 수 있는 상황에서도 최대 25% 이하의 측정치 오염에 대해 정확도를 유지할 수 있는 증명 가능하게 강건한 알고리즘을 개발하기 위해.
• 이러한 최악의 오염 상황에서도 정확한 복원과 선형 수렴을 보장하기 위해.

제안 방법

• 잔여 오차 기반으로 가장 일관성이 없는 측정치를 제거하는 트리밍 평균화 접근 방식을 사용하여 가장 신뢰할 수 있는 부분집합에 집중한다.
• SO(2)에서의 동기화 문제에 볼록 이완 기법을 적용하여 악성 이방자에 대한 강건성을 확보한다.
• 트리밍 후 남은 내성 측정치 집합에 대해 가중 최소제곱 문제를 풀어 반복적으로 회전 추정치를 정밀화한다.
• 동적으로 오염된 측정치를 식별하고 제거하는 강건한 임계값 설정 메커니즘을 통합한다.
• 전역 회전에 대해 불변성을 확보하여 동기화 과정의 일관성을 보장하도록 공식화하였다.
• 이론적 분석을 통해 오염 비율이 1/4 이하일 경우 정확한 복원과 선형 수렴을 달성할 수 있음을 증명하였다.

실험 결과

연구 질문

• RQ1 기존 비볼록 다중 회전 평균화 공식화는 SO(2)에서 악성 공격자가 오염된 측정치의 선택과 값까지 모두 제어할 수 있는 상황에서도 강건성을 유지할 수 있는가?
• RQ2 어느 정도의 악성 이방자 비율까지 회전 평균화 알고리즘이 정확한 복원을 달성할 수 있는가?
• RQ3 최악의 오염 상황에서도 선형 수렴을 보장하는 빠르고 증명 가능하게 강건한 SO(2) 동기화 알고리즘을 설계할 수 있는가?

주요 결과

• 제안된 트리밍 평균 동기화 알고리즘은 악성으로 오염된 측정치 비율이 1/4 이하일 경우에 회전 추정치를 정확히 복원한다.
• 알고리즘은 선형 수렴을 보이며, 이는 1/4 이하의 오염 임계값 하에서 반복이 진행될수록 오차가 지수적으로 감소함을 의미한다.
• 기존 비볼록 공식화는 조건이 1/4 이하일지라도 악성 오염 상황에서는 실패한다.
• 악성 공격자가 오염된 측정치를 선택하고 그 대체 값을 모두 설정할 수 있는 최악의 오염 상황에서도 이 방법은 강건하다.
• 이론적 분석을 통해 알고리즘의 성능이 보장되며, 정확한 복원을 위한 증명 가능한 강건성 임계값 25%를 확립하였다.