[논문 리뷰] GAPS: Generator for Automatic Polynomial Solvers

Bo Li, Viktor Larsson|arXiv (Cornell University)|2020. 04. 24.

Polynomial and algebraic computation참고 문헌 11인용 수 4

한 줄 요약

GAPS는 유한체에서 사전에 그뢰브너 기저 구조를 계산하여 컴퓨터 시각 분야의 다항식 시스템을 위한 자동 솔버 생성을 향상시키는 소프트웨어 프레임워크입니다. 이는 선형 대수를 통한 효율적인 온라인 해법을 가능하게 하며, autogen보다 더 나은 사용성, 안정성, 기능성을 제공하여 최소 문제를 위한 고성능 솔버를 기호 계산과 계수 템플릿 재사용을 통해 빠르게 생성할 수 있도록 합니다.

ABSTRACT

Minimal problems in computer vision raise the demand of generating efficient automatic solvers for polynomial equation systems. Given a polynomial system repeated with different coefficient instances, the traditional Gröbner basis or normal form based solution is very inefficient. Fortunately the Gröbner basis of a same polynomial system with different coefficients is found to share consistent inner structure. By precomputing such structures offline, Gröbner basis as well as the polynomial system solutions can be solved automatically and efficiently online. In the past decade, several tools have been released to generate automatic solvers for a general minimal problems. The most recent tool autogen from Larsson et al. is a representative of these tools with state-of-the-art performance in solver efficiency. GAPS wraps and improves autogen with more user-friendly interface, more functionality and better stability. We demonstrate in this report the main approach and enhancement features of GAPS. A short tutorial of the software is also included.

연구 동기 및 목표

• 컴퓨터 시각에서 계수가 변하는 반복적인 다항식 시스템에 대해 기존의 그뢰브너 기저 계산이 비효율적인 문제를 해결하기 위해.
• autogen 및 Automatic Generator와 같은 기존 도구를 향상시켜 사용성, 안정성, 기능성을 향상시키기 위해.
• 유한체 산술을 사용하여 오프라인으로 구조적 불변량을 사전에 계산하여 다항식 시스템의 효율적인 온라인 해법을 가능하게 하기 위해.
• 컴퓨터 시각의 최소 문제를 위한 자동 솔버 생성을 위한 사용자 友好的하고 확장 가능한 프레임워크를 제공하기 위해.
• 유한체 및 실수 계수 사례 모두에 대해 기호 인터페이스와 수치 인터페이스를 통해 문제 사양을 민첩하게 지원하기 위해.

제안 방법

• 수치적 불안정성을 방지하기 위해 다항식 시스템을 유한소수체 $\mathbb{Z}_p$ 에서 인스턴스화하여 그뢰브너 기저 구조를 사전에 계산합니다.
• 다양한 $\mathbb{Z}_p$ 인스턴스에서 랜덤 계수 샘플링을 통해 다수의 그뢰브너 기저를 계산하고, 정규형에 포함된 단항식의 합집합을 수집하여 전체 구조를 추론합니다.
• 다항식 조합 $\tilde{F} = \{m \cdot f \mid f \in F, m \in \mathsf{M}\}$ 에서 템플릿 행렬을 구성합니다. 여기서 $\mathsf{M}$ 은 사전에 계산된 단항식 집합입니다.
• 템플릿 행렬에 기저행렬기약행렬형태(RREF)를 적용하여 비영인 행을 통해 그뢰브너 기저를 추출합니다.
• 모듈러 다항식환 $\mathbb{K}[X]/I$ 의 알려진 구조를 활용하여 고유값 기반 해법을 위한 액션 행렬을 구성합니다.
• `abbr_subs` 를 통한 사용자 정의 치환을 지원하여 계수 계산을 최적화하고 중복된 기호 표현을 방지합니다.

실험 결과

연구 질문

• RQ1 계수가 변하는 반복적인 다항식 시스템에 대해 컴퓨터 시각에서 그뢰브너 기저 계산을 어떻게 효율적이고 안정적으로 만들 수 있는가?
• RQ2 유한체 $\mathbb{Z}_p$ 에서 계산된 그뢰브너 기저의 구조적 불변량이 실수체 $\mathbb{R}$ 또는 복소수체 $\mathbb{C}$ 에서의 시스템 해법에 얼마나 재사용될 수 있는가?
• RQ3 autogen과 같은 기존 도구를 감싸고 확장함으로써 사용성, 안정성, 기능성에서 어떤 향상이 이루어질 수 있는가?
• RQ4 기호 계산과 유한체 산술을 실용적인 소프트웨어 프레임워크에 통합하여 자동 솔버 생성에 어떻게 활용할 수 있는가?
• RQ5 템플릿 기반 계수 계산과 치환 캐싱이 솔버 생성 성능에 어떤 영향을 미치는가?

주요 결과

• GAPS는 $\mathbb{Z}_p$ 에서 그뢰브너 기저 구조를 사전에 계산하여 다항식 시스템의 효율적인 온라인 해법을 가능하게 하며, 온라인 계산을 선형 시스템 해법으로 줄입니다.
• 다양한 $\mathbb{Z}_p$ 인스턴스에서 정규형의 합집합은 원래의 실수체 $\mathbb{R}$ 또는 복소수체 $\mathbb{C}$ 에서의 정규집합 전체 구조를 신뢰성 있게 복원합니다.
• 계수 템플릿 행렬에 RREF를 적용함으로써 원래 체에서 기호 그뢰브너 기저 계산 없이도 그뢰브너 기저를 직접 추출할 수 있습니다.
• 기호 인수(`in_subs`, `out_subs`)와 최적화된 치환 구조(`abbr_subs`)를 통해 프레임워크는 민감한 문제 모델링을 지원하며 중복 계산을 줄입니다.
• GAPS는 4점 상대 자세 문제와 함께 매개변수화된 회전과 알려진 값을 포함한 사례를 통해 안정적이고 사용자 友好的한 인터페이스를 제공합니다.
• 실수 및 유한체 인스턴스 생성을 위한 `rand_arg_rl` 및 `rand_arg_zp` 메서드를 통해 소프트웨어는 원활한 벤치마킹을 지원합니다.