[论文解读] Vandermonde varieties and relations among Schur polynomials

Ralf Fröberg, Boris Shapiro|arXiv (Cornell University)|Feb 6, 2013

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

一句话总结

本文引入了范德蒙德簇——与具有指定零点集的线性递推关系相关的代数结构——并建立了其自由解析、希尔伯特级数和正则情形下的次数。它推导出舒尔多项式之间的新关系，并将其与斯科勒姆-马勒-莱赫定理联系起来，为指数多项式整数零点的结构提供了几何洞察。

ABSTRACT

Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all linear recurrence relations of a given order possessing a non-trivial solution vanishing at a given set of integers. In the regular case, i.e., when the dimension of a Vandermonde variety is the expected one, we present its free resolution, obtain its degree and the Hilbert series. Some interesting relations among Schur polynomials are derived. Many open problems and conjectures are posed.

研究动机与目标

• 研究在给定有限整数集上消失的线性递推关系的代数与几何结构。
• 定义并分析范德蒙德簇，作为与递推根相关的一类广义范德蒙德矩阵所导出的行列式簇。
• 在正则情形下，建立这些簇的自由解析、次数和希尔伯特级数。
• 通过这些簇的几何结构，揭示舒尔多项式之间新的代数关系。
• 解决与线性递推零点集中算术级数存在性相关的开放问题，受斯科勒姆-马勒-莱赫定理的启发。

提出的方法

• 将阶数为 $k$ 且在给定整数集 $I$ 上存在非平凡解的递推关系的集合定义为开与闭的线性递推簇 $V_{k;I}$ 和 $ar{V}_{k;I}$。
• 构造广义范德蒙德矩阵 $M_{k;I}$，其元素为 $x_j^{i_ u}$，其中 $x_j$ 为特征根，$i_ u o I$。
• 利用 $M_{k;I}$ 的行列式为零来定义 $V_{k;I}$ 的代数簇结构，将其与非平凡解的存在性联系起来。
• 应用交换代数与代数几何的技术，计算正则范德蒙德簇的自由解析、希尔伯特级数和次数。
• 通过分析定义这些簇的理想的结构，推导舒尔多项式之间的恒等式。
• 使用计算机辅助搜索，探索小的 $k$ 和 $m$ 的情形，检验维数、空性以及零点集中算术级数的存在性。

实验结果

研究问题

• RQ1 对于哪些对 $(k;I)$，簇 $V_{k;I}$ 非空，其维数是多少？
• RQ2 在何种条件下，一个在 $I$ 上消失的线性递推解必须无限次消失，特别是形成算术级数？
• RQ3 如果 $I$ 由两个公差相同的算术级数组成，是否存在仅有限多个例外情况，使得任何在 $I$ 上消失的解必须具有无限多个零点构成的算术级数？
• RQ4 非退化的 $k$ 阶线性递推关系的整数零点最大数量是否可以有界？其零点集的结构如何？
• RQ5 范德蒙德簇的几何结构与递推解中额外整数零点或算术级数的存在性之间有何关系？

主要发现

• 正则范德蒙德簇的自由解析、次数和希尔伯特级数被显式计算，提供了在预期维数情形下的完整代数描述。
• 簇 $V_{k;I}$ 仅在特定的四元组如 $(0,1,3,7)$ 和 $(0,1,3,9)$ 及其对偶情形下为空，表明这些可能是唯一的例外。
• 当 $k=3$，$m=4$ 时，对 $(0,1,4,6)$ 和 $(0,1,4,13)$，解必须在额外形成六元组的点上消失，表明存在生成算术级数的机制。
• 当四元组 $I$ 中两个差值相等时，解必须无限次消失，但该条件仅为充分非必要。
• 非退化 $k$ 阶递推关系整数零点最大数量 $ u_k$ 的已知下界为 $inom{k+1}{2} - 1$，而上界为双指数级。
• 对于具有不同实部指数的指数多项式，实零点数量为有限，提示可提出关于以项数为参数的统一上界的类似问题。