🔢 mathematics

Roth-type theorems in $K_{s,t}$ -free sets

Este artículo extiende los teoremas de tipo Roth para conjuntos de Sidón a la familia más amplia de conjuntos libres de $K_{s,t}$ , demostrando que tales subconjuntos suficientemente grandes de enteros o de espacios vectoriales finitos deben contener soluciones no triviales a cualquier ecuación lineal invariante por traslación fija en al menos cinco variables, logrando cotas cuantitativas más fuertes en el entorno de campos finitos mediante una combinación de análisis de Fourier y métodos polinómicos.

Autores originales: Yifan Jing, Cosmin Pohoata, Max Wenqiang Xu

Publicado 2026-01-27

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Yifan Jing, Cosmin Pohoata, Max Wenqiang Xu

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás organizando una fiesta masiva en una ciudad con $N$ casas. Quieres invitar a un grupo de personas (un subconjunto de la ciudad) a tu fiesta, pero tienes una regla muy específica: No se permiten "Cuadrados Besucones" (Kissing Squares).

En el mundo de las matemáticas, un "Cuadrado Besucón" (o la condición libre de $K_{s,t}$ ) es un patrón donde tienes $s$ personas y $t$ otras personas, y cada una de las personas del primer grupo puede ser emparejada con cada una de las personas del segundo grupo para formar una relación específica (como una suma). Si los invitados de tu fiesta contienen incluso una versión diminuta de este patrón, habrás roto la regla.

Los autores de este artículo, Jing, Pohoata y Xu, plantean una pregunta fascinante: Si logras invitar a un número enorme de personas mientras evitas estrictamente este patrón de "Cuadrado Besucón", ¿debe tu lista de invitados tener aún alguna estructura oculta y predecible?

Específicamente, buscan "soluciones no triviales" a un tipo de acertijo matemático llamado ecuación lineal invariante por traslación.

El Acertijo: Imagina una ecuación como $x_1 + x_2 + x_3 + x_4 + x_5 = 0$ (donde los números suman cero).
La Solución Trivial: Todos eligen el mismo número (por ejemplo, $0+0+0+0+0=0$ ). Esto es aburrido y esperado.
La Solución No Trivial: Todos eligen números diferentes que aun así suman cero. Esta es la "magia" que los autores están buscando.

El Gran Descubrimiento: El Umbral de las "Cinco Variables"

El artículo demuestra un umbral sorprendente. Si tu fiesta es lo suficientemente grande (específicamente, si tienes alrededor de $N^{1 - 1/s}$ invitados), y has logrado evitar el patrón de "Cuadrado Besucón", no puedes evitar tener una solución no trivial para cualquier ecuación con 5 o más variables.

Piénsalo de esta manera:

Si intentas construir una lista de invitados que sea "caótica" (evitando el patrón $K_{s,t}$ ) pero también "aleatoria" (evitando las ecuaciones de 5 variables), fallarás.
Las matemáticas dicen: No puedes tener tu pastel y también comértelo. Si eres lo suficientemente grande como para ser interesante, estás obligado a tener estructura.

Los autores demuestran que si sí logras evitar estas soluciones de 5 variables, el tamaño de tu fiesta debe ser minúsculo —tan minúsculo que es casi insignificante comparado con el tamaño de la ciudad.

Los Dos Mundos: Los Enteros y los Campos Finitos

Este artículo aborda este problema en dos "universos" diferentes:

1. El Universo de los Enteros (La Ciudad de los Números Enteros)
Aquí, los números son $1, 2, 3, \dots, N$ .

El Resultado: Si tienes un conjunto libre de $K_{s,t}$ que es grande, debe contener una solución para cualquier ecuación de 5 variables.
El "Cómo": Los autores utilizan un truco ingenioso llamado Análisis de Fourier. Imagina la lista de invitados como una onda sonora. Ellos demuestran que si la lista es "dispersa" (evitando el patrón), la onda sonora tiene una forma específica. Luego prueban que esta forma fuerza la existencia de la solución de 5 variables.
El "Pero": La prueba es un poco "difusa". Muestra que el conjunto debe ser pequeño, pero el límite no es perfectamente exacto. Es como decir: "Si no tienes la solución, tu fiesta es más pequeña que $N$ dividido por un número muy complicado y de crecimiento lento".

2. El Universo de los Campos Finitos (La Rejilla Digital)
Aquí, los números dan la vuelta como un reloj (por ejemplo, en un mundo donde $10 + 1 = 1$ ).

El Resultado: La misma regla se aplica, pero las matemáticas son mucho más precisas aquí.
El "Cómo": Debido a que la "rejilla" es mucho más estructurada, los autores pueden utilizar una herramienta poderosa llamada Método Polinomial (famoso por resolver el problema del "Cap Set"). Esto es como tener un microscopio de alta resolución en lugar de un telescopio borroso.
La Recompensa: Obtienen un resultado mucho más fuerte. Demuestran que si evitas la solución, el tamaño de tu fiesta es menor por un factor de un polilogaritmo (una potencia de un logaritmo). Este es un límite más "limpio" y preciso que en el mundo de los enteros.

La Receta Secreta: Cómo lo Hicieron

Los autores no solo adivinaron; utilizaron una estrategia de "transferencia" de tres pasos, que es como un truco de magia con tres fases:

El "Modelo Denso" (Una Foto Borrosa):
Toman su lista de invitados dispersa y extraña y la "desenfocan" en una nube suave y densa de números. Esta nube es más fácil de analizar. Demuestran que esta nube se parece casi exactamente a la lista original, pero es lo suficientemente "densa" como para usar herramientas matemáticas estándar en ella.
El "Conteo" (La Verificación de la Multitud):
Utilizan resultados conocidos para contar cuántas soluciones existen en esta "nube densa". Debido a que la nube es densa, las matemáticas estándar dicen que debe haber un número enorme de soluciones de 5 variables.
La "Transferencia" (La Verificación de la Realidad):
Comparan la "nube borrosa" de vuelta con la "lista de invitados real". Demuestran que la diferencia entre las dos es tan pequeña que si la nube tiene soluciones, la lista real también debe tenerlas.
- El Giro: Si la lista real no tuviera estas soluciones, las matemáticas llevarían a una contradicción (la lista tendría que ser imposiblemente pequeña). Por lo tanto, la lista debe tener las soluciones.

¿Por qué 5 Variables?

Podrías preguntarte: "¿Por qué 5? ¿Por qué no 3 o 4?".
El artículo explica que para 3 o 4 variables, la regla del "Cuadrado Besucón" (conjuntos Sidon) es tan fuerte que bloquea naturalmente esas ecuaciones específicas. Por ejemplo, en un conjunto Sidon, la ecuación $x + y = z + w$ (4 variables) es imposible de resolver con números distintos.
Sin embargo, una vez que llegas a las 5 variables, la regla del "Cuadrado Besucón" no es lo suficientemente fuerte como para bloquear la ecuación. Las matemáticas fuerzan la aparición de la estructura.

Resumen

En términos simples, este artículo demuestra que los grandes grupos de números que evitan un patrón de "rejilla" específico están obligados a contener relaciones complejas y ocultas (soluciones a ecuaciones de 5 variables).

En el mundo real (enteros), esto es cierto, pero la prueba es un poco tosca en sus bordes.
En el mundo digital (campos finitos), la prueba es precisa y aguda, gracias a las herramientas polinomiales modernas.

Los autores esencialmente demostraron que no se puede construir una estructura grande y libre de patrones que sea también completamente libre de relaciones aritméticas de 5 variables. El universo de los números exige un poco de orden, incluso en los conjuntos que parecen más caóticos.

Resumen Técnico: Teoremas de Tipo Roth en Conjuntos Libres de $K_{s,t}$

Planteamiento del Problema
Este artículo investiga la estructura aritmética de subconjuntos densos de enteros (y campos finitos) que evitan configuraciones aditivas específicas. Específicamente, considera conjuntos libres de $K_{s,t}$ . Un conjunto $A \subseteq [N]$ se define como libre de $K_{s,t}$ si no contiene una configuración de la forma $\{x_i + y_j : 1 \le i \le s, 1 \le j \le t\}$ donde los $x_i$ son distintos y los $y_j$ son distintos. Equivalentemente, $A$ no contiene un subconjunto de la forma $B+C$ con $|B|=s$ y $|C|=t$ .

La cuestión central es si tales conjuntos, incluso cuando son densos (específicamente de tamaño $\Omega(N^{1-1/s})$ , lo cual coincide con el límite extremal del teorema de Kővári–Sós–Turán), deben contener soluciones no triviales a ecuaciones lineales invariantes por traslación en al menos cinco variables. Los autores pretenden extender los resultados previos conocidos para los conjuntos de Sidón ( $K_{2,2}$ -libres) a la familia general de conjuntos libres de $K_{s,t}$ .

Metodología
Los autores emplean un principio de transferencia analítico-de Fourier, un marco previamente utilizado por Conlon, Fox, Sudakov, Zhao y Prendiville para los conjuntos de Sidón. La estrategia de la prueba se divide en tres componentes principales:

Construcción del Modelo Denso (Aproximación de Fourier):
Dado un conjunto libre de $K_{s,t}$ disperso $A$ con densidad $\delta \approx N^{-1/s}$ , los autores construyen una función "modelo denso" no negativa $f$ que aproxima la función indicadora renormalizada de $A$ .
- Enteros: Utilizan un conjunto de Bohr construido a partir del espectro grande de $A$ . Un desafío técnico clave es controlar el rango de este conjunto de Bohr, lo cual se logra aprovechando la condición de ser libre de $K_{s,t}$ de $A$ para acotar las energías de momentos superiores.
- Campos Finitos: La construcción se simplifica significativamente. El análogo de un conjunto de Bohr es un subespacio real. Al elegir un subespacio que aniquile el espectro grande de $A$ , crean una función $f$ que preserva los coeficientes de Fourier grandes mientras mantiene un buen control de $L^s$ .
Conteo Denso (Supersaturación):
Una vez establecido el modelo denso $f$ , los autores aplican lemas de conteo para mostrar que $f$ debe contener muchas soluciones a la ecuación lineal objetivo $a_1 x_1 + \dots + a_k x_k = 0$ (donde $\sum a_i = 0$ y $k \ge 5$ ).
- Enteros: Dependen de resultados cuantitativos para conjuntos densos en $[N]$ , específicamente refinamientos de los límites de tipo Bloom.
- Campos Finitos: Utilizan el método polinomial, específicamente el lema de eliminación de $k$ -ciclos aritméticos de Fox, Lovász y Sauermann, el cual proporciona cotas de supersaturación polinomial derivadas de la literatura del problema del conjunto cap (cap set problem).
Transferencia (Telescopaje y Control de Momentos):
El paso final compara el número de soluciones en el modelo denso $T(f)$ con el número de soluciones en el conjunto original $T(\nu)$ (donde $\nu$ es la indicadora renormalizada de $A$ ). Utilizando una identidad de telescopaje y estimaciones de Hölder, los autores acotan el término de error $|T(f) - T(\nu)|$ . Este error depende de la energía $L^2$ (segundo momento) de la función mayorante. La condición de ser libre de $K_{s,t}$ es crucial aquí, ya que proporciona un control fuerte sobre la energía del segundo momento, permitiendo la transferencia de la cota inferior desde el modelo denso de vuelta al conjunto disperso.

Contribuciones Clave y Resultados

Teorema 1.1 (Caso de los Enteros):
Para enteros $2 \le s \le t$ , cualquier subconjunto $A \subseteq [N]$ libre de $K_{s,t}$ que carece de soluciones no triviales a una ecuación lineal invariante por traslación en $k \ge 5$ variables satisface:
$|A| \ll N^{1-1/s} \exp\left(-O_{a_i, s, t}((\log \log N)^{1/7})\right)$
Este resultado generaliza las cotas cualitativas y cuantitativas previamente conocidas para los conjuntos de Sidón ( $s=t=2$ ) a toda la familia de conjuntos libres de $K_{s,t}$ . La prueba se basa en un teorema de modelo denso $L^s$ , extendiendo los enfoques basados en $L^2$ utilizados en trabajos previos.
Teorema 1.2 (Caso de Campos Finitos):
En el espacio vectorial $\mathbb{F}_q^n$ (donde $q$ es una potencia de un primo impar fijo), para cualquier conjunto libre de $K_{s,t}$ que carece de soluciones no triviales a las mismas clase de ecuaciones:
$|A| \ll N^{1-1/s} (\log N)^{-c}$
para alguna constante $c > 0$ . Este resultado logra cotas cuantitativas más fuertes (ahorros polilogarítmicos) comparadas con el caso de los enteros al combinar la transferencia de Fourier con el método polinomial (específicamente el lema de Fox–Lovász–Sauermann).
Optimalidad de $k \ge 5$ :
Los autores señalan que la condición $k \ge 5$ es óptima. Para $k=4$ (por ejemplo, $x_1+x_2=x_3+x_4$ ) o $k=3$ (por ejemplo, $x+y=2z$ ), la condición de ser libre de $K_{s,t}$ (específicamente para $s=t=2$ , es decir, conjuntos de Sidón) ya excluye soluciones no triviales por definición.

Significado
El artículo afirma extender la comprensión de la estructura aritmética en conjuntos dispersos desde el caso específico de los conjuntos de Sidón hacia la clase más amplia de conjuntos libres de $K_{s,t}$ . Al establecer que los conjuntos densos libres de $K_{s,t}$ deben contener soluciones a ecuaciones lineales de 5 variables, los autores demuestran que estos conjuntos poseen una estructura aritmética significativa a pesar de su dispersión.

El trabajo tiende un puente entre la teoría de grafos extremal (a través de la condición de ser libre de $K_{s,t}$ y las cotas de Kővári–Sós–Turán) y la combinatoria aditiva. En el entorno de campos finitos, el artículo destaca el poder de combinar la transferencia analítica de Fourier con técnicas del método polinomial para obtener cotas cuantitativas más agudas de lo que es actualmente posible en el entorno de los enteros. Los resultados representan un paso hacia una teoría unificada de los teoremas de tipo Roth para conjuntos definidos por configuraciones aditivas prohibidas.