[논문 리뷰] Partition Recurrences

Yuriy Choliy, Louis W. Kolitsch외 1명|arXiv (Cornell University)|2018. 11. 22.

Advanced Mathematical Identities참고 문헌 3인용 수 7

한 줄 요약

이 논문은 정사각수, 삼각수, 일반화된 다각수수(칠각수 및 팔각수)를 기반으로 하여 오일러의 고전적 재귀와 유사한 새로운 분할 재귀를 제시한다. overpartitions, 두 색상 분할, 그리고 서로 다른 홀수 부분 분할을 통해 p(n)에 대한 정확한 공식을 유도하며, 생성함수와 오목곱의 항등식을 통해 분할 함수와 모듈라 형식 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

We present some Euler-type recurrences for the partition function $p(n)$.

연구 동기 및 목표

• 분할 함수 p(n)에 대한 오일러의 고전적 재귀를 정사각수, 삼각수, 일반화된 다각수수를 기반으로 하는 새로운 재귀로 확장하는 것.
• 오일러의 오각수 재귀와 새로운 항등식 사이의 유사성을 탐색하며, 서로 다른 홀수 부분 분할과 overpartitions를 포함한다.
• 생성함수와 오목곱 항등식을 통해 분할 함수와 모듈라 형식 사이의 연결 고리를 수립하는 것.
• 다양한 분할 항등식을 동일한 프레임워크 아래 통합함으로써 오일러의 재귀에 더 넓은 이론적 맥락을 제공하는 것.

제안 방법

• 정사각수와 그 두 배를 사용하는 재귀를 유도하며, 계수는 (-1)^j의 부호 패턴에 의해 결정되며, p(n - j²)와 p(n - 2j²)의 합을 포함하는 생성함수를 도출한다.
• 생성함수 ψ(x) = ∑ x^{n(n+1)/2}와 φ(x) = 1 + 2∑ x^{j²}를 사용하여 분할 항등식을 모듈라 형식의 표현으로 나타낸다.
• 오목곱 항등식을 적용하여 overpartitions와 두 색상 분할의 생성함수를 모듈라 형식과 연결함으로써 새로운 재귀 항등식을 도출한다.
• 생성함수의 변환, 특히 짝수 및 홀수 거듭제곱 항목의 추출을 통해 짝수 및 홀수 n에 대한 분할 수를 분리한다.
• F(x) = ∑ (-1)^k x^{k(3k-1)/2}와 그 짝수/홀수 부분을 사용하여 p(n)과 overpartitions를 포함하는 항등식을 도출한다.
• 삼각수의 생성함수와 (1 - x^k)^{-1}, (1 - x^{4k})의 곱의 생성함수 사이의 2를 넘어서는 합동을 수립하여 p(n)에 대한 새로운 재귀를 도출한다.

실험 결과

연구 질문

• RQ1 오일러의 오각수 재귀는 정사각수와 삼각수를 기반으로 하여 새로운 분할 재귀로 일반화될 수 있는가?
• RQ2 일반화된 칠각수수와 팔각수수는 분할 함수 p(n)에 대한 새로운 항등식을 구성하는 데 어떤 역할을 하는가?
• RQ3 overpartitions와 두 색상 분할은 생성함수와 모듈라 형식을 통해 분할 함수와 어떻게 관련되어 있는가?
• RQ4 이러한 새로운 재귀의 계수들에 대한 정확한 조합적 해석은 무엇이며, 특히 서로 다른 홀수 부분 분할을 통해 어떻게 표현되는가?
• RQ5 오목곱 항등식과 같은 모듈라 항등식을 사용하여 p(n)에 대한 새로운 정확한 재귀를 도출할 수 있는가?

주요 결과

• 정리 1은 p(n - j²)와 p(n - 2j²)의 부호가 번갈아가는 합이 n 이면 0이고, n 이 짝수이면 qq(n)이 되며, qq(n)은 서로 다른 홀수 부분 분할의 수를 세는 것임을 증명한다.
• 정리 2는 2p(n - j²)의 부호가 번갈아가는 재귀를 제공하며, 결과적으로 (-1)^n qq(n)을 도출함으로써 분할 함수를 서로 다른 홀수 부분 분할과 직접 연결한다.
• 정리 3은 일반화된 칠각수수 j(5j±3)/2를 사용하며, 짝수 n에 대해 (n - r_i^e)/2와 (n - s_i^e)/2에서 p값의 차이의 합으로 p(n)을 표현하고, 홀수 n에 대해서도 유사한 표현을 제공한다.
• 정리 4는 일반화된 팔각수수 j(3j±2)/2를 삼각수와 연결하며, 짝수 n에 대해 (n - 3t_i^e)/2에서 p값의 합으로 재귀를 표현하고, 홀수 n에 대해 (n - 3t_i^o)/2에서 유사한 표현을 제공한다.
• 정리 5는 짝수 n에 대해 (n - t_i^e)/2와 홀수 n에 대해 (n - t_i^o)/2에서 두 색상 분할 함수 p₂의 합으로 p(n)을 표현하며, t_i^e와 t_i^o는 각각 짝수와 홀수 삼각수이다.
• 정리 7은 삼각수의 생성함수를 2로 나눈 나머지와 분할 생성함수 및 테타 급수의 곱이 합동임을 증명하며, 새로운 재귀 p(n) ≡ ∑_j p(n - 4π_j) mod 2를 도출한다. 여기서 π_j는 일반화된 오각수수이다.