2025-11-19T11:01:14.364889

Congruences for an analogue of Lin's partition function

Guadalupe

We study certain arithmetic properties of an analogue $B(n)$ of Lin's restricted partition function that counts the number of partition triples $Ï=(Ï_1,Ï_2,Ï_3)$ of $n$ such that $Ï_1$ and $Ï_2$ comprise distinct odd parts and $Ï_3$ consists of parts divisible by $4$. With the help of elementary $q$-series techniques and modular functions, we establish Ramanujan-type congruences modulo $2,3,5,7$, and $9$ for certain sums involving $B(n)$.

academic

Lin の分割関数の類似物に対する合同式

基本情報

論文ID: 2510.13685
タイトル: Congruences for an analogue of Lin's partition function
著者: Russelle Guadalupe
分類: math.NT (数論)、math.CO (組合数学)
発表日時: 2025年10月15日
論文リンク: https://arxiv.org/abs/2510.13685

摘要

本論文は、Lin の制限分割関数の類似物 $B(n)$ の算術的性質を研究する。ここで $B(n)$ は、正整数 $n$ の分割三つ組 $\pi=(\pi_1,\pi_2,\pi_3)$ の個数を計算する関数であり、 $\pi_1$ と $\pi_2$ は異なる奇数部分から構成され、 $\pi_3$ は 4 で割り切れる部分から構成される。基本的な $q$ -級数技法とモジュラー関数の方法を用いることにより、 $B(n)$ の特定の和に関する法 $2, 3, 5, 7, 9$ に関する Ramanujan 型合同式を確立した。

研究背景と動機

問題背景

分割理論の基礎: 整数分割は数論と組合数学における古典的な研究対象であり、Ramanujan はこの分野で先駆的な貢献を行い、 $p(5n+4) \equiv 0 \pmod{5}$ などの著名な分割合同式を発見した。
制限分割関数の発展:
- Chan (2010) は立方分割の概念を導入し、その偶数部分は 2 種類の色を持つことができる
- Kim は超立方分割関数を定義した
- Lin (2013) は制限分割関数 $b(n)$ を研究し、特定の条件を満たす分割三つ組を計算した
研究動機: Lin の分割関数 $b(n)$ は $\pi_1$ が異なる奇数部分から構成され、 $\pi_2$ と $\pi_3$ が 4 で割り切れる部分から構成されることを要求する。本論文で提案される $B(n)$ はその類似物であるが、 $\pi_1$ と $\pi_2$ の両方が異なる奇数部分から構成されることを要求する。

重要性

制限分割関数理論の拡張
新しい Ramanujan 型合同式の確立
分割関数の算術的性質研究への新しいツールと方法の提供

核心的貢献

新しい分割関数の定義: $B(n)$ を導入し、その生成関数は $\sum_{n=0}^{\infty} B(n)q^n = \frac{f_2^4}{f_1^2 f_4^3}$ である
基本合同式の確立: $B(2n+1) \equiv 0 \pmod{2}$ 、 $B(5n+4) \equiv 0 \pmod{5}$ 、 $B(27n+16) \equiv 0 \pmod{3}$ を証明した
有限和の合同性質の発見: $B(n)$ を含む特定の有限和に対して、法 $3, 7, 9$ の合同式を確立した
方法論的貢献: 基本的な $q$ -級数技法、モジュラー関数理論、および Radu-Ramanujan-Kolberg アルゴリズムを組み合わせた

方法の詳細解説

問題設定

分割関数 $B(n)$ の算術的性質を研究する。ここで $B(n)$ は正整数 $n$ の分割三つ組 $\pi=(\pi_1,\pi_2,\pi_3)$ の個数を計算し、以下を満たす:

$\pi_1$ と $\pi_2$ は異なる奇数部分から構成される
$\pi_3$ は 4 で割り切れる部分から構成される

核心的技術方法

1. $q$ -級数技法

基本的な $q$ -級数恒等式と分解公式を使用:

Euler 恒等式: $f_1 = \sum_{k=-\infty}^{\infty} (-1)^k q^{k(3k+1)/2}$
$q$ -級数分解: 2-分解、3-分解などの技法
モジュラー演算: $\frac{f_{pk}^m}{} \equiv \frac{f_{pk-1}^{mp}}{} \pmod{p^k}$ を利用

2. モジュラー関数理論

Dedekind eta 関数 $\eta(\tau) = q^{1/24}f_1$ を使用
モジュラー群 $\Gamma_0(N)$ 上のモジュラー関数を構成
eta 商の性質を応用

3. Radu-Ramanujan-Kolberg アルゴリズム

Smoot の Mathematica パッケージ RaduRK を使用
モジュラー関数空間の基を構成
アルゴリズムにより生成関数の正確な形式を探索

技術的革新点

新しい分割関数の設計: Lin の $b(n)$ と比較して、 $B(n)$ は 2 つの成分が両方とも異なる奇数部分から構成されることを要求し、この対称性は新しい数学的構造をもたらす
混合方法論: 初等的な $q$ -級数技法と高度なモジュラー関数理論を巧みに結合
アルゴリズム的証明: コンピュータ支援の Radu アルゴリズムを使用して複雑なモジュラー関数恒等式を構成