[論文レビュー] Matrices related to the Pascal triangle

Roland Bacher|arXiv (Cornell University)|Sep 3, 2001

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

ひとこと要約

本稿では、パスカルの三角形および関連構造から得られる有限行列の行列式の決定要因を、再帰的関係および縮小法（condensation method）を用いて調査する。部分行列の二項係数からなる行列式はサイズに関して多項式的であることが示され、パスカル型の再帰関係に従い、線形再帰的境界条件を満たす行列の行列式についても、線形再帰的関係を満たすことが示されている。これは2階の再帰について証明されており、一般には予想されている。

ABSTRACT

The aim of this paper is to study determinants of matrices related to the Pascal triangle.

研究の動機と目的

• 無限のパスカルの三角形行列から抽出された有限部分行列の行列式を分析すること。
• 最初の行および列における線形再帰列が、関連する行列の行列式列に与える影響を調査すること。
• このような行列の行列式列が線形再帰的関係を満たすための条件を確立すること。
• 対角線に沿った周期的境界条件をもつ行列への一般化を試みること。
• 逆二項係数行列と行列式恒等式との関係を探索すること。

提案手法

• Dodgsonの恒等式に基づく縮小法を用いて、(i+j+k)! を要素とする行列の行列式を再帰的に計算する。
• 基本的な行および列の操作を適用して行列を変形し、行列式の計算を単純化する。
• 修正されたパスカル再帰を満たす一般化された行列構造を導入する：m_{i,j} = m_{i-1,j} + m_{i,j-1} + α_i β_j。
• 母関数および再帰的関係を用いて、幾何的および周期的境界列の行列式列を分析する。
• 特に、要素が x^{min(i,j)}(1+x)^{|i-j|} である行列について、数学的帰納法および対称性の議論を用いて行列式恒等式を証明する。
• 周期的行列に関する定理7.1を適用し、十分大きな n に対して行列式列が線形再帰的関係を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 パスカルの三角形の部分行列の行列式が、多項式的または線形再帰的関係を満たす条件は何か？
• RQ2 境界条件（最初の行および列）における線形再帰列が、パスカル型行列の行列式列に与える影響は何か？
• RQ3 対角線に沿った周期的境界条件をもつ行列の行列式列の構造は何か？
• RQ4 逆二項係数を含む行列の行列式に対して、閉形式の式を得ることは可能か？
• RQ5 縮小法は、この文脈における行列式恒等式の証明をどのように支援するか？

主な発見

• パスカルの三角形の n×n 部分行列 P_{s,t}(n) の行列式は、D_{s,t}(n) = ∏_{k=0}^{s-1} (n+k+t choose t) / (k+t choose t) で与えられ、n に関して次数 st の多項式である。
• m_{i,j} = m_{i-1,j} + m_{i,j-1} + α_i β_j を満たす行列で、α_i, β_j が幾何数列である場合、行列式は (α_0 β_0)^n に等しい。
• 境界列が幾何数列（γ_k = x^k）である場合、D_γ^{(1,1,1,1)}(n) の行列式は (-1 - x - x²)^{n-1} x^{n-1 choose 2} に等しい。
• 周期 p の境界列に対しては、十分大きな n に対して行列式列が次数 d の線形再帰的関係を満たす。
• 要素が m_{i,j} = a^{|i-j|} である行列の行列式は (1 - a²)^{n-1} に等しく、これは一般結果の特別な場合である。
• 要素が 1 / (i+j+s+t choose i+s) である逆二項係数行列の行列式は、d_{s,t}(n) = (-1)^{n choose 2} / ∏_{k=0}^{n-1} (2k+s+t choose k+s)(2k-1+s+t choose k) で与えられる。