Algunos teoremas ergódicos sobre números libres de cuadrados y números potentes

Información Básica

• ID del Artículo: 2405.18157
• Título: Some ergodic theorems over squarefree numbers and squarefull numbers
• Autores: Huixi Li, Biao Wang, Chunlin Wang, Shaoyun Yi
• Clasificación: math.NT (Teoría de Números), math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 13 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2405.18157

Resumen

En 2022, Bergelson y Richter proporcionaron una nueva generalización dinámica del teorema de los números primos mediante el establecimiento de teoremas ergódicos a lo largo del número de factores primos de enteros. También demostraron que esta generalización se mantiene cuando los enteros se restringen a números libres de cuadrados. Este artículo propone el concepto de media invariante de funciones aritméticas bajo multiplicación. Utilizando las propiedades de estas medias invariantes, los autores derivan varios teoremas ergódicos sobre números libres de cuadrados y números potentes. Estos teoremas tienen conexiones importantes con el teorema de Erdős-Kac, el teorema de Bergelson-Richter y el teorema de Loyd.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Generalización dinámica del teorema de los números primos: Bergelson y Richter en 2022 establecieron una generalización dinámica del teorema de los números primos, expresada en forma de teorema ergódico: para cualquier sistema dinámico topológico únicamente ergódico $(X,\mu,T)$, se tiene $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu$
2. Restricción a números libres de cuadrados: Demostraron además que cuando la sucesión se restringe a números libres de cuadrados, resultados similares siguen siendo válidos: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ libre de cuadrados}}} f(T^{\Omega(n)}x) = \frac{6}{\pi^2}\int_X f d\mu$

Motivación de la Investigación

1. Perfeccionamiento teórico: Aunque el trabajo de Bergelson-Richter estableció de manera pionera la forma dinámica del teorema de los números primos, falta un estudio sistemático de teoremas ergódicos sobre conjuntos numéricos especiales (como números libres de cuadrados y números potentes).
2. Unificación de métodos: Los diversos teoremas ergódicos existentes (como el teorema de Loyd y las generalizaciones de Wang et al.) carecen de un marco teórico unificado, siendo necesario un enfoque más general para abordar este tipo de problemas.
3. Aplicaciones en teoría de números: Los números libres de cuadrados y los números potentes ocupan un lugar importante en la teoría de números, y sus propiedades de distribución están estrechamente relacionadas con conceptos fundamentales como el teorema de los números primos y la función zeta de Riemann.

Contribuciones Principales

1. Introducción del concepto de media invariante: Se propone el concepto de media invariante de funciones aritméticas bajo multiplicación, proporcionando un marco unificado para estudiar teoremas ergódicos sobre conjuntos numéricos especiales.
2. Establecimiento de teoremas principales: Se demuestran el teorema principal sobre números libres de cuadrados (Teorema 1.1) y el teorema principal sobre números k-potentes (Teorema 1.4).
3. Generalización de resultados clásicos: Se extienden el teorema de Erdős-Kac, el teorema de Bergelson-Richter, el teorema de Loyd y otros a números libres de cuadrados y números potentes.
4. Provisión de aplicaciones: Se proporcionan análogos de la generalización del teorema de los números primos de Richter en conjuntos numéricos especiales (Teorema 1.7).

Explicación Detallada de Métodos

Definición de Conceptos Centrales

Definición de media invariante: Para una función aritmética acotada $a: \mathbb{N} \to \mathbb{C}$, se dice que posee una media invariante bajo multiplicación si el promedio $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n)$ existe y satisface $\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)$ para todo $m \in \mathbb{N}$.

Media invariante de k-ésima potencia: De manera similar, se define la media invariante de k-ésima potencia como $\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)$

Herramientas Técnicas Principales

1. Tratamiento de Números Libres de Cuadrados (Proposición 3.2)

Utilizando las propiedades de la función de Möbius, para una función acotada $a$ y $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)$

donde $w_S(n)$ es la función indicadora de que $n$ no es divisible por ningún número primo en el conjunto $S$.

2. Tratamiento de Números k-Potentes (Proposición 5.1)

Utilizando la representación única de números k-potentes $n = m^k n_1^{k+1}\cdots n_{k-1}^{2k-1}$ (donde $n_i$ son mutuamente coprimos y libres de cuadrados), se obtiene una fórmula de descomposición similar.

Estrategia de Demostración

1. Establecimiento de fórmulas de descomposición: Mediante inversión de Möbius y descomposición de la estructura de números k-potentes, se transforman las sumas sobre conjuntos especiales en sumas estándar.
2. Aplicación de invariancia: Se utilizan las propiedades de la media invariante para demostrar la existencia y el valor del límite.
3. Estimación de errores: Mediante análisis cuidadoso de errores, se controlan los términos residuales de cada término, haciendo que desaparezcan al tomar el límite.

Resultados Principales

Teorema 1.1 (Teorema Ergódico sobre Números Libres de Cuadrados)

Sea $a: \mathbb{N} \to \mathbb{C}$ una función aritmética acotada con media $A$. Sea $S$ un conjunto finito de números primos. Si la media de $a(n)$ es invariante bajo multiplicación, entonces $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ libre de cuadrados}\\p\nmid n, \forall p\in S}} a(n) = \frac{\alpha(S)}{\zeta(2)}A$

donde $\alpha(S) = \prod_{p\in S} \frac{p}{p+1}$. En particular, cuando $S = \emptyset$: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ libre de cuadrados}}} a(n) = \frac{6}{\pi^2}A$

Teorema 1.4 (Teorema Ergódico sobre Números k-Potentes)

Sea $k \geq 2$. Si $a: \mathbb{N} \to \mathbb{C}$ es una función aritmética acotada con media invariante de k-ésima potencia, entonces $\lim_{N\to\infty} \mathbb{E}_{n\in[N], n \text{ es } k\text{-potente}} a(n) = \lim_{N\to\infty} \mathbb{E}_{n\in[N]} a(n^k)$

Ejemplos de Aplicación

1. Generalización del Teorema de Erdős-Kac

Para números libres de cuadrados: $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ libre de cuadrados}}} 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. Resultados sobre Números Potentes

Para números potentes, cuando $(X,\mu,T)$ es un sistema completamente únicamente ergódico: $\lim_{N\to\infty} \mathbb{E}_{\substack{n\in[N]\\n \text{ es } k\text{-potente}}} 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)$

Puntos de Innovación Técnica

1. Introducción del Concepto de Media Invariante

Esta es la innovación central del artículo. Al introducir el concepto de media invariante bajo multiplicación, los autores proporcionan un marco unificado para abordar diversos teoremas ergódicos. La clave de este concepto radica en:

• Universalidad: Muchas funciones aritméticas conocidas satisfacen esta propiedad
• Verificabilidad: Para funciones concretas, la invariancia puede verificarse mediante técnicas de teoría de números existentes
• Transitividad: La invariancia se mantiene bajo ciertas transformaciones

2. Mejora de Métodos Técnicos

• Estimaciones de error refinadas: Al tratar números libres de cuadrados y números k-potentes, los autores proporcionan cotas de error precisas
• Estrategia de demostración unificada: Mediante inversión de Möbius y propiedades de funciones de teoría de números, se reducen los problemas a casos estándar

3. Amplitud de Resultados

El artículo no solo aborda un único teorema ergódico, sino que sistematiza la generalización de múltiples teoremas importantes, incluyendo:

• Teorema de Bergelson-Richter
• Teorema de Erdős-Kac
• Teorema de Loyd
• Generalización del teorema de los números primos de Richter

Trabajos Relacionados

1. Teorema de Bergelson-Richter (2022)

Establece la generalización dinámica del teorema de los números primos, siendo el punto de partida directo de este artículo.

2. Teorema de Erdős-Kac (1940)

Demuestra que $\Omega(n)$ sigue una distribución normal, siendo un trabajo fundamental en teoría de números probabilística.

3. Teorema de Loyd (2023)

Demuestra que las sucesiones en el teorema de Erdős-Kac y el teorema de Bergelson-Richter son asintóticamente no correlacionadas.

4. Trabajos de Generalización Relacionados

• Wang (2022): Generalización en semigrupos aritméticos aditivos
• Wang et al. (2025): Versión dinámica del teorema de Erdős-Pomerance

Conclusiones y Discusión

Conclusiones Principales

1. Contribución teórica: Se establece un marco teórico unificado para abordar teoremas ergódicos sobre conjuntos numéricos especiales
2. Avance técnico: Se desarrollan nuevas técnicas de teoría de números para manejar sumas restringidas a conjuntos especiales
3. Valor aplicado: Se proporcionan nuevas herramientas para la investigación interdisciplinaria entre teoría de números probabilística y teoría ergódica

Limitaciones

1. Limitaciones técnicas: El método es principalmente aplicable a conjuntos numéricos con buena estructura multiplicativa
2. Requisitos de condiciones: Se requiere que las funciones satisfagan la condición de media invariante, lo que en algunos casos puede ser difícil de verificar
3. Alcance de generalización: Para conjuntos numéricos más generales (como números r-libres, $r \geq 3$), la generalización de resultados requiere investigación adicional

Direcciones Futuras

1. Conjuntos infinitos de primos: Considerar el caso cuando el conjunto $S$ es infinito
2. Análogos en campos finitos: Investigar resultados similares en campos finitos
3. Conjuntos numéricos más generales: Generalizar a números r-libres y otros conjuntos con estructura especial

Evaluación Profunda

Fortalezas

1. Innovación teórica: La introducción del concepto de media invariante es una verdadera innovación que proporciona nuevas herramientas de investigación al campo
2. Técnica refinada: Las técnicas de demostración son sofisticadas, las estimaciones de error son precisas y reflejan técnicas de teoría de números de alto nivel
3. Resultados abundantes: No solo se proporcionan los teoremas principales, sino también numerosas aplicaciones y generalizaciones
4. Escritura clara: La estructura del artículo es razonable, los detalles técnicos son claros y fáciles de entender y verificar

Deficiencias

1. Limitaciones de aplicación: La verificación de la condición de media invariante puede ser difícil en algunos casos
2. Complejidad computacional: El cálculo real de algunos resultados puede implicar funciones de teoría de números complejas
3. Potencial de generalización: Aunque los resultados son abundantes, las direcciones para generalización adicional no están suficientemente claras

Impacto

1. Valor académico: Abre nuevas direcciones para la investigación interdisciplinaria entre teoría ergódica y teoría de números
2. Impacto técnico: Los métodos técnicos proporcionados pueden ser adoptados y desarrollados por otros investigadores
3. Significado teórico: Profundiza la comprensión de la generalización dinámica del teorema de los números primos

Escenarios Aplicables

1. Investigación teórica: Aplicable al estudio de propiedades de distribución sobre conjuntos numéricos especiales
2. Teoría de números probabilística: Proporciona nuevos métodos de demostración para teoremas límite en teoría de números probabilística
3. Teoría ergódica: Proporciona nuevos antecedentes de teoría de números para aplicaciones de teoría ergódica

Referencias Bibliográficas

El artículo cita 35 referencias relacionadas, abarcando trabajos importantes en múltiples campos incluyendo teoría ergódica, teoría de números y teoría de números probabilística, reflejando la profundidad y amplitud de la investigación. Los principales incluyen:

• Trabajos pioneros de Bergelson y Richter
• Teorema de Erdős-Kac y sus generalizaciones
• Resultados clásicos sobre la distribución de números libres de cuadrados y números potentes
• Avances recientes en la intersección de sistemas dinámicos y teoría de números