[논문 리뷰] Univariate Contraction and Multivariate Desingularization of Ore Ideals

Yi Zhang|arXiv (Cornell University)|2017. 10. 20.

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

한 줄 요약

이 논문은 주 이상수환 $ R $ 에서 $ R[x][\partial] $ 내의 오레 아이디얼의 단변수 축소를 계산하는 새로운 알고리즘을 제안한다. 이는 탈특이화된 연산자를 사용하며, 완전 탈특이화된 연산자 개념을 도입하고, 그라브너 기반 기법을 통해 다변수 D-유한 시스템에서의 가짜 특이점 탐지 및 제거를 가능하게 하여 정수 수열의 인증과 크라트엔탈러의 추측의 특수 케이스 검증을 가능하게 한다.

ABSTRACT

Ore operators with polynomial coefficients form a common algebraic abstraction for representing D-finite functions. They form the Ore ring $K(x)[D_x]$, where $K$ is the constant field. Suppose $K$ is the quotient field of some principal ideal domain $R$. The ring $R[x][D_x]$ consists of elements in $K(x)[D_x]$ without "denominator". Given $L \in K(x)[D_x]$, it generates a left ideal $I$ in $K(x)[D_x]$. We call $I \cap R[x][D_x]$ the univariate contraction of $I$. When $L$ is a linear ordinary differential or difference operator, we design a contraction algorithm for $L$ by using desingularized operators as proposed by Chen, Jaroschek, Kauers and Singer. When $L$ is an ordinary differential operator and $R = K$, our algorithm is more elementary than known algorithms. In other cases, our results are new. We propose the notion of completely desingularized operators, study their properties, and design an algorithm for computing them. Completely desingularized operators have interesting applications such as certifying integer sequences and checking special cases of a conjecture of Krattenthaler. A D-finite system is a finite set of linear homogeneous partial differential equations in several variables, whose solution space is of finite dimension. For such systems, we give the notion of a singularity in terms of the polynomials appearing in them. We show that a point is a singularity of the system unless it admits a basis of power series solutions in which the starting monomials are as small as possible with respect to some term order. Then a singularity is apparent if the system admits a full basis of power series solutions, the starting terms of which are not as small as possible. We prove that apparent singularities in the multivariate case can be removed like in the univariate case by adding suitable additional solutions to the original system.

연구 동기 및 목표

• 선형 상미분 또는 차분 연산자가 $ \mathbb{K}(x)[\partial] $ 에서 생성하는 아이디얼 $ I $ 에 대해 $ I \cap R[x][\partial] $ 의 단변수 축소를 계산하는 알고리즘을 개발하는 것.
• 최소 차수와 최대 공약수를 갖는 완전 탈특이화된 연산자를 정의하고 계산하여 D-유한 함수의 보다 향상된 대수적 표현을 가능하게 하는 것.
• 형식적 멱급수 해와 단항식 순서를 이용하여 다변수 D-유한 시스템의 특이점과 가짜 특이점을 대수적으로 특성화하는 것.
• 적절한 해를 추가하여 다변수 D-유한 시스템에서의 가짜 특이점을 알고리즘적으로 탐지하고 제거하는 방법을 제공하는 것.
• 단변수 축소 기법을 다변수 오레 대수 $ R[\mathbf{x}][\boldsymbol{\partial}] $ 로 확장하기 위한 기초를 마련하며, 축소 아이디얼의 생성자 차수에 대한 일반적인 상한이 무엇인지에 대한 열린 문제를 제기하는 것.

제안 방법

• 첸, 자로셰크, 코어스, 싱어가 제안한 탈특이화된 연산자를 사용하여 $ R[x][\partial] $ 내에서 분모 없이 표현할 수 있도록 하는 것.
• 주 이상수환 $ R $ 위에서의 그라브너 기반 계산을 통해 축소 아이디얼을 결정하고 초기 지수 후보를 분석하는 것.
• 그라브너 기반의 각 생성자에 대한 인덱스를 바탕으로 단항식 순서를 사용하여 초기 지수 후보 $ S $ 를 정의하는 것.
• 기존 아이디얼을 $ \{x_i\partial_i - s_i\} $ 가 생성하는 아이디얼들과의 교차를 통해 새로운 그라브너 기반 $ M $ 을 구성하는 것.
• 결과로 얻은 그라브너 기반 $ M $ 의 헤드 특성(Head Characteristic, HC)을 사용하여 특이점이 가짜인지 여부를 판단하는 것: $ \operatorname{HC}(M) $ 에 0이 아닌 상수가 포함되어 있으면 그 점은 일반점이다.
• 정리 4.4.6 을 적용하여 특이점을 분류하는 것: 전체 멱급수 해 기저가 존재하지만 시작 단항식이 최소가 아니면 그 점은 가짜 특이점이다.

실험 결과

연구 질문

• RQ1 선형 상미분 또는 차분 연산자에 대해 $ R = \mathbb{K} $ (상수 체) 일 때, 오레 아이디얼 $ I \cap R[x][\partial] $ 의 단변수 축소를 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ2 완전 탈특이화된 연산자의 구조와 알고리즘적 계산 방법은 무엇이며, D-유한 함수의 표현을 어떻게 향상시키는가?
• RQ3 형식적 멱급수 해와 단항식 순서를 이용하여 다변수 D-유한 시스템의 특이점을 어떻게 대수적으로 특성화할 수 있는가?
• RQ4 다변수 D-유한 시스템에서의 가짜 특이점을 어떤 방식으로 알고리즘적으로 탐지하고 제거할 수 있는가?
• RQ5 다변수 경우에서 축소 아이디얼의 생성자 차수에 대한 일반적인 상한은 무엇이며, 어떻게 계산할 수 있는가?

주요 결과

• 상수 체 $ R = \mathbb{K} $ 일 때, 이전에 알려진 방법보다 더 간단한 알고리즘을 통해 단변수 축소를 수행할 수 있으며, 미분 연산자와 차분 연산자 모두에 적용 가능하다.
• 완전 탈특이화된 연산자가 도입되었으며, 정수 수열의 인증과 크라트엔탈러의 추측의 특수 케이스 검증에 효과적임을 보였다.
• 주어진 단항식 순서 하에서 시작 단항식을 가능한 한 작게 만들 수 있는 멱급수 해 기저가 존재하지 않으면, D-유한 시스템의 점은 특이점이다.
• 해 기저는 존재하지만 시작 단항식이 최소가 아니면 가짜 특이점이 발생하며, 이러한 특이점은 시스템에 적절한 해를 추가함으로써 제거할 수 있다.
• 예제 4.4.14의 시스템 $ G $ 에서 원점은 $ \operatorname{HC}(M) = \{-2 - x_1^2 - 2x_1x_2 - x_2^2\} $ 이므로 $ M $ 에 대해 일반점임을 나타내며, $ G $ 는 비최소 시작 항을 갖는다. 따라서 원점은 가짜 특이점이다.
• 예제 4.4.13의 시스템 $ G $ 에서 원점은 $ \operatorname{HC}(M) $ 가 비상수 다항식을 포함하므로 가짜 특이점이 아니며, 이는 특이점이 진정한 특이점임을 의미한다.