[论文解读] The inverse rook problem on Ferrers boards

Abigail G. Mitchell|ArXiv.org|Jul 1, 2004

Advanced Combinatorial Mathematics参考文献 15被引用 7

一句话总结

该论文通过构造性算法解决了Ferrers板上的逆车问题，该算法利用Foata-Schützenberger定理和$n$-阶乘车多项式，唯一地从其车多项式重构出一个递增的Ferrers板。关键结果是一个必要且充分条件：一个多项式是递增Ferrers板的车多项式，当且仅当其关联的$n$-阶乘多项式仅有整数根，且可被$(x)_{t+1}$整除，其中$t$是该多项式最大根。

ABSTRACT

Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively. The naturally arising inverse question -- given a polynomial, what board (if any) is associated with it? -- remains open. In this paper, we solve the inverse problem completely for the class of Ferrers boards, and show that the increasing Ferrers board constructed from a polynomial is unique.

研究动机与目标

• 解决逆车问题——即确定是否存在某个Ferrers板，其车多项式恰好为给定多项式，特别针对Ferrers板类。
• 建立一种构造性且唯一的从车多项式重构递增Ferrers板的方法。
• 提供一个多项式成为某个Ferrers板的车多项式的必要且充分条件，利用Foata-Schützenberger定理和$n$-阶乘车多项式。

提出的方法

• 定义$n$-阶乘车多项式$p_n(B;x) = \sum_{k=0}^n r_k (x)_{n-k}$，其中$(x)_i$为下降阶乘。
• 利用Foata-Schützenberger定理证明每个Ferrers板都与唯一的递增Ferrers板车等价。
• 通过$n = \lfloor \sqrt{2q_1} \rfloor$（其中$q_1$是$q(x)$中$x^1$的系数）从输入的车多项式$q(x)$构造出$n$-阶乘多项式$p(x)$。
• 验证$p(x)$仅有整数根且可被$(x)_{t+1}$整除（其中$t$是$p(x)$的最大根），作为递增Ferrers板存在的必要且充分条件。
• 通过公式$h_n = (-x_1 + t + 1, \dots, -x_c + t + c)$从$\frac{p(x)}{(x)_{t+1}}$的根（按非递增顺序排列）重构板的列高向量。
• 通过$n$-阶乘车多项式的结构和递增Ferrers板的规范形式，证明重构板的唯一性。

实验结果

研究问题

• RQ1 给定一个多项式$q(x)$，是否存在一个Ferrers板，其车多项式恰好为$q(x)$？
• RQ2 如果这样的板存在，能否从$q(x)$唯一重构？
• RQ3 $q(x)$需满足何种条件，才能确保其作为某个递增Ferrers板的车多项式？
• RQ4 如何利用$n$-阶乘车多项式来刻画此类板的存在性与唯一性？
• RQ5 能否利用Foata-Schützenberger定理等代数与组合工具，构造性地解决Ferrers板的逆问题？

主要发现

• 一个多项式$q(x)$是递增Ferrers板的车多项式，当且仅当其关联的$n$-阶乘多项式$p(x)$仅有整数根，且可被$(x)_{t+1}$整除，其中$t$是$p(x)$的最大根。
• 重构出的递增Ferrers板是唯一的，这由Foata-Schützenberger定理保证，该定理确保每个Ferrers板都与唯一的递增Ferrers板车等价。
• 板的列高向量通过公式$h_n = (-x_1 + t + 1, \dots, -x_c + t + c)$从$\frac{p(x)}{(x)_{t+1}}$的根显式确定，其中$x_i$按非递增顺序排列。
• 重构板的列数严格小于$\sqrt{2q_1}$，其中$q_1$是板中的格子数，此结论由引理3.7确立。
• 该方法提供了一种从多项式构造板的构造性算法，使得Ferrers板的逆问题可解。
• 由于每个车等价类中递增代表元的唯一性，这些条件对任意Ferrers板（不一定是递增的）也同时是必要且充分的。