[논문 리뷰] A polyhedral approach to computing border bases

Gábor Braun, Sebastian Pokutta|arXiv (Cornell University)|2009. 11. 04.

Polynomial and algebraic computation참고 문헌 28인용 수 3

한 줄 요약

이 논문은 영차원 이상의 이상에 대한 바운더리 기반을 지지하는 차수 가중치 순서 이상을 차수 가중치 순서 이상의 정수 점으로서의 순서 이상 다면체의 정수 점으로 특성화하는 다면체 프레임워크를 제안한다. 이 방법은 용도 기반 최적화를 통해 임의의 이러한 순서 이상에 대한 바운더리 기반을 계산할 수 있게 하여 전통적인 항 순서에 대한 의존성을 제거하고 문제를 다면체 위의 선형 프로그래밍 문제로 환원한다. 주요 기여는 다면체의 정수 점과 바운더리 기반을 지지하는 유효한 순서 이상 사이의 일대일 대응을 확립하는 것이다.

ABSTRACT

Border bases can be considered to be the natural extension of Gröbner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced Gröbner bases. We adapt the classical border basis algorithm to allow for calculating border bases for arbitrary degree-compatible order ideals, which is \emph{independent} from term orderings. Moreover, the algorithm also supports calculating degree-compatible order ideals with \emph{preference} on contained elements, even though finding a preferred order ideal is NP-hard. Effectively we retain degree-compatibility only to successively extend our computation degree-by-degree. The adaptation is based on our polyhedral characterization: order ideals that support a border basis correspond one-to-one to integral points of the order ideal polytope. This establishes a crucial connection between the ideal and the combinatorial structure of the associated factor spaces.

연구 동기 및 목표

• 주어진 영차원 이상에 대해 바운더리 기반을 지지하는 차수 가중치 순서 이상을 특성화하는 열린 문제를 해결하기 위해.
• 기존 바운더리 기반 알고리즘에서 항 순서에 의존하거나 축소된 그뢰브너 기반에 의존하는 것을 제거하기 위해.
• 사용자가 정의한 선호도에 따라 특정 단항식을 우선시하는 바운더리 기반을 계산할 수 있도록 임의의 차수 가중치 순서 이상에 대한 바운더리 기반 계산을 가능하게 하기 위해.
• 다면체 조합론을 통해 이상의 대수적 구조와 그 인수 공간의 조합 기하학적 구조 사이의 연결 고리를 설정하기 위해.

제안 방법

• 바운더리 기반을 지지하는 차수 가중치 순서 이상의 집합을 순서 이상 다면체의 정수 점으로 모델링하기 위해.
• 사용자가 정의한 단항식 가중치를 기반으로 선형 프로그래밍을 통해 선호되는 순서 이상을 계산하기 위해.
• 기존 바운더리 기반 알고리즘을 항 순서에 의해 유도되지 않은 임의의 다면체의 정수 점에서도 작동하도록 수정하기 위해.
• 복잡도를 지배하는 다항식 시간 알고리즘인 $L$-안정 스펜 절차를 핵심 계산 단계로 활용하기 위해.
• 최적의 순서 이상을 찾는 문제를 표준 솔버(CPLEX 또는 SCIP 등)로 해결할 수 있는 혼합정수계획문제로 공식화하기 위해.
• 다양한 다항식 시스템에서 방법을 검증하여 가능한 모든 순서 이상을 세고 선호 함수에 따라 최적화하기 위해.

실험 결과

연구 질문

• RQ1 주어진 영차원 이상에 대해 바운더리 기반을 지지하는 차수 가중치 순서 이상은 무엇인가?
• RQ2 기존 바운더리 기반 알고리즘이 항 순서나 축소된 그뢰브너 기반에 의존하지 않고 일반화될 수 있는가?
• RQ3 특정 단항식이 포함되도록 우선시하는 선호되는 순서 이상에 대해 바운더리 기반을 계산할 수 있는가?
• RQ4 바운더리 기반을 지지하는 모든 유효한 순서 이상의 집합을 조합론적이고 계산적으로 특성화할 수 있는가?
• RQ5 주어진 선호 함수 하에 최적의 순서 이상을 찾는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 주어진 영차원 이상에 대해 바운더리 기반을 지지하는 차수 가중치 순서 이상과 순서 이상 다면체의 정수 점 사이에는 일대일 대응이 존재한다.
• 실행 시간을 지배하는 $L$-안정 스펜 계산은 다면체 위의 최적화보다 훨씬 더 비용이 많이 들며, 모든 테스트 케이스에서 실행당 0.1초 미만이 소요된다.
• 모든 타당한 차수 가중치 순서 이상을 세는 것은 작은 인스턴스에서만 계산 가능했으며, 최대 108,900개의 이상이 55초 이내에 발견되었다.
• 가장 큰 테스트 시스템에서는 300초의 시간 제한 도래 이전에 130만 개 이상의 순서 이상이 세졌으며, 이는 지수적 증가를 시사한다.
• 문제를 다면체 최적화로 환원함으로써, 복잡한 선호 함수를 가진 순서 이상을 포함하여 임의의 차수 가중치 순서 이상에 대해 바운더리 기반을 성공적으로 계산할 수 있다.
• 기본적으로 NP-완전 문제이지만, 전체 실행 시간에서 $L$-안정 스펜 계산이 지배적이므로, 선호되는 순서 이상의 효율적 계산이 가능하다.