부분 Weyl 폐쇄의 효율적 근사 계산 알고리즘

초록

본 논문은 변수 일부에 대해 정의된 Weyl 폐쇄를 근사적으로 구하는 새로운 알고리즘을 제시한다. 비가환 Rabinowitsch 트릭을 이용해 다항식 p 의 역원을 도입하고, 반복적인 포화 과정을 통해 부분 Weyl 폐쇄를 포함하는 홀로노믹 모듈을 얻는다. 구현은 Julia 패키지 MultivariateCreativeTelescoping.jl에 포함되었으며, 기존 Singular·Macaulay2 기반 정확 알고리즘에 비해 현저히 빠른 성능을 보인다.

상세 분석

이 논문은 대수적 해석에서 핵심적인 연산인 Weyl 폐쇄를 부분 변수 집합에 한정하여 근사적으로 계산하는 방법을 제시한다. 전통적인 Weyl 폐쇄는 유리계수 미분 연산자를 다항계수 형태로 변환하는 과정이며, 이는 기호 적분 알고리즘에서 사전 처리 단계로 필수적이다. 그러나 기존의 정확한 폐쇄 알고리즘은 다항식 p 에 대한 로컬라이제이션과 b‑함수 계산을 필요로 하여 계산 복잡도가 급격히 증가한다. 저자는 이러한 병목을 피하기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, Rabinowitsch 트릭을 비가환 Weyl 대수에 일반화하여 새로운 변수 T 를 도입하고, T 를 1/p 로 해석한다. 이때 T 와 미분 연산자 사이의 교환 규칙이 복잡해지는 문제를, 무한 차원 Weyl 모듈 W