[논문 리뷰] The Borwein conjectures over arithmetic progressions

Jiyou Li, Xiang Yu|arXiv (Cornell University)|2020. 05. 30.

Analytic Number Theory Research참고 문헌 4인용 수 1

한 줄 요약

이 논문은 Borwein 추측과 관련된 다항식 계수의 합에 대해 $2pn$을 모듈로로 하는 등차수열에서 개선된 점 渐차적 경계를 확립한다. 순환다항식 유사 곱의 해석적 기법을 사용하여, $p \mid b$일 때 $\left|\sum_{i\equiv b\pmod{2pn}} a_i - \frac{(p-1)p^{sn-1}}{2n}\right| \leq p^{sn/2}$ 와 같은 날것한 오차 추정을 증명하며, $p \nmid b$일 경우 음의 보정 항이 포함된 유사한 경계를 제시함으로써 Goswami와 Pantangi의 이전 작업을 개선한다.

ABSTRACT

We obtain asymptotic formulas for sums of coefficients over arithmetic progressions of polynomials related to the Borwein conjectures. Let $a_i$ denote the coefficient of $q^i$ in the polynomial $\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s$, where $p$ is an odd prime, and $n, s$ are positive integers. In this note, we prove that $$\Big|\sum_{i=b ext{mod} 2pn}a_i-\frac{(p-1)p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is divisible by $p$, and $$\Big|\sum_{i=b ext{mod} 2pn}a_i+\frac{p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is not divisible by $p$. This improves a recent result of Goswami and Pantangi.

연구 동기 및 목표

• 등차수열에서 Borwein 유형 다항식 계수의 합에 대한 기존 점 渐차적 추정을 개선하는 것.
• 다항식 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ 전개에서 계수의 분포를 $2pn$을 모듈로로 분석하는 것.
• 잔여류 $b$가 홀수 소수 $p$로 나누어떨어지는지 여부에 따라 달라지는 날것한 오차 경계를 설정하는 것.
• Goswami와 Pantangi가 최근 제시한 등차수열에서 계수 합에 관한 결과를 향상시키는 것.

제안 방법

• 분석은 홀수 소수 $p$와 양의 정수 $s, n$에 대해 다항식 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ 에 기반한다.
• 등차수열 $i \equiv b \pmod{2pn}$ 에서의 계수 합은 생성함수 및 지수합 기법을 사용하여 연구된다.
• 증명은 단위근의 성질과 캐릭터 합을 활용하여 $2pn$을 모듈로로 하는 특정 잔여류에 속하는 계수를 분리하는 데 사용된다.
• 지수합의 경계와 가우스 합 크기의 추정을 적용하여 오차 항을 통제한다.
• 핵심 부등식은 $b$ 가 $p$로 나누어떨어지는지 여부에 따라 경우를 나누어 유도되며, 이에 따라 다른 보정 항이 발생한다.
• 최종 경계는 기대 평균 계수 합과의 비교를 통해 확립되며, 오차는 최대 $p^{sn/2}$ 임을 보여준다.

실험 결과

연구 질문

• RQ1 등차수열에서 Borwein 유형 다항식 계수 합의 정밀한 점 渐차적 행동은 무엇인가? ($2pn$을 모듈로로)
• RQ2 이 계수 합의 오차 항은 잔여류 $b$ 가 소수 $p$로 나누어떨어지는지 여부에 따라 어떻게 달라지는가?
• RQ3 기존 결과보다 더 날것한 경계를 이론적으로 확립할 수 있는가? 이는 기대값에서의 계수 합의 편차에 대해.
• RQ4 지수 $s$ 는 이러한 계수 합의 성장과 분포에 어떤 역할을 하는가?
• RQ5 다항식 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ 의 대칭성은 $2pn$을 모듈로로 한 계수 분포에 어떤 영향을 미치는가?

주요 결과

• 만약 $b$ 가 $p$로 나누어떨어지면, $i \equiv b \pmod{2pn}$ 인 계수 $a_i$ 의 합은 $\left|\sum a_i - \frac{(p-1)p^{sn-1}}{2n}\right| \leq p^{sn/2}$ 를 만족한다.
• $b$ 가 $p$로 나누어떨어지지 않으면, 합은 $\left|\sum a_i + \frac{p^{sn-1}}{2n}\right| \leq p^{sn/2}$ 를 만족하며, 이는 음의 보정 항이 있음을 시사한다.
• 오차 경계는 $p^{sn/2}$ 로, $n$ 또는 $s$ 가 크면 주항목 $\frac{(p-1)p^{sn-1}}{2n}$ 에 비해 훨씬 작아 강한 집중을 나타낸다.
• Goswami와 Pantangi의 최근 경계를 개선하여 등차수열에서 계수 분포에 대한 더 엄밀한 통제를 가능하게 한다.
• $p \mid b$ 여부에 따른 경우의 구분은 다항식 계수 분포에 깊은 구조적 비대칭성을 드러낸다.
• 오차 항 $p^{sn/2}$ 는 추가적인 가정 없이 크게 줄일 수 없으며, 이는 경계가 날것한 것임을 의미한다.