[논문 리뷰] The M öbius Disjointness Conjecture on infinite-dimensional torus

Qingyang Liu, Jing Ma외 1명|arXiv (Cornell University)|2026. 03. 11.

Analytic Number Theory Research인용 수 0

한 줄 요약

저자들은 Sarnak’s Möbius disjointness conjecture를 무한차원 토러스 T^ω의 광범위한 distal skew products에 대해 증명하고, 분리성을 암시하는 두 가지 동역학적 기준(다항식 속도 강직성과 부분다항적 측도 복잡성)을 확립한다.

ABSTRACT

Let $\mathbb{T}^ω$ be the infinite-dimensional torus, and $T: \mathbb{T}^ω o \mathbb{T}^ω$ be defined by \[ T: (x_1, x_2, \dots, x_k, \ldots) \mapsto (x_1 + α, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)β), \dots) \] with $α\in \mathbb{R}, β\in \mathbb{R}\backslash\mathbb{Q},$ and $h: \mathbb{R} o \mathbb{R}$ being $1$-period and $C^{1+\varepsilon}$-smooth. This flow $(\mathbb{T}^ω, T)$ is distal, and is also irregular in the sense that its Birkhoff average does not exist for all $x\in \mathbb{T}^ω$. The main result of this paper is that the M öbius Disjointness Conjecture of Sarnak holds for $(\mathbb{T}^ω, T)$.

연구 동기 및 목표

• distal, 무한 차원 스크로-프로덕트 흐름에 대한 Sarnak’s Möbius Disjointness Conjecture를 동기 부여하고 검증한다.
• Furstenberg–Lau 프레임워크를 T^ω와 비선형 h로 확장하여 Möbius 분리성이 성립하는 클래스의 폭을 넓힌다.
• 동역학적 기준(강직성 및 측도 복잡성)을 개발하고 적용하여 무한 차원에서의 분리성을 검증한다.

제안 방법

• T:(x1,x2,…) ↦ (x1+α, x2+h(x1), x3+h(x1+β), …)를 따라 T가 α∈R, β∈RyQ, 그리고 h가 1-주기적이며 C^{1+ε} 스무스한 경우의 T-스큐를 연구한다.
• T가 distal이고 불규칙적임을 보인다(Birkhoff 평균이 존재하지 않을 수 있음).
• 다항식 속도 강직성의 존재를 보이고, 모든 불변 측도 ν∈M(T^ω,T)에 대해 ∑j≤r_n^δ ||f∘T^{jr_n}-f||_{L^2(ν)}^2 → 0인 rn 수열이 존재함을 보인다(선형적으로 조밀한 부분집합의 f에 대해).
• h의 강한 스무스함(C^{∞}) 하에서 평균화된 거리 d̄_n에 대한 커버링 넘버를 통해 부분다항적 측도 복잡성을 보인다.
• 기존의 기준을 활용: PR 강직성은 Möbius 분리성을 시사하고; 부분다항적 측도 복잡성은 Möbius 분리성을 시사한다; h에 대한 약간 다른 가정하에 두 개의 독립적인 증명을 제공한다.

실험 결과

연구 질문

• RQ1 무한 차원 스큐 프로덕트(T^ω,T)에서 μ(n)가 모든 α, β 및 적절한 스무스함을 가진 1-주기적 h에 대해 선형적으로 분리되는가?
• RQ2 비선형 무한 차원 스큐 프로덕트에 대해 동역학적 기준(다항식 속도 강직성과 부분다항적 측도 복잡성)을 확립하여 Möbius 분리성을 도출할 수 있는가?
• RQ3 합리적 α와 비합리적 α가 분리성 결과에 어떤 영향을 미치며 각 경우에 필요한 산술/동역학적 도구는 무엇인가?
• RQ4 Furstenberg의 불규칙 흐름이 Möbius 분리성 프레임워크(T^ω) 안에서 얼마나 포괄되는가?
• RQ5 주어진 C^{1+ε} 또는 C^{∞} 구간을 넘어 h의 더 넓은 규칙성 클래스에 이 결과가 확장되는가?

주요 결과

• α∈R, β∈RyQ, 그리고 h가 1-주기적이며 C^{1+ε} 스무스한 무한 차원 스큐 프로덕트(T^ω,T)에 대해 Möbius Disjointness Conjecture가 성립한다.
• 정리 3.1은 모든 불변 측도 ν∈M(T^ω,T)에 대해 다항식 속도 강직성을 확립한다.
• 정리 3.2는 h가 C^{∞}일 때 모든 불변 측도 ν∈M(T^ω,T)에 대해 부분다항적 측도 복잡성을 입증한다.
• 이 기준들로부터 무 irrational α의 경우 Möbius 분리성이 도출되고; 합리적 α의 경우를 다루는 별개의 논증도 있다.
• 이 연구는 T^2 및 Furstenberg 불규칙 흐름에 관한 기존 결과를 무한 차원 토러스 설정으로 확장하여, 비선형 스큐 프로덕트의 광범위한 클래스를 다룬다.