🔢 mathematics

Almost Affine Invariance Over Prime Fields: Green Problem 90

Este artículo resuelve el Problema Abierto 90 de Ben Green demostrando que, para un subconjunto del cuerpo finito $\mathbb{F}_p$ con densidad 1/2, el umbral para la invariancia casi afín simultánea bajo todas las transformaciones $\phi(x)=ax+b$ con $|a|, |b| \le K$ es $K=o(\log p)$ .

Autores originales: Jie Ma, Quanyu Tang, Max Wenqiang Xu

Publicado 2026-05-14

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jie Ma, Quanyu Tang, 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 tienes una esfera de reloj gigante y circular con $p$ números sobre ella (donde $p$ es un número primo muy grande). Decides pintar exactamente la mitad de estos números de negro y dejar la otra mitad en blanco. Este es tu conjunto $A$ .

Ahora, imagina que tienes un conjunto de reglas para mover estos números. Una regla se ve así: "Toma cada número $x$ , multiplícalo por $a$ , súmale $b$ y observa dónde aterriza". Esto se llama una transformación afín.

La gran pregunta que planteó Ben Green (y a la que responde este artículo) es: ¿Cuántas reglas diferentes puedes tener antes de que tu patrón de blanco y negro se desordene por completo?

Si aplicas una regla y el patrón se ve casi exactamente igual (quizás solo unos pocos puntos desplazados), lo llamamos "casi invariante". El artículo investiga cuán grande puede ser el rango de números $a$ y $b$ antes de que sea imposible mantener el patrón igual.

El Descubrimiento Principal: El Límite "Logarítmico"

Los autores encontraron un "punto de inflexión" o umbral muy específico.

El Resultado: El rango de reglas que puedes usar está limitado por un número que crece muy lentamente, específicamente $o(\log p)$ .
La Analogía: Imagina que la esfera del reloj es del tamaño de un estadio. El número de reglas que puedes usar está limitado a algo como el número de letras en una oración corta. Incluso si el estadio crece hasta tener el tamaño de la Tierra, el número de reglas que puedes usar solo crece tan rápido como el número de letras en un párrafo.
Lo que esto significa: Si intentas usar más reglas que este límite diminuto (por ejemplo, si intentas usar reglas donde los números llegan hasta la raíz cuadrada del tamaño del estadio), es matemáticamente imposible mantener la mitad del reloj en negro y la otra mitad en blanco mientras se mantiene el patrón estable. El patrón debe romperse.

Cómo lo Probaron: Dos Caras de la Moneda

El artículo demuestra esto en dos partes, como resolver un rompecabezas desde ambos extremos.

1. La "Cota Superior" (Por qué no puedes ir más alto)

La Estrategia: Utilizaron una técnica llamada Análisis de Fourier.
La Metáfora: Imagina que tu patrón de blanco y negro es una canción. El análisis de Fourier descompone la canción en sus notas musicales individuales (frecuencias).

Si el patrón se mantiene igual cuando desplazas los números (traslación), la "canción" debe carecer de las notas agudas de vibración rápida. Solo tiene notas bajas y lentas.
Si el patrón también se mantiene igual cuando estiras los números (multiplicación), la "canción" tiene que estar aún más restringida.
Los autores mostraron que si intentas estirar el patrón de demasiadas maneras diferentes (demasiadas reglas), la canción tendría que estar en silencio. Pero una canción en silencio significa que no tienes puntos negros ni puntos blancos, lo cual contradice la regla de que debes tener la mitad en negro y la mitad en blanco.
El Truco de la "Valoración": Una idea clave (sugerida por una IA, según la divulgación del artículo) fue observar cuántas veces un número puede dividirse por un número primo (como cuántas veces puedes dividir 8 entre 2 para obtener 4, luego 2, luego 1). Mostraron que para que el patrón sobreviva a todas estas reglas, los números necesitarían ser divisibles por primos de una manera que es matemáticamente imposible si el rango de reglas es demasiado grande.

2. La "Cota Inferior" (Mostrando que sí es posible dentro del límite)

La Estrategia: Utilizaron el Método Probabilístico.
La Metáfora: En lugar de intentar construir un patrón perfecto a mano, preguntaron: "¿Qué pasa si simplemente pintamos el reloj al azar?"

Si pintas el reloj al azar, no será perfecto. Pero demostraron que si restringes tus reglas a ese pequeño rango "logarítmico", existe una probabilidad no nula de que una pintura aleatoria funcione.
Utilizaron una herramienta matemática llamada "desigualdad de diferencia acotada". Piensa en esto como una red de seguridad. Demuestra que si ajustas ligeramente tu pintura aleatoria (cambiando unos pocos puntos), el patrón general no colapsa.
Debido a que la "red de seguridad" se mantiene, demostraron que un patrón perfecto debe existir, incluso si no podemos escribir fácilmente cómo se ve exactamente.

Nota sobre la "IA"

Los autores fueron transparentes sobre su proceso. Mencionaron el uso de una herramienta de IA (ChatGPT) para ayudar a generar ideas.

La IA sugirió la idea de observar las "valoraciones primas" (el truco de la división mencionado anteriormente), lo que resultó ser la clave para resolver la cota superior.
Sin embargo, la IA también cometió errores lógicos, que los autores humanos tuvieron que corregir. La prueba final es una colaboración entre el rigor matemático humano y la generación de ideas asistida por IA.

Resumen

En términos simples: Puedes tener un patrón de mitad negro y mitad blanco en un reloj gigante que sobreviva a un pequeño número de reglas de estiramiento y desplazamiento. Pero si intentas hacer que las reglas sean demasiado complejas (más allá de un límite de crecimiento muy lento), el patrón está condenado a romperse. Este artículo encontró el límite de velocidad exacto para esas reglas.

Resumen Técnico: Casi Invarianza Afín sobre Campos Primos

Enunciado del Problema
Este artículo aborda el Problema 90 de la lista de 100 problemas abiertos de Ben Green. El problema concierne a la existencia de un subconjunto $A \subset \mathbb{F}_p$ con densidad $1/2$ que sea "casi invariante" bajo una familia de transformaciones afines $\phi(x) = ax + b$ . Específicamente, un conjunto $A$ es casi invariante bajo $\phi$ si la diferencia simétrica $|A \triangle \phi(A)| = o(p)$ cuando $p \to \infty$ . La pregunta central es determinar el rango umbral para el parámetro $K = K(p)$ tal que exista un conjunto $A$ que satisfaga esta condición de casi invarianza simultáneamente para todos los mapas afines donde $1 \le |a| \le K$ y $|b| \le K$ .

Metodología
Los autores emplean un enfoque de dos vertientes para determinar el umbral agudo para $K$ : una cota superior analítica y una cota inferior probabilística.

Cota Superior (Análisis de Fourier y Teoría de Valoraciones):
Para demostrar que $K$ no puede ser grande, los autores utilizan herramientas de análisis de Fourier. Definen una función $f = 1_A - \alpha$ (donde $\alpha \approx 1/2$ ) y analizan su transformada de Fourier $\hat{f}$ .
- Invarianza por Translación: La condición de casi invarianza bajo traslaciones ( $b$ ) implica que la masa de Fourier de $f$ se concentra en frecuencias bajas, específicamente $|r| \ll p/K$ .
- Invarianza Multiplicativa: La condición de casi invarianza bajo dilataciones ( $a$ ) se analiza considerando una medida de probabilidad $\mu$ sobre las frecuencias, proporcional a $|\hat{f}(r)|^2$ . La invarianza por dilatación implica que $\mu$ es aproximadamente invariante bajo los mapas $r \mapsto qr$ para primos $q \le K$ .
- Argumento de Valoración: Al restringir $\mu$ a una medida de probabilidad $\lambda$ sobre los enteros $\{1, \dots, N\}$ (donde $N \approx p/K$ ), los autores muestran que la valoración $q$ -ádica $v_q(n)$ debe ser grande para casi todos los $n$ bajo $\lambda$ para cada primo $q \le K$ . Esto conduce a una contradicción a menos que la suma de los logaritmos de los primos hasta $K$ sea pequeña, específicamente $\sum_{q \le K} \log q = o(\log p)$ , lo que implica $K = o(\log p)$ .
Cota Inferior (Construcción Probabilística y Concentración):
Para demostrar que $K = o(\log p)$ es alcanzable, los autores construyen tal conjunto utilizando el método probabilístico.
- Sucesiones de Følner: El núcleo de la construcción se basa en el Lema 3.3, que establece la existencia de grandes "sucesiones de Følner" (conjuntos $A$ con diferencia simétrica pequeña bajo acciones de grupo) para una pequeña familia de transformaciones afines $S_p$ .
- Modelos Racionales: Los autores construyen una familia de mapas afines racionales sobre $\mathbb{Q}$ , parametrizados por productos de primos pequeños, y los reducen módulo $p$ . Esto asegura las propiedades necesarias de inyectividad y no colisión requeridas para el argumento probabilístico.
- Desigualdades de Concentración: Se define un conjunto aleatorio $A$ basado en una votación mayoritaria de signos aleatorios asignados a las órbitas de la involución $x \mapsto -x$ . Aunque el tamaño esperado de $A$ y la diferencia simétrica esperada son favorables, los autores emplean la desigualdad de diferencia acotada (desigualdad de McDiarmid) para demostrar que estas cantidades se concentran agudamente alrededor de sus medias, garantizando la existencia de un conjunto específico $A$ que satisface las condiciones con probabilidad positiva.

Contribuciones y Resultados Clave
El artículo establece el umbral agudo para el parámetro $K$ :

Teorema 1.2: Sea $p$ $p$ un primo y $K = K(p)$ $K = K (p)$ un entero positivo.
- Si existe un conjunto $A \subset \mathbb{F}_p$ con densidad $1/2 + o(1)$ que es casi invariante bajo todos los $\phi(x) = ax+b$ con $1 \le |a| \le K$ y $|b| \le K$ , entonces $K = o(\log p)$ .
- Por el contrario, si $K = o(\log p)$ , tal conjunto $A$ existe.

Este resultado resuelve el Problema Abierto 90 de Green confirmando que el umbral es efectivamente logarítmico en $p$ . Refina trabajos previos no publicados de Eberhard, Mrazović y Green, que sugerían que $K$ podría crecer lentamente (por ejemplo, $(\log p)^c$ ) pero no tan rápido como $p^{1/100}$ . El trabajo actual reduce esto a $o(\log p)$ .

Significado
El artículo proporciona una respuesta definitiva a una pregunta estructural específica en la combinatoria aditiva sobre la rigidez de los conjuntos bajo transformaciones afines. Al combinar el análisis de Fourier con construcciones probabilísticas, los autores demuestran que la satisfacción simultánea de la casi invarianza bajo una gran familia de mapas afines impone un límite logarítmico estricto al tamaño de dicha familia. El trabajo también destaca la utilidad de los argumentos de amenabilidad en grupos afines y la efectividad de los métodos probabilísticos para construir conjuntos con propiedades de invarianza específicas sobre campos finitos.

Divulgación de IA
Los autores señalan que se utilizó IA (ChatGPT 5.4) en el desarrollo del artículo. Específicamente, la idea de formular el problema utilizando valoraciones $q$ -ádicas (Lema 2.4) y la aplicación inicial de la amenabilidad del grupo afín fueron sugeridas por la IA. Sin embargo, los autores enfatizan que los argumentos iniciales de la IA contenían lagunas lógicas y que las pruebas rigurosas y el límite agudo final son el resultado del refinamiento y la verificación humanos. Los autores también reconocen que el enfoque de amenabilidad fue discutido previamente en trabajos no publicados y foros en línea (MathOverflow).