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
제목: Lin의 분할 함수 유사물에 대한 합동식
저자: 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)은 짝수 부분이 두 가지 색상을 가질 수 있는 입방 분할 개념을 도입했다
- Kim은 초입방 분할 함수를 정의했다
- Lin (2013)은 특정 조건을 만족하는 분할 삼중쌍을 계산하는 제한 분할 함수 $b(n)$ 을 연구했다
연구 동기: Lin의 분할 함수 $b(n)$ 은 $\pi_1$ 이 서로 다른 홀수 부분으로 구성되고, $\pi_2$ 와 $\pi_3$ 가 4로 나누어지는 부분으로 구성되도록 요구한다. 본 논문에서 제안하는 $B(n)$ 은 그 유사물이지만, $\pi_1$ 과 $\pi_2$ 모두 서로 다른 홀수 부분으로 구성되도록 요구한다.

중요성

제한 분할 함수 이론의 확장
새로운 Ramanujan형 합동식의 확립
분할 함수의 산술적 성질 연구에 새로운 도구와 방법 제공

핵심 기여

새로운 분할 함수의 정의: 생성함수가 $\sum_{n=0}^{\infty} B(n)q^n = \frac{f_2^4}{f_1^2 f_4^3}$ 인 $B(n)$ 도입
기본 합동식의 확립: $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)$ 은 두 성분 모두 서로 다른 홀수 부분으로 구성되도록 요구하며, 이러한 대칭성은 새로운 수학적 구조를 가져온다
혼합 방법론: 초등 $q$ -급수 기법과 고급 모듈러 함수 이론의 교묘한 결합
알고리즘화된 증명: 복잡한 모듈러 함수 항등식 구성을 위해 컴퓨터 보조 Radu 알고리즘 사용