[논문 리뷰] D-Modules and Holonomic Functions

Anna-Laura Sattelberger, Bernd Sturmfels|arXiv (Cornell University)|2019. 10. 03.

Polynomial and algebraic computation참고 문헌 21인용 수 9

한 줄 요약

이 논문은 응용 대수기하학을 위한 D-모듈과 헬로닉 함수에 대한 소개를 제시하며, Weyl 대수에서의 그로버 기저를 사용하여 헬로닉 함수를 소멸하는 D-아이디얼로 표현함으로써 통계에서 정확한 부피 계산과 우도 추론을 가능하게 한다. 헬로닉 랭크, D-모듈 이론, 유리 함수 및 매개변수화된 적분에 대한 알고리즘을 활용함으로써 실현된다.

ABSTRACT

In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are polynomials. The letter D stands for the Weyl algebra, and a D-module is a left module over D. We focus on left ideals, or D-ideals. We represent holonomic functions in several variables by the linear differential equations they satisfy. This encoding by a D-ideal is useful for many problems, e.g., in geometry, physics and statistics. We explain how to work with holonomic functions. Applications include volume computations and likelihood inference.

연구 동기 및 목표

• 응용 대수기하학 분야의 연구자들을 대상으로 다변수 D-모듈과 헬로닉 함수에 대한 기초적인 소개를 제공하는 것.
• 기하학, 물리학, 통계학 등에서 계산 목적으로 사용 가능한 헬로닉 함수를 D-아이디얼로 어떻게 표현할 수 있는지 보여주는 것.
• 반대칭 다항집합 위에서의 적분을 매개변수화된 헬로닉 함수를 이용해 정확하게 수치적으로 평가할 수 있는 방법을 제공하는 것.
• 헬로닉 기울기 방법과 우도 함수를 통해 D-모듈 이론을 통계적 추론과 연결하는 것.
• Singular과 Mathematica와 같은 컴퓨터 대수 시스템을 활용해 특수 함수와 우도의 소멸자들을 계산할 수 있는 프레임워크를 제공하는 것.

제안 방법

• Weyl 대수 $D = \mathbb{C}[x]\langle\partial\rangle$에서의 그로버 기저를 사용하여 헬로닉 함수를 소멸하는 D-아이디얼을 계산하고 조작하는 것.
• 대수적 분석의 기본 정리를 적용하여 유한 차원의 해공간을 통해 헬로닉 D-아이디얼을 특성화하는 것.
• 새로운 변수에 대한 매개변수화된 적분을 헬로닉 함수로 표현한 후, 부피 함수를 소멸하는 D-아이디얼을 유도하는 것.
• 지수족에서의 우도 함수 최적화 및 평가를 위해 헬로닉 기울기 방법과 헬로닉 기울기 하강법을 활용하는 것.
• Mathematica의 HolonomicFunctions 패키지와 Singular의 dmod.lib 라이브러리와 같은 전용 컴퓨터 대수 도구를 사용하여 아이디얼 계산을 수행하는 것.
• 유리 함수를 다루고 헬로닉 함수의 합과 곱의 소멸자를 계산하기 위해 유리 Weyl 대수 $R = \mathbb{C}(x)\langle\partial\rangle$를 활용하는 것.

실험 결과

연구 질문

• RQ1 다변수 헬로닉 함수는 Weyl 대수에서의 D-아이디얼을 어떻게 효과적으로 인코딩하고 조작할 수 있는가?
• RQ2 Weyl 대수에서의 그로버 기저는 특수 함수와 적분의 소멸자를 계산하는 데 어떤 역할을 하는가?
• RQ3 반대칭 다항집합 위에서 매개변수화된 적분은 어떻게 헬로닉 D-아이디얼을 활용해 정확하게 평가할 수 있는가?
• RQ4 D-모듈 이론은 이산 지수 모델에서의 우도 추론을 어떻게 향상시킬 수 있는가?
• RQ5 헬로닉 랭크나 초기 아이디얼의 소수성과 같은 구조적 성질은 D-아이디얼이 최대 또는 완전한지 판단하는 데 어떤 도움을 주는가?

주요 결과

• 매개변수화된 반대칭 다항집합의 부피 함수는 헬로닉이며, D-모듈 기법을 통해 매우 정확한 수치적 평가가 가능한 D-아이디얼을 갖는다.
• 헬로닉 기울기 방법과 헬로닉 기울기 하강법은 D-아이디얼 표현을 활용하여 통계에서 우도 함수의 최적화 및 평가를 위한 효율적인 알고리즘을 제공한다.
• Mathematica의 HolonomicFunctions 패키지에서 제공하는 DFinitePlus 및 DFiniteTimes 명령어를 사용해 헬로닉 함수의 합 또는 곱의 소멸자를 계산할 수 있다.
• n=3, k=4인 랜덤 셰터링 모델의 경우, 우도 함수 $f^s$는 Singular를 사용해 dmod.lib 및 dmodapp.lib 라이브러리를 활용해 계산할 수 있는 D-아이디얼을 갖는다.
• 우도 함수에 대한 아이디얼 $\text{Ann}_{D[s]}(f^s)$는 [SST00, 알고리즘 5.3.15]의 유리 함수에 대한 적응을 통해 계산되었으며, 이는 모델의 헬로닉 성질을 확인한다.
• 조건 $\text{in}_{(0,e)}(I)$가 소수이면, 헬로닉 D-아이디얼 $I$는 최대이며, 이는 소멸자들의 완전성을 검증하는 기준이 된다.