[论文解读] The Borwein conjectures over arithmetic progressions

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

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近期关于算术级数中系数和的研究结果。

提出的方法

• 分析聚焦于多项式 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$，其中 $p$ 为奇素数，$s$ 与 $n$ 为正整数。
• 利用生成函数与指数和技巧，研究在算术级数 $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}$ 在无额外假设下无法被显著减小。