Un lema de regularidad débil para polinomios

Información Básica

• ID del Artículo: 2509.21536
• Título: A weak regularity lemma for polynomials
• Autores: Guy Moshkovitz (City University of New York), Dora Woodruff (Massachusetts Institute of Technology)
• Clasificación: math.CO (Combinatoria), cs.CC (Complejidad Computacional), math.AC (Álgebra Conmutativa)
• Fecha de Publicación: arXiv v2, 5 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2509.21536

Resumen

El lema de regularidad para polinomios proporciona un método de descomposición mediante una cantidad acotada de polinomios aproximadamente independientes. Estos lemas de regularidad juegan un papel importante en numerosos resultados, pero sufren de limitaciones con cotas de tipo torre o peores. Este artículo diseña un nuevo lema de regularidad más débil pero con cotas fuertes. El lema proporciona particularmente un método cuantitativo para estudiar curvas contenidas en la imagen de aplicaciones polinómicas, lo cual es inalcanzable mediante métodos estándar. Las aplicaciones incluyen cotas fuertes sobre el problema de rango generalizado de Karam, así como nuevos métodos para obtener cotas en parámetros de abanico de circuitos aritméticos. Por ejemplo, si una aplicación polinómica $\mathbf{P}: \mathbb{F}^n \to \mathbb{F}^m$ de grado d cuya imagen no contiene líneas rectas, entonces $\mathbf{P}$ puede ser computada por una fórmula aritmética de profundidad 4 con abanico inferior a lo sumo $d/2$ y abanico superior a lo sumo $(2m)^{C(d)}$ (donde $C(d)=2^{(1+o(1))d}$). Una implicación de este trabajo es que existe cierta "barrera" para los límites inferiores de circuitos aritméticos, relacionada con la curva polinómica de grado mínimo contenida en la imagen de la aplicación polinómica dada.

Antecedentes y Motivación de la Investigación

1. Problema Central

El lema de regularidad para polinomios es una herramienta clave en combinatoria aditiva, análisis de Fourier de orden superior, álgebra conmutativa y teoría de códigos. El lema de regularidad clásico representa un polinomio n-ario $P: \mathbb{F}^n \to \mathbb{F}$ (o más generalmente una aplicación polinómica $P: \mathbb{F}^n \to \mathbb{F}^m$) como $P = F(X)$, donde $X = (X_1, \ldots, X_k)$ es una cantidad acotada de polinomios, y estos polinomios $X_i$ son "aproximadamente independientes".

2. Importancia del Problema

• Significado Teórico: El lema de regularidad juega un papel central en la prueba de problemas importantes como la conjetura inversa de Gowers (caso de campos finitos), la conjetura de Stillman y la distribución de pesos de códigos Reed-Muller
• Aplicaciones Amplias: Como componente clave de lemas de regularidad aritmética de orden superior, se utiliza para simplificar el estudio de funciones generales al estudio de polinomios de bajo grado
• Herramienta Fundamental: Proporciona un marco básico para entender la relación entre la estructura polinómica y la aleatoriedad

3. Limitaciones de Métodos Existentes

El lema de regularidad clásico sufre de defectos fatales:

• Crecimiento Explosivo de Cotas: La cota del tamaño de descomposición k es al menos de tipo torre (tower-type), es decir, depende exponencialmente de una torre de altura dependiente del grado d, con m en la cúspide
• Pobre Practicidad: Estas cotas débiles hacen que cualquier resultado que dependa de ellas solo pueda obtener cotas cuantitativas extremadamente débiles
• Causa Fundamental: Para garantizar la independencia aproximada, se requiere que todos los $X_i$ y sus combinaciones lineales tengan rango grande (como función de k), lo que resulta en un número extremadamente grande de pasos de construcción

4. Motivación de la Investigación

Inspirados por el lema de regularidad débil de Frieze y Kannan para grafos, los autores proponen:

• Relajar Requisitos: No requerir que todos los $X_i$ sean aproximadamente independientes, solo que uno de ellos (el de mayor grado) sea aproximadamente independiente respecto a los otros
• Obtener Cotas Fuertes: Mediante esta debilitación, mejorar el tamaño de descomposición de tipo torre a cotas polinómicas (respecto a m)
• Mantener Practicidad: A pesar de debilitar las condiciones, aún soportar aplicaciones importantes

Contribuciones Principales

1. Proponer Lema de Regularidad Débil: Diseñar un nuevo lema de regularidad para polinomios tal que para error $\epsilon = q^{-r}$ ($r > 1$), cualquier grupo polinómico m-ario $\mathbf{P}$ de grado a lo sumo d tiene una descomposición débil $\epsilon$-regular de tamaño a lo sumo $(mr)^{2^{d(1+o(1))}}$, que es una cota polinómica (respecto a m)
2. Lema de Regularidad de Rango: Como núcleo técnico, probar el lema de regularidad de rango (Teorema 2.5), acotando el tamaño de descomposición a $((2t+1)dm)^{2^d}$, siendo la innovación clave requerir solo que combinaciones lineales fuera del "lápiz" (pencil) tengan rango alto
3. Concepto de Grado Univariado: Introducir el nuevo concepto $\text{udeg}(\mathbf{P}) = \min\{\deg(U) | U: \mathbb{F} \to \mathbb{F}^m \text{ no constante y } \text{Im}U \subseteq \text{Im}\mathbf{P}\}$, caracterizando la escasez de la imagen de aplicaciones polinómicas
4. Cotas Fuertes para el Problema de Karam: Para $t = \deg(\mathbf{P})/\text{udeg}(\mathbf{P})$, probar $\text{rank}_t(\mathbf{P}) \leq (2m)^{2^{d(1+o(1))}}$, mejorando significativamente la cota de tipo torre del resultado original de Karam
5. Cotas Superiores para Circuitos Aritméticos: Probar que si $\text{udeg}(\mathbf{P}) \geq u$, entonces $P$ tiene una fórmula de profundidad 4 $\sum^{[r]} \prod^{[2u]} \sum \prod^{[d/u]}$, donde $r \leq (2m)^{2^{d(1+o(1))}}$
6. Barrera para Límites Inferiores de Circuitos: Revelar que los métodos de límites inferiores de circuitos aritméticos deben evitar aplicarse a aplicaciones polinómicas de alto grado univariado, proporcionando una nueva perspectiva para entender la dificultad de los límites inferiores

Explicación Detallada de Métodos

Definición de Tarea

Entrada: Un grupo polinómico m-ario $\mathbf{P} = (P_1, \ldots, P_m) \in \text{Poly}^m_d(\mathbb{F})$ sobre el campo finito $\mathbb{F} = \mathbb{F}_q$, de grado a lo sumo d, con característica $\text{char}(\mathbb{F}) > d$

Salida: Una descomposición débil $\epsilon$-regular $\mathbf{P} \subseteq \mathbb{F}[\mathbf{X}]$, donde $\mathbf{X} = (X_1, \ldots, X_k) \in \text{Form}^k$ son k formas homogéneas

Restricciones:

1. Condición Probabilística: $\forall y \in \mathbb{F}^k: |\Pr[\mathbf{X} = y] - q^{-1}\Pr[\mathbf{X}' = y']| \leq \epsilon q^{-k}$ (donde $\mathbf{X}' = (X_2, \ldots, X_k)$)
2. Dependencia: $\mathbf{P} \not\subseteq \mathbb{F}[\mathbf{X}']$ (asegurando que la descomposición realmente dependa de $X_1$)
3. Grado Máximo: $\deg(X_1) = \max_i \deg(X_i)$

Arquitectura del Modelo

Estructura General de Prueba

La prueba adopta una estructura recursiva de tres capas:

Regularidad de Rango (Rank-Regularity)
    ↓ [Teorema 2.5]
Lápiz de Alto Rango (High-Rank Pencil)
    ↓ [Teorema 2.10 + Lema 2.11]
Bajo Sesgo (Low Bias)
    ↓
Regularidad Débil (Weak Regularity)

Primera Capa: Lema de Regularidad de Rango (Teorema 2.5)

Definición 2.4 (t-Rango Regular): $\mathbf{X} \in \text{Form}^r$ es t-rango regular si existe un subespacio propio $U \subsetneq \text{Sp}\mathbf{X}$ tal que $\forall X \in \text{Sp}\mathbf{X} \setminus U: \text{rk}(X) \geq tr$

Innovación Clave: En lugar de requerir que todas las combinaciones lineales no triviales tengan rango alto (requisito clásico), solo se requiere que tengan rango alto fuera del "lápiz" $V \setminus U$

Algoritmo de Construcción (Prueba del Teorema 2.5):

Inicializar: X₀ = todas las partes homogéneas de P (grado 1 a d)
Iterar i = 0, 1, ..., s:
  1. Encontrar el subespacio mínimo W ⊆ Sp(Xᵢ) tal que P ⊆ F[W]
  2. Tomar una base de formas Y de W
  3. Si Y es t-rango regular → terminar, retornar Xₛ = Y
  4. Si no:
     - Construir Y* (reemplazar componentes de Y de grado <ℓ con componentes de grado ℓ)
     - Aplicar Lema 2.9 para descomponer Y*
     - Combinar para obtener Xᵢ₊₁, satisfaciendo deg(Xᵢ₊₁) < deg(Xᵢ)

Lema 2.9 (Lema de Descomposición): Si $\mathbf{X} \in \text{Form}^r_d$ no es t-rango regular, entonces $\mathbf{X} \subseteq \mathbb{F}[\mathbf{Y}]$, donde $\mathbf{Y} \in \text{Form}^R$ satisface $\deg(\mathbf{Y}) < d$ y $R \leq 2tr^2$

Terminación: El grado disminuye al menos en 1 en cada paso, y cuando $\deg(\mathbf{X}_s) \leq 1$ es necesariamente t-rango regular (porque las formas de grado 1 tienen rango $\infty$)

Análisis de Cotas:

• $r_0 \leq dm$
• $r_{i+1} \leq (2t+1)r_i^2 \leq (2t+1)^{2^{i+1}-1}(dm)^{2^{i+1}}$
• $s < d$, por lo tanto $r_s \leq ((2t+1)dm)^{2^d}$

Segunda Capa: De Rango a Sesgo

Definición (Sesgo): $\text{bias}(P) = \mathbb{E}_{x \in \mathbb{F}^n} \chi(P(x))$, donde $\chi: \mathbb{F} \to \mathbb{C}$ es un carácter aditivo no trivial

Teorema 2.10 (Estructura vs Aleatoriedad): Si $\text{rk}(P) \geq r$, entonces $|\text{bias}(P)| \leq |\mathbb{F}|^{-c_dr/L_{\mathbb{F}}(r)}$ donde $c_d = 2^{-d^{1+o(1)}}$, $L_{\mathbb{F}}(r) = \log_{|\mathbb{F}|}(r+1) + 1$

Lema 2.11 (Sesgo Implica Regularidad Débil): Si $U \subsetneq V \leq \text{Poly}$ satisface $\forall X \in V \setminus U: |\text{bias}(X)| \leq \epsilon q^{-k}$, entonces una base que contiene una base de U con $X_1 \notin U$ y $\deg(X_1) = \deg(\mathbf{X})$ es $\mathbf{X}$ débil $\epsilon$-regular

Técnica de Prueba: Utilizando análisis de Fourier, para la línea $\ell$ en dirección $e_1$: $\Pr[\mathbf{X} \in \ell] = \mathbb{E}_{a \in \mathbb{F}^k: a \cdot e_1 = 0} \text{bias}(a \cdot (\mathbf{X} - z))$ Combinando con la fórmula de probabilidad puntual $\Pr[\mathbf{X} = y] = \mathbb{E}_{a \in \mathbb{F}^k} \text{bias}(a \cdot (\mathbf{X} - y))$ se obtiene la condición de regularidad débil

Tercera Capa: Prueba Integrada (Teorema 2.2)

Selección de Parámetros: Elegir $t = 2^{d^{1+o(1)}}(r+1)^{1+o(1)}\log(m)$ tal que $q^{-c_dtk/L_{F_q}(tk)} < \epsilon q^{-k}$ para todo $k \leq ((2t+1)dm)^{2^d}$

Pasos Clave:

1. Aplicar Teorema 2.5 para obtener descomposición t-rango regular $\mathbf{P} \subseteq \mathbb{F}[\mathbf{Y}]$, $|\mathbf{Y}| = s \leq ((2t+1)dm)^{2^d}$
2. Definir $V = \text{Sp}\mathbf{Y}$, $U = \text{Sp}\{X \in V | \text{rk}(X) < tk\}$
3. Probar que $U$ es homogéneo (Lema 2.7) y $V^\uparrow \setminus U \neq \emptyset$ (Corolario 2.8)
4. Por Teorema 2.10, $U_\epsilon := \{X \in V | \text{bias}(X) \geq \epsilon q^{-k}\} \subseteq U$
5. Construir base $\mathbf{X}$ conteniendo una base de U y un elemento de $V^\uparrow \setminus U$, aplicar Lema 2.11

Puntos de Innovación Técnica

1. Introducción del Concepto de Lápiz: Relajar de requerir que el "lápiz trivial" $V \setminus \{0\}$ tenga rango alto al lápiz general $V \setminus U$, que es la clave para obtener cotas fuertes
2. Control Fino de Descomposición Homogénea:
   • Lema 2.6: Los elementos de grado menor que $\deg(U_R(V))$ automáticamente pertenecen a $U_R(V)$
   • Lema 2.7: El $U_R(V)$ de un espacio homogéneo sigue siendo homogéneo
   • Corolario 2.8: $U_R(V) = V \Leftrightarrow U_R(V^\uparrow) = V^\uparrow$
3. Puente entre Rango y Sesgo: Utilizar ingeniosamente el teorema de estructura vs aleatoriedad quasi-lineal de Moshkovitz-Zhu, convirtiendo condiciones de rango en condiciones de sesgo
4. Técnicas de Análisis de Fourier: Usar fórmulas de sumas de caracteres para caracterizar precisamente la condición probabilística de regularidad débil
5. Mecanismo de Disminución de Grado: Mediante el Lema 2.9 garantizar que el grado disminuya estrictamente en cada paso, asegurando la terminación del algoritmo

Configuración Experimental

Nota: Este es un artículo puramente teórico que no contiene sección experimental. Todos los resultados son teoremas matemáticos y pruebas rigurosas.

Resultados Experimentales

Nota: Este artículo no tiene resultados experimentales; todos los resultados son teoremas teóricos.

Trabajo Relacionado

1. Lemas de Regularidad Clásicos

• Gowers-Tao GT09: Lema 2.4 proporciona lema de regularidad con cotas de tipo torre
• Green Gree06: Lema 3.11 utilizado en análisis de Fourier de orden superior
• Erman-Sam-Snowden ESS19: Proposición 8.1 proporciona un ejemplo claro de cotas de tipo torre

2. Resultados de Regularización (Tipo No-Descomposición)

• Lampert-Ziegler LZ24, Lam23: Proporcionan resultados de regularización con cotas fuertes, pero no ofrecen descomposición de la forma $P = F(\mathbf{X})$, sino que colocan P en el ideal generado por $X_i$

3. Estructura vs Aleatoriedad

• Milićević Mil19: Primer límite de rango polinómico
• Janzer Jan20: Límites de rango mejorados
• Cohen-Moshkovitz CM21: Prueba que partition rank y analytic rank son equivalentes en dominios grandes
• Moshkovitz-Zhu MZ24: Límite quasi-lineal $\text{rk}(P) \geq r \Rightarrow |\text{bias}(P)| \leq |\mathbb{F}|^{-c_dr/L(r)}$

4. Rango Generalizado

• Green-Tao GT09: Definen $\text{rank}_t(P)$
• Karam Kar23: Prueba Teorema 1.1, pero solo con cotas de tipo torre

5. Circuitos Aritméticos

• Kayal-Saha-Saptharishi KSS14: Límites inferiores superpolinómicos para fórmulas de profundidad 4
• Kumar-Saraf KS14: Fórmulas de profundidad 4 homogéneas con abanico superior $\Theta(\log n)$ ya son muy fuertes

6. Regularidad Débil para Grafos

• Frieze-Kannan FK99: Lema de regularidad débil para grafos, fuente de inspiración para este artículo

Ventajas de Este Artículo Respecto al Trabajo Relacionado

• Salto Cualitativo en Cotas: Mejora de tipo torre a polinómico (respecto a m)
• Introducción de Nuevo Concepto: El grado univariado proporciona una nueva perspectiva de análisis
• Marco Unificado: Maneja simultáneamente el problema de Karam y el problema de circuitos aritméticos

Conclusiones y Discusión

Conclusiones Principales

1. Lema de Regularidad Débil: Cualquier grupo polinómico m-ario de grado d tiene una descomposición débil $q^{-r}$-regular de tamaño $(mr)^{2^{d(1+o(1))}}$
2. Cotas de Rango Generalizado: $\text{rank}_{d/u}(\mathbf{P}) \leq (2m)^{2^{d(1+o(1))}}$, donde $u = \text{udeg}(\mathbf{P})$
3. Cotas Superiores para Circuitos Aritméticos: Alto grado univariado implica fórmula de profundidad 4 con pequeño abanico superior
4. Barrera para Límites Inferiores: Los métodos de límites inferiores de circuitos deben considerar el parámetro de grado univariado

Limitaciones

1. Restricción a Campos Finitos:
   • El método depende fuertemente de métodos probabilísticos en campos finitos
   • La extensión a campos infinitos requiere reemplazar el concepto de sesgo con métodos geométricos o de álgebra conmutativa
   • La definición de rango (Definición 2.3) necesita ajuste en campos infinitos
2. Restricción de Característica: Requiere $d < \text{char}(\mathbb{F})$, porque:
   • La conversión de rango a sesgo (Teorema 2.10) necesita pasar por formas multilineales
   • Involucra la relación entre analytic rank y partition rank
3. Costo de la Debilitación:
   • Solo garantiza que una variable sea aproximadamente independiente, lo cual puede ser insuficiente para soportar todas las aplicaciones del lema de regularidad clásico
   • Ciertos resultados que requieren independencia aproximada global no se pueden generalizar directamente
4. Dependencia de Cotas:
   • Aunque es polinómica respecto a m, el exponente $2^{d(1+o(1))}$ sigue siendo grande para d grande
   • Para $\epsilon = q^{-r}$, la cota depende de r como $(mr)^{2^{d(1+o(1))}}$
5. Computabilidad del Grado Univariado:
   • La definición de $\text{udeg}(\mathbf{P})$ involucra un problema de minimización, cuya computación práctica puede ser difícil
   • Para polinomios concretos, determinar su grado univariado puede requerir trabajo no trivial

Direcciones Futuras

1. Generalización a Campos Infinitos:
   • Reemplazar conceptos probabilísticos con conceptos geométricos (como dimensión)
   • Explorar aplicaciones de resultados de Kazhdan-Lampert-Polishchuk KLP24 sobre rango de Schmidt
2. Mejora de Cotas:
   • ¿Puede mejorarse $2^{d(1+o(1))}$ a polinómico (respecto a d)?
   • ¿Pueden obtenerse mejores cotas para clases especiales de polinomios (como polinomios simétricos)?
3. Aplicaciones Algorítmicas:
   • Diseñar algoritmos de prueba de identidad polinómica basados en grado univariado
   • Explorar aplicaciones en teoría de códigos (como códigos Reed-Muller)
4. Técnicas de Límites Inferiores:
   • Desarrollar métodos de límites inferiores de circuitos que puedan manejar alto grado univariado
   • Entender la relación entre grado univariado y otras medidas de complejidad
5. Generalización a Otras Estructuras:
   • ¿Puede haber un lema de regularidad débil análogo para tensores?
   • ¿Generalización a otras estructuras algebraicas (como grupos, anillos)?

Evaluación Profunda

Fortalezas

1. Mejora Revolucionaria de Cotas:
   • De tipo torre a polinómico es un salto cualitativo
   • Para grado constante $d = O(1)$, la cota se simplifica a $(2m)^C$, haciendo el resultado prácticamente utilizable
   • La innovación técnica (concepto de lápiz) es elegante y natural
2. Innovación Conceptual:
   • El grado univariado $\text{udeg}$ es una nueva perspectiva para caracterizar imágenes de aplicaciones polinómicas
   • Proporciona una interpretación algebraica para entender la no-sobreyectividad
   • Conecta teoría combinatoria, álgebra y teoría de complejidad
3. Profundidad de Técnicas de Prueba:
   • Combinación ingeniosa de teoría de rango, análisis de Fourier y estructura vs aleatoriedad
   • El análisis fino de espacios homogéneos (Lemas 2.6-2.8) demuestra comprensión profunda
   • El diseño del mecanismo de disminución de grado para garantizar terminación es ingenioso
4. Amplitud de Aplicaciones:
   • Resuelve simultáneamente el problema de Karam y el problema de circuitos aritméticos
   • Revela la barrera de límites inferiores de circuitos, con profundo significado en teoría de complejidad
   • El método puede ser aplicable a más problemas
5. Claridad de Escritura:
   • Estructura clara, desarrollándose progresivamente de motivación a prueba
   • Definiciones precisas, enunciados de teoremas claros
   • Ejemplos y Observaciones ayudan a la comprensión

Deficiencias

1. Valor Absoluto de Cotas:
   • Aunque hay mejora gigantesca respecto a resultados clásicos, $2^{d(1+o(1))}$ sigue siendo muy grande para d grande
   • Para $d = 100$, $2^{100}$ sigue siendo impracticable
   • No está claro si esto es limitación del método o dificultad inherente del problema
2. Restricción a Campos Finitos:
   • Los resultados principales se prueban solo para campos finitos
   • Aunque se discute el camino para generalización a campos infinitos, no se realiza
   • Esto limita el uso directo en ciertas aplicaciones de geometría algebraica
3. Computabilidad del Grado Univariado Insuficientemente Tratada:
   • La definición involucra minimización, pero no se discute la complejidad computacional
   • Para un polinomio dado, ¿cómo determinar efectivamente $\text{udeg}$?
   • Faltan ejemplos concretos mostrando cómo computar
4. Insuficiente Concreción de Aplicaciones:
   • El Teorema 1.2 proporciona cotas de circuitos aritméticos, pero sin ejemplos concretos
   • ¿Para qué polinomios o clases específicas estas cotas son ajustadas?
   • Falta comparación con límites inferiores conocidos
5. Dependencia Técnica:
   • Depende críticamente del resultado de Moshkovitz-Zhu MZ24 (Teorema 2.10)
   • Si ese resultado mejora, las cotas de este artículo también mejorarían, pero actualmente está limitado por esto
   • La pérdida $c_d = 2^{-d^{1+o(1)}}$ finalmente se refleja en las cotas

Impacto

1. Contribución Teórica:
   • Avance Importante: Primer lema de regularidad con cotas fuertes
   • Nuevo Paradigma: La regularidad débil puede inspirar debilitaciones similares en otros campos
   • Papel de Puente: Conecta matemática combinatoria, álgebra y teoría de complejidad
2. Valor Práctico:
   • Polinomios de Grado Medio: Aplicable para $d \leq 10$ es prácticamente viable
   • Teoría de Complejidad: Proporciona nueva perspectiva para entender dificultad de límites inferiores de circuitos
   • Teoría de Códigos: Puede mejorar análisis de códigos Reed-Muller
3. Reproducibilidad:
   • Resultados Puramente Teóricos: Todas las pruebas son constructivas, en principio verificables
   • Algoritmización: La prueba del Teorema 2.5 proporciona algoritmo explícito
   • Sin Dependencia Experimental: No depende de experimentos computacionales, reproducibilidad fuerte
4. Investigación Posterior:
   • El trabajo Kar23 puede mejorarse directamente
   • Puede inspirar nuevos intentos en límites inferiores de circuitos aritméticos
   • El concepto de grado univariado puede convertirse en nueva dirección de investigación

Escenarios Aplicables

1. Investigación Teórica:
   • Problemas que necesitan lema de regularidad pero son sensibles a cotas
   • Estudiar estructura de imágenes de aplicaciones polinómicas
   • Analizar propiedades algebraicas de polinomios no-sobreyectivos
2. Circuitos Aritméticos:
   • Diseñar cotas superiores para fórmulas de profundidad 4
   • Entender limitaciones del abanico superior
   • Desarrollar métodos de límites inferiores considerando grado univariado
3. Teoría de Códigos:
   • Analizar distribución de pesos de códigos Reed-Muller
   • Estudiar parámetros de códigos polinómicos
4. Combinatoria Aditiva:
   • Análisis de Fourier de orden superior de polinomios de bajo grado
   • Estimación de normas de Gowers
5. Escenarios No Aplicables:
   • Problemas que requieren independencia aproximada global
   • Análisis cuantitativo de polinomios de alto grado ($d > 20$)
   • Resultados que requieren campos infinitos

Referencias (Literatura Clave)

1. GT09 Green & Tao - The distribution of polynomials over finite fields (lema de regularidad clásico)
2. MZ24 Moshkovitz & Zhu - Quasi-linear relation between partition and analytic rank (mejor cota de estructura vs aleatoriedad)
3. Kar23 Karam - Ranges of polynomials control degree ranks (objetivo principal de mejora de este artículo)
4. FK99 Frieze & Kannan - Quick approximation to matrices (fuente de inspiración de regularidad débil)
5. ESS19 Erman, Sam & Snowden - Cubics in 10 variables vs. cubics in 1000 variables (ejemplo claro de lema de regularidad clásico)

Evaluación General: Este es un artículo teórico con contribución revolucionaria que, mediante la introducción del concepto de regularidad "débil", logra el salto cualitativo de cotas de tipo torre a cotas polinómicas. Técnicamente profundo, conceptualmente innovador, ampliamente aplicable. A pesar de limitaciones como restricción a campos finitos y dependencia exponencial de cotas respecto al grado, tiene contribuciones importantes a la informática teórica y matemática combinatoria. El concepto de grado univariado puede convertirse en nueva dirección de investigación, y la barrera revelada de límites inferiores de circuitos tiene profundo significado en teoría de complejidad. Se recomienda a investigadores en métodos polinómicos, circuitos aritméticos o combinatoria aditiva.