[논문 리뷰] A Simple Proof of Sylvester's Double Sums for Subresultants

Carlos D’Andrea, Hoon Hong외 2명|arXiv (Cornell University)|2006. 04. 19.

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

한 줄 요약

이 논문은 다항식의 근을 바탕으로 하여 서브레절루턴트(subresultants)에 대한 실베스터의 공식을 단순화된 증명으로 제시한다. 이 증명은 고전적인 다중-슈어 함수(multi-Schur functions)를 포함한 복잡한 방법 대신 기본적인 행렬 대수학과 바르데모인 행렬식(Vandermonde determinants)을 사용한다. 주요 기여는 다항식의 근을 기반으로 실베스터의 이중합 공식(double sum formula)이 서브레절루턴트에 대해 유효함을 직접적이고 기본적인 유도로 입증한 것이다.

ABSTRACT

In 1853 Sylvester stated an elegant formula that expresses the subresultants in terms of the roots of the input polynomials. The validity of this formula was recently independently proved by Apery and Jouanolou and by Lascoux and Pragacz, by using the theory of multi-Schur functions. In this paper we provide a simpler proof that uses only basic properties of matrix multiplication and Vandermonde determinants.

연구 동기 및 목표

• 입력 다항식의 근을 기반으로 서브레절루턴트를 표현하는 실베스터의 이중합 공식을 더 접근하기 쉬운 방법으로 증명하는 것.
• 다중-슈어 함수에 기반한 복잡한 방법을 기본적인 선형대수 기법으로 대체하는 것.
• 기본적인 행렬 곱셈과 바르데모인 행렬식의 성질만으로도 공식을 유도할 수 있음을 보여주는 것.
• 고급 대칭 함수 이론을 회피하는 자율적이고 기본적인 증명을 제공하는 것.

제안 방법

• 증명은 다항식 결과식(resultants)과 서브레절루턴트를 다루기 위해 행렬 곱셈의 기본 성질에 기반한다.
• 바르데모인 행렬식을 사용하여 입력 다항식의 근에 대한 대칭 함수를 표현한다.
• 유도 과정에서 근에 대한 단항식의 선형 조합을 통해 서브레절루턴트의 행렬 표현을 구성한다.
• 행렬식 항등식과 행렬의 질서(rank) 성질을 활용하여 서브레절루턴트를 이중합 표현식과 연결한다.
• 대칭 함수나 슈어 함수를 사용하지 않고, 오직 기본적인代수적 변환에 의존한다.
• 최종 단계에서 구성된 표현식이 실베스터의 원래 이중합 공식과 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 실베스터의 서브레절루턴트에 대한 이중합 공식은 기본적인 행렬 및 행렬식 성질만으로 증명할 수 있는가?
• RQ2 고급 대칭 함수 이론을 동원하지 않고도 서브레절루턴트 공식을 도출할 수 있는가?
• RQ3 다항식의 근과 서브레절루턴트 사이의 관계를 어떻게 기본적인 대수적 방법으로 표현할 수 있는가?
• RQ4 바르데모인 행렬식은 서브레절루턴트 항등식의 증명을 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 기초적인 행렬 연산과 바르데모인 행렬식만을 사용하여 실베스터의 이중합 공식을 성공적으로 증명하였다.
• 이전의 접근 방식에서 요구되었던 다중-슈어 함수나 대칭 함수 이론을 모두 회피하였다.
• 이전의 고급 대수적 구조에 기반한 증명에 비해 더 투명하고 접근하기 쉬운 유도 과정을 제공한다.
• 자기 포함적인 기본적인 추론을 통해 실베스터의 공식의 타당성을 확인하였다.