[论文解读] On 3-dimensional lattice walks confined to the positive octant

Alin Bostan, Mireille Bousquet‐Mélou+2 more|arXiv (Cornell University)|Sep 12, 2014

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

一句话总结

本文对步长属于{−1, 0, 1}³的三维格路在正卦限内的分类进行了研究，重点关注最多六步的35,548种步长集合。通过实验性猜测与严格方法（包括代数核法、Hadamard约化及计算机代数）相结合，证明了所有猜测的微分方程的D-有限性。关键结果是，仍有19个具有有限群的步长集合尚未解决，这挑战了二维象限格路中有限群与D-有限生成函数之间的二分法。

ABSTRACT

Many recent papers deal with the enumeration of 2-dimensional walks with prescribed steps confined to the positive quadrant. The classification is now complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is D-finite if and only if a certain group associated with the step set is finite. We explore in this paper the analogous problem for 3-dimensional walks confined to the positive octant. The first difficulty is their number: there are 11074225 non-trivial and non-equivalent step sets in $\{0, \pm 1\}^3$ (instead of 79 in the quadrant case). We focus on the 35548 that have at most six steps. We apply to them a combined approach, first experimental and then rigorous. On the experimental side, we try to guess differential equations. We also try to determine if the associated group is finite. The largest finite groups that we find have order 48 -- the larger ones have order at least 200 and we believe them to be infinite. No differential equation has been detected in those cases. On the rigorous side, we apply three main techniques to prove D-finiteness. The algebraic kernel method, applied earlier to quadrant walks, works in many cases. Certain, more challenging, cases turn out to have a special Hadamard structure, which allows us to solve them via a reduction to problems of smaller dimension. Finally, for two special cases, we had to resort to computer algebra proofs. We prove with these techniques all the guessed differential equations. This leaves us with exactly 19 very intriguing step sets for which the group is finite, but the nature of the generating function still unclear.

研究动机与目标

• 系统分类步长属于{−1, 0, 1}³、受限于正卦限的三维格路。
• 研究二维象限格路中有限群条件是否可推广至卦限情形，即有限群是否等价于D-有限生成函数。
• 识别并利用代数与算法技术，证明具有有限群的步长集合的生成函数的D-有限性。
• 分离并分析19个具有有限群但D-有限性尚未证明的步长集合，以挑战二维象限格路的二分法。
• 探讨具有有限群的模型是否存在非D-有限生成函数的可能性，从而可能推翻有限群与D-有限性之间的对应关系。

提出的方法

• 对最多六步的35,548个步长集合，应用实验方法猜测其生成函数的多项系数线性微分方程。
• 对许多模型使用代数核法，严格证明生成函数的D-有限性。
• 识别并利用某些模型中的特殊Hadamard结构，将问题约化为低维情形。
• 对其他方法失效的两个特别复杂的模型，采用计算机代数证明。
• 利用Fuchs关系及明显奇点的界，约束潜在微分算子的形式。
• 实施并应用一种结合符号计算与群论分析的系统性策略，以验证所有猜测的微分方程。

实验结果

研究问题

• RQ1 二维象限格路中的有限群条件是否可推广至三维卦限格路，即是否满足有限群 ⇔ D-有限生成函数？
• RQ2 是否可证明19个具有有限群但生成函数性质未知的步长集合为非D-有限，从而推翻有限群与D-有限性之间的对应关系？
• RQ3 是否可将二维情形中的技术（如Bostan等[8]中的方法）扩展至三维卦限格路，以证明非D-有限性？
• RQ4 是否能像二维情形一样，用超几何级数形式表达D-有限生成函数的闭式表达式？
• RQ5 能否为计算机代数结果（特别是两个例外模型）构建人类可读的证明？

主要发现

• 对所有35,548个最多六步且具有有限群的步长集合进行了分析，对所有猜测微分方程的D-有限性均严格证明。
• 发现的最大有限群阶为48；发现阶为200或以上的群，推测为无限群。
• 在19个具有有限群但D-有限性尚未证明的步长集合中，未检测到任何微分方程。
• 这19个未解决的模型是唯一可能破坏二维象限格路中观察到的有限群-D-有限性对应关系的候选。
• 代数核法与Hadamard约化技术成功解决了大多数模型，而两个模型则需要完整的计算机代数证明。
• 本研究证实，有限群条件在三维情形下是必要但非充分的，因为仍有19个案例未被分类。