2025-11-21T06:49:15.585717

Palindromicity of the numerator of a statistical generating function

Bourn, Erickson

We prove a conjecture of Bourn and Willenbring (2020) regarding the palindromicity and unimodality of a certain family of polynomials $N_n(t)$. These recursively defined polynomials arise as the numerators of generating functions in the context of the discrete one-dimensional earth mover's distance (EMD). The key to our proof is showing that the defining recursion can be viewed as describing sums of symmetric differences of pairs of Young diagrams; in this setting, palindromicity is equivalent to the preservation of the symmetric difference under the transposition of diagrams. We also observe a connection to recent work by Defant et al. (2024) on the Wiener index of minuscule lattices, which we reinterpret combinatorially to obtain explicit formulas for the coefficients of $N_n(t)$ and for the expected value of the discrete EMD.

academic

Palindromicity of the numerator of a statistical generating function

基本信息

论文ID: 2307.02652
标题: Palindromicity of the numerator of a statistical generating function
作者: Rebecca Bourn (University of Wisconsin–Milwaukee), William Q. Erickson (Baylor University)
分类: math.CO (Combinatorics)
发表时间: 2023年7月，最后修订于2025年10月14日
论文链接: https://arxiv.org/abs/2307.02652

摘要

本文证明了Bourn和Willenbring (2020)关于多项式族 $N_n(t)$ 的回文性和单峰性的一个猜想。这些递归定义的多项式作为离散一维Earth Mover距离(EMD)背景下生成函数的分子出现。证明的关键是表明定义递归可以被视为Young图对的对称差的和；在此设置下，回文性等价于对称差在图的转置下的保持性。作者还观察到与Defant等人(2024)关于微小格子Wiener指数工作的联系，通过组合重新解释获得了 $N_n(t)$ 系数和离散EMD期望值的显式公式。

研究背景与动机

问题背景

Earth Mover距离(EMD)：也称为第一Wasserstein距离，用于测量两个直方图（或概率分布）之间的距离，通过计算将一个分布转换为另一个分布所需的最小"工作量"。
统计生成函数：在概率统计中，生成函数是编码序列信息的重要工具，其分子多项式的性质往往具有深刻的组合意义。
Young图理论：Young图是组合数学中的基本对象，与分拆理论、表示论等密切相关。

研究动机

Bourn和Willenbring在2020年导出了EMD期望值的递归公式，并观察到生成函数分子 $N_n(t)$ 似乎具有回文性和单峰性
这一观察形成了一个猜想，需要严格的数学证明
理解这些多项式的结构对于EMD的统计性质具有重要意义

现有方法的局限性

原始的递归定义缺乏直观的组合解释
没有显式公式来计算多项式系数
缺乏与其他数学领域的联系

核心贡献

证明了主要猜想：完全证明了多项式 $N_n(t)$ 的回文性和单峰性
建立了组合解释：将递归关系重新解释为Young图对称差的和
发现了与微小格子的联系：连接到Defant等人关于Type A微小格子Wiener指数的工作
获得了显式公式：为 $N_n(t)$ 的系数和离散EMD的期望值提供了闭式表达式
解决了递归问题：完全解决了原始论文中EMD期望值的递归计算问题

方法详解

任务定义

证明对于所有正整数 $n$ ，多项式 $N_n(t)$ 同时具有：

回文性： $f(t) = t^d f(1/t)$ ，其中 $d$ 是多项式的总次数
单峰性：系数序列先单调递增后单调递减

核心方法架构

1. 对称差的组合解释

定义Young图的对称差： $\lambda \triangle \mu := (\lambda \cup \mu) \setminus (\lambda \cap \mu)$

引入记号： $S_\triangle(a,b|c,d) := \sum_{\lambda \in \text{Par}(a \times b), \mu \in \text{Par}(c \times d)} |\lambda \triangle \mu|$

2. 主要组合定理

定理3.1：递归定义的多项式 $N_{pq}(t)$ 具有显式表达式： $N_{pq}(t) = \sum_{k=1}^{\min\{p,q\}} S_\triangle(k, p-k | k, q-k) \cdot t^k$

3. 回文性证明策略

引理2.2： $S_\triangle(a,b|c,d) = S_\triangle(b,a|d,c)$

这一对称性直接导出回文性：当 $p=q=n$ 时， $t^k$ 的系数等于 $t^{n-k}$ 的系数。

4. 与微小格子的联系

利用Defant等人的结果： $d(P_{a,b}) = \frac{ab}{4a+4b+2} \binom{2a+2b+2}{2a+1}$

其中 $d(P_{a,b})$ 是 $a \times b$ 矩形中Young图偏序集的Wiener指数。

技术创新点

递归到组合的转换：将抽象的递归关系转化为具体的Young图对称差计算
跨领域连接：建立了EMD统计理论与代数组合学（微小格子）的桥梁
显式化：从递归定义跳跃到闭式公式，避免了复杂的递归计算

主要结果

定理1.1（主要结果）

对于所有正整数 $n$ ，多项式 $N_n(t)$ 既是回文的又是单峰的。

定理4.1（显式公式）

$N_n(t) = \frac{1}{4n+2} \sum_{k=1}^{n-1} k(n-k) \binom{2n+2}{2k+1} t^k$

定理4.3（EMD期望值）

设 $(\alpha, \beta) \in C(s,n) \times C(s,n)$ 均匀随机选择，则： $E[\text{EMD}(\alpha, \beta)] = \frac{s(n-1)}{4s+4n-2} \cdot \frac{\binom{2s+2n}{2s+1}}{\binom{s+n-1}{s}^2}$