2025-11-10T03:07:47.360994

FejÃ©r-Kernel Prime Indicators

Fuchs

A $C^1$ prime indicator $\mathcal{P}\colon\mathbb{R}\to\mathbb{R}$ is constructed by applying the FejÃ©r identity to the sine-quotient encoder of trial division. For integers $n\ge 2$, $\mathcal P(n)=0$ holds exactly for odd primes; $\mathcal P(2)>0$. For all non-integers $x>1$ one has $\mathcal P(x)>0$. The function is piecewise $C^\infty$ and its second derivative has jumps precisely at the squares $m^2$, with explicit sizes. Replacing the sharp cut-off by a smooth transition yields $C^\infty$ analogues $\mathcal{P}_Ï$ and $\mathcal{P}_Ï$ with integer limits $\mathcal{P}_Ï(n;Îº)\to Ï(n)-2$ and $\mathcal{P}_Ï(n;Îº)\to Ï(n)-n-1$ as $Îº\to\infty$, obtained from locally uniform convergence of derivative series. For large $Îº$, numerical evidence indicates companion zeros near odd primes for $\mathcal{P}_Ï$ and an asymmetric pair for $\mathcal{P}_Ï$. No assertion is made beyond integer input, and no statements are claimed about the prime number theorem or zero distributions of $L$-functions. The appendix includes two illustrative prime-counting sums.

academic

Fejér-Kernel Prime Indicators

基本信息

论文ID: 2506.18933
标题: Fejér-Kernel Prime Indicators
作者: Sebastian Fuchs
分类: math.NT (数论)
发表时间: 2025年10月15日 (arXiv版本)
论文链接: https://arxiv.org/abs/2506.18933

摘要

构造了一个 $C^1$ 素数指示函数 $\mathcal{P}:\mathbb{R}\to\mathbb{R}$ ，通过将Fejér恒等式应用于试除法的正弦商编码器。对于整数 $n\geq 2$ ， $\mathcal{P}(n)=0$ 精确地在奇素数处成立； $\mathcal{P}(2)>0$ 。对于所有非整数 $x>1$ ，有 $\mathcal{P}(x)>0$ 。该函数是分段 $C^\infty$ 的，其二阶导数恰好在平方数 $m^2$ 处有跳跃，跳跃大小可显式计算。用光滑过渡替代尖锐截断可得到 $C^\infty$ 类似函数 $\mathcal{P}_\tau$ 和 $\mathcal{P}_\sigma$ ，具有整数极限 $\mathcal{P}_\tau(n;\kappa)\to\tau(n)-2$ 和 $\mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1$ 当 $\kappa\to\infty$ 时。

研究背景与动机

问题定义

素数识别是数论中的基本问题，现有方法可归为四类：

素数表示公式：如Mills/Willans/Wilson公式，虽然精确但计算上无效
解析零集构造：通过Weierstrass因式分解构造在素数处为零的整函数
三角/核编码器：使用正弦商编码除法关系
L函数和筛法：经典解析数论方法

研究动机

本文采用第三类方法，利用Fejér余弦多项式正则化试除法，构造在实数上逐点定义的函数，保持整数处的直接算术意义，同时允许显式控制光滑性和导数跳跃的位置和大小。

核心思想

通过正弦商 $Q(x,i) := \frac{\sin^2(\pi x)}{\sin^2(\pi x/i)}$ 编码除法关系，然后使用Fejér恒等式转换为余弦多项式以处理可去奇点。

核心贡献

构造了精确的奇素数零点刻画：对于整数 $n\geq 2$ ， $P(n)=0$ 当且仅当 $n$ 是奇素数
提供了精确的光滑性刻画： $P$ 是 $C^1$ 函数且分段 $C^\infty$ ，二阶导数跳跃的显式公式
扩展到算术函数的光滑类似：构造了 $C^\infty$ 函数 $P_\tau$ 和 $P_\sigma$ ，收敛到经典算术函数
建立了与Fejér-Dirichlet提升的联系：为更一般的框架奠定基础

方法详解

任务定义

构造函数 $P:\mathbb{R}\to\mathbb{R}$ ，使其：

在奇素数处为零
在所有非整数处为正
具有可控的光滑性
保持与试除法的算术联系

核心构造

Fejér项定义

对于 $i\geq 2$ ，定义 $F(x,i) = i + 2\sum_{k=1}^{i-1}(i-k)\cos\left(\frac{2\pi kx}{i}\right)$

这等价于正弦商的全纯延拓： $F(x,i) = \left(\frac{\sin(\pi x)}{\sin(\pi x/i)}\right)^2$

主函数定义

$P(x) = \frac{1}{x}\sum_{i=2}^{\lceil\sqrt{x}\rceil} F(x,i) \quad (x>1)$

关键性质

整数评估： $F(n,i) = i^2$ 若 $i|n$ ，否则为 $0$
非负性：对所有 $x\in\mathbb{R}$ ， $F(x,i)\geq 0$
全纯性： $F(\cdot,i)$ 是整函数

共振部分分式表示： $F(x,i) = \frac{i^2}{\pi^2}\sin^2(\pi x)\sum_{k\in\mathbb{Z}}\frac{1}{(x-ik)^2}$
显式截断界：提供了级数截断的显式误差界
数值稳定性：在共振点附近使用Taylor展开避免数值取消

实验设置

数值实现

使用 $O(\sqrt{x})$ 评估复杂度
在共振点 $|x/i - \text{round}(x/i)| < \varepsilon$ 处使用稳定的局部Taylor代理
提供了Python参考实现

参数选择

对于 $P_\tau$ ： $\kappa$ 控制陡峭度，典型值 $\kappa \in [10, 1000]$
对于 $P_\sigma$ ：类似的 $\kappa$ 范围
截断阈值： $\varepsilon = 10^{-6}$ 用于共振检测

定理4.2：对于整数 $n\geq 2$ ， $P(n)=0$ 当且仅当 $n$ 是奇素数
$P(2) = 2 > 0$ （偶素数不为零）
对于所有非整数 $x>1$ ， $P(x)>0$

光滑性刻画

命题3.3：二阶导数跳跃公式 $\Delta_{m^2}P'' = \frac{2\pi^2}{m^2\sin^2(\pi/(m+1))}$
渐近行为： $\Delta_{m^2}P'' = 2 + \frac{4}{m} + O(m^{-2})$

光滑类似函数的收敛性

$\lim_{\kappa\to\infty} P_\tau(n;\kappa) = \tau(n) - 2$
$\lim_{\kappa\to\infty} P_\sigma(n;\kappa) = \sigma(n) - n - 1$

数值观察

伴随零点现象

猜想7.9：对于奇素数 $p$ ， $P_\tau(\cdot;\kappa)$ 在 $p$ 附近有成对的实零点
猜想8.3： $P_\sigma(\cdot;\kappa)$ 表现出不对称的零点对

素数计数应用

构造了两种说明性素数计数和：

常数阈值基线： $\pi_{P_\tau}(x;C,\kappa) = \sum_{n=2}^{\lfloor x\rfloor}\left(1-\frac{|P_\tau(n;\kappa)|}{|P_\tau(n;\kappa)|+C}\right)$
非累积H变体：使用动态阈值以界定复合数泄漏