2025-11-10T02:48:05.426194

Some ergodic theorems over $k$-full numbers

Wang

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

academic

$k$ -full 수 위의 일부 에르고딕 정리

기본 정보

논문 ID: 2406.15698
제목: Some ergodic theorems over $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 정리와의 분리된 형태를 보였습니다. 최근에 저자와 공동 저자들은 이러한 결과들과 관련된 무제곱수(squarefree numbers) 위의 일부 에르고딕 정리를 증명했습니다. 본 논문에서는 이전 연구를 바탕으로 하여 임의의 정수 $k\geq2$ 에 대해 $k$ -full 수 위의 Bergelson-Richter 정리, Erdős-Kac 정리 및 Loyd 정리의 유사 결과들을 도출할 것입니다.

연구 배경 및 동기

1. 문제의 중요성

본 연구는 고전적인 수론 결과를 동역학계 이론과 결합하는 데 주력하며, 특히 $k$ -full 수 위의 에르고딕 정리에 초점을 맞춥니다. 이는 수론의 확률적 방법과 동역학계 이론의 교차점에 있는 최첨단 연구 분야입니다.

2. 역사적 배경

Liouville 함수의 고전적 결과: $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N \lambda(n) = 0$ , 여기서 $\lambda(n) = (-1)^{\Omega(n)}$ 는 Liouville 함수이며, 이는 소수 정리와 동치입니다.
Bergelson-Richter 정리(2022): 소수 정리의 동역학적 일반화를 확립하여 임의의 유일 에르고딕 계(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 정리(1940): $\Omega(n)$ 이 정규분포를 따름을 증명했습니다: $\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 정리(2023): Bergelson-Richter 정리와 Erdős-Kac 정리의 분리 성질을 보였습니다.

3. 연구 동기

이전 연구는 주로 모든 자연수 또는 무제곱수를 대상으로 했으나, 본 논문은 이러한 결과들을 $k$ -full 수로 일반화합니다. $k$ -full 수는 자연수 중 밀도가 0인 희박한 집합이며 중요한 수론적 의미를 갖습니다.

핵심 기여

$k$ -불변 평균 개념의 확립: $k$ -불변 평균 곱셈성(multiplicativity)의 개념을 도입하여 $k$ -full 수 위의 에르고딕 성질 연구를 위한 이론적 도구를 제공했습니다.
$k$ -full 수 위의 Bergelson-Richter 정리 증명: 완전 유일 에르고딕 계(completely uniquely ergodic system)에 대해 $k$ -full 수 지수 아래의 궤도 등분포성을 확립했습니다.
$k$ -full 수 위의 Erdős-Kac 정리 확립: $\Omega(n)$ 이 $k$ -full 수 위에서도 정규분포를 따르나 모수가 조정됨을 증명했습니다.
$k$ -full 수 위의 Loyd 정리 증명: 동역학적 에르고딕성과 확률 분포의 분리 성질이 $k$ -full 수 위에서도 성립함을 보였습니다.
원 위의 회전의 균등분포 결과 제시: 수열 $\{\Omega(n)\alpha : n \in \mathbb{N}\}$ 이 $k$ -full 수를 따라 모 1에서 균등분포함을 증명했습니다.

방법론 상세 설명

작업 정의

$k$ -full 수 위의 산술 함수의 평균 거동을 연구합니다. 여기서 $k$ -full 수는 모든 소인수 $p$ 에 대해 $p^k$ 이 $n$ 을 나누는 자연수입니다.

핵심 개념

$k$ -full 수의 표현

모든 $k$ -full 수 $n$ 은 다음과 같이 유일하게 표현됩니다: $n = m^k n_1^{k+1} \cdots n_{k-1}^{2k-1}$ 여기서 $n_1, \ldots, n_{k-1}$ 은 서로소인 무제곱수입니다.

$k$ -불변 평균 개념

유계 산술 함수 $a: \mathbb{N} \to \mathbb{C}$ 가 $k$ -불변 평균 곱셈성을 갖는다는 것은:

극한 $\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k)$ 이 존재하고
모든 $m \in \mathbb{N}$ 에 대해 $\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.1 (주요 결과)

$a: \mathbb{N} \to \mathbb{C}$ 가 $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)$

명제 3.1 (기술적 보조정리)

$k$ -full 수 위의 평균과 표준 평균 간의 관계를 확립합니다: $\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{오차항}$

기술적 혁신점

유일 분해의 활용: $k$ -full 수의 유일 분해 형태를 교묘하게 활용하여 문제를 처리 가능한 다중 합으로 변환합니다.
완전 유일 에르고딕성의 적용: 완전 유일 에르고딕 계의 성질을 활용하여 모든 거듭제곱 변환이 유일 에르고딕성을 유지함을 보장합니다.
점근 분석 기법: 정밀한 오차 추정과 극한 과정을 통해 희박 집합 위의 에르고딕 정리를 확립합니다.

실험 설정

본 논문은 순수 이론 수학 논문으로 수치 실험을 포함하지 않으며, 주로 엄밀한 수학적 증명을 통해 결과를 검증합니다.

이론적 검증 방법

구성적 증명: 명시적 구성과 추정을 통해 극한의 존재성을 증명합니다.
점근 분석: $k$ -full 수의 계수 함수 $Q_k(N) = c_k N^{1/k} + O(N^{1/(k+1)})$ 를 활용합니다.
에르고딕 이론 도구: 유일 에르고딕성과 완전 유일 에르고딕성의 표준 결과를 적용합니다.

실험 결과

주요 정리

정리 1.2 (Bergelson-Richter 정리의 $k$ -full 버전)

완전 유일 에르고딕 계 $(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$

정리 1.4 ( $k$ -full 수 위의 Erdős-Kac 정리)

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

정리 1.5 ( $k$ -full 수 위의 Loyd 정리)

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