[论文解读] Proof of a conjecture of Stanley about Stern's array

David E Speyer|arXiv (Cornell University)|Jan 18, 2019

Algorithms and Data Compression参考文献 2被引用 4

一句话总结

本文证明了理查德·斯坦利的猜想：当将斯蒂恩数组中第 $ n $ 行的条目提升至 $ r $ 次幂并求和时，总和 $ s_n^r = \bigsum_k \biglangle n \\atop k \big angle^r $ 满足长度为 $ r/3 + O(1) $ 的齐次线性递推关系，显著短于此前已知的 $ r/2 + O(1) $ 边界。证明方法结合了生成函数、在 $ \text{SL}(2,\bbZ) $ 上的线性代数以及模群的表示理论，通过分析线性算子 $ \tilde{\rho}^* $ 的特征值界来研究递推结构。

ABSTRACT

Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$ obeys a homogeneous linear recurrence in $n$ of length $r/2+O(1)$. Numerical evidence, however, suggested that $s_n^r$ obeys shorter recurrences, of length $r/3+O(1)$. We prove Stanley's conjecture.

研究动机与目标

• 解决斯坦利的猜想，即斯蒂恩数组中条目的 $ r $ 次幂和 $ s_n^r $ 满足长度为 $ r/3 + O(1) $ 的线性递推关系，而非此前已知的 $ r/2 + O(1) $。
• 通过线性算子与群表示理论，理解斯蒂恩数组中幂和递推关系背后的代数结构。
• 建立作用于齐次多项式上的线性算子 $ \tilde{\rho}^* $ 的特征值重数的精确界限，该算子控制递推长度。
• 分析多项式空间的对称与反对称子空间，以细化偶数和奇数 $ r $ 情况下的递推界限。
• 通过特征多项式与递推算子的分块对角化，统一分析 $ s_n^r $ 在偶数与奇数 $ r $ 情况下的行为。

提出的方法

• 定义总和 $ s_n^r = \bigsum_k \biglangle n \\atop k \big\rangle^r $，其中 $ \big\langle n \\atop k \big\rangle $ 是由递归插入规则生成的斯蒂恩数组条目。
• 引入作用于 $ r $ 次齐次多项式上的线性算子 $ \tilde{\rho}^* $，其定义为 $ \tilde{\rho}^*(f)(x,y) = f(x+y, x) $，并分析其在多项式空间上的作用。
• 通过 $ \text{SL}(2,\bbZ) $ 在 $ \tilde{\rho}^* $、$ \tau^* $ 和 $ \rho^* $ 上的作用，建模 $ s_n^r $ 的递推结构，将问题转化为特征值分析。
• 计算不变子空间 $ X $、$ Y^+ $ 和 $ Y^- $ 的维数，并利用容斥原理估计其交集的维数，从而获得特征值 $ \rho = \tilde{\rho}^* $ 重数的下界。
• 分析对称与反对称版本 $ \tilde{\rho}_{\text{sym}}^* $，识别出可将维数减半的商空间，从而细化递推界限。
• 利用递推算子 $ \tilde{\rho}_{\text{sym}}^* $ 的分块对角化与特征多项式，推导出递推长度，证明 $ s_n^r $ 满足长度为 $ r/3 + O(1) $ 的递推关系。

实验结果

研究问题

• RQ1 斯蒂恩数组第 $ n $ 行中条目的 $ r $ 次幂和 $ s_n^r = \bigsum_k \biglangle n \\atop k \big\rangle^r $ 是否如数值结果所示，满足长度为 $ r/3 + O(1) $ 的线性递推关系？
• RQ2 控制 $ s_n^r $ 递推长度的精确代数结构是什么？其关联的线性算子 $ \tilde{\rho}^* $ 的特征值如何决定这一长度？
• RQ3 多项式空间的对称与反对称子空间如何影响递推长度，特别是对偶数与奇数 $ r $ 的情形？
• RQ4 能否通过 $ \text{SL}(2,\bbZ) $ 的表示理论，特别是 $ \tilde{\rho}^* $ 在齐次多项式上的作用，对递推长度进行界定？
• RQ5 $ s_n^r $ 满足的最小递推长度是多少？与此前已知的 $ r/2 + O(1) $ 边界相比如何？该边界是否紧致？

主要发现

• 总和 $ s_n^r = \bigsum_k \biglangle n \\atop k \big\rangle^r $ 满足长度为 $ r/3 + O(1) $ 的齐次线性递推关系，从而证实了斯坦利的猜想。
• 一般情况下，递推长度的下界为 $ \tfrac{r}{3} + [-1, \tfrac{1}{3}, \tfrac{5}{3}]_r $，对称情况下为 $ \tfrac{r}{6} + [-1, -\tfrac{1}{3}, \tfrac{1}{3}]_r $。
• 通过子空间 $ X \bigcap Y^+ $ 与 $ X \bigcap Y^- $ 的维数估计，对特征值 $ \rho = \tilde{\rho}^* $ 的重数进行界定，得到 $ \tfrac{r}{6} + [0, -\tfrac{1}{3}, \tfrac{4}{3}, -1, \tfrac{2}{3}, \tfrac{1}{3}]_r $ 及类似表达式用于 $ Y^- $。
• 对于奇数 $ r $，递推长度的下界为 $ \tfrac{r}{3} + [4, \tfrac{10}{3}, \tfrac{8}{3}]_r $，该结果由 $ \tilde{\rho}_{\text{sym}}^* $ 的特征多项式导出。
• 对称版本 $ \tilde{\rho}_{\text{sym}}^* $ 将维数减半，且 $ s_n^r $ 的递推长度下界为 $ \tfrac{r}{6} + [-1, -\tfrac{1}{3}, \tfrac{1}{3}]_r $，从而确认了 $ r/3 $ 的缩放关系。
• 证明了 $ s_n^r $ 的递推形式为 $ s_n = \bigsum_{j=1}^\nu a_j s_{n-j} + b + c(-1)^n $，且当 $ r $ 增大时 $ \nu \to r/3 $，从而确认了渐近边界。