🔢 mathematics

Four-digit Kaprekar dynamics in odd bases

Este artículo establece que en cada base impar mayor que tres, la rutina de Kaprekar de cuatro dígitos exhibe una estructura rígida donde todas las órbitas no constantes entran rápidamente en una región triangular específica y se comportan como un doble de la proyección, proporcionando así una clasificación finita completa de todos los ciclos terminales, sus longitudes y sus recuentos.

Autores originales: Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

Publicado 2026-06-19

📖 6 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Evan Chen, Ken Ono, Richard E. Schwartz, Dinesh S. Thakur

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Imagina que tienes una máquina de números mágicos. Le introduces un número de cuatro dígitos y realiza un truco muy específico y repetitivo:

Ordenar: Reorganiza los dígitos de mayor a menor.
Invertir: Reorganiza los mismos dígitos de menor a mayor.
Restar: Resta el segundo número al primero.
Repetir: Toma el resultado y realiza todo el proceso de nuevo.

En nuestro mundo cotidiano (Base 10), si comienzas con casi cualquier número de cuatro dígitos, la máquina eventualmente escupe el número 6174 y luego sigue escupiendo 6174 para siempre. Es como un imán que atrae todo hacia un solo punto.

Pero, ¿qué pasa si cambiamos las reglas del juego? ¿Qué pasa si no estamos contando en bases de diez, sino en bases de siete, once o cualquier otro número "impar"? Este artículo, escrito por un equipo de matemáticos (incluyendo algunos nombres famosos como Ken Ono), explora precisamente esto. Descubrieron que, aunque el comportamiento en otras bases es más complejo que en la Base 10, sigue un patrón sorprendentemente rígido y hermoso.

Aquí está la historia de su descubrimiento, explicada de forma sencilla.

El lenguaje secreto de las diferencias

Los autores se dieron cuenta de que mirar los números reales (como 5100 o 9650) es como intentar comprender una tormenta mirando las gotas de lluvia individuales. Es demasiado caótico. En su lugar, decidieron mirar la distancia entre los números.

Imagina que tus cuatro dígitos están parados en una línea.

La Diferencia Exterior es la brecha entre la persona más alta y la más baja.
La Diferencia Interior es la brecha entre las dos personas del medio.

La magia de este artículo es que el futuro entero de la máquina depende únicamente de estas dos brechas. Una vez que conoces las dos brechas, ya no necesitas conocer los dígitos originales. El comportamiento de la máquina está determinado enteramente por cómo cambian estas dos brechas.

La fase de "Calentamiento"

Cuando empiezas la máquina por primera vez, las brechas pueden ser extrañas. A veces son cero, a veces son números pares, a veces son iguales. Los autores demostraron que, sin importar con qué comiences, la máquina es muy eficiente para limpiar este desorden.

En un máximo de tres pasos, la máquina fuerza las brechas hacia una zona especial y ordenada. En esta zona:

Las brechas nunca son cero.
Las brechas nunca son iguales.
Las brechas son siempre números "impares".

Piensa en esto como una pista de baile caótica. Al principio, la gente se choca entre sí, se para en círculos y se mueve aleatoriamente. Pero tras tres canciones, todos han encontrado su lugar perfecto en una línea ordenada y pulcra. Una vez que están en esta línea, el baile se vuelve increíblemente predecible.

El baile del "Doble"

Una vez que la máquina está en esta zona ordenada, los autores encontraron un código oculto. Se dieron cuenta de que si traduces las brechas a un lenguaje "proyectivo" especial (una forma de mirar los números donde lo positivo y lo negativo se tratan como lo mismo), la máquina deja de hacer restas y ordenamientos.

En su lugar, simplemente duplica los números.

Imagina que tienes un par de números, digamos 3 y 2.

Paso 1: Duplícalos $\rightarrow$ 6 y 4.
Paso 2: Duplícalos de nuevo $\rightarrow$ 12 y 8.
Paso 3: Duplícalos de nuevo $\rightarrow$ 24 y 16.

En el mundo de esta máquina, "duplicar" funciona como un reloj. Si sigues duplicando, eventualmente los números dan la vuelta y regresan a donde empezaron. Esto crea un ciclo.

El artículo demuestra que el proceso complejo y desordenado de ordenar y restar dígitos es, en realidad, solo un disfraz elegante para este simple juego de "duplicar".

¿Qué tan largo es el ciclo?

Debido a que la máquina es solo duplicar números, la longitud del ciclo (cuántos pasos toma regresar al inicio) depende enteramente de la base que estés usando.

El Límite: El ciclo más largo posible nunca puede ser mayor que la mitad de la base menos uno. Por ejemplo, en Base 11, el ciclo más largo es de 5 pasos. En Base 17, es como máximo 8 pasos.
La Regla de los Primos: La máquina solo alcanza esta longitud máxima si la base es un número primo (como 7, 11, 13, 17) y si el número 2 tiene una propiedad especial en esa base. Es como un candado y una llave: la base debe ser un primo, y la "llave" (el número 2) debe tomar exactamente la cantidad de pasos necesaria para girar el candado.

Si la base es un número compuesto (como 9 o 15), el ciclo es siempre más corto que el máximo posible.

La conexión con la IA

Una de las partes más únicas de este artículo es cómo fue escrito. Los autores mencionan que las ideas centrales fueron propuestas primero por dos de los coautores, pero utilizaron una herramienta de IA llamada AxiomProver para ayudar a escribir la prueba matemática formal.

Piensa en la IA como un editor muy estricto. Los autores humanos escribieron la historia y las ideas principales, y la IA verificó cada paso lógico para asegurar que no hubiera errores, traduciendo las matemáticas a un lenguaje de computadora (Lean) que una máquina pudiera verificar. Este artículo es un caso de prueba para cómo los humanos y la IA pueden trabajar juntos para resolver misterios matemáticos profundos.

Resumen

En resumen, este artículo toma un truco numérico divertido (la rutina de Kaprekar) y revela su esqueleto oculto.

Inicio Desordenado: El proceso comienza siendo caótico.
Limpieza Rápida: Se establece en un patrón estable dentro de tres pasos.
Núcleo Simple: Una vez estable, el proceso es solo "duplicar" números en un mundo matemático especial.
Final Predecible: Esto significa que ahora podemos calcular exactamente qué tan largos serán los ciclos y cuántos de ellos existen para cualquier base impar, simplemente observando las propiedades del número 2 en esa base.

Convierte un "truco de magia" en una danza elegante y predecible gobernada por reglas de aritmética simple.

Resumen Técnico: Dinámica de Kaprekar de Cuatro Dígitos en Bases Impares

Planteamiento del Problema
El artículo investiga la dinámica de la rutina de Kaprekar aplicada a cadenas de cuatro dígitos en bases impares $B > 3$ . La rutina consiste en tomar un número de cuatro dígitos, ordenar sus dígitos en orden descendente y ascendente, restar el segundo del primero e iterar el proceso. Si bien el caso de la base 10 es famoso por converger al punto fijo 6174, el comportamiento en bases generales es más complejo, involucrando a menudo múltiples ciclos terminales en lugar de un único atractor. Los autores pretenden proporcionar una descripción completa y explícita de los ciclos terminales (atractores) y sus longitudes para todas las bases impares $B > 3$ .

Metodología
Los autores reducen la dinámica de los dígitos de cuatro cifras a un sistema más simple basado en las diferencias entre los dígitos ordenados.

Coordenadas de Diferencia: Para una cadena ordenada $a_1 \ge a_2 \ge a_3 \ge a_4$ , los autores definen dos variables clave: la diferencia externa $d_1 = a_1 - a_4$ y la diferencia interna $d_2 = a_2 - a_3$ . Demuestran que el siguiente estado en la rutina de Kaprekar depende únicamente del par $(d_1, d_2)$ , reduciendo efectivamente el espacio de estados de cadenas de dígitos a un retículo entero bidimensional $X_B$ .
Análisis Pre-periódico: Los autores demuestran que para cualquier base impar $B > 3$ , toda órbita entra en una "región impar estable" específica $T_B$ (donde $d_1 > d_2 > 0$ y ambos son impares) en un máximo de tres iteraciones.
Transformación Proyectiva: Dentro de la región estable $T_B$ , los autores introducen un cambio de variables a coordenadas proyectivas: $r = (d_1 + d_2)/2$ y $s = (d_1 - d_2)/2$ . Mapean estos pares a subconjuntos no ordenados de dos elementos de las clases de residuos proyectivas módulo $B$ , denotados como $\binom{P_B}{2}$ , donde $P_B = ((\mathbb{Z}/B\mathbb{Z}) \setminus \{0\}) / \{\pm 1\}$ .
Conjugación con el Doble: El núcleo del resultado técnico es demostrar que, bajo esta transformación, el mapa de Kaprekar restringido a $T_B$ es conjugado al mapa de "doble proyectivo": $\{[r], [s]\} \mapsto \{[2r], [2s]\}$ . Esto transforma el problema de la resta de dígitos en un problema del orden multiplicativo de 2 en el grupo de unidades módulo $B$ (modulo el signo).

Contribuciones Clave y Resultados

Clasificación Estructural (Teorema 1.1): El artículo establece que la dinámica de Kaprekar en bases impares está gobernada por el doble proyectivo tras un periodo pre-periódico acotado. Esto proporciona una descripción finita y explícita del comportamiento del sistema.
Límites de la Longitud de Ciclo (Corolario 1.2): La longitud máxima de cualquier ciclo terminal, $c_{\max}(B)$ , está acotada por $(B-1)/2$ . El artículo demuestra que la igualdad $c_{\max}(B) = (B-1)/2$ se cumple si y solo si $B$ es un primo $p \ge 7$ y el menor entero positivo $m$ que satisface $2^m \equiv \pm 1 \pmod p$ es exactamente $m = (p-1)/2$ .
Conteo de Ciclos (Teorema 4.4): Los autores derivan una fórmula explícita para el número de ciclos terminales de una longitud dada $L$ . Esta fórmula depende del orden proyectivo de 2 módulo los divisores de $B$ e involucra términos combinatorios que dan cuenta de los pares de ciclos y los puntos antipodales.
Especificidades de Bases Primas (Corolario 1.3): Para bases primas donde se alcanza la longitud de ciclo máxima, el número de tales ciclos máximos viene dado por $\lfloor (c_{\max}(B) - 1)/2 \rfloor$ .
Verificación Formal: Los resultados fueron formulados primero por Schwartz y Thakur y posteriormente formalizados en Lean/mathlib utilizando el sistema asistido por IA AxiomProver, proporcionando una prueba verificada por máquina de las afirmaciones estructurales y aritméticas.

Significancia y Reivindicaciones
El artículo afirma revelar una "estructura rígida" subyacente a la rutina de Kaprekar en bases impares, desmitificando el proceso al mostrar que está gobernado por la aritmética modular simple (doble proyectivo) en lugar de interacciones complejas de dígitos.

Simplificación: Los autores enfatizan que la reducción al doble proyectivo ofrece una "ruta transparente" para comprender las longitudes y el conteo de ciclos, que anteriormente se estudiaban mediante métodos de subgrupos/cosetes más intrincados o análisis de bases específicas.
Integridad: A diferencia de trabajos previos que pueden haberse centrado en puntos fijos o bases específicas, este artículo proporciona una clasificación unificada y completa para todas las bases impares $B > 3$ con cuatro dígitos.
Modestia: Los autores posicionan este trabajo como un "modelo de baja dimensión" que hace explícita la dinámica para el caso de cuatro dígitos. Reconocen que sus resultados complementan teorías más amplias (como las de Yamagami, Matsui, Kay y Downes-Ward), pero no pretenden resolver el problema generalizado para longitudes de dígitos arbitrarias o bases pares, señalando que el caso de base par es "más intrincado".

El artículo concluye que el comportamiento de la rutina de Kaprekar no es un "truco de magia numérica", sino una consecuencia directa del orden de 2 módulo la base, ignorando los signos.