Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

이 논문은 리만 제타함수의 최소 영점 자유 영역을 계산하여 65 이상의 $k$에 대해 연속된 $k$제곱수 사이에 소수가 존재함을 보장하고, 86 제곱수 사이에는 항상 소수가 존재하며 70 제곱수의 특정 정수열 사이에도 소수가 존재함을 증명함으로써 레전드르 추측을 향한 진전을 정량화했습니다.

핵심

🌌 1. 배경: 우리가 찾고 있는 것 (소수와 제곱수)

우리는 **소수 (Prime Number)**라는 '우주의 별들'이 어떻게 분포되어 있는지 알고 싶습니다.
전통적인 수학자들은 다음과 같은 질문을 던집니다.

"어떤 정수 $n$을 선택했을 때, $n^2$과 $(n+1)^2$ 사이에는 반드시 별 (소수) 이 하나 이상 있을까?"

이것이 바로 르장드르의 추측입니다. 하지만 아직 이걸 100% 증명하지는 못했습니다. 마치 "우주 어딘가에 반드시 별이 있을 거라 믿지만, 아직 그 모든 영역을 직접 확인하지는 못했다"는 상황입니다.

🔍 2. 연구자의 도전: "완벽한 증명" 대신 "최소한의 조건" 찾기

저자 (이선) 는 "완벽한 증명 (모든 $n$에 대해)"을 당장 하기는 어렵다고 판단했습니다. 대신, **"어떤 조건이 충족되면 이 문제가 해결될까?"**를 계산했습니다.

그가 찾은 해법은 **'영역 (Zero-free region)'**이라는 개념입니다.

• 비유: 리만 제타 함수 (수학의 거대한 지도) 에는 '소수 (Zero)'가 없는 안전한 구역이 있습니다. 이 구역이 얼마나 넓고 깊어야 하는지 계산하는 것입니다.
• 목표: "만약 이 지도의 특정 구역에 소수가 없다면, 우리는 $n^{86}$과 $(n+1)^{86}$ 사이에는 반드시 별이 있다는 것을 증명할 수 있다!"라고 외치는 것입니다.

🚀 3. 주요 성과: 3 가지 발견

이 논문은 세 가지 중요한 성과를 냈습니다.

① "86 승"의 승리 (Theorem 1.2)

• 내용: $n^{86}$과 $(n+1)^{86}$ 사이에는 항상 소수가 존재합니다.
• 비유: 예전에는 $n^3$ 사이에도 소수가 있다는 건 알았지만, $n^{86}$처럼 숫자가 커질수록 그 사이가 너무 넓어져서 소수가 없을 수도 있다고 의심했습니다. 하지만 이 연구는 "아니요, 86 승까지라면 소수가 꼭 있어요"라고 확신 있게 말했습니다.
• 의미: 이전 기록 (90 승) 을 86 승으로 끌어내린 것입니다.

② "70 승"의 특별한 전략 (Theorem 1.3)

• 내용: 모든 숫자 $n$에 대해 70 승 사이를 보장할 수는 없지만, 특정한 숫자들만 골라내면 70 승 사이에도 소수가 항상 있습니다.
• 비유: "모든 길에 가로등이 있는 건 아니지만, 우리가 정한 '특수한 마을'들 사이에는 가로등이 꼭 있어요"라고 하는 것입니다.
• 전략: 모든 $n$을 다 확인하는 대신, $n$이 너무 작을 때만 예외를 두고 나머지는 모두 증명했습니다.

③ "등대"의 위치를 계산하다 (Theorem 1.4)

• 내용: 만약 우리가 $k=70, 75, 80, 85$에 대해 **리만 제타 함수의 '소수 없는 구역 (Zero-free region)'**을 특정 조건만큼 넓게 증명할 수 있다면, 그때는 $n^k$와 $(n+1)^k$ 사이에 소수가 항상 있다는 것을 증명할 수 있습니다.
• 비유: "우리가 등대 (수학적 증명) 를 이 정도 높이 ($T_k$) 까지 올리고, 이 정도 넓이 ($Z_k$) 로 비추기만 한다면, 70 승 구간까지도 안전하다고 선언할 수 있습니다"라고 말합니다.
• 의미: 이것이 바로 **"우리가 르장드르의 추측에 얼마나 가까운지"**를 수치로 보여줍니다. "등대를 264.334 까지 올리면 70 승 문제가 해결된다"는 식입니다.

💡 4. 왜 이것이 중요한가?

이 논문은 **"우리가 아직 얼마나 멀었는지"**를 정밀하게 측정했습니다.

• 과거: "소수 분포를 증명하려면 등대가 아주 높아야 해."
• 이제: "등대를 이 정도 높이 ($T_k$) 까지 올리면 86 승은 해결되고, 70 승은 조금 더 높여야 해."

저자는 이 계산을 통해 **"르장드르의 추측 (모든 제곱수 사이)"**을 증명하기 위해 우리가 앞으로 얼마나 더 노력해야 하는지, 그리고 현재 기술로는 어디까지 도달할 수 있는지를 명확하게 보여줍니다.

📝 요약

이 논문은 **"소수라는 별들이 $n^k$와 $(n+1)^k$ 사이에도 반드시 있는지"**를 증명하기 위해, 수학적 지도 (리만 제타 함수) 의 특정 구역이 얼마나 깨끗해야 하는지를 계산했습니다.

• 결과 1: $n^{86}$ 사이에는 소수가 항상 있습니다.
• 결과 2: $n^{70}$ 사이에도 소수가 있지만, 아주 큰 숫자만 해당되거나, 수학의 '등대'를 더 높여야 증명됩니다.
• 핵심 메시지: 우리는 아직 르장드르의 추측을 완전히 증명하지는 못했지만, **"어떤 조건을 채우면 증명된다"**는 구체적인 지도를 그려냈습니다.

이 연구는 수학자들이 앞으로 어떤 방향으로 '등대'를 더 높여야 할지 나침반을 제공한 셈입니다.

기술 요약

이 논문은 **리만 제타 함수 (Riemann zeta-function) 의 영점 (zeros) 이 존재하지 않는 영역 (zero-free regions)**을 최소화하여, 연속된 완전 $k$제곱수 사이에는 항상 소수가 존재함을 보장하는 조건을 연구한 것입니다. 저자 에단 심프슨 리 (Ethan Simpson Lee) 는 기존의 결과를 개선하여 $k \ge 65$에 대한 구체적인 계산 결과를 제시하고, 레전드르의 추측 (Legendre's conjecture) 을 향한 중요한 이정표들을 얼마나 달성했는지 정량화했습니다.

다음은 논문의 주요 내용, 방법론, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 연구 문제 및 배경 (Problem & Background)

• 레전드르의 추측 (Legendre's Conjecture): 임의의 정수 $n \ge 1$에 대해 구간 $(n^2, (n+1)^2)$ 내에 항상 소수가 존재한다는 추측입니다. 이는 현재 리만 가설 (RH) 을 가정하더라도 증명되지 않은 난제입니다.
• 인함 (Ingham) 의 정리: 리만 제타 함수의 영점 분포를 이용하여, 충분히 큰 $n$에 대해 구간 $(n^3, (n+1)^3)$ 내에 소수가 존재함을 증명했습니다.
• 현재의 과제: 무조건적으로 (unconditionally) 모든 $n \ge 1$에 대해 구간 $(n^k, (n+1)^k)$ 내에 소수가 존재함을 증명할 수 있는 최소 정수 $k$를 찾는 것입니다.
  • 최근 연구 (Cully-Hugill 등) 에 따르면 $k=90$이 허용 가능한 값으로 알려져 있었습니다.
  • 본 논문은 이 값을 개선하여 $k=86$으로 낮추고, $k < 86$인 경우를 다루기 위한 새로운 전략을 제시합니다.

2. 방법론 (Methodology)

소수 존재성을 증명하기 위해 세 가지 핵심 요소가 결합되었습니다:

1. 리틀우드 (Littlewood) 형태의 영점 없는 영역 (Zero-free regions): $\zeta(s)$가 0 이 아닌 영역을 정의합니다.
2. 영점 개수 상한 (Zero-density estimates): 직사각형 영역 내의 비자명 영점 개수 $N(\sigma, T)$에 대한 상한식.
3. 잘린 리만 - 폰 망골트 (Riemann–von Mangoldt) 공식의 오차 항: 소수 계량 함수 $\theta(x)$와 $\psi(x)$의 오차에 대한 명시적 추정.

주요 전략적 혁신:

• 다중 상한식 적용: 기존의 단일 $N(\sigma, T)$ 상한식 대신, $67 \le k \le 85$구간에서 **두 가지 이상의 상한식**을 조합하여 적용했습니다. 이는$k$가 작아질수록 더 엄격한 제약을 요구하는 문제에서 계산 효율을 극대화했습니다.
• 매개변수화된 경계 (Parametrised Bounds): 소수 계량 함수의 차이 $\theta(x+h) - \theta(x)$에 대한 새로운 보조 정리 (Proposition 3.1) 를 증명하여, 다양한 $k$와 $x$ 범위에 유연하게 적용 가능한 정밀한 오차 항을 유도했습니다.
• 부분 집합에 대한 결과: $k=70$의 경우 모든 자연수에 대해 증명하는 대신, 특정 조건을 만족하는 정수 수열 $a_n$에 대해서는 소수가 존재함을 증명하는 전략을 취했습니다.

3. 주요 결과 (Key Results)

A. $k=86$에 대한 완전한 증명 (Theorem 1.2)

• 결과: 모든 정수 $n \ge 1$에 대해 구간 $(n^{86}, (n+1)^{86})$ 내에 적어도 하나의 소수가 존재합니다.
• 의의: 이는 기존에 알려진 $k=90$에서 $k=86$으로 개선된 것으로, 무조건적인 소수 존재 범위를 크게 확장했습니다.

B. $k=70$에 대한 부분적 증명 및 수열 (Theorem 1.3)

• 결과: $N \ge \exp(15951/70) - \exp(2135/70)$인 정수 $N$에 대해, 수열 $a_n = n(1 + \lfloor N/n \rfloor)$로 정의된 모든 $n \ge 1$에 대해 구간 $(a_n^{70}, a_{n+1}^{70})$ 내에 소수가 존재합니다.
• 특징: 이는 $k=70$에 대한 완전한 증명 (모든 $n$에 대해) 은 아니지만, 매우 큰 $n$ ($n > 9.189 \times 10^{98}$) 에 대해서는 $a_n = n$이 되어 사실상 $k=70$에 대한 완전한 결과를 의미합니다.

C. 최소 영점 없는 영역의 계산 (Theorem 1.4)

• 결과: $k \in \{85, 80, 75, 70\}$에 대해, 리만 제타 함수가 특정 얇은 직사각형 영역에서 0 이 아니라는 가정이 성립하면, 해당 $k$에 대해 모든 $n \ge 1$에서 소수가 존재함을 증명할 수 있음을 보였습니다.
• 구체적 예시 ($k=70$): 만약 $\zeta(\sigma + it) \neq 0$이 $0.99168 \le \sigma \le 1$이고$HR < |t| \le e^{264.334}$인 영역에서 성립한다면, 모든$n \ge 1$에 대해$(n^{70}, (n+1)^{70})$ 내에 소수가 존재합니다.
• 표 1 및 5: $k$값 ($65 \le k \le 85$) 에 따라 필요한 영점 없는 영역의 파라미터 ($z_k, T_k$) 를 명시적으로 계산하여 제시했습니다.

4. 계산 및 데이터 (Computations)

• Python 활용: 모든 계산은 Python 을 사용하여 수행되었으며, 코드는 공개되었습니다.
• 영점 분포 데이터: Platt 와 Trudgian이 제시한 리만 높이 ($HR \approx 3 \times 10^{12}$) 와 Bellotti, Wong 등의 최신 $N(\sigma, T)$ 상한식을 활용하여 오차 항을 정밀하게 통제했습니다.
• 보조 정리 (Proposition 3.2, 3.3, 3.4): $x$의 범위를 구간별로 나누어 (예: $x \ge \exp(15951)$, $4 \cdot 10^{18} \le x \le \exp(2135)$ 등) 각 구간에서 소수 존재성을 보장하는 조건을 조합했습니다.

5. 의의 및 결론 (Significance & Conclusion)

1. 레전드르 추측에 대한 접근: $k$를 2 로 줄이는 것은 여전히 어렵지만, $k=86$까지의 무조건적 증명과 $k=70$에 대한 조건부 증명 (영점 없는 영역 가정) 은 레전드르 추측을 증명하기 위한 이론적 거리를 정량화하는 중요한 이정표입니다.
2. 영점 없는 영역의 최적화: 특정 $k$값을 증명하기 위해 필요한 제타 함수의 영점 없는 영역의 "두께"와 "높이"를 계산함으로써, 향후 더 강력한 영점 분포 결과가 나왔을 때 어떤 $k$까지 증명 가능할지 예측할 수 있는 기준을 마련했습니다.
3. 기법적 기여: $N(\sigma, T)$에 대한 여러 상한식을 상황에 맞게 조합하여 사용하는 방법론은 소수 분포 문제뿐만 아니라 다른 해석적 정수론 문제에서도 유용하게 적용될 수 있는 도구로 제시되었습니다.

요약하자면, 이 논문은 리만 제타 함수의 성질을 정밀하게 분석하여, 연속된 완전 $k$제곱수 사이의 소수 존재 문제를 $k=86$까지 무조건적으로 해결하고, 더 작은 $k$값에 대해서는 필요한 영점 없는 영역의 조건을 구체적으로 제시함으로써 소수 분포 이론의 지평을 넓혔습니다.