[論文レビュー] Multiple Sums and Partition Identities

Roudy El Haddad|arXiv (Cornell University)|Jan 25, 2021

Advanced Mathematical Identities参考文献 19被引用数 7

ひとこと要約

本稿では、厳密に増加するインデックスを持つ多重和（ネストされた和）を操作するための一般式を開発する。変動公式と還元定理を導入し、このような和を単純で再帰的でない和の組み合わせに表現する。主な貢献は、ベルヌーイ数、スターリング数、リーマンゼータ関数、二項係数に関連する既知の結果を統一的かつ一般化する分割恒等式群であり、多項式、多重ゼータ値、一般化された二項定理への応用を含む。

ABSTRACT

Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of partition identities that we use to prove a reduction theorem that expresses multiple sums as a combination of simple (non-recurrent) sums. We present a variety of applications including applications concerning polynomials and MZVs as well as a generalization of the binomial theorem. Finally, we establish the connection between multiple sums and a type of sums called recurrent sums. By exploiting this connection, we provide additional partition identities for odd and even partitions.

研究の動機と目的

• 一般の多重和（厳密に増加するインデックスを持つネストされた和）を体系的に操作するための手法を開発すること。これは、ヴィエトの公式 や多重ゼータ値といった古典的構造を一般化する。
• 多重調和級数 や多重ゼータ値といった特殊ケースについては広範な文献があるが、一般の多重和に対しては一般式が不足しているという問題に取り組む。
• ベルヌーイ数、第1種スターリング数、ゼータ関数に関連する既知の結果を統一的かつ拡張する分割恒等式を導出する。
• 先行研究における再帰的和との関係を確立し、奇数・偶数の分割に関する新しい恒等式を導出可能にする。
• ファウルハーバーの公式 や二項定理 といった古典的結果を、分割に基づく和への一般化によって多重和の文脈に拡張する。

提案手法

• 多重和の変動を、低次の多重和で表す変動公式を導入し、再帰的簡略化を可能にする。
• 任意の多重和を、分割恒等式を用いて単純（再帰的でない）和の線形結合として表現する還元定理を導出する。
• 整数分割上の母関数と組合せ恒等式を用いて、偶数分割および奇数分割の和の閉形式表現を導出する。
• 先行研究における再帰的和の結果を活用し、多重和と分割に基づく分解との構造的関係を確立する。
• 分割重み付き和を用いて、ベルヌーイ数、ゼータ関数、一般化された二項係数に関連する新しい恒等式を導出する。
• 母関数技法と符号に基づく分割の分割（偶数/奇数分割の和）を用いて、制限付き分割クラスの和の閉形式表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 多重和の変動を、低次の多重和で体系的にどのように表現できるか？
• RQ2 一般の多重和を単純で再帰的でない和の組み合わせに還元するための分割恒等式は何か？
• RQ3 多重和と再帰的和との関係をどのように形式化し、新たな恒等式の導出に活用できるか？
• RQ4 これらの恒等式がベルヌーイ数、ゼータ関数、一般化された二項定理といった古典的対象に与える影響は何か？
• RQ5 偶数分割および奇数分割のための分割恒等式は、多重和の構造からどのように導かれるのか？また、それらが新たな定理の導出を可能にするか？

主な発見

• 分割恒等式を用いて任意の多重和を単純和の線形結合として表現する還元定理を確立し、複雑なネスト構造の簡略化を可能にする。
• 偶数分割の和についての閉形式表現を導出：$\sum_{\sum i y_{k,i}=m, \sum y_{k,i} \text{ even}} \prod_{i=1}^{m} \frac{1}{(y_{k,i})!} \left(\frac{n}{i}\right)^{y_{k,i}} = \frac{1}{2}\left[\binom{n-m+1}{m} + (-1)^m \binom{n}{m}\right]$。
• 同様に、奇数分割の和についての閉形式表現を導出：$\sum_{\sum i y_{k,i}=m, \sum y_{k,i} \text{ odd}} \prod_{i=1}^{m} \frac{1}{(y_{k,i})!} \left(\frac{n}{i}\right)^{y_{k,i}} = \frac{1}{2}\left[\binom{n-m+1}{m} - (-1)^m \binom{n}{m}\right]$。
• 多重和と再帰的和との構造的関係を確立し、奇数・偶数分割に関する新たな分割恒等式の導出を可能にする。
• 分割に基づく和としての二項係数の新しい定義を導入し、分割重み付き和を用いて古典的二項係数を一般化する。
• 理論を応用してファウルハーバーの公式を一般化し、多項式の根と係数の関係を簡略化する。また、微分との関連も明らかにする。