Every natural number is a sum of distinct semiprime unit fractions

기술 요약: "모든 자연수는 서로 다른 세미프라임 단위 분수의 합이다"

문제 정의
본 논문은 제한된 분모를 가진 에르되시-그레이엄(Erdős–Graham) 문제의 특정 사례를 다룬다. 일반적인 문제는 제곱 자유(squarefree) 분모 $b$에 대하여, 모든 유리수 $a/b$가 정확히 $\omega$개의 서로 다른 소수의 곱인 $n_i$들의 단위 분수 $1/n_i$의 합으로 표현될 수 있는지 묻는다.

• 맥락: $\omega \ge 3$인 경우, 정수 케이스($b=1$)는 2015년 Butler, Erdős, Graham (BEG15)에 의해 증명되었다. 그들은 $\omega = 2$ (세미프라임 분모)인 경우에도 이 결과가 성립할 것이라고 추측했으나, 유도 과정을 추진하는 조합론적 "피드(feed)"가 $\omega$가 감소함에 따라 퇴화한다는 점을 지적하며 이를 증명하지 못했다.
• 목표: 본 논문은 $\omega = 2$인 정수 케이스($b=1$)를 해결하여, 모든 자연수 $m \ge 1$이 세미프라임 분모를 가진 서로 다른 단위 분수들의 유한한 합임을 증명한다. 또한, 명시적인 임계값 이상의 유리수 $a/b$ (제곱 자유 $b$인 경우)로 결과를 확장하며, $\omega = 3$인 전체 유리수 케이스를 증명한다.

방법론
증명은 BEG15에서 확립된 유도 프레임워크를 채택하고 수정한다. 핵심 메커니즘은 프리모리얼(primorial)에서 유도된 특정 "원자(atom)" 집합들의 부분 집합 합(subset sums)을 분석하는 것이다.

1. 부분 집합 합으로의 환원:
   문제는 자연수 $m$에 대하여, $P_N m$ (여기서 $P_N$은 $N$번째 프리모리얼)이 집합 $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$의 부분 집합 합의 집합 $L_2(N)$에 속하는 $N$이 존재함을 보이는 것으로 환원된다.

2. 유도 골격 (Induction Skeleton):
   증명은 $L_2(N)$이 $D_2(N)$의 원소들의 합인 $\sigma_2(N)$을 기준으로 하는 "중앙 블록" $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$를 포함한다는 것을 확립하는 데 의존한다.

• 기초 단계 (Base Case): 45개의 원자에 대한 부분 집합 합 도달 가능성을 확인하기 위해 팩킹된 비트셋(packed bitset)을 사용하여 $N_0 = 10$에 대해 계산적으로 검증되었다.
• 유도 단계 ($N \to N+1$): 유도 단계는 분할 재귀식 $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$을 사용한다. 여기서 $L_1(N)$은 단일 소수 역수들의 부분 집합 합(즉, "피드")이다.

3. $\omega=2$의 장애물 극복:
   $\omega=3$의 경우, 피드 $L_1(N)$은 풍부한 집합이다. $\omega=2$의 경우, 피드는 단일 소수들의 부분 집합 합으로 축소되어 구조적으로 "희박(thin)"해진다. BEG15의 방법은 "런스-커넥트(runs-connect)" 논증이 존재하지 않는 퇴화된 케이스에서 작동하지 않았는데, 이는 잔여 완결성(residue-complete)을 가진 내부 집합이 필요했기 때문이다.

• 새로운 통찰: 저자는 $\omega=2$ 재귀식에서 커버링 윈도우(covering window, 단일 피드 원소에 의해 커버되는 목표 값의 구간)가 항상 전체 피드 범위보다 길거나 같다는 점을 관찰한다. 결과적으로, 이 윈도우는 반드시 피드의 한 끝점($0$또는$\sigma_1(N)$)을 포함해야 한다.
• 전략: 희박한 피드의 내부 구조를 복구하려 노력하는 대신, 피드를 직접 잔여 완결 객체로 사용한다. 유도가 성공하려면 피드가 새로운 소수 $q = p_{N+1}$에 대해 (특정 스트립 길이 내에서) 모든 잔여 클래스를 "충분히 빨리" 달성해야 한다.

4. 해석적 및 계산적 검증:
   증명은 단일 부등식 $Y_0(N) \le \beta(N)$으로 난이도를 낮춘다. 여기서 $Y_0(N)$은 피드의 잔여 완결성을 위한 시작 반경이고, $\beta(N)$은 가용 스트립 길이이다.

• 유한 범위 ($10 \le N \le 299$): 잔여 군 $\mathbb{Z}_q$ 상에서의 Dijkstra 스타일 최단 경로 알고리즘을 통한 정밀 정수 산술을 통해 검증되었다.
• 해석적 꼬리 (Analytic Tail, $N \ge 300$): 소수 간격에 대한 기초적인 체비쇼프 경계와 소수 역수의 합의 단조성을 사용하여 증명되었다.
• 잔여 완결성: Olson의 덧셈 정리가 엄격하게 적용되지 않는 작은 $N$의 경우, 잔여 완결성이 계산적으로 검증되었다.

주요 결과

1. 정리 1.2 (정수 케이스): 모든 자연수 $m \ge 1$은 세미프라임 분모를 가진 서로 다른 단위 분수들의 유한한 합으로 쓰일 수 있다. 증명은 비구성적(non-constructive)이며 효과적이지만, 분모의 크기에 대해 거대한 경계값(대략 $N \sim \exp(\exp(O(\sqrt{m})))$)을 산출한다.
2. 유리수 확장 (정리 7.1 및 7.4): 임의의 제곱 자유 분모 $b$에 대하여, 모든 유리수 $a/b \ge \min\{B_{N_b}/6, 1/5\}$는 서로 다른 세미프라임 단위 분수의 합으로 표현 가능하다. 여기서 $B_{N_b}$는 $b$의 최대 소인수에 의존한다.
3. 유리수 $\omega=3$ 정리 (정리 8.1): 제곱 자유 $b$를 갖는 모든 양의 유리수 $a/b$는 스페닉(sphenic) 분모(세 개의 서로 다른 소수의 곱)를 가진 서로 다른 단위 분수들의 합이다. 이는 "리프트(lift)" 논증을 통해 달성된다: 목표 값을 큰 소수 $r$로 곱하여 $\omega=2$ 정리의 표현 가능한 범위로 이동시킨 후, 다시 $r$로 나누는 방식이다.
4. 일반 $\omega \ge 3$ (따름정리 8.6): 하강(descent)에 의해, 이 결과는 모든 $\omega \ge 3$으로 확장된다.

의의 및 미해결 문제

• 추측의 해결: 본 논문은 BEG15에서 추측으로 남겨졌던 $\omega=2$ 정수 케이스에 대한 첫 번째 완전한 증명을 제공한다. 이는 "희박한 피드" 영역을 엔드포인트 커버리지(endpoint coverage)에 의존하도록 유도를 적응시켜 처리할 수 있음을 보여준다.
• 무조건적 결과: 모든 결과는 기초적인 정수론과 독립적인 스크립트로 검증된 유한 계산에 의존하는 무조건적인 결과이다.
• 남은 핵심 과제: 논문은 $\omega=2$ 문제의 "깊은 핵심(deep core)", 즉 $a/b < \min\{B_{N_b}/6, 1/5\}$인 유리수들이 유일하게 남은 미해결 과제임을 밝힌다.
  • 저자는 이를 단 하나의 명시적인 추측인 **갭-프리 플로어 추측 (Gap-Free Floor Conjecture, GFF)**으로 환원한다. 이 추측은 세미프라임 부분 집합 합 집합의 갭-프리 플로어가 $N \to \infty$일 때 0으로 수렴한다고 가정한다. 이것이 참이라면, 모든 유리수에 대한 문제를 해결할 수 있을 것이다.
• 범위: 본 논문은 제곱 인수를 가진 분모(이 제약 조건 하에서는 표현이 불가능함)나 고정된 유한 집합을 사용하는 표현에 대해서는 다루지 않는다. 초점은 엄격하게 세미프라임 역수의 보편적 가법 기저(additive basis)에 맞춰져 있다.

이 연구는 현재의 방법론이 허용하는 데까지 증명을 밀어붙이는 "엔진" 역할을 하며, $\omega=2$ 케이스의 작은 유리수들에 대한 완전한 해결을 가로막는 구체적인 구조적 어려움(갭-프리 플로어)을 격리해 낸 것으로 묘사된다.