[논문 리뷰] Combinatorial Identities Involving the Mobius Function

Mohamed El Bachraoui, Mohamed Salim|ArXiv.org|2009. 09. 16.

Advanced Mathematical Identities참고 문헌 6인용 수 4

한 줄 요약

이 논문은 간격과 그 합집합에 대한 φ 함수를 사용하여 멜리우스 함수를 포함하는 새로운 조합 항등식을 유도한다. 주어진 정수와 서로소인 합집합된 간격의 비어 있지 않은 부분집합의 수에 대한 정확한 공식을 수립함으로써, 유클리드 함수와 GCD 조건을 포함하는 멜리우스 변환된 합의 새로운 평가를 이끌어내며, 이러한 합이 모듈로와의 상대적 소수성과 어떻게 연결되는지를 핵심적으로 밝혀낸다.

ABSTRACT

In this paper we derive some identities and inequalities on the Möbius mu function. Our main tool is phi functions for intervals of positive integers and their unions.

연구 동기 및 목표

• φ 함수를 주요 도구로 사용하여 멜리우스 함수를 포함하는 새로운 조합 항등식을 도출하는 것.
• 단일 간격에서 상대적 소수 부분집합 수에 대한 기존 공식을 서로소 간격의 합집합으로 확장하는 것.
• 유클리드 함수와 GCD 조건을 포함하는 멜리우스 변환된 합의 정확한 평가를 수립하는 것.
• 산술 함수의 멜리우스 역전개를 다변수로 일반화하는 것.
• 합집합된 간격에서 주어진 모듈로와 상대적 소수인 k원소 부분집합의 수에 대한 명시적 공식을 제공하는 것.

제안 방법

• Φ(A,n)와 Φk(A,n)를 정의하여, A의 비어 있지 않은 부분집합과 k원소 부분집합 중 n과 서로소인 수를 나타낸다.
• 간격의 합집합 [l₁,m₁] ∪ [l₂,m₂]에 대해 멜리우스 역전개를 적용하여, n의 약수 d에 대한 합을 포함하는 닫힌 형태의 표현식을 도출한다.
• 계산 문제를 멜리우스 가중치 합으로 변환하기 위해 항등식 ∑_{d|n} μ(d) f(⌊m/d⌋)를 적용한다.
• 멜리우스 함수의 성질을 활용하여 포함배제 원리를 통해 GCD가 1인 부분집합의 수를 세는 데 사용한다.
• 겹치는 간격의 기여도를 분리하기 위해 재귀적 분해와 이重합의 재정렬을 사용한다.
• 수학적 귀납법과 조합적 전단사 증명을 통해 결과를 증명하며, GCD 제약 조건 하에서 부분집합을 스케일된 대응체로 매핑한다.

실험 결과

연구 질문

• RQ1 n과 상대적 소수인 [l₁,m₁] ∪ [l₂,m₂]의 비어 있지 않은 부분집합의 정확한 수는 얼마인가?
• RQ2 상대적 소수성의 맥락에서, 유클리드 함수 차이를 포함하는 멜리우스 함수를 어떻게 평가할 수 있는가?
• RQ3 gcd(m,n) = 1 또는 >1일 때, ∑_{d|n} μ(d) 2^{⌊m/d⌋ - ⌊(m-1)/d⌋}의 값은 무엇인가?
• RQ4 간격 부분집합의 맥락에서 멜리우스 역전개 공식은 다변수 산술 함수로 어떻게 확장되는가?
• RQ5 두 개의 간격 합집합에서 주어진 모듈로 n과 상대적 소수인 k원소 부분집합의 수는 얼마인가?

주요 결과

• n과 상대적 소수인 [l₁,m₁] ∪ [l₂,m₂]의 비어 있지 않은 부분집합의 수는 ∑_{d|n} μ(d) 2^{⌊m₁/d⌋ + ⌊m₂/d⌋ - ⌊(l₁-1)/d⌋ - ⌊(l₂-1)/d⌋}이다.
• n과 상대적 소수인 [l₁,m₁] ∪ [l₂,m₂]의 k원소 부분집합의 수는 ∑_{d|n} μ(d) ⎛⌊m₁/d⌋ + ⌊m₂/d⌋ - ⌊(l₁-1)/d⌋ - ⌊(l₂-1)/d⌋⎞ / k이다.
• m > 1일 때, ∑_{d|n} μ(d) 2^{⌊m/d⌋ - ⌊(m-1)/d⌋} = 1이 되며, 이는 gcd(m,n) = 1일 때이고, 그렇지 않으면 0이다.
• m > 1일 때, ∑_{d|n} μ(d) 2^{⌊(m+1)/d⌋ - ⌊(m-1)/d⌋} = 3이 되며, 이는 gcd(m,n) = gcd(m+1,n) = 1일 때이고, 정확히 하나의 GCD가 1이면 2, 그 외의 경우 1이다.
• ∑_{d|n} μ(d) (⌊(m+1)/d⌋ - ⌊(m-1)/d⌋)는 m과 m+1가 모두 n과 상대적 소수일 때 2가 되며, 정확히 하나일 때 1, 둘 다 아닐 때 0이다.
• ∑_{d|n} μ(d) ⎛⌊(m+1)/d⌋ - ⌊(m-1)/d⌋ + 1⎞ / 2는 m과 m+1가 모두 n과 상대적 소수일 때 3이 되며, 정확히 하나일 때 2, 둘 다 아닐 때 1이다.