🔢 mathematics

Large fluctuations of extended Rademacher random multiplicative functions

이 논문은 확장된 라데마허 확률적 곱함수(extended Rademacher random multiplicative functions)의 부분합이 거의 확실하게(almost surely) $\frac{\sqrt{x}(\log\log x)^{1/4}}{V(x)}$ 를 초과하는 임의의 큰 변동을 보임을 증명함으로써, 에르되시 문제(Erdős Problem) #1144를 긍정적으로 해결하고 부호 변화 횟수에 대한 새로운 거의 확실한 하한을 확립한다.

원저자: Haozhe Gou, Max Wenqiang Xu

게시일 2026-09-14

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Haozhe Gou, Max Wenqiang Xu

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

정수론의 광활한 풍경 속에서 수학자들은 흔히 자연수 수열 속에 숨겨진 패턴을 연구합니다. 가장 흥미로운 퍼즐 중 하나는 정수들이 특정한 방식으로 무작위로 곱해질 때 이들이 어떻게 행동하는지를 이해하는 것입니다. 모든 소수(모든 정수의 구성 요소)에 무작위적인 양수 또는 음수 부호를 할당하고, 그 선택을 소인수를 바탕으로 모든 다른 숫자로 확장한다고 상상해 보십시오. 이는 숫자를 더해감에 따라 커지는 혼란스럽고 요동치는 합을 만들어냅니다. 수십 년 동안 전문가들은 이러한 요동이 얼마나 격렬해질 수 있는지 궁금해했습니다. 이 요동들이 예측 가능한 범위 내에 머물 것인가요, 아니면 표준적인 확률 규칙이 제시하는 범위를 훨씬 뛰어넘어 가끔씩 치솟을 것인가요? 이 질문은 무작위성과 산술의 엄격한 구조 사이의 깊은 연결 고리를 건드리며, 20세기 초부터 현재까지 사상가들을 괴롭혀 온 문제입니다.

한 연구팀이 이제 이러한 요동의 한계에 대한 오랜 질문에 답을 내놓았습니다. 구체적으로는 자연계에서 발견되는 특정 복잡한 숫자 패턴의 행동을 모방하는 모델에 관한 것입니다. 그들은 만약 당신이 이 무작위 숫자들을 계속 더해 나간다면, 그 총합이 이 특정 유형의 모델에 대해 이전에 생각했던 것보다 훨씬 더 높은 높이로 가끔씩 치솟는다는 것을 증명했습니다. 이전의 연구들은 이보다 약간 더 단순한 모델들이 큰 스파이크를 생성할 수 있음을 보여주었지만, 이번 새로운 연구는 모든 숫자를 포함하는 더 복잡한 버전이 이와 똑같이 변동성이 크다는 것을 입증했습니다. 연구진은 이 합이 항의 개수의 제곱근에 로그가 반복되는 매우 느리게 성장하는 인자를 곱하고, 다시 임의의 큰 수를 곱한 높이까지 상승할 수 있음을 보여주었습니다. 더 쉽게 말하면, 이 합은 단순히 흔들리는 것이 아니라, 숫자가 커짐에 따라 무작서한 제약을 거부하는 듯한 높이로 가끔씩 도약하며, 수열이 성장함에 따라 이를 무한히 반복한다는 것입니다.

하오제 구(Haozhe Gou)와 맥 웬치앙 쉬(Max Wenqiang Xu) 팀은 확장된 라데마허 무작위 곱 함수(extended Rademacher random multiplicative function)라고 불리는 수학적 대상에 집중했습니다. 이를 이해하려면 먼저 동전 던지기에 따라 앞으로 가거나 뒤로 가는 표준적인 무작위 보행(random walk)을 떠올려야 합니다. 이 수학적 버전에서 "발걸음"은 모든 숫자의 소인수에 의해 결정됩니다. 연구진은 중복된 소인수를 가진 숫자들을 제외한 고유한 숫자들만이 아니라, 중복된 소인수를 가진 숫자들을 포함한 모든 정수에 규칙이 적용되는 특정 변형을 살펴보았습니다. 이 차이점은 매우 중요한데, 중복된 인수를 가진 숫자들을 포함하는 것이 수학적으로 훨씬 더 풀기 어렵게 만드는 숨겨진 구조를 도입하기 때문입니다. 오랫동안 이 특정하고 더 복잡한 모델이 그보다 단순한 모델만큼이나 격렬하게 행동할 것인지가 미해결 문제로 남아 있었습니다. 저자들은 답이 '그렇다'는 것을 증명함으로써 이 문제를 해결했으며, 이 스파이크가 얼마나 커질 수 있는지에 대한 정확한 공식을 제공했습니다.

그들의 작업은 수십 년 동안 유명한 미해결 과제 목록에 올라 있던 문제를 해결했습니다. 문제는 이 무작위 숫자들의 합이 결국 단순한 제곱근 함수에 의해 제한될 수 없을 정도로 커질 것인가 하는 점이었습니다. 연구자들은 그것이 실제로 그렇다는 것을 증证明했습니다. 그들은 이 합이 충분히 느리게 성장한다면, 어떤 임계값을 설정하더라도 결국 그 값을 넘어서게 된다는 것을 보여주었습니다. 이것은 단지 이론적인 가능성이 아닙니다. 저자들은 이러한 거대한 스파이크가 거의 확실하게 발생한다는 것을 보여주었습니다. 이 스파이크의 크기는 전체 숫자의 개수의 제곱근에, 그 개수의 로그의 로그를 특정 거듭제곱한 인자를 곱한 값에 의해 결정됩니다. 이 결과는 이러한 혼란스러운 행동이 단순한 모델의 부산물이 아니라 시스템 자체에 내재된 것임을 확인시켜 줍니다.

저자들은 상당한 수학적 장애물을 헤쳐 나가야 했습니다. 더 단순한 모델들에서 다루는 숫자들은 서로를 쉽게 상쇄시키는 성질을 가지고 있어, 마치 완벽하게 균형 잡힌 저울와 같습니다. 그러나 이 더 복잡한 모델에서는 규칙이 중복된 인수를 가진 숫자들을 허용하기 때문에 그 균형이 깨지며, 이는 저울의 한쪽에 무거운 무게를 더하는 것과 같습니다. 이러한 불균형은 수학적 설명이 폭발하는 지점인 '극점(pole)'을 만들어내어 표준적인 기법들을 실패하게 만듭니다. 연구진은 문제를 두 부분, 즉 작은 숫자의 기여와 큰 숫자의 기여로 나누어 이 문제를 처리하는 새로운 방법을 개발했습니다. 그들은 작은 숫자들이 혼란스럽기는 하지만 시스템을 압도하지는 않는다는 것을 보여주었으며, 요동을 주도하는 큰 숫자들은 독립적인 무작위 변수들의 집합체로 취급하여 분석할 수 있음을 보여주었습니다.

그들의 증명에서 핵심적인 통찰은 큰 숫자의 효과를 분리하기 위한 영리한 수학적 트릭의 사용이었습니다. 그들은 한 지점에서의 합과 그 지점에서 4배 더 멀리 떨어진 지점에서의 합 사이의 차이를 살펴보았습니다. 이 차이는 필터처럼 작용하여 지저지고 복잡한 배경 소음을 제거하고, 큰 소인수로부터 오는 신호만을 남깁니다. 이 필터링된 신호를 연구함으로써, 그들은 이것이 서로 독립적인 것처럼 보이는 무작위 점들의 구름처럼 행동한다는 것을 보여줄 수 있었습니다. 고급 확률 도구를 사용하여, 그들은 이 점들 중 일부가 서로를 상쇄하지 않을 만큼 충분히 떨어져 있어 합이 최대 잠재 높이에 도달할 수 있음을 증명했습니다.

그들의 연구는 이전의 더 단순한 모델들에 대한 연구에서 암시되었던 추측을 엄밀하게 확인해 줍니다. 이는 단순히 이러한 큰 요동이 가능하다는 것을 시사하는 데 그치지 않고, 그것이 거의 확실하게(almost surely) 발생한다는 것을 증명합니다. 즉, 그것이 일어날 확률이 사실상 1이라는 의미입니다. 저자들은 컴퓨터 시뮬레이션이나 근사치에 의존하지 않고, 충분히 큰 모든 수에 대해 성립하는 완전한 수학적 증명을 제공했습니다. 그들의 작업은 이러한 확장된 무작위 함수들의 행동에 관한 한 장을 마무리하며, 제곱 없는(square-free) 숫자들뿐만 아니라 모든 정수를 포함하는 것이 수학자들이 오랫동안 의심해 온 극단적인 변동성을 그대로 유지한다는 것을 확인시켜 주었습니다.

더 넓은 정수론의 맥락에서, 이 결과는 무작위성이 숫자의 근본적인 구조와 어떻게 상호작용하는지에 대한 우리의 이해를 정교화하는 데 도움을 줍니다. 이는 무작위 시스템에 복잡성의 층을 더하더라도, 극한의 사건에 대한 잠재력은 미묘한 수학적 법칙에 의해 지배되며 여전히 존재한다는 것을 시사합니다. 증명 과정은 확률적 추정과 수론적 항등식 사이의 섬세한 균형을 요구했으며, 작은 숫자의 '소음'은 제어할 수 있는 반면 큰 숫자의 '신호'는 증폭될 수 있음을 보여주었습니다. 이러한 접근 방식은 표준적인 방법들이 구조적 복잡성 때문에 실패하는 유사한 문제들을 다루기 위한 새로운 도구 상자를 제공합니다.

연구진은 또한 그들의 기법이 서로 다른 형태의 단위근(roots of unity)을 포함하는 다른 유형의 무작위 함수들에도 잠재적으로 적용될 수 있다고 언급했습니다. 비록 이 논문에서 그 특정 사례들을 해결하지는 않았지만, 그들이 구축한 프레임워크는 향후 조사를 위한 경로를 제공합니다. 이 연구는 순수 수학의 세계에서 무작위 숫자에 대한 가장 추상적인 질문조차도 혼돈의 한계에 대한 구체적이고 확정적인 답으로 이어질 수 있음을 상기시켜 줍니다.

궁극적으로, 이 논문은 명확하고 강력한 메시지를 전달합니다. 확장된 곱 함수의 무작위 합은 이전에 도달할 수 없다고 생각되었던 높이까지 솟구칠 수 있다는 것입니다. 이러한 스파이크가 무한히 자주 발생함을 증명하고 그 크기에 대한 정확한 묘사를 제공함으로써, 저자들은 수십 년 된 질문을 해결했습니다. 그들은 수학적 풍경이 이전에 믿었던 것보다 더 변동성이 크며, 가장 단순한 모델이 예측하는 것보다 더 높고 더 빈번하게 솟아오르는 정점들이 존재함을 보여주었습니다. 이 발견은 수학자 폴 에르되시(Paul Erdős)가 제기한 특정 질문에 답할 뿐만 아니라, 숫자의 구조 속에서 질서와 무작위성 사이의 복잡한 춤에 대한 우리의 이해를 심화시킵니다.

기술 요약: 확장된 라데마허 무작위 곱셈 함수(Extended Rademacher Random Multiplicative Functions)의 거대 변동

문제 정의
본 논문은 확장된 라데마커 무작위 곱셈 함수(RMF) $f(n)$ 의 부분합의 거대 변동을 조사한다. 제곱 자유 정수(squarefree integers)에 대해서만 지지되는 고전적인 라데마커 RMF $g(n)$ 과 달리, 확장 모델 $f(n)$ 은 완전히 곱셈적(completely multiplicative)이며, 즉 모든 소수 $p$ 와 정수 $k \ge 1$ 에 대해 $f(p^k) = f(p)^k$ 를 만족한다. 이러한 확장은 중요한 해석적 장애물을 도입하는데, $f$ 의 디리클레 급수는 $\zeta(2s)$ 라는 인자를 포함하여 $s=1/2$ 에서 극(pole)을 생성하며, 이는 제곱 자유(squarefree) 사례에서는 존재하지 않는 현상이다.

본 연구가 다루는 핵심 문제는 $S_f(x) = \sum_{n \le x} f(n)$ 에 대하여 거의 확실하게(almost surely) $\limsup_{x \to \infty} S_f(x)/\sqrt{x} = +\infty$ 가 성립하는지를 묻는 Erdős Problem #1144이다. 이전의 연구에서 Harper는 고전적인 제곱 자유 RMF $g(n)$ 이 $\sqrt{x}(\log \log x)^{1/4}$ 차수의 변동을 보인다는 것을 입증했으나, 확장된 RMF $f(n)$ 이 그 비직교 구조(non-orthogonal structure)와 $s=1/2$ 에서의 극 때문에 유사한 거대 변동을 달성할 수 있을지, 아니면 극이 이를 억제할지는 알려지지 않았었다.

방법론
저자들은 제곱 자유 사례를 위해 개발된 Harper의 확률적 및 해석적 프레임워크를 채택하고 확장하며, 확장 모델에 내재된 "제곱 기여분(square contributions)"을 처리하기 위한 구체적인 수정 사항들을 도입한다. 증명 전략은 다음과 같은 단계로 진행된다:

분해 및 조건부 설정 (Decomposition and Conditioning):
부분합을 $X$ -매끄러운 부분( $X$ -smooth part, 소인수가 $X$ 이하인 정수들)과 큰 소수 부분으로 분해한다. 저자들은 $p \le X$ 인 $f(p)$ 의 값들에 대해 조건부 설정을 수행한다.

$X$ -매끄러운 기여분은 중심이 아니며(non-centered), 제곱 자유 사례의 완벽한 직교성이 결여되어 있다. 저자들은 $f = (\mu^2 f) * 1_{\square}$ 라는 합성 항등식을 사용하여 $f$ 를 제곱 자유 함수 $g$ 와 연관시킨다. 이들은 파스발 항등식(Parseval's identity)과 곱셈적 카오스 추정치(multiplicative chaos estimates)를 사용하여, 직교성이 결여되었음에도 불구하고 이 기여분이 로그 평균 제곱 의미에서 작다는 것을 보여준다.
큰 소수 기여분은 독립적인 라데마커 변수들의 중심화된 선형 형식(centered linear form)으로 취급된다.

제타 극(Zeta Pole) 처리:
$s=1/2$ 에서의 특이점을 상쇄하기 위해 **승수(multiplier)**를 도입하는 것이 핵심적인 기술적 혁신이다. $x$ 와 $4x$ 사이의 정규화된 합의 차이(즉, "큰 소수 증분")를 고려함으로써, 저자들은 $4^{s-1/2} - 1$ 이라는 인자를 활용한다. 이 인자는 $s=1/2$ 에서 0이 되며, 이는 디리클레 급수의 $\zeta(2s)$ 인자로부터 발생하는 극을 효과적으로 상쇄하여, 관련 오일러 곱(Euler product)이 임계선 근처에서 정칙(regular)이 되도록 만든다.
분산 및 공분산 추정 (Variance and Covariance Estimates):

분산: 승수와 파스발 항등식을 사용하여, 큰 소수 증분들의 조건부 분산의 하한을 설정하며, 이것이 $e^{-2.2W}(\log \log X)^{-1/2}$ 차수임을 보여준다.
공분산 희소성: 가우시안 비교(Gaussian comparison)를 적용하기 위해, 저자들은 서로 다른 지점 간의 증분들 사이의 조건부 공분산이 대부분의 쌍에 대해 작다는 것을 보여야 한다. 저자들은 Harper의 배리어 방법(barrier method)을 응용하여 **가중 고차 모멘트 추정치(weighted high-moment estimate)**를 증명한다. 상쇄 단계에서 도입된 결정론적 승수는 오직 해롭지 않은 로그 손실만을 유발하며, 이를 통해 큰 공분산들이 희소함을 보여준다.

가우시안 근사 (Gaussian Approximation):
공분산의 희소성과 확립된 분산 경계치를 사용하여, 저자들은 다변량 가우시안 비교 정리를 적용한다. 이들은 선택된 증분들의 최댓값이 약한 상관관계를 가진 가우시안 벡터의 최댓값처럼 행동함을 입증하여, 최대 변동의 하한을 도출한다.
보렐-칸텔리 논법 (Borel-Cantelli Argument):
고정된 범위 $[X^{8/7}, X^{4/3}]$ 에서의 결과를 조건부 보렐-칸텔리 렘마를 사용하여 전체 반직선(half-line)으로 확장한다. 척도(scale)의 수열을 구성하고 각 구간에서 거대 변동이 발생할 확률이 0에서 멀리 떨어져 있음을 보여줌으로써, 이러한 변동이 거의 확실하게 무한히 자주 발생함을 증명한다.

주요 기여 및 결과

Erdős Problem #1144의 해결: 본 논문은 Erdős의 질문에 강력한 정량적 형태로 긍정적인 답을 제공한다. 임의의 결정론적 함수 $V(x) \to \infty$ 에 대하여, 거의 확실하게 다음이 성립함을 증명한다:
$S_f(x) = \Omega_{\pm} \left( \frac{\sqrt{x}(\log \log x)^{1/4}}{V(x)} \right)$
이는 확장된 RMF가 $s=1/2$ 에서의 극이라는 해석적 장애물에도 불구하고, 고전적인 제곱 자유 RMF와 동일한 차수의 거대 변동을 보임을 확립한다.
부호 변화 (Sign Changes): 직접적인 결과로서, 저자들은 부분합의 부호 변화 횟수에 대한 새로운 거의 확실한 하한을 설정한다. 충분히 큰 $x$ 에 대하여, 부호 변화 횟수 $N_f(x)$ 는 다음을 만족한다:
$N_f(x) \gg \log \log x$
이는 확장된 RMF에 대한 기존의 질적 결과들을 개선하며, 이 모델에 대한 최초의 정량적 하한을 제공한다.
변동 지수의 강건성 (Robustness of the Fluctuation Exponent): 이 결과는 변동 척도 $(\log \log x)^{1/4}$ 의 지수 $1/4$ 가 제타 특이성을 도입하는 완전 곱셈적 구조를 가진 모델을 포함하여, 다양한 무작위 곱셈 함수 모델 전반에 걸쳐 강건하다는 것을 시사한다.

의의
본 논문은 확장된 라데마커 RMF가 직교성 상실과 $s=1/2$ 에서의 극의 존재로 인해 고전적인 제곱 자유 또는 스타인하우스(Steinhaus) 모델보다 아마도 더 까다롭다고 주장한다. 주요 의의는 이러한 해석적 어려움을 극복하여 "전형적인" 거대 변동의 거동이 보존됨을 보여준 데 있다. 저자들은 낮은 모멘트(low moments)의 경우 전형적인 합의 크기가 제곱 자유 사례와 다르게 행동하지만, 거대 변동에 미치는 완전히 곱셈적인 성질의 영향은 이전에 예상했던 것보다 제한적이라는 점에 주목한다. 이 연구는 이러한 합의 거동에 관한 오랜 미결 문제를 해결하며, 원래의 Erdős 추측에 대한 정량적 강화를 제공한다.

유사한 논문