[论文解读] Unimodal polynomials and lattice walk enumeration with experimental mathematics

Bryan Ek|arXiv (Cornell University)|Jan 1, 2018

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

一句话总结

本文将 O'Hara 和 Zeilberger 的单峰性证明方法扩展至新的多项式家族，应用一种算法化、可由计算机自动执行的框架，对有界、半有界及无界平面中的任意步长集合的格路进行枚举。关键贡献在于提出了一种系统性的实验数学方法，既复现了已知结果，也发现了复杂步长集合的新结果。

ABSTRACT

The main theme of this dissertation is retooling methods to work for different situations. I have taken the method derived by O'Hara and simplified by Zeilberger to prove unimodality of q-binomials and tweaked it. This allows us to create many more families of polynomials for which unimodality is not, a priori, given. I analyze how many of the tweaks affect the resulting polynomial. Ayyer and Zeilberger proved a result about bounded lattice walks. I employ their generating function relation technique to analyze lattice walks with a general step set in bounded, semi-bounded, and unbounded planes. The method in which we do this is formulated to be highly algorithmic so that a computer can automate most, if not all, of the work. I easily recover many well-known results for simpler step sets and discover new results for more complex step sets.

研究动机与目标

• 将 O'Hara–Zeilberger 单峰性证明方法重新配置，以拓展其在 q-二项式之外的更广泛应用场景。
• 开发一种算法框架，实现对一般步长集合的格路枚举的计算机辅助计算。
• 分析在初始时并不显然单峰的多项式家族中的单峰性。
• 将 Ayyer 和 Zeilberger 的生成函数技术扩展至有界、半有界及无界格路平面。
• 通过计算实验自动化发现格路计数中的新结果。

提出的方法

• 改编 O'Hara 的组合证明技巧与 Zeilberger 的简化方法，以生成新的单峰多项式家族。
• 应用受 Ayyer 和 Zeilberger 启发的生成函数关系技术，以建模具有任意步长集合的格路。
• 设计该方法使其高度算法化，从而可被计算工具实现完全或部分自动化。
• 系统性地分析核心方法的修改如何影响所得多项式的结构与单峰性。
• 通过计算实验探索并验证在有界、半有界及无界格路域中的结果。
• 构建该框架，使得通过一致的算法应用，既能推导出已知结果，也能推导出新结果。

实验结果

研究问题

• RQ1 O'Hara–Zeilberger 方法的哪些修改版本能产生新的单峰多项式家族？
• RQ2 生成函数技术如何推广至有界、半有界及无界平面中的格路？
• RQ3 步长集合的何种结构特性能导致计算上可行且新颖的枚举结果？
• RQ4 在多大程度上可利用单峰性证明的算法变体实现格路枚举的自动化？
• RQ5 该方法能否在简单步长集合上复现已知结果，同时在复杂步长集合上发现新结果？

主要发现

• 该修改后的方法成功生成了多个新多项式家族，尽管其初始形式并不显见为单峰，但实际具有单峰性。
• 该算法框架实现了对各种边界条件下格路枚举的完全自动化。
• 对于简单步长集合的著名结果可轻松复现，验证了该方法的正确性与鲁棒性。
• 该方法揭示了此前通过人工分析难以触及的复杂步长集合的新枚举结果。
• 方法调整对所得多项式结构的影响被系统性地分析并量化，尤其在单峰性保持方面。
• 生成函数技术成功扩展至半有界与无界格路平面，显著拓宽了其适用范围。