[论文解读] A $q$-Queens Problem. III. Nonattacking Partial Queens

Seth Chaiken, Christopher R. H. Hanusa+1 more|arXiv (Cornell University)|Feb 20, 2014

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文将 $q$-皇后问题推广至部分皇后——即具有皇后移动子集的棋子——利用Ehrhart理论与内部向外多面体，推导出在 $n\times n$ 棋盘上非攻击性放置的准多项式计数函数中，前四个高阶系数的显式公式。证明了前五个系数为常数（与 $n$ 无关），根据移动集合确定了下一个系数的周期，并为三种非攻击性部分皇后提供了精确公式，包括组合上不同的配置计数。

ABSTRACT

We apply our geometrical theory for counting placements of $q$ nonattacking on an $n imes n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coefficients are essentially polynomials in $q$. Those general results gave the three highest-order coefficients of the counting quasipolynomial and formulas for counting placements of two nonattacking pieces and the combinatorially distinct types of such placements. By contrast, the unified framework we present here for partial queens allows us to explicitly compute the four highest-order coefficients of the counting quasipolynomial, show that the five highest-order coefficients are constant (independent of $n$), and find the period of the next coefficient (which depends upon the exact set of moves). Furthermore, for three nonattacking partial queens we are able to prove formulas for the total number of nonattacking placements and for the number of their combinatorially distinct types. The method of proof, as in the previous parts, is by detailed analysis of the lattice of subspaces of an inside-out polytope.

研究动机与目标

• 将 $q$-皇后问题推广至部分皇后——即具有皇后移动子集的棋子——提供一个统一的框架，用于计数非攻击性配置。
• 确定部分皇后计数准多项式的结构，特别是最高阶系数及其对移动集合的依赖性。
• 证明准多项式中前五个系数为常数（与 $n$ 无关），并根据棋子类型计算下一个系数的周期。
• 推导出三种非攻击性部分皇后总非攻击性配置数及组合上不同的类型数的显式公式。
• 利用Ehrhart理论与内部向外多面体的几何与代数工具，分析对应于棋子移动的超平面排列中的格点计数。

提出的方法

• 将 $q$-部分皇后问题建模为内部向外多面体 $([0,1]^{2q}, \mathscr{A}_{\mathbb{P}})$ 中的格点计数问题，其中 $\mathscr{A}_{\mathbb{P}}$ 是部分皇后的移动超平面排列。
• 应用Ehrhart理论，将非攻击性配置的数量表示为 $n$ 的准多项式，其系数为 $q$ 的多项式。
• 通过莫比乌斯反演与格点计数，计算交集半格 $\mathscr{L}$ 中余维 1、2 和 3 子空间的贡献。
• 使用莫比乌斯函数 $\mu(\hat{0}, \mathcal{U})$ 权重每个子空间 $\mathcal{U}$ 的贡献，其中 $\mathcal{U}$ 对应于某些棋子相互攻击的配置。
• 使用 $\alpha^{d/c}(n)$、$\beta^{d/c}(n)$ 和 $\varepsilon = \frac{1}{2}[1 - (-1)^n]$ 的公式，显式计算每种子空间类型（如 $\mathcal{U}_2^2$、$\mathcal{U}_4^2$、$\mathcal{U}_6^3$）中的格点数量，这些公式用于计数 2 人与 3 人共线攻击。
• 将所有子空间类型的贡献相加，推导出 $o_{\mathbb{Q}^{hk}}(q;n)$ 的完整准多项式，其显式系数以 $h$（水平/垂直移动）和 $k$（对角线移动）表示。

实验结果

研究问题

• RQ1 在 $n\times n$ 棋盘上，非攻击性部分皇后计数的准多项式中，前四个高阶系数的显式公式是什么？
• RQ2 为何部分皇后的准多项式中前五个系数为常数（与 $n$ 无关），这与一般棋子（rider）情况有何不同？
• RQ3 准多项式中 $n^{2q-7}$ 项系数的周期由什么决定？其如何依赖于部分皇后的移动集合？
• RQ4 当放置 $q=3$ 个非攻击性部分皇后时，能否推导出总非攻击性配置数及组合上不同类型的精确公式？
• RQ5 移动集合（即 $h$ 和 $k$）如何影响计数准多项式的结构，特别是低阶系数的周期性？

主要发现

• 准多项式 $o_{\mathbb{Q}^{hk}}(q;n)$ 的前四个高阶系数被显式计算为 $h$ 与 $k$ 的函数，其中 $n^{2q-4}$ 项的首项系数为 $\frac{1}{(2q)!} \cdot \frac{1}{24} h^2 k^2$。
• 前五个系数（至 $n^{2q-6}$ 项）为常数，与 $n$ 无关，这一结果在完整皇后或主教情况下不成立。
• $n^{2q-7}$ 项系数的周期取决于移动集合：若部分皇后缺乏两种对角线移动，则周期为 1（常数），否则周期可能为 2 或更大。
• 对于三个非攻击性部分皇后，总配置数由一个包含 $h$、$k$ 和 $q$ 的闭式准多项式表达式给出，其贡献来自所有子空间类型，包括 $\mathcal{U}_2^2$、$\mathcal{U}_4^2$ 和 $\mathcal{U}_6^3$，分别贡献 $n^{2q-3}$、$n^{2q-5}$ 和 $n^{2q-7}$ 项。
• 三个非攻击性部分皇后的组合上不同配置数仅取决于总移动数 ($h+k$)，而不依赖于其具体类型，如推论 4.3 所示。
• $n^{2q-9}$ 项系数包含 $(-1)^n$ 项，表明周期为 2，其来源于 $\mathcal{U}_6^3$ 类型中 $\varepsilon = \frac{1}{2}[1 - (-1)^n]$ 的贡献，表明周期性与 $n$ 的奇偶性相关。