[논문 리뷰] The equation omega(n) = omega(n + 1)

Jan‐Christoph Schlage‐Puchta|arXiv (Cornell University)|2003. 01. 01.

Analytic Number Theory Research참고 문헌 2인용 수 5

한 줄 요약

이 논문은 특정한 차수와 소인수 분해 성질을 갖는 제한된 차이를 가진 특수한 오각형 정수의 수치적 구성과 히프-브라운 정리의 정밀한 체계적 추정을 결합하여, n과 n+1이 같은 수의 서로 다른 소인수를 갖는 정수 n이 무한히 많음을 증명한다.

ABSTRACT

We prove that there are infinitely many integers $n$ such that $n$ and $n+1$ have the same number of distinct prime divisors.

연구 동기 및 목표

• n과 n+1이 같은 수의 서로 다른 소인수를 갖는 정수 n이 무한히 존재함을 증명하는 것.
• 표준 체계적 방법이 실패하는 문제를 해결하기 위해 특정 산술적 및 인수 분해 성질을 갖는 특수한 다섯 정수의 집합을 구성하는 것.
• 수치적 구성과 체계적 추정을 통해 이러한 쌍이 유한하지 않게 생성될 수 있음을 보여주는 것.

제안 방법

• 서로 다른 소수로 나누어지는 차이를 갖는 다섯 정수 a₁에서 a₅의 집합을 구성하여 산술적 장애를 피하는 것.
• |ai − aj|의 차이를 이용해 모든 i ≠ j에 대해 ω(ai / |ai−aj|) = ω(aj / |ai−aj|)가 되도록 합동 조건을 정의하는 것.
• 히프-브라운의 체계 정리(정리 2)를 적용하여, ∑ᵢ 2ω(cᵢn+1) ≤ 57를 만족하는 무한히 많은 n이 존재함을 보장하는 것. 여기서 cᵢ = aᵢA이고 A = a₁⋯a₅이다.
• ω(aᵢAn+1) = ω(aⱼAn+1)인 쌍 i ≠ j를 식별하여 연속 정수에서 ω 값이 동일함을 도출하는 것.
• ω의 곱셈적 성질을 이용해 결과적으로 얻어진 연속 정수 (aⱼ(aᵢAn+1)/|aᵢ−aⱼ|와 aᵢ(aⱼAn+1)/|aᵢ−aⱼ|)가 동일한 ω 값을 갖는다는 것을 확인하는 것.
• Mathematica를 사용한 명시적 수치 계산을 통해 l = 1202인 유효한 오각형을 확인하고, 이러한 n에 대한 구체적인 예를 도출하는 것.

실험 결과

연구 질문

• RQ1 ω(n) = ω(n+1)인 정수 n이 무한히 존재하는가?
• RQ2 특수한 정수 집합의 수치적 구성이 ω(n) = ω(n+1)의 해가 무한히 존재함을 증명하는 데 사용될 수 있는가?
• RQ3 ω(n) = ω(n+1) 문제에서 장애를 피하기 위해 정수 집합이 만족해야 할 산술적 제약 조건은 무엇인가?
• RQ4 소인수 함수가 소수 거듭제곱에서 일정한 경우, 기존 기법이 실패할 때 체계적 방법을 어떻게 수정할 수 있는가?

주요 결과

• 논문은 ω(n) = ω(n+1)를 만족하는 n이 무한히 많음을 증명하여, 곱셈적 수론 분야에서 오랫동안 남아있던 문제를 해결한다.
• 구체적인 예로 n = 135987650281178292389624에서 n과 n+1이 동일한 수의 서로 다른 소인수를 갖는다.
• 구성된 오각형 (a₁, ..., a₅)은 모든 요구 조건을 만족한다: 상호 차이는 많은 소수로 나누어지며, 모든 i ≠ j에 대해 ω(ai / |ai−aj|) = ω(aj / |ai−aj|)이다.
• 히프-브라운의 체계 추정은 무한히 많은 n에 대해 합 ∑ᵢ 2ω(cᵢn+1) ≤ 57를 보장하며, 이는 최소한 하나의 동일한 ω 값을 갖는 쌍이 존재하도록 강제한다.
• 차이 |ai−aj|가 많은 서로 다른 소수로 나누어지게 함으로써 연속된 삼중항의 장애를 피하는 방법을 사용한다.
• aᵢ와 그 차이의 명시적 인수 분해를 통해 모든 요구 조건이 확인되었으며, Mathematica 4.1을 통해 검증되었다.