[논문 리뷰] Maximal lattice free bodies, test sets and the Frobenius problem

Anders Jensen, Niels Lauritzen외 1명|ArXiv.org|2007. 05. 30.

graph theory and CDMA systems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 대수적 방법을 통해 유도된 테스트 세트를 사용하여 정수 $(d+1)\times d$ 행렬 $A$에 대해 최대 격자 자유 신장체를 효율적으로 계산하는 알고리즘을 제시한다. 이 방법은 3차원 프로비누스 문제에 대한 스카르프-샬로스 알고리즘을 일반화하며, 정수 프로그래밍과 그로버 기저 기법을 통해 격자 자유 다면체를 열거하는 방식으로 프로비누스 수를 효율적으로 계산할 수 있게 한다.

ABSTRACT

Maximal lattice free bodies are maximal polytopes without interior integral points. Scarf initiated the study of maximal lattice free bodies relative to the facet normals in a fixed matrix. In this paper we give an efficient algorithm for computing the maximal lattice free bodies of an integral matrix A. An important ingredient is a test set for a certain integer program associated with A. This test set may be computed using algebraic methods. As an application we generalize the Scarf-Shallcross algorithm for the three-dimensional Frobenius problem to arbitrary dimension. In this context our method is inspired by the novel algorithm by Einstein, Lichtblau, Strzebonski and Wagon and the Groebner basis approach by Roune.

연구 동기 및 목표

• 고정된 정수 $(d+1)\times d$ 행렬 $A$의 면법선에 대해 상대적인 모든 최대 격자 자유 다면체를 효율적으로 계산하는 알고리즘을 개발하는 것.
• 최대 격자 자유 다면체와 고차원에서의 프로비누스 문제 사이의 관계를 설정하는 것.
• 스카르프-샬로스 알고리즘을 3차원 프로비누스 문제에 대해 일반화하여 임의의 차원으로 확장하는 것.
• 대수적 방법을 사용하여 $A$와 관련된 정수 프로그래밍을 위한 테스트 세트를 계산하여 격자 자유 다면체 위에서의 효율적 최적화를 가능하게 하는 것.
• 정수 이동과 다면체 기하학을 활용하여 격자 자유 다면체 위에서의 최대화를 통해 프로비누스 수 $g(a_1,\dots,a_n)$를 계산하는 프레임워크를 적용하는 것.

제안 방법

• 행렬 $A$를 사용하여 다면체의 가족 $P_A(b) = \{x \in \mathbb{R}^d \mid Ax \leq b\}$를 정의하며, 여기서 $b \in \mathbb{Z}^{d+1}$이며, 이들 중에서 최대 격자 자유 다면체를 식별하는 것.
• 유니모듈라 변환과 그로버 기저 기법을 사용하여 $A$와 관련된 정수 프로그래밍 $\min\{-x \mid Bx \leq b, x \in \mathbb{Z}^2\}$에 대한 테스트 세트를 구성하는 것.
• 스카르프-샬로스 알고리즘에 영감을 받은 감소 절차를 적용하여 정수 프로그래밍을 알려진 테스트 세트 $\{e_1, e_2, e_1+e_2\}$를 갖는 표준형으로 변환하는 것.
• 유니모듈라 변환의 역행렬을 사용하여 테스트 세트를 원래 문제로 다시 올려주어 최대 격자 자유 다면체의 효율적 열거를 가능하게 하는 것.
• 프로비누스 수를 $g(a_1,\dots,a_n) = \max\{ab \mid K_b \text{ 는 최대 격자 자유 다면체이다}\} - \sum a_i$로 계산하며, 여기서 $K_b$는 $A$와 $b$를 통해 정의된다.
• 모든 최대 격자 자유 다면체가 유한한 수의 대표 요소들의 정수 이동임을 활용하여 검색 공간을 유한한 수의 $b$-벡터로 축소하는 것.

실험 결과

연구 질문

• RQ1 주어진 정수 $(d+1)\times d$ 행렬 $A$에 대해 최대 격자 자유 다면체를 어떻게 효율적으로 열거할 수 있는가?
• RQ2 관련 정수 프로그래밍의 테스트 세트의 구조는 무엇이며, 이를 어떻게 대수적으로 계산할 수 있는가?
• RQ3 3차원 프로비누스 문제에 대한 스카르프-샬로스 알고리즘은 격자 자유 다면체를 사용하여 고차원으로 일반화할 수 있는가?
• RQ4 그로버 기저와 유니모듈라 변환의 사용이 프로비누스 수 계산의 효율성을 어떻게 향상시키는가?
• RQ5 최대 격자 자유 다면체와 정수 점 위에서의 최적화 관점에서 프로비누스 문제의 해답 사이의 관계는 무엇인가?

주요 결과

• 이 알고리즘은 대수적 방법으로 유도된 테스트 세트를 활용하여 주어진 $(d+1)\times d$ 정수 행렬 $A$에 대해 모든 최대 격자 자유 다면체를 효율적으로 계산한다.
• 관련 정수 프로그래밍을 위한 테스트 세트는 유니모듈라 변환과 그로버 기저 기법을 통해 계산되며, 이는 격자 자유 다면체 위에서의 최적화를 가능하게 한다.
• 이 방법은 스카르프-샬로스 알고리즘의 3차원 적용을 임의의 차원으로 일반화하여 그 적용 범위를 3차원 이상으로 확장한다.
• 예시 $g(12,13,17)$에 대해 알고리즘은 두 개의 대표 $b$-벡터 $b_1 = (0,5,2)^T$와 $b_2 = (0,2,3)^T$를 식별하여 프로비누스 수 $g(12,13,17) = 57$을 도출한다.
• 프로비누스 수는 $\max\{ab \mid K_b \text{ 는 최대 격자 자유 다면체이다}\} - \sum a_i$로 계산되며, 최대값은 $ab = -12 + 4\cdot13 + 1\cdot17 = 57$에서 도달된다.
• 이 프레임워크는 격자 자유 다면체의 효율적 열거와 대수적 테스트 세트의 사용 덕분에 프로비누스 수 계산 기록을 경신할 수 있게 한다.