[论文解读] A combinatorial proof of Sun's "curious" identity

David Callan|ArXiv.org|Jan 18, 2004

Advanced Combinatorial Mathematics参考文献 2被引用 3

一句话总结

本文通过在多米诺骨牌与着色顶点的配置上使用权重反转对合，给出了赵-伟孙‘奇特’二项式恒等式的组合证明。通过将该恒等式建模为整数区间上的加权配置，并应用符号反转对合以消去大部分项，作者证明了等式两边均等于 $ (2m-k+1)2^k $，从而通过固定点配置的计数确立了该恒等式。

ABSTRACT

A binomial coefficient identity due to Zhi-Wei Sun is the subject of half a dozen recent papers that prove it by various analytic techniques and establish a generalization. Here we give a simple proof that uses weight-reversing involutions on suitable configurations involving dominos and colorings. With somewhat more work, the method extends to the generalization also.

研究动机与目标

• 提供孙的二项式恒等式的组合证明，避免使用分析方法，此前该恒等式已通过生成函数、WZ方法及其他分析技术证明。
• 将该证明方法推广至包含参数 $ z $ 的恒等式广义形式。
• 证明在权重反转对合下，固定点配置的数量恰好等于恒等式的闭式表达值。
• 通过基于多米诺骨牌铺砌与顶点着色的显式组合模型，统一并简化该恒等式的证明。

提出的方法

• 将恒等式左边建模为 $[2m+b-k]$ 上的加权配置，其中顶点由不重叠的多米诺骨牌覆盖或着黑色/白色，权重为 $ (-1)^{\#\text{dominos}} $。
• 定义一个活跃对为两个相邻顶点均处于多米诺骨牌范围内，且要么均被多米诺覆盖，要么依次为黑色后白色。
• 构造一个权重反转对合，交换多米诺骨牌与 BW 对，或反之，从而消去所有至少包含一个活跃对的配置。
• 识别出幸存的配置（即不动点）为：无多米诺骨牌，且多米诺骨牌范围内的所有黑色顶点均紧靠左侧，其余 $ k $ 个顶点可任意着色。
• 将此类不动点配置的数量计为 $ 2^k $，从而证明该恒等式在特例下的成立。
• 通过将多米诺骨牌替换为 $ (q+1) $-omino，并定义涉及 $ W^qB $ 字符串的类似 $ (q+1) $-元组，将该方法推广至广义恒等式（2）。

实验结果

研究问题

• RQ1 孙的‘奇特’二项式恒等式能否通过基于对合的消去法实现组合证明？
• RQ2 何种组合结构可建模恒等式中的各项，使得求和简化为简洁的闭式表达？
• RQ3 该证明方法如何推广以包含参数 $ z $，如在扩展恒等式中所示？
• RQ4 在对合下，不动点配置的组合解释是什么？

主要发现

• 通过在权重反转对合下对不动点配置进行计数，恒等式（1）左边的和等于 $ (2m-k+1)2^k $，与右边一致。
• 无活跃对的不动点配置数量恰好为 $ 2^k $，对应多米诺骨牌范围内所有黑色顶点均紧靠左侧，且最后 $ k $ 个顶点可任意着色。
• 对于广义恒等式（2），在扩展对合下的不动点配置数量为 $ q^{m-k}(1+q)^k $，与（5）中的闭式表达一致。
• 在特例 $ k = m $ 时，（6）右边的值为 $ m+1 $，对应 $ m+1 $ 个不动点配置，其矩阵表示中无下划线项。
• 对配置的矩阵表示实施的对合消去了所有带颜色项（下划线），仅留下 $ m+1 $ 个权重为 1 的不动点。
• 该方法成功地从多米诺骨牌推广至 $ (q+1) $-omino，同时保持了相同的消去与不动点计数机制。