[論文レビュー] Several generalizations and variations of Chu-Vandermonde identity

Romeo Meštrović|arXiv (Cornell University)|Jul 23, 2018

Advanced Combinatorial Mathematics参考文献 18被引用数 3

ひとこと要約

本稿は、複素数値離散確率変数のk階モーメント（k=1,2,3）に基づく確率的アプローチを用いて、古典的 Chu-Vandermonde 恒等式を一般化する。複素数の多重集合に関する和を含む新しい組合せ的恒等式を導出し、2つの新しい組合せ的合同式を確立し、二次形式およびエルミート行列恒等式を含む行列形式への拡張を実施する。これらの結果は、固定サイズmの確率的部分集合和のモーメント計算に裏打ちされている。

ABSTRACT

In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vandermonde-type identities, two combinatorial congruences are established.

研究の動機と目的

• 確率的モーメント解析を用いて、Chu-Vandermonde 恒等式を新しい組合せ的恒等式へと拡張すること。
• 固定サイズmの複素数の部分集合和の統計的性質を、離散的確率変数を用いて調査すること。
• そのような確率変数の1次、2次、3次モーメントに関する新しい恒等式を導出し、証明すること。
• 導出された恒等式を用いて、組合せ的合同式を確立すること。
• 実行列および複素行列を含む行列値設定への結果の一般化、特にエルミート転置を含むもの。

提案手法

• 複素数値離散確率変数 X(m,Φ_N) のk階モーメント（k=1,2,3）を確率的アプローチで計算する。ここで X(m,Φ_N) は、複素数の多重集合 Φ_N から無作為に選択されたm個の要素の和として定義される。
• 期待値の定義を適用し、無作為に抽出する際の非復元抽出を仮定して、E[X(m,Φ_N)]、E[|X(m,Φ_N)|²]、E[(X(m,Φ_N))³] の閉形式表現を導出する。
• 部分集合に関する対称和へのモーメント表現の等置により、多項係数および z_i のべき和を含む恒等式を導出する。
• スカラーを行列に置き換えることで、行列形式への拡張を実施。k₁A₁ + ... + kₛAₛ の3乗および関連する二次形式に関する恒等式を証明する。
• 線形性および組合せ的数え上げを用いて、恒等式を行列代数およびエルミート転置設定へ一般化する。
• 小規模なケースについて行列恒等式を検証し、先行研究からの数え上げ法を用いて一般妥当性を仮説立てる。

実験結果

リサーチクエスチョン

• RQ1 1次、2次、3次モーメントを用いた離散的複素数値確率変数のモーメント解析により、Chu-Vandermonde 恒等式をどのように一般化できるか。
• RQ2 固定サイズmの部分集合に関する対称和へのモーメント表現の等置から、どのような新しい組合せ的恒等式が導かれるか。
• RQ3 導出された恒等式を、特にエルミート転置および行列のべきを含む行列値設定に拡張できるか。
• RQ4 スカラーおよび行列係数を含む導出された恒等式から、どのような組合せ的合同式が導かれるか。
• RQ5 変数 z_i が複素数である場合と実数である場合の恒等式の挙動はどのように異なり、多項式環へ拡張可能か。

主な発見

• X(m,Φ_N) の1次モーメントは E[X(m,Φ_N)] = (m/N)∑z_i であり、多重集合から無作為に選択されたm個の要素の和の期待値を一般化する。
• 2次モーメントは E[|X(m,Φ_N)|²] = (m/(N(N-1)))((N−m)∑|z_i|² + (m−1)|∑z_i|²) であり、複素数 z_i に対して有効である。
• 実数 z_i の場合、3次モーメントは E[(X(m,Φ_N))³] = (m/(N(N−1)))((N+2−3m)∑z_i³ + 3(m−1)(∑z_i²)(∑z_i)) である。
• 新しい恒等式 (27) は、3次モーメントを重み付き和へ一般化する：多項係数を用いた ∑(k₁z₁+…+kₛzₛ)³ は、∑n_i z_i³ および (∑n_i z_i²)(∑n_i z_i) の線形結合として得られる。
• 行列恒等式 (28)、(29)、(30) は、M×N および N×N 行列へ結果を拡張し、行列のべきおよび積の重み付き和を二項係数および総和で表す。
• 線形性および多項式拡張により、複素数上でも恒等式が成り立ち、小規模なケースの検証に基づき、行列バージョンは一般に成立すると仮説されている。