Conditional upper bounds on the least character non-residue

1. Planteamiento del Problema

El artículo aborda el problema de encontrar límites superiores efectivos para el menor residuo no cuadrático (o más generalmente, el menor no-residuo de un carácter) $n(\chi)$.

• Definición: Para un carácter de Dirichlet no principal $\chi \pmod q$, $n(\chi)$ es el entero positivo más pequeño tal que $(n, q)=1$ y $\chi(n) \neq 1$.
• Contexto: La conjetura de Vinogradov postula que para cualquier $\epsilon > 0$, $n(p) \ll p^\epsilon$ para primos $p$. Los resultados conocidos no condicionales (como los de Burgess) ofrecen límites del tipo $q^{1/4+\epsilon}$, que son mucho más débiles que la conjetura.
• Objetivo: Establecer límites superiores condicionales para $n(\chi)$ basados en la ubicación de los ceros de las funciones $L(s, \chi)$ en la franja crítica ($0 < \sigma < 1$). Específicamente, el autor busca relacionar la ausencia de ceros en regiones rectangulares acotadas cerca de la línea $\sigma = 1$ (a diferentes alturas $t$) con la cota de $n(\chi)$.

2. Metodología

El autor extiende métodos clásicos de la teoría analítica de números, combinando transformadas de Mellin inversas, estimaciones de sumas de caracteres y el análisis de la distribución de ceros de las funciones $L$.

• Técnicas de Transformada de Mellin: Se utiliza la identidad integral que relaciona la suma ponderada $\sum \chi(n)\Lambda(n)(x-n)$ con la derivada logarítmica de la función $L$, $\frac{L'}{L}(s, \chi)$.
• Desplazamiento de Contorno: El método consiste en desplazar el contorno de integración desde una línea $\sigma_0 > 1$ hacia la izquierda, cruzando la franja crítica.
  • Los polos (ceros de $L(s, \chi)$) generan términos residuales que dominan la suma.
  • La ausencia de ceros en ciertas regiones (regiones libres de ceros) permite acotar la magnitud de estos términos residuales.
• Funciones de Peso y Núcleos:
  • Para el Teorema 2, se usa un kernel simple $(x-n)$.
  • Para el Teorema 3 (resultado más fuerte), se introduce un núcleo más sofisticado $K(s, t_0)$ y una función de peso $w(u)$ diseñada para aislar ceros en rectángulos específicos alrededor de una altura $t_0$. Esto generaliza la técnica de Rodosskii.
• Conteo de Ceros: Se emplean lemas estándar (como los de Montgomery) para acotar el número de ceros en rectángulos y discos, utilizando la densidad de ceros $N(\sigma, T)$.

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos teoremas principales que vinculan la geometría de la región libre de ceros con el límite de $n(\chi)$.

Teorema 2: Región Libre de Ceros en una Tira Infinita

Supone que no hay ceros en la región $R''(\delta) = \{ \sigma + it : 1-\delta < \sigma < 1 \}$ para un $0 \le \delta < 1/2$.

• Resultado: Bajo esta hipótesis, se obtiene el límite:
  $$n(\chi) \ll (\log q)^{1/\delta}$$
• Significado: Este resultado generaliza la hipótesis de Riemann Generalizada (GRH). Si $\delta \to 0$ (ceros muy cerca de $\sigma=1$), el límite se debilita, pero si se garantiza una franja libre de ceros de ancho $\delta$, el límite es polinomial en $\log q$.

Teorema 3: Región Libre de Ceros en Rectángulos Acotados (Resultado Principal)

Este es el aporte más significativo, generalizando resultados anteriores (como los de Rodosskii) a regiones libres de ceros que son rectángulos acotados en altura alrededor de una altura arbitraria $t_0$.

• Hipótesis: Sea $|t_0| > 1$. Si $L(s, \chi) \neq 0$ en la región definida por:
  $$1-\delta < \sigma < 1 \quad \text{y} \quad |t - t_0| \le K_1 |t_0|^2 \log q$$
  (donde $K_1$ es una constante absoluta).
• Resultado: Existe una constante $C$ tal que:
  $$n(\chi) < C \left( \frac{K_1 |t_0|^2 \log q}{\delta} \right)^{1/\delta}$$
• Implicación: Esto permite "localizar" ceros. Si $n(\chi)$ viola este límite, entonces debe existir un cero de $L(s, \chi)$ dentro del rectángulo especificado cerca de $t_0$. Esto conecta directamente el comportamiento de las sumas de caracteres grandes con la existencia de ceros fuera de la línea crítica en alturas específicas.

Observaciones Adicionales

• Conexión con Sumas de Caracteres: El trabajo se alinea con resultados recientes de Granville y Soundararajan, mostrando que si las sumas de caracteres son grandes (violando la conjetura de Vinogradov), entonces una proporción positiva de ceros debe estar fuera de la línea $\sigma = 1/2$.
• Versatilidad: El método permite elegir $t_0$ arbitrariamente. Si $t_0 = 0$, se recupera el resultado de Rodosskii con una región libre de ceros de menor altura.

4. Significado e Impacto

1. Refinamiento de Límites Condicionales: El artículo proporciona una herramienta más flexible que la Hipótesis de Riemann Generalizada (GRH). En lugar de asumir que todos los ceros están en $\sigma=1/2$, demuestra que incluso si los ceros se alejan de la línea crítica, siempre que estén contenidos en regiones específicas (rectángulos cerca de $\sigma=1$), se pueden obtener límites fuertes para $n(\chi)$.
2. Localización de Ceros: Ofrece un mecanismo para inferir la existencia y ubicación de ceros de funciones $L$ basándose en el comportamiento de los residuos no cuadráticos. Si un carácter tiene un primer no-residuo inusualmente grande, esto actúa como una "señal" de la presencia de ceros en regiones específicas de la franja crítica.
3. Generalización de Técnicas: La introducción del núcleo $K(s, t_0)$ y la función de peso permite tratar regiones libres de ceros que no son simétricas respecto al eje real o que están centradas en alturas $t_0$ grandes, algo que los métodos clásicos de Ankeny o Rodosskii no cubrían tan directamente.
4. Futuras Direcciones: El autor sugiere que estas técnicas pueden extenderse a regiones libres de ceros más complejas, donde la distancia a la línea crítica $\sigma=1/2$ o la altura $t$ varían de manera secuencial (sucesiones de $\delta_i$ y $K_i$), lo que podría llevar a límites aún más precisos bajo hipótesis de densidad de ceros más débiles.

En resumen, el trabajo de Pathak establece un puente cuantitativo más fino entre la distribución de los ceros de las funciones $L$ en la franja crítica y la aritmética de los caracteres de Dirichlet, demostrando que la ausencia de ceros en rectángulos específicos cerca de $\sigma=1$ es suficiente para garantizar que el menor no-residuo sea pequeño (polinomial en $\log q$).