より効率的な多項式ソルバーの構築を目的として、コンピュータービジョンアプリケーションで発生するガロア/モノドロミーグループを検討します。ガロア/モノドロミーグループを使用すると、特定の問題が代数的サブ問題に分解される時期と、対称性があるかどうかを判断できます。数値代数幾何学と計算群論のツールを使用すると、このフレームワークを古典的および新規の再構成問題に適用できます。分解と対称性がガロア/モノドロミーグループの観点から自然に理解される可能性がある、3つの古典的なケース(キャリブレーションされたカメラの3ポイント絶対ポーズ、5ポイント相対ポーズ、および4ポイントホモグラフィ推定)を検討します。次に、絶対および相対ポーズ推定からの新しい問題にフレームワークをどのように適用できるかを示します。たとえば、点と線の特徴の混合を含む絶対ポーズ問題の新しい対称性を発見します。また、3つの画像間のキャリブレーションされたホモグラフィのペアを推定する問題についても説明します。次数64のこの問題の場合、次数を16に減らすことができます。後者は、問題を代数的に解決することの本質的な難しさをよりよく反映しています。副産物として、互換性のあるホモグラフィに対する新しい制約が発生します。これは、独立した関心事である可能性があります。
We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic subproblems, and whether or not it has any symmetries. Tools from numerical algebraic geometry and computational group theory allow us to apply this framework to classical and novel reconstruction problems. We consider three classical cases--3-point absolute pose, 5-point relative pose, and 4-point homography estimation for calibrated cameras--where the decomposition and symmetries may be naturally understood in terms of the Galois/monodromy group. We then show how our framework can be applied to novel problems from absolute and relative pose estimation. For instance, we discover new symmetries for absolute pose problems involving mixtures of point and line features. We also describe a problem of estimating a pair of calibrated homographies between three images. For this problem of degree 64, we can reduce the degree to 16; the latter better reflecting the intrinsic difficulty of algebraically solving the problem. As a byproduct, we obtain new constraints on compatible homographies, which may be of independent interest.