[论文解读] Identities Involving Zeros of Ramanujan and Shanks Cubic Polynomials

Stefano Barbero, Umberto Cerruti+2 more|arXiv (Cornell University)|Jan 7, 2014

Advanced Combinatorial Mathematics参考文献 6被引用 3

一句话总结

本文建立了拉马努金三次多项式（RCPs）与尚克斯三次多项式（SCPs）之间的深刻联系，通过SCPs给出了RCPs零点的显式三角函数表达式。证明了RCPs的零点在有理变换下呈三周期循环置换，并推导出涉及余弦幂与整数序列的新恒等式，包括对L. E. 贾费里在OEIS中关于序列A198636的猜想的证明。

ABSTRACT

In this paper we highlight the connection between Ramanujan cubic polynomials (RCPs) and a class of polynomials, the Shanks cubic polynomials (SCPs), which generate cyclic cubic fields. In this way we provide a new characterization for RCPs and we express the zeros of any RCP in explicit form, using trigonometric functions. Moreover, we observe that a cyclic transform of period three permutes these zeros. As a consequence of these results we provide many new and beautiful identities. Finally we connect RCPs to Gaussian periods, finding a new identity, and we study some integer sequences related to SCPs .

研究动机与目标

• 通过RCPs与SCPs的联系，建立RCPs的新表征方式。
• 利用SCPs的零点，推导出RCPs零点的显式三角函数表达式。
• 证明RCPs的零点在三周期有理变换下呈循环置换。
• 证明L. E. 贾费里关于OEIS中序列A198636线性递推性质的猜想。
• 探索RCPs、高斯周期与由SCPs导出的整数序列之间的联系。

提出的方法

• 使用两个实参数 $ h $ 和 $ s \neq 0 $ 参数化RCPs，将其表示为 $ \rho(h,s,x) = x^3 + h s x^2 - (h+3)s^2 x + s^3 $。
• 通过韦达代换与复根分析，推导出SCPs $ \rho(h,-1,x) $ 零点的三角函数表达式，涉及反正切与余弦函数。
• 定义有理变换 $ \eta_s(z) = \frac{s^2}{s - z} $，证明其对任意RCP的三个零点实现循环置换。
• 应用伴随矩阵法，证明SCPs根的幂和构成线性递推的整数序列。
• 利用切比雪夫多项式的特征值与迹恒等式，将路径图上的闭游走与余弦幂和联系起来。
• 利用高斯周期与分圆域的已知结果，推导出连接RCPs与高斯周期的新恒等式。

实验结果

研究问题

• RQ1 拉马努金三次多项式（RCPs）与尚克斯三次多项式（SCPs）之间有何关系？该关系能否带来对RCPs的新表征？
• RQ2 能否利用SCPs的零点，显式地用三角函数表达任意RCP的零点？
• RQ3 在变换 $ \eta_s(z) = \frac{s^2}{s - z} $ 下，RCPs零点的循环置换背后的代数结构是什么？
• RQ4 OEIS中的整数序列A198636是否为线性递推序列？是否满足L. E. 贾费里的猜想？
• RQ5 RCPs、SCPs、高斯周期与余弦幂和之间的相互作用会产生哪些新恒等式？

主要发现

• 任意拉马努金三次多项式 $ \rho(h,s,x) $ 的零点显式表示为 $ \left\{ \alpha, \frac{s^2}{s - \alpha}, -\frac{s(s - \alpha)}{\alpha} \right\} $，在变换 $ \eta_s(z) $ 下形成循环轨道。
• 对于SCPs $ \rho(h,-1,x) $，其零点表达为 $ \frac{1}{3}\left(h \pm 2\sqrt{\tau(h)}\cos\left(\frac{1}{3}\left(\arctan\left(\frac{3\sqrt{3}}{3+2h}\right) + k\pi\right)\right)\right) $，其中 $ \tau(h) = h^2 + 3h + 9 $，$ k = 0,2,4 $。
• OEIS中的序列A198636被证明是线性递推序列，其递推关系为 $ A_{n+3} = 5A_{n+2} - 6A_{n+1} + A_n $，并满足 $ A_n = 2^{2n}\left(\cos^{2n}\left(\frac{\pi}{7}\right) + \cos^{2n}\left(\frac{2\pi}{7}\right) + \cos^{2n}\left(\frac{3\pi}{7}\right)\right) $。
• 发现了一个新恒等式，通过SCPs伴随矩阵的幂的迹，将RCPs与高斯周期联系起来。
• 幂和 $ A(k,n) = \alpha^{kn} + \beta^{kn} + \gamma^{kn} $，其中 $ \alpha, \beta, \gamma $ 是 $ \rho(h,-1,x) $ 的根，构成具有特征多项式 $ x^3 - A(k,1)x^2 + B(k,1)x - 1 $ 的线性递推序列。
• 当 $ h = -1 $ 时，根为 $ 2\cos\left(\frac{2\pi}{7}\right), 2\cos\left(\frac{4\pi}{7}\right), 2\cos\left(\frac{8\pi}{7}\right) $，且序列 $ A(2,n) $ 与A198636一致，从而证实了贾费里的猜想。