核极矩阵存在性的证明
Certifying the Existence of Epipolar Matrices
摘要:
给定两幅图像中的一组点对应,基本矩阵的存在是这组点成为用两个针孔相机成像的三维场景的图像的必要条件。如果相机校准是已知的,那么需要存在一个基本矩阵。我们提出了一个有效的算法,使用精确线性代数,用于测试存在的基本矩阵。输入是任意数量的点对应。对于本质矩阵,我们刻画了Demazure多项式的可解性。在这两种情况下,我们确定哪些线性子空间与由非线性多项式定义的固定集相交。我们推导出的条件是多项式表示纯粹的图像坐标。它们代表了一类新的双视图不变量,不含基本(分别为~基本)~矩阵。
英文摘要:
Given a set of point correspondences in two images, the existence of a fundamental matrix is a necessary condition for the points to be the images of a 3-dimensional scene imaged with two pinhole cameras. If the camera calibration is known then one requires the existence of an essential matrix. We present an efficient algorithm, using exact linear algebra, for testing the existence of a fundamental matrix. The input is any number of point correspondences. For essential matrices, we characterize the solvability of the Demazure polynomials. In both scenarios, we determine which linear subspaces intersect a fixed set defined by non-linear polynomials. The conditions we derive are polynomials stated purely in terms of image coordinates. They represent a new class of two-view invariants, free of fundamental (resp.~essential)~matrices.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。