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$ の相異なる部分による分割において計算される、同様の差。
• $\overline{\text{SOME}}(n)$: SOME(n) のオーバーパーティション（overpartition）による類似関数。

これまでの研究では、これらの関数の母関数および 4, 5, および 2 の冪乗に対する合同式が確立されているが、本論文は、新しい恒等式の導出、単調性の結果の確立、および任意の分割族や彩色分割へのこれらの概念の一般化を目的としている。

手法
著者らは、$q$ 級数および分割解析の標準的な手法を用いている。主要な手法的な道具は以下の通りである：

• 母関数: 無限積および級数の操作。$(a; q)_\infty$ や $g_t = (q^t; q^t)_\infty$ といった標準的な記法を利用する。
• ラマヌジャンのテータ関数: 級数表現を変換・分析するために $\phi(q), \psi(q), f(-q)$ を利用する。
• ランベルト級数と約数和: $\sigma(n)$（約数和）や $r_k(n)$（平方数の和としての表現数）を含む級数の展開。
• 切断された五角数定理: 単調性の性質を証明するために、AndrewsおよびMercaによる結果を適用する。
• 対数微分: 一般化された関数の母関数を導出するために使用する。
• メビウス反転: 彩色分割の文脈において、割り切れる条件を確立するために適用する。

主要な貢献と結果

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: 任意の分割 $\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$ であるための必要十分条件は、1 または 2 (mod 6) に合同な部分の個数が、4 または 5 (mod 6) に合同な部分の個数と等しいことである。

4. 彩色分割の類似関数 $S_c(n)$

• 定義: 本論文では、大きさ $j$ の部分が $c_j$ 個の異なる色を持つ分割に対する $S_c(n)$ を導入する。
• 母関数 (定理 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 の冪乗およびその他の整数を法とする特定の合同式を証明し、これらの関数の算術的挙動の理解を深めること。

著者らは、実験的な応用や定義された数学的構造を超えた将来の拡張を提案することなく、整数分割の領域内での純粋な理論的導出と証明に厳密に焦点を当てることで、控えめな範囲を維持している。