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-커널 소수 지시함수

기본 정보

  • 논문 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를 얻으며, 정수 극한 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 (κ→∞\kappa\to\infty일 때)을 갖는다.

연구 배경 및 동기

문제 정의

소수 식별은 정수론의 기본 문제이며, 기존 방법은 네 가지로 분류된다:

  1. 소수 표현 공식: Mills/Willans/Wilson 공식과 같이, 정확하지만 계산상 비효율적
  2. 해석적 영점 집합 구성: Weierstrass 인수분해를 통해 소수에서 영점을 갖는 정함수 구성
  3. 삼각함수/핵 인코더: 정현 몫을 사용하여 나눗셈 관계 인코딩
  4. L-함수 및 체 방법: 고전적 해석적 정수론 방법

연구 동기

본 논문은 세 번째 방법을 채택하여 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)는 비대칭 영점 쌍을 나타냄

소수 계산 응용

두 가지 설명적 소수 계산 합 구성:

  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 분석과 소수 이론을 영리하게 결합하여 새로운 소수 지시함수 구성 방법을 제공한다. 알고리즘 효율성에서는 돌파구를 제시하지 않지만, 이론적 이해와 방법론적 혁신 측면에서 의미 있는 기여를 한다.