核心概念
볼록 메시지 전달 알고리즘은 고정점에 수렴한다.
要約
이 논문은 볼록 메시지 전달 알고리즘의 수렴성을 분석한다.
첫째, 저자는 선형 계획법 또는 라그랑지안 완화를 통해 얻은 상한을 최소화하는 대표적인 알고리즘인 max-sum diffusion과 max-marginal averaging의 수렴성을 증명한다. 이는 오랫동안 제기되어 온 추측을 증명한 것이다.
둘째, 저자는 일반적인 볼록 분할 선형 목적함수를 최소화하는 좌표 하강법의 수렴성을 증명하는 새로운 기법을 제시한다. 이를 통해 max-sum diffusion과 max-marginal averaging의 수렴성을 보일 수 있었다.
셋째, 저자는 제약 조건이 있는 볼록 최적화 문제에 대한 좌표 하강법의 수렴성이 보장되지 않음을 보였다. 이는 비평활 및/또는 제약 조건이 있는 문제에서 좌표 하강법의 동작을 이해하는 데 도움이 된다.
統計
볼록 메시지 전달 알고리즘은 O(1/ε) 반복 횟수 내에 ε 정확도에 도달한다.
max-sum diffusion과 max-marginal averaging 알고리즘은 고정점에 수렴한다.
제약 조건이 있는 볼록 최적화 문제에 대한 좌표 하강법은 수렴하지 않을 수 있다.
引用
"We prove the long-open conjecture, formulated for max-sum difussion in (Schlesinger & Antoniuk, 2011; Werner, 2007): the sequence generated by the algorithm converges to a fixed point of the algorithm."
"Moreover, we show that for any accuracy ε > 0 this happens in O(1/ε) iterations – to the best of our knowledge, this is the first result on convergence rate for these methods."
"We show that coordinate descent need not converge when applied to a constrained optimization problem, despite that it is seemingly very similar to the version that we proved to converge for unconstrained minimization of convex piecewise-affine objective."