On $\frac{1}{n!}$ in Cantor sets

El artículo demuestra que el conjunto de Cantor de tercios medios contiene únicamente a $1$ y a $\frac{1}{5!}$ de la sucesión $\{\frac{1}{n!}\}$, resolviendo una pregunta reciente de Jiang y generalizando el resultado para probar que cualquier conjunto de dígitos faltantes contiene solo un número finito de tales elementos.

Lo esencial

¡Hola! Imagina que este artículo es como una caza del tesoro matemática, pero en lugar de buscar oro, los autores buscan números muy especiales dentro de un lugar muy extraño y complicado llamado el "Conjunto de Cantor".

Aquí te explico de qué trata, usando analogías sencillas:

1. El Escenario: El "Conjunto de Cantor" (El Laberinto)

Imagina una barra de chocolate.

1. Rompes la barra en tres partes iguales y te comes la del medio.
2. Ahora tienes dos trozos. Rompes cada uno en tres y te comes los medios.
3. Repites esto una y otra vez, infinitamente.

Lo que te queda no es una barra continua, sino una colección de puntos diminutos y aislados. A esto los matemáticos le llaman el Conjunto de Cantor. Es como un laberinto infinito donde la mayoría de los números "no pueden entrar" porque siempre caen en los huecos que te comiste.

2. El Tesoro: Los Números $1/n!$

Ahora, imagina una lista de números muy famosos y especiales:

• $1/1! = 1$
• $1/2! = 1/2$
• $1/3! = 1/6$
• $1/4! = 1/24$
• $1/5! = 1/120$
• ... y así sucesivamente.

Estos números son como "tesoros" que siguen una regla muy estricta (el factorial). La pregunta que se hicieron los matemáticos (y que este artículo responde) es: ¿Cuántos de estos tesoros logran esconderse dentro del laberinto del Conjunto de Cantor?

3. El Descubrimiento: ¡Solo hay dos!

Antes de este artículo, nadie sabía la respuesta exacta. Algunos pensaban que podría haber muchos, otros que ninguno.

Los autores (Lin, Wu y Yang) hicieron un trabajo de detective muy inteligente y descubrieron que solo hay dos números que logran entrar en el laberinto sin caer en los huecos:

1. El número 1.
2. El número $1/120$ (que es $1/5!$).

¡Todo lo demás ($1/2, 1/6, 1/24, \dots$) queda fuera! Es como si el laberinto tuviera una puerta secreta que solo se abre para esos dos números específicos.

4. ¿Cómo lo hicieron? (La Magia de la Matemática)

Para probar esto, no tuvieron que revisar infinito (lo cual es imposible). Usaron una estrategia genial:

• La Regla de los Días: Imagina que cada número tiene un "código de barras" en base 3 (porque el Conjunto de Cantor se construye con tres partes). Para estar dentro del laberinto, el código de barras no puede tener ciertos dígitos (como el '1').
• El Problema de los Factores: Los números $1/n!$ tienen muchos factores (divisores) a medida que $n$ crece. Los autores demostraron que, cuando $n$ es muy grande (más de 20), el "código de barras" de $1/n!$ se vuelve tan complejo y desordenado que necesariamente tiene que aparecer un dígito prohibido.
• La Prueba: Usaron herramientas avanzadas (como la "valuación p-ádica" y el "orden multiplicativo", que suenan a hechizos mágicos) para demostrar que, matemáticamente, es imposible que un número $1/n!$ con $n$ muy grande encaje en el laberinto.

5. El Gran Secreto: Funciona para todos los laberintos

Lo más increíble del artículo es que no solo resolvieron el caso del Conjunto de Cantor clásico. Dijeron: "Oye, esto funciona para cualquier laberinto similar (llamados 'conjuntos de dígitos faltantes')".

Crearon una receta (algoritmo) que cualquier computadora puede seguir para decirte, en cualquier laberinto de este tipo, exactamente qué números de la lista $1/n!$ logran entrar. Y la conclusión siempre es la misma: solo hay un número finito de ellos.

En resumen

Este artículo es como encontrar la llave maestra de un castillo misterioso. Los autores nos dicen: "No busques más, solo hay dos llaves que abren la puerta de este castillo específico, y aquí tienes la fórmula para encontrar las llaves de cualquier castillo similar".

¡Es una prueba elegante de que, en el mundo infinito de los fractales, a veces las reglas son tan estrictas que solo dejan pasar a unos pocos elegidos!

Resumen técnico

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados.

Resumen Técnico: Intersección de $\{1/n!\}$ con Conjuntos de Cantor

1. Planteamiento del Problema

El artículo aborda un problema de intersección entre secuencias numéricas específicas y conjuntos fractales, concretamente los conjuntos de Cantor y los conjuntos de dígitos faltantes (missing-digit sets).

• Contexto: Determinar la intersección $S \cap K$, donde $S$ es una secuencia y $K$ es un conjunto de Cantor, es un problema difícil con implicaciones en la teoría de números y la geometría fractal. Este problema está relacionado con la famosa (y aún abierta) problema de similitud de Erdős.
• Pregunta Específica: Jiang et al. [2] plantearon recientemente la siguiente cuestión: ¿Cuál es la intersección entre el conjunto de los recíprocos de los factoriales $\{1/n! : n \in \mathbb{N}\}$ y el conjunto de Cantor de tercio medio ($C$)?
• Observación Inicial: Se sabía que $1$ y $1/5!$ pertenecen a esta intersección, pero se desconocía si existían otros elementos.

2. Metodología

Los autores (Lin, Wu y Yang) emplean un enfoque que combina la teoría de números analítica, la teoría de órdenes multiplicativos y propiedades de las expansiones en base $m$.

• Herramienta Principal: Utilizan un teorema de Korobov (1963) que proporciona cotas para el número de ocurrencias de un dígito específico en la expansión periódica de un número racional en una base dada.
  • Sea $r/q$ un número racional en $(0,1)$ con $\gcd(q, m)=1$. La expansión en base $m$ es puramente periódica con longitud de periodo $\text{ord}_q(m)$.
  • Korobov establece que la diferencia entre el número de ocurrencias de un dígito $i$ ($N_i(r/q)$) y el valor esperado ($\text{ord}_q(m)/m$) está acotada por $2 \cdot \text{ord}_{\text{rad}(q)}(m)$.
• Lema Clave (2.2): Si un número racional $r/q$ pertenece a un conjunto de dígitos faltantes $K_{m,D}$ (donde falta al menos un dígito $i$), entonces el número de ocurrencias de ese dígito es cero ($N_i(r/q)=0$). Esto impone una restricción fuerte:
  $$\text{ord}_q(m) \le 2m \cdot \text{ord}_{\text{rad}(q)}(m)$$
• Análisis Asintótico:
  1. Para el caso del conjunto de Cantor ($m=3$), si $1/n! \in C$, se puede reducir el problema a estudiar $1/M_n \in C$, donde $M_n = n! / 3^{\nu_3(n!)}$.
  2. Los autores demuestran que para $n$ suficientemente grande, la desigualdad derivada del Lema 2.2 falla. Específicamente, comparan la velocidad de crecimiento del orden multiplicativo $\text{ord}_{M_n}(3)$ frente a $\text{ord}_{\text{rad}(M_n)}(3)$.
  3. Utilizan la fórmula de Legendre para estimar la potencia de 2 en $n!$ y propiedades del orden multiplicativo módulo potencias de primos para mostrar que, para $n \ge 21$, la desigualdad necesaria se viola.

3. Contribuciones Clave

• Respuesta a la Pregunta 1.1: Se resuelve definitivamente el problema planteado por Jiang et al., determinando la intersección exacta para el conjunto de Cantor clásico.
• Generalización: Se extiende el resultado a cualquier conjunto de dígitos faltantes $K_{m,D}$ (donde $m \ge 3$ y $D \subset \{0, \dots, m-1\}$ con $1 < \#D < m$).
• Algoritmo Efectivo: Se proporciona un algoritmo computacional (Algoritmo 1) que permite determinar finitamente la intersección para cualquier conjunto de dígitos faltantes dado. El algoritmo reduce el problema infinito a una búsqueda finita hasta un umbral $n_0$ calculable.
• Técnica de Prueba: La demostración introduce una modificación técnica en el uso de los órdenes multiplicativos para manejar bases generales $m$, utilizando primos impares coprimos a $m$ para establecer cotas asintóticas.

4. Resultados Principales

• Teorema 1.2 (Caso del Conjunto de Cantor):
  La intersección entre los recíprocos de los factoriales y el conjunto de Cantor de tercio medio es exactamente:
  $$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = \left\{ 1, \frac{1}{5!} \right\}$$
  Es decir, los únicos elementos son $1$ (para $n=1$) y $1/120$ (para $n=5$). Para todo $n \ge 21$, $1/n! \notin C$.

• Teorema 1.4 (Caso General):
  Para cualquier conjunto de dígitos faltantes $K_{m,D}$, la intersección $\{1/n!\} \cap K_{m,D}$ es finita y sus elementos pueden ser determinados efectivamente.

• Ejemplos Numéricos (Tabla 1):
  Los autores ilustran el algoritmo con varios casos:

  • $(3, \{0, 1\})$: Intersección = $\{1/2!, 1/3!, 1/4!, 1/6!\}$.
  • $(4, \{0, 3\})$: Intersección = $\{1\}$.
  • $(5, \{0, 4\})$: Intersección = $\{1, 1/6\}$.

5. Significado e Impacto

• Avance en la Teoría de Fractales: Este trabajo cierra una pregunta abierta reciente sobre la estructura de los números racionales dentro de conjuntos fractales clásicos.
• Conexión con el Problema de Erdős: Al demostrar que ciertas secuencias (como $1/n!$) tienen intersecciones finitas y computables con conjuntos de Cantor, se aporta evidencia y herramientas para abordar problemas más amplios sobre la distribución de secuencias en conjuntos de medida positiva.
• Eficiencia Computacional: La capacidad de determinar un umbral $n_0$ más allá del cual no hay soluciones convierte un problema teórico de infinitud en uno de verificación computacional finita, lo cual es crucial para aplicaciones en teoría de números algorítmica.
• Generalidad: El método no se limita al conjunto de Cantor estándar, sino que aplica a una amplia familia de conjuntos auto-similares definidos por restricciones de dígitos, mostrando la robustez de la técnica basada en órdenes multiplicativos y cotas de Korobov.

En conclusión, el artículo demuestra que, aunque los conjuntos de Cantor son "grandes" en términos de dimensión fractal, son "pequeños" en el sentido de que contienen muy pocos (y a menudo solo unos pocos) recíprocos de factoriales, y que esta escasez puede cuantificarse y calcularse rigurosamente.