[论文解读] Explicit and efficient formulas for the lattice point count in rational polygons using Dedekind-Rademacher sums

Matthias Beck, Sinai Robins|ArXiv.org|Nov 30, 2001

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

一句话总结

本文提出了二维有理多边形及其缩放图形中格点计数的显式、多项式时间可计算公式，以狄德金-拉德马赫和为基本构建模块。关键贡献在于将盖塞尔的广义狄德金和互惠律统一为拉德马赫的狄德金-拉德马赫和互惠定理的特例，从而可通过傅里叶级数和生成函数实现高效计算。

ABSTRACT

We give explicit, polynomial-time computable formulas for the number of integer points in any two-dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind-Rademacher sums, which are polynomial-time computable finite Fourier series. As a by-product we rederive a reciprocity law for these sums due to Gessel, which generalizes the reciprocity law for the classical Dedekind sums. In addition, our approach shows that Gessel's reciprocity law is a special case of the one for Dedekind-Rademacher sums, due to Rademacher.

研究动机与目标

• 开发二维有理多边形及其缩放图形中整数点数量的显式、多项式时间可计算公式。
• 弥合格点计数中优雅公式与计算效率之间的鸿沟，此前二者被视为独立的方法。
• 证明狄德金-拉德马赫和是此类公式的根本计算组件。
• 利用狄德金-拉德马赫和的框架，重新推导并统一已知的互惠律（特别是盖塞尔的），适用于广义狄德金和。
• 表明生成函数和傅里叶分析的完整结构对于揭示格点计数中底层的算术与组合对称性至关重要。

提出的方法

• 方法始于将有理多边形三角剖分为有理三角形，从而将问题简化为在直角有理三角形中计数格点。
• 基于留数定理的生成函数方法被用于推导矩形有理三角形中格点计数的闭式表达式。
• 锯齿函数 ((x)) = x − [x] − 1/2 被用于表达格点计数中的周期性修正，构成狄德金-拉德马赫和的基础。
• 狄德金-拉德马赫和定义为 σ(a,b,t) = ∑_{k=0}^{b−1} (( (ak+t)/b )) ((k/b))，其通过双项互惠律被证明为多项式时间可计算。
• 利用拉德马赫的狄德金-拉德马赫和互惠律，实现高效计算，类似于欧几里得算法。
• 利用和单位根之间的联系，导出涉及非平凡 p 次与 q 次单位根之和的替代表达式。

实验结果

研究问题

• RQ1 能否为二维有理多边形及其缩放图形中的格点数量构造出显式、多项式时间可计算的公式，同时兼具优雅性与高效性？
• RQ2 狄德金-拉德马赫和与经典及广义狄德金和之间有何关系？它们能否统一现有的互惠律？
• RQ3 基于留数定理的生成函数方法在多大程度上可用于推导有理三角形中格点计数的闭式表达式？
• RQ4 盖塞尔的广义狄德金和互惠律是否为拉德马赫更一般化的狄德金-拉德马赫和互惠定理的特例？
• RQ5 盖塞尔互惠律中参数 t 的整数性条件能否放宽至实数 t？这如何影响公式的结构？

主要发现

• 顶点位于 (a/d, b/d)、(0,0) 和 (r/e, 0) 的有理三角形内部格点数量，由包含狄德金-拉德马赫和与有理系数的公式给出。
• 对于由 x ≥ 0, y ≥ 0, px + qy < t 定义的直角有理三角形（p, q 互质），其内部格点计数 L(T°, t) 表示为具有有理系数和狄德金-拉德马赫和项的拟多项式。
• 狄德金-拉德马赫和的互惠律使得格点计数可多项式时间计算，从而使整个公式具有计算高效性。
• 盖塞尔的广义狄德金和互惠律被证明是拉德马赫更一般化狄德金-拉德马赫和互惠定理的特例。
• 推导出一个统一的互惠律，适用于 1 ≤ t ≤ p + q 范围内的实数 t，通过去除 t 的整数性约束，扩展了克努特与盖塞尔的结果。
• L(T°, t) 的公式中包含一项 ∑_{λ^p=1, λ≠1} λ^t / ((1−λ^q)(1−λ))，该表达式将格点计数与单位根及傅里叶分析联系起来。