[논문 리뷰] Finiteness of p-Divisible Sets of Multiple Harmonic Sums

Jianqiang Zhao|arXiv (Cornell University)|2003. 03. 04.

Analytic Number Theory Research참고 문헌 14인용 수 3

한 줄 요약

이 논문은 다중 조화 합(MHS)의 p진 값매김을 조사하며, 임의의 양의 정수의 수열 𝔰와 소수 p에 대해, 부분합 H(𝔰;n)이 p-정수인(즉, vₚ(H(𝔰;n)) ≥ 0) 경우는 유한 개일 것이라 추측한다. 이는 p진 값매김의 증가 양상을 이진 간격 Gₜ에서 분석하는 새로운 기준을 통해, 특정 𝔰와 p에 대해 J(𝔰|p)의 유한성을 증명한다. 또한, 자연 밀도 추측을 뒷받침하는 히ュ리스틱 및 계산적 증거를 제시한다: l=1, s≥2일 경우 J(𝔰|p)가 유한한 소수 p의 자연 밀도는 1/√e이며, l≥2 또는 l=s=1일 경우 1/e이다.

ABSTRACT

\medskip oindent extbf{Résumé.} Soit $l$ un entier et $\ors=(s_1, \dots, s_l)$ une séquence d'entiers positifs. Dans ce document, nous étudierons les propriétés arithmétique de sommes harmoniques multiples $H(\ors; n)$, qui est le $n$-ème somme partielle de la valeur de la série multiple zeta $ζ(\ors)$. On conjecture que pour tout $\ors$ et de tous les premiers $p$, il n'y a que de nombreux finitely $p$-partie intégrante sommes $H(\ors,n)$. Ceci généralise une conjecture de Eswarathasan et Levine et Boyd pour la série harmonique. Nous fournissons beaucoup d'éléments de preuve pour cette conjecture générale ainsi que certaines heuristiques argument soutenir. Ce document fait suite à \emph{Wolstenholme Type Theorem for multiple harmonic sums}, Intl.\ J.\ of Number Theory extbf{4}(1) (2008) 73-106.

연구 동기 및 목표

• 조화 급수에 대한 Eswarathasan과 Levine의 추측을 다중 조화 합(MHS)으로 일반화하기.
• 고정된 𝔰에 대해 변하는 n에 대해 부분합 H(𝔰;n)의 p진 정수성 조사하기.
• J(𝔰|p)의 유한성에 대한 기준 수립하기. 여기서 J(𝔰|p)는 {n : vₚ(a(𝔰;n)) ≥ 0}로 정의되며, H(𝔰;n) = a(𝔰;n)/b(𝔰;n)이다.
• J(𝔰|p)가 유한한 소수 p의 자연 밀도에 대한 추측에 대한 히ュ리스틱 및 계산적 증거 제공하기.

제안 방법

• J(𝔰|p)를 H(𝔰;n)의 분자에서 p로 나누어지는 인덱스 n의 집합으로 정의한다.
• H(𝔰;n)의 p진 값매김 증가를 분석하기 위해 이진 간격 Gₜ = {n : p^{t-1} ≤ n < p^t}를 도입한다.
• 기준 제안: 어떤 τ > t₀에 대해 f(𝔰,p;τ) > (|𝔰|−m)(τ−1)−m 이면 J(𝔰|p)는 유한하다. 여기서 m = min{sᵢ} 이고, f(𝔰,p;t) = min{−vₚ(H(𝔰;n)) : n ∈ Gₜ}이다.
• 동차 MHS에 대한 Wolstenholme 유사 정리와 p진 값매김 추정을 사용해 경계를 유도한다.
• H(𝔰;n)가 모듈로 p에서 무작위로 분포된다고 가정하는 확률론적 히ュ리스틱을 적용하여, J(𝔰|p)가 유한한 소수 p의 밀도를 추정한다.
• 광범위한 계산 데이터와 온라인 보충 자료를 통해 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 임의의 고정된 양의 정수 수열 𝔰와 소수 p에 대해, H(𝔰;n)이 p-정수인 인덱스 n의 집합은 유한한가?
• RQ2 이진 간격에서의 p진 값매김 행동에 기반해, J(𝔰|p)의 유한성을 판단할 수 있는 일반적인 기준을 도출할 수 있는가?
• RQ3 J(𝔰|p)가 유한한 소수 p의 자연 밀도는 얼마이며, 이는 𝔰의 길이 l과 무게 |𝔰|에 따라 어떻게 달라지는가?
• RQ4 J(𝔰|p)와 그 예약 부분집합 RJ(𝔰;p)의 구조는 불규칙 소수와 소수의 수론적 성질과 어떻게 관련되는가?
• RQ5 J₁(𝔰|p) = {(p−1)/2, p−1} 또는 J₁(𝔰|p) = {p−1}인 소수 p가 무한히 많은가? 이는 불규칙 쌍에 대해 어떤 의미를 갖는가?

주요 결과

• 𝔰 = (1,1) 이고 p = 3, 7, 13, 31일 때, 𝔰 = (1,1,1) 이고 p = 3일 때, 그리고 𝔰 = (1,1,2) 이고 p = 7일 때, J(𝔰|p)는 모두 유한하다.
• 정리 2.1의 기준은 이진 간격 Gₜ 내에서 최소 p진 값매김을 경계함으로써 특정 𝔰와 p에 대해 J(𝔰|p)의 유한성을 증명한다.
• l = 1 이고 s ≥ 2일 경우, J(s|p)가 유한한 소수 p의 자연 밀도는 1/√e로 추측된다.
• l ≥ 2 또는 l = s = 1일 경우, J(𝔰|p)가 유한한 소수 p의 자연 밀도는 1/e로 추측된다.
• 히ュ리스틱 분석에 따르면, p → ∞ 일 때 J(𝔰|p) = RJ(𝔰;p)일 확률은 l=1, s≥2일 경우 1/√e, l≥2일 경우 1/e로 수렴한다. 이는 무작위 분포 가정에 기반한다.
• 추측 7.8은 특정 J₁(𝔰|p) 집합이 무한하지만 흐리게 퍼져 있음을 제안하며, 고정된 홀수 w ≥ 5에 대해 무수히 많은 불규칙 소수 (p, p−w)가 존재함을 시사한다.