[论文解读] 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)$ 定义一个下三角矩阵 $\bm{T}(a,c,d,e,f,g)$，其条目属于 $\mathbb{Z}[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}$ 到格路 $\mathsf{P}_{n,k}$ 的映射 $\Phi_{n,k}$，通过递归地将元素插入块中证明其为双射。
• 基于元素插入顺序和块结构，定义路径词 $W(\pi)$，其中字母 $e_{i,l}, a_{i,0,l}, a_{i,j,l}$ 分别对应块的行为。
• 验证路径词满足确保其对应于格路模型中有效路径的条件，并且逆向构造可恢复原始划分。

实验结果

研究问题

• 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)$ 一致，确认了与原始矩阵的一致性。