[논문 리뷰] Leinartas's partial fraction decomposition

Alexander Raichev|arXiv (Cornell University)|2012. 06. 20.

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

한 줄 요약

이 논문은 다변수 유리함수를 서로 대수적으로 독립적인 기약 인수로 구성된 분모를 가진 유리식의 합으로 분해하는 Leĭnartas 알고리즘을 제시한다. 이 방법은 공통 영점 탐지 및 대수적 종속성 증명을 위한 Nullstellensatz 증명서를 결합하여 완전하고 계산 가능한 분해를 보장하며, Sage에 구현되어 잔여치 계산 등에 활용된다.

ABSTRACT

These notes describe Leinartas's algorithm for multivariate partial fraction decompositions and employ an implementation thereof in Sage.

연구 동기 및 목표

• Leĭnartas의 다변수 부분분수 분해 알고리즘을 명확하고 접근하기 쉬운 방식으로 제시하여, 이는 이전에 애매모호하고 잘 활용되지 않았다.
• 특히 다변수 유리함수의 기호 계산을 위한 영문 자료와 구현이 부족한 점을 보완한다.
• 오픈소스 Sage 구현을 통해 다변수 유리함수의 잔여치와 분해를 실용적으로 계산할 수 있도록 한다.
• Leĭnartas 분해가 유일하지 않지만, 구축 가능한 대수기하학 기법을 통해 체계적으로 계산 가능하다는 것을 보여준다.
• 모든 분모에 최대 $ d $ 개의 기약 인수를 포함하는 합으로 다항식 유리함수를 분해할 수 있는 계산 가능한 프레임워크를 확립한다. 이는 체의 계산 가능성과 다항식 아이디얼 이론을 활용한다.

제안 방법

• 계산 가능한 체 위에서 구축된 절차를 사용하여, 분모의 기약 인수들이 $ ar{K}^d $ 에서 공통 영점을 가지는지 여부를 Nullstellensatz 증명서를 통해 탐지한다.
• Nullstellensatz 분해 단계를 적용하여 유리함수를 부분집합 $ A eq igcap V_i $ 에 대한 합으로 재작성하며, 각 항의 분모는 기약 인수의 거듭제곱의 곱이 된다.
• 각 항에 대해 대수적 종속성 증명을 적용하여 대수적으로 종속된 기약 인수의 부분집합을 식별하고, 소거 다항식을 사용하여 추가로 분해한다.
• 소거 다항식 관계의 단항식 기저를 구축하여 각 항을 체계적으로 분해함으로써, 결과적으로 분모가 기약 인수의 거듭제곱 곱이 되도록 보장한다. 이때 지수는 원래 $ q $ 의 인수 분해에서의 다중도를 초월할 수 있다.
• 모든 $ d $ 개의 변수에 대해 $ d $ 개를 초월하는 다항식 집합은 대수적으로 종속됨을 안다 (레마 2.6). 이를 활용하여 복잡한 분모를 체계적으로 단순화할 수 있다.
• 전체 알고리즘을 Sage에 구현하였으며, 피어 리뷰 및 Sage 코드베이스 통합을 위해 코드를 공개하여 재현 가능하고 접근 가능한 계산을 가능하게 하였다.

실험 결과

연구 질문

• RQ1 기본적인 반복 단변수 방법이 실패할 경우, 다변수 유리함수를 어떻게 체계적으로 부분분수로 분해할 수 있는가?
• RQ2 기약 인수들이 대수적으로 독립적인 분모를 가진 유리함수 분해가 가능한 조건은 무엇인가?
• RQ3 기약 인수들이 공통 영점을 가지지 않을 경우, Nullstellensatz 증명서를 사용하여 체계적으로 유리함수를 분해할 수 있는가?
• RQ4 기약 인수의 수가 변수의 수를 초과할 경우 알고리즘이 어떻게 대처하며, 대수적 종속성은 어떤 역할을 하는가?
• RQ5 Leĭnartas 분해는 어느 정도 유일한가? 단변수와 다변수 경우의 유일성은 어떻게 다를까?

주요 결과

• Leĭnartas 알고리즘은 임의의 다변수 유리함수 $ f = p/q $ 를, 각 항의 분모가 기약 인수의 거듭제곱의 곱이 되고, 인수 집합이 대수적으로 독립적이며 그 영점 집합의 교집합이 비어 있지 않은 유리식의 합으로 분해하는 체계적 방법을 제공한다.
• 알고리즘은 모든 $ d $ 개의 변수를 가진 유리함수를 최대 $ d $ 개의 서로 다른 기약 인수를 분모에 포함하는 항의 합으로 표현할 수 있음을 보장한다. 이는 추론 2.2에 의해 보장된다.
• Nullstellensatz 증명서와 대수적 종속성 관계가 계산 가능한 조건 하에서, 이 알고리즘은 임의의 계산 가능한 체 $ K $ (예: $ bQ $, 유한체, 그 대수적 폐쇄 포함) 에서도 계산 가능하다.
• 알고리즘은 분모의 지수를 원래 $ q $ 의 인수 분해에서의 다중도를 초월할 수 있음을 보여주는 예시(예: 분모에 $ (XY+Z)^2 $ 가 존재할 경우) 를 통해 입증된다.
• Leĭnartas 분해는 유일하지 않으며, 동일한 유리함수에 대해 여러 가지 유효한 분해가 존재함을 보여준다 (예: $ f = 1/X + 1/Y + 1/(XY+1) $). 다만 알고리즘은 체계적으로 하나의 분해를 계산할 수 있다.
• 단변수 경우, 기약 분수 형태일 경우 Leĭnartas 분해는 유일하다. 이는 다항식 인수분해의 유일성과 서로 다른 기약 인수 간의 대수적 종속성이 존재하지 않기 때문이다.