El ataque de una IA a los conjuntos libres de progresiones: registro de lo que se estancó

TL;DR. Un asistente de IA trabajó en dos problemas sobre conjuntos libres de progresiones: un argumento para el problema de la suma de recíprocos y una cota cuasipolinómica para cada longitud de progresión fija.

Puntos clave

Dos tareas, y solo una de ellas llegó a afirmarse. El material se divide en dos tareas, y conviene mantener separado su estatus.
El decaimiento de la densidad no es lo mismo que la sumabilidad. El primer obstáculo aparece en el nivel de la arquitectura del argumento, antes de cualquier análisis de Fourier.
Conservar la estructura y por qué tres términos no se generalizan. Un remedio propuesto consiste en mantener la estructura disponible.
Alinear frecuencias una sola vez en lugar de muchas veces. La alineación secuencial de funciones de frecuencia es donde el problema de la acumulación golpea con más fuerza.

Lo más útil que puede decirte una demostración inacabada es exactamente dónde se rompe, y esta se rompe en una docena de puntos concretos.

Resumen ejecutivo

El trabajo consta de dos tareas. La primera desarrolla un argumento para el problema de la suma de recíprocos. La segunda busca una cota cuasipolinómica para cada longitud de progresión fija, y ese objetivo no se alcanza.

El punto de partida es el resultado de la suma de recíprocos para tres términos de Bloom y Sisask. El decaimiento cualitativo de la densidad por sí solo no proporciona la sumabilidad que requiere el argumento.

Se probaron numerosos enfoques: conjuntos ambientales estructurados, alineación simultánea de frecuencias, lemas de conteo disperso, suavizado de Croot-Sisask, levantamiento e iteración, esquinas y entropía a escala p = log M. Cada uno encontró una obstrucción explícita.

El cálculo final quedó inconcluso, sin un lema de restricción ni un principio de conteo disperso.

Para fundadores y responsables técnicos, la lección es metodológica: un registro de fallos con nombre propio es un entregable más fiable que un esbozo confiado.

Dos tareas, y solo una de ellas llegó a afirmarse #

El material se divide en dos tareas, y conviene mantener separado su estatus. La primera desarrolla un argumento para el problema de la suma de recíprocos. La segunda busca una cota cuasipolinómica para cada longitud de progresión fija. Los verbos importan. La primera tarea se describe como el desarrollo de un argumento. La segunda solo busca una cota. Nada en el registro indica que se haya alcanzado el segundo objetivo, y lo trataré como una meta a lo largo de todo el texto.

El asistente no parte de cero. Utiliza como referencia el resultado de la suma de recíprocos de tres términos de Bloom y Sisask. Todo lo que sigue es un intento de superar esa línea base, ya sea hacia progresiones más largas o hacia un enunciado cuantitativo más fuerte. La notación se fija desde el principio. Para cada k, r_k(N) es el tamaño máximo de un subconjunto de {1, ..., N} sin progresiones no triviales de k términos. Un conjunto A de densidad α = |A|/N es el objeto de estudio, y la función normalizada es f = 1_A/α.

Esa normalización impulsa la mayor parte de lo que sigue. Se define μ = 1_A/α, de modo que E[μ] = 1, y se fija M = α^-1. La dispersión logarítmica es entonces p = log(1/α), que equivale a log M. Cuanto más disperso es el conjunto, mayores se vuelven M y p. Cada obstrucción descrita a continuación es, de una forma u otra, una afirmación sobre lo que ocurre a medida que crece esa dispersión.

El decaimiento de la densidad no es lo mismo que la sumabilidad #

El primer obstáculo aparece en el nivel de la arquitectura del argumento, antes de cualquier análisis de Fourier. El registro afirma claramente que el decaimiento cualitativo de la densidad por sí solo no proporciona esta sumabilidad. Saber que las densidades disminuyen al avanzar por las escalas no basta. El problema de la suma de recíprocos necesita que esa reducción se cuantifique lo suficientemente bien como para poder sumarse.

Una vía de escape tentadora es una recurrencia. Las notas señalan que una recurrencia suficientemente fuerte para las densidades extremales libres de progresiones podría arrojar sumabilidad a través de escalas exponenciales. Esa frase está matizada, y debe seguir estándolo. Describe lo que podría lograr una hipotética recurrencia fuerte. No presenta ninguna.

Un segundo coste es independiente del primero. El asistente identifica la acumulación de muchas correlaciones débiles como un coste adicional. Cada correlación individual puede ser inofensiva mientras que su suma no lo es. Este tema se repite: un paso que resulta barato una sola vez se vuelve caro cuando hay que repetirlo.

Conservar la estructura y por qué tres términos no se generalizan #

Un remedio propuesto consiste en mantener la estructura disponible. El asistente propone conservar conjuntos ambientales estructurados a través de incrementos sucesivos. La idea, tal como se matiza en la fuente, es que no se debe descartar el conjunto estructurado hallado en una etapa al pasar a la siguiente.

El caso de tres términos tiene una característica de la que carecen las progresiones más largas. El mecanismo de positividad útil para las progresiones de tres términos no se extiende directamente a conteos enraizados más largos. Este es el primero de varios puntos donde la obstrucción es específica para k mayor que tres. Una nota posterior señala lo mismo en términos generales: las progresiones más largas introducen nuevas obstrucciones de orden superior.

El registro incluye un esbozo de producto tensorial sobre si las normas de uniformidad fijas pueden controlar funciones normalizadas dispersas. El asistente no completa el esbozo. Prefiero informar de ello antes que dar a entender que la cuestión está resuelta en un sentido u otro.

Alinear frecuencias una sola vez en lugar de muchas veces #

La alineación secuencial de funciones de frecuencia es donde el problema de la acumulación golpea con más fuerza. Si cada alineación cuesta un poco, una cadena larga de ellas cuesta mucho. El asistente propone alinear varias funciones de frecuencia simultáneamente, en lugar de acumular pérdidas mediante la alineación secuencial. La nota al margen lo expresa sin rodeos: "Sin pérdidas iterativas si se alinean todas las frecuencias a la vez". Al igual que la propuesta que resume, esa frase está condicionada, porque describe lo que aportaría la alineación simultánea si funcionara.

A continuación, la nota expone lo que aún falta. S_h tendría que ser recuperable a partir de frecuencias con correlaciones grandes, de al menos exp(-poly). Eso sigue siendo un requisito, no un resultado. Las correlaciones que se organizan son las de los productos por pares f(x)f(x + h), con f = 1_A/α y α = |A|/N.

Incluso concediendo eso, el asistente aún necesita preservar la correlación relativa y completar el argumento de conteo. Así pues, la idea de la alineación simultánea tiene una propiedad atractiva, la ausencia de pérdidas iterativas, y una lista de elementos que nadie ha verificado. Un enfoque relacionado presenta una limitación similar. Truncar picos coherentes poco frecuentes funciona para agrupaciones de frecuencias independientes, pero extender ese argumento a agrupaciones dependientes sigue sin resolverse.

Piezas vacías poco frecuentes y el coste del relleno adaptativo #

Cuando el argumento pasa de la contabilidad en el lado de Fourier al conteo efectivo de progresiones, surge un problema estructural. El asistente identifica una obstrucción: las cotas superiores de densidad sobre piezas estructuradas permiten piezas vacías poco frecuentes. Una cota superior sobre qué proporción de A yace en una pieza no dice nada sobre si algún elemento de A se encuentra allí. Una pieza rara y vacía puede coexistir dentro de una familia de piezas que satisfacen todas la cota.

Una respuesta es el relleno adaptativo, que viene con su propia factura. El relleno adaptativo introduce condiciones adicionales de viabilidad que el asistente no ha demostrado. Un mayorante es una forma natural de descartar las piezas malas poco frecuentes. El texto citado del asistente señala que un mayorante sobre todos los átomos raros es probablemente poco realista. El comentario es cauto, pero apunta en dirección contraria a la solución más directa.

Este es el patrón que explica el resto del registro. Un argumento económico necesita una cota inferior en algún punto, las herramientas disponibles ofrecen cotas superiores, y la brecha entre ambas está ocupada por objetos raros, dispersos y vacíos.

Tomar prestada maquinaria de conteo disperso y descubrir que no bastaba #

El asistente recurrió a la literatura existente sobre conteo disperso para intentar cruzar esa brecha. Dos fuentes dieron forma al intento.

Sobre la densificación de Conlon-Fox-Zhao, el asistente observó que se apoyaba en estimaciones bilaterales de formas lineales. Esto importa porque el marco aquí tiene una estructura de cota superior y no bilateral. Un método construido sobre un control de dos lados no está disponible cuando solo se conoce un lado.

El lema de conteo de grafos dispersos de Filmus, Hatami, Hosseini y Kelman proporcionó el modelo para momentos de rejilla asimétricos y desequilibrio semidefinido positivo. Sirvió, por tanto, como plantilla y no como teorema directamente aplicable. Aun así, reapareció la misma dificultad. Las cotas superiores por sí solas encontraron repetidamente huecos dispersos. Un matiz adicional dificulta la lectura de los momentos de rejilla: unos momentos de rejilla centrados y grandes podrían reflejar falta de masa en lugar de concentración hacia arriba. Un momento grande parece evidencia de concentración, pero puede ser producido igualmente por masa que no está ahí. Esa ambigüedad es el problema de los huecos dispersos visto desde el lado de los momentos.

A continuación, el asistente consideró pequeñas pérdidas de potencia en M. No obtuvo ningún teorema de conteo adecuado. Ese es un resultado negativo nítido que acota el terreno: incluso permitiendo que el argumento pierda una pequeña potencia de M, no se encontró ningún teorema de conteo apropiado.

El suavizado resultaba demasiado costoso de aplicar #

El suavizado de Croot-Sisask es una vía estándar para regularizar un conjunto antes de contar. El asistente lo consideró y encontró que la precisión requerida resultaba demasiado costosa en la aplicación propuesta. El método no era erróneo. Su precio superaba lo que el argumento podía pagar.

La misma economía rige las demás rutas. Para los argumentos de fibras, las cotas sobre fibras no se multiplicaron automáticamente, y las esferas de norma constante obstruyeron el esperado decaimiento fuerte sobre alfabetos de dígitos fijos. Una estructura de producto sugiere que las cotas sobre las piezas deberían combinarse en una cota sobre el todo, y aquí no lo hicieron. Los intentos de levantamiento e iteración siguieron perdiendo demasiado en términos cuantitativos.

A continuación se consideró el enfoque de dualidad aproximada de Ben-Sasson y Ron-Zewi. El asistente descubrió que la iteración contemplada pierde demasiado cuantitativamente. Este es el mismo veredicto que en el intento de levantamiento, alcanzado desde una dirección distinta, lo que sugiere que el problema reside en la iteración misma y no en una construcción particular. Mantendré esto como una observación sobre el patrón, no como un diagnóstico demostrado.

Una línea de optimismo y la aritmética que la socavó #

El registro contiene un momento de aparente progreso. El texto citado del asistente afirma que las fluctuaciones de grado de los productos se manejan con precisión polinómica, signo de exclamación incluido. Es una afirmación matizada, citada tal como la escribió el asistente.

El asistente advirtió entonces el problema que encerraba. Las expansiones con signo podían tener masa absoluta de orden 2^p, lo que desborda la precisión polinómica. Recordemos que p = log M. La precisión polinómica en M es un objetivo modesto, mientras que una expansión con signo con masa de orden 2^p es exponencialmente mayor. La precisión es real, pero la cancelación en la que se apoya no puede absorber tanta masa.

Considero que esta es la entrada más instructiva del registro, porque muestra el funcionamiento de la autoverificación. Una afirmación hecha con un signo de exclamación fue reabierta, y se comprobó que la aritmética de la que dependía era insuficiente. Así es como se ve un registro de trabajo honesto. El entusiasmo y la corrección conviven en el mismo documento.

Las esquinas y las cajas no se ensamblan en progresiones más largas #

Una estrategia diferente consistió en utilizar un resultado conocido más fuerte como peldaño. La cota cuasipolinómica para esquinas es la herramienta pertinente, pero las esquinas resultantes no ensamblaron automáticamente progresiones más largas. Una esquina es un patrón bidimensional y una progresión larga es uno unidimensional, y el paso entre ambos no es automático.

El conteo de cajas de cuatro términos presenta una dificultad relacionada. La positividad del conteo de cajas de cuatro términos no controló su diagonal excepcional. Un conteo positivo puede seguir estando dominado por configuraciones degeneradas, y la diagonal es donde estas habitan.

Las notas ofrecen una posible vía de avance, cuidadosamente matizada. Las normas de caja completas ofrecen un mecanismo posible para determinar si las cotas superiores de conteo por sí solas pueden forzar conteos inferiores de progresiones. Esa pregunta, si la información unilateral puede forzar una cota inferior, es aquella en torno a la cual gira todo el proyecto. Sin embargo, existe un límite en cuanto a hasta dónde se extiende esto. Las contribuciones cúbicas negativas obstruyen una extensión directa a los sistemas de progresiones.

Paso a la entropía a escala p = log M #

Con las rutas de conteo directo bloqueadas, la investigación giró hacia la entropía a escala p = log M, inspirándose en el uso de momentos altos de Kelley y Meka. La elección de la escala no es arbitraria: p = log M es exactamente la dispersión logarítmica definida al principio.

El texto citado del asistente propone usar la entropía en lugar de L2 mediante la no negatividad y la disociatividad de frecuencias (Chang). Eso es una propuesta, no un resultado. El razonamiento es que μ = 1_A/α es no negativa, y la disociatividad de Chang proporciona estructura en el lado de las frecuencias, por lo que la entropía podría realizar el trabajo que una magnitud L2 no puede hacer.

Para que esto funcionara, el asistente necesitaba un insumo analítico específico. El asistente buscó una estimación de restricción de Fourier ||g_hat||_q = O(1) para g acotada y q > 2 fijo, bajo cotas superiores locales adecuadas. Esto era un objetivo. No llegó a establecerse.

El obstáculo apareció en el paso siguiente. Extraer estructura a partir de momentos altos perdió demasiada masa. Los momentos altos son el punto donde los argumentos al estilo de Kelley-Meka ganan su fuerza, y aquí fueron también donde el argumento perdió lo que necesitaba conservar.

El cálculo que más se acercó #

El cálculo final merece una mirada propia, porque encierra tanto un éxito como un fracaso. Alcanza una cota de extremo completa bajo sus hipótesis de convolución. Ese es un resultado real, enunciado como tal, y lleva el calificativo "bajo sus hipótesis de convolución". La cota se cumple cuando lo hacen esas hipótesis.

Pero no logra cruzar el umbral de exponente tres requerido por el argumento de conteo propuesto. El extracto del asistente señala una cota l3 débil procedente de la convolución y el recorte, y que se necesita un exponente estrictamente mejor (por debajo de 3) para la interpolación. En términos sencillos, el cálculo aterriza exactamente en el lado equivocado de la línea. Una cota en el exponente tres no es suficiente, y la interpolación necesita algo estrictamente mejor.

Resulta tentador leer un cuasi acierto como este diciendo que "casi lo logra". Yo me resistiría a ello. El registro no dice a qué distancia del umbral se encuentra el cálculo, y una brecha de un solo exponente puede seguir siendo todo el problema. Lo que el registro sí dice es que el asistente dejó el cálculo inacabado, sin deducir ni el lema de restricción ni el principio de conteo disperso. Esas dos piezas ausentes son la deuda abierta del proyecto.

Cuál es el valor del registro #

Sería fácil descartar esto como un intento fallido. Creo que eso interpreta mal la evidencia, por una razón que se aplica mucho más allá de la teoría de números.

El documento es específico. Nombra la obstrucción en cada cruce: piezas vacías poco frecuentes, masa ausente en momentos de rejilla, estimaciones bilaterales en Conlon-Fox-Zhao, masa con signo exponencial en p, la diagonal excepcional del conteo de cajas de cuatro términos, contribuciones cúbicas negativas. Distingue una limitación demostrada de un mecanismo esperado. Marca la recurrencia para la sumabilidad como algo que podría funcionar, y la segunda tarea como algo que se busca. Dice lo que el asistente no terminó.

Para un fundador o un responsable técnico que evalúe la investigación asistida por IA, eso es lo que hay que buscar. Un sistema que devuelve un argumento confiado y de aspecto completo es difícil de auditar. Un sistema que devuelve una lista de fallos con nombre, con el único cuasi éxito claramente marcado por quedarse corto respecto a un umbral, puede auditarse línea por línea. Alguien puede retomar el problema del exponente tres, o el problema de las agrupaciones dependientes, y saber cuál es la posición de partida.

También hay un patrón que vale la pena enunciar directamente. Muchos de los fallos son fallos de acumulación: correlaciones débiles que se suman, alineaciones secuenciales que se componen, iteraciones que pierden demasiado, cotas de fibras que no logran multiplicarse. Uno de los remedios propuestos apunta directamente a esto, alineando las frecuencias de forma simultánea para no incurrir en pérdidas iterativas. Está matizado, y su requisito previo, recuperar S_h a partir de frecuencias con grandes correlaciones, no está demostrado. Aun así, es la propuesta del registro que responde de manera más directa a la queja más frecuente.

La pregunta abierta que plantea el registro es, por tanto, acotada y verificable. ¿Puede obtenerse una cota estrictamente mejor que el exponente tres bajo las hipótesis de convolución que ya proporcionan la cota de extremo? Si es así, la interpolación tiene material con el que trabajar. Si no, la vía de la restricción de Fourier y el principio de conteo disperso, ninguno de los cuales ha sido deducido, son los lugares donde mirar a continuación.

Preguntas frecuentes #

¿Cuáles fueron los dos problemas matemáticos que investigó el asistente de IA?

El asistente trabajó en dos tareas relacionadas sobre conjuntos libres de progresiones: desarrollar un argumento para el problema de la suma de recíprocos y buscar una cota cuasipolinómica para cada longitud de progresión fija k. Aunque utilizó como referencia el resultado de la suma de recíprocos de tres términos de Bloom y Sisask, no se alcanzó la cota cuasipolinómica para longitudes de progresión arbitrarias.

¿Por qué las cotas superiores de densidad no lograron producir el lema de conteo necesario?

Las cotas superiores de densidad sobre piezas estructuradas permiten piezas vacías poco frecuentes, lo que significa que una cota superior sobre qué parte de un conjunto A yace dentro de una pieza no garantiza que exista algún elemento de A en ella. A través de múltiples intentos, las cotas superiores por sí solas encontraron repetidamente huecos dispersos, y los momentos de rejilla centrados grandes podían reflejar masa ausente en lugar de concentración hacia arriba.

¿Dónde se estancó el cálculo final?

El cálculo final alcanzó una cota de extremo completa bajo sus hipótesis de convolución declaradas, pero produjo únicamente una cota l3 débil que no logró cruzar el umbral de exponente estrictamente menor que tres requerido para la interpolación. El asistente dejó el cálculo inacabado sin deducir ni el lema de restricción de Fourier ni el principio de conteo disperso.

References #

Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.

Última revisión 2026-11-01.

Volver a publicar este artículo

El ataque de una IA a los conjuntos libres de progresiones: registro de lo que se estancó — Sebastien Rousseau

Un asistente de IA trabajó en dos problemas sobre conjuntos libres de progresiones: un argumento para el problema de la suma de recíprocos y una cota cuasipolinómica para cada longitud de progresión fija.

Este artículo se publica bajo Creative Commons Attribution 4.0 International. La republicación requiere atribución a la URL canónica.

El ataque de una IA a los conjuntos libres de progresiones: registro de lo que se estancó — Sebastien Rousseau

Un asistente de IA trabajó en dos problemas sobre conjuntos libres de progresiones: un argumento para el problema de la suma de recíprocos y una cota cuasipolinómica para cada longitud de progresión fija.

Originally published at https://sebastienrousseau.com/es/2026-10-24-ataque-de-ia-conjuntos-libres-progresiones/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER