Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers

기술 요약: 고도로 합성적인 수(HCN) 사이의 소수-지수 전이 기하학 및 약수 장벽

문제 정의
본 논문은 두 연속된 고도로 합성적인 수(Highly Composite Number, 이하 HCN) $H < H'$ 사이의 전이를 조사한다. HCN은 약수 함수 $d(n)$의 엄격한 기록 보유자이다(즉, 모든 $m < H$에 대해 $d(m) < d(H)$를 만족한다). 이 전이는 소수-지수 격자(prime-exponent lattice)에서의 유향 경로로 모델링되며, 상태 공간은 산술적 "천장(ceiling)" $z \le H'$에 의해 제약된다.

연구의 핵심 대상은 $H$와 $H'$ 사이의 측지선(geodesic, 지수 격자에서의 최단 경로)의 **최대 최소 용량(maximin capacity)**이다. 이는 초기 약수 개수 $d(H)$로 정규화된, 경로 상에서 마주치는 최소 약수 개수의 최댓값을 구하는 것이다. 이는 다음과 같은 고정 끝점 최대 최소 문제로 정식화된다:
$$\beta_{\text{geo}}(H, H') = \frac{1}{d(H)} \max_{\gamma} \min_{z \in \gamma} d(z)$$
여기서 최댓값은 모든 $H'$-허용 측지선 $\gamma$에 대해 취해진다.

방법론
본 접근 방식은 정밀한 산술적 열거, 동적 계획법(dynamic programming), 그리고 구조적 수론을 결합한다:

1. 상태 공간 및 재귀: 전이는 $H$와 $H'$의 소수 지수의 좌표별 최솟값과 최댓값으로 정의된 유한한 "지수 박스(exponent box)"를 통과하는 경로로 표현된다. 본 논문은 임의의 고정된 쌍 $(H, H')$와 천장에 대해 최적의 병목 용량을 계산하는 정확한 동적 계획법 재귀(정리 2.3)를 확립한다.
2. 상보적 반사(Complementary Reflection): 핵심적인 구조적 도구는 변환 $z \mapsto z^\sharp = HH'/z$이다. 저자는 모든 상태 $z$에 대해, 약수 개수의 곱이 $d(z)d(z^\sharp) \ge d(H)d(H')$를 만족함을 증명한다.
3. 정적(Static) 대 동적(Dynamic) 분석: 저자는 정적 중첩(static overlap)인 $d(\gcd(H, H'))$와 최적으로 스케줄링된 경로의 동적 용량을 대조한다. 저자는 정적 gcd 경로가 반드시 최적은 아님을 보여주는데, 이는 "삭제 후 삽입(delete-then-insert)" 순서를 강제하기 때문이다. 반면, 삭제와 삽입을 교차(interleaving)하면 더 높은 약수 개수를 유지할 수 있다.
4. 삭제 거리(Deletion Distance)에 따른 계층화: 문제는 삭제해야 하는 소수 층(prime layers)의 수인 $L^-$를 기준으로 분석된다. 본 논문은 $L^- \le 1$인 경우의 정확한 해를 제공하며, $L^- = 2$인 경우를 유한한 약수 선택 범함수(divisor-selection functional)로 환원한다.
5. 컴퓨터 보조 검증: $10^{70}$까지의 HCN에 대한 전수 조사가 수행되었다. 여기에는 889개의 기록과 888개의 연속된 전이가 포함되었다. 모든 전이에 대해 정수 산술을 사용하여 정확한 최대 최소 용량을 계산하였으며, 휴리스틱 탐욕적 스케줄러(greedy scheduler)를 임의 정밀도 구간 산술을 통해 최적해와 비교 검증하였다.

주요 기여 및 결과

• 정적 반값 경계의 실패: 본 논문은 정적 gcd 중첩이 항상 약수 개수의 절반 이상을 유지한다는 추측, 즉 $d(\gcd(H, H')) \ge d(H)/2$를 반증한다. 첫 번째 반례는 $H = 48,886,437,600$에서 나타나며, 이때 비율은 $4/9$이다. $10^{70}$ 범위 내에서 이 정적 경계는 119번 실패한다.
• 기록-박스 간극(Record-Box Gap): 반사 원리를 사용하여, 저자는 $H$와 $H'$의 지수 벡터 사이에 좌표적으로 위치하면서 동시에 $H$와 $H'$ 사이에 존재하는 정수 상태 $z$가 존재하지 않음을 증명한다. 결과적으로, 모든 허용 가능한 측지선은 $H$ 아래로 내려갔다가 $H'$로 돌아와야 한다.
• 동적 절반 용량: 정적 경계의 실패에도 불구하고, 검증된 범위 내에서 계산된 동적 용량 $\beta_{\text{geo}}(H, H')$는 결코 $1/2$ 미만으로 떨어지지 않는다.
• 등호 분류: $\beta_{\text{geo}}(H, H') = 1/2$가 발생하는 경우는 정확히 $H$에서 지수가 1인 소수가 제거될 때(즉, 지지 집합의 크기가 감소할 때)이다. 이러한 경우, 지지 소수의 손실로 인해 피할 수 없는 $1/2$의 손실이 발생한다.
• 정확한 환원:
  • $L^- = 1$인 경우, 용량은 정확히 $\frac{a}{a+1}$이며, 여기서 $a$는 삭제된 소수의 지수이다.
  • $L^- = 2$인 경우, 문제는 두 번째 삭제가 일어나기 전에 축적되어야 하는 "복구(repair, 삽입)" 과정을 분리하는 약수 선택 범함수 $R_s(C; g)$로 환원된다.
• 인증 및 스케줄링: 본 논문은 모든 경로를 열거하지 않고도 $1/2$ 하한을 보장하는 여러 산술적 인증(교차, 소스-프로파일 패킹, 보상 매칭)을 제공한다. 또한, 계산된 범위 내의 모든 888개 전치에 대해 동적 계획법 최적해와 일치하는 기록 특화 탐욕적 스케줄러(Rule G1-G2)를 제안한다.

의의 및 주장
본 논문은 HCN 사이의 전이를 분석하기 위한 다루기 쉬운 상태 공간과 증명된 메커니즘 세트를 확립했다고 주장한다. 주요 기여는 정적 산술 중첩과 동적 스케줄링 기하학 사이의 구분을 명시한 데 있다. 저자는 "표준" gcd 경로가 약수 개수의 절반 미만으로 크게 떨어질 수 있는 반면, 최적으로 교차된 경로는 항상 최소 절반 이상을 회복할 수 있음을 입증한다.

연구는 보편적 증명 측면에서는 겸허한 태도를 유지한다:

• 보편적 절반 용량 추측(모든 연속된 HCN에 대해 $\beta_{\text{geo}} \ge 1/2$)은 미해결 과제로 남아 있으나, 증명된 모든 계층($L^- \le 1$)과 검증된 전체 범위($10^{70}$)에서 성립한다.
• 등호 분류(지지 소수가 손실될 때 등호 성립) 역시 증명된 사례 외에는 추측으로 기술되어 있으나, 검증된 데이터에서도 성립한다.
• 본 논문은 임의의 정수에 대한 일반적인 최대 최소 문제를 해결하거나 해당 추측을 보편적으로 증명한다고 주장하지 않는다. 대신, "정확한 2-삭제 환원"과 "유한한 인증"을 제공함으로써 남은 미해결 문제를 약수 선택 범함수의 특정 산술적 제어로 좁힌다.

본 연구의 의의는 전이를 소수-지수 격자 상의 제약된 스케줄링 문제로 엄밀하게 정식화하고, "기록-박스 간극"을 발견하며, 정적 gcd 분석의 불충분함을 지적하는 재현 가능한 계산 프레임워크를 제공했다는 점에 있다.