🔢 mathematics

A parametric family of primes p = km(m+1) + e + 2kq: heuristic laws, conditional theorems, and unconditional primality certificates

이 논문은 29,998자리의 인증된 소수와 가짜 제타 신호 상관관계의 반증을 포함한 엄격한 무조건적 결과들을 확립함으로써 $p = km(m+1) + e + 2kq$ 형태의 소수 매개변수 가족을 조사하고, 이들 소수의 분포 및 최소 매개변수에 관한 조건부 휴리스틱과 정리들을 도출한다.

원저자: Hassane Bakkaoui

게시일 2026-06-16

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Hassane Bakkaoui

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 건초더미 속에서 바늘을 찾으려고 노력하고 있다고 상상해 보십시오. 그런데 그 건초더미는 숫자로 만들어져 있고, 바늘은 소수(prime numbers)(2, 3, 5, 7, 11처럼 1과 자기 자신으로만 나누어떨어지는 숫자)입니다.

수 세기 동안 수학자들은 간단한 규칙을 알고 있었습니다. 3보다 큰 임의의 소수를 가져오면, 그 수는 항상 6의 배수로부터 정확히 한 걸음 떨어진 곳에 위치한다는 것입니다. 즉, $6n + 1$ 또는 $6n - 1$ 의 형태를 띱니다.

하산 바카위(Hassane Bakkaoui)가 쓴 이 논문은 다음과 같은 거대한 질문을 던집니다. 만약 우리가 게임의 규칙을 바꾼다면 어떻게 될까? 6의 배수를 찾는 대신, 다른 숫자(예를 들어 10, 14, 20 등)의 배수를 살펴보고, "프로닉 수(pronic number)"라고 불리는 특별한 모양(2, 6, 12, 20처럼 $m \times (m+1)$ 형태인 숫자)을 사용한다면 어떨까요?

저자는 이러한 새로운 패턴 속에서 소수를 사냥하기 위해 거대하고 유연한 공식을 만들어냅니다. 다음은 저자가 발견한 내용을 쉬운 비유를 들어 정리한 것입니다.

1. 새로운 사냥터: 매개변수 가족 (A Parametric Family)

저자의 공식을 맞춤 제작된 낚시 그물이라고 생각해 보십시오.

표준 그물: 기존의 규칙( $p = 6n \pm 1$ )은 그물 코의 크기가 고정된 그물입니다.
새로운 그물: 저자의 공식( $p = k \cdot m(m+1) + \epsilon + 2kq$ )은 그물 코의 크기( $k$ ), 구멍의 모양( $m$ ), 그리고 그물을 당기는 방향( $\epsilon$ )을 조절할 수 있는 그물입니다.
목표: 모든 소수에 대해, 저자는 이 그물에 "딱 맞는" 설정(offset, $q$ )을 찾아낼 수 있습니다. 이 오프셋은 패턴의 중심에서 소수까지의 "거리"를 의미합니다.

2. 세 가지 발견의 층위

이 논문은 발견한 내용을 확신의 정도에 따라, 마치 기초가 탄탄한 바닥, 지지대가 필요한 중간층, 그리고 예측에 불과한 지붕처럼 세 가지 "층위"로 분류합니다.

1계층: 단단한 기초 (엄밀함/무조건적 사실 - Rigorous/Unconditional)

이것들은 저자가 어떤 추측도 필요 없이 증명해 낸 사실들입니다.

고정된 축: 저자는 특정 설정에서 소수들이 특정한 "차선" 안에 갇혀 있다는 것을 증명했습니다. 그물을 어떻게 조절하더라도, 소수는 특정 숫자로 나누었을 때 항상 특정한 나머지에 도ما 착륙합니다. 이는 마치 기차가 반드시 정해진 궤도를 따라가야 하는 것과 같아서, 경로를 벗어날 수 없는 것과 같습니다.
거대 소수: 특정 하위 가족(k=3인 경우)을 사용하여, 저자는 29,998자리의 소수를 만들어냈습니다. 이 숫자의 규모를 짐작해 보자면, 만약 이 숫자를 직접 쓴다면 텍스트로 약 10페이지를 채울 정도입니다. 저자는 단순히 추측한 것이 아니라, 이 숫자가 소수임을 의심의 여지 없이 증명하는 "증명서(certificate, 수학적 영수증)"를 함께 구축했습니다. 이 작업은 일반적인 노트북 한 대로 약 3시간 만에 완료되었습니다.
"가짜" 신호: 저자는 소수가 리만 제타 함수(수학계의 유명하고 신비로운 대상)의 리듬에 맞춰 "춤을 춘다"고 제안했던 이전의 아이디어를 테스트했습니다. 저자는 통계적 테스트(카드 덱을 섞는 것과 같은 방식)를 사용하여 이 춤은 존재하지 않는다는 것을 증명했습니다. 겉으로 보이는 연결 고리는 통계적 환상, 즉 구름 속에서 얼굴을 보는 것과 같은 현상이었습니다. 저자는 수학적으로 이 신호가 사라진다는 것을 증명했습니다.

2계층: 중간층 (조건부 사실 - Conditional)

이 발견들은 매우 높은 확률로 참이지만, 리만 가설과 같은 유명한 수학적 추측들이 옳다는 전제하에 성립합니다.

얼마나 멀리 찾아야 하는가? 저자는 소수를 찾기 위해 보통 얼마나 멀리 검색해야 하는지(q의 크기)를 계산했습니다. 만약 그 유명한 리만 가설이 참이라면, 검색 거리는 예측 가능하고 관리 가능한 방식으로 증가합니다.
평균 거리: 저자는 소수를 찾기 위해 검색해야 하는 "평균" 거리에 대한 공식을 찾아냈습니다. 결과적으로 그 거리는 우리가 찾고자 하는 패턴 크기의 약 4분의 1 정도가 됩니다.

3계층: 지붕 (휴리스틱/경험적 추측 - Heuristic)

이것들은 컴퓨터 시뮬레이션과 패턴에 기반한 교육된 추측이지만, 아직 증명되지는 않았습니다.

로그 법칙: 저자는 소수를 찾는 평균 거리가 매우 느리게(로그 함수적으로) 증가한다고 제안합니다. 이는 "건초더미가 거대해지더라도, 다음 바늘을 찾기 위해 아주 많이 더 오래 찾을 필요는 없다"는 뜻과 같습니다.
보편적 상수: 저자는 소수의 크기와 검색 거리 사이의 관계를 설명하는 듯한 기하학적 상수( $C_0$ )를 발견했습니다. 이는 다양한 설정에서도 변하지 않는 "마법의 숫자"로, 마치 이 소수 패턴들을 위한 보편적인 물리 법칙과 같습니다.

3. 이 논문이 하지 않는 것

이 논문이 주장하지 않는 바를 아는 것도 중요합니다:

이 논문은 수학의 가장 큰 미해결 문제들(리만 가설 자체를 증명하는 것 등)을 해결하지 않습니다.
모든 소수를 즉각적으로 생성해 내는 방법을 찾았다고 주장하지 않습니다.
이 연구가 의학, 공학, 또는 암호학에 즉각적인 용도가 있다고 제시하지 않습니다 (물론 소수는 암호화에 사용되지만, 이 특정 연구는 이론적입니다).

요약 비유

당신이 새로운 대륙을 지도화하는 지도 제작자라고 상상해 보십시오.

**엄밀한 부분(Rigorous)**은 당신이 해안선을 그리고 "이 산은 확실히 여기에 있고, 이 강은 분명히 이렇게 흐른다"라고 증명하는 것입니다. 또한 당신은 논란의 여지가 없는 거대한 도시(29,998자리의 소수)를 발견했습니다.
**조건부 부분(Conditional)**은 당신이 "기후가 우리가 예상하는 대로 움직인다면, 숲은 이 정도 높이까지 자랄 것이다"라고 말하는 것입니다.
**휴리스틱 부분(Heuristic)**은 당신이 "토양을 바탕으로 볼 때, 나무들은 아마도 이런 특정한 패턴으로 자랄 것이다"라고 추측하는 것입니다.
**부정적인 부분(Negative)**은 두 지점을 연결하는 "유령 강"이 있다고 주장했던 옛 지도를 반박하는 것입니다. 당신은 수학과 데이터를 통해 그 강은 존재하지 않았으며, 단지 빛의 착시였음을 증명했습니다.

핵심 결론:
이 논문은 소수를 바라보는 새롭고 매우 구조화된 방식을 제공합니다. 저자는 몇 가지 확고한 사실을 증명하고, 그 사실들에 기반하여 강력한 예측을 내놓으며, 소수가 리만 제타 함수와 어떻게 연관되는지에 대한 오해를 바로잡습니다. 이것은 무엇이 알려진 사실이고, 무엇이 가능성이 높으며, 무엇이 단지 추측인지 엄격하게 구분하며 그려낸 특정 영역의 지도입니다.

기술 요약: 소수의 매개변수적 가족 (A Parametric Family of Primes)

문제 정의
본 논문은 모든 소수 $p > 3$ 가 $p \equiv \pm 1 \pmod 6$ 을 만족한다는 기초적인 관찰을 일반화한 특정 매개변수적 가족을 통해 소수의 분포를 조사한다. 저자들은 다음과 같은 정수 가족을 정의한다:
$p_{k,m,\varepsilon,q} = km(m+1) + \varepsilon + 2kq$
여기서 $k, m \in \mathbb{N}^*$ , $\varepsilon \in \{\pm 1\}$ , $q \in \mathbb{Z}$ 이다. 고정된 소수 $p$ 에 대해, 저자들은 $|q|$ 가 최소화되는 유일한 "표준 삼조항(canonical triple)" $(m, \varepsilon, q)$ 를 식별한다. 연구의 핵심 대상은 이 최소 오프셋(minimal offset)인 $q_{\min}(k, m, \varepsilon)$ 이며, 이는 세 가지 층위(layer)를 통해 분석된다: 한계적(marginal, 크기 vs. $m$ ), 조건부(conditional, $m$ 이 주어졌을 때의 분포), 그리고 모듈로(modular, $\ell$ 에 대한 법(mod) 분포). 본 연구는 엄밀한 구조적 법칙, 조건부 정리(GRH, RH, 또는 Bateman–Horn 가정 시), 휴리스틱 예측, 그리고 스펙트럼 상관관계에 관한 부정적 결과(negative results)를 구분하는 것을 목표로 한다.

방법론
본 연구는 해석적 정수론, 계산 정수론, 통계적 분석을 결합한 다층적 접근 방식을 채택한다:

구조적 분석: 정수론의 기초적인 수론과 디리클레(Dirichlet)의 산술 급수 정리를 사용하여 정확한 모듈로 제약 조건과 경계값을 확립하는 엄밀한 증명을 수행한다.
조건부 정리: 표준적인 추측들(일반화된 리만 가설(GRH), 리만 가설(RH), Bateman–Horn 추측)을 가정하여 경계값 및 분포 법칙을 도출한다.
계산적 구성: 3-smooth 부류( $k=3, \varepsilon=1, m=2^a 3^b - 1$ ) 내에서 대형 소수를 생성하고 인증하기 위해 Pocklington–Lehmer 판정법을 사용하는 "PrimeQuest" 알고리즘을 구현한다.
통계적 반증: 누적 함수 $Q(r) = \sum q_n$ 과 리만 제타 함수의 제로(zeros) 사이의 스펙트럼 상관관계를 테스트하기 위해, $10^8$ 개의 소수에 대해 순열 검정(shuffle, block, Theiler surrogate) 및 편향 없는 회귀 분석을 적용한다.
해석적-부정적 증명(Analytic-Negative Proof): 스펙트럼 상관관계 문제를 제곱근-위상(square-root-phase) 소수 지수 합으로 환원하여, 제타 제로로부터 오는 임의의 선형 신호가 반드시 소멸함을 무조건적으로 증명한다.

주요 기여 및 결과

엄밀한 구조적 법칙:
- 퇴화된 모듈로 축(Degenerate Modular Axis): $2k$ 를 나누는 임의의 소수 $\ell$ 에 대하여, 이 가족의 모든 소수는 $q$ 와 독립적으로 $p \equiv \varepsilon \pmod \ell$ 을 정확히 만족함을 증명한다. 이는 "퇴화된" 모듈로 축을 고정한다.
- 무조건적 인증(Unconditional Certificates): 부류 $p = 3m(m+1)+1$ (단, $m = 2^a 3^b - 1$ )에 대하여, 저자들은 Pocklington–Lehmer 인증이 무조건적임을 증명하였다. 이들은 29,998 자릿수의 소수( $m^* = 2^{19435} \cdot 3^{19173} - 1$ )를 구축하였으며, 이를 소비자용 하드웨어에서 4시간 이내에 인증하였다.
- 산술 필터: 이차 상호 법칙(quadratic reciprocity)과 mod-7 합동 조건을 갖춘 두 가지 사전 필터를 통해, 대형 정수 연산을 수행하기 전에 후보군의 약 **87.1%**를 제거할 수 있음을 증명하였다.
조건부 정리:
- $q_{\min}$ 의 경계값: 일반화된 리만 가설(GRH)을 가정할 때, $|q_{\min}| = O_k(m (\log m)^2)$ 임을 증명한다.
- 조건부 평균: GRH와 Bateman–Horn 가설 하에서, 조건부 기댓값은 $E[|q| \mid m] = m/4 + O((\log m)^2/\sqrt{m})$ 으로 도출된다.
- 제타 발자국(Zeta Footprint): 리만 가설(RH)을 가정할 때, 제타 제로가 층 점유율(layer occupancy)에 미치는 개별 소수당 "발자국"은 $\ll p^{-1/4}(\log p)^2$ 로 제한된다.
휴리스틱 법칙 (수치적으로 검증됨):
- 한계 법칙(Marginal Law): 경험적 데이터( $N=10^6$ )는 $E[|q_{\min}|] \sim \log m / C_k$ 를 지지하며, 여기서 $C_k$ 는 상수이다.
- 기하학적 상수: 보편적 기하학적 항등식 $C_0(k) = \langle |q| \rangle / \sqrt{p} = 1/(4\sqrt{k})$ 가 테스트된 모든 $k$ 에 대해 0.02% 이내의 오차로 안정적임을 관찰하였다.
- 간격 법칙(Gap Law): $k=3$ 인 경우, 평균 간격은 Hardy–Littlewood 특이 급수 법칙을 따른다.
부정적 결과 (스펙트럼 상관관계의 반증):
- 본 논문은 누적 함수 $Q(r)$ 과 $\zeta(s)$ 의 제로 사이의 스펙트럼 상관관계에 대한 기존의 주장을 엄밀하게 무효화한다.
- 통계적 증거: $N=10^8$ 에서 회귀 진폭 $R^2$ 는 $1.16 \times 10^{-7}$ 로 떨어지며, 순열 검정은 유의미한 신호가 없음을 확인한다.
- 해석적 증명: 정리 6.6은 임의의 고정된 $\gamma$ 에 대해 $N \to \infty$ 일 때 회귀 진폭 $A_N(\gamma) \to 0$ 임을 무조건적으로 증명한다. 제타의 제로들은 $Q(r)$ 의 스펙트럼 주파수가 아님이 밝혀졌으며, 이들의 영향력은 선형 스펙트럼 신호가 아닌 $\sqrt{x}$ 스케일(Selberg 분산)에서의 통계적 제약으로 제한된다.

의의 및 주장
본 논문은 명시적으로 정수론의 고전적인 미해결 문제들(예: 패리티 장벽, 리만 가설, 또는 $N^{1/2}$ 에서의 균등 소수 정리)을 해결하려는 것이 아님을 밝힌다. 대신, 본 연구의 의의는 다음과 같다:

인식론적 엄밀성: 모든 주장이 엄밀하게 '엄밀함(Rigorous)', '조건부(Conditional)', '휴리스틱(Heuristic)', 또는 '부정적(Negative)'으로 분류되는 "실험 수학"의 프레임워크를 도입한다.
구성적 성취: 특정 매개변수 형태를 통해 생성된 29,998자릿수 소수의 독립적인 검증된 기록을 제공한다.
해석적 명확화: 소수 오프셋과 제타 제로 사이의 직접적인 스펙트럼 연결에 관한 의문을 결정적으로 종결시키며, 그러한 상관관계가 허구적인 회귀 인공물(spurious regression artifacts)임을 증명한다.
영역의 지도화: 소수 분포를 매개변수적 가족을 통해 연구하기 위한 정밀하고 반증 가능한 구조를 정의하며, 이는 기존의 추측에 대한 해결책이라기보다 "보완적인 연구 방향"을 제시하는 것이다.

저자들은 기하학적 상수 $C_0(k) = 1/(4\sqrt{k})$ 가 신비로운 불변량이 아니라 도출된 항등식임을 강조하며, 제타 제로에 관한 "부정적" 결과는 특정 지수 합의 소멸로부터 도출된 결정적이고 무조건적인 정리임을 강조한다.