🔢 mathematics

Distribution of integers with digit restrictions via Markov chains

Este artículo presenta una nueva técnica basada en cadenas de Markov para estudiar la distribución en clases de residuos de conjuntos de enteros con restricciones de dígitos, extendiendo los resultados previos sobre la distribución uniforme en progresiones aritméticas a una clase más general de conjuntos multiplicativamente invariantes.

Autores originales: Vicente Saavedra-Araya

Publicado 2026-02-11

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Vicente Saavedra-Araya

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

El Código Secreto de los Números: ¿Cómo se reparten los números "especiales"?

Imagina que tienes una bolsa gigante llena de todos los números que existen. Normalmente, si sacas un puñado de números al azar, estos se reparten de forma muy equilibrada: hay casi la misma cantidad de números que terminan en 1, en 2, en 3, y así sucesivamente. Es como si lanzaras un dado mil veces; al final, cada cara habrá salido más o menos lo mismo.

Pero, ¿qué pasa si decidimos jugar con reglas extrañas? ¿Qué pasa si solo nos interesan los números que no tienen el dígito 7? ¿O los números cuya suma de dígitos es siempre par?

Este artículo de Vicente Saavedra-Araya estudia precisamente eso: cómo se comportan estos "números con reglas especiales" cuando intentamos clasificarlos en grupos (como los números pares, impares o múltiplos de 3).

1. La Metáfora del Club Exclusivo (Conjuntos con restricciones)

Imagina que los números naturales son una multitud en una plaza. La mayoría de la gente es "normal". Pero de repente, decides crear un Club Exclusivo. Para entrar al club, no basta con ser un número; tienes que cumplir una regla de vestimenta: "Solo se permiten números que en su código de barras (su base decimal) no usen el dígito 4".

Este "Club de los No-4" es un conjunto de números con restricciones. El matemático quiere saber: si este club es muy selecto, ¿sus miembros se reparten de forma justa entre los que usan zapatos rojos y los que usan zapatos azules? ¿O el club tiene una tendencia extraña a preferir un color?

2. La Herramienta: Las Cadenas de Markov (El juego de la probabilidad)

Para resolver esto, el autor no usa las herramientas de siempre (como el análisis de Fourier, que es como usar un microscopio muy potente pero complicado). En su lugar, utiliza algo llamado Cadenas de Markov.

Imagina un juego de mesa:
Estás en una casilla y lanzas un dado para decidir a qué casilla saltar después. Tu posición actual determina tus posibilidades de movimiento. Las Cadenas de Markov son como este juego: nos permiten modelar cómo un número "crece" (añadiendo más dígitos) y cómo esa adición afecta su "identidad" (si es múltiplo de algo o si su suma de dígitos cambia).

El autor construye un "mapa de saltos" (la matriz de transición) que describe cómo, al añadir un nuevo dígito a un número, este salta de un grupo de residuo a otro. Si el mapa es lo suficientemente conectado (lo que él llama "irreducible" y "aperiódico"), entonces, a largo plazo, los números se repartirán de forma perfectamente equitativa.

3. Los Hallazgos: ¿Orden o Caos?

El artículo llega a conclusiones muy importantes:

La Regla de la Justicia (Distribución Uniforme): El autor encuentra la condición exacta para saber cuándo un grupo de números "especiales" se repartirá de forma justa. Por ejemplo, si el club de los "No-7" quiere saber si sus miembros se reparten igual entre pares e impares, el autor nos da la fórmula matemática para confirmarlo.
El Misterio de la Dimensión (Fractales): Los números con reglas especiales no llenan todo el espacio de forma normal; se parecen más a los fractales (estructuras que tienen huecos pero mantienen un patrón). El autor investiga si, al mirar estos números a través de un "filtro" (una progresión aritmética), su estructura se mantiene o se desmorona.
La Respuesta a una Pregunta Abierta: Había una pregunta sin respuesta sobre si estos conjuntos "fractales" de números mantienen su "tamaño" (dimensión) cuando los obligamos a seguir una regla de grupo. El autor demuestra que, si el conjunto tiene una estructura matemática "limpia" (llamada sofic transitoria), la respuesta es SÍ: su esencia se mantiene.

Resumen para llevar a casa

En términos muy simples, este trabajo es como estudiar la demografía de una población de fantasía. Si creamos una civilización de seres que solo pueden usar ciertos colores, este matemático ha inventado un nuevo método (usando juegos de probabilidad) para predecir si esos seres se repartirán de forma equilibrada por todo el reino o si se amontonarán de forma extraña en ciertas ciudades.

En resumen: ha encontrado las leyes de equilibrio para los números que no siguen las reglas comunes.

Resumen Técnico: Distribución de Enteros con Restricciones de Dígitos mediante Cadenas de Markov

Título original: Distribution of Integers with Digit Restrictions via Markov Chains

1. El Problema

El artículo investiga la distribución de conjuntos de números enteros que se forman imponiendo restricciones a sus dígitos en una base $g \geq 2$ . El enfoque principal es determinar cuándo estos conjuntos están uniformemente distribuidos en progresiones aritméticas (o clases de residuos).

El autor se centra en una clase general de conjuntos denominados conjuntos multiplicativamente invariantes (o $\times g$ -invariantes). Un conjunto $A$ es $\times g$ -invariante si la pertenencia de un número a $A$ depende únicamente de sus dígitos en base $g$ , de modo que eliminar el dígito más significativo o el menos significativo no altera su pertenencia al conjunto. Esta clase incluye a los "conjuntos de dígitos faltantes" (missing digits sets), pero es mucho más amplia, abarcando restricciones más complejas (como prohibir combinaciones específicas de dígitos).

El problema central es entender la interacción entre estos conjuntos "fractales" de enteros y las progresiones aritméticas, abordando preguntas abiertas sobre si la dimensión de masa de la intersección de un conjunto invariante con una progresión aritmética debe ser o bien cero, o bien la dimensión del conjunto original.

2. Metodología

La innovación técnica fundamental de este trabajo es la introducción de un enfoque basado en Cadenas de Markov, en lugar de depender de los métodos tradicionales de análisis de Fourier (como las sumas de caracteres), que suelen utilizarse en este campo.

La metodología se desarrolla en los siguientes pasos:

Codificación Simbólica: Se asocia cada conjunto de enteros con un subshift (desplazamiento simbólico) $\Sigma$ . Los enteros se estudian a través de las "palabras" (secuencias de dígitos) que forman el lenguaje de dicho subshift.
Construcción de la Cadena de Markov: El autor construye una cadena de Markov cuyo espacio de estados es el producto de las clases de residuos $\mathbb{Z}_a$ y el conjunto de "conjuntos de seguidores" (follower sets) del subshift (utilizando la teoría de sofic shifts y la cobertura de Fischer).
Matriz de Transición: Se define una matriz de transición que captura cómo la suma de los dígitos y el valor del número (en términos de congruencia) evolucionan a medida que se añaden nuevos dígitos a la palabra.
Convergencia: Se utiliza la teoría clásica de convergencia de cadenas de Markov (irreducibilidad y aperiodicidad) para demostrar que la distribución de las palabras en las clases de residuos converge a una distribución uniforme.

3. Contribuciones Clave y Resultados

Generalización de resultados clásicos (Teoremas A y B): El autor proporciona condiciones necesarias y suficientes para que los conjuntos de dígitos faltantes estén uniformemente distribuidos en clases de residuos y en relación con la función suma de dígitos ( $S_g$ ). Esto extiende y perfecciona los trabajos previos de Erdős, Mauduit, Sárközy y Gelfond.
Tratamiento de restricciones complejas: El método permite analizar conjuntos donde no solo faltan dígitos, sino donde se prohíben combinaciones de dígitos (como en los shifts of finite type), demostrando su uniformidad bajo condiciones de regularidad y transitividad.
Respuesta a la pregunta de Glasscock, Moreira y Richter (Teorema C): El autor ofrece una respuesta parcial a una pregunta abierta sobre la dimensión de masa. Demuestra que para conjuntos representados por subshifts soficos transitivos, la dimensión de la intersección con una progresión aritmética es siempre 0 o la dimensión del conjunto original. Sin embargo, también proporciona contraejemplos para mostrar que la transitividad o la propiedad de ser sofico, por sí solas, no son suficientes.
Conjetura sobre la Minimalidad de Entropía: Basándose en sus resultados, propone una conjetura que sugiere que la propiedad de la dimensión se mantiene si y solo si el conjunto es representado por un subshift mínimo en entropía.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

Cambio de Paradigma: Al sustituir el análisis de Fourier por cadenas de Markov, abre una nueva vía para estudiar problemas de distribución de dígitos, permitiendo abordar estructuras mucho más ricas y menos regulares (como los subshifts soficos) que son difíciles de manejar con métodos armónicos.
Conexión entre Teoría de Números y Dinámica Simbólica: El artículo establece un puente robusto entre la teoría de números (progresiones aritméticas) y la dinámica simbólica (entropía, subshifts, dimensiones fractales).
Resolución de Problemas Abiertos: Proporciona claridad sobre la estructura fractal de los conjuntos multiplicativamente invariantes, resolviendo dudas sobre su comportamiento dimensional frente a las progresiones aritméticas.