[论文解读] On the characteristic polynomial of Cartan matrices and Chebyshev polynomials

Pantelis A. Damianou|arXiv (Cornell University)|Oct 30, 2011

Algebraic structures and combinatorial models参考文献 22被引用 3

一句话总结

本文建立了复数单李代数中卡坦矩阵的特征多项式与切比雪夫多项式第一类和第二类之间的深刻联系。它推导出考克斯eter邻接矩阵特征多项式的显式公式，将考克斯eter多项式表示为分圆多项式的乘积，并证明了一个新颖的正弦公式，通过三角函数乘积将卡坦矩阵的行列式与指数和考克斯eter数联系起来。

ABSTRACT

We explore some interesting features of the characteristic polynomial of the Cartan matrix of a simple Lie algebra. The characteristic polynomial is closely related with the Chebyshev polynomials of first and second kind. In addition, we give explicit formulas for the characteristic polynomial of the Coxeter adjacency matrix, we compute the associated polynomials and use them to derive the Coxeter polynomial of the underlying graph. We determine the expression of the Coxeter and associated polynomials as a product of cyclotomic factors. We use this data to propose an algorithm for factoring Chebyshev polynomials over the integers. Finally, we prove an interesting formula which involves products of sines, the exponents, the Coxeter number and the determinant of the Cartan matrix.

研究动机与目标

• 探索卡坦矩阵的特征多项式与第一类和第二类切比雪夫多项式之间的结构性关系。
• 推导考克斯eter邻接矩阵及其相关多项式的特征多项式的显式公式。
• 利用李代数的指数和考克斯eter数，将考克斯eter多项式表示为分圆多项式的乘积。
• 开发一种利用李理论数据（如根系的指数）对切比雪夫多项式在整数环上进行因式分解的算法。
• 证明一个新正弦公式，将卡坦矩阵的行列式与指数、考克斯eter数及根系的三角函数联系起来。

提出的方法

• 本文使用根系中卡坦矩阵的标准定义，并通过变换 $ p_n(x) = q_n\left(\frac{x}{2} - 1\right) $ 将其特征多项式与切比雪夫多项式联系起来，其中 $ q_n $ 对应于 $ U_n $、$ 2T_n $ 或 $ 4xT_{n-1} $，具体取决于李代数类型。
• 考克斯eter邻接矩阵定义为 $ A = 2I - C $，其特征多项式由卡坦矩阵 $ C $ 导出，其根与 $ 2\cos\left(\frac{m_i\pi}{h}\right) $ 相关，其中 $ m_i $ 为指数，$ h $ 为考克斯eter数。
• 证明了相关多项式 $ a_n(x) $ 可分解为分圆多项式 $ \Phi_d(x) $ 的乘积，且完整的考克斯eter多项式 $ Q_n(x) $ 可表示为所有整除考克斯eter数的 $ d $ 对应的 $ \Phi_d $ 的乘积。
• 本文构建了一种算法，通过利用 $ a_n(x) $ 已知的 $ \psi_j(x) $ 因式分解（与分圆多项式相关）来实现切比雪夫多项式在 $ \mathbb{Z} $ 上的因式分解。
• 一个关键的技术工具是引理2，它识别出 $ a_n(x) $ 的根为 $ 2\cos\left(\frac{m_i\pi}{h}\right) $，将邻接矩阵的谱数据与李理论不变量联系起来。
• 通过计算 $ a_n(2) $ 推导出正弦公式，利用三角恒等式和指数的对称性 $ m_i + m_{\ell+1-i} = h $，最终得出 $ \det C = 2^{2\ell} \prod_{i=1}^{\ell} \sin^2\left(\frac{m_i\pi}{2h}\right) $。

实验结果

研究问题

• RQ1 在不同李代数类型下，卡坦矩阵的特征多项式与第一类和第二类切比雪夫多项式之间有何关系？
• RQ2 Dynkin图的考克斯eter多项式能否表示为分圆多项式的乘积？若是，这些分圆因子如何由指数和考克斯eter数确定？
• RQ3 切比雪夫多项式在整数环上的显式因式分解是什么？能否从根系的指数等李理论数据中推导出该因式分解？
• RQ4 卡坦矩阵的特征值如何关于2对称配对？这对特征多项式有何含义？
• RQ5 是否存在一个闭式三角恒等式，将卡坦矩阵的行列式与指数和考克斯eter数联系起来？

主要发现

• 对于类型 $ A_n $，卡坦矩阵的特征多项式为 $ p_n(x) = U_n\left(\frac{x}{2} - 1\right) $，其中 $ U_n $ 为第二类切比雪夫多项式。
• 对于类型 $ B_n $ 和 $ C_n $，特征多项式满足 $ p_n(x) = 2T_n\left(\frac{x}{2} - 1\right) $，其中 $ T_n $ 为第一类切比雪夫多项式。
• 对于 $ E_6 $，相关多项式 $ a_n(x) $ 的因式分解为 $ (x+1)(x-1)(x^4 - 4x^2 + 1) $，其完整因式分解为 $ \psi_3(x)\psi_6(x)\psi_{24}(x) $，且考克斯eter多项式 $ Q_6(x) = \Phi_3(x)\Phi_6(x)\Phi_{24}(x) $。
• 对于 $ E_7 $，相关多项式 $ a_7(x) = x(x^6 - 6x^4 + 9x^2 - 3) $ 的因式分解为 $ \psi_4(x)\psi_{36}(x) $，考克斯eter多项式为 $ Q_7(x) = \Phi_4(x)\Phi_{36}(x) $。
• 对于 $ E_8 $，相关多项式为 $ a_8(x) = \psi_{60}(x) $，考克斯eter多项式为 $ Q_8(x) = \Phi_{60}(x) $，其指数为小于30且与30互素的整数。
• 本文证明了正弦公式：$ \det C = 2^{2\ell} \prod_{i=1}^{\ell} \sin^2\left( \frac{m_i\pi}{2h} \right) $，其中 $ m_i $ 为指数，$ h $ 为考克斯eter数，该公式通过计算 $ a_n(2) = \det C $ 得到验证。