[논문 리뷰] Dedekind sums: a combinatorial-geometric viewpoint

Matthias Beck, Sinai Robins|ArXiv.org|2001. 12. 07.

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$ 에 대해 다항시간 내에 계산 가능하다.