[論文レビュー] Dedekind sums: a combinatorial-geometric viewpoint

Matthias Beck, Sinai Robins|ArXiv.org|Dec 7, 2001

Advanced Mathematical Theories被引用数 3

ひとこと要約

この論文は、一般化されたデデキンド和を統一的な組合せ的幾何的枠組みとして導入し、それが有理多面体の格子点数え上げと分割関数において自然に現れることを示している。生成関数とバーヴィノクのアルゴリズムを用いて、固定次元におけるザギエの高次元デデキンド和が多項式時間で計算可能であることを証明し、古典的な双対性法則を一般化するとともに、数論的および幾何学的結果を統一している。

ABSTRACT

The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.

研究の動機と目的

• 有理多面体の格子点数え上げに根ざした、組合せ的幾何的枠組みを通じて、デデキンド和の多様な一般化を統一すること。
• フーリエ・デデキンド和が、正の整数の有限集合からの整数の分割関数の基本的構成要素として機能することを確立すること。
• デデキンド、ザギエ、ゲッセルの双対性法則を、格子点生成関数の幾何的性質として導出し、一般化すること。
• 固定次元において、ザギエの高次元デデキンド和が多項式時間で計算可能であることを証明し、重要な計算複雑性の問題を解決すること。

提案手法

• 単位根上の有限フーリエ級数としてフーリエ・デデキンド和を定義する：$\sigma_n(a_1,\dots,a_d;a_0) = \frac{1}{a_0}\sum_{\lambda^{a_0}=1} \frac{\lambda^n}{(1-\lambda^{a_1})\cdots(1-\lambda^{a_d})}$（特異項を除く）。
• 有理多面体の生成関数を用いて、整数分割の数を、フーリエ・デデキンド和から構成される準多項式として表現する。
• 有理生成関数に関するバーヴィノクの定理を適用し、固定次元において有理錐の生成関数が多項式時間で計算可能であることを示す。
• 生成関数の構造と双対性の下での挙動を分析することで、双対性法則を導出し、古典的結果を一般化する。
• 有理生成関数の仮想分解と次元に関する帰納法を用いて、高次元デデキンド和の多項式時間計算可能性を証明する。
• 文献[DR]の主要定理における有理型関数の留数を、正割関数の和に結びつけることで、ザギエの和が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化されたデデキンド和を、共通の組合せ的幾何的枠組みを通じて体系的に統一することは可能か？
• RQ2 フーリエ・デデキンド和は、どのようにして有理多面体内の格子点数え上げと整数分割関数において自然に現れるのか？
• RQ3 デデキンドおよびザギエの和に関する古典的双対性法則は、生成関数恒等式の幾何的帰結として導けるか？
• RQ4 固定次元において、ザギエの高次元デデキンド和は多項式時間で計算可能か？ もしそうであるなら、どのようなアルゴリズム的ツールがこれを可能にするか？
• RQ5 生成関数と仮想分解は、格子点数え上げおよび関連する数論的関数の複雑性の上限を確立するために果たす役割は何か？

主な発見

• フーリエ・デデキンド和は、バーニャート、カラーツ、グラスヴァルト、カーニー、ラデマッハー、ザギエの和を含む、一般化されたデデキンド和を統一的に扱う枠組みを提供する。
• 正の整数の有限集合からの $n$ の整数分割の数は、フーリエ・デデキンド和から構成される準多項式である。
• デデキンド、ザギエ、ゲッセルの双対性法則は、格子点生成関数恒等式の幾何的帰結として導出される。
• 固定次元において、ザギエの高次元デデキンド和はバーヴィノクのアルゴリズムと次元に関する帰納法を用いて多項式時間で計算可能であることが証明された。
• 有理錐の生成関数は、多項式時間で計算可能な係数を持つ有理関数への仮想分解を許容し、格子点数え上げの効率的計算を可能にする。
• 高次元デデキンド和を定義する和 $\sum_{k=1}^{a_0-1} \cot(\pi k a_1 / a_0) \cdots \cot(\pi k a_d / a_0)$ は、固定された $d$ に対して多項式時間で計算可能である。