[論文レビュー] Coefficientwise total positivity of some matrices defined by linear recurrences

Xi Chen, Bishal Deb+3 more|arXiv (Cornell University)|Dec 7, 2020

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

ひとこと要約

本稿では、線形再帰で定義される六パラメータの多項式からなる下三角行列を導入し、係数ごとの完全正則性であると予想されている。著者らは、特別なケース $\bm{T}(a,c,0,e,0,0)$ について係数ごとの完全正則性を証明し、逆順のスターリング部分三角形を一般化するものであり、オイラー数三角形やスターリング三角形などの組合せ行列における完全正則性を統一的に理解する枠組みを提供する。

ABSTRACT

We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the coefficientwise total positivity of $T(a,c,0,e,0,0)$, which includes the reversed Stirling subset triangle.

研究の動機と目的

• 線形再帰で定義される広範な組合せ行列のクラスについて、係数ごとの完全正則性を確立すること。
• 綺麗なオイラー数三角形と逆順のスターリング部分三角形を特別な場合として含む統一的枠組みを提供すること。
• より一般の予想の特別なケースを証明することで、長年の予想である綺麗なオイラー数三角形および逆順のスターリング部分三角形の完全正則性を解決すること。
• 係数順序による順序付けを用いて、多項式係数を持つ行列への完全正則性の概念を拡張すること。
• 構造的証明における完全正則性の根拠となる、集合分割と格子路の間の双対写像を証明すること。

提案手法

• 再帰式 $T(n,k) = [a(n-k)+c]T(n-1,k-1) + (dk+e)T(n-1,k) + [f(n-k)+g]T(n-1,k+1)$ を用いて、$\mathbb{Z}[a,c,d,e,f,g]$ の元を成分とする下三角行列 $\bm{T}(a,c,d,e,f,g)$ を定義する。初期条件は $T(0,k) = \delta_{k0}$ である。
• 係数ごとの完全正則性を導入する：多項式係数を持つ行列が、すべての小行列式が非負係数の多項式であるとき、係数ごとの完全正則性を満たすと定義する。
• 集合分割と格子路の間の組合せ的双対写像を用いて、$\bm{T}(a,c,0,e,0,0)$ が係数ごとの完全正則性を満たすことを証明する。
• $\Pi_{n+1,n-k+1}$（$n+1$ 個の要素からなる $n-k+1$ 個のブロックを持つ集合分割）から格子路 $\mathsf{P}_{n,k}$ への写像 $\Phi_{n,k}$ を構成し、要素の再帰的挿入によりそれが双対写像であることを示す。
• 要素の挿入順序とブロック構造に基づいて、パスワード $W(\pi)$ を定義し、$e_{i,l}, a_{i,0,l}, a_{i,j,l}$ という文字列を用いてブロックの挙動を表現する。
• パスワード $W(\pi)$ が有効な格子路に対応することを確認し、逆の構成が元の集合分割を回復できることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の六パラメータ行列 $\bm{T}(a,c,d,e,f,g)$ は係数ごとの完全正則性を満たすか？
• RQ2 $\bm{T}(a,c,0,e,0,0)$ の特別なケースは係数ごとの完全正則性を満たすか？そしてそれは組合せ的に証明可能か？
• RQ3 綺麗なオイラー数三角形と逆順のスターリング部分三角形は、この行列の特殊化として回復可能か？そして、それらの完全正則性が導かれるか？
• RQ4 このような行列の小行列式に、格子路と集合分割を用いた組合せ的解釈は存在するか？
• RQ5 集合分割と格子路の双対写像は、再帰的定義を持つ行列の広範なクラスにおける完全正則性の証明に利用可能か？

主な発見

• $\bm{T}(a,c,0,e,0,0)$ が係数ごとの完全正則性を満たすことが証明され、より広範な予想の重要な特別ケースが確立された。
• 綺麗なオイラー数三角形は $(a,c,d,e) = (1,1,1,1)$ の特殊化として回復され、逆順のスターリング部分三角形は $(a,c,d,e) = (1,0,0,1)$ の特殊化として回復され、両者とも証明された枠組みに含まれる。
• 集合分割と格子路の間の双対写像 $\Phi_{n,k}: \Pi_{n+1,n-k+1} \to \mathsf{P}_{n,k}$ が構成され、完全正則性の証明の根拠となっている。
• 各集合分割に対応するパスワード $W(\pi)$ が、格子路モデルにおける有効なパスに対応する明確な組合せ的条件を満たすことが示された。
• 証明は、ブロックごとに再帰的に要素を挿入するアルゴリズムに依存しており、ブロックの状態（完了済み／未完了）と要素の順序をパスワード $W(\pi)$ で追跡している。
• パスの文字列を特殊化することで（$e_{i,l} \to e$, $a_{i,0,l} \to c$, $a_{i,j,l} \to a$）、再帰式は $\bm{T}(a,c,0,e,0,0)$ と一致し、元の行列と整合することが確認された。