Some new congruences and identities for $SOME(n)$, $DSOME(n)$, $\overline{SOME}(n)$ functions and analogues

技术摘要：关于 SOME(n)、DSOME(n) 及其类比的新同余关系与恒等式

问题陈述与背景
本文研究了由 Andrews 和 Dastidar (2026) 以及 Gireesh 和 Hemanthkumar 引入的与分拆相关的函数的算术性质。具体而言，研究重点在于：

• SOME(n)： 在正整数 $n$ 的所有普通分拆中，所有奇数部分之和减去所有偶数部分之和。
• DSOME(n)： 在 $n$ 的不同部分（distinct parts）分拆中计算的类似差值。
• $\overline{\text{SOME}}(n)$： SOME(n) 的过分拆（overpartition）类比。

虽然之前的研究已经建立了这些函数的生成函数以及模 4、5 和 2 的幂次的同余关系，但本文旨在推导新的恒等式，建立单调性结果，并将这些概念推广到任意分拆族和着色分拆（color partitions）。

方法论
作者采用了 $q$-级数和分拆分析的标准技术。关键的方法论工具包括：

• 生成函数： 利用标准符号（如 $(a; q)_\infty$ 和 $g_t = (q^t; q^t)_\infty$）对无穷乘积和级数进行操作。
• Ramanujan 级数函数： 利用 $\phi(q)$、$\psi(q)$ 和 $f(-q)$ 来转换和分析级数表示。
• 朗伯级数（Lambert Series）与除数和： 通过涉及 $\sigma(n)$（除数和）和 $r_k(n)$（表示为平方和的形式）的级数展开。
• 截断五边数定理： 应用 Andrews 和 Merca 的结果来证明单调性性质。
• 对数微分： 用于推导广义函数的生成函数。
• 莫比乌斯反演（Möbius Inversion）： 在着色分拆的背景下用于建立整除条件。

核心贡献与结果

1. SOME(n) 与 DSOME(n) 的恒等式与同余关系

• 新恒等式（定理 3.1）： 作者证明了一个将 SOME(n) 与分拆函数 $p(n)$ 和除数和 $\sigma(n)$ 联系起来的递推关系：
  $$\text{SOME}(n) + 4 \sum_{i=1}^{\lfloor n/2 \rfloor} p(n-2i)\sigma(i) = n p(n)$$
• 模 4 和 8 的同余关系（定理 3.2 与 3.3）： 确立了若 $n$ 是奇完全平方数，则 $\text{SOME}(n) \equiv 2 \pmod 4$（及 $\pmod 8$），否则为 $0$。
• 一般同余关系（定理 3.4）： 提供了一个涉及整数表示为平方和的形式之和的条件，使得 $\text{SOME}(n) \equiv 0 \pmod{2^{\alpha+2}}$。
• DSOME(n) 恒等式（定理 3.5 与 3.6）： 作者推导了一个涉及 $pd(n)$（不同部分分拆）和$\sigma(n)$的$\text{DSOME}(n)$显式公式，并利用欧拉五边数定理建立了$\text{DSOME}(n)$与$\text{SOME}(n)$ 之间的关系。

2. 单调性结果

• 定理 3.8 与 3.12： 利用截断五边数定理，作者证明了对于 $n \ge 2$，$\text{SOME}(n) \ge \text{SOME}(n-2)$。
• 推论： 这意味着序列 $\{\text{SOME}(2n)\}$ 和 $\{\text{SOME}(2n-1)\}$ 是单调递增的。因此，$n$ 的分拆中所有奇数部分的和大于或等于所有偶数部分的和。类似的单调性结果也被证明适用于过分拆类比 $\overline{\text{SOME}}(n)$。

3. 一般类比 $SP(n)$

• 定义： 本文定义 $SP(n)$为在任何任意分拆族$P(n)$ 中，（奇数部分 - 偶数部分）之和。
• 整除性质：
  • 定理 4.1： 对于 $n$ 的任何分拆 $\lambda$，奇偶部分之差满足 $\omega(\lambda) \equiv n \pmod 4$。
  • 定理 4.3 与 4.4： 作者根据部分数模 $L = \text{lcm}(2, k)$ 的特定余数计数，建立了 $SP(n) \equiv 0 \pmod k$ 的充要条件。具体而言，$SP(n) \equiv 0 \pmod 3$ 当且仅当模 6 同余于 1 或 2 的部分计数等于模 6 同余于 4 或 5 的部分计数。

4. 着色分拆类比 $S_c(n)$

• 定义： 本文引入了 $S_c(n)$，其中大小为 $j$ 的部分出现 $c_j$ 种不同的颜色。
• 生成函数（定理 5.1）： 使用对数微分法推导出了一个闭式生成函数。
• 整除条件（定理 5.2）： 证明了 $S_c(n) \equiv 0 \pmod k$ 的充要条件：当且仅当对于所有 $j \ge 1$，都有 $k$ 整除 $j c_j$。
• 推论： 推导出了针对模 3 和模 4 以及部分被限制为 $k$ 的倍数情况的具体整除规则。

意义与主张
本文声称通过以下方式扩展了分拆差函数的算术理论：

1. 提供将这些函数与经典分拆函数和除数函数联系起来的新恒等式。
2. 建立了单调性，这是此前未针对这些特定差函数强调过的性质。
3. 将框架推广到任意分拆族（$SP(n)$）和着色分拆（$S_c(n)$），从而将各种整除现象统一在一个单一的理论结构之下。
4. 证明了关于 2 的幂次及其他整数的特定同余关系，精炼了对这些函数算术行为的理解。

作者保持了适度的研究范围，严格专注于定义的数学结构内的理论推导与证明，并未提出实验性应用或超出定义的数学结构之外的未来扩展。