[论文解读] The Riemann-Roch theorem for graphs and the rank in complete graphs

Robert Cori, Yvan Le Borgne|arXiv (Cornell University)|Aug 24, 2013

Advanced Combinatorial Mathematics参考文献 15被引用 10

一句话总结

本文提出了图的Riemann-Roch定理的组合算法证明，聚焦于完全图 $K_n$。它提出了一种线性时间算法来计算 $K_n$ 上配置的秩，定义了停车函数和Dyck路径上的新参数“前秩”（prerank），并表明对 $K_n$ 中已排序的停车配置，度数与秩的联合生成函数是涉及两个版本的Carlitz $q$-Catalan数的对称有理函数。

ABSTRACT

The paper by M. Baker and S. Norine in 2007 introduced a new parameter on configurations of graphs and gave a new result in the theory of graphs which has an algebraic geometry flavour. This result was called Riemann-Roch formula for graphs since it defines a combinatorial version of divisors and their ranks in terms of configuration on graphs. The so called chip firing game on graphs and the sandpile model in physics play a central role in this theory. In this paper we give a presentation of the theorem of Baker and Norine in purely combinatorial terms, which is more accessible and shorter than the original one. An algorithm for the determination of the rank of configurations is also given for the complete graph $K_n$. This algorithm has linear arithmetic complexity. The analysis of number of iterations in a less optimized version of this algorithm leads to an apparently new parameter which we call the prerank. This parameter and the classical area parameter provide an alternative description to some well known $q,t$-Catalan numbers. Restricted to a natural subset of configurations, the two natural statistics degree and rank in Riemann-Roch formula lead to a distribution which is described by a generating function which, up to a change of variables, is a symmetric fraction involving two copies of Carlitz q-analogue of the Catalan numbers.

研究动机与目标

• 提供对Baker-Norine图的Riemann-Roch定理的简化、纯粹组合的表述。
• 为完全图 $K_n$ 上配置的秩计算开发一种高效算法。
• 引入并分析停车函数与Dyck路径上的新组合参数“前秩”（prerank）。
• 刻画 $K_n$ 中已排序停车配置的度数与秩统计的联合生成函数。
• 建立度数与秩联合分布的对称有理生成函数，其涉及Carlitz $q$-Catalan数的两个副本。

提出的方法

• 使用芯片下落游戏与沙堆模型来定义下落操作和配置的等价类。
• 将燃烧算法适配以表征 $K_n$ 中的递归配置，将其与停车函数联系起来。
• 设计一种线性算术复杂度算法，通过迭代下落与剪枝操作来计算 $K_n$ 上配置的秩。
• 将“前秩”参数定义为秩算法非优化版本中的迭代次数。
• 使用双点切斜圆柱面与螺旋遍历方法来建模配置，并定义统计量 $vister$ 与 $unvini$。
• 通过叠加圆柱配置建立全局对合 $\Psi$，将 $lw(f)$ 与 $rw(f)$ 与 $vister$ 和 $unvini$ 关联起来。

实验结果

研究问题

• RQ1 能否仅使用组合方法重新证明图的Riemann-Roch定理，而无需代数几何？
• RQ2 在完全图 $K_n$ 上确定配置秩的计算复杂度是多少？
• RQ3 新参数“前秩”与Dyck路径和停车函数上已知统计量（如 dinv）有何关系？
• RQ4 在 $K_n$ 的已排序停车配置上，度数与秩的联合分布的生成函数是什么？
• RQ5 是否存在度数与秩生成函数的对称有理函数表示？

主要发现

• 开发了一种线性算术复杂度算法，用于计算完全图 $K_n$ 上任意配置的秩。
• “前秩”参数被引入为非优化秩算法版本中的迭代次数，且被证明是Dyck路径上的新统计量。
• 已排序停车配置中度数与秩的联合生成函数，经变量替换与缩放后，被证明是涉及两个Carlitz $q$-Catalan数副本的对称有理函数。
• 通过双点切斜圆柱面上的部分螺旋遍历定义的统计量 $vister(C_n[w], s, 0)$ 与 $unvini(C_n[w], s, 0)$，分别精确对应于 $\rho(f)+1$ 与 $\binom{n-1}{2} + \rho(f) - \deg(f)$。
• 对合 $\Psi(f) = \text{sort} \circ \text{park}(\kappa - f)$ 通过叠加圆柱配置被完全刻画，其中 $\Psi$ 交换 $vister$ 与 $unvini$ 统计量。
• 证明了对合 $\Psi$ 满足 $\Psi(cyltoconf(C_n[w], s, 0)) = cyltoconf(C_n[\Phi(w)], \text{lastright}(w) - 1 - s, 0)$，从而为秩与度数统计中的对偶性提供了全局几何描述。