In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem. Later, Loyd showed a disjoint form with the ErdÅs-Kac theorem. Recently, the author and his coauthors proved some ergodic theorems over squarefree numbers related to these results. In this paper, building on the previous work, we will derive the analogues of Bergelson-Richter's theorem, ErdÅs-Kac theorem and Loyd's theorem over $k$-full numbers for any integer $k\geq2$.
論文ID : 2406.15698タイトル : Some ergodic theorems over k k k -full numbers著者 : Biao Wang分類 : math.NT(数論)、math.DS(力学系)発表日時 : 2024年6月25日(arXiv プレプリント)論文リンク : https://arxiv.org/abs/2406.15698 2022年、BergelsonとRichterは素数定理の新しい力学系的一般化を確立した。その後、Loydはこれらの結果とErdős-Kac定理の非結合形式を示した。最近、著者と共著者は無平方因子数に関連するこれらの結果に関するエルゴード定理を証明した。本論文では、先行研究に基づいて、任意の整数k ≥ 2 k\geq2 k ≥ 2 に対してk k k -完全数上のBergelson-Richter定理、Erdős-Kac定理およびLoyd定理の類似物を導出する。
本研究は、古典的な数論結果と力学系理論を結合することに取り組んでおり、特にk k k -完全数上のエルゴード定理に焦点を当てている。これは数論における確率的方法と力学系理論の交差領域における最先端の研究分野である。
Liouville関数の古典的結果 :lim N → ∞ 1 N ∑ n = 1 N λ ( n ) = 0 \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N \lambda(n) = 0 lim N → ∞ N 1 ∑ n = 1 N λ ( n ) = 0 。ここでλ ( n ) = ( − 1 ) Ω ( n ) \lambda(n) = (-1)^{\Omega(n)} λ ( n ) = ( − 1 ) Ω ( n ) はLiouville関数であり、これは素数定理と同値であるBergelson-Richter定理(2022) :素数定理の力学系的一般化を確立し、任意の唯一エルゴード系( X , μ , T ) (X,\mu,T) ( X , μ , T ) に対して以下を証明した:
lim N → ∞ 1 N ∑ n = 1 N f ( T Ω ( n ) x ) = ∫ X f d μ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu lim N → ∞ N 1 ∑ n = 1 N f ( T Ω ( n ) x ) = ∫ X fd μ Erdős-Kac定理(1940) :Ω ( n ) \Omega(n) Ω ( n ) が正規分布に従うことを証明した。すなわち:
lim N → ∞ 1 N ∑ n = 1 N F ( Ω ( n ) − log log N log log N ) = 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N F\left(\frac{\Omega(n) - \log\log N}{\sqrt{\log\log N}}\right) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt lim N → ∞ N 1 ∑ n = 1 N F ( l o g l o g N Ω ( n ) − l o g l o g N ) = 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t Loyd定理(2023) :Bergelson-Richter定理とErdős-Kac定理の非結合性質を示した先行研究は主にすべての自然数または無平方因子数を対象としていたが、本論文はこれらの結果をk k k -完全数に一般化する。k k k -完全数は自然数の中で密度がゼロの希薄集合であり、重要な数論的意義を持つ。
k k k -不変平均の概念の確立 :k k k -不変平均乗法性の概念を導入し、k k k -完全数上のエルゴード性質の研究に理論的ツールを提供したBergelson-Richter定理のk k k -完全数上での類似の証明 :完全唯一エルゴード系に対して、k k k -完全数指標下での軌道の等分布性を確立したk k k -完全数上のErdős-Kac定理の確立 :Ω ( n ) \Omega(n) Ω ( n ) がk k k -完全数上でも正規分布に従うことを証明したが、パラメータは調整されているk k k -完全数上のLoyd定理の証明 :力学系的エルゴード性と確率分布の非結合性がk k k -完全数上でも成立することを示した円周回転の等分布結果の提示 :数列{ Ω ( n ) α : n ∈ N } \{\Omega(n)\alpha : n \in \mathbb{N}\} { Ω ( n ) α : n ∈ N } がk k k -完全数に沿ってmod 1で等分布することを証明したk k k -完全数上の算術関数の平均的挙動を研究する。ここでk k k -完全数とは、各素因子p p p に対してp k p^k p k がn n n を割り切る自然数である。
各k k k -完全数n n n は一意に以下のように表現できる:
n = m k n 1 k + 1 ⋯ n k − 1 2 k − 1 n = m^k n_1^{k+1} \cdots n_{k-1}^{2k-1} n = m k n 1 k + 1 ⋯ n k − 1 2 k − 1
ここでn 1 , … , n k − 1 n_1, \ldots, n_{k-1} n 1 , … , n k − 1 は互いに素な無平方因子数である。
有界算術関数a : N → C a: \mathbb{N} \to \mathbb{C} a : N → C がk k k -不変平均乗法性を持つとは、以下の条件を満たすことである:
極限lim N → ∞ 1 N ∑ n = 1 N a ( n k ) \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k) lim N → ∞ N 1 ∑ n = 1 N a ( n k ) が存在する すべてのm ∈ N m \in \mathbb{N} m ∈ N に対して、lim N → ∞ 1 N ∑ n = 1 N a ( n k m ) = lim N → ∞ 1 N ∑ n = 1 N a ( n k ) \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k m) = \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k) lim N → ∞ N 1 ∑ n = 1 N a ( n k m ) = lim N → ∞ N 1 ∑ n = 1 N a ( n k ) が成立する a : N → C a: \mathbb{N} \to \mathbb{C} a : N → C がk k k -不変平均乗法性を持つ有界算術関数であれば、以下が成立する:
lim N → ∞ E 1 ≤ n ≤ N , n is k -full a ( n ) = lim N → ∞ E n ≤ N a ( n k ) \lim_{N\to\infty} \mathbb{E}_{1\leq n\leq N, n\text{ is }k\text{-full}} a(n) = \lim_{N\to\infty} \mathbb{E}_{n\leq N} a(n^k) lim N → ∞ E 1 ≤ n ≤ N , n is k -full a ( n ) = lim N → ∞ E n ≤ N a ( n k )
k k k -完全数上の平均と標準平均の関係を確立した:
1 N 1 / k ∑ 1 ≤ n ≤ N n is k -full a ( n ) = ∑ n 1 ≤ D 1 , … , n k − 1 ≤ D k − 1 ( n i , n j ) = 1 , ∀ i < j μ 2 ( n 1 ) ⋯ μ 2 ( n k − 1 ) n 1 1 + 1 / k ⋯ n k − 1 1 + ( k − 1 ) / k E m ≤ M a ( m k n 1 k + 1 ⋯ n k − 1 2 k − 1 ) + 誤差項 \frac{1}{N^{1/k}}\sum_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} a(n) = \sum_{\substack{n_1\leq D_1,\ldots,n_{k-1}\leq D_{k-1} \\ (n_i,n_j)=1, \forall i<j}} \frac{\mu^2(n_1)\cdots\mu^2(n_{k-1})}{n_1^{1+1/k}\cdots n_{k-1}^{1+(k-1)/k}} \mathbb{E}_{m\leq M} a(m^k n_1^{k+1}\cdots n_{k-1}^{2k-1}) + \text{誤差項} N 1/ k 1 ∑ 1 ≤ n ≤ N n is k -full a ( n ) = ∑ n 1 ≤ D 1 , … , n k − 1 ≤ D k − 1 ( n i , n j ) = 1 , ∀ i < j n 1 1 + 1/ k ⋯ n k − 1 1 + ( k − 1 ) / k μ 2 ( n 1 ) ⋯ μ 2 ( n k − 1 ) E m ≤ M a ( m k n 1 k + 1 ⋯ n k − 1 2 k − 1 ) + 誤差項
唯一分解の巧妙な利用 :k k k -完全数の唯一分解形式を巧みに利用して、問題を処理可能な多重和に変換した完全唯一エルゴード性の応用 :完全唯一エルゴード系の性質を利用して、すべての冪変換がエルゴード性を保持することを確保した漸近解析技術 :精密な誤差推定と極限過程を通じて、希薄集合上のエルゴード定理を確立した本論文は純粋な理論数学論文であり、数値実験は含まれず、主に厳密な数学的証明によって結果を検証する。
構成的証明 :明示的な構成と推定を通じて極限の存在性を証明する漸近解析 :k k k -完全数の計数関数Q k ( N ) = c k N 1 / k + O ( N 1 / ( k + 1 ) ) Q_k(N) = c_k N^{1/k} + O(N^{1/(k+1)}) Q k ( N ) = c k N 1/ k + O ( N 1/ ( k + 1 ) ) を利用するエルゴード理論ツール :唯一エルゴード性と完全唯一エルゴード性の標準的結果を適用する完全唯一エルゴード系( X , μ , T ) (X,\mu,T) ( X , μ , T ) に対して:
lim N → ∞ E 1 ≤ n ≤ N n is k -full f ( T Ω ( n ) x ) = ∫ X f d μ \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} f(T^{\Omega(n)}x) = \int_X f d\mu lim N → ∞ E 1 ≤ n ≤ N n is k -full f ( T Ω ( n ) x ) = ∫ X fd μ
lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( Ω ( n ) − k log log N k log log N ) = 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} F\left(\frac{\Omega(n) - k\log\log N}{k\sqrt{\log\log N}}\right) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( k l o g l o g N Ω ( n ) − k l o g l o g N ) = 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t
lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( Ω ( n ) − k log log N k log log N ) f ( T Ω ( n ) x ) = ( 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t ) ( ∫ X f d μ ) \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} F\left(\frac{\Omega(n) - k\log\log N}{k\sqrt{\log\log N}}\right) f(T^{\Omega(n)}x) = \left(\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt\right)\left(\int_X f d\mu\right) lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( k l o g l o g N Ω ( n ) − k l o g l o g N ) f ( T Ω ( n ) x ) = ( 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t ) ( ∫ X fd μ )
無理数α \alpha α に対して、数列{ Ω ( n ) α : n ∈ N } \{\Omega(n)\alpha : n \in \mathbb{N}\} { Ω ( n ) α : n ∈ N } はk k k -完全数に沿ってmod 1で等分布する。
古典的数論 :Liouville関数、素数定理、Erdős-Kac定理力学系数論 :Bergelsonの研究、Loydの非結合性結果希薄集合上の数論 :無平方因子数、k k k -完全数の分布理論エルゴード理論 :唯一エルゴード性、完全唯一エルゴード性、等分布理論すべての自然数または無平方因子数上の先行結果と比較して、本論文は初めて系統的にk k k -完全数というこの希薄集合上のエルゴード性質を研究し、この分野の重要な空白を埋めた。
Bergelson-Richter定理、Erdős-Kac定理およびLoyd定理をk k k -完全数に成功裏に一般化した k k k -不変平均の理論的枠組みを確立し、希薄集合上のエルゴード性研究に新しいツールを提供した密度がゼロの集合上でも、古典的な確率数論の結果が成立することを証明した 数論と力学系の深い結合 :エルゴード理論の数論への強力な応用を示した希薄集合のエルゴード性質 :他の希薄集合の研究に方法論的指針を提供した確率数論の一般化 :古典的確率数論の結果の適用範囲を拡張した他のタイプの希薄集合上のエルゴード定理の研究 より一般的な算術関数の分布性質の探索 解析数論の他の問題への応用 理論的深さ :数論と力学系の交差領域における重要な貢献技術的革新 :k k k -不変平均概念の導入は方法論的価値を持つ結果の完全性 :k k k -完全数上のエルゴード理論の枠組みを系統的に確立した証明の厳密性 :数学的推論は厳密で、技術的処理は精密である唯一分解の巧妙な利用 :複雑なk k k -完全数問題を処理可能な多重和に変換した完全唯一エルゴード性の重要な役割 :すべての必要なエルゴード性質を確保した漸近推定の精密性 :誤差項の制御は深い解析数論の基礎を示している適用範囲 :主にk k k -完全数に限定され、他の希薄集合への適用性は今後の研究が必要計算複雑性 :実際の計算では関連する定数と収束速度がかなり複雑である可能性がある一般化可能性 :より一般的な設定への一般化は技術的困難に直面する可能性がある学術的価値 :数論におけるエルゴード的方法に新しいツールと視点を提供した方法論的貢献 :k k k -不変平均の概念は他の問題での応用の可能性がある理論的完全性 :希薄集合上の確率数論の理論体系を完善したk k k -完全数の分布に関わる解析数論の問題力学系における希薄軌道の等分布研究 確率数論における類似の希薄集合の分析 論文は本分野の核心文献を引用している。これには以下が含まれる:
Bergelson & Richter (2022):力学系的素数定理の基礎的研究 Loyd (2023):非結合性質の重要な発見 Erdős & Kac (1940):確率数論の古典的結果 著者の無平方因子数に関する先行研究。研究の継続性を示している 本論文は数論と力学系の交差領域において重要な貢献を行い、k k k -不変平均の概念を導入することで、複数の古典的結果をk k k -完全数に成功裏に一般化し、深い数学的基礎と革新的思考を示している。