[논문 리뷰] A proof of Goldbach's conjecture that all even numbers greater than four are the sum of two primes

Kent Slinker|arXiv (Cornell University)|2007. 12. 14.

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

한 줄 요약

이 논문은 골드바흐의 추측을 증명하기 위해 거울형 소수 분포를 기반으로 한 새로운 모델을 제시한다. 이 모델은 4보다 큰 모든 짝수를 두 개의 소수의 합으로 표현할 수 있음을 보여주며, 소수 기반의 구조를 체계적으로 이동시킴으로써, 다음 소수보다 한 칸 큰 수까지의 모든 짝수에 대해 골드바흐 분해가 존재함을 보여준다. 이는 모델의 조건 하에서 추측을 증명한다.

ABSTRACT

In this paper I introduce a model which allows one to prove Goldbachs hypothesis. The model is produced by studying Goldbach partitions as displayed by an inverted mirror image of all the primes up to some even number equal to the last prime plus three. The bottom half of the model is then moved to the right in steps of two which exhibit the Goldbach partitions for the next even number. As long as the model contains all the primes up to the resulting even number minus three, then Goldbachs hypothesis can be proven if it can be shown that each move must produce a Goldbach partition until one reaches the next prime plus one. I show that this must be the case.

연구 동기 및 목표

• 골드바흐의 추측을 공식적으로 증명하는 것. 이 추측은 2보다 큰 모든 짝수 정수가 두 개의 소수의 합임을 주장한다.
• 4를 초과하는 모든 짝수에 대해 골드바흐 가설의 타당성에 관한 오랫동안 남아 있는 의문을 해결하는 것.
• 체계적인 검증이 가능하도록 소수 분포의 대칭성을 기반으로 한 구조적 모델을 개발하는 것.
• 모델의 구조적 역학이 각 짝수에 대해 최소한 하나의 골드바흐 분해가 존재하도록 보장한다는 것을 확립하는 것.

제안 방법

• 마지막 소수보다 3 큰 짝수까지의 모든 소수에 대한 거울형 표현을 구성한다.
• 하부 반의 소수 거울 이미지를 두 단위씩 오른쪽으로 이동시켜 다음 짝수를 시뮬레이션하는 모델을 형성한다.
• 모델이 새로운 짝수에서 3을 뺀 수까지의 모든 소수를 유지함으로써 잠재적 소수 쌍의 완전성을 보존한다.
• 거울형 소수 배치의 구조적 제약 덕분에 각 이동 연산이 최소한 하나의 유효한 골드바흐 분해를 생성해야 한다는 것을 보여준다.
• 모델이 점진적 이동에 대해 불변임을 이용하여, 다음 소수보다 한 칸 큰 수에 도달할 때까지 골드바흐 분해가 보장된다는 것을 논증한다.
• 모델이 모든 단계에서 완전성과 구조를 유지한다면, 추측은 4를 초과하는 모든 짝수에 대해 성립한다.

실험 결과

연구 질문

• RQ1 거울형 소수 분포를 기반으로 한 구조적 모델이 4를 초과하는 모든 짝수가 두 소수의 합임을 증명할 수 있는가?
• RQ2 소수 기반 모델을 체계적으로 이동시키는 것은 모든 짝수에 걸쳐 골드바흐 분해의 존재를 유지하는가?
• RQ3 모델이 각 짝수에 대해 최소한 하나의 골드바흐 분해를 보장하는 조건은 무엇인가?
• RQ4 짝수에서 3을 뺀 수까지의 소수 집합의 완전성이 모델에서 골드바흐 분해의 존재를 보장하는 데 충분한가?
• RQ5 모델이 단계적 이동에 대해 구조적 불변성을 유지한다면, 각 짝수에 대해 합이 되는 소수 쌍이 반드시 존재한다는 것을 의미하는가?

주요 결과

• 모델은 필요한 모든 소수가 포함되어 있는 한, 이동 과정 동안 각 짝수에 대해 골드바흐 분해가 반드시 존재함을 성공적으로 보여준다.
• (짝수 - 3)까지의 모든 소수를 포함해야 한다는 요구 조건은 잠재적 소수 쌍을 유지하기 위해 필요한 구조적 정합성을 보장한다.
• 하부 반을 두 단위씩 이동시키는 것은 다음 짝수에 해당하며, 최소한 하나의 유효한 골드바흐 분해를 유지한다.
• 모델의 대칭성과 완전성이 각 짝수에 대해 해당하는 소수 쌍이 존재하지 않는 경우가 없도록 보장한다.
• 모델이 다음 소수보다 한 칸 큰 수에 도달할 때 증명이 완료되며, 이는 이전의 모든 짝수들이 커버된 것을 확인한다.
• 모델의 구조적 역학은 골드바흐 분해가 반드시 존재하고 일관되게 유지됨을 암시하므로, 이 모델의 프레임워크 하에서 추측이 증명된다.