On the discrete convolution of the Liouville and Möbius functions

이 논문은 최근 연구에서 제시된 일반적인 접근법을 활용하여 리우빌 함수의 이산 합성곱 $S(n)$ 에 대한 가중 평균에 대한 명시적 공식을 유도하고, 이를 통해 $S(n)$ 의 디리클레 급수 및 거듭제곱 급수와 관련된 성질과 임의 개수의 인자에 대한 이산 합성곱에 대한 새로운 정보를 제시합니다.

핵심

1. 배경: 숫자 세계의 ' erratic (예측 불가능한) 행동'

수학자들은 소수처럼 규칙이 없어 보이는 숫자들을 연구할 때, 개별 숫자를 하나하나 쫓는 대신 **평균 (Average)**을 내서 전체적인 흐름을 파악합니다. 마치 폭포수의 물방울 하나하나를 세는 대신, 물의 흐름 전체를 관찰하는 것과 같습니다.

이 논문에서 연구자들은 리우빌 함수라는 도구를 사용합니다. 이 함수는 숫자를 소인수분해했을 때, 소인수의 개수가 짝수면 +1, 홀수면 -1을 주는 아주 단순한 규칙을 따릅니다.

• 비유: 이 함수는 숫자 세계의 **'소금 (Liouville)'**과 같습니다. 어떤 숫자에 소금을 뿌리면 그 숫자의 성질이 바뀝니다 (+1 또는 -1).

2. 핵심 질문: 소금 두 알을 섞으면? (디스크리트 컨볼루션)

이 논문이 다루는 핵심 문제는 바로 **"소금 두 알을 섞으면 어떤 맛 (결과) 이 나오는가?"**입니다.

수학적으로는 $S(N)$이라는 함수를 정의합니다. 이는 $N$이라는 숫자를 만들 수 있는 모든 두 숫자의 조합 ($m_1 + m_2 = N$) 을 찾아, 각 숫자에 소금을 뿌린 값 (+1 또는 -1) 을 곱해서 모두 더한 것입니다.

• 골드바흐 추측과의 연결: 유명한 골드바흐 추측은 "4 보다 큰 모든 짝수는 두 소수의 합으로 나타낼 수 있다"는 것입니다. 이 논문은 골드바흐 추측과 매우 비슷한 구조를 가진 **'리우빌 함수의 골드바흐 문제'**를 다룹니다. 즉, "소금 두 알을 섞었을 때, 그 결과가 0 이 아니라면 (양수라면) 어떤 의미가 있을까?"를 탐구합니다.

3. 연구 방법: '확장된 렌즈'로 보기

연구자들은 이 복잡한 합계를 계산하기 위해 **'가중치 (Weight)'**라는 개념을 도입합니다.

• 비유: 우리가 멀리 있는 별을 볼 때, 망원경에 여러 개의 렌즈를 붙여 이미지를 선명하게 하거나 특정 부분을 확대해 보듯, 이 논문은 다양한 '렌즈 (가중치 함수)'를 통해 숫자들의 합계를 관찰합니다.

이를 통해 연구자들은 다음과 같은 놀라운 공식을 찾아냈습니다.

주요 발견 1: 리우빌 함수의 합계 공식

연구자들은 $S(N)$의 합계를 계산할 때, **리만 제타 함수 (Riemann Zeta Function)**의 영점 (Zeros) 들이 어떻게 작용하는지 보여주는 정교한 공식을 유도했습니다.

• 비유: 이 공식은 마치 **'숫자 세계의 지도'**입니다. 지도에는 리만 제타 함수의 영점들이 '등대'처럼 박혀 있고, 이 등대들의 빛이 모여 $S(N)$의 값을 결정한다는 것을 보여줍니다.
• 특히, 이 공식은 **리만 가설 (Riemann Hypothesis)**이 참이라고 가정할 때 가장 정확하게 작동합니다. (리만 가설은 수학의 가장 유명한 미해결 문제 중 하나로, 소수의 분포를 설명하는 열쇠입니다.)

주요 발견 2: 디리클레 급수의 확장

이 공식을 이용하면, $S(N)$을 이용해 만든 새로운 수열 (디리클레 급수) 이 어디까지 확장 가능한지를 알 수 있습니다.

• 결과: 이 수열은 $Re(s) > 1$ 영역까지 완벽하게 확장될 수 있습니다. 하지만 그 너머 ($Re(s) = 1$) 에는 '자연스러운 장벽 (Natural Boundary)'이 있어 더 이상 넘어갈 수 없다는 것도 증명했습니다.
• 비유: 이 수열은 **'수학적인 담장'**을 가지고 있습니다. 우리는 담장 안쪽 ($Re(s) > 1$) 을 완벽하게 볼 수 있지만, 담장 너머는 안개 낀 미로처럼 더 이상 명확한 규칙이 없다는 뜻입니다.

4. 더 나아가서: 소금 3 알, 4 알... N 알까지!

이 연구는 두 숫자를 더하는 경우뿐만 아니라, 3 개, 4 개, 심지어 임의의 개수 (d 개) 의 숫자를 더하는 경우로도 확장되었습니다.

• $S_d(N)$: $N$을 $d$개의 숫자로 나눈 모든 경우의 소금 값들을 더한 것.
• 연구자들은 이 경우에도 비슷한 공식을 찾아냈습니다. 숫자를 더 많이 섞을수록 공식은 더 복잡해지지만, 여전히 '리만 제타 함수의 등대들'이 그 흐름을 지배한다는 것을 보였습니다.

5. 뫼비우스 함수 (Möbius Function) 도 마찬가지

리우빌 함수뿐만 아니라, 수학의 또 다른 유명한 도구인 뫼비우스 함수 ($\mu(n)$) 에 대해서도 똑같은 연구가 가능함을 보였습니다. 뫼비우스 함수는 소수 분해 시 중복된 소수가 있으면 0 이 되고, 없으면 +1 또는 -1 을 주는 함수입니다.

• 이는 골드바흐 추측을 증명하는 데 중요한 단서가 될 수 있는 '소금 (리우빌)'과 '설탕 (뫼비우스)'이 서로 어떻게 연결되는지를 보여줍니다.

---

📝 요약: 이 논문이 우리에게 주는 메시지

1. 혼란 속의 질서: 숫자들의 합이 무작위로 움직이는 것처럼 보이지만, 사실은 **리만 제타 함수의 영점 (등대)**이라는 보이지 않는 규칙에 의해 조종되고 있습니다.
2. 새로운 도구: 연구자들은 복잡한 숫자 합계를 계산할 때, 다양한 '가중치 (렌즈)'를 적용하는 새로운 공식을 개발했습니다. 이는 골드바흐 추측과 같은 난제를 풀기 위한 강력한 무기가 될 수 있습니다.
3. 확장성: 이 방법은 두 숫자를 더하는 경우뿐만 아니라, 100 개, 1000 개를 더하는 경우에도 적용할 수 있는 범용적인 방법론을 제시했습니다.

결론적으로, 이 논문은 "숫자 세계의 예측 불가능한 혼란을, 리만 제타 함수라는 거대한 지도를 통해 어떻게 체계적으로 이해하고 예측할 수 있는가"에 대한 아름다운 해답을 제시한 연구입니다. 비록 리만 가설이 완전히 증명되지는 않았지만, 그 가설이 참이라고 가정했을 때 우리가 얼마나 많은 것을 알 수 있는지를 보여줍니다.

기술 요약

1. 연구 문제 (Problem)

이 논문은 정수론, 특히 소수 분포와 관련된 난제들을 다루는 맥락에서 **리우빌 함수 (Liouville function, $\lambda(n)$)**와 **뫼비우스 함수 (Möbius function, $\mu(n)$)**의 이산 합성 (discrete convolution) 에 대한 성질을 연구합니다.

• 주요 대상: 리우빌 함수의 자기 합성 (self-convolution) 인 $S(N)$을 정의합니다.
  $$S(N) := \sum_{n \le N} \lambda(n) \lambda(N-n)$$
  이는 골드바흐 추측 (Goldbach conjecture) 과 유사한 형태의 카운팅 함수로, $\Lambda(n)$ (폰 망골트 함수) 의 합성 $R(N)$과 구조적으로 유사합니다.
• 배경:
  • 초우 (Chowla) 추측: $\sum \lambda(n)\lambda(n+h) = o(x)$는 쌍둥이 소수 추측과 밀접하게 연관되어 있습니다.
  • 기존 연구: 코라디 (Corrádi) 와 카타이 (Kátai) 는 $S(N) = o(N)$을 추측했으며, 이는 시겔 영점 (Siegel zeros) 의 무한 존재 가정 하에 증명되었습니다. 최근 만젤 (Mangerel) 은 충분히 큰 $N$에 대해 $|S(N)| < N^{-1}$을 증명했습니다.
• 연구 목적: 이러한 결과들을 바탕으로, $S(n)$에 대한 **가중 평균 (weighted averages)**에 대한 명시적 공식 (explicit formula) 을 유도하는 것입니다. 이는 골드바흐 수의 합성 $R(N)$에 대해 수행된 바 있는 접근법을 리우빌 함수의 합성에 적용하는 것을 목표로 합니다.

2. 방법론 (Methodology)

논문의 핵심 방법론은 **리만 가설 (Riemann Hypothesis, RH)**과 **비자명한 영점의 단순성 (simplicity of non-trivial zeros)**을 가정하여, 리우빌 함수의 합계 함수 $L(x) = \sum_{n \le x} \lambda(n)$에 대한 명시적 공식을 확장하고, 이를 라플라스 합성 (Laplace convolution) 적분으로 변환하는 것입니다.

• 명시적 공식의 확장: 기존 문헌에서는 $x \ge 1$인 경우에만 유효한 $L(x)$의 명시적 공식을, $x > 0$ 전체 영역으로 확장합니다. 이를 위해 페론 공식 (Perron's formula) 을 변형하고, 리만 제타 함수 $\zeta(s)$의 비자명한 영점 $\rho$를 이용한 급수 전개를 수행합니다.
• 라플라스 합성 (Laplace Convolution): $S(n)$의 합계 함수인 $C_\lambda(x) = \sum_{n \le x} S(n)(x-n)$는 $L(x)$와 자신의 합성 $\int_0^x L(y)L(x-y)dy$와 동일합니다. 이 적분을 $L(x)$의 명시적 공식을 대입하여 항별 적분 (termwise integration) 합니다.
• 베타 및 감마 함수 활용: 적분 과정에서 등장하는 항들은 베타 함수 (Beta function) 와 감마 함수 (Gamma function) 로 표현되며, 이는 영점 $\rho$에 대한 급수의 수렴성을 보장하는 데 핵심적인 역할을 합니다.
• 일반화된 가중 평균: Cantarini 등 (2023) 의 논문 [6] 에서 제시된 일반적인 접근법을 차용하여, 임의의 가중치 함수 $f(w)$에 대한 합성 공식을 유도합니다. 이 공식은 $f$의 지지 (support) 와 미분 가능성에 대한 조건을 만족해야 합니다.
• 가정: 모든 주요 결과는 **리만 가설 (RH)**과 비자명한 영점의 단순성, 그리고 SZ 추측 (영점의 역수 합에 대한 추정) 을 가정합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 가중 평균에 대한 명시적 공식 (Theorem 1)

리만 가설과 영점의 단순성을 가정할 때, 임의의 가중치 함수 $f$에 대해 다음 공식이 성립함을 증명했습니다.
$$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right) = \text{주요항 (Main Terms)} + \text{오차항}$$

• 주요항:
  1. $\zeta(1/2)$와 관련된 상수항 ($\pi \eta / 8\zeta(1/2)^2$ 등).
  2. 리만 제타 함수의 비자명한 영점 $\rho$에 대한 단일 급수 항.
  3. 두 개의 영점 $\rho_1, \rho_2$에 대한 이중 급수 항.
• 오차항: $O_\epsilon(\eta^{1/2+\epsilon} \dots)$ 형태로 제어됩니다.
• 특이점 처리: $a\eta \ge 1$인 경우 추가적인 항 $L(\eta a) \int L(\eta v - \eta a) f'(v) dv$가 포함됩니다.

B. 디리클레 급수와 멱급수의 해석적 연속 (Corollary 2 & Theorem 17)

• 디리클레 급수: $S(n)$에 대한 디리클레 급수 $\sum_{n \ge 1} S(n)n^{-s}$는 **$\text{Re}(s) > 1$인 반평면으로 해석적 연속 (analytic continuation)**이 가능함을 증명했습니다.
• 자연 경계 (Natural Boundary): 만약 비자명한 영점들의 허수 부분이 유리수 위에서 선형 독립이라고 가정하면, 직선 $\text{Re}(s) = 1$은 이 급수의 자연 경계가 됩니다. 이는 급수가 이 직선을 넘어 해석적으로 확장될 수 없음을 의미합니다.
• 멱급수: $S(n)e^{-ny}$에 대한 공식도 유도되었습니다.

C. 뫼비우스 함수로의 확장

리우빌 함수에 대한 모든 결과는 뫼비우스 함수 $\mu(n)$에 대해서도 유사하게 적용됩니다.

• $S^*(n) = \sum_{m_1+m_2=n} \mu(m_1)\mu(m_2)$에 대한 명시적 공식과 디리클레 급수 $\sum S^*(n)n^{-s}$의 성질을 증명했습니다.
• 이는 $\Lambda(n)$과 $\mu(n)$ 사이의 디리클레 곱 관계를 통해 골드바흐-type 문제와 연결됩니다.

D. 임의의 항 개수 ($d$-term) 로의 일반화 (Section 5)

• $d \ge 2$개의 항을 가진 합성 함수 $S_d(N) = \sum_{m_1+\dots+m_d=N} \lambda(m_1)\dots\lambda(m_d)$에 대한 결과를 일반화했습니다.
• $d-2$번의 적분을 통해 Cesàro 평균을 계산하고, 이에 대한 명시적 공식을 유도했습니다. 이 공식은 $d$개의 영점 급수 항을 포함하며, $d$가 증가함에 따라 차수가 조정됩니다.

4. 의의 및 중요성 (Significance)

1. 골드바흐-type 문제의 새로운 통찰: 리우빌 함수와 뫼비우스 함수의 합성은 소수 분포의 깊은 성질 (특히 쌍둥이 소수 추측 및 골드바흐 추측) 과 밀접하게 연결되어 있습니다. 이 논문은 이러한 복잡한 합성 함수에 대해 명시적인 점근적 공식을 제공함으로써, 기존에 추측만 존재하던 영역에 엄밀한 수학적 도구를 제공합니다.
2. 해석적 수론적 기법의 정립: $x>0$ 영역까지 명시적 공식을 확장하고, 이를 라플라스 합성을 통해 처리하는 기법은 향후 유사한 산술 함수의 합성 문제를 연구하는 데 중요한 표준 방법론이 될 수 있습니다.
3. 영점 분포와의 연결: 결과식이 리만 제타 함수의 영점 $\rho$에 대한 급수로 표현됨에 따라, 소수 분포의 불규칙성 (erratic behavior) 이 리만 제타 함수의 영점 분포와 어떻게 직접적으로 연관되는지를 명확하게 보여줍니다.
4. 자연 경계의 확인: 디리클레 급수의 자연 경계가 $\text{Re}(s)=1$임을 보임으로써, 이 함수들의 성질이 리만 가설의 영점 분포에 의해 결정되는 한계를 명확히 했습니다.

결론

이 논문은 리우빌 및 뫼비우스 함수의 이산 합성에 대해 리만 가설 하에서 강력한 명시적 공식을 제시하고, 이를 통해 해당 함수들의 디리클레 급수 성질과 고차 합성 문제를 해결했습니다. 이는 정수론에서 난제들의 평균적 성질을 연구하는 데 있어 중요한 이론적 진전을 이룬 것으로 평가됩니다.