Almost sure upper bound for sums of random multiplicative functions and critical chaos

수학이라는 광활한 풍경 속에는, 숫자들이 우연과 뒤섞일 때 어떻게 행동하는지를 이해하기 위해 헌신하는 조용한 구석이 있습니다. 곱셈의 규칙은 여전히 적용되지만, 모든 정수의 구성 요소인 소수들에 할당된 값들이 주사위 던지기에 의해 결정되는 세상을 상상해 보십시오. 한 버전의 세상에서 이 값들은 자유롭게 회전하는 원 위에서 선택됩니다. 또 다른 버전에서는 단순히 양 또는 음의 1 사이를 오갑니다. 수학자들은 이러한 함수를 무작위 곱셈 함수라고 부릅니다. 수십 년간 이어져 온 핵심 질문은, 숫자를 높여가며 셀 때 이 값들의 합이 어떻게 되는가 하는 것입니다. 이 값들을 하나씩 더해 나갈 때, 그 총합은 0에 가깝게 유지될까요, 아니면 멀리 떠돌아다닐까요? 이것은 단순한 숫자의 게임이 아닙니다. 이는 단순하고 무작로적인 부분들로부터 구축된 복잡한 체계의 행동을 우리가 얼마나 잘 예측할 수 있는지에 대한 시험입니다. 그 답은 수론과 확률론처럼 다양한 분야에 맞닿아 있으며, 무작위성 자체의 숨겨진 구조에 대한 깊은 진실을 드러냅니다.

오랫동안 전문가들은 이 무작위 값들의 합이 상대적으로 작게 유지될 것이라고 믿었습니다. 즉, 세고 있는 숫자의 제곱근보다 빠르게 성장하지 않을 것이라고 믿었습니다. 이는 마치 들판에서 무작위로 걷는 사람이 시작 지점에서 일정 거리 내에 머무는 경향이 있는 것과 유사한 합리적인 추측이었습니다. 그러나 최근의 연구들은 이 합이 단순한 제곱근 법칙이 예측하는 것보다 약간 더 크게 성장할 수도 있으며, 아마도 숫자의 로그를 몇 번 취해야 하는지와 관련된 작은 추가 인자를 가질 수도 있음을 시사했습니다. 이 추가 인자의 정확한 크기는 미스터리였으며, 전문가들마다 그 크기에 대해 서로 다른 추측을 내놓았습니다. 어떤 이들은 그것이 꽤 클 것이라고 생각했고, 아담 하퍼(Adam Harper)라는 저명한 연구자를 포함한 다른 이들은 그것이 훨씬 더 작을 것이라고 의심했지만, 이를 증명하는 것은 매우 어려운 과제였습니다.

윌리엄 베레로(William Verreault)라는 수학자가 이제 이 퍼즐의 주요 부분을 해결하여, 이러한 합의 성장에 대한 상한선에 관한 결정적인 답을 제시했습니다. 새로운 논문에서, 베레로는 모든 무작위 곱셈 함수에 대하여, 그 값들의 합이 거의 확실하게(almost certainly) 특정 한계를 넘지 않을 것임을 입증했습니다. 이 한계는 세고 있는 숫자의 제곱근에, 매우 작은 보정 인자를 곱한 값입니다. 이 인자는 숫자의 로그 로그(log log)에 1/4 승을 한 뒤, 그 결과의 로그를 포함하는 약간 더 큰 보정치를 곱한 형태입니다. 이 발견은 하퍼가 제기한 추측을 증명하며, 이러한 합의 변동이 주요 로그 인자에 관해서는 가장 낙관적인 예측만큼이나 실제로 작다는 것을 보여줍니다. 이는 합이 사람들이 우려했던 것만큼 무질서하게 성장하지는 않지만, 단순한 제곱근보다는 충분히 커진다는 것을 보여줌으로써 오랜 논쟁을 종결시켰습니다.

이 결론에 도달하기 위해, 베레로는 다른 이들을 수년간 좌절시켰던 복잡한 수학적 지형을 헤쳐 나가야 했습니다. 그는 합을 직접 계산하지 않았습니다. 왜냐نو는 무한히 많은 합이 존재하기 때문에 그것은 불가능하기 때문입니다. 대신, 그는 문제를 관리 가능한 조각들로 나누는 정교한 전략을 사용했습니다. 그는 소수의 수열을 마치 양파 껍질을 벗기듯 하나씩 드러내는 일련의 층(layers)으로 취급했습니다. 층을 통과해 나아가면서, 그는 정교하게 제어된 무작위 보행(random walk)처럼 행동하는 특정 수학적 양을 추적했습니다. 핵심적인 통찰은 이러한 무작위 변동의 '에너지' 또는 전체 크기가 '임계 혼돈(critical chaos)'이라고 알려진 개념을 통해 이해될 수 있다는 점을 깨달은 것이었습니다. 이는 시스템이 칼날 위의 균형을 잡고 있는 상태, 즉 드문 극단적 사건들이 평균적인 행동을 지배하는 현상입니다. 이러한 섬세한 균형을 다루기 위해 설계된 도구들을 사용함으로써, 베레로는 무작위 변동이 좁은 띠 안에 머물러 있음을 보여줄 수 있었습니다.

그의 방법은 기술들의 영리한 조합을 포함했습니다. 먼저, 그는 무한한 문제를 유한한 테스트 지점들의 집합으로 축소하여, 모든 곳이 아닌 특정 간격에서의 합을 확인했습니다. 그런 다음, 그는 마팅게일(martingale)—미래의 최선의 예측이 현재의 값인 수학적 과정—처럼 작동하는 합의 가장 중요한 부분을 분리해 냈습니다. 그러고 나서 그는 값들이 얼마나 변할 수 있는지를 측정하는 '시계(clock)'를 분석했습니다. 확률론의 강력한 부등식을 적용함으로써, 그는 소수의 층들이 서로 연결되어 있고 독립적이지 않음에도 불구하고, 층의 창(window)에 걸친 전체 변동이 놀라울 정도로 작게 유지된다는 것을 보여주었습니다. 이를 통해 그는 무작위 선택들이 서로 완전히 독립적이라고 가정할 필요 없이 전체 합을 제어할 수 있었습니다.

이 결과는 이 특정한 맥락에서 무작위성의 상한에 대한 정밀한 묘사입니다. 베레로의 연구는 합이 기본 제곱근보다 커지기는 하지만, 매우 통제된 방식으로 성장한다는 것을 보여줍니다. 논문은 주요 로그 인자의 지수가 정확히 1/4임을 증명하며, 이는 날카로운(sharp) 결과입니다. 그러나 또한 논문은 합이 이 공식에 의해 유계(bounded)되기는 하지만, 그 정밀한 거의 확실한 차수(almost sure order)는 완전히 결정되지 않았음을 명확히 합니다. 구체적으로, 경계값에서 이차 로그 인자(log³ x)의 지수는 1+o(1)로 나타나지만, 저자는 이 지수가 반드시 최적일 필요는 없다고 언급했습니다. 이 연구는 이러한 무작위 합의 행동이 이전에 생각했던 것보다 더 질서 정연하다는 것을 확인시켜 주었지만, 여전히 깊고 혁신적인 수학적 도구를 요구할 만큼 풍부하다는 것을 보여줍니다.

이 업적은 단지 수론의 승리일 뿐만 아니라, 수학의 서로 다른 영역들을 연결하는 힘을 강조합니다. 무작위 곱셈 함수의 행동을 임계 혼돈 이론과 연결함으로써, 베레로는 복잡한 체계가 어떻게 진화하는지를 이해하는 새로운 문을 열었습니다. 이 논문은 이 함수들에 대한 모든 미스터리를 해결했다고 주장하지는 않지만, 수십 년 동안 파악하기 어려웠던 명확하고 엄밀한 상한을 제공함으로써 주요한 장애물을 제거했습니다. 이는 무작위성에 의해 지배되는 세상에서도 사물들이 얼마나 멀리 벗어날 수 있는지에 대한 엄격한 제한이 존재하며, 올바른 관점을 가진다면 그 한계를 찾아낼 수 있다는 사실을 보여줍니다. 이 결과는 가장 혼돈스러워 보이는 체계조차도 종종 숨겨진 정밀한 질서를 따른다는 아이디어에 대한 증거로 남아 있습니다.