Zeta-regularization and natural boundaries: Sums and products of integers and primes

기술 요약: 제타 정규화와 자연 경계

문제 정의
본 논문은 정수와 소수를 포함하는 발산하는 무한 곱과 합에 대해 유한하고 정규화된 값을 할당하는 과제를 다룬다. 오일러는 모든 자연수의 곱($P = \sqrt{2\pi}$)과 정수 거듭제곱의 합을 리만 제타 함수 $\zeta(s)$를 사용하여 성공적으로 정규화했으나, 모든 자연 소수의 곱($\Pi$)으로 이 방법을 확장하는 데는 근본적인 장애물이 존재한다. 소수 제타 함수 $P(s) = \sum p^{-s}$는 허수축을 따라 자연 경계(natural boundary)를 가지며, 이로 인해 원점($s=0$) 근처에서 해석적이지 않다. 결과적으로, $P'(0)$와 같은 미분값을 평가하는 데 의존하는 표준 제타 정규화 기법은 소수의 곱에 적용될 수 없다. 나아가, 본 논문은 모든 소수의 합인 $P(-1)$을 정규화하는 더욱 어려운 문제를 다루는데, 이는 자연 경계로부터 유한한 거리만큼 떨어진 지점($s=-1$)에서의 함수 평가를 요구한다. 마지막으로, 저자들은 정수가 소수로 유일하게 분해되는 9개의 허수 이차체(imaginary quadratic fields)로 이러한 결과를 일반화하고자 한다.

방법론
저자들은 해석적 연속, 뫼비우스 반전, 그리고 Muñoz García와 Pérez-Marco의 연구를 변형한 휴리스틱 정규화 체계를 결합하여 사용한다.

1. 자연 경계 처리: 소수의 곱을 위해, 저자들은 아르틴-하세 항등식(Artin-Hate identity)을 사용하여 소수 제타 함수 $P(s)$를 리만 제타 함수 $\zeta(s)$와의 관계식 $P(s) = \sum_{n \ge 1} \frac{\mu(n)}{n} \log \zeta(ns)$를 통해 표현한다. 이를 통해 뫼비우스 함수 $\mu(n)$을 포함하는 급수를 $\sum \mu(n)n^{-s} = 1/\zeta(s)$ 항등식을 사용하여 정규화함으로써 $P'(0)$를 평가할 수 있다.
2. 소수의 합: $P(-1)$을 계산하기 위해, 저자들은 자연 경계 근처에서 $P(-1+\epsilon)$의 급수 전개를 분석한다. 뫼비우스 합에서 홀수 항과 짝수 항을 분리하고 리만 제타 함수의 함수 방정식(반사 공식)을 활용함으로써, 저자들은 발산하는 로그 항들을 분리해낸다. 이러한 발산 항들은 $\mu(n)$을 포함하는 디리클레 급수의 알려진 값들을 사용하여 정규화되며, 최종적으로 유한한 값을 갖는 수렴 급수를 남긴다.
3. 이차체로의 확장: 이 방법론은 계수 하나가 1인 9개의 허수 이차체 $\mathbb{Q}(\sqrt{-d})$(헤그너 수)로 확장된다. 저자들은 데데킨트 제타 함수 $\zeta_\Delta(s)$와 연관된 디리클레 L-함수 $L_\Delta(s)$를 활용한다. 이들은 정수 환(가우스 정수 $\mathbb{Z}[i]$, 아이젠슈타인 정수 $\mathbb{Z}[\omega]$ 등) 내에서 자연 소수의 분할(splitting), 침입(inert), 분기(ramified) 거동을 분석하여 이들 체에 대한 소수 제타 함수 $P_\Delta(s)$를 도출한다. 정규화된 곱은 $s=0$에서의 데데킨트 제타 함수의 미분값과 소수 제타 함수의 미분값을 연관시킴으로써 결정된다.

주요 기여 및 결과

• 정규화된 소수의 합: 본 논문은 자연 경계로 인해 접근 불가능하다고 여겨졌던 모든 자연 소수의 합에 대한 휴리스틱한 유도를 제공한다. 결과는 다음과 같다:
  $$\sum_{p} p = P(-1) = \frac{5}{2} + \sum_{n \ge 1} \frac{\mu(n)}{n} \log \left( \frac{n! (e/n)^n \zeta(n+1)}{\sqrt{2\pi n}} \right) \approx 2.925292456\dots$$
  비자명한 정규화는 유리수 부분인 $5/2$를 산출하며, 나머지 급수는 수렴한다.

• 거듭제곱 법칙 관계: 저자들은 이 수체들에서 모든 정수의 정규화된 곱($P_\Delta$)과 모든 소수의 정규화된 곱($\Pi_\Delta$) 사이의 보편적인 거듭제곱 법칙 관계를 확립한다. 관계식은 다음과 같다:
  $$|\Pi_\Delta| = |P_\Delta|^{2w_\Delta}$$
  여기서 $w_\Delta$는 정수 환의 단원(unit)의 개수이다.

  • 자연 정수($\mathbb{Z}$)의 경우: $w=2$ (단위 $\pm 1$), $\Pi = P^4$를 얻는다.
  • 아이젠슈타인 정수($\mathbb{Z}[\omega]$)의 경우: $w=6$, $|\Pi_3| = |P_3|^{12}$를 얻는다.
  • 가우스 정수($\mathbb{Z}[i]$)의 경우: $w=4$, $|\Pi_4| = |P_4|^8$를 얻는다.
  • 나머지 7개의 허수 이차체의 경우: $w=2$, $|\Pi_\Delta| = |P_\Delta|^4$를 얻는다.

• 명시적 값: 본 논문은 9개 모든 허수 이차체에서 정수의 정규화된 곱에 대한 명시적 수치와 폐쇄형 표현(감마 함수 및 Chowla-Selberg 감마 비율 포함)을 계산한다. 예를 들어, $|P_3|^2 = \frac{2\pi}{3} \frac{\Gamma(1/3)^3}{\Gamma(2/3)^3}$ 이고, $|P_4|^2 = \frac{\pi}{2} \frac{\Gamma(1/4)^2}{\Gamma(3/4)^2}$ 이다.

의의 및 범위
본 논문은 이러한 유도가 관련 제타 함수가 자연 경계를 가지는 상황, 즉 특정 포텐셜에서의 양자 역학, 통계 역학, 게이지 이론 등 다양한 물리적 맥락에서 흔히 발생하는 상황으로 제타 정규화 기법의 범위를 확장한다고 주장한다. 저자들은 소수 곱 공식(1.2)의 유도가 최근의 돌파구였던 반면, 소수의 합(1.6)의 계산은 "자연 경계 너머"로 이러한 기법을 확장한 새로운 진전임을 언급한다.

이 연구는 주로 수론적 맥락 내에서 제시된다. 저자들은 이 접근 방식의 관심사가 물리로 확장된다고 명시적으로 밝히는데, 그 이유는 "다양한 물리적 상황에서, 관련 제타 함수가 자연 경계를 가지기 때문에 제타 정규화 기법을 실제로 적용할 수 없는 경우가 있기 때문"이다. 다만, 본 논문은 구체적인 새로운 물리 실험을 제안하거나 이러한 특정 수론적 결과가 기존의 물리적 문제를 해결한다고 주장하지 않는다. 대신, 적용 가능한 수학적 도구와 유사성을 제공한다. 저자들은 보편적 공식(1.10)이 더 일반적인 대수적 수체, 특히 실수 이차체에 대해 유효한지는 여전히 미해결 과제로 남아 있다고 결론짓는다.