[논문 리뷰] Algebraic Unimodular Counting

Jesús A. De Loera, Bernd Sturmfels|ArXiv.org|2001. 04. 30.

Commutative Algebra and Its Applications참고 문헌 11인용 수 8

한 줄 요약

이 논문은 단조로운 선형 방정식계의 비음수 정수해의 수를 효율적으로 계산하기 위한 두 가지 대수적 알고리즘—그뢰브너 기저와 BBKLP 방법—을 제시한다. 이를 통해 이전의 계산 한계를 초월하여 연의표와 코스타ント의 분할 함수의 정확한 수를 세는 것이 가능해진다. 주요 기여는 단조로운 행렬에 대해 침대 다항식을 계산할 수 있도록 한 것으로, 특히 $5\times5$ 연의표와 $A_6$ 근계에 대해 명시적인 공식과 온라인 계산기를 제공한다.

ABSTRACT

We study algebraic algorithms for expressing the number of non-negative integer solutions to a unimodular system of linear equations as a function of the right hand side. Our methods include Todd classes of toric varieties via Gröbner bases, and rational generating functions as in Barvinok's algorithm. We report polyhedral and computational results for two special cases: counting contingency tables and Kostant's partition function.

연구 동기 및 목표

• 단조로운 행렬에 대해 $Ax = b$의 비음수 정수해의 수인 벡터 분할 함수 $\phi_A(b)$를 계산하기 위한 실용적인 대수적 알고리즘을 개발하기 위해.
• 기존의 보간 기반 방법(예: 마운트의 방법)이 하드웨어 제약과 행렬에 특화된 히우리스틱에 의해 제한되었던 계산 한계를 극복하기 위해.
• 특히 연의표와 코스타ント의 분할 함수에 대해, 단조로운 시스템에서 $\phi_A(b)$의 전체 침대 분해와 다항식 표현을 계산하기 위해.
• 기존 미해결 문제를 해결하기 위해, 예를 들어 $m=7$까지의 $A_{m-1}$ 근계에 대한 침대 수에 관한 키릴로프의 질문을 해결하고, 코스타ント 함수를 위한 온라인 계산기를 제공하기 위해.

제안 방법

• 첫 번째 방법은 다항체 $\{x \geq 0 : Ax = b\}$와 관련된 토릭 다양체의 토드 클래스를 그뢰브너 기저를 이용해 계산함으로써, 대수기하학을 활용해 분할 함수를 추출한다.
• 두 번째 방법은 바르비노크의 유리형 생성함수와 브리온의 정리를 기반으로 한 BBKLP 알고리즘을 적용하여, 다각형 내의 격자점의 생성함수를 계산함으로써 $\phi_A(b)$의 효율적 평가를 가능하게 한다.
• 알고리즘은 매클레이의2(Grö브너 기저)와 매플(이중 BBKLP)에 구현되었으며, 공개 사용을 위한 코드가 제공된다.
• 침대 복합체는 $\text{cone}(A)$를 $\phi_A(b)$가 다항식이 되는 볼록 다각형 체로 분해함으로써 계산되며, 침대와 삼등분 간의 이중성 원리를 활용한다.
• $K_n$의 경우, 완전 방향 그래프의 인cidenc 행렬에 대해, 균형 잡힌 컷과 근 벡터의 공선성에 기반하여 침대 복합체를 분석함으로써, 면의 수가 지수적으로 증가하는 것을 밝혀냈다.
• 비단조로운 성질을 활용해 정수 꼭짓점과 다항식 행동을 보장함으로써, $b$의 크기와 무관하게 정확한 계산이 가능하다.

실험 결과

연구 질문

• RQ1 그뢰브너 기저와 유리형 생성함수와 같은 대수적 방법이 마운트의 보간 기반 기법보다 단조로운 수를 세는 데 더 효율적인가?
• RQ2 코스타ント의 분할 함수에 대해 $A_{m-1}$ 근계의 침대 수와 침대 복합체의 구조는 무엇인가?
• RQ3 $4\times5$와 $5\times5$ 연의표에 대해 임의의 마진을 가진 비음수 정수해의 수는 몇 개인가? 그리고 이를 정확히 계산할 수 있는가?
• RQ4 $K_n$의 침대 복합체에서 침대 수의 渐近적 성장률은 무엇이며, 지수적 성장성을 보이는가?
• RQ5 $K_n$에 대해 침대 다항식을 명시적으로 계산할 수 있으며, 이를 바탕으로 코스타ント의 분할 함수를 위한 온라인 계산기를 구축할 수 있는가?

주요 결과

• 논문은 $A_6$ 근계에 대한 코스타ント의 분할 함수에 대해 모든 침대 다항식을 계산하여, $m \leq 6$에 대해 키릴로프의 미해결 문제를 해결하였으며, $m \leq 7$까지의 침대 수를 결정하여 $m=7$일 때 $44,288$개의 침대를 확인하였다.
• $\Gamma(K_n)$의 침대 복합체는 최소 $2^{\lfloor n/2 \rfloor}$개의 면을 가지며, 균형 잡힌 컷에서의 재귀적 배율 증가를 통해 $n$이 증가함에 따라 복잡도가 지수적으로 증가하는 것으로 확인되었다.
• $4\times4$ 연의표의 경우, 기존에 알려진 7개의 침대를 회복하였으며, 마운트의 계산과 일치하지만, $5\times5$ 표까지 확장되었다.
• 모든 침대에서 $\phi_A(b)$에 대한 명시적인 조각다항식 공식을 계산하였으며, 예를 들어 $\min\{b_1,b_2,b_3\} \geq 0$인 침대에서 $\phi_{K_4}(b) = (b_1+1)(b_1+2)(b_1+3b_2+3)/6$로 degree 3의 다항식이 된다.
• www.math.ucdavis.edu/~deloera/kostant.html에 있는 온라인 계산기는 계산된 다항식을 사용하여 코스타ント의 분할 함수를 실시간으로 평가할 수 있다.
• 바르비노크 알고리즘에 기반한 BBKLP 방법은 단조로운 행렬에 대해 매우 효율적이며, 보간 기반 접근법을 능가했고, 마운트의 방법에 대한 가능성 여부에 대한 질문에 답을 제시하였다.