[论文解读] The combinatorics of the leading root of the partial theta function

Thomas Prellberg|arXiv (Cornell University)|Sep 29, 2012

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

一句话总结

本文为偏theta函数 $\Theta_0(x,q) = \sum_{n=0}^\infty x^n q^{\binom{n}{2}}$ 的主根 $-x_0(q) = 1 + q + 2q^2 + 4q^3 + 9q^4 + \cdots$ 的形式幂级数展开中系数提供了组合解释。它表明这些系数计数了以总面积加权的、用堆叠多格骨牌或法雷尔图填充的根树，并通过在树的各层采用不同的填充模式，建立了不可数个等价的组合模型族。

ABSTRACT

Recently Alan Sokal studied the leading root $x_0(q)$ of the partial theta function $Θ_0(x,q)=\sum\limits_{n=0}^\infty x^nq^{\binom n2}$, considered as a formal power series. He proved that all the coefficients of $$-x_0(q)=1+q+2q^2+4q^3+9q^4+...$$ are positive integers. I give here an explicit combinatorial interpretation of these coefficients. More precisely, I show that $-x_0(q)$ enumerates rooted trees that are enriched by certain polyominoes, weighted according to their total area.

研究动机与目标

• 提供偏theta函数 $\Theta_0(x,q)$ 的主根 $-x_0(q)$ 的形式幂级数展开中正整数系数的组合解释。
• 建立 $\xi_0(q)$ 所满足的函数方程与堆叠多格骨牌和法雷尔图等组合结构之间的联系。
• 证明多个不同的组合模型——基于树层上不同的填充规则——可生成相同的 $\xi_0(q)$ 生成函数。
• 通过范畴理论和树填充构造，推广 Sokal 工作中 $\xi_0(q)$ 的迭代构造，表明不同填充序列之间存在等势性。

提出的方法

• 利用 Sokal 关于偏theta函数和 $q$-Pochhammer 符号的工作中的恒等式，推导出 $\xi_0(q)$ 的两个函数方程（5）和（6）。
• 引入堆叠多格骨牌的范畴（$S_q$）和法雷尔图的范畴（$F_q$），两者均包含空对象，并按面积（$q$）加权，其大小分别由上升高度（对 $S_q$）或宽度（对 $F_q$）定义。
• 在每一层交替使用 $S_q$ 和 $F_q$ 构造根树，参数化为 $\sigma \in \{0,1\}^\mathbb{N}$，并定义生成函数 $A_\sigma(t,q)$，按顶点数（$t$）和面积（$q$）计数此类树。
• 利用堆叠多格骨牌和法雷尔图的递归结构，推导出编码组合构造的生成函数 $G(x,y,a,q)$ 和 $H(x,y,a,q)$，其通过函数方程表达。
• 应用组合范畴理论和递归树构造理论，证明所有此类填充树模型均产生相同的总面积生成函数 $A_\sigma(1,q) = \xi_0(q)$。
• 分析系数 $[q^n]\xi_0(q)$ 的渐近增长，表明其具有平方根奇点，形式为 $[q^n]\xi_0(q) \sim A \mu^n n^{-3/2}$，与组合生成函数中的已知奇点行为一致。

实验结果

研究问题

• RQ1 什么组合结构解释了偏theta函数主根 $-x_0(q)$ 的幂级数展开中正整数系数的来源？
• RQ2 函数方程（5）和（6）对于 $\xi_0(q)$ 能否以多格骨牌和树结构的组合方式加以解释？
• RQ3 是否存在多个不同的组合模型可生成相同的生成函数 $\xi_0(q)$？若存在，它们之间有何关系？
• RQ4 Sokal 工作中 $\xi_0(q)$ 的迭代构造能否被解释为构建以堆叠多格骨牌或法雷尔图填充的根树的过程？
• RQ5 系数 $[q^n]\xi_0(q)$ 的渐近行为如何？是否与解析组合学中奇点分析的预测一致？

主要发现

• 系数 $\xi_0(q) = 1 + q + 2q^2 + 4q^3 + 9q^4 + 21q^5 + \cdots$ 计数的是以总面积加权的、用堆叠多格骨牌或法雷尔图填充的根树。
• 存在一个不可数的组合模型族，每个模型由序列 $\sigma \in \{0,1\}^\mathbb{N}$ 索引，其中若 $\sigma_i = 0$，则第 $i$ 层用堆叠多格骨牌填充；若 $\sigma_i = 1$，则用法雷尔图填充，所有模型均产生相同的生成函数 $\xi_0(q)$。
• 对于总面积为 3 的情况，每个 $\sigma$ 的选择恰好产生四个不同的填充树，验证了不同填充模式下的等势性。
• 按 $\sigma$ 填充的树的生成函数 $A_\sigma(t,q)$ 满足 $A_\sigma(1,q) = \xi_0(q)$，证明了对于固定面积，所有此类模型在计数上是等势的。
• $[q^n]\xi_0(q)$ 的渐近增长与平方根奇点一致，形式为 $[q^n]\xi_0(q) \sim A \mu^n n^{-3/2}$，其中 $\mu \approx 3.2336$。
• 函数方程（5）和（6）被解释为树填充结构的递归构造，$\xi_0(q)$ 作为迭代范畴构造的不动点出现。