[論文レビュー] The M öbius Disjointness Conjecture on infinite-dimensional torus

Qingyang Liu, Jing Ma+1 more|arXiv (Cornell University)|Mar 11, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

著者らは、無限次元トーラス T^ω 上の広いクラスの distal skew product に対して Sarnak の Möbius 相互独立性予想を証明し、2つの動力学的基準（多項式速度の剛性とサブ多項式の測度複雑性）を示して独立性を導く。

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 で無限次元の skew-product 流のための Sarnak の Möbius 独立性予想を動機づけ、検証する。
• Furstenberg–Lau の枠組みを T^ω および非線形な h に拡張し、Möbius 独立性が成り立つクラスを広げる。
• 動的基準（剛性と測度複雑性）を開発・適用し、無限次元で独立性を検証する。

提案手法

• T:(x1,x2,…) ↦ (x1+α, x2+h(x1), x3+h(x1+β), …) を用いる T^ω 上のスキュー積を検討。ここで α∈R, β∈RyQ, h は 1-周期で C^{1+ε} の滑らかさを持つ。
• T が distal であり、かつ不規則であることを示す（Birkhoff 平均が存在しない場合がある）。
• 多項式速度の剛性：ある列 rn が存在し、∑_{j≤r_n^δ} ||f∘T^{jr_n}-f||_{L^2(ν)}^2 → 0（ν に関して線形に dense な部分集合の f に対して）を満たす。
• h の滑らかさを条件を強化して C^{∞} とした場合に、平均化された距離 d̄_n に関する被覆数を用いてサブ多項式の測度複雑性を示す。
• 既存の基準を活用：PR 剛性は Möbius 独立性を意味し、サブ多項式の測度複雑性は Möbius 独立性を意味する；h に関するわずかに異なる仮定の下で二つの独立した証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 Möbius 関数 μ(n) は、適切な滑らかさを持つすべての α, β および 1-周期の h に対して、無限次元のスキュー積 (T^ω, T) と線形的に独立であり続けるか。
• RQ2 非線形な無限次元スキュー積に対して、剛性の多項式速度と測度複雑性の基準を確立し、 Möbius 独立性を導出できるか。
• RQ3 有理と無理数の α が独立性の結果にどのような影響を与え、各場合で必要となる代数的・動的な道具は何か。
• RQ4 Furstenberg の不規則流をどの程度 T^ω の Möbius 独立性枠組みに包含できるか。
• RQ5 上記の結果は C^{1+ε} や C^{∞} の規定範囲を超える h のより広い正則性クラスへ拡張され得るか。

主な発見

• α∈R, β∈RyQ, および h が 1-周期で C^{1+ε} 滑らかさを持つとき、無限次元スキュー積 (T^ω,T) に対する Möbius 独立性予想が成り立つ。
• 定理 3.1 はすべての不変測度 ν∈M(T^ω,T) に対して剛性の多項式速度を確立する。
• 定理 3.2 は h が C^{∞} のときすべての不変測度 ν∈M(T^ω,T) に対してサブ多項式の測度複雑性を証明する。
• これらの基準から、無理数 α の場合には Möbius 独立性が導かれ、有理数 α の場合には別個の議論で対処する。
• 本研究は T^2 および Furstenberg の不規則流に関する既存の結果を無限次元トーラス設定へ拡張し、非線形スキュー積の広いクラスをカバーする。