[论文解读] On zeros of self-reciprocal polynomials

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

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

一句话总结

本文通過源自多項式結構的線性系統構造的有理函數，建立了所有係數為實數的自反多項式的所有零點位於單位圓上的必要且充分條件。該條件與典型線性微分方程系統中哈密頓量的半正定性相關聯，從而建立了多項式零點分佈與德布蘭傑斯框架下譜理論之間的深刻聯繫。

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.

研究动机与目标

• 確定自反多項式係數的一個精確、可計算條件，以確保其所有零點位於單位圓上。
• 將此係數條件與德布蘭傑斯框架下典型線性微分方程系統的理論聯繫起來。
• 建立某些有理函數的正定性與零點位於單位圓上的對應關係。
• 透過典型系統中的哈密頓算子，探討此條件的幾何與譜學含義。
• 透過所識別的正定性準則，為數論、代數幾何及統計力學中的潛在應用奠定基礎。

提出的方法

• 利用源自多項式結構的線性系統，構造 $2g$ 個在 $g+1$ 個實變數 $\underline{c} = (c_0, \dots, c_g)$ 上的有理函數 $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)$ 相關的兩個典型常微分方程系統，證明它們是典型的，當且僅當 $P_g(x)$ 的所有零點位於單位圓上（不論是否互異）。
• 運用德布蘭傑斯理論中典型系統的工具，將系統的哈密頓量正定性與多項式的零點分佈聯繫起來。
• 以 $P_g(x)$ 的切比雪夫變換的零點 $\lambda_j$ 表示 $R_n(\underline{c})$ 的顯式公式，特別針對 $g=1,2,3$ 的情況。

实验结果

研究问题

• RQ1 自反多項式係數的何種必要且充分條件可確保其所有零點位於單位圓上？
• RQ2 如何以係數的有理函數形式表達零點位於單位圓上的條件？
• RQ3 典型微分方程系統中哈密頓量的正定性與自反多項式零點分佈之間的關係為何？
• RQ4 能否系統性地計算有理函數 $R_n(\underline{c})$？其在小次數下的結構為何？
• RQ5 是否存在 $R_n(\underline{c})$ 或 $m_{2g-n}(\underline{c}, \log q)$ 正定性的更深層算術、幾何或物理解釋？

主要发现

• 自反多項式 $P_g(x)$ 的所有零點位於單位圓上且互異，當且僅當所有 $R_n(\underline{c})$ 對 $1 \leq n \leq 2g$ 皆有限且為正。
• $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)$ 的所有零點位於單位圓上，不論重數如何，同樣與哈密頓量正定性相關聯。