[论文解读] A note on the Borwein conjecture

Jiyou Li|arXiv (Cornell University)|Dec 3, 2015

Coding theory and cryptography参考文献 7被引用 5

一句话总结

该论文通过在模 $ 3n+3 $ 的子集和上使用组合计数与特征和技巧，证明了博尔韦因猜想的一个关键部分结果：对于任意 $ n $ 和 $ k $，系数和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ 为正，且渐近等于 $ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $，其中 $ 0 < c < 1 $。

ABSTRACT

A conjecture of Borwein asserts that for any positive integers $n$ and $k$, the coefficient $a_{3k}$ of $q^{3k}$ in the expansion of $\prod_{j=0}^n (1-q^{3j+1})(1-q^{3j+2})$ is nonnegative. In this paper we prove that for any $0 \leq k\leq n$, there is a constant $00.$$

研究动机与目标

• 研究博尔韦因猜想中关于 $ q^{3k} $ 系数的正性声明，针对有限乘积 $ \prod_{j=0}^n (1 - q^{3j+1})(1 - q^{3j+2}) $ 中的系数。
• 为系数和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ 建立一个非平凡的下界，证明其为正。
• 基于集合 $ D = \{1,2,4,5,\dots,3n+2\} $ 中大小为偶数和奇数且模 $ 3n+3 $ 和固定的子集计数，构建一个组合框架。
• 使用特征和方法与生成函数，估计大小为偶数和奇数的子集计数之间的差异。
• 提供一个定量估计，表明系数和渐近为 $ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $，从而确认大 $ n $ 时的正性。

提出的方法

• 定义 $ D = \{1,2,4,5,\dots,3n+1,3n+2\} $ 为小于 $ 3n+3 $ 且不被 3 整除的整数集合。
• 将系数表示为 $ a_j = C_e(j,n) - C_o(j,n) $，其中 $ C_e(j,n) $ 和 $ C_o(j,n) $ 分别表示 $ D $ 的和为 $ j $ 的偶数和奇数大小子集的计数。
• 使用函数 $ M(b) = \sum_{k \text{ even}} M(k,b,D) - \sum_{k \text{ odd}} M(k,b,D) $ 表示模 $ 3n+3 $ 下和为 $ b \in 3\mathbb{Z}_{3n+3} $ 的带符号子集计数和。
• 在 $ \mathbb{Z}_{3n+3} $ 上应用特征和技巧，将和分解为阶为 1、3 及更高阶特征的贡献。
• 利用 $ \phi(N)/N \leq 1 $ 控制非平凡特征的贡献，得到误差项 $ 2^{N/3} $ 和 $ 3^{N/6} $，其中 $ N = 3n+3 $。
• 导出渐近估计 $ |M(b) - \frac{2 \cdot 3^{N/3}}{N}| \leq 2^{N/3} + 3^{N/6} $，从而推出 $ M(b) = \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $，其中 $ c \in (0,1) $。

实验结果

研究问题

• RQ1 对于所有 $ n $ 和 $ k $，系数和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ 是否为正？
• RQ2 能否为有限乘积 $ \prod_{j=0}^n (1 - q^{3j+1})(1 - q^{3j+2}) $ 中满足 $ j \equiv 0 \pmod{3} $ 的系数和 $ a_j $ 建立一个非平凡下界？
• RQ3 对于固定的 $ k $ 且 $ n $ 增大时，系数和 $ a_{3k} $ 在指数的等差数列中的渐近行为如何？
• RQ4 能否使用特征和方法估计集合 $ D $ 中给定模 $ 3n+3 $ 和的偶数和奇数大小子集数量之间的差异？
• RQ5 系数和的正性是否意味着博尔韦因猜想在 $ n \to \infty $ 时对完整乘积成立？

主要发现

• 对于任意 $ 0 \leq k \leq n $，和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ 严格为正。
• 该和渐近等于 $ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $，其中某常数 $ c \in (0,1) $，证明了相对误差的指数衰减。
• 主项 $ \frac{2 \cdot 3^n}{n+1} $ 源于模 $ 3n+3 $ 下子集和的均匀分布，经由特征和分解进行校正。
• 估计中的误差项被限制为 $ 2^{(3n+3)/3} + 3^{(3n+3)/6} = 2^{n+1} + 3^{n/2 + 1/2} $，其指数增长速度远慢于主项。
• 该结果确认了博尔韦因猜想中关于系数和在等差数列上正性的声明，但未涉及单个系数的正性。
• 该方法为研究无限乘积展开中符号模式提供了新的组合与分析框架，超越了基于模形式的方法。