새로운 멀센 수와 L(n) 형태의 신비로운 성질

초록

이 논문은 (L(n)=2^{2n}\pm2^{n}\pm1) 형태의 네 가지 수열을 정의하고, 그들의 소수성, 공통 약수, 제곱인수 배제 여부, 그리고 레퓨닛(repunit)과의 최대공약수 관계를 조사한다. 주요 결과로는 특정 지수형태에서의 ( \gcd ) 공식과 몇몇 합성 예시가 제시되지만, 증명은 대부분 전형적인 모듈러 연산에 의존하며 새로운 이론적 통찰은 부족하다.

상세 분석

논문은 먼저 (L_1(n)=2^{2n}+2^{n}+1), (L_2(n)=2^{2n}+2^{n}-1), (L_3(n)=2^{2n}-2^{n}+1), (L_4(n)=2^{2n}-2^{n}-1) 로 네 개의 수열을 정의한다. 저자는 “새로운 멀센 추측”이라는 명칭을 붙이며, 이들 수열이 기존 멀센 수와 비슷한 모듈러 성질을 가진다고 주장한다.

1. 소수성 탐구

   • (L_1(n))에 대해 n=1,3,9에서만 소수가 발견된다고 제시하고, n이 3의 배수가 아닌 경우는 합성이라고 추정한다. 그러나 증명은 (2\equiv-1\pmod 3), (2^3\equiv1\pmod7) 같은 기본적인 동치에 머물며, 일반적인 n에 대한 소수성 판정은 전혀 제공되지 않는다.
   • (L_2(n), L_3(n), L_4(n))에 대해서도 몇몇 작은 n에서의 소수와 합성 예시만 나열하고, 체계적인 밀도 결과나 무한히 많은 소수를 생성한다는 근거는 전혀 제시되지 않는다.

2. 공통 약수와 (\gcd) 공식

   • 정리 1과 정리 4에서 (\gcd(L_i(a),L_i(b)) = L_i(\gcd(a,b))) 형태의 “절연성(isolation)’’을 주장한다. 증명은 (2^{k}\equiv1\pmod q)인 최소 지수 (l_0)를 도입해 모듈러 연산을 반복하는 전형적인 방법을 사용한다. 그러나 증명 과정에서 “(b\equiv\pm1\pmod q)이면 모순”이라는 논리는 충분히 엄밀하지 않으며, 실제로는 (q=3)인 경우만을 배제하는 수준에 머문다. 또한, 이러한 절연성은 이미 알려진 레퓨닛의 (\gcd) 성질과 동일한 구조이며, 새로운 결과라 보기 어렵다.

3. 제곱인수 배제

   • 정리 3, 5 등에서 특정 형태의 (L_i(n))이 (p^2) 로 나누어 떨어지는 예시를 제시하고, 일반적인 형태 (L_i(k n)\equiv0\pmod{p^{\alpha}}) 를 귀납적으로 증명한다. 여기서 사용된 귀납법은 (2^{7k n}-1) 등을 전개하는 전형적인 방법이며, 실제로는 (p)가 7, 13 등 특정 소수에 한정된다. 따라서 “제곱인수 배제”라는 명제는 제한된 경우에만 성립한다는 점을 명확히 해야 한다.

4. 레퓨닛과의 관계

   • 마지막 부분에서는 일반화 레퓨닛 (M_b(n)=(b^n-1)/(b-1)) 와 (M_b^+(n)=(b^n+1)/(b+1)) 에 대해 (\gcd(M_b(n),M_b(m))=M_b(\gcd(n,m))) 를 보인다. 이는 고전적인 결과이며, 논문에서는 이를 “새로운 멀센 추측”의 연장선으로 제시하지만 실제 기여는 거의 없다.

5. 전반적인 평가

   • 논문의 전개는 정의와 관찰, 간단한 모듈러 동치에 크게 의존한다. 대부분의 정리는 특수한 지수 형태에 대해서만 성립하며, 일반적인 n에 대한 강력한 결과는 부재한다. 증명 과정에서 논리적 비약과 부정확한 표기가 다수 발견되며, 특히 “(d\equiv0\pmod q)이면 모순” 같은 부분은 더 엄밀한 논증이 필요하다.
   • 기존 문헌(예: 레퓨닛의 (\gcd) 성질, 멀센 수의 기본 정리)과 중복되는 내용이 많아, 새로운 수학적 통찰이라기보다 기존 결과를 재포장한 수준이다.

핵심 인사이트

• (L_i(n)) 수열은 (2^{2n})와 (2^{n}) 의 조합으로, 특정 지수에서만 소수를 생성한다는 경험적 관찰은 흥미롭지만, 이를 일반화하거나 무한히 많은 소수를 보장하는 증명은 제시되지 않는다.
• (\gcd) 절연성은 레퓨닛과 동일한 구조를 가지며, 이는 이미 알려진 정리와 일치한다. 따라서 새로운 이론이라기보다 기존 이론의 특수 경우 적용이라 볼 수 있다.
• 제곱인수 배제 결과는 제한된 소수에만 적용되며, 전반적인 “제곱 자유” 성질을 주장하기엔 근거가 부족하다.