中文

受限斯特林数与拉赫数矩阵及其逆矩阵

组合数学 2018-01-01 v2

摘要

给定 RNR \subseteq \mathbb{N},令 {nk}R{n \brace k}_R[nk]R{n \brack k}_RL(n,k)RL(n,k)_R 分别为将集合 [n][n] 划分为 kk 个非空子集、循环和列表的方式数,且每个块的元素个数属于 RR。我们分别称这些为 RR-受限第二类斯特林数、第一类斯特林数和 RR-受限拉赫数。注意经典的第二类斯特林数、第一类斯特林数和拉赫数分别为 {nk}={nk}N{n \brace k} = {n \brace k}_{\mathbb{N}}[nk]=[nk]N{n \brack k} = {n \brack k}_{\mathbb{N}}L(n,k)=L(n,k)NL(n,k) = L(n,k)_{\mathbb{N}}。矩阵 [{nk}]n,k1[{n \brace k}]_{n,k \geq 1}[[nk]]n,k1[{n \brack k}]_{n,k \geq 1}[L(n,k)]n,k1[L(n,k)]_{n,k \geq 1} 的逆矩阵分别为 [(1)nk[nk]]n,k1[(-1)^{n-k}{n \brack k}]_{n,k \geq 1}[(1)nk{nk}]n,k1[(-1)^{n-k} {n \brace k}]_{n,k \geq 1}[(1)nkL(n,k)]n,k1[(-1)^{n-k} L(n,k)]_{n,k \geq 1}。逆矩阵 [{nk}R]n,k11[{n \brace k}_R]^{-1}_{n,k \geq 1}[[nk]R]n,k11[{n \brack k}_R]^{-1}_{n,k \geq 1}[L(n,k)R]n,k11[L(n,k)_R]^{-1}_{n,k \geq 1} 存在当且仅当 1R1 \in R。我们将这些矩阵的每个元素表示为两个明确定义的有标森林族基数之差。特别地,[{nk}[r]]n,k11[{n \brace k}_{[r]}]^{-1}_{n,k \geq 1} 的元素具有组合解释,肯定地回答了 Choi、Long、Ng 和 Smith 在 2006 年提出的一个问题。如果 1,2R1,2 \in R 且对于所有属于 RR 的奇数 n3n \geq 3,我们有 n±1Rn \pm 1 \in R,我们进一步证明 [{nk}R]n,k11[{n \brace k}_R]^{-1}_{n,k \geq 1}[[nk]R]n,k11[{n \brack k}_R]^{-1}_{n,k \geq 1}[L(n,k)R]n,k11[L(n,k)_R]^{-1}_{n,k \geq 1} 的每个元素直至一个显式符号外都是单个明确定义的有标森林族的基数。我们的结果也为 Πn1,d\Pi_n^{1,d}(即 [n][n] 的划分偏序集,其每个部分大小同余于 11dd)的第一类和第二类惠特尼(Whitney)数的第 kk 个提供了组合解释。

关键词

引用

@article{arxiv.1610.05803,
  title  = {Restricted Stirling and Lah number matrices and their inverses},
  author = {John Engbers and David Galvin and Clifford Smyth},
  journal= {arXiv preprint arXiv:1610.05803},
  year   = {2018}
}

备注

This is a substantial revision of version 1, with more extensive results and unified proofs, as well as with new connections to certain Whitney numbers