[논문 리뷰] Asymptotic estimates for phi functions for subsets of {m+1, m+2,...,n}

Melvyn B. Nathanson, Brooke Orosz|arXiv (Cornell University)|2007. 09. 18.

Analytic Number Theory Research참고 문헌 1인용 수 9

한 줄 요약

이 논문은 {m+1, ..., n} 구간에서 서로소 부분집합과 n과 최대공약수가 1인 부분집합을 세는 네 가지 조합 함수에 대해 명시적인 공식과 점점 가까워지는 추정치를 제공한다. 모비우스 역전환과 조합 항등식을 사용하여 f(m,n), fₖ(m,n), Φ(m,n), Φₖ(m,n)에 대한 정확한 표현과 날카운 오차 한계를 유도하며, 나타한소의 피 함수를 이동된 간격으로 확장하여 더 우아하고 정밀한 대칭성을 확보한다.

ABSTRACT

Let f(m,n) denote the number of relatively prime subsets of {m+1,m+2,...,n}, and let Phi(m,n) denote the number of subsets A of {m+1,m+2,...,n} such that gcd(A) is relatively prime to n. Let f_k(m,n) and Phi_k(m,n) be the analogous counting functions restricted to sets of cardinality k. Simple explicit formulas and asymptotic estimates are obtained for these four functions.

연구 동기 및 목표

• 나타한소의 피 함수—{1,…,n}에서부터 {m+1,…,n}으로 이동된 간격으로 확장하여 더 우아한 대칭성과 명확성을 확보하기 위해, 서로소 부분집합과 n과 최대공약수가 1인 부분집합을 세는 함수를 {1,…,n}에서 {m+1,…,n}으로 확장한다.
• 모비우스 역전환과 포함-배제 원리를 사용하여 f(m,n), fₖ(m,n), Φ(m,n), Φₖ(m,n)의 네 함수에 대해 정확한 닫힌 형태의 표현식을 도출한다.
• 각 함수에 대해 날카로운 점점 가까워지는 오차 한계를 확립하여, 전체 부분집합 수 또는 k-원소 부분집합 수에서의 편차를 정량화한다.
• 엘 바크라우이의 이전 결과를 일반화하기 위해 함수를 m가 아니라 m+1에서 시작하도록 재정의함으로써 더 우아하고 대칭적인 공식을 도출한다.
• 큰 n과 다양한 m에 대해 효과적인 정량적 추정치를 제공하며, 핵심 경계에서 n의 최소 소인수에 명시적인 의존성을 포함한다.

제안 방법

• 공통 약수에 대한 포함-배제 원리를 활용하여, f(m,n)을 ∑_{d=1}^n μ(d) (2^{[n/d]−[m/d]} − 1)로 표현하기 위해 모비우스 역전환을 적용한다.
• 이항계수를 포함하는 조합 항등식을 사용하여 fₖ(m,n) = ∑_{d=1}^n μ(d) ⎛⎜[n/d]−[m/d]⎞⎟, k로 유도하며, k-원소 부분집합을 스케일링된 간격과 연결한다.
• Φ(m,n)의 경우, n의 약수 d에 국한하여 합을 구하고, gcd(A)가 n과 서로소라는 조건을 사용하여 Φ(m,n) = ∑_{d|n} μ(d) 2^{(n/d)−[m/d]}로 도출한다.
• k-원소 부분집합으로 일반화하기 위해 Φₖ(m,n) = ∑_{d|n} μ(d) ⎛⎜n/d − [m/d]⎞⎟, k로 적용하며, 약수-서로소 부분집합에 대한 모비우스 역전환을 사용한다.
• 짝수 정수나 n의 최소 소인수 p*의 배수인 부분집합이 제외됨을 이용하여 오차 한계를 확립한다. 이로써 상한과 하한 추정치를 도출한다.
• [(n−m)/3] 또는 [(n−m)/(p*+1)]로 표현되는 오차 항을 [x] − [y] ≤ [x−y] + 1 부등식을 사용하여 제한함으로써, 주항목에 대해 지수적 성장보다 느린 성장률을 확보한다.

실험 결과

연구 질문

• RQ1 {m+1, ..., n}의 서로소 부분집합의 정확한 수는 얼마이며, 이는 비어 있지 않은 부분집합의 총 수에서 얼마나 떨어져 있는가?
• RQ2 k-원소 서로소 부분집합의 수는 어떻게 닫힌 형태로 표현할 수 있으며, 이 수를 이항계수로 근사할 때 오차는 얼마인가?
• RQ3 {m+1, ..., n}의 부분집합 A에 대해 gcd(A)가 n과 서로소인 경우의 수는 얼마이며, 이는 전체 부분집합 수와 어떻게 관련되어 있는가?
• RQ4 n과 최대공약수가 1인 k-원소 부분집합의 수는 C(n−m, k)와 어떻게 비교되며, 이 근사에서 오차는 얼마인가?
• RQ5 n의 최소 소인수 p*는 Φ(m,n)와 Φₖ(m,n)의 점점 가까워지는 추정치를 정밀화하는 데 어떤 역할을 하는가?

주요 결과

• f(m,n)는 정확히 ∑_{d=1}^n μ(d) (2^{[n/d]−[m/d]} − 1)이며, 0 ≤ 2^{n−m} − 2^{[n/2]−[m/2]} − f(m,n) ≤ 2n ⋅ 2^{[(n−m)/3]}를 만족하여, 비어 있지 않은 부분집합 총 수에 매우 밀접하게 집중되어 있음을 보여준다.
• k-원소 부분집합의 경우, fₖ(m,n) = ∑_{d=1}^n μ(d) ⎛⎜[n/d]−[m/d]⎞⎟, k이며, 오차는 n ⋅ C([(n−m)/3]+2, k) 이하로 제한되어 있어, C(n−m, k)에서 짝수 부분집합 수정 항을 뺀 강력한 근사임을 나타낸다.
• gcd가 n과 서로소인 부분집합을 세는 함수 Φ(m,n)는 정확히 ∑_{d|n} μ(d) ⋅ 2^{(n/d)−[m/d]}이며, 0 ≤ 2^{n−m} − 2^{(n/p*)−[m/p*]} − Φ(m,n) ≤ 2n ⋅ 2^{[(n−m)/(p*+1)]}를 만족한다. 여기서 p*는 n의 최소 소인수이다.
• k-원소 부분집합의 경우, Φₖ(m,n) = ∑_{d|n} μ(d) ⎛⎜n/d − [m/d]⎞⎟, k이며, C(n−m, k) − C(n/p* − [m/p*], k)로 근사할 때의 오차는 최대 n ⋅ C([(n−m)/(p*+1)]+1, k)이다.
• 경계는 날카롭다: 오차 항은 (n−m)에 대해 지수적 성장보다 느리게 증가하며, p*에 대한 의존성은 n의 최소 소인수가 클수록 더 날카로운 추정치를 보장한다.
• 함수를 m가 아니라 m+1에서 시작하도록 재정의함으로써 더 대칭적이고 시각적으로 매력적인 공식을 도출하였으며, 일반화의 손실 없이 엘 바크라우이의 원래 수식보다 개선된 결과를 얻었다.