[论文解读] Lucas atoms.

Bruce E. Sagan, Jordan O. Tirrell|arXiv (Cornell University)|Sep 5, 2019

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

一句话总结

本文引入卢卡斯原子——卢卡斯多项式 $ \{n\} $ 的不可约因子 $ P_d(s,t) $——以代数方法确定卢卡斯类比的组合数（例如，Fuss-Catalan 和 Fuss-Narayana 数）何时为 $ s,t $ 的多项式。通过将这些原子与分圆多项式 $ \Phi_d(q) $ 联系起来，作者证明了所有不可约考思特纳群的此类类比在 $ s,t $ 上均为多项式，将高斯和卢卡斯的经典定理推广至该代数设定。

ABSTRACT

Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $\Phi_d(q)$. Certain results about the $\Phi_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.

研究动机与目标

• 解决一个开放问题：确定卢卡斯类比的组合表达式（例如，Fuss-Catalan 数）何时为 $ s,t $ 上的多项式，而非有理函数。
• 建立一个基于卢卡斯多项式因式分解的代数框架，以系统分析此类多项式性问题。
• 建立卢卡斯原子 $ P_d(s,t) $ 与分圆多项式 $ \Phi_d(q) $ 之间的结构性联系，从而实现数论结果的转移。
• 证明所有不可约考思特纳群的 Fuss-Catalan 与 Fuss-Narayana 数的卢卡斯类比在 $ s,t $ 上均为多项式。

提出的方法

• 通过递推关系 $ \{n\} = s\{n-1\} + t\{n-2\} $ 定义卢卡斯多项式 $ \{n\} $，其中 $ \{0\}=0 $，$ \{1\}=1 $。
• 将 $ \{n\} $ 因式分解为 $ \prod_{d|n} P_d(s,t) $，其中 $ P_d(s,t) $ 为不可约多项式，称为卢卡斯原子。
• 通过伽马展开，建立卢卡斯原子 $ P_d(s,t) $ 与分圆多项式 $ \Phi_d(q) $ 之间的对应关系。
• 将关于 $ \Phi_d(q) $ 的已知定理（如高斯定理与卢卡斯定理）提升至卢卡斯原子的语境中。
• 利用约化公式与特定 $ s,t $ 值的求值技术，分析 $ P_d(s,t) $ 的结构与整性。

实验结果

研究问题

• RQ1 在何种条件下，有理组合表达式（如 Fuss-Catalan 数）的卢卡斯类比实际上是 $ s,t $ 上的多项式？
• RQ2 如何利用卢卡斯多项式不可约分量（即卢卡斯原子）的因式分解来判断此类类比的多项式性？
• RQ3 卢卡斯原子 $ P_d(s,t) $ 从分圆多项式 $ \Phi_d(q) $ 继承了哪些代数或数论性质？
• RQ4 高斯与卢卡斯关于 $ \Phi_d(q) $ 的经典定理能否被适配至卢卡斯原子 $ P_d(s,t) $ 的设定中？
• RQ5 所有不可约考思特纳群的 Fuss-Narayana 数的卢卡斯类比是否在 $ s,t $ 上为多项式？

主要发现

• 卢卡斯多项式 $ \{n\} $ 可因式分解为 $ \prod_{d|n} P_d(s,t) $，其中 $ P_d(s,t) $ 为不可约多项式，称为卢卡斯原子。
• 卢卡斯原子 $ P_d(s,t) $ 通过伽马展开与分圆多项式 $ \Phi_d(q) $ 在代数上相联系，从而实现已知结果的转移。
• 在卢卡斯原子 $ P_d(s,t) $ 上建立了高斯与卢卡斯定理的类比，包括不可约性与根分布性质。
• 推导出 $ P_d(s,t) $ 的约化公式，使其可在特定 $ s,t $ 值下简化与求值。
• 证明了所有不可约考思特纳群的 Fuss-Catalan 与 Fuss-Narayana 数的卢卡斯类比在 $ s,t $ 上均为多项式。
• 在 $ s,t $ 的特殊取值下对 $ P_d(s,t) $ 的求值结果为整数，确认了其整性与结构一致性。