[논문 리뷰] Congruences for Generalized Frobenius Partitions with an Arbitrarily Large Number of Colors

Frank Garvan, James A. Sellers|arXiv (Cornell University)|2013. 05. 26.

Advanced Mathematical Identities인용 수 11

한 줄 요약

이 논문은 앤드류스의 1984년 기념비적 저서에서 간과당한 생성함수 항등식을 활용하여, 임의로 큰 수의 색상 수 $k$를 가진 일반화된 프로베누스 분할 함수 $c\phi_k(n)$에 대해 무한한 수의 라마누잔 유사 합동식을 수립한다. 이 생성함수의 소수 모듈로에서의 모듈로 성질을 활용함으로써, 만약 작은 $k$에 대해 합동식이 성립한다면 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ 형태로 확장됨을 증명한다. 이는 매우 큰 $k$를 가진 합동식을 구성하는 데 기여한다. 주요 기여는 큰 $k$에 대해 이러한 합동식을 체계적으로 생성하는 첫 번째 방법을 제시한 데 있다. 이는 오랫동안 존재해온 문헌의 빈도를 메우는 바이다.

ABSTRACT

In his 1984 AMS Memoir, George Andrews defined the family of $k$--colored generalized Frobenius partition functions. These are denoted by $c\\phi_k(n)$ where $k\\geq 1$ is the number of colors in question. In that Memoir, Andrews proved (among many other things) that, for all $n\\geq 0,$ $c\\phi_2(5n+3) \\equiv 0\\pmod{5}.$ Soon after, many authors proved congruence properties for various $k$--colored generalized Frobenius partition functions, typically with a small number of colors. Work on Ramanujan--like congruence properties satisfied by the functions $c\\phi_k(n)$ continues, with recent works completed by Baruah and Sarmah as well as the author. Unfortunately, in all cases, the authors restrict their attention to small values of $k.$ This is often due to the difficulty in finding a "nice" representation of the generating function for $c\\phi_k(n)$ for large $k.$ Because of this, no Ramanujan--like congruences are known where $k$ is large. In this note, we rectify this situation by proving several infinite families of congruences for $c\\phi_k(n)$ where $k$ is allowed to grow arbitrarily large. The proof is truly elementary, relying on a generating function representation which appears in Andrews' Memoir but has gone relatively unnoticed.

연구 동기 및 목표

• 색상 수 $k$가 클 때 일반화된 프로베누스 분할 함수에 대해 알려진 라마누잔 유사 합동식이 부족한 문제를 해결하기 위해.
• 색상 수 $k$가 클 때 $c\phi_k(n)$에 대한 '좋은'(nice) 생성함수 표현을 찾는 데 어려움을 극복하기 위해.
• 고정된 소수 모듈로에서 임의로 큰 $k$를 가진 $c\phi_k(n)$에 대해 무한한 수의 합동식을 생성하는 일반적인 방법을 수립하기 위해.
• 작은 $k$에 대해 알려진 합동식이 생성함수의 모듈로 변환을 통해 임의로 큰 $k$로 확장될 수 있음을 보여주기 위해.

제안 방법

• 저자들은 앤드류스의 기념비적 저서에서 제시된 정리 2.1을 사용하여, $c\phi_k(n)$의 생성함수를 $\prod_{n=0}^{\infty}(1+zq^{n+1})^k(1+z^{-1}q^n)^k$에서의 상수항으로 표현한다.
• 소수 $p$에 대해 이항정리를 적용함으로써 생성함수를 $q^p$와 $c\phi_k(n)$의 원래 생성함수를 포함하는 곱으로 줄인다.
• 이 감소는 $q^{pn+r}$ 계수를 모듈로 $p$로 분석할 수 있게 하여 $c\phi_{pN+k}(pn+r)$의 행동을 $c\phi_k(pn+r)$와 연결한다.
• 핵심은 첫 번째 곱에서의 $q^p$-의존성이 $c\phi_{pN+k}(pn+r)$의 상수항 추출이 오직 $c\phi_k(pn+r)$의 모듈로 $p$ 행동에만 의존하도록 한다는 점이다.
• 핵심 아이디어는 $c\phi_k(pn+r) \equiv 0 \pmod{p}$ 이면 모든 $n$에 대해 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ 임을 의미한다.
• 복합 모듈로의 경우 중국인의 추론 정리를 사용하여 확장하여, 1155와 같은 복합수 모듈로의 합동식을 가능하게 한다.

실험 결과

연구 질문

• RQ1 색상 수 $k$가 임의로 클 때 일반화된 프로베누스 분할에 대해 라마누잔 유사 합동식을 확장할 수 있는가?
• RQ2 복잡한 생성함수 표현의 어려움을 극복하고 큰 $k$에 대해 이러한 합동식을 체계적으로 생성할 수 있는 방법이 있는가?
• RQ3 작은 $k$에 대해 알려진 합동식이 생성함수의 모듈로 산술을 통해 큰 $k$로의 무한한 수의 합동식으로 올릴 수 있는가?
• RQ4 앤드류스의 기념비적 저서에서 유래한 생성함수 항등식이 이러한 확장 가능성을 어떻게 가능하게 하는가?

주요 결과

• 논문은 $c\phi_k(pn+r) \equiv 0 \pmod{p}$ 이면 모든 $n \geq 0$에 대해 $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ 임을 증명하며, 이는 임의로 큰 $k$에 대해 무한한 합동식의 집합을 형성한다.
• 결론 2.3은 라마누잔의 5 모듈로 분할 합동식에서 유도된 바에 따라 $c\phi_{5N+1}(5n+4) \equiv 0 \pmod{5}$ 를 모든 $N, n \geq 0$에 대해 증명한다.
• 결론 2.4는 $k=2$에 대해 앤드류스의 결과를 바탕으로 $c\phi_{5N+2}(5n+3) \equiv 0 \pmod{5}$ 를 모든 $N, n \geq 0$에 대해 보여준다.
• 결론 2.5는 $k=3$에 대해 콜리치의 합동식을 사용하여 $c\phi_{3N}(3n+2) \equiv 0 \pmod{3}$ 를 모든 $N \geq 1$ 및 $n \geq 0$에 대해 증명한다.
• 결론 2.6은 중국인의 추론 정리를 통해 3, 5, 7, 11 모듈로 결과를 조합하여 $c\phi_{1155N+1002}(1155n+908) \equiv 0 \pmod{1155}$ 를 구성한다.