Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

당신이 소수(prime numbers)라는 거대한 주머니를 가지고 있다고 상상해 보세요. 2, 3, 5, 7과 같은 수학의 기초 블록들 말이죠. 이제 이 소수들 중 무작위로 $k$개($k$는 2 이상)를 뽑아서 더한다고 상상해 봅시다. 이 논문은 매우 구체적인 질문을 던집니다. 만약 그 합의 역수(1 나누기 그 합)를 구하고, 아주 큰 수 $x$까지의 모든 가능한 소수 조합에 대해 이를 모두 더한다면, 그 총합은 어떤 모습일까요?

이것을 **가법적 메르텐스 합(additive Mertens sum)**이라 부르며, $S_k(x)$로 표기합니다.

놀라운 반전: 예상과는 달랐다

오랫동안 수학자들은 이 문제의 곱셈적(multiplicative) 버전에 집착해 왔습니다. 그 버전에서는 소수를 더하는 대신 곱합니다 (예: $p_1 \times p_2 \times \dots$). 이 버전은 매우 느리게 성장합니다. 마치 버튼을 계속 더블 클릭할 때마다 아주 조금씩 커지는 속삭임처럼 말이죠 (수학적으로는 $(\log \log x)^k$와 같이 성장합니다).

하지만 이 논문은 그 판도를 뒤집습니다. 저자인 다오이 펑(Daoyi Peng)과 하오 리우(Hao Liu)는 우리가 소수를 곱하는 대신 더할 때, 그 합이 훨씬 더 빠르게 폭발한다는 것을 발견했습니다. 이것은 속삭이는 것이 아니라 외치는 것입니다. 이 합의 주요 항(leading term)은 $\frac{x^{k-1}}{(\log x)^k}$와 같이 성장합니다.

이를 시각화해 보자면: 곱셈적 버전이 벽을 기어 올라가는 달팽이라면, 가법적 버전은 매우 구체적이고 예측 가능한 연료 소비율을 가진 로켓이 되어 솟구쳐 오르는 것과 같습니다.

마스터 레시피: 완전한 점근 전개(Asymptotic Expansion)

이 논문은 단순히 로켓의 속도만을 알려주는 것이 아니라, 전체 비행 경로에 대한 완전한 레시피를 작성합니다. 그들은 $x$가 무한히 커짐에 따라 $S_k(x)$를 다음과 같은 정밀한 공식으로 설명할 수 있음을 증명했습니다:

$$S_k(x) \approx \frac{x^{k-1}}{(\log x)^k} \times \left( \text{Constant}_0 + \frac{\text{Constant}_1}{\log x} + \frac{\text{Constant}_2}{(\log x)^2} + \dots \right)$$

이것을 고성능 망원경이라고 생각해 보세요. 첫 번째 항($\text{Constant}_0$)은 별들의 흐릿한 이미지를 보여줍니다. 다음 항($\text{Constant}_1$)은 초점을 맞춥니다. 그다음 항($\text{Constant}_2$)은 이미지를 결정체처럼 선명하게 만듭니다. 저자들은 더 나은 근사치를 얻기 위해 이 "초점 조절 노브"를 영원히 계속 추가할 수 있음을 증명했습니다.

비밀 재료: 계수들(Coefficients)

진정한 마법은 저 "상수(Constants)"들이 실제로 무엇인지 밝혀내는 데 있습니다. 저자들은 이 숫자들이 무작위가 아니라는 것을 발견했습니다. 이 숫자들은 복잡한 다차원 적분 안에 숨겨져 있습니다 (로그로 정의된 형상의 부피를 측정하는 다차원 공간의 형상을 상상해 보세요).

그들은 처음 몇 가지 재료의 코드를 해독하는 데 성공했습니다:

• 첫 번째 재료 ($E_{k,0}$): 이 값에 대해 깔끔한 폐쇄형(closed-form) 공식을 찾아냈습니다. 예를 들어, 2개의 소수를 선택하는 경우($k=2$), 이 숫자는 $2 \log 2$입니다.
• 두 번째 재료 ($E_{k,1}$): 이것은 $\pi^2$와 같은 유명한 수학 상수 및 폴리로그(polylogarithms, $\text{Li}_2$)라 불리는 특수 함수를 포함하여 조금 더 복잡합니다.
• 세 번째 재료 ($E_{k,2}$): 여기서부터 까다로워집니다. 저자들은 이 재료의 "대각선(diagonal)" 부분(변수들이 순조롭게 움직이는 부분)에 대해서는 완벽한 공식을 쓸 수 있었지만, "교차(cross)" 부분(변수들이 지저잡게 섞이는 부분)은 $k \ge 5$인 경우 악몽이 됩니다.

결정적으로, 이 논문은 $k$가 클 때(5 이상) 세 번째 재료에 대한 단순하고 통합된 공식이 존재하지 않음을 명시적으로 배제합니다. $k=2, 3, 4$와 같은 작은 경우에는 계산할 수 있지만, 수학이 복잡한 폴리로그 값들과 얽히면서 구조 자체가 근본적으로 변하며, 기존의 방식으로는 다루기 힘든 새로운 유형의 숫자들을 도입하게 된다는 것을 저자들은 보여줍니다.

특별한 경우: $k=2$

소수를 두 개만 선택하는 경우($k=2$), 저자들은 "황금 티켓"을 발견했습니다. 그들은 전체 계수 시퀀스($E_{2,0}, E_{2,1}, E_{2,2}, \dots$)가 디리클레 에타 함수(Dirichlet eta function)와 리만 제타 함수(Riemann zeta function)를 포함하는 하나의 아름다운 패턴을 따른다는 것을 발견했습니다. 이는 특정 망원경의 무한한 초점 조절 노브 전체를 하나의 우아한 방정식으로 설명할 수 있다는 것과 같습니다.

얼마나 확신하는가?

저자들은 자신들의 주요 결과에 대해 매우 확신하고 있습니다. 그들은 단순히 추측한 것이 아니라, 소수 정리(Prime Number Theorem)와 다변수 테일러 전개(multivariate Taylor expansions)와 같은 엄격한 도구를 사용하여 이를 증명했습니다.

• 증명: 그들은 $x$가 매우 커짐에 따라 그들의 공식에 의한 오차가 $\log x$의 어떤 거듭제곱보다도 빠르게 줄어든다는 것을 수학적으로 입증했습니다.
• 수치: 이론을 뒷받침하기 위해 대규모 컴퓨터 시뮬레이션을 실행했습니다.
  • $k=2$의 경우, $5,000,000$까지 테스트했습니다. 공식의 첫 다섯 항만을 사용했을 때 근사치의 오차는 단 **0.2%**였습니다.
  • $k=3$의 경우, $10,000,000$까지 테스트했습니다. 세 항을 사용한 공식의 오차는 약 **1.3%**였습니다.
  • 그들은 또한 흥미로운 점을 발견했습니다: 작은 수들에 대해 공식을 너무 일찍 멈추면 오히려 성능이 떨어집니다. 이것이 "점근적(asymptotic)" 급수의 본질입니다. 즉, 지도가 멀리 갈수록 더 정확해지지만, 만약 그 "먼 곳"의 지도를 가지고 당신의 앞마당을 항해하려 한다면 길을 잃을 수도 있는 것과 같습니다.

결론

이 논문은 소수의 역수의 합이 어떻게 행동하는지에 대한 오래된 미스터리를 해결합니다. 모호한 추측을 정밀한 무한한 레시피로 대체했습니다. 비록 그들이 첫 몇 단계의 레시피(그리고 가장 단순한 경우인 두 소수의 경우 전체 레시피)를 풀어내긴 했지만, 더 복잡한 많은 소수의 경우에 대한 경계선도 분명히 그었습니다. 즉, "교차 항(cross-term)" 재료들은 단 하나의 단순한 공식으로 쓰기에는 너무나 복잡합니다. 수학은 존재하며 증명되었고 테스트되었지만, 큰 $k$에 대한 마지막 퍼즐 조각은 여전히 아름답고 풀리지 않은 매듭으로 남아 있습니다.