A Finite Certificate for the Positive $n=9$ Vasc Inequality

Resumen Técnico: Un Certificado Finito para la Desigualdad de Vasc Positiva para $n = 9$

Planteamiento del Problema
Este artículo aborda el caso de reales positivos de la desigualdad cíclica de Vasc para $n=9$. La expresión de Vasc se define como $C_n(x_1, \dots, x_n) = \sum_{i=1}^n \frac{x_i - x_{i+1}}{x_{i+1} + x_{i+2}}$ con indexación cíclica. Mientras que la conjetura $C_n \ge 0$ ha sido demostrada para $n=3,4,5,7$ y refutada para $n=6, 13$ (y consecuentemente para todo $n$ par $\ge 6$ y todo $n$ impar $\ge 13$), los casos para $n=9$ y $n=11$ permanecían abiertos. Específicamente, el caso $n=9$ representa una frontera crítica donde los métodos previos de Sustitución de Diferencia Sucesiva (SDS) encuentran una explosión combinatoria, requiriendo el análisis de $8! = 40,320$ regiones de ordenamiento distintas.

Metodología
La estrategia de prueba desacopla las reducciones algebraicas verificables por humanos de un certificado finito generado por máquina. El flujo de trabajo procede en cinco etapas distintas:

1. Eliminación de Denominadores: La desigualdad racional se transforma en una desigualdad polinómica homogénea $P_9(x) \ge 0$ multiplicando por el producto positivo de todos los denominadores, $D_9(x) = \prod (x_{i+1} + x_{i+2})$.
2. Reducción de Máximo Cíclico: Aprovechando la invarianza cíclica, el dominio de verificación se restringe a tuplas donde la primera coordenada es el máximo ($x_1 \ge x_i$ para todo $i$).
3. Parametrización de Conos Ordenados: Dentro del cono de máximo fijo, las ocho variables restantes se ordenan según todas las permutaciones posibles ($\sigma \in S_8$). Esto crea $40,320$ "conos ordenados".
4. Transformación de Coordenadas de Brecha (Gap): Cada cono ordenado se parametriza utilizando coordenadas de brecha acumulativas ($y_1, \dots, y_9$), donde $y_i \ge 0$ representa la diferencia entre variables adyacentes ordenadas. Esto mapea el problema a un ortante no negativo con una brecha total positiva.
5. Verificación de Certificado Finito: Para cada uno de los 40,320 conos ordenados, se genera una "fila terminal" específica. La validez de la desigualdad en cada cono se establece mediante la verificación de uno de tres mecanismos de solidez:
   • No Negatividad de Coeficientes: Todos los coeficientes del polinomio en coordenadas de brecha son no negativos.
   • Multiplicador de Polya: El polinomio se multiplica por un factor positivo (multiplicador de Polya) para obtener un polinomio con coeficientes no negativos.
   • Superposición de Punto Medio AM-GM: El polinomio se verifica mediante superposiciones de circuitos de Media Aritmética-Media Geométrica (AM-GM).

Contribuciones Clave y Ejecución
La contribución principal es la generación y verificación de un certificado exacto finito que cubre todo el espacio de reales positivos para $n=9$.

• Colaboración Humano-IA: La prueba se obtuvo con asistencia guiada por humanos del Equipo de Agentes MechMath, un agente impulsado por LLM. El agente ejecutó autónomamente la fase de verificación del certificado, incluyendo la escritura de programas de verificación en Python, la generación de divisiones de casos y la organización de clasificaciones terminales.
• Escala del Certificado: El certificado publicado contiene 36,815 hojas de coeficientes, 2,236 hojas de multiplicador de Polya ordinario y 1,269 hojas de superposición de punto medio AM-GM.
• Rigor de Verificación: Los autores enfatizan que el certificado no es una transcripción computacional bruta, sino un artefacto formal. Incluye un verificador independiente (escrito en Python usando solo la biblioteca estándar) que vuelve a calcular flujos de máximo fijo, hashes de polinomios y comprobaciones de residuos directamente desde los datos almacenados, asegurando el aislamiento del código que generó el certificado.

Resultos
El artículo demuestra con éxito el Teorema 1: Para cualesquiera números reales positivos $x_1, \dots, x_9$, la desigualdad $\sum_{i=1}^9 \frac{x_i - x_{i+1}}{x_{i+1} + x_{i+2}} \ge 0$ se cumple.

• La prueba resuelve la primera entrada abierta en la tabla de estado de las desigualdades de Vasc (Tabla 1).
• El caso $n=11$ permanece abierto, con solo resultados positivos parciales sobre un pequeño cono actualmente disponibles.

Significancia
El artículo afirma su significancia al resolver un problema abierto de larga data en la demostración de desigualdades automatizadas que anteriormente estaba bloqueado por la complejidad combinatoria. Al demostrar que un certificado finito puede generarse e independientemente verificarse para un problema que requiere el análisis de más de 40,000 regiones, el trabajo valida un enfoque híbrido donde los agentes de IA manejan la carga de trabajo computacional pesada (división de casos, generación de programas y verificación) mientras los autores humanos auditan las reducciones matemáticas y la lógica de verificación. El trabajo proporciona una ruta reproducible, incluyendo el certificado, un verificador independiente y una ruta de reconstrucción de la fuente, estableciendo un nuevo referente para la desigualdad de Vasc $n=9$.