Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of e+\pi

Basado en el texto proporcionado, aquí se presenta un resumen técnico detallado del artículo "Tail Criteria, No-Go Audits, and Apéry-Type Certificate Obstructions for the Irrationality of $e + \pi$" de Runlong Yu.

Planteamiento del Problema

El artículo aborda el persistente problema abierto de demostrar la irracionalidad de la suma $e + \pi$. Aunque $e$ y $\pi$ son individualmente conocidos por ser trascendentes (mediante los teoremas de Hermite y Lindemann), su suma podría teóricamente ser racional. El artículo no intenta probar directamente que $e + \pi \notin \mathbb{Q}$. En su lugar, adopta un enfoque estructural para aislar los requisitos aritméticos específicos que cualquier prueba elemental de "tipo Apéry" tendría que satisfacer. El objetivo es definir un "teorema de no-go acotado" que delimite una zona prohibida para los mecanismos de prueba de baja complejidad, aclarando por qué las técnicas de aproximación estándar no logran producir un certificado de irracionalidad válido para esta constante específica.

Metodología

El artículo emplea una metodología de tres vertientes que combina equivalencias aritméticas exactas, identidades integrales y auditoría computacional:

1. Análisis de Criterios de Cola (Tail Criteria): El autor deriva equivalencias exactas entre la hipótesis $e + \pi \in \mathbb{Q}$ y comportamientos eventuales específicos en las expansiones factoriales. Esto implica analizar la "cola" de la expansión factorial-Cantor de $\pi$ y las relaciones de recurrencia de las funciones techo aplicadas a $N!\pi$.
2. Marco de Certificado de Integral Mixta: El artículo formula un marco para generar formas lineales enteras $L_n = A_n(e + \pi) + B_n$ utilizando una identidad de integración por partes mixta. Esta identidad combina la representación integral de $e$ (vía $\int P(x)e^x dx$) y de $\pi$ (vía $\int \frac{1}{1+x^2} dx$) para producir formas donde $A_n, B_n \in \mathbb{Z}$.
3. Auditoría de No-Go: El núcleo del artículo es una "auditoría" de varias familias de construcción de baja complejidad (por ejemplo, aproximaciones de Padé, aproximaciones cruzadas, J-fracciones, ansatz holonómicos y búsquedas de red de núcleos/kernel-lattice). La auditoría aplica filtros estrictos:
   • Eliminación de Denominadores: Asegurar que la forma lineal entera sea genuinamente pequeña tras la eliminación de denominadores.
   • Reducción Primitiva: Eliminar factores comunes para verificar la forma primitiva.
   • Auditoría de Sombras de CF (CF-Shadow Auditing): Verificar si la aproximación racional resultante es simplemente un convergente o un convergente intermedio de la fracción continua de $e + \pi$ (una "sombra de CF"), lo que indicaría que el mecanismo no está generando un nuevo certificado de irracionalidad, sino simplemente redescubriendo aproximaciones clásicas.

Contribuciones Clave

1. Criterios de Cola Exactos para la Racionalidad
El artículo demuestra que, si $e + \pi$ fuera racional, esto forzaría comportamientos rígidos y específicos en la aritmética factorial de $\pi$:

• Recurrencia de Techo: Si $e + \pi \in \mathbb{Q}$, entonces para un $N$ suficientemente grande, la secuencia $A_N = \lceil N!\pi \rceil$ debe satisfacer la recurrencia $A_{N+1} = (N+1)A_N - 1$.
• Dígitos Factoriales-Cantor: Los dígitos factorial-Cantor $d_N(\pi)$ deben ser eventualmente iguales a $N-2$.
• Criterio de Divisibilidad: Una secuencia específica $Q_N = \lfloor N!e \rfloor + \lceil N!\pi \rceil$ debe ser eventualmente divisible por $N$.
  El autor enfatiza que, aunque estas son equivalencias exactas, no son obstrucciones finitas; demostrar la irracionalidad requeriría mostrar que estos patrones fallan infinitamente, lo cual sigue siendo difícil.

2. La Identidad de Núcleo Mixto (Mixed Kernel Identity)
Una herramienta matemática central introducida es una identidad integral mixta para cualquier polinomio entero $P(x)$:
$$\int_0^1 \left( P(x)e^x + \frac{4A(P)}{1+x^2} \right) dx = A(P)(e + \pi) - S_P(0)$$
donde $A(P) = \sum (-1)^j P^{(j)}(1)$ y $S_P(0) = \sum (-1)^j P^{(j)}(0)$. Esto proporciona una forma sistemática de generar formas lineales enteras en $e + \pi$. El desafío identificado es lograr que la integral sea pequeña analíticamente sin que los coeficientes aritméticos (denominadores) crezcan demasiado rápido para preservar la "pequeñez" requerida para una prueba de irracionalidad.

3. El Marco de Auditoría No-Go
El artículo define un filtro de "no-go" riguroso. Un mecanismo queda descartado como generador de certificados de tipo Apéry si:

• Sus formas lineales enteras no tienden a cero tras la eliminación de denominadores y la reducción primitiva.
• Sus salidas más fuertes se reducen a "sombras de CF" (aproximaciones de fracciones continuas clásicas) sin formar una familia de mejora de grado continuo de no-CF.

Resultados

La auditoría computacional probó varias familias de baja complejidad:

• Aproximaciones de Padé Mixtas: Proporcionaron cercanía analítica pero fallaron en producir formas lineales enteras pequeñas tras la eliminación de denominadores.
• Aproximaciones Cruzadas: La sincronización de aproximaciones separadas para $e$ y $\pi$ falló al no producir la cancelación de error necesaria en la misma escala.
• Familias Holonómicas y de Tipo Rodrigues: Aunque podían reducir los residuos analíticos locales, las formas resultantes no tendían a cero o estaban dominadas por factores comunes y sombras de CF.
• Búsqueda de Red de Núcleos (Kernel-Lattice Search): Esta fue la búsqueda más sensible. De 145 candidatos brutos, 133 fueron clasificados como registros primitivos.
  • Dominancia de Sombras de CF: Las mejores señales (menores residuos) eran casi exclusivamente "sombras de CF". Por ejemplo, un candidato de grado 14 produjo una forma $245223(e+\pi) - 1436976$, que se redujo a $9(27247(e+\pi) - 159664)$. La relación $159664/27247$ fue verificada como un convergente de la fracción continua de $e + \pi$.
  • Fallo de Familias No-CF: Los mejores candidatos "no-CF" no formaron una familia estable y de mejora a medida que aumentaba el grado del polinomio. El tamaño del denominador creció, pero la precisión del residuo no mejoró de forma monótona.

Conclusión de la Auditoría: Dentro de las familias de baja complejidad probadas, no se encontró ningún mecanismo de tipo Apéry que no fuera circular. El modo de fallo común es que la pequeñez analítica no se traduce en pequeñez aritmética una vez que se contabilizan los denominadores y los coeficientes.

Significado y Reivindicaciones

El artículo afirma explícitamente no ser un teorema de imposibilidad universal. No demuestra que $e + \pi$ sea irracional, ni demuestra que no exista una prueba.

En su lugar, su importancia radica en:

1. Clarificación Estructural: Aísla los requisitos aritméticos precisos (formas lineales enteras que tienden a cero) que distinguen una verdadera prueba de irracionalidad de una mera aproximación racional.
2. Definición de la "Zona Prohibida": Establece un "teorema de no-go acotado" para un universo especificado de estrategias de baja complejidad. Demuestra que, para estas estrategias, la competencia entre la cancelación analítica y el crecimiento aritmético (eliminación de denominadores, reducción primitiva) destruye el potencial de un certificado.
3. Herramienta de Diagnóstico: La "auditoría de sombra de CF" se presenta como un filtro necesario para futuros intentos. Cualquier nuevo mecanismo debe sobrevivir a la reducción primitiva y demostrar que no es meramente un reempaquetado de las aproximaciones clásicas de fracciones continuas.

El artículo concluye que una prueba exitosa de $e + \pi \notin \mathbb{Q}$ mediante medios de tipo Apéry debe acoplar coeficientes enteros, un residuo no nulo y una estimación del residuo que tienda a cero de una manera que sobreviva a un fuerte filtrado aritmético, un acoplamiento que las familias de baja complejidad probadas no lograron alcanzar.