[논문 리뷰] Schur's partition theorem and mixed mock modular forms

Kathrin Bringmann, Karl Mahlburg|arXiv (Cornell University)|2013. 07. 06.

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

한 줄 요약

이 논문은 스쿠어의 분할 정리, 혼합 모크 모듈라 형식, 그리고 확률 이론 사이의 깊은 연결을 확립하며, 스쿠어 유형 분할의 생성함수가 보편 모크 제타 함수에 의해 지배됨을 증명한다. 앤드류스의 모듈라성에 대한 추측을 해결하고, 라이트의 원주법을 통해 점점 커지는 부등식을 도출하며, 동시에 보편 모크 제타 함수가 무한 곱 확률 공간에서의 조건부 확률로 나타남을 보여준다.

ABSTRACT

We study families of partitions with gap conditions that were introduced by Schur and Andrews, and describe their fundamental connections to combinatorial q-series and automorphic forms. In particular, we show that the generating functions for these families naturally lead to deep identities for theta functions and Hickerson's universal mock theta function, which provides a very general answer to Andrews' Conjecture on the modularity of the Schur-type generating function. Furthermore, we also complete the second part of Andrews' speculation by determining the asymptotic behavior of these functions. In particular, we use Wright's Circle Method in order to prove families of asymptotic inequalities in the spirit of the Alder-Andrews Conjecture. As a final application, we prove the striking result that the universal mock theta function can be expressed as a conditional probability in a certain natural probability space with an infinite sequence of independent events.

연구 동기 및 목표

• 스쿠어 유형 생성함수의 모듈라성에 대한 앤드류스의 추측을 그들의 기초가 되는 자동형 형식을 식별하여 해결하는 것.
• 히커슨의 보편 모크 제타 함수에 대한 새로운 확률적 해석을 무한한 독립 사건의 열에서의 조건부 확률로 설정하는 것.
• 라이트의 원주법을 사용하여 앨더-앤드류스 추측의 정신에 따라 스쿠어 유형 분할 함수에 대한 점점 커지는 부등식을 도출하는 것.
• 테타 함수 항등식과 모크 모듈라 형식을 통해 조합적 $q$-급수 항등식과 자동형 형식을 통합하는 것.
• 분할 항등식의 고전적 증명을 $q$-차분 방정식과 확률적 조건화를 사용하여 새로운, 간결한 증명을 제공하는 것.

제안 방법

• 사건 $E_j$와 $F_j$에 대한 $q$-차분 방정식과 확률적 조건화를 사용하여 분할 생성함수의 재귀 관계를 유도한다.
• 분할 생성함수를 $q$-하이퍼기하급수와 연결하기 위해 재정규화된 생성함수 $h_{d,r}(x)$를 도입한다.
• 라이트의 원주법을 적용하여 생성함수 계수의 점점 커지는 전개를 유도함으로써, 앨더-앤드류스 추측과 일치하는 부등식을 도출한다.
• 무한 곱 항등식과 $q$-포흐하머 기호의 구조를 사용하여 $\mathscr{B}_{d,r}(q)$와 $\mathscr{E}_{d,r}(q)$를 모크 제타 함수와 연결한다.
• 무한 수열의 독립 사건에서의 확률 모델을 설정하여 $\mathbf{P}(\mathcal{U}_k) = h_{d,r}(q^{kd})$로 연결함으로써 분할 수세기와 조건부 확률을 연결한다.
• 보편 모크 제타 함수 $g_3(-q^r; q^d)$가 조건부 확률 $\mathbf{P}(F_r F_{d-r} F_d \mid U_{d,r})$와 같음을 증명함으로써 새로운 확률적 해석을 제공한다.

실험 결과

연구 질문

• RQ1 스쿠어 유형 분할의 생성함수는 모크 모듈라 형식과 타나 함수와 어떻게 관련이 있는가?
• RQ2 스쿠어 유형 생성함수의 모듈라성에 대한 앤드류스의 추측은 자동형 형식을 사용하여 증명될 수 있는가?
• RQ3 스쿠어 유형 분할 함수의 점점 커지는 행동은 어떠한가? 그리고 앨더-앤드류스 추측의 것과 유사한 부등식을 만족하는가?
• RQ4 보편 모크 제타 함수는 자연스러운 확률 공간에서의 조건부 확률로 해석될 수 있는가?
• RQ5 $q$-차분 방정식과 확률적 조건화는 고전적 분할 항등식의 새로운 증명을 어떻게 제공하는가?

주요 결과

• 간격 조건을 만족하는 분할의 생성함수 $\mathscr{B}_{d,r}(q)$가 $\pm r \pmod{d}$와 합동인 서로 다른 부분을 가지는 분할의 생성함수 $\mathscr{E}_{d,r}(q)$와 같음을 보여주며, 스쿠어의 항등식을 확인한다.
• 보편 모크 제타 함수 $g_3(-q^r; q^d)$가 자연스럽게 조건부 확률 $\mathbf{P}(F_r F_{d-r} F_d \mid U_{d,r})$로 나타나며, 새로운 확률적 해석을 제공한다.
• 생성함수 $h_{d,r}(x)$는 $\mathbf{P}(\mathcal{U}_k)$에 대한 재귀를 이끌어내는 $q$-차분 방정식을 만족하며, $\mathbf{P}(\mathcal{U}_k) = h_{d,r}(q^{kd})$이다.
• 라이트의 원주법을 사용하여 $B_{d,r}(n)$에 대한 점점 커지는 부등식을 도출함으로써, 앨더-앤드류스 추측에서 예측된 기대 성장 행동을 확인한다.
• 조건부 확률 $\mathbf{P}(U_{d,r} \mid V_{d,r})$는 생성함수의 비율로 표현되며, $f_{d,r}(1) / \big((1+q^r)(1+q^{d-r})(1+q^d)f_{d,r}(q^d)\big)$로 단순화되며, 모크 제타 항등식과 연결된다.
• 한계 $\mathcal{H}_k \to 1$ as $k \to \infty$는 $q$-차분 재귀의 해의 유일성을 보장하며, 확률 모델의 타당성을 검증한다.