The M öbius Disjointness Conjecture on infinite-dimensional torus

이 논문은 $\alpha \in \mathbb{R}$, $\beta \in \mathbb{R} \setminus \mathbb{Q}$, $1$-주기$C^{1+\varepsilon}$-매끄러운 함수$h$로 정의된 무한차원 토러스 위의 특정 비규칙적 거리적 흐름에 대해 사나크의 뫼비우스 소거 추측이 성립함을 증명합니다.

핵심

1. 핵심 이야기: "숫자들의 우연한 춤" (뫼비우스 함수)

먼저, **뫼비우스 함수 (Möbius function)**라는 것이 있습니다. 이 함수는 소수 (2, 3, 5, 7...) 와 관련된 숫자들의 성질을 나타내는데, 마치 **완전한 무작위성 (Randomness)**을 가진 춤을 추는 것과 같습니다.

• 연구의 목표: 사르낙 (Sarnak) 이라는 수학자가 제안한 **"뫼비우스 소거 추측"**은 다음과 같은 질문을 던집니다.

  "이 숫자들의 우연한 춤 (뫼비우스 함수) 은, 어떤 규칙적인 움직임 (동역학 시스템) 과도 전혀 상관없을까?"

즉, 숫자들의 무작위성이 얼마나 강력해서, 어떤 규칙적인 패턴 앞에서도 그 패턴을 '무시'하고 제자리로 돌아오는지 확인하는 것입니다. 만약 두 가지가 서로 섞이지 않고 독립적이라면, 우리는 "이 시스템은 소거 (Disjoint) 되었다"라고 말합니다.

2. 무대: "무한한 층이 있는 도넛" (무한 차원 토러스)

이 논문에서 연구자들은 아주 특별한 무대를 설정했습니다.

• 일반적인 도넛 (토러스): 우리가 아는 원형 도넛 하나입니다.
• 이 논문에서의 무대: 무한한 층이 쌓인 도넛입니다.
  • 상상해 보세요. 1 층, 2 층, 3 층... 끝없이 이어지는 도넛 모양의 방들이 있습니다.
  • 이 무대 위에서 한 점 (사람) 이 움직인다고 칩시다.
  • 규칙: 1 층은 일정한 속도로 돌아갑니다. 하지만 2 층은 1 층의 위치에 따라, 3 층은 2 층의 위치에 따라 움직입니다. 마치 도미노처럼 한 층의 움직임이 다음 층에 영향을 주는 연쇄 반응이 일어나는 곳입니다.

이런 복잡한 시스템을 **스키ewed product (비틀린 곱)**라고 부르는데, 이 논문은 이 무한한 층들이 서로 얽혀 움직일 때, 숫자들의 우연한 춤이 그 움직임과 완전히 무관한지 증명했습니다.

3. 연구의 핵심 발견: "완벽한 독립성"

연구자들은 이 복잡한 무한 차원 시스템에서 두 가지 강력한 도구를 사용했습니다.

1. 강성 (Rigidity) 의 속도:

   • 시스템이 움직이다가 어느 순간, 거의 원래 자리로 돌아오는 '강한 반복' 현상이 일어난다는 것을 발견했습니다.
   • 마치 그네를 타는 것처럼, 아주 규칙적으로 다시 제자리로 돌아오는 순간들이 있다는 거죠. 연구자들은 이 '돌아오는 속도'가 다항식 (Polynomial) 형태로 일정하게 유지된다는 것을 증명했습니다.

2. 측도 복잡도 (Measure Complexity):

   • 시스템이 얼마나 복잡한지 측정하는 척도입니다.
   • 연구자들은 이 시스템이 생각보다 **너무 복잡하지 않다 (Sub-polynomial)**는 것을 보였습니다. 즉, 시스템이 너무 예측 불가능하게 혼란스러워지지 않고, 어느 정도 통제 가능한 범위 안에 있다는 뜻입니다.

결론: 이 두 가지 성질 (규칙적인 반복과 적절한 복잡도) 을 증명함으로써, 연구자들은 **"이 무한한 도넛 시스템은 숫자들의 우연한 춤 (뫼비우스 함수) 과 전혀 섞이지 않는다"**는 것을 확실히 증명했습니다.

4. 왜 이 연구가 중요한가요? (일상적인 비유)

이 연구는 수학의 두 거인을 연결하는 다리를 놓은 것과 같습니다.

• 비유: imagine you have a giant, infinite clock tower where every gear affects the next one in a complex way (the dynamical system). And you have a random number generator (the Möbius function) that clicks unpredictably.
  • 이 논문은 **"이 복잡한 시계 바퀴들이 아무리 돌아가도, 랜덤 숫자 생성기의 소음과는 전혀 상관없이 각자 제 갈 길을 간다"**는 것을 증명했습니다.
• 의의: 이는 수론 (소수 연구) 과 동역학 시스템 (혼돈과 규칙 연구) 이 서로 깊은 연결고리를 가지고 있음을 보여줍니다. 특히, 이 시스템이 무한한 차원이라는 매우 어려운 조건에서도 성립한다는 점이 획기적입니다.

5. 요약

• 문제: 숫자들의 무작위성 (뫼비우스 함수) 이 복잡한 규칙적인 움직임 (무한 차원 시스템) 과 섞일까?
• 해결: 아니요, 전혀 섞이지 않습니다.
• 방법: 시스템이 규칙적으로 반복되는 성질과 복잡도가 적절함을 수학적으로 증명했습니다.
• 결과: 사르낙의 유명한 추측이 이 매우 복잡한 무한 차원 세계에서도 참이라는 것이 밝혀졌습니다.

이 논문은 수학의 서로 다른 분야가 만나 서로를 이해하는 데 큰 도움을 주는 아름다운 사례라고 할 수 있습니다. 마치 서로 다른 언어를 쓰는 두 나라가 우연히 같은 노래를 부르고 있다는 것을 발견한 것과 같습니다.

기술 요약

1. 연구 문제 (Problem)

이 논문은 뫼비우스 소거성 추측 (Möbius Disjointness Conjecture, Sarnak's Conjecture) 을 무한 차원 토러스 ($T^\omega$) 상에서 정의된 특정 비선형 스키우프 곱 (skew product) 흐름에 대해 증명하는 것을 목표로 합니다.

• 배경: 사르낙 (Sarnak) 의 추측은 제로 엔트로피 (zero-entropy) 흐름 $(X, T)$ 에 대해 뫼비우스 함수 $\mu(n)$ 이 모든 연속 함수 $f$ 와 선형적으로 소거된다는 내용입니다. 즉, $\lim_{N\to\infty} \frac{1}{N} \sum_{n \le N} \mu(n) f(T^n x) = 0$이 성립해야 합니다.
• 주제: 무한 차원 토러스 $T^\omega = \prod_{k=1}^\infty \mathbb{T}$ 위에서 정의된 다음과 같은 변환 $T$:
  $$T(x_1, x_2, \dots, x_k, \dots) = (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots)$$
  여기서 $\alpha \in \mathbb{R}$, $\beta \in \mathbb{R} \setminus \mathbb{Q}$, 그리고 $h: \mathbb{R} \to \mathbb{R}$은 1-주기적이고 $C^{1+\varepsilon}$-매끄러운 함수입니다.
• 난제: 이 시스템은 거리성 (distal) 을 가지지만, 모든 $x$에 대해 비에르코프 평균 (Birkhoff average) 이 존재하지 않는 불규칙 (irregular) 흐름입니다. 기존 연구들은 주로 유한 차원 (예: 2-토러스) 이거나 $h$에 대한 강한 조건 (예: 해석적 함수, 특정 푸리에 계수 조건) 을 요구했습니다. 본 논문은 $h$의 매끄러움 조건을 $C^{1+\varepsilon}$으로 완화하고, $\alpha$가 유리수이든 무리수이든 상관없이 일반성을 확보하는 것을 목표로 합니다.

2. 방법론 (Methodology)

저자들은 동역학적 시스템의 두 가지 강력한 판정 기준을 활용하여 문제를 해결했습니다.

1. 다항식 강성률 (Polynomial Rate of Rigidity, PR Rigidity):

   • Kanigowski, Lemanczyk, Radziwill (2020) 이 제안한 개념으로, 시스템이 특정 다항식 속도로 '강성 (rigid)'하면 뫼비우스 소거성이 성립함을 이용합니다.
   • $\alpha$가 무리수인 경우, $h$가 $C^{1+\varepsilon}$일 때 시스템이 PR 강성을 가진다는 것을 증명합니다.
   • 핵심 기법: 연분수 전개 (continued fraction expansion) 를 이용한 유리수 근사, 푸리에 급수 분석, 그리고 Parseval 정리를 사용하여 $L^2$ 노름의 수렴을 보였습니다. 특히 $h$의 푸리에 계수 감쇠율 ($|c_q| \ll |q|^{-(1+\varepsilon)}$) 을 활용하여 합을 추정했습니다.

2. 하위 다항식 측정 복잡도 (Sub-polynomial Measure Complexity):

   • Huang, Wang, Ye (2019) 의 결과에 따르면, 모든 불변 측도에 대해 측정 복잡도가 하위 다항식 (sub-polynomial) 성장률을 보이면 소거성이 성립합니다.
   • $\alpha$가 무리수이고 $h$가 $C^\infty$일 때, 이 조건을 만족함을 증명합니다.
   • 핵심 기법:
     • 유한한 경우 (M finite): $h$의 특정 푸리에 계수 집합 $M$이 유한할 때, 시스템을 선형 회전 (linear rotation) 으로 켤레 (conjugate) 시켜 측정 복잡도가 유계 (bounded) 임을 보입니다.
     • 무한한 경우 (M infinite): $M$이 무한할 때, 시스템을 $h_1$ (특수한 부분만 추출한 함수) 을 사용하는 시스템으로 켤레 변환하고, Lemma 4.4 의 점근적 성질을 이용해 복잡도를 제어합니다.

3. 유리수 $\alpha$ 처리:

   • $\alpha$가 유리수인 경우는 동역학적 방법보다는 수론적 방법을 사용합니다. Davenport 의 지수합 (exponential sum) 정리를 적용하여 $\mu(n)$과 다항식 위상 함수의 합이 소거됨을 보입니다.

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

• 주요 정리 (Theorem 1.1):
  • $\alpha \in \mathbb{R}$, $\beta \in \mathbb{R} \setminus \mathbb{Q}$, $h \in C^{1+\varepsilon}$ (1-주기) 일 때, 위에서 정의된 무한 차원 스키우프 곱 시스템 $(T^\omega, T)$ 에 대해 뫼비우스 소거성 추측이 성립합니다.
• 조건 완화:
  • 기존 Liu-Sarnak (2014) 및 Liu (2023) 의 연구에서 요구되던 $h$의 해석성 (analyticity) 이나 특정 푸리에 계수 조건을 제거하고, $C^{1+\varepsilon}$ 매끄러움만으로도 성립함을 보였습니다.
  • $\alpha$가 유리수인 경우와 무리수인 경우를 모두 포괄하며, 특히 $\alpha$가 무리수일 때 Diophantine 조건 (비리얼 조건) 없이도 성립함을 증명했습니다.
• 이중 증명 전략:
  • $\alpha$가 무리수인 경우에 대해 두 가지 독립적인 동역학적 경로 (PR 강성 vs 하위 다항식 측정 복잡도) 를 제시했습니다. 이는 $h$의 매끄러움 정도 ($C^{1+\varepsilon}$ vs $C^\infty$) 에 따라 다른 정리를 적용할 수 있음을 보여줍니다.
• Furstenberg 불규칙 흐름 포함:
  • Liu (2012) 가 다룬 'Furstenberg 불규칙 흐름' (특정 급수 형태의 $h$를 가진 경우) 을 본 결과의 특수한 경우로 포함시킵니다.

4. 의의 (Significance)

1. 무한 차원 시스템의 확장:
   • 뫼비우스 소거성 추측이 유한 차원 토러스나 nilmanifold 에서 검증되었으나, 무한 차원 시스템으로 확장된 것은 중요한 진전입니다. 이는 동역학적 시스템의 구조가 복잡해져도 (무한 차원), 소거성 추측이 여전히 유효함을 보여줍니다.
2. 정칙성 (Regularity) 요구 조건 완화:
   • $h$의 매끄러움 조건을 $C^{1+\varepsilon}$까지 낮춘 것은 KAM 이론 및 동역학 시스템 연구에서 중요한 의미를 가집니다. 이는 시스템이 매우 약한 조건에서도 소거성을 가질 수 있음을 시사합니다.
3. 수론과 동역학의 연결 강화:
   • 유리수 $\alpha$의 경우 수론적 도구 (Davenport 정리) 를, 무리수 $\alpha$의 경우 동역학적 도구 (강성 및 복잡도) 를 유연하게 결합하여 문제를 해결함으로써, 두 학문 간의 교차 연구의 중요성을 다시 한번 강조합니다.
4. 불규칙 흐름에 대한 통찰:
   • 비에르코프 평균이 존재하지 않는 '불규칙' 흐름에서도 뫼비우스 소거성이 성립한다는 점은, 소거성 추측이 시스템의 평균 수렴성보다 더 근본적인 위상적/측도적 성질에 기반하고 있음을 시사합니다.

5. 결론

이 논문은 무한 차원 토러스 위의 비선형 스키우프 곱 흐름에 대해 뫼비우스 소거성 추측을 완전히 증명했습니다. 저자들은 $h$의 매끄러움 조건을 최소화하고 $\alpha$의 성질에 관계없이 결과를 도출함으로써, 사르낙 추측의 타당성을 더욱 넓은 범위의 동역학적 시스템으로 확장시켰습니다. 이는 해석적 수론과 에르고드 이론의 경계에서 이루어진 중요한 성과로 평가됩니다.