[論文レビュー] On the theory of symmetric polynomials

M. Г. Крейн|arXiv (Cornell University)|May 9, 2014

Mathematics and Applications被引用数 3

ひとこと要約

本稿は、対称多項式の単位円 |x|=1 内の根の個数を数える代数的アプローチを提示する。この方法は、根のべき和から得られる二次形式を用い、Cohnの定理およびその一般化を代数的に確立する。解析的接続やローチェの定理を用いずに、正確な根の局在化が可能である。

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.

研究の動機と目的

• 対称多項式の根数え上げ定理Cohnの定理を、従来ローチェの定理と連続性の議論に依存するのではなく、代数的代替法で提供すること。
• べき和の根から構成されるヘルミート形式を用いて、単位円 |x|=1 内の対称多項式の根の個数を特定する基準を確立すること。
• 連続性や留数計算などの解析的手法を避けて、代数的技法を用いてCohnの定理を一般化すること。
• 対称多項式と実多項式の間の類似性、特に根の交互配置と符号確定形式に関して考察すること。
• 対称多項式の係数から導かれる二次形式の符号を用いて、根の分布（|x|=1 内外）を構成的に決定する方法を提供すること。

提案手法

• 対称多項式 $g(x)$ の根のべき和 $s_k$ を用いて、ヘルミート形式 $\mathfrak{S} = \sum_{i,k=0}^{n-1} s_{i-k} x_i \overline{x}_k$ を定義する。
• $s_k$ を単位円上の根 ($\varepsilon_s$) と対称ペア ($\beta_t, \beta_t^*$) に分け、$\mathfrak{S}$ を絶対値の二乗の和に分解する。
• $\mathfrak{S}$ の符号（正・負の二乗項の個数）を用いて根の分布を特定：$\pi - \nu$ 個の根が |x|=1 上、$\nu$ 個の対称ペアが内側・外側にある。
• $\mathfrak{S}$ をシュール＝コーン形式 $\mathfrak{H}$ と関連付けることで、ローチェの定理を回避する代数的アプローチでCohnの定理を導出する。
• 変換 $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$ の形を用いて、Hurwitzの基準に類似した根の交互配置を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Cohnの定理（対称多項式の根分布に関するもの）は、複素解析や連続性の議論に依存せずに代数的に証明可能か？
• RQ2 べき和の根から構成される二次形式の符号と、根が単位円相対の位置関係との関係は何か？
• RQ3 代数的変換を用いて、対称多項式の理論を実多項式の理論と体系的に関連づける方法は何か？
• RQ4 2つの対称多項式が単位円上で根を交互配置する条件は何か？ そして、これを代数的にどのように特徴づけられるか？
• 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$ 個の対称ペアを内側・外側に持つ。
• Cohnの定理が代数的に回復される：対称多項式の単位円内にある根の個数は、その導関数が単位円外にある根の個数に等しい。
• 形式 $\mathfrak{S}$ は、|x|=1 上の根および対称ペアに対応する $x_i$ の線形形式の絶対値の二乗の和に分解される。
• 実多項式に関する古典的結果（例：エルミートの基準、交互配置条件）の類似が、代数的形式を用いて対称多項式に対しても確立される。
• 変換 $f(x) = (x-i)^n g\left(\frac{x+i}{x-i}\right)$ により、対称多項式が実多項式に写され、根分布に関する定理の移行が可能になる。