结果族 006：Goldfeld’s conjecture: densities and mean analytic rank · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
一个班级若一半人得 0 分、一半人得 1 分，平均分是 0.5；可万一冒出一个考 100 分的天才，平均分就会被拉高。椭圆曲线的二次扭曲大家族也是如此：即便”秩 0 与秩 1 各占一半”，罕见的超高秩曲线会不会拖高平均？这篇论文证明：不会。全族的平均解析秩恰好是 @@M@@1/2@@，而且证明是无条件的——既不用黎曼假设，也不用 BSD 猜想。
关键词卡片
@@M@@d@@ 为参数的表亲曲线 @@M@@E^{(d)}@@；正负参数按绝对值一起计数。@@M@@R@@ 的曲线贡献的”总秩质量”不超过 @@M@@C_E/R@@——学霸再多也拉不动平均分的定量版本。@@M@@1/2@@ 都要附加假设才能得到。看个具体例子
主定理：@@M@@\dfrac{1}{\#\mathcal D(Y)}\sum_{d\in\mathcal D(Y)}a(E^{(d)})\to\dfrac12@@。推论更有画面感：把秩看成随机变量，它渐近地表现得像一枚公平硬币——一半取 0、一半取 1，于是
@@M@@D\frac1{\#\mathcal D(Y)}\sum_d e^{t\,r(E^{(d)})}\to\frac{1+e^t}{2},@@
这正是掷硬币的特征函数（代入 @@M@@t=1@@ 得 @@M@@(1+e)/2\approx1.86@@），代数秩的各阶矩平均也收敛到 @@M@@1/2@@ 的幂。图示如下：
为什么值得关心
@@M@@1/2@@ 正是随机矩阵理论预言的”基准线”，本文在标准计数约定下无条件抵达它，宣告高秩曲线虽然存在、却拖累不了统计。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”班级平均分”作比：一半人 0 分、一半人 1 分，平均 0.5，可一个满分天才就能拉高平均。换成半数学语言：对象是由整数参数生成的一族曲线，每个成员头上挂一个非负整数”秩”；已知取 0 与取 1 的成员各占一半，问题变成：极少数取大值的成员会不会贡献不可忽略的总量。
第二级台阶
精确化：固定椭圆曲线 @@M@@E@@，对每个无平方因子整数 @@M@@d@@ 有二次扭曲 @@M@@E^{(d)}@@，其解析秩 @@M@@a(E^{(d)})@@ 定义为它的 @@M@@L@@ 函数在中心点 @@M@@s=1@@ 处零点的阶数。把 @@M@@0<|d|\le Y@@ 的全体参数记为 @@M@@\mathcal D(Y)@@，平均解析秩就是这些 @@M@@a@@ 的算术平均。概率论里”尾部”指随机变量取大值的部分；这里”秩加权尾部和”衡量大秩成员携带的总秩量。
第三级台阶
定理一断言：对每条 @@M@@E@@——复乘、挠点、同源、约化类型一律不限——上述平均当 @@M@@Y\to\infty@@ 时恰为 @@M@@1/2@@。这条结论需要两块拼图：姊妹篇给出的”秩 0 与秩 1 各占密度一半”，加上本文独立证明的尾部估计——秩超过 @@M@@R@@ 的成员贡献的总秩量不超过常数倍的 @@M@@1/R@@。尾部估计挡住的正是”密度为零仍可拖累平均”这个麻烦；两块相加，罕见的高秩曲线在统计上彻底失去发言权，全程不假设黎曼假设或 BSD。
本文证明 Goldfeld 平均解析秩猜想：任一椭圆曲线 @@M@@E/\mathbb{Q}@@ 的二次扭曲在带符号平方自由参数、按绝对值计数下平均解析秩趋于 @@M@@1/2@@；证明无条件（不用广义黎曼假设与 BSD 猜想），核心新工具是导数阶随高度增长的一致尾部估计。
Goldfeld 在 1979 年猜想：固定椭圆曲线的二次扭曲（quadratic twist）族的平均中心零点阶应为 @@M@@1/2@@。”秩 0 与秩 1 各占密度 1/2”（本族姊妹篇的结果）并不自动给出平均——解析秩 @@M@@\ge2@@ 的扭曲虽然罕见，仍可能携带不可忽略的”秩质量”。此前的平均结果都是条件性的：Heath-Brown 在”所有扭曲都满足黎曼假设”的条件下得到光滑平均的上界 @@M@@3/2+o(1)@@；Fiorilli 在 GRH 加一个额外的非实零点平均相消假设下才得到精确的 @@M@@1/2@@，且限制在与导子互素的参数上。无条件的精确平均长期缺位，难点正在于控制那些罕见的大秩扭曲。
记 @@M@@a(E^{(d)})=\operatorname{ord}_{s=1}L(E^{(d)},s)@@（解析秩 analytic rank），@@M@@\mathcal D(Y)=\{d\in\mathbb Z:0<|d|\le Y,\ d\ \text{平方自由}\}@@，正负参数一起计数。
定理一（平均秩）：对每条 @@M@@E/\mathbb Q@@，
@@M@@D\lim_{Y\to\infty}\frac{1}{\#\mathcal D(Y)}\sum_{d\in\mathcal D(Y)}a(E^{(d)})=\frac12 .@@
对复乘、有理挠、有理同源、约化类型均无限制。
定理二（秩加权尾部估计）：存在 @@M@@C_E>0@@ 与整数 @@M@@R_E\ge1@@，使对每个 @@M@@R\ge R_E@@，
@@M@@D\limsup_{Y\to\infty}\frac1Y\sum_{\substack{d\in\mathcal D(Y)\\a(E^{(d)})>R}}a(E^{(d)})\le\frac{C_E}{R}.@@
这是本文的关键新断言，其证明独立于姊妹篇的密度定理。
推论（代数秩的矩）：固定实数 @@M@@t@@，@@M@@\frac1{\#\mathcal D(Y)}\sum_d e^{t\,r(E^{(d)})}\to\frac{1+e^t}2@@；固定正整数 @@M@@m@@，平均 @@M@@\frac1{\#\mathcal D(Y)}\sum_d r(E^{(d)})^m\to\frac12@@，其中 @@M@@r@@ 是 Mordell–Weil 秩。这用姊妹篇的密度结论、密度 1 处的秩相等，以及 Koymans–Smith 的指数矩界。
先化归：把任意平方自由参数的扭曲归结到有限辅助族 @@M@@\mathcal F@@（由 @@M@@E@@ 对 @@M@@2q_E@@ 中素数的平方自由扭转生成）上满足 @@M@@d\equiv1\pmod4@@、与 @@M@@2q_E@@ 互素的”可容许”参数，且有精确导子公式 @@M@@q_{F^{(d)}}=q_Fd^2@@ 与系数界 @@M@@|\lambda_F(n)|\le\tau(n)@@。
反证的起点是一个精确恒等式：若 @@M@@a(F^{(d)})>k@@ 且函数方程符号 @@M@@\epsilon_d=(-1)^k@@，则由 Mellin 逆变换与围道位移可得加权狄利克雷级数
@@M@@D\sum_{n\ge1}\frac{\lambda(n)\chi_d(n)}{\sqrt n}\,W_{k,d/X}\!\Big(\frac{\log n}{\ell}\Big)=0,@@
其中 @@M@@\ell=\log X@@，权 @@M@@W@@ 是截断对数的 @@M@@k@@ 次幂经指数平滑而来（@@M@@(1-u+\log(C_F|x|v)/\ell)_+^k@@）。要证的是：对绝大多数 @@M@@d@@，这个和其实非零。先用光滑截断把级数按 @@M@@u=\log n/\ell@@ 分成首段、约 @@M@@\log\ell@@ 个二进短段与末端级数；近似 @@M@@(1-u)^k\approx e^{-ku}@@ 表明把 @@M@@L@@ 右移 @@M@@s=k/\ell@@ 后首段接近正主项 @@M@@A_x=(C_F|x|)^s\Gamma(1+s)@@，于是对首段乘以短磨光子 @@M@@H_j@@（按素数块截断的逆 Euler 积，Radziwiłł–Soundararajan 式构造），各短段用更短的磨光子，末端不加磨光。
难点在于让所有估计对大到 @@M@@(\log X)^{3/5}@@ 的 @@M@@k@@ 一致成立，这需要两个一致性输入。其一是无磨光二阶矩只损失 @@M@@\log@@ 的幂：对扭曲高度做归纳，用 Poisson 求和、精确的规范化 Gauss 和公式与二变量 Euler 分解，把非零频率化成扭曲 @@M@@L@@ 函数之积 @@M@@L_{F^{(\nu h_1)}}(s_1)L_{F^{(\nu h_1)}}(s_2)@@ 乘有界修正；关键技巧是素数平方膨胀——把 @@M@@d@@ 换成 @@M@@dp^2@@（@@M@@p@@ 取 @@M@@\log@@ 的充分大固定幂），使对偶参数不超过当前高度的一半，归纳得以闭合。其二是独立模型均方界：把奇素数上的特征值换成独立随机变量 @@M@@Z(p)@@（取 @@M@@0@@ 概率 @@M@@1/p@@、取 @@M@@\pm1@@ 概率各 @@M@@(1-1/p)/2@@），在整个概率空间上证明磨光后各段的均方界，再用 Poisson 比较把模型界搬到整数平均；”好事件”命题在除 @@M@@O(X/k^2)@@ 个参数外同时给出 @@M@@1/2\le H_jP_j^{\rm eu}\le2@@ 与 @@M@@P_j^{\rm eu}\le2^{jk/8}P_0^{\rm eu}@@（@@M@@P_j^{\rm eu}@@ 为正 Euler 积）。
组装时，Chebyshev 不等式与几何求和把各例外集并成 @@M@@O(X/k^2)@@；在好事件上首段被 @@M@@P_0^{\rm eu}@@ 的正常数倍控制下界，而其余各段与末端合计更小，故整个加权和非零——与恒等式矛盾。于是 @@M@@\#\{d:a(F^{(d)})>k,\ \epsilon_d=(-1)^k\}\ll X/k^2@@ 对 @@M@@k\le(\log X)^{3/5}@@ 一致成立；另一符号在 @@M@@k-1@@ 处处理。最后从计数到均值：导子一致的 Jensen 公式给逐点界 @@M@@a\ll_E\log X@@，对整数尾部求和得 @@M@@\sum_{a>R}a\ll_E X/R+X(\log X)^{-1/5}@@，再按二进区间分解。均值推导只用初等平方自由筛 @@M@@\#\mathcal D(Y)=2Y/\zeta(2)+O(\sqrt Y)@@：姊妹篇的密度定理使秩 @@M@@\ge2@@ 的参数只有 @@M@@o(Y)@@ 个，固定 @@M@@R@@ 时秩 2 到 @@M@@R@@ 贡献 @@M@@o(Y)@@，秩超过 @@M@@R@@ 的贡献由尾部估计压到 @@M@@C_E/R@@，令 @@M@@R\to\infty@@ 即得总和为 @@M@@N_1(Y)+o_E(Y)@@，除以 @@M@@\#\mathcal D(Y)@@ 就是 @@M@@1/2@@。
本篇主结果未经 Lean 形式化；OpenAI 官方声明：未经形式化的结果可能存在问题，请以社区核验为准。它与姊妹篇（解析密度猜想）互相支撑：本文只以姊妹篇的密度定理为输入，姊妹篇则需本文的尾部估计才能从”各占一半”过渡到”平均为 @@M@@1/2@@“。证明不使用 BSD 猜想或 GRH；文中还特别声明不采用 Hanners 声称的完整 BSD 证明，理由是其桥梁条件尚未对每条曲线建立。部分技术估计（素数块磨光、Poisson 比较）此处从略。
问 1：整个证明最关键、也最脆弱的一步在哪里？
（答：让所有估计对随高度增长的导数阶 @@M@@k@@ 一致成立，直至 @@M@@k=(\log X)^{3/5}@@——tail 节的 Proposition 给出超过 @@M@@k@@ 秩的计数 @@M@@O_E(X/k^2)@@。这依赖两个一致性输入：无磨光二阶矩只损失对数幂（Poisson 求和加素数平方膨胀），以及独立随机模型的均方界经比较命题搬到整数平均。任一处一致常数失控，尾部估计即崩塌。）
问 2：为什么不直接处理 Goldfeld 原始判别式排序下的平均？
（答：论文明确把定理限定在带符号无平方因子参数按绝对值计数的约定下（引言 History 小节），并说明 Goldfeld 1979 年 Conjecture (B) 原本按二次域判别式参数化；从这一计数到判别式计数的转换论文未展开，两种约定的等价性不是本文内容。）
问 3：与 Heath-Brown、Fiorilli 等先前工作相比真正的新意是什么？
（答：Heath-Brown 在逐扭曲黎曼假设下只得到 @@M@@3/2+o(1)@@ 的上界；Fiorilli 的精确 @@M@@1/2@@ 需要 GRH 再加一个非实零点平均相消假设（Hypothesis M）；本文无条件得到精确 @@M@@1/2@@，且技术路线不同——磨光的导数阶随高度增长，而非固定阶导数矩的有界性。）
问 4：这类 AI 生成的证明最可能在哪里出错？
（答：典型风险在定量组装处：长度分区的数值指数被声称”留有充分余量、无需优化”；极限次序是先取高度极限再令 @@M@@R\to\infty@@；磨光子与正 Euler 积的比较只对 @@M@@O(X/k^2)@@ 的例外参数之外成立，好事件里 @@M@@2^{jk/8}@@ 这类增长界与各短段误差的搭配稍有差池就会连锁失败。）
问 5：代数秩矩的推论是否与主定理同样无条件、同样强？
（答：推论（algebraic moments）不用本文尾部估计，而依赖姊妹篇密度结论、密度一处解析秩等于代数秩及 Koymans–Smith 指数矩界。引言明言其局限：不给更高解析矩、不给随 @@M@@Y@@ 变化的参数一致性、也不给薄多项子族的矩极限。）
问 6：论文对 Hanners 声称的完整 BSD 证明持什么立场？
（答：明确不采用，且给出理由：其第 39.1 节基于十八条曲线的桥梁条件检验，与第 39.2 节转移所要求的”对每条有理曲线成立”之间缺一环，同时声明这并非反驳。这一取舍是本文”无条件”声明得以成立的必要前提。）
问 7：谁会直接使用这个结果？
（答：姊妹篇密度定理与本文尾部估计合起来才给出完整 Goldfeld 猜想，二者互为输入；@@M@@1/2@@ 也是随机矩阵理论预言的基准线，算术统计与扭曲族 @@M@@L@@ 函数矩研究者可直接引用这条秩加权尾部界。）
总评
分量在于首次无条件抵达 Goldfeld 平均解析秩 @@M@@1/2@@，补齐从”密度各半”到”均值为一半”缺失的尾部一环。最大风险是一致到 @@M@@(\log X)^{3/5}@@ 的磨光比较链条极长、定量缝隙密集，独立核验之前应保持审慎。