[論文レビュー] Sums of squares of Krawtchouk polynomials, Catalan numbers, and some algebras over the Boolean lattice

Philip Feinsilver|arXiv (Cornell University)|Mar 22, 2016

Advanced Algebra and Logic参考文献 1被引用数 4

ひとこと要約

本稿では、行列表現を用いてパrameter $ r = \frac{1-p}{p} $ でパrameter化された、Krawtchouk多項式の部分和の平方に関する一般恒等式を導出する。対称的ケース（$ r=1 $）では、Catalan数およびSuper Catalan数と関連する。主な貢献は、zeon代数を通じてブールラティス上の*-代数の次元とこれらの多項式和を結びつけることで、二項係数やCatalan数と関連する組合せ的構造を明らかにすることにある。

ABSTRACT

Writing the values of Krawtchouk polynomials as matrices, we consider weighted partial sums along columns. For the general case, we find an identity that, in the symmetric case yields a formula for such partial sums. Complete sums of squares along columns involve "Super Catalan" numbers. We look as well for particular values (matrix entries) involving the Catalan numbers. Properties considered and developed in this work are applied to calculations of various dimensions that describe the structure of some *-algebras over the Boolean lattice based on inclusion/superset relations expressed algebraically using zeons [zero-square elements].

研究の動機と目的

• 行列表現およびパrameter $ r = \frac{1-p}{p} $ を用いて、Krawtchouk多項式の部分和の平方に関する一般恒等式を導出すること。
• 対称的ケース（$ p = 1/2 $）において、Krawtchouk多項式の平方の完全和とSuper Catalan数との関係を調査すること。
• Krawtchouk行列の特定の行列要素がCatalan数に対応することを同定すること。
• 多項式恒等式を応用して、包含/包含関係に基づくブールラティス上の*-代数の次元を計算すること。
• Krawtchouk多項式の和と、二項係数、Catalan数、中心化子次元などの組合せ的不変量との関係を確立すること。

提案手法

• Krawtchouk多項式値 $ \phi^{N}_{nj} $ の行列表現を用い、列ごとの平方和を分析する。
• パスカル型の再帰的恒等式 (i) $ \phi^{N}_{nj} + \phi^{N}_{n-1j} = \phi^{N+1}_{nj} $ および (ii) $ \phi^{N}_{nj} - r\phi^{N}_{n-1j} = \phi^{N+1}_{nj+1} $ を適用し、和の恒等式を導出する。
• 重み付き平方Krawtchouk多項式の和を扱う主たる恒等式（定理3.1）を導出する。この恒等式には $ (N-2n)(\phi^{N}_{nj})^2 $、テレスコピング項、および $ r $ に依存する係数が含まれる。
• 一般恒等式を対称的ケース $ r=1 $ に特化し、二項係数およびCatalan数を含む評価が得られることを示す。
• Krawtchouk行列の恒等式を応用し、zeon代数の正則表現を通じて、ブールラティス上の*-代数の次元を計算する。
• 関係式 $ (\Phi^N)^2 = 2^N I $ および符号の対称性を用いて、代数の次数、次元、中心、中心化子次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 一般 $ r $ に対して、Krawtchouk多項式の平方の部分和を閉形式でどのように表現できるか。
• RQ2 対称的ケースにおいて、Krawtchouk多項式の平方の完全和とSuper Catalan数との関係は何か。
• RQ3 Krawtchouk行列のどの特定の要素がCatalan数に対応するか。
• RQ4 Krawtchouk多項式の恒等式は、ブールラティス上の*-代数の構造とどのように関係するか。
• RQ5 包含および包含関係を生成する演算子に基づく代数の中心、代数、中心化子の次元は何か。

主な発見

• 一般の平方和の恒等式（定理3.1）では、$ \sum_{n=0}^{m}(N-2n)(\phi^{N}_{nj})^2 $ が $ (N-j)(\phi^{N-1}_{mj})^2 $、$ rj(\phi^{N-1}_{mj-1})^2 $、および $ \sum_{n=0}^{m}(r(\phi^{N}_{nj-1})^2 + (\phi^{N}_{nj})^2) $ を含む補正項によって表される。
• 対称的ケース $ r=1 $ において、列に沿った平方の完全和は $ \sum_{n=0}^{N} (\Phi^{N}_{nj})^2 = \binom{2N}{N} $ となり、これはSuper Catalan数に一致する。
• Catalan数はKrawtchouk行列の特定の要素として現れる：$ \Phi^{N}_{11} = C_N $、ここで $ C_N $ は $ N $ 番目のCatalan数である。
• 包含演算子 $ U $ によって生成される代数では、次元は $ \delta = n+1 $、次数は $ 2^n $、中心化子次元は $ \zeta = \binom{2n}{n} $ である。
• $ T $ および $ T^* $ によって生成される代数では、次元は $ \delta = \binom{n+3}{3} $、中心の次元は $ 1 + \lfloor n/2 \rfloor $、中心化子次元は $ \zeta = C_n $、ここで $ C_n $ は $ n $ 番目のCatalan数である。
• $ TT^* $ および $ T^*T $ によって生成される代数では、次元 $ \delta $ は $ n $ が偶数のとき $ \frac{(n+2)^2}{4} $、奇数のとき $ \frac{(n+1)(n+3)}{4} $ であり、中心化子次元 $ \zeta $ は $ n $ が偶数のとき $ \binom{n}{n/2}^2 $、奇数のとき $ 2\binom{n}{\lfloor n/2\rfloor}\binom{n-1}{\lfloor n/2\rfloor} $ である。この結果は定理3.1により検証された。