コンピュータビジョンのコンテキストで同期問題を解決するための最初の量子アルゴリズムであるQuantumSyncを紹介します。特に、離散変数の非凸最適化問題を解くことを含む順列同期に焦点を当てています。まず、同期を2次の制約のないバイナリ最適化問題(QUBO)に定式化します。このような定式化は問題のバイナリの性質を尊重しますが、結果が一連の順列であることを保証するには、特別な注意が必要です。したがって、(I)順列制約をQUBO問題に挿入する方法を示し、(ii)現世代の断熱量子コンピューターD-Waveで制約付きQUBO問題を解決する方法を示します。量子アニーリングのおかげで、エネルギーランドスケープをサンプリングして信頼性の推定値を生成しながら、高い確率でグローバルな最適性を保証します。断熱D-Waveコンピューターでの概念実証の実現は、量子マシンが一般的でありながら困難な同期の問題を解決するための有望な方法を提供することを示しています。
We present QuantumSync, the first quantum algorithm for solving a synchronization problem in the context of computer vision. In particular, we focus on permutation synchronization which involves solving a non-convex optimization problem in discrete variables. We start by formulating synchronization into a quadratic unconstrained binary optimization problem (QUBO). While such formulation respects the binary nature of the problem, ensuring that the result is a set of permutations requires extra care. Hence, we: (I) show how to insert permutation constraints into a QUBO problem and (ii) solve the constrained QUBO problem on the current generation of the adiabatic quantum computers D-Wave. Thanks to the quantum annealing, we guarantee global optimality with high probability while sampling the energy landscape to yield confidence estimates. Our proof-of-concepts realization on the adiabatic D-Wave computer demonstrates that quantum machines offer a promising way to solve the prevalent yet difficult synchronization problems.