[논문 리뷰] Resultants and Contour Integrals

А. Морозов, Sh. Shakirov|ArXiv.org|2008. 07. 28.

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

한 줄 요약

이 논문은 스펙트럴 매개변수에 대한 급수 전개와 반복적 윤곽 적분을 이용하여 n개의 동차 다항식이 n개의 변수에 대해 결과를 계산하는 데 새로운 방법을 제시한다. 결과의 로그를 반복적 윤곽 적분으로 표현하고 지수를 취함으로써 보조 매개변수에 대한 테일러 전개를 통해 명시적이고 다항식 형태의 공식을 도출한다. 이는 효율적인 계산을 가능하게 하고 비선형 대수학에서 결과의 동차 다항식 구조를 드러낸다.

ABSTRACT

Resultants are important special functions used in description of non-linear phenomena. Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Unfortunately, there is a lack of convenient formulas for resultants when the number of variables is large. In this paper we use Cauchy contour integrals to obtain a polynomial formula for resultants, which is expected to be useful in applications.

연구 동기 및 목표

• 비선형 대수학과 물리학에서 핵심적인 역할을 하는 n개의 동차 다항식이 n개의 변수에 대해 결과를 계산할 수 있는 실용적이고 계산 가능한 공식을 개발하는 것.
• 행렬식(결정식)으로서의 선형 경우를 초월해 결과를 계산할 수 있는 효율적인 도구의 부재 문제를 해결하는 것. 특히 고차수에서는 명시적 공식이 복잡해지므로 이를 해결한다.
• 결과의 로그에 대한 지수적 윤곽 적분 표현을 명시적인 다항식 공식으로 전환하여 동차성과 알고리즘 구현 가능성을 유지하는 것.
• 스펙트럴 매개변수에 대한 반복적 적분과 급수 전개를 통해 결과를 체계적으로 계산하는 방법을 수립하고, n=2 및 n=3에 대해 알려진 공식을 일반화하는 것.

제안 방법

• 이 방법은 무한대를 둘러싼 윤곽에서 (n−1)중 적분을 수행하는 log R에 대한 재귀적 윤곽 적분 공식에서 시작한다.
• fi를 (xi)^ri − λi fi로 치환한 이동된 시스템을 고려함으로써, 결과의 로그를 스펙트럴 매개변수 λi에 대한 테일러 급수로 전개한다.
• 이 급수 전개의 각 계수는 원래 다항식의 계수에 대한 동차 다항식이며, 동차성에 기반한 잔여치 계산과 선택 규칙을 통해 유도된다.
• 계수 T_{k1…kn}은 r_i1 + … + rin = r_i ki 를 만족하는 단항식 차수의 합으로서 정의되며, n ≥ 3인 경우 행렬식이 나타난다.
• 결과 R은 이러한 계수들의 합으로 재구성되며, 총 차수 d = r1…rn(1/r1 + … + 1/rn)을 통한 부호 규칙과 정규화를 거친다.
• 이 방법은 트레이스, 행렬식, 셸 함수를 평가하여 결과를 효율적으로 계산할 수 있도록 구현된 MAPLE 프로그램을 통해 실행된다.

실험 결과

연구 질문

• RQ1 결과의 로그가 윤곽 적분을 통해 표현될 수 있는가? 이는 체계적인 다항식 재구성 가능성을 보장하는가?
• RQ2 결과의 지수 형태 표현을 어떻게 명시적인 다항식 표현으로 변환할 수 있는가? 이는 계산에 적합한가?
• RQ3 스펙트럴 매개변수 전개에서 결과의 계수는 어떤 구조를 가지며, 원래 시스템의 동차성과 대칭성은 어떻게 반영되는가?
• RQ4 이 방법은 임의의 n과 차수 ri로 일반화될 수 있으며, 알고리즘적으로 구현 가능한가?

주요 결과

• 결과의 로그는 n=2 및 n=3의 경우에 알려진 것을 일반화하여 임의의 n에 대해 재귀적 윤곽 적분으로 표현된다.
• 윤곽 적분 공식을 지수화하면 결과에 대한 명시적 표현을 얻을 수는 있으나, 다항식 형태로 명백히 드러나지는 않는다.
• 스펙트럴 매개변수 λi 를 도입하고 그 거듭제곱에 대해 전개함으로써, 테일러 계수 T_{k1…kn}을 통해 결과에 대한 다항식 공식을 도출한다.
• 각 계수 T_{k1…kn}은 fi의 계수에 대한 동차 다항식이며, fi에 대해 차수 d_i = (r1…rn)/ri 를 가지며, 잔여치와 행렬식을 통해 계산된다.
• n ≥ 3인 경우 계수는 단항식 차수로 구성된 행렬의 행렬식을 포함하며, 동차성에 기반한 수직 선택 규칙을 반영한다.
• 결과는 이러한 계수들의 합으로 재구성되며, 최종적으로 셸 함수와 트레이스 연산을 통한 정규화를 거쳐 실질적인 계산이 가능해진다.