[論文レビュー] 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

ひとこと要約

本稿では、2次元有理多角形およびその拡大における格子点の数を数える明示的で多項式時間で計算可能な公式を提示する。その根幹を成すのは、Dedekind–Rademacher和を用いたものであり、Gesselの一般化されたDedekind和に関する双対性法則が、Dedekind–Rademacher和に関するRademacherの双対性定理の特別な場合として統一的に導かれる。これにより、Fourier級数および母関数を用いた効率的な計算が可能になる。

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.

研究の動機と目的

• 2次元有理多角形およびその拡大における整数点の数を、明示的かつ多項式時間で計算可能な公式を開発すること。
• 従来、別々の手法として存在していた洗練された公式と計算効率の間の溝を埋めること。
• Dedekind–Rademacher和が、このような公式の基本的計算的構成要素であることを示すこと。
• Dedekind–Rademacher和の枠組みを用いて、既知の双対性法則（特にGesselのもの）を再導出し、統一すること。
• 生成関数とフーリエ解析の完全な構造が、格子点数え上げにおける基本的な算術的・組合せ的対称性を明らかにする上で不可欠であることを示すこと。

提案手法

• 方法は、有理多角形を有理三角形に三角形分割することで始め、問題を直角有理三角形における格子点数え上げに還元する。
• 留数定理に基づく母関数のアプローチを用い、長方形有理三角形における格子点数の閉形式表現を導出する。
• 周期的補正を表すために、床関数を用いた鋸歯関数 ((x)) = x − [x] − 1/2 が用いられ、これがDedekind–Rademacher和の基礎をなす。
• Dedekind–Rademacher和は σ(a,b,t) = ∑_{k=0}^{b−1} (( (ak+t)/b )) ((k/b)) として定義され、2項双対性法則により多項式時間で計算可能であることが示される。
• Rademacherが示したDedekind–Rademacher和の双対性法則が、ユークリッドの互除法に類似した効率的計算を可能にする。
• 和と単位根との関係が利用され、非自明なp乗根およびq乗根の和を含む別表現が得られる。

実験結果

リサーチクエスチョン

• RQ1 2次元有理多角形およびその拡大における格子点数を、洗練さと計算効率の両方を満たす明示的で多項式時間で計算可能な公式として構成可能か？
• RQ2 Dedekind–Rademacher和は、古典的および一般化されたDedekind和とどのように関係しており、既存の双対性法則を統一できるか？
• RQ3 留数定理に基づく生成関数法は、有理三角形における格子点数え上げの閉形式表現を導出するためにどの程度有効に用いられるか？
• RQ4 Gesselの一般化されたDedekind和に関する双対性法則は、Dedekind–Rademacher和に関するRademacherのより一般的な双対性定理の特別な場合か？
• RQ5 Gesselの双対性法則におけるパrameter t に対する整数条件を緩和し、実数 t を含めることが可能か。また、これにより公式の構造にどのような影響が生じるか？

主な発見

• 頂点が (a/d, b/d)、(0,0)、(r/e, 0) である有理三角形の内部に存在する格子点の数は、Dedekind–Rademacher和と有理数係数を含む公式で与えられる。
• x ≥ 0、y ≥ 0、px + qy < t を満たす直角有理三角形 T に対して、内部格子点数 L(T°, t) は、有理数係数の準多項式とDedekind–Rademacher和の項を含む形で表現される。
• Dedekind–Rademacher和の双対性法則により、格子点数の計算が多項式時間で可能となり、全公式が計算的に効率的であることが保証される。
• Gesselの一般化されたDedekind和に関する双対性法則が、Dedekind–Rademacher和に関するRademacherのより一般的な双対性定理の特別な場合であることが示された。
• 実数 t に対して 1 ≤ t ≤ p + q を満たす範囲で成り立つ統一された双対性法則が導出され、KnuthおよびGesselの結果を整数制約なしに拡張した。
• L(T°, t) の公式には、∑_{λ^p=1, λ≠1} λ^t / ((1−λ^q)(1−λ)) を含む項が含まれており、これは格子点数え上げと単位根、フーリエ解析を結びつける。