[論文レビュー] On zeros of self-reciprocal polynomials

Masatoshi Suzuki|arXiv (Cornell University)|Nov 13, 2012

Quantum chaos and dynamical systems参考文献 14被引用数 7

ひとこと要約

本稿は、実係数をもつ自己双対多項式のすべての零点が単位円上にあるための必要十分条件を、多項式の構造から導かれる線形系に基づく有理関数を用いて確立する。この条件は、正規系の線形微分方程式系におけるハミルトニアンの半正定性と結びつけられ、多項式の零点分布とde Brangesの枠組みにおけるスペクトル理論との深い関連を示す。

ABSTRACT

We establish a necessary and sufficient condition for all zeros of a self-reciprocal polynomial to lie on the unit circle. Moreover, we relate the necessary and sufficient condition with a canonical system of linear differential equations (in the sense of de Branges). This relationship enable us to understand that the property of a self-reciprocal polynomial having only zeros on the unit circle is equivalent to the positive semidefiniteness of Hamiltonians of corresponding canonical systems.

研究の動機と目的

• 自己双対多項式の係数に関する明確で計算可能な条件を同定し、それがすべての零点が単位円上にあることを保証すること。
• この係数条件をde Brangesの正規系の線形微分方程式理論と結びつけること。
• 特定の有理関数の正定性と単位円上での零点位置との対応関係を確立すること。
• 正規系におけるハミルトニアン作用素を通じて、この条件の幾何学的およびスペクトル的意味を明らかにすること。
• 同定された正定性基準をもとに、数論、代数幾何、統計力学への応用の基盤を築くこと。

提案手法

• 多項式の構造から導かれる線形系に基づき、$g+1$ 個の実変数 $\underline{c} = (c_0, \dots, c_g)$ に関する $2g$ 個の有理関数 $R_n(\underline{c})$ を構成する。
• 追加パラメータ $q^\omega > 1$ を導入した変種 $R_n(\underline{c}; q^\omega)$ を定義し、$q^\omega \to 1^+$ の極限で $R_n(\underline{c})$ に収束することを示す。
• 自己双対多項式 $P_g(x) = \sum_{k=0}^{g-1} c_k(x^{2g-k} + x^k) + c_g x^g$ のすべての零点が単位円上にあり、かつ単純であるための必要十分条件は、すべての $R_n(\underline{c})$ が有限かつ正であることである。
• 多項式 $P_g(x)$ に関連する2つの正規系の常微分方程式系を構成し、$P_g(x)$ のすべての零点が単位円上にある（単純性の有無を問わず）場合に限り、これらが正規系であることを証明する。
• de Brangesの正規系理論の道具を用いて、系のハミルトニアンの正定性と多項式の零点分布との関連を確立する。
• 特に $g=1,2,3$ の場合に、$P_g(x)$ のチェビシェフ変換の零点 $\lambda_j$ を用いて $R_n(\underline{c})$ の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 自己双対多項式の係数にどのような必要十分条件を課すと、すべての零点が単位円上に位置するか？
• RQ2 単位円上での零点位置の条件を、係数の有理関数としてどのように表現できるか？
• RQ3 正規系の線形微分方程式系におけるハミルトニアンの正定性と、自己双対多項式の零点分布との関係は何か？
• RQ4 有理関数 $R_n(\underline{c})$ は体系的に計算可能か？また、小規模な次数におけるその構造はどのようなものか？
• RQ5 $R_n(\underline{c})$ や $m_{2g-n}(\underline{c}, \log q)$ の正定性には、より深い算術的・幾何的・物理的解釈が存在するか？

主な発見

• 自己双対多項式 $P_g(x)$ のすべての零点が単位円上にあり、かつ単純であるための必要十分条件は、$1 \leq n \leq 2g$ に対してすべての $R_n(\underline{c})$ が有限かつ正であることである。
• $R_n(\underline{c}; q^\omega)$ は $q^\omega \to 1^+$ のとき $R_n(\underline{c})$ に収束するため、両条件の間で連続的な変形が実現される。
• $g=1$ の場合、$R_2(c_0, c_1) = \frac{1 - \lambda_1}{1 + \lambda_1}$ であり、ここで $\lambda_1$ はチェビシェフ変換の零点である。
• $g=2$ の場合、$R_2, R_3, R_4$ の明示的公式が $\lambda_1, \lambda_2$ を用いて与えられ、零点の対称関数を含む。
• 4.1節で構成された正規系は、$P_g(x)$ のすべての零点が単位円上にあり、かつ単純である場合に限り正規系であり、そのときハミルトニアンは半正定である。
• 4.2節の正規系は、$P_g(x)$ のすべての零点が単位円上にある場合に限り正規系であり、これは再びハミルトニアンの正定性と関連している。