🔢 mathematics

Determinants of modular Collatz graphs and variants

Este artículo determina los determinantes de los grafos de Collatz modulares y del grafo de permutación musical de Conway modular, al tiempo que describe las propiedades teóricas de números asociadas.

Autores originales: Achilleas Karras, Benne de Weger

Publicado 2026-01-23

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Achilleas Karras, Benne de Weger

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: Un juego de sillas musicales con números

Imagina un gigante juego de sillas musicales, pero en lugar de personas, tenemos números, y en lugar de música, tenemos un conjunto de reglas estrictas para moverlos.

Los autores de este artículo están estudiando dos famosos juegos numéricos:

El Juego de Collatz: Si un número es par, divídelo por 2. Si es impar, multiplícalo por 3 y suma 1. (El famoso problema " $3n + 1$ ").
El Juego Amusical de Conway: Un juego ligeramente diferente con reglas que implican dividir por 2, 4 o 3 dependiendo de la forma del número.

Normalmente, los matemáticos preguntan: "Si sigo jugando este juego, ¿me quedaré atrapado en un bucle o volaré hacia el infinito?". Ese es el famoso Conjetura de Collatz, que nadie ha resuelto todavía.

Este artículo no intenta resolver ese misterio. En su lugar, los autores se preguntan: "¿Qué pasa si jugamos este juego dentro de una habitación pequeña y cerrada con un número fijo de asientos (digamos, $N$ asientos)?".

La "Habitación" (Aritmética Modular)

Imagina que tienes un reloj con $N$ horas. Cuando sumas o multiplicas números, si pasas de la última hora, vuelves al principio. Esto se llama "trabajar módulo $N$ ".

Los autores construyeron un mapa (un grafo) que muestra cómo cada número en esta habitación se mueve hacia otro número basado en las reglas del juego.

El Mapa: Cada número es un punto. Una flecha apunta desde un punto al siguiente número en el que se convierte.
La Matriz: Convirtieron este mapa en una gigantesca hoja de cálculo (una matriz) donde anotaron 1s, 2s o 0s para mostrar cómo se conectan los números.

El Misterio: El "Determinante"

En matemáticas, cada hoja de cálculo tiene un único número especial asociado a ella llamado determinante. Puedes pensar en este determinante como una "huella dactilar" o una "puntuación" para todo el mapa.

El Problema: Cuando los autores calcularon esta puntuación para diferentes tamaños de habitación ( $N$ ), los resultados parecían caóticos. A veces la puntuación era cero. A veces era un número diminuto. A veces, para tamaños de habitación muy específicos, la puntuación era un número masivo (como $2^{100,000}$ ).
La Analogía: Imagina que lanzas un dado. La mayoría de las veces, obtienes un 1, 2, 3, 4, 5 o 6. Pero ocasionalmente, lanzas un dado y este explota en una montaña de monedas de oro. Los autores querían saber: ¿Por qué aparece la montaña de oro solo en ciertos días?

El Descubrimiento: El Secreto del "Ciclo"

Los autores descubrieron que la "puntuación" (el determinante) depende enteramente de cómo se mueven los números en bucles (ciclos).

El Detective de Bucles: Se dieron cuenta de que los números en la habitación no vagan aleatoriamente; se quedan atrapados en bucles. Por ejemplo, el 1 puede ir al 2, el 2 al 4, y el 4 de vuelta al 1. Eso es un bucle de longitud 3.
La Regla de Par e Impar: Descubrieron una regla simple:
- Si los bucles en la habitación tienen longitudes pares, la puntuación es Cero. El mapa está "roto" o es "plano".
- Si los bucles tienen longitudes impares, la puntuación es No Cero.
El Tamaño de la Puntuación: Cuando la puntuación no es cero, su tamaño depende de cuántos bucles hay y de qué tan largos son.
- La "puntuación" es básicamente una potencia de 2 (como $2^1, 2^2, 2^{100}$ ).
- El exponente (la potencia) se calcula sumando las longitudes de todos los bucles de una manera muy específica.

El "Porqué" del Caos:
La razón por la que las puntuaciones parecían "erráticas" antes es que la longitud de estos bucles cambia de forma impredecible cuando cambias el tamaño de la habitación ( $N$ ).

Si el tamaño de la habitación $N$ es un número primo donde el número 3 (en el juego de Collatz) tarda mucho tiempo en volver al inicio, los bucles son largos y la puntuación es pequeña.
Si el tamaño de la habitación $N$ es un número primo donde el 3 regresa al inicio muy rápido, los bucles son cortos y la puntuación explota en un número masivo.

La Fórmula "Mágica"

Los autores escribieron una fórmula que predice la puntuación perfectamente.

Paso 1: Revisa el tamaño de la habitación $N$ .
Paso 2: Observa los "bucles" que hacen los números.
Paso 3: Si cualquier bucle es "par" (en un sentido matemático específico), la puntuación es 0.
Paso 4: Si todos los bucles son "impares", la puntuación es $2^{\text{algo}}$ . El "algo" es el número total de bucles que puedes encontrar.

También aplicaron esta misma lógica al juego de Conway, encontrando un patrón similar, aunque las matemáticas son ligeramente más complejas porque el juego de Conway utiliza tres reglas diferentes en lugar de dos.

Lo Que Esto Significa (y Lo Que No)

Lo que SÍ hace:

Explica por qué las "puntuaciones" de estos grafos parecen tan aleatorias. No son aleatorias; están estrictamente determinadas por los bucles ocultos dentro del sistema numérico.
Proporciona una forma de calcular estos números masivos instantáneamente sin realizar miles de millones de cálculos.
Generaliza las reglas a otros tipos de juegos numéricos (como $pn + q$).

Lo que NO hace:

Los autores declaran explícitamente que esto no resuelve la Conjetura de Collatz. Saber la puntuación de la "habitación" no nos dice qué sucede cuando la habitación es infinitamente grande (que es el verdadero problema de Collatz).
No predice eventos futuros ni tiene aplicaciones médicas. Es puramente un descubrimiento matemático sobre la estructura de los números.

Analogía de Resumen

Imagina que eres un guía turístico en una ciudad con $N$ calles. Tienes una regla: "Gira a la izquierda si el número de la calle es par, gira a la derecha si es impar".

A veces, si sigues las reglas, te quedas atrapado en un círculo pequeño.
A veces, te quedas atrapado en un círculo enorme.
Los autores descubrieron que si cuentas cuántos círculos existen y qué tan grandes son, puedes calcular una "Puntuación de la Ciudad".
Si la ciudad tiene cualquier círculo de "tamaño par", la puntuación es cero (la ciudad es aburrida).
Si todos los círculos son de "tamaño impar", la puntuación es un número enorme, y el tamaño de ese número te dice exactamente cuántos círculos hay.

Ellos descifraron el código secreto para calcular esta puntuación para cualquier tamaño de ciudad, explicando las fluctuaciones salvajes que vieron en sus datos.

Resumen Técnico: Determinantes de los Grafos Collatz Modulares y sus Variantes

Planteamiento del Problema
El artículo investiga las propiedades estructurales de los grafos dirigidos finitos que representan la acción de la función Collatz $3n+1$ y la función de permutación "amusical" de Conway sobre clases de congruencia de enteros módulo $N$ . Específicamente, los autores se centran en las matrices de adyacencia de estos grafos modulares, denotadas como $C_N$ para el caso Collatz y $M_N$ para el caso de Conway. Aunque los grafos exhiben una estructura regular (por ejemplo, grados de salida específicos), sus determinantes muestran un comportamiento aparentemente errático a medida que el módulo $N$ varía. El objetivo principal es derivar fórmulas explícitas para estos determinantes y explicar los patrones observados utilizando propiedades de la teoría de números, específicamente el orden multiplicativo módulo los divisores de $N$ .

Metodología
Los autores emplean una combinación de computación experimental, teoría de grafos y teoría de números algebraicos.

Análisis Experimental: Las computaciones iniciales de $\det(C_N)$ para primos $N \le 300,000$ revelaron que los determinantes no nulos son potencias de 2 (con un signo), apareciendo a menudo grandes cuando $N$ es un divisor de $3^k - 1$ .
Descomposición de Grafos: Los grafos modulares se analizan como uniones de aristas inducidas por permutaciones específicas. Para la función Collatz, las aristas corresponden a las permutaciones $\pi_2(n) \equiv 2^{-1}n$ y $\pi_3(n) \equiv 2^{-1}(3n+1)$ .
Análisis de Ciclos de Permutación: La herramienta teórica central es la descomposición de la permutación compuesta $\rho_0 = \pi_3 \pi_2^{-1}$ en ciclos disjuntos. Los autores utilizan un teorema general relativo al determinante de la matriz de adyacencia de un grafo formado por dos permutaciones, relacionando el determinante con la estructura de ciclos de su composición.
Análisis Espectral: Un enfoque de prueba alternativo implica transformar la matriz de adyacencia a la forma $I + X$ , donde $X$ es una matriz de permutación. El espectro de $X$ está determinado por las longitudes de los ciclos de la permutación subyacente, lo que permite calcular el determinante como un producto de autovalores.
Generalización: Los métodos se extienden a la función generalizada $pn+q$ y a la permutación de tres reglas de Conway, utilizando transformadas de Fourier discretas y propiedades de los símbolos de Jacobi para determinar los signos y las estructuras de ciclos.

Contribuciones Clave y Resultados

Grafos Collatz ( $C_N$ ):
- Módulos Pares: Se demuestra que para $N$ par, $\det(C_N) = 0$ . El rango de la matriz es $N/2$ y el polinomio característico satisface $P_N(x) = x^{N/2} P_{N/2}(x)$ .
- Módulos Impares: Para $N$ impar, el determinante es no nulo si y solo si el orden multiplicativo de 3 módulo cada divisor primo de $N$ es impar.
- Fórmula Explícita: Sea $N = 3^h N_0$ donde $3 \nmid N_0$ . Defina $K_N = \sum_{d|N_0} \frac{\phi(d)}{\text{ord}_d(3)}$ . Entonces:
  $\det(C_N) = \begin{cases} 0 & \text{si } \exists p|N_0 \text{ tal que } \text{ord}_p(3) \text{ es par} \\ 2^{K_N} & \text{si } \forall p|N_0, \text{ord}_p(3) \text{ es impar y } N \equiv \pm 1 \pmod 8 \\ -2^{K_N} & \text{si } \forall p|N_0, \text{ord}_p(3) \text{ es impar y } N \equiv \pm 3 \pmod 8 \end{cases}$
- Esta fórmula explica el comportamiento "errático": ocurren determinantes grandes cuando $N$ divide a $3^k-1$ para valores pequeños de $k$ , haciendo que los órdenes multiplicativos sean pequeños y $K_N$ sea grande.
- Conectividad Fuerte: Se demuestra que los grafos Collatz modulares son fuertemente conexos para todo $N$ .
Permutación Amusical de Conway ( $M_N$ ):
- El grafo se define mediante tres reglas basadas en $n \pmod 4$ .
- Par/Divisible por 3: $\det(M_N) = 0$ si $N$ es par o divisible por 3.
- Fórmula Explícita: Para $N$ coprimo con 6, sea $k_d = \text{ord}_d(2)$ . Defina $K_N = \sum_{d|N, d>1} \frac{\phi(d)}{k_d}$ . Entonces:
  $\det(M_N) = \begin{cases} 0 & \text{si } \exists p|N \text{ tal que } \text{ord}_p(2) \text{ es par} \\ 3 \cdot 2^{K_N} & \text{si } \forall p|N, \text{ord}_p(2) \text{ es impar y } N \equiv \pm 1, \pm 5 \pmod{24} \\ -3 \cdot 2^{K_N} & \text{si } \forall p|N, \text{ord}_p(2) \text{ es impar y } N \equiv \pm 7, \pm 11 \pmod{24} \end{cases}$
- Conectividad Fuerte: Los grafos de Conway modulares también se demuestran fuertemente conexos.
Generalizaciones:
- Los resultados se generalizan a la función $pn+q$ (para $p, q$ impares coprimos con $N$ ), mostrando que el determinante depende del orden multiplicativo de $p$ módulo los divisores de $N$ , y es independiente de $q$ (siempre que $\gcd(N, q)=1$ ).

Significado y Limitaciones
Los autores afirman que sus resultados proporcionan una explicación completa para el comportamiento observado de los determinantes de los grafos modulares Collatz y de Conway, vinculando los valores numéricos erráticos directamente a los órdenes multiplicativos de los parámetros definitorios (3 para Collatz, 2 para Conway) módulo los divisores del módulo.

Sin embargo, el artículo señala explícitamente una limitación respecto al contexto más amplio de la conjetura de Collatz. Los autores declaran: "Creemos que nuestros resultados tienen cierto interés, sin embargo, no vemos cómo podrían ayudar en la demostración de la conjetura de Collatz, o en la demostración de enunciados similares sobre la permutación amusical de Conway". El trabajo se presenta como una caracterización estructural y de teoría de números de los grafos modulares, en lugar de un paso hacia la resolución de la dinámica infinita de las funciones originales.