2025-11-17T22:16:13.996767

Some ergodic theorems over squarefree numbers and squarefull numbers

Li, Wang, Wang et al.

In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing the properties of these invariant averages, we derive several ergodic theorems over squarefree numbers and squarefull numbers. These theorems have significant connections to the ErdÅs-Kac Theorem, the Bergelson-Richter Theorem, and the Loyd Theorem.

academic

무제곱수와 완전제곱수에 대한 몇 가지 에르고딕 정리

기본 정보

논문 ID: 2405.18157
제목: Some ergodic theorems over squarefree numbers and squarefull numbers
저자: Huixi Li, Biao Wang, Chunlin Wang, Shaoyun Yi
분류: math.NT (정수론), math.DS (동역학계)
발표 시간: 2025년 10월 13일
논문 링크: https://arxiv.org/abs/2405.18157

초록

2022년 Bergelson과 Richter는 정수의 소인수 개수를 따라 에르고딕 정리를 확립함으로써 소수 정리의 새로운 동역학적 일반화를 제시했다. 그들은 정수가 무제곱수로 제한될 때 이러한 일반화가 동일하게 성립함을 증명했다. 본 논문은 산술함수의 곱셈 불변 평균 개념을 제안한다. 이러한 불변 평균의 성질을 이용하여, 저자들은 무제곱수와 완전제곱수에 관한 여러 에르고딕 정리를 유도했다. 이 정리들은 Erdős-Kac 정리, Bergelson-Richter 정리 및 Loyd 정리와 중요한 연관성을 갖는다.

연구 배경 및 동기

문제 배경

소수 정리의 동역학적 일반화: Bergelson과 Richter는 2022년 소수 정리의 동역학적 일반화를 에르고딕 정리의 형태로 확립했다: $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu$
무제곱수에 대한 제한: 그들은 수열이 무제곱수로 제한될 때 유사한 결과가 여전히 성립함을 증명했다: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} f(T^{\Omega(n)}x) = \frac{6}{\pi^2}\int_X f d\mu$

연구 동기

이론의 완성: Bergelson-Richter의 업적이 소수 정리의 동역학적 형태를 개척적으로 확립했지만, 특수 수집합(무제곱수, 완전제곱수 등)에서의 에르고딕 정리에 대한 체계적 연구가 부족하다.
방법의 통일: 기존의 다양한 에르고딕 정리(Loyd 정리, Wang 등의 일반화)는 통일된 이론적 틀이 부족하며, 이러한 문제들을 다루기 위한 더 일반적인 방법이 필요하다.
정수론적 응용: 무제곱수와 완전제곱수는 정수론에서 중요한 지위를 가지며, 이들의 분포 성질은 소수 정리, Riemann 제타함수 등 핵심 개념과 밀접한 관련이 있다.

핵심 기여

불변 평균 개념의 도입: 곱셈 불변 평균의 개념을 제안하여 특수 수집합에서의 에르고딕 정리 연구를 위한 통일된 틀을 제공한다.
주요 정리의 확립: 무제곱수에 관한 주정리(정리 1.1)와 k-완전수에 관한 주정리(정리 1.4)를 증명한다.
고전적 결과의 일반화: Erdős-Kac 정리, Bergelson-Richter 정리, Loyd 정리 등을 무제곱수와 완전제곱수로 일반화한다.
응용 제공: Richter 소수 정리 일반화의 특수 수집합에서의 유사 결과를 제시한다(정리 1.7).

방법론 상세 설명

핵심 개념 정의

불변 평균의 정의: 유계 산술함수 $a: \mathbb{N} \to \mathbb{C}$ 에 대해, 평균값 $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n)$ 이 존재하고 모든 $m \in \mathbb{N}$ 에 대해 $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(mn) = \lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n)$ 을 만족할 때, $a$ 가 곱셈 불변 평균을 갖는다고 한다.

k제곱 불변 평균: 유사하게, 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)$

주요 기술 도구

1. 무제곱수의 처리(명제 3.2)

Möbius 함수의 성질을 이용하여, 유계함수 $a$ 와 $1 \leq D \leq \sqrt{N}$ 에 대해: $\frac{1}{N}\sum_{n=1}^N \mu^2(n)w_S(n)a(n) = \sum_{d=1}^D \frac{\mu(d)w_S(d)}{d^2} \mathbb{E}_{n\in[N/d^2]} w_S(n)a(d^2n) + O\left(\frac{1}{D}\right) + O\left(\frac{1}{\sqrt{N}}\right)$

여기서 $w_S(n)$ 은 집합 $S$ 의 소수로 나누어지지 않는 지시함수이다.

2. k-완전수의 처리(명제 5.1)

k-완전수의 유일 표현 $n = m^k n_1^{k+1}\cdots n_{k-1}^{2k-1}$ (여기서 $n_i$ 는 서로소이고 무제곱)을 이용하여 유사한 분해 공식을 얻는다.

증명 전략

분해 공식의 확립: Möbius 반전과 k-완전수의 구조 분해를 통해 특수 수집합에서의 합을 표준 합으로 변환한다.
불변성의 적용: 불변 평균의 성질을 이용하여 극한의 존재성과 수치를 증명한다.
오차 추정: 신중한 오차 분석을 통해 각 항의 나머지를 제어하여 극한 취득 시 소멸하도록 한다.

주요 결과

정리 1.1 (무제곱수에서의 에르고딕 정리)

$a: \mathbb{N} \to \mathbb{C}$ 를 평균이 $A$ 인 유계 산술함수라 하자. $S$ 를 유한 소수 집합이라 하자. $a(n)$ 의 평균이 곱셈 불변이면, $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}\\p\nmid n, \forall p\in S}} a(n) = \frac{\alpha(S)}{\zeta(2)}A$

여기서 $\alpha(S) = \prod_{p\in S} \frac{p}{p+1}$ 이다. 특히 $S = \emptyset$ 일 때: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} a(n) = \frac{6}{\pi^2}A$

정리 1.4 (k-완전수에서의 에르고딕 정리)

$k \geq 2$ 라 하자. $a: \mathbb{N} \to \mathbb{C}$ 가 k제곱 불변 평균을 갖는 유계 산술함수이면, $\lim_{N\to\infty} \mathbb{E}_{n\in[N], n \text{ is } k\text{-full}} a(n) = \lim_{N\to\infty} \mathbb{E}_{n\in[N]} a(n^k)$

응용 사례

1. Erdős-Kac 정리의 일반화

무제곱수에 대해: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} F\left(\frac{\Omega(\phi^k(n)) - a_k(\log\log N)^{k+1}}{b_k(\log\log N)^{k+1/2}}\right)f(T^{\Omega(n)}x) = \frac{6}{\pi^2}\left(\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt\right)\left(\int_X f d\mu\right)$

2. 완전제곱수에서의 결과

완전제곱수에 대해, $(X,\mu,T)$ 가 완전 유일 에르고딕 계일 때: $\lim_{N\to\infty} \mathbb{E}_{\substack{n\in[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)$