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

要約

Fejér恒等式を試除法の正弦商エンコーダに適用することにより、C1C^1 素数指示関数 P:R→R\mathcal{P}:\mathbb{R}\to\mathbb{R} を構成した。整数 n≥2n\geq 2 に対して、P(n)=0\mathcal{P}(n)=0 は奇素数においてのみ成立し、P(2)>0\mathcal{P}(2)>0 である。すべての非整数 x>1x>1 に対して、P(x)>0\mathcal{P}(x)>0 が成り立つ。本関数は区分的に C∞C^\infty であり、その二階導数は平方数 m2m^2 においてのみ跳躍を持ち、跳躍の大きさは明示的に計算可能である。鋭い切断を滑らかな遷移で置き換えることにより、C∞C^\infty 類似関数 Pτ\mathcal{P}_\tau と Pσ\mathcal{P}_\sigma が得られ、κ→∞\kappa\to\infty のとき整数極限 Pτ(n;κ)→τ(n)−2\mathcal{P}_\tau(n;\kappa)\to\tau(n)-2 および Pσ(n;κ)→σ(n)−n−1\mathcal{P}_\sigma(n;\kappa)\to\sigma(n)-n-1 を満たす。

研究背景と動機

問題の定義

素数の識別は数論における基本的な問題であり、既存の方法は4つのカテゴリに分類される：

  1. 素数表現公式：Mills/Willans/Wilson公式など、正確だが計算上は非効率
  2. 解析的零点集合の構成：Weierstrass因数分解を用いて素数において零となる整関数を構成
  3. 三角関数/核エンコーダ：正弦商を用いて除法関係を符号化
  4. L関数とふるい法：古典的解析数論の方法

研究の動機

本論文は第3のカテゴリの方法を採用し、Fejér余弦多項式による試除法の正則化を利用して、実数上で点ごとに定義される関数を構成する。これにより、整数における直接的な算術的意味を保ちながら、滑らかさと導数跳躍の位置および大きさを明示的に制御することが可能になる。

核心的思想

正弦商 Q(x,i):=sin⁡2(πx)sin⁡2(πx/i)Q(x,i) := \frac{\sin^2(\pi x)}{\sin^2(\pi x/i)} により除法関係を符号化し、その後Fejér恒等式を用いて余弦多項式に変換することで、除去可能な特異点を処理する。

核心的貢献

  1. 奇素数の零点の正確な特性化を構成：整数 n≥2n\geq 2 に対して、P(n)=0P(n)=0 は nn が奇素数であることと同値
  2. 正確な滑らかさの特性化を提供：PP は C1C^1 関数であり区分的に C∞C^\infty で、二階導数跳躍の明示的公式を提供
  3. 算術関数への滑らかな類似への拡張：古典的算術関数に収束する C∞C^\infty 関数 PτP_\tau と PσP_\sigma を構成
  4. Fejér-Dirichlet提升との関連性を確立：より一般的な枠組みの基礎を構築

方法の詳細

タスクの定義

関数 P:R→RP:\mathbb{R}\to\mathbb{R} を構成し、以下を満たす：

  • 奇素数において零
  • すべての非整数において正
  • 制御可能な滑らかさを持つ
  • 試除法との算術的関連性を保つ

核心的構成

Fejér項の定義

i≥2i\geq 2 に対して、 F(x,i)=i+2∑k=1i−1(i−k)cos⁡(2πkxi)F(x,i) = i + 2\sum_{k=1}^{i-1}(i-k)\cos\left(\frac{2\pi kx}{i}\right)

と定義する。これは正弦商の正則延拓と等価である： F(x,i)=(sin⁡(πx)sin⁡(πx/i))2F(x,i) = \left(\frac{\sin(\pi x)}{\sin(\pi x/i)}\right)^2

主関数の定義

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

主要な性質

  • 整数評価：i∣ni|n ならば F(n,i)=i2F(n,i) = i^2、そうでなければ 00
  • 非負性：すべての x∈Rx\in\mathbb{R} に対して F(x,i)≥0F(x,i)\geq 0
  • 整関数性：F(⋅,i)F(\cdot,i) は整関数

滑らかな類似関数

滑らかな切断関数

φκ(u)=1−tanh⁡(κ(u−1))2\varphi_\kappa(u) = \frac{1-\tanh(\kappa(u-1))}{2}

約数計数類似（PτP_\tau）

Pτ(x;κ)=∑i=2∞φκ(ix+1)F(x,i)i2−1P_\tau(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i^2} - 1

約数和類似（PσP_\sigma）

Pσ(x;κ)=∑i=2∞φκ(ix+1)F(x,i)i−xP_\sigma(x;\kappa) = \sum_{i=2}^{\infty} \varphi_\kappa\left(\frac{i}{x+1}\right)\frac{F(x,i)}{i} - x

技術的革新点

  1. 共鳴部分分数表現： F(x,i)=i2π2sin⁡2(πx)∑k∈Z1(x−ik)2F(x,i) = \frac{i^2}{\pi^2}\sin^2(\pi x)\sum_{k\in\mathbb{Z}}\frac{1}{(x-ik)^2}
  2. 明示的な切断界：級数切断の明示的な誤差界を提供
  3. 数値安定性：共鳴点近傍でTaylor展開を使用して数値消去を回避

実験設定

数値実装

  • O(x)O(\sqrt{x}) 評価複雑度を使用
  • 共鳴点 ∣x/i−round(x/i)∣<ε|x/i - \text{round}(x/i)| < \varepsilon において安定した局所Taylor代理を使用
  • Python参照実装を提供

パラメータ選択

  • PτP_\tau の場合：κ\kappa は勾配を制御し、典型値 κ∈[10,1000]\kappa \in [10, 1000]
  • PσP_\sigma の場合：同様の κ\kappa 範囲
  • 切断閾値：共鳴検出に ε=10−6\varepsilon = 10^{-6} を使用

実験結果

主要な結果

奇素数零点の性質

  • 定理4.2：整数 n≥2n\geq 2 に対して、P(n)=0P(n)=0 は nn が奇素数であることと同値
  • P(2)=2>0P(2) = 2 > 0（偶素数は零ではない）
  • すべての非整数 x>1x>1 に対して P(x)>0P(x)>0

滑らかさの特性化

  • 命題3.3：二階導数跳躍公式 Δm2P′′=2π2m2sin⁡2(π/(m+1))\Delta_{m^2}P'' = \frac{2\pi^2}{m^2\sin^2(\pi/(m+1))}
  • 漸近挙動：Δm2P′′=2+4m+O(m−2)\Delta_{m^2}P'' = 2 + \frac{4}{m} + O(m^{-2})

滑らかな類似関数の収束性

  • lim⁡κ→∞Pτ(n;κ)=τ(n)−2\lim_{\kappa\to\infty} P_\tau(n;\kappa) = \tau(n) - 2
  • lim⁡κ→∞Pσ(n;κ)=σ(n)−n−1\lim_{\kappa\to\infty} P_\sigma(n;\kappa) = \sigma(n) - n - 1

数値観察

伴随零点現象

  • 予想7.9：奇素数 pp に対して、Pτ(⋅;κ)P_\tau(\cdot;\kappa) は pp 近傍で対になった実零点を持つ
  • 予想8.3：Pσ(⋅;κ)P_\sigma(\cdot;\kappa) は非対称な零点対を示す

素数計数応用

2つの説明的素数計数和を構成：

  1. 定数閾値基線：πPτ(x;C,κ)=∑n=2⌊x⌋(1−∣Pτ(n;κ)∣∣Pτ(n;κ)∣+C)\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)
  2. 非累積H変種：動的閾値を使用して合成数の漏れを制限

関連研究

素数指示関数の歴史

  • Mills公式：⌊A3n⌋\lfloor A^{3^n}\rfloor は第 nn 番目の素数を与える
  • Willans公式：Wilson定理の変形を使用
  • 光学/散乱法：物理学に着想を得た構成

既存方法との関係

本論文の方法は三角関数/核エンコーダのカテゴリに属するが、Fejér正則化を通じて以下を提供する：

  • 明示的な滑らかさの制御
  • 古典的算術関数との直接的な関連
  • 計算可能な誤差界

結論と考察

主要な結論

  1. 奇素数において正確に零となる C1C^1 関数の構成に成功
  2. 二階導数跳躍の完全な特性化を提供
  3. 約数関数 τ(n)\tau(n) と σ(n)\sigma(n) への滑らかな類似の確立

制限事項

  1. アルゴリズム効率：Θ(n)\Theta(\sqrt{n}) 時間が必要で、試除法より優れていない
  2. 偶素数：P(2)≠0P(2) \neq 0 で、特別な処理が必要
  3. 非整数挙動：PσP_\sigma に対して、非整数零点の存在性は未解決
  4. 理論的制限：素数定理またはL関数零点分布には関与しない

今後の方向性

  1. Fejér-Dirichlet提升：任意の重み付き数列への一般化
  2. L関数との関連：Dirichlet級数との関係の探索
  3. 数値最適化：大規模入力に対する実用効率の改善

深い評価

利点

  1. 数学的厳密性：完全な理論分析と明示的公式を提供
  2. 技術的革新：Fejér恒等式の巧妙な応用と共鳴部分分数表現
  3. 実用性：数値安定な実装と参照コードを含む
  4. 完全性：基礎的構成から応用までの完全な枠組み

不足点

  1. 計算複雑度：アルゴリズム上の利点がない
  2. 理論的深さ：解析数論の核心的問題との関連を回避
  3. 応用範囲：主に理論的関心で、実用的応用は限定的

影響力

  1. 理論的貢献：滑らかな素数指示関数の新しい構成方法を提供
  2. 方法論：数論におけるFejér核の新しい応用
  3. 再現性：完全な実装詳細とコードを提供

適用シーン

  1. 教育的演示：素数性質の可視化
  2. 理論研究：より一般的な枠組みの基礎として
  3. 数値実験：素数分布の局所的性質の研究

参考文献

論文は34篇の関連文献を引用し、以下を網羅：

  • 古典的数論教科書（Hardy & Wright、Montgomery & Vaughan）
  • Fejér核理論（Zygmund、Katznelson）
  • 現代的素数研究（Iwaniec & Kowalski）
  • 関連する光学および物理的方法

要約：これは数論分野における理論的価値を持つ厳密な論文であり、Fejér分析と素数理論を巧妙に組み合わせることにより、素数指示関数の新しい構成方法を提供している。アルゴリズム効率における突破はないが、理論的理解と方法的革新の面で意味のある貢献をしている。