[논문 리뷰] Equidistribution and coprimality

José Fernández, Pablo Fernández|arXiv (Cornell University)|2013. 10. 14.

Analytic Number Theory Research참고 문헌 11인용 수 7

한 줄 요약

이 논문은 ℕʳ 내의 서로소 r-튜플의 등분포성과 점점 줄어드는 밀도를 다루며, 나누어 떨어짐 조건 하에 상호소수, 쌍별로 소수, 또는 k-번 서로소인 r-튜플에 초점을 맞춘다. 제타 함수와 조르던 올리브 함수를 사용하여 정확한 점점 줄어드는 밀도를 도출하고, 불일치 함수에 대한 날카운 경계를 제공하며, 불일치가 O(lnʳ⁻¹(n)/n)의 속도로 감소함을 보여준다.

ABSTRACT

This paper is devoted to the study of equidistributional properties of extit{totient points} in $\mathbb{N}^r$, that is, of coprime $r$-tuples of integers, with particular emphasis on some relevant sets of totient points fulfilling extra divisibility or coprimality conditions, or lying on arithmetic progressions.

연구 동기 및 목표

• ℕʳ 내의 서로소 r-튜플의 등분포성을 분석하며, 특히 상호소수, 쌍별로 소수, 또는 k-번 서로소 조건 하에서의 경우를 다룬다.
• 추가적인 나누어 떨어짐 또는 서로소 조건을 만족하는 특수 r-튜플 집합의 점점 줄어드는 밀도를 결정한다.
• 특히 쌍별로 소수인 r-튜플에 대해 불일치 함수를 통해 등분포성의 속도를 정량화한다.
• 기존의 서로소 쌍에 대한 고전 결과를 더 높은 차원의 r-튜플으로 확장하며, 구조화된 서로소성과 나누어 떨어짐 조건을 포함한다.

제안 방법

• 1에서 n까지의 균일하게 무작위로 선택된 r-튜플의 확률 모델을 사용하여 극한 정리들을 통해 점점 줄어드는 밀도를 도출한다.
• 포함-배제 원리와 모비우스 역전환을 적용하여 서로소성 및 나누어 떨어짐 조건을 만족하는 r-튜플의 수를 세는 데 사용한다.
• 조르던 올리브 함수 φᵣ(m)와 곱셈적 산술 함수를 사용하여 제약 조건이 있는 r-튜플의 정확한 밀도를 표현한다.
• 서로소 조건이 있는 격자점 수를 세는 토스의 정리의 수정된 버전을 사용하여 불일치 경계를 도출한다.
• gcd와 lcm 값에 대한 정규화된 측도가 [0,1]ʳ 내의 정규화된 격자에서 수렴하는 행동을 분석한다.
• gcd와 lcm에 의해 가중된 측도가 르베그 측도 또는 비균일한 극한으로 수렴하는 속도를 확립한다.

실험 결과

연구 질문

• RQ1 서로소인 r-튜플의 점점 줄어드는 밀도는 무엇인가? 이때 각 r-튜플은 서로소인 성분을 가진 고정된 기준 r-튜플로 나누어 떨어져야 한다.
• RQ2 n → ∞ 일 때, 쌍별로 서로소인 r-튜플 집합의 불일치는 어떻게 감소하는가?
• RQ3 [0,1]ʳ 내에서 (x₁/n,…,xᵣ/n)에 gcd(x₁,…,xᵣ)의 질량을 부여하는 정규화된 측도의 극한 분포는 무엇인가?
• RQ4 정규화된 측도가 (x₁/n,…,xᵣ/n)에 lcm(x₁,…,xᵣ)의 질량을 부여할 때, 이 측도는 고차원에서 르베그 측도로 수렴하는가?
• RQ5 fᵣ(u) = ∏_{p|u}(1 - r/(p + r - 1))로 정의되는 곱셈적 산술 함수 fᵣ(u)는 혼합된 나누어 떨어짐 및 서로소 조건을 만족하는 r-튜플의 밀도에 어떤 영향을 미치는가?

주요 결과

• 서로소인 r-튜플의 점점 줄어드는 밀도는 Dₛ = 1/ζ(r)이며, 쌍별로 서로소인 r-튜플의 경우 Dₛ = Tᵣ로 주어지며, 여기서 Tᵣ는 오일러 곱으로 정의된 알려진 상수이다.
• 서로소인 성분을 가진 고정된 r-튜플 𝐚에 대해, 𝐚로 나누어 떨어지고 서로소인 r-튜플의 밀도는 Dₛ = (1/ζ(r)) · φᵣ₋₁(|𝐚|)/φᵣ(|𝐚|))로 주어지며, 여기서 φᵣ는 조르던 올리브 함수이다.
• 쌍별로 서로소인 r-튜플 집합의 불일치 Δₛ(n)는 cᵣ/n ≤ Δₛ(n) ≤ Cᵣ lnʳ⁻¹(n)/n 를 만족하며, 이는 O(lnʳ⁻¹(n)/n)의 감소 속도를 나타낸다.
• 정규화된 측도 νₙ이 (x/n,y/n)에 gcd(x,y)의 질량을 부여할 때, 이는 [0,1]²에서 르베그 측도로 약한 수렴하며 오차는 O(1/ln n) 이내로 유계이다.
• 정규화된 측도 ηₙ이 (x/n,y/n)에 lcm(x,y)의 질량을 부여할 때, 이는 [0,1]²에서 밀도 4ab를 가지는 측도로 수렴하며, 르베그 측도로는 수렴하지 않는다.
• 고차원 r ≥ 3 에서, gcd-가중 측도는 르베그 측도로 수렴하지만, lcm-가중 측도는 르베그 측도로 수렴하지 않으며, 그 극한은 비균일하다.