🔢 mathematics

Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

本文通过研究三角因子的简单零点并证明相关二次序列与整数保持正距离，无条件地证实了安德鲁斯关于函数 $v_1(q)$ 系数的第 5 和第 6 个猜想。

原作者： Mohamed El Bachraoui

发布于 2026-04-10

📖 1 分钟阅读🧠 深度阅读

原作者： Mohamed El Bachraoui

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文就像是在解开一个由数学天才安德鲁斯（Andrews）留下的神秘密码。为了让你轻松理解，我们可以把这篇论文的故事想象成一场“寻找数字规律”的探险。

1. 故事背景：混乱中的秩序

想象你有一串长长的数字序列（就像一串无限长的珍珠项链），这串数字叫做 $V_1(n)$ 。

安德鲁斯的观察：他发现这串数字的大小（绝对值）忽大忽小，看起来非常混乱，像过山车一样。但是，他敏锐地感觉到，在这些混乱中似乎隐藏着某种**“签名规律”**。
他的猜想：
- 猜想 3 & 4：大部分时候，数字会正负交替，或者成对出现。
- 猜想 5（核心任务）：安德鲁斯打赌说，虽然大部分时候很乱，但肯定存在无穷多个特殊的时刻，那里连续三个数字（比如第 $N$ 、 $N+1$ 、 $N+2$ 个）竟然全是正数或者全是负数（也就是“同号”）。而且，这三个数字中间那个，或者两头那个，往往是这一小段里的“最小值”（就像山谷底部的石头）。
- 猜想 6：这些特殊时刻出现的频率越来越高，数字也越来越大。

之前的数学家（Folsom 等人）已经证明了大部分规律，但留下了猜想 5 和 6作为最后的堡垒。这篇论文的作者Mohamed El Bachraoui就是来攻克这座堡垒的。

2. 核心工具：数学“望远镜”与“地图”

为了证明这些特殊时刻真的存在，作者没有去一个个数数字（因为数字无穷多，数不完），而是用了一个超级强大的**“数学望远镜”（也就是论文里的渐近公式**）。

望远镜的作用：它能把巨大的数字 $n$ 放大，让我们看清 $V_1(n)$ 背后的主要形状。
发现：作者发现，这串数字的跳动，其实是由两个东西控制的：
1. 一个爆炸式增长的引擎（ $e^{c\sqrt{n}}$ ），让数字变得越来越大。
2. 一个摇摆的钟摆（三角函数 $\cos$ 和 $\sin$ ），它决定了数字是正还是负。

关键点来了：
这个“钟摆”会在某些特定的位置停下来（变成 0）。如果数字 $n$ 刚好落在这些位置附近，数字就会变得很小（甚至接近 0）。作者的任务就是证明：这些“钟摆停下的位置”和整数 $n$ 之间，总是保持着一种微妙的距离，不会完全重合，也不会乱成一团。

3. 探险过程：寻找“安全岛”

作者把问题转化成了两个步骤：

第一步：证明“钟摆”不会乱撞（定理 3）

想象你在一个巨大的圆形跑道上跑步（代表数字 $n$ ），而“钟摆”的零点是跑道上的几个固定标记。
作者需要证明：无论你怎么跑，总有一些时刻，你离这些标记既不太近也不太远，而是保持在一个安全的距离上。

比喻：就像你在玩一个弹珠游戏，弹珠（数字 $n$ ）在轨道上滚动。作者证明了，虽然轨道很长，但总有一些特定的轨道段，弹珠永远不会滚进“陷阱”（整数陷阱），而是稳稳地停在安全区。
结果：他找到了无穷多个这样的“安全时刻”（集合 $M_-$ 和 $M_+$ ）。

第二步：在“安全岛”上验证猜想（定理 4 & 5）

一旦找到了这些“安全时刻”，作者就利用那个“数学望远镜”来观察：

现象：在这些安全时刻附近，那个“摇摆的钟摆”会让连续三个数字（ $N, N+1, N+2$ ）都指向同一个方向（全是正或全是负）。
山谷效应：同时，因为钟摆在这些点附近变化缓慢，两头的数字会比较大，而中间（或两头）的数字会突然变小，形成一个**“局部最小值”**（就像山谷底部）。
结论：这就完美证明了安德鲁斯的猜想！确实存在无穷多组这样的数字，它们不仅“手拉手”（同号），还乖乖地排成“山谷”形状。

4. 最后的拼图：从理论到现实

理论证明虽然完美，但安德鲁斯还列出了几个具体的数字（293, 410, 545, 702）。

作者在论文最后部分，像验算账本一样，直接计算了这些数字，确认它们确实符合规律。
然后，他把这些具体的“小例子”和前面证明的“无穷大规律”拼接在一起，形成了一条完整的证据链。

总结：这篇论文讲了什么？

简单来说，这篇论文就像是在说：

“大家别担心，虽然这串数字看起来乱得像一团乱麻，但安德鲁斯是对的！只要我们用正确的‘数学望远镜’去观察，就会发现这团乱麻里藏着无数个**‘整齐的小队’。这些小队里的三个数字总是同穿红衣或同穿黑衣**（同号），并且它们中间还藏着**‘矮个子’（局部最小值）。而且，这样的小队有无穷多个**，越往后越多。”

作者通过严密的逻辑和巧妙的数学工具，不仅证实了安德鲁斯的直觉，还揭示了这些数字背后隐藏的深层秩序。这就是数学的魅力：在看似混乱的表象下，永远存在着完美的规律。

这是一份关于 Mohamed El Bachraoui 论文《PROOFS FOR ANDREWS' CONJECTURES 5 AND 6 ON v1(q)》（关于 $v_1(q)$ 的 Andrews 猜想 5 和 6 的证明）的详细技术总结。

1. 研究背景与问题 (Problem)

本文旨在解决 Ramanujan 遗失笔记中一个著名的 $q$ -级数 $v_1(q)$ 的系数性质问题。该级数定义为：
$v_1(q) := \sum_{n \ge 0} \frac{q^{n(n+1)/2}}{(-q^2; q^2)_n} = \sum_{n \ge 0} V_1(n)q^n$
其中 $V_1(n)$ 是整数系数。

Andrews 在 1970 年代提出了关于 $V_1(n)$ 的六个猜想。Folsom, Males, Rolen 和 Storzer 在近期（2026 年之前的工作）已经证明了猜想 4（关于符号分布的密度为 1 的结论）以及猜想 3 的改进版本。

本文的核心目标是证明 Andrews 的猜想 5 和猜想 6：

猜想 5：存在一个无穷整数序列 $N_n$ （从 $N_5=293$ 开始），使得 $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ 具有相同的符号。
猜想 6：在上述序列中， $|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|$ 中包含一个局部极小值。

2. 方法论 (Methodology)

作者采用了一种结合渐近分析、数论和三角函数零点分布的无条件的（unconditional）证明方法。

2.1 渐近公式分析

基于 Folsom 等人的工作，作者利用 $V_1(n)$ 的渐近展开式：
$V_1(n) \approx (-1)^{\lfloor n/2 \rfloor} \frac{e^{c\sqrt{n}}}{\sqrt{n}} \left( \gamma_+ + (-1)^n \gamma_- \right) \left( \cos(c\sqrt{n}) - (-1)^n \sin(c\sqrt{n}) \right)$
其中 $c = \sqrt{2|V|}$ ， $V$ 与 Bloch-Wigner 二重对数函数有关。
作者将 $n$ 分为奇偶两种情况，定义了两个三角函数因子：

偶数 $n$ ： $F_-(x) = \cos x - \sin x$
奇数 $n$ ： $F_+(x) = \cos x + \sin x$

$V_1(n)$ 的符号主要由这些三角函数在 $x = c\sqrt{n}$ 处的值决定。

2.2 零点与二次序列的分布

$F_-(x)$ 和 $F_+(x)$ 的零点分别位于 $r_m = \pi(m + 1/4)$ 和 $s_m = \pi(m + 3/4)$ 。
为了找到 $V_1(n)$ 符号相同的连续三项，作者需要研究当 $c\sqrt{n}$ 接近这些零点时， $n$ 的取值行为。这转化为研究以下二次序列与整数的距离：
$P_-(m) = \alpha \left(m + \frac{1}{4}\right)^2, \quad P_+(m) = \alpha \left(m + \frac{3}{4}\right)^2$
其中 $\alpha = \pi^2/c^2$ 。

2.3 关键引理：距离正下界

作者证明了关键定理 3：存在正数 $\delta_-, \delta_+$ 和无穷集合 $M_-, M_+$ ，使得对于 $m \in M_-$ 和 $m \in M_+$ ，上述二次序列 $P_\pm(m)$ 与最近整数的距离始终大于 $\delta_\pm$ 。

证明思路：首先证明 $\alpha$ $α$ 不是整数（通过数值估算 $G = D(e^{i\pi/3})$ $G = D (e^{iπ /3})$ 的值）。
- 若 $\alpha$ 是无理数，根据 Weyl 等分布定理，序列模 1 均匀分布，必然存在远离整数的子序列。
- 若 $\alpha$ 是有理数，序列模 1 是周期的。由于 $\alpha$ 非整数，不可能所有项都是整数，因此存在非整数项，取这些项的最小距离作为 $\delta$ 。

2.4 局部极小值的构造

利用上述距离性质，作者构造了特定的整数序列 $N_m$ （偶数）和 $M_m$ （奇数），使得 $c\sqrt{N_m}$ 非常接近 $F_-$ 的零点 $r_m$ ，但又不重合。

通过泰勒展开和误差估计，证明在这些点附近， $V_1(n)$ 的主项（Main term）占主导地位。
利用三角函数的性质（在零点附近符号改变，且斜率非零），证明 $V_1(N_m), V_1(N_m+1), V_1(N_m+2)$ 的符号由主项决定，从而具有相同符号。
同时，由于 $N_m$ 和 $N_m+2$ 位于零点两侧且距离适中，而 $N_m+1$ 位于零点附近（导致三角函数值较小），从而使得 $|V_1(N_m+1)|$ 成为局部极小值（或者根据具体构造， $N_m$ 和 $N_m+2$ 本身是局部极小值，取决于具体的奇偶性分析，见下文结果）。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 定理 1 的证明

作者构造了一个满足特定增长条件（ $N_n > 10n^2$ ）的整数序列 $(N_n)_{n \ge 5}$ ，其中前四项为 $293, 410, 545, 702$。
结论：

对于序列中的每一个 $n$ ， $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ 具有相同的符号。
在 $|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|$ 这三个数中，至少有一个是序列 $|V_1(j)|$ 的严格局部极小值。

3.2 具体数值验证

文章通过直接计算验证了 Andrews 列出的初始值：

$N=293$ : $V_1(293)=4, V_1(294)=375, V_1(295)=9$ (均为正)。
$N=410$ : $V_1(410)=27, V_1(411)=473, V_1(412)=4$ (均为正)。
并验证了这些点附近的局部极小值性质。

3.3 理论突破

无条件证明：整个证明过程没有依赖任何未证明的假设（如黎曼猜想等），完全基于解析数论和渐近分析。
细化了符号规律：不仅证明了存在性，还给出了构造这些“同号三元组”的具体方法（基于二次序列与整数的距离）。
解决了长期猜想：彻底解决了 Andrews 关于 $v_1(q)$ 系数符号规律的最后两个未解猜想。

4. 论文结构概览

引言：介绍背景、Andrews 猜想及 Folsom 等人的前期工作。
定理 3 的证明：证明二次序列 $P_\pm(m)$ 与整数保持正距离，这是整个证明的基石。
辅助引理：建立 $N_m$ 与零点 $r_m$ 之间的几何关系及误差界限。
定理 4 的证明：针对偶数情况，证明存在同号三元组及局部极小值。
定理 5 的证明：针对奇数情况，重复类似的论证。
定理 1 的证明：结合初始数值计算和上述渐近理论，构造完整的序列 $N_n$ ，完成最终证明。

5. 意义 (Significance)

Ramanujan 遗失笔记研究的深化： $v_1(q)$ 是 Ramanujan 遗失笔记中极具神秘色彩的级数之一。理解其系数的精细结构（如符号规律和极值分布）对于揭示 Ramanujan 的直觉和现代模形式理论之间的联系至关重要。
解析数论方法的展示：本文展示了如何巧妙地将渐近分析（控制误差项）与丢番图逼近（控制零点位置）结合起来，解决组合数学中的符号问题。
对后续研究的启发：该方法论可能适用于其他具有类似振荡行为的 $q$ -级数系数，为研究更广泛的分区函数和 $q$ -恒等式提供了新的工具。

总结来说，这篇论文通过严谨的数学推导，确认了 $v_1(q)$ 系数在无穷远处存在具有特定符号规律和极值性质的子序列，圆满解决了 Andrews 提出的最后两个猜想。