Pointwise ergodic averages along the Omega function in number fields

技術的要約：数体におけるオメガ関数に沿った点収束エルゴード平均

問題設定
本論文は、数体におけるオメガ関数（$\Omega$）および異なる素因数の個数関数（$\omega$）によって定義される算術数列に沿ったエルゴード平均の収束特性を調査するものである。中心となる問題は、力学系における二つの対照的な振る舞いに対処している：

1. 点収束の失敗： 一般的なエルゴード系（具体的には非原子的で可逆な測度保存系）において、これらの算術数列に沿った平均は点収束に失敗するのか？具体的には、特性関数の平均の上限（limsup）が1であり、下限（liminf）が0となる「強い掃き出し特性（strong sweeping-out property）」を示すのか？
2. 一意エルゴード系における収束： 基底となる力学系が一意エルゴード的である場合、これらの平均は空間平均へと点収束するのか？

著者らは、BergelsonおよびRichter（$\mathbb{Q}$の場合）やDonosoら（ガウス整数 $\mathbb{Z}[i]$ の場合）による先行研究を、任意の数体および、$m^2+n^2$ のような和の形を含むより複雑な平均化スキームへと拡張している。

手法
本論文は、エルゴード理論と解析的数論の統合を採用している。手法は主に二つの流れに分かれる：

1. 強い掃き出し特性の確立（収束の失敗）：

   • 著者らは、平均作用素の最大不等式の検証に基づく、del JuncoおよびRosenblattによる判定基準を利用する。
   • 任意の系に対して直接計算を行うことなくこの不等式を検証するために、問題を整数の有限区間における平均化スキームの挙動へと還元する転移原理（Proposition 2.11）を用いる。
   • 決定的な点として、著者らは強い掃き出し特性を**エルデシュ・カッツの定理（Erdős–Kac theorem）**と結びつける。もし平均化スキームがエルデシュ・カッツ型の定理（すなわち、$\log_2 N$ で正規化された算術関数の分布が標準ガウス分布に収束すること）を満たすならば、そのスキームは強い掃き出し特性を示すことを証明する。
   • 数論的な結果（Hardy–Ramanujan、Sathé–Selberg、およびLiuとWuによる特定の拡張）を適用することで、数体のイデアル上の $\Omega_K$ および $\omega_K$、ならびに $\Omega(m^2+n^2)$ がこれらの分布条件を満たすことを示す。

2. 点収束の確立：

   • 一意エルゴード系に対しては、**漸近的シフト不変性（asymptotic shift-invariance）**を用いたアプローチを採用する。
   • 有界な数列に対して、$f(T^{c(a)+1}x)$ の平均が $f(T^{c(a)}x)$ の平均と漸近的に等価であることを証明する。これは、$\Omega_K$ および $\omega_K$ の統計的性質（具体的にはHardy–Ramanujanの定理およびSathé–Selbergの漸近公式）を用いて、関数による重みの分布が $N \to \infty$ となるにつれて無視できるほどシフトすることを示すことに依拠している。
   • このシフト不変性は、系の唯一エルゴード性と相まって、エルゴード平均が不変測度に関する関数の積分へと収束することを意味する。
   • ノルム収束は、スペクトル理論（Bochner–Herglotz定理）および平均が無理数回転においてゼロに収束するという事実を用いて導出される。

主要な貢献と結果

• 強い掃き出し特性に関する一般的判定基準（Theorem 3.5）： 本論文は、エルデシュ・カッツ型の定理を満たすあらゆる平均化スキームが強い掃き出し特性を示すことを確立している。これはLoydおよびMondalによる結果を一般化したものである。
• 任意の数体への拡張（Theorem 1.4）： 著者らは、任意の数体 $K$ に対して、イデアル上の $\Omega_K$（全素因数の数）および $\omega_K$（異なる素因数の数）に沿った平均が、非原子的エルゴード系において強い掃き出し特性を満たすことを証明している。これは、Loydによる $\mathbb{Q}$ からの一般化である。
• 問い1の解決（Theorem 3.10）： 本論文は、Le, Moreira, Sunおよび第二著者が提起した、平均 $\frac{1}{N^2} \sum_{1 \le m,n \le N} f(T^{\Omega(m^2+n^2)}x)$ に関する問いに対し、肯定的に回答している。著者らは、$\Omega(m^2+n^2)$ がエルデシュ・カッツ型の定理を満たすことを示すことで（Lemma 3.8および3.9）、これらの平均もまた強い掃き出し特性を示すことを証明している。
• 一意エルゴード系における点収束（Theorem 1.5）： 著者らは、任意の唯一エルゴード系 $(X, T)$ と連続関数 $f$ に対して、$\Omega_K$ および $\omega_K$ に沿った平均が $\int f d\mu$ へ点収束することを証明している。これはBergelson–Richterの定理を回収し、ガウス整数および一般の数体へと拡張するものである。
• ノルム収束（Theorem 4.6）： 本論文は、一般的な測度保存系におけるこれらの平均の $L^2$ ノルム収束を確立している。
• 数論的系（Corollaries）： 力学的な収束結果を用いて、著者らは $\Omega_K$ および $\omega_K$ の $m \pmod m$ における等分布性（Pillai–Selbergの一般化）や、分数部分 $\{\alpha \Omega_K\}$ （Erdős–Delangeの一般化）に関する等分布の結果を導出している。

意義と主張
本論文は、数体における素因数の統計的分布と、力学系のエルゴード的振る舞いの間の架け橋となる統一的な枠組みを提供すると主張している。

• 発散に関して： 著者らは、強い掃き出し特性がこれらの平均におけるロバストな現象であり、それは算術関数がエルデシュ・カッツ分布を満たすことにのみ依存すると断言している。これは、$\Omega(m^2+n^2)$ という特定のケースに関する未解決問題を解決し、既知の発散結果の範囲をすべての数体へと一般化したものである。
• 収束に関して： 著者らは、一般のエルゴード系では点収束が失敗する一方で、一意エルゴード系においてはそれが回復されることを示している。著者らは、Theorem 1.5の証明がLandauの素イデアル定理の強化に依拠しており、この定理自体の新しい証明を提供するものではないことを注記している。
• 限界と未解決問題： 著者らは、彼らの手法は $\Omega(N(a))$（引数がイデアルではなくノルムそのものである場合）を含む他のタイプのエルゴード平均の収束を証明するには不十分であることを謙虚に述べている。彼らは、これらのケースを解決するには、素イデアルによって定義される乗法的作用に関する「力学的記述」が必要であるとし、これが依然として未解決の問題であることを指摘している。

要約すれば、本研究は、数体における素因数の統計的分布と、力学系のエルゴード的振る舞いの間の隔たりを埋めるものであり、非原子的な系においては「強い掃き出し」の振る舞いがこれらの平均の一般的な帰結であることを確認し、一方で一意エルゴード的な設定においては点収束が保持されることを明らかにしている。