伪切比雪夫素数：素数相位非等分布与加权局部时律

《Axioms》：False Chebyshev Primes: Prime-Phase Non-Equidistribution and a Weighted Local-Time Law

　　

设??为切比雪夫素数计数函数（Chebyshev prime-counting function），??(??)为不超过x的素数个数。切比雪夫素数条件 ??(??)=li(??(??))?li(??(???1))<1 并不等价于符号规则 ??(??)???>0。研究人员证明其前导阈值为中点修正 ??(??)???>1/2 log ??，并给出显式高阶边界；由此通过相应的过渡层定义伪切比雪夫素数（false Chebyshev primes）。研究人员的主要无条件定理表明，普通素数计数不对素数对数相位等分布：对泽塔非平凡零点纵坐标（zeta-zero ordinates）的每个非零整系数组合 ??，有 ??(??)^?1∑_??≤?? ??^????=??^????/(1+????)+??(1)。相比之下，对数均匀权重 log ??/?? 对有理无关的纵坐标恢复了有限维Haar等分布（finite-dimensional Haar equidistribution）。这一二分法促成了加权局部时统计量 ?⁺(??)=2∑ ??^?1/2，其中求和遍历层内素数 ??≤??。研究人员证明该层恰好是以中点为中心的场B的单侧带状区域 ???(??)+ 是一个真正的占据密度（occupation density）。在假设黎曼假设（Riemann hypothesis，RH）、线性无关性以及一个被单独列为开放问题的收缩窗口局部极限假设（shrinking-window local limit hypothesis）成立的前提下，研究人员证明了单向Cesàro律，其中极限常数是B的极限密度在原点的值（数值见原文）。进一步，研究人员通过余面积公式（coarea formula）独立证明了收缩目标占据律：固定窗口情形无条件成立（包括对有限泽塔导出场本身），对角窗口情形则在均匀横截性条件下成立。留下的障碍是该场的切向穿越以及向素数采样对角窗口的转移。

论文解读：伪切比雪夫素数、素数相位非等分布与加权局部时律

研究背景与问题：在解析数论中，切比雪夫素数计数函数??与素数计数函数??(??)从不同角度刻画素数分布。传统上，研究者常以符号规则??(??)???>0来识别切比雪夫素数。然而，严格的切比雪夫素数条件 ??(??)=li(??(??))?li(??(???1))<1 与这一符号规则并不等价。该差异意味着仅凭符号判断会错误地识别一部分素数，因此需要更精确的阈值描述。研究人员证明，前导阈值应修正为??(??)???>1/2 log ??，并给出显式高阶边界。由此产生的过渡层被用来定义伪切比雪夫素数。这项研究发表于《Axioms》。

研究内容与结论：研究人员首先建立了无条件定理，说明普通素数计数不对素数对数相位等分布：对泽塔非平凡零点纵坐标的任意非零整系数组合??，素数平均值 ??(??)^?1∑_??≤?? ??^???? 收敛到 ??^????/(1+????)+??(1)。这一结果与均匀分布的预期不同，表明素数相位在某些对数频率上存在系统偏移。与之相对，若改用对数均匀权重 log ??/??，则在有理无关纵坐标下可以恢复有限维Haar等分布。这一对比揭示了权重选择对素数相位极限行为的关键影响。基于该二分法，研究人员引入加权局部时统计量 ?⁺(??)=2∑ ??^?1/2，求和范围是层内素数 ??≤??。他们证明伪切比雪夫素数层恰好是以中点为中心的场B的单侧带状区域 ???(??)+具有占据密度的意义。在黎曼假设、线性无关性和收缩窗口局部极限假设下，研究人员证明了单向Cesàro律，其极限常数由B的极限密度在原点的值给出。最后，通过余面积公式，研究人员独立地得到了收缩目标占据律：固定窗口情形无条件成立，包括对有限泽塔导出场本身；对角窗口情形则需要在均匀横截性条件下成立。

关键技术与方法：该研究主要使用解析数论中切比雪夫素数计数函数与对数积分li的精确关系，结合泽塔非平凡零点纵坐标的线性组合来分析素数相位；利用Haar等分布和局部时理论构造加权统计量；通过余面积公式和均匀横截性条件处理收缩目标占据律。研究不涉及生物或临床样本队列来源。

主要结果：
（1）无条件定理：素数相位非等分布。普通素数计数对素数对数相位不均匀，具体表现为??(??)^?1∑_??≤?? ??^????的极限为??^????/(1+????)+??(1)，而不是趋于0。
（2）对数均匀权重恢复Haar等分布。当使用log ??/??作为权重时，有理无关的泽塔零点纵坐标对应的相位在有限维意义下重新满足Haar等分布。
（3）过渡层的几何刻画。伪切比雪夫素数层被精确刻画为以中点为中心的场B的单侧带状区域???(??)+的占据密度性质。
（4）假设下的Cesàro律。在黎曼假设、线性无关性以及收缩窗口局部极限假设下，可证明单向Cesàro律，极限常数为场B的极限密度在原点的值。
（5）收缩目标占据律。利用余面积公式，固定窗口情形可无条件建立收缩目标占据律，包括有限泽塔导出场本身；对角窗口情形需额外假设均匀横截性。

讨论与结论：讨论部分指出，当前证明的剩余障碍在于场的切向穿越，以及将固定窗口或有限泽塔导出场的结果转移到素数采样对角窗口。研究结论可概括为：切比雪夫素数条件不等价于符号规则，其前导阈值是中点修正??(??)???>1/2 log ??；伪切比雪夫素数由该过渡层定义。普通素数计数不对素数对数相位等分布，而对数均匀权重log ??/??可恢复有限维Haar等分布。加权局部时统计量?⁺具有占据密度解释，并在若干标准假设下满足单向Cesàro律；固定窗口收缩目标占据律无条件成立，对角窗口情形在均匀横截性条件下成立。该研究为素数分布、泽塔零点与局部时理论之间建立了新的联系。