[논문 리뷰] On the theory of symmetric polynomials

M. Г. Крейн|arXiv (Cornell University)|2014. 05. 09.

Mathematics and Applications인용 수 3

한 줄 요약

이 논문은 대칭 다항식의 단위원 안에 있는 근의 개수를 세는 대수적 접근을 제시한다. 이는 근의 거듭제곱 합으로부터 유도된 이차형식을 사용한다. 대칭 다항식 계수로부터 유도된 에르미트 형식을 구성함으로써, 코른의 정리와 그 일반화를 대수적으로 증명하며, 복소해석학적 연속성이나 루체의 정리에 의존하지 않고 정확한 근의 위치 결정이 가능하다.

ABSTRACT

A translation from Russian of the famous paper by Mark Krein "On the theory of symmetric polynomials" published in Math. Sb., vol. 40, no. 3, 1933, pp. 271-283.

연구 동기 및 목표

• 대칭 다항식의 근 수세기 정리에 대해 기존에 루체의 정리와 연속성 논증에 의존하는 코른의 정리에 대체할 수 있는 대수적 방법을 제공하는 것.
• 근의 거듭제곱 합으로부터 구성된 에르미트 형식을 이용해 단위원 |x|=1 내부에 있는 대칭 다항식의 근의 개수를 판단하는 기준을 설정하는 것.
• 복소해석학적 방법(예: 연속성 또는 잔여물 적분)을 피하면서도 대수적 기법을 사용해 코른의 정리를 일반화하는 것.
• 대칭 다항식과 실수 다항식 간의 유사성, 특히 근의 교차성과 정부호가 일정한 형식에 대한 유사성을 밝혀내는 것.
• 대칭 다항식 계수로부터 유도된 이차형식의 부호를 통해 근의 분포(내부/외부 |x|=1)를 구성적으로 결정하는 방법을 제공하는 것.

제안 방법

• 대칭 다항식 $g(x)$의 근의 거듭제곱 합 $s_k$를 사용해 에르미트 형식 $\mathfrak{S} = \sum_{i,k=0}^{n-1} s_{i-k} x_i \overline{x}_k$를 정의한다.
• 단위원 위의 근($\varepsilon_s$)과 대칭 쌍($\beta_t, \beta_t^*$)으로 근을 나누어 $\mathfrak{S}$를 제곱 모듈러스의 합으로 분해한다.
• 형식 $\mathfrak{S}$의 부호(양의 제곱항 수/음의 제곱항 수)를 이용해 근의 분포를 결정한다: $\pi - \nu$개의 근은 |x|=1 위에, $\nu$개의 대칭 쌍은 외부/내부에 있다.
• 형식 $\mathfrak{S}$를 셔-코른 형식 $\mathfrak{H}$와 연결하여 루체의 정리를 피하고 코른의 정리를 대수적으로 유도한다.
• 대칭 다항식을 $f(x) = (x-i)^n g\left(\frac{x+i}{x-i}\right)$로 변환함으로써 실수 다항식과의 유사성을 확립하고, 대칭 다항식과 실수 다항식 간의 근 분포를 연결한다.
• 형식 $\left[\frac{F(x)f(y)-F(y)f(x)}{x-y}\right]_n$을 사용해 근의 교차성을 특성화하며, 허위츠의 기준과 유사하게 다룬다.

실험 결과

연구 질문

• RQ1 코른의 정리가 복소해석학적 방법이나 연속성 논증 없이도 대수적으로 증명될 수 있는가?
• RQ2 근의 거듭제곱 합으로부터 구성된 이차형식의 부호와 단위원에 대한 근의 위치 사이의 관계는 무엇인가?
• RQ3 대칭 다항식 이론을 체계적으로 실수 다항식 이론과 대수적 변환을 통해 어떻게 연결할 수 있는가?
• RQ4 두 대칭 다항식이 단위원 위에서 근을 교차시키는 조건은 무엇이며, 이를 어떻게 대수적으로 특성화할 수 있는가?
• RQ5 대칭 다항식이 모든 근을 단위원 위에 두거나 대칭 쌍으로 외부/내부에 두는지를 결정하는 대수적 기준은 무엇인가?

주요 결과

• 에르미트 형식 $\mathfrak{S} = \sum_{i,k=0}^{n-1} s_{i-k} x_i \overline{x}_k$는 |x|=1 위의 근이 $\pi - \nu$개, 외부/내부에 있는 대칭 쌍이 $\nu$개일 때 부호가 $\pi - \nu$이며, 핵심 차원은 $d = n - \pi - \nu$이다.
• 다항식 $g(x)$와 $g^*(x)$의 최대공약수 $D(x)$의 차수는 $d$이며, $g(x)/D(x)$는 $\pi - \nu$개의 근을 |x|=1 위에, $\nu$개의 대칭 쌍을 외부/내부에 가진다.
• 코른의 정리는 대수적으로 복원된다: 대칭 다항식의 내부 근 수는 그 도함수의 외부 근 수와 같다.
• 형식 $\mathfrak{S}$는 |x|=1 위의 근과 대칭 쌍에 대응하는 선형형식의 제곱 모듈러스의 합으로 분해된다.
• 실수 다항식의 고전적 결과(예: 헤르미트 기준, 교차 조건)의 유사체가 대수적 형식을 통해 대칭 다항식에 대해 확립된다.
• 변환 $f(x) = (x-i)^n g\left(\frac{x+i}{x-i}\right)$는 대칭 다항식을 실수 다항식으로 매핑하며, 근 분포 정리의 이행을 가능하게 한다.