[논문 리뷰] Restricted overpartitions and concave compositions: their modularity and asymptotics

Koustav Banerjee, Kathrin Bringmann외 1명|arXiv (Cornell University)|2026. 01. 07.

Advanced Mathematical Identities인용 수 0

한 줄 요약

논문은 restricted overpartitions와 concave compositions의 생성함수를 모듈러 forms, mock theta functions, 및 Maass theta functions와 연결하고, 이들의 점근 주요항과 랭크 통계를 도출한다.

ABSTRACT

In this paper we study restricted overpartitions and concave compositions. Using q-series transformations, we show that their generating functions are related to modular forms, mock theta functions, false theta functions, and mock Maass theta functions. Moreover, we obtain their asymptotic main terms. We also study related rank statistics.

연구 동기 및 목표

• restricted overpartitions와 concave compositions와 이들의 모듈러 객체와의 연결 연구를 동기부여한다.
• q-series 변환을 통해 restricted overpartitions와 concave compositions의 생성함수를 특징짓는다.
• 이 생성함수가 모듈러 형식, 모의 theta 함수, false theta 함수, 및 mock Maass theta 함수와 관련이 있음을 보인다.
• 카운팅 함수의 점근 주항을 도출하고 관련 랭크 통계를 조사한다.

제안 방법

• 생성함수의 표현을 유도하기 위해 q-시리즈 변환을 적용한다.
• 생성함수를 모듈러 형식, 모의 theta 함수, false theta 함수, 및 mock Maass theta 함수의 선형 결합으로 표현한다.
• Ingham 유형의 Tauberian 정리와 Euler–Maclaurin 합을 사용하여 점근을 얻는다.
• 생성함수를 통해 랭크 통계를 도입하고 알려진 랭크 관련 항등식을 활용하여 다룬다.
• 제한된 overpartition 생성함수를 분해하고 재구성하여 모듈러스-유사 구성요소를 드러낸다.

실험 결과

연구 질문

• RQ1 제한된 overpartitions와 concave compositions의 생성함수를 뒷받침하는 모듈러 또는 모의 모듈러 구조는 무엇인가?
• RQ2 이 제한된 객체들의 카운팅 함수의 점근 주항은 무엇인가?
• RQ3 이 제한된 객체들의 랭크 통계는 알려진 모듈러 또는 모의 모듈러 형태와 어떻게 관련되는가?
• RQ4 특정 매개값에서 생성함수를 혼합 모듈러 및 모의 모듈러 구성요소로 분해할 수 있는가?
• RQ5 이 구조들이 관련된 색상 partition 함수에 대한 시사점은 무엇인가?

주요 결과

• 제한된 overpartition 생성함수는 특정 제약 하에서 혼합 모의 Maass theta 함수와 false theta 함수의 곡선으로 표현된다.
• 홀수 제약을 가진 overpartition의 점근 주항은 p̄od(n) ~ (5π)/(48√2 n^{3/2}) e^{π√(5n/6)} as n → ∞로 주어진다.
• 짝수 제약을 가진 overpartition의 생성함수는 혼합 모듈러 형태이며, 점근적으로 p̄ev(n) ~ e^{π√(2n/3)}/(4√3 n)이다.
• Corollaries는 g(n)를 p(n)와 연결시키고 g(n) ~ e^{π√(2n/3)}/(4√3 n) as n → ∞임을 보인다.
• 다양한 특수한 생성함수들에 대한 혼합 모의 모듈러 형태를 확립하는 다수의 Corollaries가 있으며, q-도함수 및 이변 일반화도 포함된다.
• 랭크 생성함수와 알려진 모듈러/모의 객체(R2, φ, f, μ 등) 및 Ramanujan Corollary 1.12(2φ−f = Θ^2/(q)∞)와 같은 항등식들 사이의 연결이 제시된다.