[论文解读] Diagonal asymptotics for symmetric rational functions via ACSV

Yuliy Baryshnikov, Stephen Melczer+2 more|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|Apr 29, 2018

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

一句话总结

本论文将多变量解析组合学（ACSV）应用于对称有理函数 $1/Q$ 的对角渐近分析，其中 $Q$ 为对称多重线性多项式。研究揭示了在 $c = (d-1)^{d-1}$ 处，Gillis-Reznick-Zeilberger 类 $1 - e_1 + c e_d$ 的指数增长速率出现不连续下降，通过 ACSV 几何与奇点分析，解释了此前观察到的相变现象。

ABSTRACT

We consider asymptotics of power series coefficients of rational functions of the form $1/Q$ where $Q$ is a symmetric multilinear polynomial. We review a number of such cases from the literature, chiefly concerned either with positivity of coefficients or diagonal asymptotics. We then analyze coefficient asymptotics using ACSV (Analytic Combinatorics in Several Variables) methods. While ACSV sometimes requires considerable overhead and geometric computation, in the case of symmetric multilinear rational functions there are some reductions that streamline the analysis. Our results include diagonal asymptotics across entire classes of functions, for example the general 3-variable case and the Gillis-Reznick-Zeilberger (GRZ) case, where the denominator in terms of elementary symmetric functions is $1 - e_1 + c e_d$ in any number $d$ of variables. The ACSV analysis also explains a discontinuous drop in exponential growth rate for the GRZ class at the parameter value $c = (d-1)^{d-1}$, previously observed for $d=4$ only by separately computing diagonal recurrences for critical and noncritical values of $c$.

研究动机与目标

• 通过 ACSV 方法扩展对称有理生成函数渐近分析。
• 解释在 $c = (d-1)^{d-1}$ 处，Gillis-Reznick-Zeilberger（GRZ）类中系数指数增长速率出现的不连续下降现象。
• 通过利用对称性与几何约化，简化并优化对称多重线性有理函数的 ACSV 计算。
• 为整个类提供对角渐近展开，包括一般三变量情形及 $d$ 变量下的 GRZ 家族。
• 通过系统化的分析框架，统一并推广先前关于正性和系数渐近结果的研究。

提出的方法

• 将 ACSV 应用于形式为 $F = 1/Q$ 的有理函数，其中 $Q$ 是 $d$ 个变量中的对称多重线性多项式。
• 通过在代数曲线 $\mathcal{V}(Q)$ 上的临界点分析，识别光滑点与多重点对系数渐近的贡献。
• 使用切锥变换 $z_d^2 - \sum_{j=1}^{d-1} z_j^2$ 分析奇点及积分路径的形变。
• 通过在最大化点 $\mathbf{x}_*$ 处的 Hessian 行列式与相位函数优化，计算主导渐近项。
• 通过残数理论与 $Q$ 的阿莫eba补集中的链构造，将积分路径在奇异点 $\mathbf{z}_*$ 的高度以下进行形变。
• 实现一个 Maple 过程 `smoothASM`，用于从 $Q$、$G$ 和临界点 $\mathbf{pt}$ 计算主导光滑渐近项。

实验结果

研究问题

• RQ1 对称有理函数 $1/Q$（其中 $Q$ 为多重线性）的对角系数 $\delta_n = a_{n,\dots,n}$ 的渐近行为是什么？
• RQ2 为何在 GRZ 家族 $1 - e_1 + c e_d$ 中，系数的指数增长速率在 $c = (d-1)^{d-1}$ 处出现不连续下降？
• RQ3 如何简化并自动化对称多重线性有理函数的 ACSV 方法？
• RQ4 阿莫eba 补集的结构是怎样的？它如何影响系数渐近？
• RQ5 能否通过 ACSV 与路径形变，严格解释 GRZ 情形中的空隙现象？

主要发现

• 在 $c = (d-1)^{d-1}$ 处，GRZ 家族中对角系数的指数增长速率出现不连续下降，ACSV 方法已对所有 $d \geq 4$ 予以验证。
• 当 $d \geq 4$ 且为偶数，且 $c = c_*$ 时，奇异点 $\mathbf{z}_* = (1/d, \dots, 1/d)$ 的重数为二，且是唯一模最小的根。
• ACSV 框架将该相变解释为根轨迹的拓扑变化：当 $c$ 超过 $c_*$ 时，二重根分裂为一对共轭根。
• 对称有理函数的对角生成函数 $\textsf{diag}_F(z)$ 是 D-有限的，并满足具有多项式系数的线性微分方程。
• 当 $c < c_*$ 时，渐近展开由单个光滑临界点主导；在 $c = c_*$ 处，奇点结构发生变化，导致不同的增长速率。
• 提供了 ACSV 算法的 Maple 实现，可自动计算主导光滑渐近项，利用 Hessian 与梯度数据。