There is no prime functional digraph: Seifert's proof revisited

Este artículo presenta una demostración más accesible y simplificada, utilizando la terminología actual, de que no existen digrafos funcionales primos, un resultado originalmente establecido por Ralph Seifert en 1971.

Lo esencial

El Misterio de los "Números Primos" que Nunca Existieron: Una Historia de Redes y Laberintos

Imagina que tienes un mundo hecho de laberintos. Pero no son laberintos normales donde puedes elegir entre varios caminos. En este mundo, en cada cruce (o "punto"), solo hay un único camino que puedes tomar. Si sigues caminando, tarde o temprano, te encontrarás dando vueltas en un círculo.

A los matemáticos les encanta estudiar estos laberintos. Los llaman grafos funcionales. Ahora, imagina que puedes combinar dos de estos laberintos para crear uno nuevo, más grande y complejo. Puedes hacerlo de dos formas:

1. Juntarlos lado a lado (como poner dos cajas de juguetes en una habitación).
2. Hacerlos funcionar en paralelo (como si dos personas caminaran por sus propios laberintos al mismo tiempo, sincronizadas).

En el mundo de las matemáticas, estos laberintos tienen reglas especiales. Algunos son tan simples que no se pueden descomponer en otros más pequeños; a estos los llamamos "irreducibles". Pero hay un concepto más poderoso: los grafos "primos".

¿Qué es un grafo "Primo"?

Piensa en los números enteros. El número 7 es primo. ¿Por qué? Porque si multiplicas dos números y el resultado es un múltiplo de 7, entonces uno de esos números tenía que ser un múltiplo de 7. No hay forma de que 7 aparezca "de la nada" en una multiplicación si no estaba presente antes.

En el mundo de nuestros laberintos, un grafo primo sería un laberinto especial con la misma propiedad:

• Si tomas dos laberintos (A y B) y los combinas, y el resultado es divisible por nuestro laberinto "Primo" (X), entonces X tenía que estar escondido dentro de A o dentro de B.

Durante mucho tiempo, los matemáticos se preguntaron: ¿Existe algún laberinto con esta propiedad mágica?

El Enigma y la Respuesta

En 2020, un matemático llamado Antonio Porreca se preguntó si estos "grafos primos" existían. Conjeturó que no. Pero nadie tenía una prueba sencilla.

En 2024, alguien descubrió que un matemático llamado Ralph Seifert ya había resuelto este misterio en 1971. El problema es que la prueba de Seifert era como un manual de instrucciones de un cohete espacial: llena de jerga técnica, muy general y difícil de entender para cualquiera que no fuera un experto en cohetes.

El autor de este nuevo artículo, Adrien Richard, decidió traducir ese manual de cohete a un lenguaje de "caminos de tierra". Su objetivo fue demostrar, paso a paso y de forma sencilla, que no existen grafos primos.

La Prueba Simplificada (La Analogía de los Tres Pasos)

Richard divide la demostración en tres pasos lógicos, como si fuera un detective eliminando sospechosos:

Paso 1: El Primo debe ser un solo bloque conectado

Imagina que tu laberinto "Primo" está dividido en dos partes que no se tocan (como dos islas separadas). Richard demuestra que si tu laberinto tiene dos partes desconectadas, siempre puedes crear una combinación de otros laberintos que "cubra" a tu laberinto sin que él esté realmente dentro de ninguno de los dos.

• Conclusión: Si un laberinto es primo, debe ser una sola pieza conectada. No puede estar roto en pedazos.

Paso 2: El Primo debe tener un "punto de anclaje" (un ciclo de longitud 1)

Ahora sabemos que el laberinto es una sola pieza. Pero, ¿qué pasa si el círculo en el que te quedas atrapado es grande (de 5 pasos, de 10 pasos)?
Richard demuestra que si el círculo es grande, puedes usar trucos matemáticos (multiplicar por otros laberintos) para crear una situación donde el laberinto "Primo" parece estar en el resultado, pero en realidad no estaba en ninguno de los ingredientes originales.

• Conclusión: Para ser primo, el laberinto debe tener un círculo de tamaño 1 (un punto donde te quedas quieto, un "punto fijo").

Paso 3: El Golpe Final (La prueba de Seifert)

Aquí es donde entra la genialidad de Seifert. Ya sabemos que, si existe un laberinto primo, debe ser conectado y tener un círculo de tamaño 1.
Richard toma un laberinto que cumple estas dos condiciones y construye una trampa maestra:

1. Crea dos nuevos laberintos, llamémoslos A y B, de una manera muy ingeniosa (agregando un punto extra y reorganizando las conexiones).
2. Demuestra que si combinas A y B, el resultado es exactamente igual a tu laberinto "Primo" multiplicado por otro laberinto.
3. Pero, lo más importante, demuestra que tu laberinto "Primo" no está dentro de A ni dentro de B.

La analogía final:
Imagina que tienes un ingrediente secreto (el laberinto primo). Intentas cocinar un pastel (el resultado) usando dos recetas diferentes (A y B). Demuestras que el pastel sabe exactamente igual a si hubieras usado tu ingrediente secreto, pero al mismo tiempo, demuestras que ninguna de las dos recetas originales contenía tu ingrediente secreto.
Esto es una contradicción. Si el ingrediente secreto es realmente "primo", debería haber estado en una de las recetas. Como no estaba, el ingrediente secreto no puede existir.

¿Por qué es importante esto?

Este artículo no solo resuelve un acertijo matemático antiguo; nos enseña algo profundo sobre la estructura de estos sistemas.

• Nos dice que en el mundo de los laberintos donde cada punto tiene un solo camino, la "primacía" es una ilusión.
• Todo se puede descomponer de formas tan complejas que nunca hay un "bloque de construcción" fundamental que sea indivisible de la manera en que lo son los números primos.

Adrien Richard ha logrado tomar una prueba que estaba "dormida" en un papel de 1971, llena de tecnicismos, y la ha despertado para que cualquiera pueda entenderla. Ha convertido un muro de ladrillos en un puente de madera, demostrando que, a veces, la verdad más profunda es la más simple de explicar.

En resumen: No hay grafos primos. La idea de que existe un "laberinto fundamental" que no se puede descomponer es falsa. El universo de estos laberintos es mucho más flexible y juguetón de lo que pensábamos.

Resumen técnico

Resumen Técnico: "No existe un digrafo funcional primo: Revisión de la prueba de Seifert"

Autor: Adrien Richard
Fecha: 11 de marzo de 2026

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la teoría de los digrafos funcionales (grafos dirigidos finitos donde cada vértice tiene exactamente un vecino de salida). Estos objetos forman un semianillo conmutativo bajo dos operaciones:

• Suma ($A+B$): Unión disjunta de los digrafos.
• Producto ($A \cdot B$): Producto directo, donde el conjunto de vértices es el producto cartesiano y la dinámica evoluciona en paralelo.

El problema central es la existencia de digrafos funcionales primos. Un digrafo $X$ se define como primo si:

1. No es el elemento identidad multiplicativo (el ciclo de longitud 1, denotado $C_1$).
2. Si $X$ divide al producto $AB$ (es decir, existe $Y$ tal que $XY \cong AB$), entonces $X$ debe dividir a $A$ o a $B$.

En 2020, Antonio E. Porreca planteó la pregunta sobre la existencia de tales objetos y conjeturó en 2023 que no existían. En 2024, Barbora Hudcová descubrió que este resultado ya había sido demostrado por Ralph Seifert en 1971 en un artículo poco citado y de lenguaje muy técnico. El objetivo de este trabajo es reformular y simplificar la prueba de Seifert, eliminando el marco general excesivo y utilizando la terminología moderna de los digrafos funcionales para hacerla accesible.

2. Metodología

El autor presenta una demostración simplificada del Teorema 1 (No existe digrafo funcional primo) mediante un enfoque estructurado en tres lemas clave, que descomponen el problema en pasos lógicos manejables:

1. Reducción a la Conectividad: Se demuestra que cualquier digrafo primo debe ser conexo. Si un digrafo es disconexo, se puede construir un contraejemplo de divisibilidad utilizando sumas de ciclos y propiedades de los números primos grandes.
2. Reducción a la Longitud del Ciclo: Se demuestra que cualquier digrafo funcional primo y conexo debe contener un ciclo de longitud 1 ($C_1$). Si el ciclo tiene longitud $\ell > 1$, se utiliza la descomposición de potencias de primos y el producto con ciclos para mostrar que el digrafo no cumple la propiedad de primalidad.
3. Construcción de Contraejemplos (El núcleo de la prueba): Para los digrafos en la clase $F_1$ (conexos con un ciclo de longitud 1), se utiliza una construcción explícita (basada en la de Seifert) para demostrar que ningún elemento de esta clase es primo.
   • Dado un digrafo $X \in F_1$ con altura $d$, se construyen tres digrafos auxiliares $A$, $B$ y $Y$.
   • Se define un isomorfismo explícito $\phi$ que demuestra que $XY \cong AB$.
   • Se prueba rigurosamente que $X$ no divide a $A$ (por razones de cardinalidad) y que $X$ no divide a $B$ (mediante un análisis de las clases de equivalencia de vértices bajo iteraciones de la función y la altura del digrafo).

3. Contribuciones Clave

• Simplificación de la Prueba Histórica: La principal contribución es la traducción de la prueba de Seifert (1971) a un lenguaje moderno y accesible. Seifert trabajaba en un marco algebraico general para familias de digrafos (incluyendo infinitos) utilizando parámetros técnicos complejos (como el subgrupo $K(A)$ de $\mathbb{Z}$ generado por longitudes de caminos). Richard elimina este "ruido" y demuestra que el resultado específico para digrafos funcionales puede probarse con herramientas elementales de teoría de grafos y aritmética básica.
• Clarificación de la Estructura Algebraica: El artículo aclara la distinción entre irreducibilidad y primalidad en el semianillo de digrafos funcionales. Mientras que en los números naturales son equivalentes, en este contexto casi todos los digrafos son irreducibles, pero ninguno es primo.
• Construcción Explícita: Se detalla paso a paso la construcción de los digrafos $A$, $B$ y $Y$ y el isomorfismo $\phi$, proporcionando una intuición geométrica y dinámica que estaba oculta en la prueba original de Seifert.

4. Resultados Principales

El resultado central es la confirmación definitiva del Teorema 1:

No existe ningún digrafo funcional primo.

Esto implica que el semianillo de digrafos funcionales no posee elementos primos. Cualquier digrafo $X$ (distinto de $C_1$) que divida un producto $AB$ no necesariamente divide a uno de los factores. El artículo demuestra que para cualquier $X$, siempre es posible encontrar $A$ y $B$ tales que $X | AB$ pero $X \nmid A$ y $X \nmid B$.

Además, el trabajo establece que:

• Todo digrafo primo debe ser conexo.
• Todo digrafo primo conexo debe tener un ciclo de longitud 1.
• La clase $F_1$ (digrafos conexos con ciclo de longitud 1) no contiene elementos primos.

5. Significado e Impacto

• Resolución de una Conjetura Moderna: Cierra el debate abierto por Porreca y sus estudiantes, confirmando la conjetura de no existencia de primos.
• Recuperación de un Trabajo Olvidado: Pone en valor el trabajo de Ralph Seifert de 1971, demostrando que sus resultados eran correctos pero estaban "enterrados" bajo una notación y un marco demasiado general para la comunidad actual de dinámica discreta y redes de autómatas.
• Herramienta para Estudios Futuros: Al proporcionar una prueba accesible, el artículo facilita el estudio de la estructura multiplicativa de los digrafos funcionales. Esto es crucial para problemas abiertos en complejidad computacional y álgebra relacionados con la factorización de sistemas dinámicos discretos.
• Metodología Didáctica: Sirve como un ejemplo de cómo reescribir resultados matemáticos profundos pero oscuros, haciendo que las ideas subyacentes sean comprensibles para investigadores no expertos en el marco técnico original.

En resumen, el artículo de Adrien Richard no solo confirma un teorema fundamental sobre la estructura algebraica de los sistemas dinámicos discretos, sino que lo hace de una manera que democratiza el acceso a la prueba, revelando la elegancia de la construcción original de Seifert sin la carga de su formalismo excesivo.