크라메르 추측

크라메르 추측

크라메르 추측(英: Cramér conjecture)은 소수의 연속된 두 항 사이의 차이(소수 간격)가 어떻게 성장하는지를 예측하는 수론 분야의 미해결 문제이다. 스웨덴의 확률론자 한스 크라메르(Hans Cramér)가 1936년에 제안했으며, 특히 큰 소수에서는 소수 간격이 대략 $(\log p)^2$ 이하가 된다는 형태로 서술된다.

개요

크라메르 추측은 다음과 같이 공식화된다.

$$ \limsup_{n\to\infty}\frac{p_{n+1}-p_n}{(\log p_n)^2}=1, $$

여기서 $p_n$은 $n$번째 소수를 의미한다. 즉, 충분히 큰 $n$에 대해

$$ p_{n+1}-p_n = O\big((\log p_n)^2\big) $$

가 성립한다는 주장이다. 이때 “$O$”는 빅오 표기법으로, 상수배 이하의 성장률을 의미한다.

역사와 배경

• 1936년: 한스 크라메르는 확률론적 모델을 이용해 소수의 분포를 모형화하면서 위와 같은 상한을 제시했다. 그는 소수들이 독립적인 확률 사건처럼 행동한다는 가정 하에, 소수 간격이 대수의 제곱에 비례한다는 추정을 얻었다.
• 1970년대 이후: 여러 수학자들이 크라메르의 확률 모델을 정교화하고, 이와 관련된 하한·상한 결과들을 증명하였다. 특히, 자비에 다프네스키와 마이클 프리드만 등은 “강한 크라메르 추측”(Strong Cramér conjecture)이라 불리는 변형을 제시했다.
• 2000년대: 베르나르드 카스라와 토마스 워시스 등은 대규모 컴퓨터 계산을 통해 수십억 이상의 소수에 대해 추측이 실험적으로 일치함을 확인하였다.

주요 결과 및 관련 추측

증명 현황

현재까지 크라메르 추측은 증명되지도 반증되지도 않았다. 대부분의 증거는 다음과 같다.

1. 확률론적 근거: 크라메르가 제시한 무작위 모델은 실제 소수 분포와 높은 일치성을 보여준다.
2. 수치 실험: 현재까지 계산된 가장 큰 소수(약 $10^{24}$ 정도)까지도 $(\log p)^2$ 이하의 간격을 만족한다.
3. 조건부 결과: 리만 가설(Riemann Hypothesis)이 참이라고 가정하면,
   $$ p_{n+1}-p_n = O\big(\sqrt{p_n}\log p_n\big) $$ 가 증명되며, 이는 크라메르 상한보다 약하게 강한 형태이다.

하지만 위 조건부 결과조차도 크라메르 추측이 제시하는 $(\log p)^2$ 상한에 도달하지는 못한다.

관련 개념

• 소수 간격(Gap between primes): 연속된 소수 사이의 차이를 의미한다.
• 리만 가설(Riemann Hypothesis): 소수 분포와 관련된 복잡한 함수의 영점이 직선 $\Re(s)=\frac12$ 위에 있다는 가설.
• 대수적 로그(logarithm): $\log p$는 자연로그를 의미한다.
• 빅오 표기법(Big O notation): 함수의 성장률 상한을 기술할 때 사용하는 수학적 표기법.

참고문헌

1. H. Cramér, On the order of magnitude of the difference between consecutive prime numbers, Acta Arithmetica, 1936.
2. A. Granville, Harald Cramér’s random model for the primes, in Proceedings of the International Congress of Mathematicians, 2002.
3. D. A. Goldston, J. Pintz, C. Y. Yıldırım, Primes in tuples I, Annals of Mathematics, 2007.
4. K. Ford, B. Green, S. Konyagin, J. Maynard, Large gaps between consecutive primes, Annals of Mathematics, 2021.
5. J. Tao, Polymath8b project: Bounded gaps between primes, preprint, 2014.

이 항목은 2026년 2월 현재까지 알려진 연구와 문헌을 종합하여 작성되었습니다.