Random Multiplicative Functions with Periodic Weights

숫자들이 비밀스러운 성격을 가지고 있는 세상을 상상해 보십시오. 정수론이라는 수학의 한 분야에서 어떤 숫자들은 '곱셈적(multiplicative)'입니다. 즉, 그들의 행동은 (마치 레고 성의 모양이 사용된 특정 브릭들에 의해 결정되듯) 그들의 소수 구성 요소들에 의해 완전히 좌우됩니다. 반면 어떤 숫자들은 '가법적(additive)'이며, 이는 단순히 선형적으로 쌓여가는 것을 의미합니다. 보통 이 두 세계는 서로 잘 섞이지 않습니다. 서로 다른 언어를 사용하기 때문입니다. 그런데 만약 당신이 무작위적인 숫자 패턴을 가져와서 그것이 가법적인 선율에 맞춰 춤을 추도록 강제한다면 어떤 일이 벌어질까요?

여기 '스타인하우스 무작위 곱셈 함수(Steinhaus random multiplicative function)'가 등장합니다. 이것을 하나의 마법 같고 예측 불가능한 생성기라고 생각해보십시오. 모든 소수에 대해, 이 함수는 원 위의 임의의 값을 할당하기 위해 동전을 던지거나 바퀴를 돌립니다. 그리고 다른 모든 숫자에 대해서는, 그 숫자의 소인수들을 바탕으로 이 무작위 값들을 곱해나갑니다. 그 결과로 나타나는 수열은 혼란스러워 보이지만, 사실 엄격한 수학적 규칙들에 의해 서로 연결되어 있습니다. 수십 년 동안 수학자들은 이 무작위 숫자들을 길게 나열하여 더했을 때, 이들이 예측 가능한 종 모양의 곡선(중심 극한 정리)으로 안착할 것인지, 아니면 숨겨진 규칙들이 계속해서 기이하게 행동하도록 만들 것인지 궁금해했습니다.

놀랍게도, 그 답은 그들 스스로는 종 모양의 곡선을 형성하지 않는다는 것입니다. 숨겨진 곱셈적 규칙들이 너무 강력하여, 그 합이 표준적인 기대치를 벗어나 행동하게 만들기 때문입니다. 하지만 수학자들은 만약 이 숫자들에 특정한 종류의 무게(weight)를 가해 '비틀기'를 한다면—마치 리드미컬하고 반복적인 패턴을 섞는 것처럼 말입니다—그 혼돈이 깨지고 숫자들이 마침내 평범한 군중처럼 행동할 수도 있을 것이라고 의심했습니다. 이 논문은 바로 이 질문, 즉 어떤 종류의 리드미컬한 패턴이 이 거친 곱셈적 야수들을 길들이는 데 필요한지를 깊이 파고듭니다.

---

길들여진 야수의 이야기

이 논문에서 저자인 제레미 슐리트(Jeremy Schlitt)는 우리가 가진 거친 무작위 곱셈적 숫자들에 '주기적 가중치(periodic weight)'를 곱하면 어떤 일이 일어나는지를 조사합니다. 당신이 몇 초마다 반복되는 드럼 비트를 듣고 있다고 상상해 보십시오. 만약 당신이 이 비트를 들으면서 무작위 숫자들을 더하려고 한다면, 그 합은 결국 표준적인 종 모양의 곡선처럼 보이게 될까요?

이 논문은 두 가지 서로 다른 단서를 사용하여 미스터리를 해결하는 탐정처럼 두 가지 주요 시나리오를 다룹니다.

첫 번째 미스터리: 완벽한 리듬
논문의 첫 번째 부분은 다음과 같이 묻습니다. "우리의 반복되는 드럼 비트(가중치 함수)가 어떤 특정한 형태를 가져야 그 합이 완벽한 종 모양의 곡선이 될 수 있는가?"

저자는 매우 엄격하고 까다로운 조건을 증명합니다. 리듬이 그저 '좋다'거나 '매끄럽다'는 것만으로는 충분하지 않습니다. 리듬은 서로 다른 속도에서 자신과 상호작용하는 방식과 관련된 특정 수학적 방정식을 만족해야 합니다. 논문은 만약 이 조건이 충족된다면, 무작위 숫자들의 합이 실제로 표준적인 종 모양의 곡선(복소 가우시안 분포)으로 안착할 것임을 보여줍니다. 만약 이 조건이 충족되지 않는다면, 그 합은 정상적으로 행동하지 않을 것입니다. 숨겨진 곱셈적 규칙들이 여전히 서로 속삭이며 혼돈이 진정되는 것을 방해할 것이기 때문입니다.

단순히 말하자면, 저자는 종 모양의 곡선을 여는 정확한 '열쇠'를 찾아냈습니다. 만약 당신의 반복되는 패턴이 올바른 모양을 가지고 있다면 자물쇠는 열립니다. 그렇지 않다면 문은 닫힌 채로 남습니다. 이것은 엄밀한 수학으로 증명된 결정적인 "예 또는 아니오"의 답변입니다.

두 번째 미스터리: 거친 필터
논문의 두 번째 부분은 약간 다른 질문을 던집니다. "만약 우리가 완벽한 열쇠를 찾을 수 없다면 어떻게 될까? 어쨌든 숫자들이 행동하도록 강제할 방법이 있을까?"

여기서 저자는 '거칠음(roughness)'이라는 영리한 트릭을 도입합니다. 작은 소인수들은 무시하고 오직 매우 큰 소인수들로 이루어진 숫자들만을 통과시키는 체(필터)를 가지고 있다고 상상해 보십시오. 논문은 만약 당신이 이 체를 사용하여, 숫자의 목록이 커짐에 따라 점점 더 커지는 거대한 숫자 $z$보다 큰 소인수를 가진 숫자들만을 살펴본다면, 그 합은 항상 종 모양의 곡선이 된다는 것을 보여줍니다.

당신의 반복되는 리듬이 어떤 모양인지, 혹은 그것이 첫 번째 미스터리의 엄격한 조건을 만족하는지 여부는 중요하지 않습니다. 당신이 '작은' 숫자들을 걸러내고 오직 큰 소인수를 가진 '거친' 숫자들만을 유지하기만 하면, 곱셈적 의존 관계는 깨집니다. 숫자들은 그들의 비밀스러운 연결 고리를 잃고 독립적인 무작위 개체들처럼 행동하기 시작하며, 자연스럽게 종 모양의 곡선을 형성하게 됩니다.

전체적인 그림
이 논문은 그 목표를 완벽하게 달성했습니다. 저자는 단순히 추측하는 것이 아니라 이 결과들을 증명합니다.

1. 가중치가 부여된 무작위 곱셈 함수들의 합이 언제 종 모양의 곡선이 되는지에 대한 필요충분조건을 확립했습니다. 이는 저자가 정확한 규칙을 찾아냈음을 의미하며, 만약 그 규칙이 깨지면 종 모양의 곡선은 불가능하다는 것을 뜻합니다.
2. 숫자를 큰 소인수만을 갖도록 제한함으로써(즉, "거친" 집합을 사용함으로써), 가중치에 관계없이 종 모양의 곡선이 항상 나타난다는 것을 증명했습니다.

저자는 '마팅게일(martingale)'(다음 움직임이 과거에는 의존하지만 미래에는 의존하지 않는 공정한 게임과 같은 확률론적 도구)과 고급 정수론 도구들을 혼합하여, '4차 모멘트(fourth moment, 데이터가 얼마나 퍼져 있는지를 측정하는 척도)'가 결정적인 요인임을 보여줍니다. 만약 4차 모멘트가 특정한 방식으로 행동한다면 종 모양의 곡선이 나타납니다. 그렇지 않다면 나타나지 않습니다.

결국, 이 논문은 무작위 곱셈 함수들이 본래 반항적이며 표준적인 종 모양의 곡선을 따르기를 거부하지만, 우리는 완벽한 모양의 리듬으로 그들을 길들이거나, 혹은 그들의 더 작고 연결된 부분들을 걸러냄으로써 그들이 복종하도록 강제할 수 있다는 것을 알려줍니다. 이는 구조와 무작위성이 적절한 스텝을 알고 있다면 어떻게 함께 춤을 출 수 있는지를 보여주는 아름다운 입증입니다.