[论文解读] Card deals, lattice paths, abelian words and combinatorial identities

David Callan|ArXiv.org|Dec 28, 2008

semigroups and automata theory参考文献 3被引用 3

一句话总结

本文通过使用错位型卡牌发牌、带标签的格路以及三字母字母表上的阿贝尓矩阵，为涉及弗兰内尔数和阿佩尔数的三类恒等式提供了组合解释。它建立了巴鲁坎卡牌发牌与阿贝尓矩阵之间的双射，并利用这些结构，对诸如 $\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}^2 = \sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}\sum_{j=0}^{k}\binom{k}{j}^3$ 的恒等式给出了直接的、组合的证明，将它们与格路和矩阵统计量联系起来。

ABSTRACT

We give combinatorial interpretations of several related identities associated with the names Barrucand, Strehl and Franel, including one for the Apery numbers. The combinatorial constructs employed are derangement-type card deals as introduced in a previous paper on Barrucand's identity, labeled lattice paths and, following a comment of Jeffrey Shallit, abelian words over a 3-letter alphabet.

研究动机与目标

• 通过构造性的组合模型，为与弗兰内尔数和阿佩尔数相关的恒等式提供组合解释。
• 在巴鲁坎 n 次发牌配置与 {1,2,3} 上的 2×n 阿贝尓矩阵之间建立双射，将其与阿贝尓平方联系起来。
• 通过三种等势的构造——卡牌发牌、格路和矩阵——统一恒等式 (3) 中的多个等价组合表达式。
• 为涉及二项式系数立方和与加权路径计数的恒等式提供直接的、双射的证明。
• 解决杰弗里·沙利特关于巴鲁坎型恒等式的阿贝尓词组合解释所提出的问题。

提出的方法

• 引入‘哈娜 n 次发牌’作为巴鲁坎错位型卡牌发牌的推广，其中三种颜色的卡牌被发牌，使得每位玩家都不收到自己的颜色。
• 定义带有 {1,2,3} 中标签的带标签格路，步长包括 U（上行）、D（下行）和 F（平移），并引入统计量 X（非 1 标签的匹配 UD 对）和 Y（标签 >2 的平移步）。
• 通过列类型编码卡牌分配与手牌所有权，建立巴鲁坎 n 次发牌与 2×n 阿贝尓矩阵（表示阿贝尓平方）之间的一一对应关系。
• 使用变换规则：U→UU，D→DD，F₁→UD，F₂→DU，将带标签路径映射为类似 Dyck 的路径，并可逆地反向映射，保持路径长度和步数不变。
• 应用 Chu–Vandermonde 恒等式，简化对统计量 X 和 Y 的求和，证明恒等式 (3) 中表达式的等价性。
• 对恒等式 (3) 中每一项进行组合解释：$\binom{n}{k}\binom{2k}{k}2^k$ 按红色手牌大小计数哈娜 n 次发牌，$\binom{n}{k}\binom{2n-k}{n}3^k$ 按 X+Y=k 计数，$\binom{n}{k}^2 4^k$ 按每行中 1 的数量计数，$\binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$ 按路径中上行步数计数。

实验结果

研究问题

• RQ1 巴鲁坎恒等式能否通过三字母字母表上的阿贝尓矩阵获得直接的组合解释？
• RQ2 弗兰内尔恒等式 $\sum_{k=0}^{n}\binom{n}{k}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{n}$ 能否通过卡牌发牌或格路获得组合解释？
• RQ3 多表达式恒等式 (3) 的组合意义是什么，它将四个涉及二项式系数和幂的不同求和式等价起来？
• RQ4 巴鲁坎 n 次发牌、具有特定统计量的带标签格路与 2×n 阿贝尓矩阵之间是否存在自然的双射？
• RQ5 巴鲁坎恒等式中的和 $\sum_{j=0}^{k}\binom{k}{j}^3$ 能否通过阿贝尓矩阵的列类型来解释？

主要发现

• 在巴鲁坎 n 次发牌与 {1,2,3} 上的 2×n 阿贝尓矩阵之间建立了双射，每个矩阵列类型对应一种特定的卡牌分配模式。
• 恒等式 $\sum_{k=0}^{n}\binom{n}{k}\sum_{j=0}^{k}\binom{k}{j}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{k}$ 被解释为通过两种不同统计量计数同一组阿贝尓矩阵：红色手牌中的总卡数与不同面值的数量。
• 和 $\binom{n}{k}\binom{2k}{k}2^k$ 计数红色手牌中有 k 张卡牌的哈娜 n 次发牌，其中 $2^k$ 因子源于从蓝色手牌中选择红色卡牌的方式。
• 表达式 $\binom{n}{k}\binom{2n-k}{n}3^k$ 计数 X+Y=k 的哈娜 n 次路径，其中 X 为非 1 标签匹配 UD 对的数量，Y 为标签 >2 的平移步数。
• 和 $\binom{n}{k}^2 4^k$ 计数每行中各有 n−k 个 1 的 2×n 阿贝尓矩阵，对应于红色手牌中有 n−k 种面值的哈娜 n 次发牌。
• 和 $\binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$ 计数恰好有 k 个上行步的哈娜 n 次路径，其中平移步有 5 种标签方式，倾斜步有 4 种标签方式。