Exponent-one blockers and a Mordell-Weil construction of Euler bricks

Aquí se presenta un resumen técnico detallado del artículo "Bloqueadores de exponente uno y una construcción de Mordell–Weil de ladrillos de Euler" de René Peschmann.

1. Planteamiento del Problema

El artículo aborda el Problema del Cuboide Perfecto, un famoso problema abierto en teoría de números que data del siglo XVIII.

• Definición: Un cuboide perfecto es un paralelepípedo rectangular con longitudes de arista enteras ($e_1, e_2, e_3$) tal que las tres diagonales de las caras y la diagonal espacial también son enteras.
• Estado Actual: Nunca se ha encontrado un ejemplo de un cuboide perfecto, ni se ha demostrado su inexistencia.
• Alcance: El artículo se centra en los Cuboides del Cuerpo (o ladrillos de Euler), donde las aristas y las diagonales de las caras son enteras, pero la diagonal espacial no se requiere que sea un entero. Estos son abundantes y parametrizados por familias infinitas clásicas (por ejemplo, Saunderson, Euler) y un vasto conjunto esporádico.
• Objetivo: El autor investiga las propiedades estructurales de los cuboides del cuerpo para comprender por qué fallan en ser cuboides perfectos y para generar un conjunto masivo de nuevos ejemplos con el fin de probar conjeturas sobre su inexistencia.

2. Metodología

El artículo emplea un enfoque dual que combina geometría algebraica (fibraciones elípticas) y teoría de números computacional (factorización a gran escala y verificación).

A. Parametrización (Master-Hits)

El estudio utiliza una parametrización específica de cuboides del cuerpo basada en dos pares pitagóricos coprimos $(a, b)$ y $(m, n)$ en forma de Euclides.

• Parámetros: $a > b > 0$, $m > n > 0$, con $a-b$ y $m-n$ siendo impares.
• Construcción: Las aristas se definen como $x = U_1 U_2$, $y = V_1 U_2$, $z = U_1 V_2$, donde $U_i, V_i, W_i$ se derivan de las ternas pitagóricas.
• Condición Master-Hit: Una tupla $(a, b, m, n)$ es un "Master-Hit" si la tercera diagonal de la cara es un entero. Esto requiere que $M(a, b, m, n) = (V_1 U_2)^2 + (U_1 V_2)^2$ sea un cuadrado perfecto.
• Obstrucción del Cuboide Perfecto: Un Master-Hit se convierte en un cuboide perfecto solo si el cuadrado de la diagonal espacial, $f_1 = (W_1 U_2)^2 + (U_1 V_2)^2$, también es un cuadrado perfecto.

B. Construcción de Mordell–Weil (Generador)

Para generar nuevos Master-Hits más allá de los límites de búsqueda clásicos, el autor construye una fibración elíptica:

1. Fibración: Para un par coprimo fijo $(m, n)$, la ecuación Master-Hit define una curva cuártica de género uno $H_{m,n}$.
2. Transformación: Mediante una transformación de cuártica a Weierstrass, $H_{m,n}$ se mapea a una curva elíptica $E_{m,n}$.
3. Algoritmo: El autor utiliza el grupo de Mordell–Weil $E_{m,n}(\mathbb{Q})$ para generar puntos racionales.
   • Los puntos racionales $P$ en $E_{m,n}$ se elevan de nuevo a la cuártica mediante una función racional $\tau(P)$.
   • Un punto produce un Master-Hit válido si $\tau(P)$ es un cuadrado racional positivo y satisface las condiciones de paridad/coprimalidad.
4. Escala: Este generador algorítmico permite el descubrimiento de Master-Hits con parámetros de altura inmensa (hasta $10^{888}$), superando con creces el alcance de la búsqueda exhaustiva.

C. Verificación Computacional

El artículo se basa en una base de datos masiva de 1.284.670 Master-Hits.

• Factorización: Para 151.575 de estos, la norma de la diagonal espacial $f_1$ fue factorizada completamente utilizando un pipeline que involucra división por ensayo, sympy y YAFU (QS/GNFS).
• Scripts de Verificación: Scripts personalizados en Python/Sage verifican la aritmética de enteros, la consistencia de la factorización y las propiedades de "bloqueador".

3. Contribuciones Clave

Contribución 1: El Fenómeno Verificado del Bloqueador de Exponente Uno

El artículo formula y verifica computacionalmente una conjetura fuerte sobre la factorización prima de $f_1$.

• Conjetura 4.1 (Bloqueador Universal de Exponente Uno): Para cada Master-Hit, existe un divisor primo $\ell$ de $f_1$ tal que:
  1. Exponente Uno: $v_\ell(f_1) = 1$ (el primo aparece exactamente una vez).
  2. Generalidad: $\ell$ es coprimo con una lista fija de 29 "expresiones canónicas" derivadas de los parámetros $(a, b, m, n)$ (por ejemplo, $a, b, m, n, a+b, a^2+b^2$, etc.).
• Significado: Esto es estrictamente más fuerte que simplemente encontrar un primo de exponente impar. Un primo con exponente 3, 5, etc., también impediría que $f_1$ fuera un cuadrado, pero llevaría un factor cuadrático. La obstrucción observada es primitiva (exponente 1), lo que implica que el fallo en ser un cuadrado perfecto es fundamental y no un artefacto de potencias superiores.
• Verificación: Este fenómeno se mantiene sin excepción para todos los 151.575 registros completamente factorizados.
• Refutación de Variantes: El artículo muestra que los fortalecimientos naturales fallan:
  • El primo de parámetros externos más grande no siempre es un bloqueador.
  • El bloqueador de parámetros externos más pequeño no siempre tiene exponente 1.

Contribución 2: El Generador de Mordell–Weil

El autor proporciona una construcción algorítmica rigurosa que produce 1.222.841 nuevos Master-Hits (añadiendo a una base de 61.829).

• Cobertura: Estos hits abarcan 411 fibras elípticas distintas.
• Novedad: Los ladrillos generados tienen parámetros mucho más grandes que cualquier otro conocido previamente, cualitativamente más allá del alcance de la búsqueda exhaustiva.
• Resultado: Ninguno de los 1.284.670 ladrillos generados es un cuboide perfecto (verificado mediante comprobaciones exactas de cuadrados enteros).

Contribución 3: Descomposición Estructural

El artículo introduce una descomposición canónica de $f_1$:
$$f_1 = g_0^2 (\xi^2 + \eta^2)$$
donde $g_0 = \gcd(W_1 U_2, U_1 V_2)$ y $\xi, \eta$ son enteros coprimos.

• Conjetura 4.14: El término $(\xi^2 + \eta^2)$ nunca es un cuadrado perfecto.
• Implicación: Si esta conjetura se mantiene, implica la existencia de un bloqueador (Conjetura 4.7), lo que a su vez implica que no existe ningún cuboide perfecto dentro de esta clase. Esto reduce el problema a verificar si un par específico de expresiones polinómicas puede formar una terna pitagórica.

4. Resultados

• Tamaño de la Base de Datos: El artículo establece una base de datos de 1.284.670 Master-Hits.
• Estado del Cuboide Perfecto: Se encontraron cero cuboides perfectos en este conjunto de datos.
• Estadísticas de Bloqueadores:
  • El 100% de los registros completamente factorizados satisfacen la condición del bloqueador de exponente uno.
  • El 95,2% de la base de datos proviene del nuevo generador de Mordell–Weil.
  • El generador produce ladrillos que abrumadoramente no forman parte de las familias infinitas clásicas (Saunderson, Lenhart, Himane), confirmando que el generador accede a una estructura "esporádica".
• Descubrimiento de Rango: Se encontró que seis fibras elípticas tienen un rango de Mordell–Weil de al menos 5 (anteriormente reportado como 4 con límites de descenso estándar), lo que llevó al descubrimiento de los ladrillos más grandes en la base de datos.

5. Significado

• Perspectiva Estructural: El artículo avanza más allá de la búsqueda por fuerza bruta para identificar una razón estructural profunda por la cual los cuboides del cuerpo fallan en ser perfectos: la presencia de un bloqueador primo primitivo, genérico y de exponente uno. Esto sugiere que la obstrucción es intrínseca a la geometría de la parametrización, y no solo una coincidencia de números pequeños.
• Avance Metodológico: La aplicación exitosa de la enumeración del grupo de Mordell–Weil para generar soluciones diofánticas proporciona una nueva herramienta poderosa para explorar soluciones de gran altura en la geometría diofántica.
• Evidencia de Inexistencia: Aunque no es una prueba, la evidencia empírica es abrumadora. El hecho de que el fenómeno del "bloqueador de exponente uno" se mantenga universalmente en un conjunto de datos que abarca 12 órdenes de magnitud en el tamaño de los parámetros respalda fuertemente la conjetura de que los cuboides perfectos no existen dentro de esta clase de parametrización.
• Problemas Abiertos: El artículo delinea explícitamente el camino hacia una prueba: demostrar que el par coprimo $(\xi, \eta)$ en la descomposición canónica nunca puede formar una terna pitagórica (Conjetura 4.14) probaría incondicionalmente la inexistencia de cuboides perfectos en esta clase.

En resumen, el trabajo de Peschmann combina la teoría avanzada de curvas elípticas con una verificación computacional masiva para proporcionar la evidencia empírica más sólida hasta la fecha sobre la inexistencia de cuboides perfectos, identificando una obstrucción aritmética específica y primitiva que parece ser universal.