[논문 리뷰] Certifying the Existence of Epipolar Matrices

Sameer Agarwal, Hon-Leung Lee외 2명|arXiv (Cornell University)|2014. 07. 21.

Digital Image Processing Techniques참고 문헌 10인용 수 7

한 줄 요약

이 논문은 비선형 시스템을 풀지 않고도 2차원 점 대응 관계로부터 기본 행렬의 존재를 증명하기 위해 정확한 선형 대수를 사용하는 다항식 시간 알고리즘을 제시한다. 이미지 좌표에서 실수 계수의 랭크 2 기본 행렬이 존재하는지를 결정하는 명시적인 다항식 불변량을 유도하며, 최소 케이스에 대한 완전하고 구조적인 해법을 제공하고, 행렬 매개변수 없이도 두 시점의 불변량의 새로운 클래스를 제안한다.

ABSTRACT

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.

연구 동기 및 목표

• 2차원 점 대응 관계로부터 기본 행렬의 존재 문제에 대한 완전하고 알고리즘 기반의 해법을 제공하는 것.
• 데이터 행렬 $ Z $ 의 랭크가 변할 때 에세셜 행렬에 대한 Demazure 다항식의 가역성을 특성화하는 것.
• 기본 행렬 및 에세셜 행렬의 존재에 대해 필수적이고 충분한 조건을 이미지 좌표에서의 다항식 조건으로 유도하는 것—행렬 자체와는 무관하게.
• 기본 행렬 또는 에세셜 행렬에 의존하지 않는 새로운 두 시점 불변량의 클래스를 설정하는 것—오직 이미지 좌표에 기반하여.
• 랭크 결손 행렬과 실제 기본/에세셜 행렬 사이의 격차를 선형 대수적 조건을 통해 랭크 2 및 랭크 3 해를 증명함으로써 메우는 것.

제안 방법

• 이 방법은 점 대응 관계의 크로네커 곱을 사용하여 구성된 데이터 행렬 $ Z \in \mathbb{R}^{m \times 9} $ 을 사용하여 에피폴라 제약 조건을 표현한다.
• 기본 행렬의 경우, 알고리즘은 $ Z $ 의 영공간이 실수 랭크 2 행렬의 다양체와 교차하는지 여부를 $ Z $ 에 대한 선형 대수적 조건을 통해 확인한다.
• 에세셜 행렬의 경우, 방법은 $ Z $ 의 커널을 분석하고, Demazure 다항식에서 유도된 삼차방정식의 공통 실근 여부를 테스트하기 위해 베주 행렬을 구성한다.
• 유도된 행렬 $ R $ 의 랭크를 계산하여 경우를 분류한다: 랭크 1은 존재를 의미하고, 랭크 4는 존재하지 않음을 의미하며, 랭크 2 또는 3은 판별식 또는 최대공약수를 통한 근 찾기 알고리즘을 유도한다.
• 이 접근법은 곡선 $ \mathcal{C} $ 의 매개변수화와 복소 에세셜 다양체 $ \mathcal{E}_{\mathbb{C}} $ 의 초형태를 사용하여 해를 특성화한다.
• 모든 조건은 행렬 계산 없이 이미지 좌표만을 이용한 다항식 방정식 및 부등식으로 표현된다.

실험 결과

연구 질문

• RQ1 2차원 점 대응 관계에 대해 실수 계수의 랭크 2 기본 행렬이 존재하는 조건은 무엇인가?
• RQ2 주어진 데이터 행렬 $ Z $ 에 대해 Demazure 다항식의 시스템이 실수 해를 가지는 조건은 언제인가, 이는 에세셜 행렬의 존재를 나타낸다.
• RQ3 비선형 시스템을 풀지 않고도 데이터 행렬 $ Z $ 에 대한 선형 대수만으로 기본 행렬 또는 에세셜 행렬의 존재를 증명할 수 있는가?
• RQ4 이미지 좌표 내 다항식 불변량은 어떻게 에피폴라 행렬의 존재를 완전히 특성화하는가, 행렬 자체와는 무관하게?
• RQ5 대수기하학을 통해 랭크 결손 행렬과 실제 기본 행렬 사이의 격차를 어떻게 공식적으로 메울 수 있는가?

주요 결과

• 논문은 점 대응 관계와 데이터 행렬 $ Z $ 에 대한 선형 대수만을 사용하여 기본 행렬의 존재를 증명하는 완전하고 다항식 시간 알고리즘을 제공한다.
• $ \textup{rank}(Z) \leq 3 $ 또는 $ \geq 7 $ 인 경우, 에세셜 행렬의 존재는 랭크 조건과 데이터에 대한 다항식 제약 조건으로 완전히 특성화된다.
• $ 4 \leq \textup{rank}(Z) \leq 6 $ 인 경우, 방법은 Demazure 다항식이 복소수 해를 가지는지 여부를 판단하며, 유도된 행렬 $ R $ 의 랭크가 2 또는 3일 경우 판별식과 최대공약수를 통해 실근이 존재하는지 확인한다.
• 알고리즘은 $ \textup{rank}(R) = 1 $ 일 때 존재를 올바르게 식별하고, $ \textup{rank}(R) = 4 $ 일 때는 존재하지 않음을 확인하며, 중간 랭크의 경우 판별식 및 베주 행렬 검사를 통해 처리한다.
• 유도된 조건은 이미지 좌표 내 다항식 불변량이며, 기본 행렬 또는 에세셜 행렬에 의존하지 않는 새로운 두 시점 불변량의 클래스를 이룬다.
• 이 방법은 정확한 선형 대수를 통해 랭크 2 해를 증명함으로써 랭크 결손 행렬과 실제 기본 행렬 사이의 격차를 메우며, 비선형 해법기를 피한다.