Some ergodic theorems over $k$-full numbers

Basic Information

• Paper ID: 2406.15698
• Title: Some ergodic theorems over $k$-full numbers
• Author: Biao Wang
• Classification: math.NT (Number Theory), math.DS (Dynamical Systems)
• Publication Date: June 25, 2024 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2406.15698

Abstract

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$.

Research Background and Motivation

1. Importance of the Problem

This research aims to combine classical number-theoretic results with dynamical systems theory, with particular focus on ergodic theorems over $k$-full numbers. This represents a frontier in the intersection of probabilistic methods in number theory and dynamical systems theory.

2. Historical Background

• Classical results on the Liouville function: $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N \lambda(n) = 0$, where $\lambda(n) = (-1)^{\Omega(n)}$ is the Liouville function, which is equivalent to the prime number theorem
• Bergelson-Richter theorem (2022): Established a dynamical generalization of the prime number theorem, proving that for any uniquely ergodic system $(X,\mu,T)$: $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu$
• Erdős-Kac theorem (1940): Proved that $\Omega(n)$ follows a normal distribution, namely: $\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$
• Loyd theorem (2023): Demonstrated the disjointness property between the Bergelson-Richter theorem and the Erdős-Kac theorem

3. Research Motivation

Previous work primarily focused on all natural numbers or squarefree numbers. This paper generalizes these results to $k$-full numbers, which form a thin set with density zero in the natural numbers, possessing significant number-theoretic importance.

Core Contributions

1. Established the concept of $k$-invariant averages: Introduced the notion of $k$-invariant multiplicative averages, providing theoretical tools for studying ergodic properties over $k$-full numbers
2. Proved the analogue of Bergelson-Richter theorem over $k$-full numbers: For completely uniquely ergodic systems, established equidistribution of orbits indexed by $k$-full numbers
3. Established the Erdős-Kac theorem over $k$-full numbers: Proved that $\Omega(n)$ still follows a normal distribution over $k$-full numbers, with adjusted parameters
4. Proved Loyd's theorem over $k$-full numbers: Demonstrated that the disjointness between dynamical ergodicity and probability distribution remains valid over $k$-full numbers
5. Provided uniform distribution results for circle rotations: Proved that the sequence $\{\Omega(n)\alpha : n \in \mathbb{N}\}$ is uniformly distributed modulo 1 along $k$-full numbers

Detailed Methodology

Problem Definition

Study the average behavior of arithmetic functions over $k$-full numbers, where $k$-full numbers are natural numbers $n$ such that for each prime divisor $p$, we have $p^k \mid n$.

Core Concepts

Representation of $k$-full numbers

Each $k$-full number $n$ can be uniquely represented as: $n = m^k n_1^{k+1} \cdots n_{k-1}^{2k-1}$ where $n_1, \ldots, n_{k-1}$ are pairwise coprime squarefree numbers.

$k$-invariant average concept

A bounded arithmetic function $a: \mathbb{N} \to \mathbb{C}$ is said to possess the $k$-invariant multiplicative average property if:

1. The limit $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k)$ exists
2. For all $m \in \mathbb{N}$, we have $\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)$

Main Technical Tools

Theorem 1.1 (Main Result)

If $a: \mathbb{N} \to \mathbb{C}$ is a bounded arithmetic function with the $k$-invariant multiplicative average property, then: $\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)$

Proposition 3.1 (Technical Lemma)

Established the relationship between averages over $k$-full numbers and standard averages: $\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{error term}$

Technical Innovations

1. Clever use of unique factorization: Skillfully exploited the unique factorization form of $k$-full numbers, transforming the problem into manageable multiple sums
2. Application of complete unique ergodicity: Utilized properties of completely uniquely ergodic systems to ensure all necessary ergodic properties are preserved under power transformations
3. Asymptotic analysis techniques: Through refined error estimates and limiting processes, established ergodic theorems on thin sets

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. Results are verified through rigorous mathematical proofs.

Theoretical Verification Methods

1. Constructive proofs: Proved existence of limits through explicit constructions and estimates
2. Asymptotic analysis: Utilized the counting function for $k$-full numbers $Q_k(N) = c_k N^{1/k} + O(N^{1/(k+1)})$
3. Ergodic theory tools: Applied standard results on unique ergodicity and complete unique ergodicity

Experimental Results

Main Theorems

Theorem 1.2 ($k$-full version of Bergelson-Richter theorem)

For a completely uniquely ergodic system $(X,\mu,T)$: $\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$

Theorem 1.4 (Erdős-Kac theorem over $k$-full numbers)

$\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$

Theorem 1.5 (Loyd's theorem over $k$-full numbers)

$\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)$

Corollary 1.3 (Uniform Distribution Result)

For an irrational number $\alpha$, the sequence $\{\Omega(n)\alpha : n \in \mathbb{N}\}$ is uniformly distributed modulo 1 along $k$-full numbers.

Related Work

Main Research Context

1. Classical number theory: Liouville function, prime number theorem, Erdős-Kac theorem
2. Dynamical systems and number theory: Bergelson-Richter work, Loyd's disjointness results
3. Number theory on thin sets: Distribution theory of squarefree numbers and $k$-full numbers
4. Ergodic theory: Unique ergodicity, complete unique ergodicity, equidistribution theory

Novelty of This Work

Compared to previous results on all natural numbers or squarefree numbers, this paper is the first to systematically study ergodic properties over $k$-full numbers, a thin set, filling an important gap in the field.

Conclusions and Discussion

Main Conclusions

1. Successfully generalized the Bergelson-Richter theorem, Erdős-Kac theorem, and Loyd theorem to $k$-full numbers
2. Established a theoretical framework for $k$-invariant averages, providing new tools for studying ergodic properties on thin sets
3. Demonstrated that classical probabilistic number-theoretic results remain valid even on sets of density zero

Theoretical Significance

1. Deep integration of number theory and dynamical systems: Demonstrated the powerful application of ergodic theory in number theory
2. Ergodic properties of thin sets: Provided methodological guidance for studying other thin sets
3. Generalization of probabilistic number theory: Extended the applicability of classical probabilistic number-theoretic results

Future Directions

1. Study ergodic theorems over other types of thin sets
2. Explore distribution properties of more general arithmetic functions
3. Apply to other problems in analytic number theory

In-Depth Evaluation

Strengths

1. Theoretical depth: The paper makes important contributions at the intersection of number theory and dynamical systems
2. Technical innovation: The introduction of the $k$-invariant average concept has methodological value
3. Completeness of results: Systematically established an ergodic theory framework for $k$-full numbers
4. Rigorous proofs: Mathematical reasoning is sound and technical treatment is refined

Technical Highlights

1. Clever use of unique factorization: Transformed complex $k$-full number problems into manageable multiple sums
2. Critical role of complete unique ergodicity: Ensured preservation of all necessary ergodic properties
3. Precision of asymptotic estimates: Error term control reflects deep expertise in analytic number theory

Limitations

1. Scope of applicability: Primarily limited to $k$-full numbers; applicability to other thin sets requires further investigation
2. Computational complexity: Constants and convergence rates in practical calculations may be quite involved
3. Generalizability: Generalization to more general settings may face technical difficulties

Impact Assessment

1. Academic value: Provides new tools and perspectives for ergodic methods in number theory
2. Methodological contribution: The concept of $k$-invariant averages may find applications in other problems
3. Theoretical completeness: Perfects the theoretical system of probabilistic number theory on thin sets

Applicable Scenarios

1. Problems in analytic number theory involving distribution of $k$-full numbers
2. Research on equidistribution of sparse orbits in dynamical systems
3. Analysis of similar thin sets in probabilistic number theory

Highlights of References

The paper cites core literature in the field, including:

• Bergelson & Richter (2022): Foundational work on dynamical prime number theorem
• Loyd (2023): Important discovery of disjointness properties
• Erdős & Kac (1940): Classical results in probabilistic number theory
• Author's previous work on squarefree numbers, demonstrating continuity of research

This paper makes important contributions at the intersection of number theory and dynamical systems. By introducing the concept of $k$-invariant averages, it successfully generalizes multiple classical results to $k$-full numbers, demonstrating profound mathematical expertise and innovative thinking.