Reciprocals of Subsum Polynomials

技术摘要：子集和多项式的倒数

问题陈述
本文引入并研究了与整数分拆 $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_k)$ 相关联的“子集和多项式”。该多项式定义为 $sp(\lambda, x) = \prod_{i=1}^k (1 + x^{\lambda_i})$，它是那些其部分构成 $\lambda$ 子多重集的分拆数量的生成函数。研究的主要对象是有理函数 $sr(n, x)$，定义为所有整数$n$ 的分拆对应的这些多项式的倒数之和：
$$sr(n, x) = \sum_{\lambda \vdash n} \frac{1}{sp(\lambda, x)}$$
作者旨在理解该有理函数在化为最简形式时，其分子和分母的算术与组合性质。

方法论
作者采用了代数运算、数论分析和组合双射相结合的方法。

1. 因式分解与最大公约数分析：有理函数 $sr(n, x)$最初表示为两个多项式$num^(n, x)$和$den^(n, x)$的比值。为了简化该比值，作者定义$G(n, x)$ 为求和中各项分子的最大公约数（GCD）。他们利用分圆多项式的性质和整数的 2-进赋值，分析了 $G(n, x)$ 分解为 $(1+x^i)$ 形式项的过程。
2. 递归结构：本文建立了所得多项式的次数及其在特定点（单位根、整数）处取值的递归关系。
3. 组合分解：对于二进制分拆（即分拆为 2 的幂），作者利用特定的双射（例如，移除一个大小为 1 的部分，或将所有部分减半）来推导分子多项式系数的递推关系。
4. 在单位根处的求值：方法论的很大一部分涉及在单位根（$\zeta_{2d}$）处求值分子多项式，以确定其不可约性以及与分母的公因子。

主要贡献与结果

• 有理函数的结构：作者通过将 $num^*(n, x)$ 和 $den^*(n, x)$ 除以 $G(n, x)$ 定义了约化多项式 $num(n, x)$和$den(n, x)$。他们证明了$G(n, x)$、$num(n, x)$和$den(n, x)$均为回文多项式。此外，已证明$den(n, x)$和$G(n, x)$ 是单峰的。
• 次数与取值的显式公式：
  • $den(n, x)$的次数计算为$\sum_{i=1}^n s(i)$，其中$s(i)$ 是平面分拆相关的序列（OEIS A129527）。
  • 作者推导出了 $num(n, x)$和$den(n, x)$ 在特定点的精确值：
    • $num(n, -1) = n!$
    • $|num(n, \pm i)| = 2^{\lfloor n/2 \rfloor} \lfloor n/2 \rfloor!$
    • 提供了涉及阶乘和 3 的幂的显式公式，用于计算 $|num(n, \zeta_6)|$。
    • $x=1$ 处的值与阶乘的 2-进赋值及分拆函数 $P(n)$ 相关。
• 不可约性与互素性猜想：基于小 $n$ 的数值证据，作者提出了两个核心猜想：
  1. 对于所有 $n \geq 1$，$num(n, x)$ 在整数域上不可约。
  2. $\gcd(num(n, x), den(n, x)) = 1$。
     本文指出，第一个猜想蕴含第二个猜想。他们提供了部分结果，证明了对于某些 $n$ 的范围，特定的分圆因子不能整除分子。
• 二进制分拆：研究扩展到了二进制分拆（部分为 2 的幂）。对于这一受限集合，作者证明了分子的公约数是平凡的（$G_B(n, x) = 1$）。他们推导出了分子多项式 $num_B(2n, x)$ 的递推关系，并确立了关于其系数的性质，包括对数凹性和单峰性猜想。
• 推广：本文简要考虑了子集和多项式的幂之和 $\sum sp(\lambda, x)^m$，并将其与具有多种类型部分的分拆联系起来。

意义与主张
本文将自己定位为对分拆生成多项式倒数之和的算术性质的介绍。作者声称已确立了基础的算术性质，如回文性和单峰性，并提供了在单位根处的精确求值。

这项工作的意义在于识别了分拆理论、多项式因式分解和数论（特别是 2-进赋值和分圆多项式）之间的深刻联系。作者谦逊地将自己的工作表述为为未来的探索奠定基础，明确指出其关于不可约性和互素性的主张目前仅由数值证据和部分证明支持，而非一般性定理。最后，他们提出了关于受限分拆集合（奇分拆、三进制分拆）以及涉及上升和下降阶乘的推广方面的开放性问题，邀请对这些组合对象进行进一步研究。