🔢 mathematics

Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

Este artículo analiza el tiempo de parada y la estructura de ciclos de la iteración de Collatz normalizada para demostrar que el ciclo trivial en 1 es la única órbita periódica admisible, demostrando que ningún ciclo finito no trivial es compatible con el proceso.

Autores originales: Daohang Sha

Publicado 2026-01-28

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Daohang Sha

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

La visión general: El juego del "3n + 1"

Imagina un juego que se juega con números. Eliges un número inicial y sigues dos reglas sencillas:

Si el número es par: Divídelo por la mitad.
Si el número es impar: Triplícalo, súmale uno y luego divídelo por la mitad.

Sigues haciendo esto una y otra vez. La famosa Conjetura de Collatz pregunta: No importa con qué número empieces, ¿llegarás siempre al número 1?

La mayoría de los matemáticos creen que la respuesta es "sí", pero nadie lo ha demostrado aún. Este artículo de Daohang Sha intenta demostrar que no existen "bucles" (ciclos) aparte del que hay en el 1.

La estrategia del autor: Mapear el viaje

Sha trata la secuencia de movimientos (dividir por la mitad frente a triplicar) como un código binario (una cadena de 0s y 1s).

0 representa un paso de "dividir por la mitad".
1 representa un paso de "triplicar".

Piensa en un número inicial específico como un viajero. El artículo analiza el "mapa" (la secuencia de 0s y 1s) que sigue el viajero. El autor se centra en un tipo específico de viajero: aquellos que comienzan con números que dejan un resto de 3 cuando se dividen por 4 (como 3, 7, 11, 15, etc.).

Conceptos clave explicados

1. El "Tiempo de Parada" (¿Cuándo nos hacemos más pequeños?)

Imagina que estás haciendo senderismo en una montaña. A veces das un paso hacia arriba (el paso "1", que hace el número más grande), y otras veces das un paso hacia abajo (el paso "0", que lo hace más pequeño).

Tiempo de parada: Es el momento en que finalmente das suficientes pasos hacia abajo como para estar más bajo de donde empezaste.
La afirmación del artículo: Sha calcula los escenarios del "mejor caso" y del "peor caso" de cuánto dura esta caminata. Él demuestra que, para cualquier longitud específica de la caminata, existe un límite matemático para qué tan bajo puedes llegar.

2. El problema del "Ciclo" (El bucle infinito)

Un "ciclo" sería como una montaña rusa que sube y baja pero que eventualmente regresa exactamente al mismo lugar donde empezaste, creando un bucle infinito que nunca llega al fondo (1).

El objetivo: El artículo intenta demostrar que tal bucle es imposible para cualquier viaje finito.

3. La analogía del "Equilibrio Perfecto"

Para que exista un ciclo, el número tendría que crecer y encogerse de una manera tan perfecta que terminara exactamente donde empezó.

La metáfora matemática: Imagina una balanza. En un lado, tienes potencias de 2 (dividir por la mitad). En el otro lado, tienes potencias de 3 (triplicar).
Para que un ciclo exista, la balanza tendría que equilibrarse perfectamente: $2^s = 3^r$ (donde $s$ es el número de pasos hacia abajo y $r$ es el número de pasos hacia arriba).
La realidad: Sha señala que una potencia de 2 (como 2, 4, 8, 16...) puede nunca ser igual a una potencia de 3 (como 3, 9, 27, 81...). Son como dos idiomas diferentes que nunca pueden traducirse en la misma frase exacta. Debido a que nunca pueden ser iguales, la balanza nunca podrá equilibrarse perfectamente.

Los principales hallazgos

1. La trampa del "Casi allí"
A medida que el viaje se hace más largo y largo (más pasos), la proporción de "triplicar" respecto a "dividir por la mitad" se acerca increíblemente a un equilibrio perfecto. Es como un equilibrista que se acerca cada vez más a la línea central.

El artículo muestra que, a medida que la secuencia se hace más larga, el número final se acerca cada vez más al número inicial ( $F_q(m)/m \to 1$ ).
Sin embargo, nunca llega realmente a 1. Se acerca infinitamente, pero siempre hay una brecha diminuta y no nula.

2. La barrera "Finita"
Debido a que la brecha entre las potencias de 2 y 3 nunca puede ser cero, un "bucle perfecto" es matemáticamente imposible para cualquier número finito de pasos.

Analogía: Imagina intentar construir un puente con ladrillos que tienen tamaños ligeramente diferentes. Puedes lograr que los extremos estén muy cerca, pero si los ladrillos nunca son del mismo tamaño exacto, nunca podrás cerrar la brecha perfectamente sin que quede un espacio.
Por lo tanto, un "ciclo no trivial" (un bucle que no incluye el número 1) no puede existir.

3. El único puerto seguro
El artículo concluye que el único momento en que el proceso realmente se repite es el bucle trivial en el número 1 (1 $\to$ 4 $\to$ 2 $\to$ 1). Cualquier otro número inicial eventualmente romperá el patrón y se dirigirá hacia el 1, en lugar de quedarse atrapado en un bucle diferente.

Resumen

Daohang Sha utiliza un mapa detallado de pasos de "subida" y "bajada" para mostrar que, aunque los números en el juego de Collatz pueden acercarse mucho a formar un bucle perfecto, la matemática fundamental de las potencias de 2 y 3 hace que sea imposible que cierren el círculo por completo.

La conclusión: Si empiezas con cualquier número, podrías quedarte atrapado en un baile muy largo y complicado, pero nunca encontrarás una pista de baile que regrese al inicio sin que eventualmente te salgas de la pista y aterrices en el 1. El "bucle infinito" es una imposibilidad matemática.

Resumen Técnico: Sobre los Límites del Tiempo de Parada y los Números de Ciclo en el Proceso Collatz

Planteamiento del Problema
Este artículo aborda el problema 3n + 1 (conjetura de Collatz), centrándose específicamente en la iteración de Collatz normalizada definida como $F_0(n) = n/2$ para $n$ par y $F_1(n) = (3n+1)/2$ para $n$ impar. El objetivo principal es analizar el tiempo de parada y la estructura de ciclos de este proceso. El autor restringe el análisis a valores iniciales impares $m \equiv 3 \pmod 4$ con un tiempo de parada $s \ge 4$ , ya que los casos más pequeños son verificables de forma trivial. La cuestión central es si pueden existir ciclos finitos no triviales (órbitas periódicas distintas del ciclo trivial en 1) dentro de esta iteración.

Metodología
El artículo emplea una descripción recursiva de secuencias binarias admisibles para modelar el proceso de Collatz. Una secuencia $q$ de longitud $s$ que contiene $r$ unos (que representan pasos impares) y $s-r$ ceros (que representan pasos pares) se utiliza para definir la transformación $F_q(n)$ .

Los componentes metodológicos clave incluyen:

Representación de Secuencia Binaria: La transformación se expresa como $F_q(n) = \frac{3^r n + \sum_{i=1}^r 3^{r-i} 2^{l(i)-1}}{2^s}$ , donde $l(i)$ denota la posición del $i$ -ésimo '1' en la secuencia.
Construcción de Árbol Recursivo: El autor introduce un árbol de secuencias con raíz modificado (Figura 1) para generar secuencias admisibles. Este árbol se construye insertando subcadenas específicas ("1" o "10") antes del bloque terminal de ceros, asegurando una correspondencia única entre las secuencias y los enteros iniciales.
Análisis de Teoría de Números: El artículo utiliza propiedades de la aritmética modular (específicamente módulo $2^s$ y módulo 4) y la unicidad de las expansiones binarias para establecer una biyección entre las secuencias admisibles $q$ y los enteros $m \equiv 3 \pmod 4$ .
Derivación de Desigualdades: Al aplicar la Desigualdad de Reordenación, el autor deriva límites inferiores y superiores para el término de la sumatoria $\sum_{i=1}^r 3^{r-i} 2^{l(i)-1}$ , que representa el componente aditivo de la iteración.

Contribuciones Clave y Resultados

Unicidad de la Representación (Teorema 2.10): El artículo establece una biyección entre las secuencias binarias admisibles $q$ y los enteros $m \equiv 3 \pmod 4$ . Cada uno de estos enteros surge únicamente de una secuencia específica en el árbol construido, y cada secuencia corresponde a un entero único que satisface $F_q(m) < m$ .
Límites sobre el Término Aditivo (Teoremas 2.3 y 2.4): El término de la sumatoria en la fórmula de la iteración está acotado. El valor mínimo es $3^r - 2^r$ (ocurriendo cuando todos los '1' están al inicio de la secuencia), y el valor máximo se alcanza cuando los '1' se distribuyen según el espaciamiento logarítmico del árbol de secuencias.
No Existencia de Ciclos Finitos No Triivales (Teoremas 2.11 y 3.1):
- El artículo demuestra que para cualquier secuencia finita, $F_q(4i-1) \neq 4i-1$ . Un ciclo requeriría la igualdad $2^s = 3^r$ , lo cual es imposible para enteros $s, r > 0$ .
- En consecuencia, no puede ocurrir ningún ciclo finito no trivial. La única órbita periódica admisible es el ciclo trivial en 1.
Comportamiento Asintótico de la Razón (Teorema 3.2): El artículo deriva límites para la razón $F_q(m)/m$ $F_{q} (m) / m$ . Muestra que a medida que la longitud de la secuencia aumenta (y $r \to \infty$ $r \to \infty$ ), la razón $3^r/2^s$ $3^{r} / 2^{s}$ se aproxima a 1, pero nunca es igual a 1.
- La razón $F_q(m)/m$ está acotada por $1 - \epsilon_1 < F_q(m)/m < 1 + \epsilon_2$ .
- Cuando $r \to \infty$ , $\lim F_q(m)/m \to 1$ .
Límites del Número de Ciclo: El artículo proporciona límites inferiores y superiores para un hipotético número de ciclo no trivial $m_c$ . El límite inferior viene dado por $m_c \ge \frac{3^r - 2^r}{2^s - 3^r}$ . Para valores grandes de $r$ (por ejemplo, $r \approx 4.3 \times 10^{14}$ ), el límite inferior es aproximadamente $7.5 \times 10^{14}$ , mientras que el límite superior es aproximadamente $5.12 \times 10^{29}$ .

Significancia y Afirmaciones
El artículo afirma demostrar que los requisitos estructurales para un ciclo finito no trivial en la iteración de Collatz normalizada son inalcanzables. Específicamente, la existencia de tal ciclo requeriría una identidad exacta entre potencias de 2 y 3 ( $2^s = 3^r$ ), lo cual es matemáticamente imposible.

El autor concluye que:

El tiempo de parada en el proceso de Collatz no admite un límite superior finito.
La razón $F_q(m)/m$ se aproxima a la unidad a medida que la longitud de la secuencia aumenta, pero nunca la alcanza para ninguna secuencia finita.
Esta obstrucción estructural, combinada con los límites derivados, descarta la posibilidad de ciclos finitos no triviales.
Por lo tanto, el ciclo trivial en 1 es la única órbita periódica admisible.

El artículo se apoya en la verificación computacional para casos pequeños y en límites teóricos para valores grandes de $r$ , señalando que aunque la brecha entre $3^r$ y $2^s$ se vuelve infinitesimalmente pequeña para parámetros grandes (por ejemplo, $1 - 3^r/2^s \approx 10^{-15}$ ), permanece estrictamente distinta de cero, impidiendo la formación de un ciclo.