🔢 mathematics

A few remarks on the Baez-Duarte Criterion

Este artículo deriva varios lemas significativos relacionados con el criterio de Baez-Duarte.

Autores originales: Alexandre Pyvovarov

Publicado 2026-07-15

📖 6 min de lectura🧠 Análisis profundo

Autores originales: Alexandre Pyvovarov

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 la Hipótesis de Riemann como un mapa del tesoro definitivo escondido dentro de una biblioteca gigante e infinita. Durante más de 160 años, los matemáticos han intentado encontrar la "X" que marca el lugar, pero el mapa está escrito en un código tan complejo que nadie ha logrado descifrarlo aún. Este artículo de Alexandre Pyvovarov no pretende haber encontrado el tesoro, pero nos entrega una brújula muy brillante y muy interesante, y algunos trucos ingeniosos para navegar por los pasillos más confusos de la biblioteca.

La Biblioteca y el Problema del "1"

El artículo comienza estableciendo una sala especial en esta biblioteca llamada "espacio de Hilbert". Piensa en esta sala como un trampolín gigante e infinito donde cada función posible (una receta matemática para una curva) es una pelota saltarina. El objetivo del criterio de Báez-Duarte es ver si podemos construir un "1" perfecto y plano (una función constante que nunca cambia) apilando y haciendo rebotar otras pelotas específicas juntas.

Si podemos construir este "1" perfecto a partir de estas pelotas saltarinas específicas, entonces la Hipótesis de Riemann es verdadera. Si no podemos, es falsa. El artículo se centra en un conjunto específico de pelotas generadas por una familia de funciones que involucran la "parte fraccionaria" de los números (los restos que quedan después de dividir).

La Función de Möbius: El Agente del Caos de la Biblioteca

Para construir nuestro "1", el autor observa a un personaje muy extraño llamado la función de Möbius (denotada como $\mu$ ). Imagina la función de Möbius como un bibliotecario caótico que asigna un valor de $+1$ , $-1 $o$ 0$ a cada número basándose en sus factores primos.

Si un número está compuesto por factores primos distintos (como $6 = 2 \times 3$ ), la función de Möbius lanza una moneda: $+1$ o $-1$.
Si un número tiene un factor primo repetido (como $12 = 2 \times 2 \times 3$ ), la función de Möbius dice "0" e lo ignora por completo.

El artículo demuestra un hecho fascinante: si tomas todos estos números de Möbius caóticos y los mezclas con recetas específicas de "función parte entera", satisfacen una identidad que parece que se cancelan entre sí para dar un "1" perfecto en un sentido puntual. Sin embargo, hay un truco: el artículo establece explícitamente que si intentas usar esta suma "natural" de términos de Möbius para construir la función en el espacio de Hilbert, la pila se vuelve demasiado grande e inestable; "diverge", lo que significa que sale volando del trampolín y nunca se asienta. No puedes simplemente sumarlos directamente para obtener el resultado.

El Truco de la "Corrección Exponencial"

Aquí es donde el artículo se vuelve lúdico. El autor intenta construir ese "1" perfecto usando el caos de la función de Möbius, pero dado que la suma natural diverge, se necesita una nueva estrategia. Para arreglar esto, el autor introduce un "amortiguador" o un "freno" llamado corrección exponencial. Imagina que estás intentando apilar una torre de bloques que no deja de tambalearse. El autor sugiere añadir un pegamento especial que se vuelve más fuerte a medida que avanzas hacia arriba en la torre. Matemáticamente, esto es un factor de $e^{-nu}$ (donde $u$ es un número pequeño).

El artículo muestra que si usas este pegamento, la torre se vuelve estable. El autor luego se hace una pregunta crítica: "¿Qué pasa si eliminamos lentamente el pegamento (dejamos que $u$ se acerque a cero)?"

La Buena Noticia: El artículo demuestra que el "producto interno" (una medida de qué tan bien la torre coincide con el "1" objetivo) está definido por una serie que converge uniformemente. Esto significa que la función que describe este encuentro es suave y continua hasta llegar a cero, comportándose bien a medida que la corrección desaparece.
La Parte Difícil: El artículo no demuestra que la torre en sí (el tamaño total o "norma" de la función) se mantenga lo suficientemente pequeña como para caber en la habitación. Muestra que si la torre sí se mantiene lo suficientemente pequeña (específicamente, si el límite de su tamaño es 1), entonces la Hipótesis de Riemann es verdadera. Pero demostrar que la torre se mantiene lo suficientemente pequeña es la pieza faltante del rompecabezas.

El Rompecabezas de los Polinomios

En la segunda mitad del artículo, el autor cambia la biblioteca infinita por un conjunto de rompecabezas polinómicos. Estos son como formas algebraicas que se vuelven más complejas a medida que añades más piezas. El autor define una secuencia de estas formas, $Q_k$ , que son promedios de formas más simples llamadas $R_k$ .

El artículo demuestra que a medida que añades más piezas (a medida que $k$ aumenta), estas formas polinómicas se acercan cada vez más a una curva específica llamada $g(x)$ .

El Límite: El autor calcula exactamente qué tan rápido se acercan. El error (la distancia entre la forma y el objetivo) se reduce increíblemente rápido, siguiendo una fórmula que involucra $e^{-c(\log k)^{3/5}/(\log \log k)^{1/5}}$ .
La Analogía: Imagina intentar dibujar un círculo perfecto usando una línea dentada y pixelada. A medida que añades más píxeles, la línea dentada se suaviza. Este artículo demuestra que la línea dentada se suaviza a un ritmo específico e increíblemente rápido, pero no afirma que la línea llegue a ser perfectamente suave de una manera que resuelva la Hipótesis de Riemann por sí sola.

Lo que el Artículo Descarta

El artículo es muy cuidadoso de no afirmar que ha resuelto la Hipótesis de Riemann. De hecho, descarta explícitamente la idea de que una suma directa y simple de funciones de Möbius funcione. Demuestra que la forma "natural" de aproximar el número 1 (simplemente sumando los términos de Möbius) falla porque diverge. Debes usar la corrección exponencial (el "pegamento") para que funcione, e incluso entonces, el paso final de demostrar que el límite existe se deja como un desafío difícil.

¿Qué tan seguros estamos?

El autor está muy seguro de la matemática que ha realizado. Ha demostrado varios lemas:

La función de Möbius satisface una identidad con funciones parte entera que apunta hacia un "1", pero la suma directa diverge en el espacio de Hilbert.
La "corrección exponencial" crea una función continua donde el producto interno con "1" se comporta bien (es convergencia uniforme) a medida que la corrección se reduce.
Las aproximaciones polinómicas convergen a la curva objetivo a una tasa demostrada específica.

Sin embargo, el artículo no demuestra el paso final. Sugiere que si un cierto límite (el tamaño de la torre a medida que se elimina el pegamento) es igual a 1, entonces la Hipótesis de Riemann es verdadera. Pero el artículo se detiene antes de probar que este límite es 1. Proporciona las herramientas y el mapa, pero el destino final permanece sin confirmar.

En resumen, este artículo es como un maestro carpintero que te muestra una sierra nueva, increíblemente precisa, y un conjunto de planos que podrían construir una silla perfecta. El carpintero demuestra que la sierra corta perfectamente y que los planos son matemáticamente sólidos, pero aún no ha construido la silla. Solo ha demostrado que, si sigues estos pasos específicos, la silla podría ser la que has estado buscando todo este tiempo.

Resumen Técnico: Unas breves observaciones sobre el criterio de Báez-Duarte

Planteamiento del problema

El artículo aborda la Hipótesis de Riemann (HR) a través de la lente del criterio de Nyman-Beurling y su variante más fuerte, el criterio de Báez-Duarte. El problema central es caracterizar la Hipótesis de Riemann mediante la densidad de un subespacio específico dentro de un espacio de Hilbert de funciones integrables al cuadrado.

Específicamente, sea $H$ el espacio de Hilbert de las funciones $f: [1, +\infty[ \to \mathbb{C}$ tales que $\int_1^\infty |f(t)|^2 t^{-2} dt < \infty$ , equipado con el producto escalar $\langle f|g \rangle = \int_1^\infty f(t)\overline{g(t)}t^{-2} dt$ . Sea $B_{nat}$ el subespacio generado por la familia de funciones $\gamma_n(t) = [\frac{t}{n}] - \frac{[t]}{n}$ para $n \in \mathbb{N} \setminus \{0\}$ . El criterio de Báez-Duarte establece que la Hipótesis de Riemann es equivalente a la condición de que la función constante $1$ pertenezca a la clausura de $B_{nat}$ (denotada como $\overline{B_{nat}}$ ).

El artículo tiene como objetivo derivar lemas relacionados con la aproximación de la función constante $1$ utilizando combinaciones lineales de los elementos de la base $\gamma_n$ , investigando específicamente las propiedades de convergencia de sucesiones que involucran la función de Möbius $\mu(n)$ .

Metodología

El autor emplea una combinación de teoría analítica de números, análisis funcional y análisis asintótico. La metodología procede a través de los siguientes pasos:

Configuración Funcional y Representaciones Integrales: El artículo establece la relación entre el producto escalar en $H$ y la función zeta de Riemann $\zeta(z)$ . Deriva la identidad $\langle t^{1-z} | \gamma_n \rangle = (\frac{1}{nz} - \frac{1}{n})\frac{\zeta(z)}{z}$ para $\text{Re}(z) > 1/2$ . Esto conecta la geometría del espacio de Hilbert con los ceros de $\zeta(z)$ .
Inversión de Möbius y Aproximación: El autor investiga la aproximación natural de la función $1$ usando la función de Möbius, definida como $f_N = \sum_{n=1}^N \mu(n)\gamma_n$ . Citando a Báez-Duarte, el artículo observa que esta secuencia específica diverge en $H$ . En consecuencia, el autor introduce una familia parametrizada de aproximaciones para regularizar la divergencia.
Corrección Exponencial: Se define una familia de funciones $f(u)$ para un parámetro $u > 0$ :
$f(u)(t) = \sum_{n=1}^\infty \mu(n)e^{-nu}\gamma_n(t)$
El artículo analiza la continuidad de la norma $\|f(u)\|_2$ y el producto escalar $\langle 1 | f(u) \rangle$ cuando $u \to 0$ .
Análisis Asintótico de Series: El autor deriva fórmulas explícitas para los productos escalares $\langle \gamma_n | \gamma_m \rangle$ que involucran sumas de cotangentes y términos logarítmicos, haciendo referencia al trabajo previo de Vasyunin. Estos se utilizan para expandir la norma al cuadrado $\|f(u)\|_2^2$ en series de potencias que involucran $\mu(n)$ , $\log(n)$ y funciones aritméticas.
Aproximación Polinomial y Acotaciones de Error: El artículo introduce polinomios $Q_k(x)$ relacionados con las sumas parciales de la función de Möbius y compara estos con la función $g(x) = \sum \frac{\mu(n)}{n}x^n$ . Utilizando la región de no existencia de ceros de Vinogradov-Korobov para la función zeta, el autor establece cotaciones incondicionales sobre el error de estas aproximaciones polinomiales.

Contribuciones y Resultados Clave

1. Criterio Modificado y Argumento de Contradicción

El artículo reitera que si $1 \in \overline{B_{nat}}$ , entonces $\zeta(z) \neq 0$ para $\text{Re}(z) > 1/2$ . El argumento se basa en el hecho de que si $1$ está en la clausura, existe una sucesión $s_n \in B_{nat}$ que converge a $1$. Si existiera un cero $z_0$ con $\text{Re}(z_0) > 1/2$ , el producto escalar $\langle t^{1-z_0} | s_n \rangle$ se anularía, conduciendo a la contradicción $1/z_0 = 0$ .

2. Análisis de la Corrección Exponencial

El artículo demuestra que para $u > 0$ , la función $f(u)$ pertenece a $B_{nat}$ .

Continuidad: Se muestra que la función $u \mapsto \langle 1 | f(u) \rangle = -\sum_{n=1}^\infty \frac{\mu(n)}{n} \log(n) e^{-nu}$ converge uniformemente en $[0, +\infty[$ y es continua en $u=0$ , con $\lim_{u \to 0} \langle 1 | f(u) \rangle = 1$ .
Condición de Convergencia de la Norma: El artículo establece que la Hipótesis de Riemann se cumple si y solo si $\lim_{u \to 0} \|f(u)\|_2^2 = 1$ . La dificultad radica en probar este límite, ya que la norma involucra interacciones complejas de la función de Möbius.

3. Expansión en Series de Potencias de la Norma

El autor deriva una expansión detallada para $F(x) = \|f(-\log x)\|_2^2$ para $x \in (0, 1)$ . Esta expansión involucra productos de series de potencias de la forma $\sum \mu(n)x^n$ , $\sum \frac{\mu(n)}{n}x^n$ , y $\sum \frac{\mu(n)\log n}{n}x^n$ , junto con términos que involucran sumas de cotangentes.

Cancelación Asintótica: Al sustituir las fórmulas asintóticas para las sumas de cotangentes (que involucran $\log n$ y la constante de Euler $\gamma$ ), el autor muestra que los términos divergentes se cancelan, dejando una función $G(x)$ que es continua en $x=1$ con $G(1) = -1$ .
Cota Inferior: Se demuestra un lema que establece que si el límite $L = \lim_{x \to 1} F(x)$ existe, entonces $L \ge 1$ .

4. Aproximaciones Polinomiales y Cotas de Error

El artículo define los polinomios $Q_k(x)$ como promedios de sumas parciales relacionadas con la función de Möbius.

Convergencia: Se demuestra que $Q_k$ converge uniformemente a $g(x)$ en subconjuntos compactos de $[0, 1)$ .
Cota de Error Incondicional: Aprovechando la región de no existencia de ceros de Vinogradov-Korobov, el artículo deriva una cota incondicional para el error de aproximación:
$\|Q_k - g\|_\infty \ll \exp\left(-c (\log k)^{3/5} (\log \log k)^{-1/5}\right)$
Este resultado proporciona una medida cuantitativa de qué tan bien estos polinomios aproximan la función límite sin asumir la Hipótesis de Riemann.

5. Continuidad de la Función Límite

El artículo concluye probando que la serie $\sum_{k \ge 1} \frac{\|h_k\|}{k(k+1)}$ converge, donde $h_k$ son los componentes de la aproximación. Esto implica que la función definida por esta serie es continua, reforzando las propiedades analíticas de las aproximaciones utilizadas en el criterio.

Significancia y Reivindicaciones

El artículo se posiciona como una colección de "lemas interesantes" relacionados con el criterio de Báez-Duarte, más que como una prueba de la Hipótesis de Riemann. Su significancia radica en:

Refinar la Estrategia de Aproximación: Va más allá de la aproximación natural divergente ( $\sum \mu(n)\gamma_n$ ) mediante la introducción de correcciones exponenciales y el análisis de sus propiedades de convergencia.
Conectar la Geometría y la Aritmética: Vincula explícitamente la convergencia de la norma en el espacio de Hilbert con el comportamiento asintótico de las series que involucran la función de Möbius y la función zeta de Riemann.
Cotas Incondicionales: Proporciona cotas de error incondicionales y rigurosas para las aproximaciones polinomiales de la función relacionada con la de Möbius $g(x)$ , utilizando las mejores regiones de no existencia de ceros conocidas para la función zeta.
Clarificación de la Condición Límite: Aísla la condición específica ( $\lim_{u \to 0} \|f(u)\|_2^2 = 1$ ) que, de ser probada, confirmaría la Hipótesis de Riemann, clarificando así el obstáculo analítico preciso que resta en este enfoque.

El autor mantiene la modestia, señalando que, si bien la aproximación natural diverge y la corrección exponencial requiere un análisis adicional de la convergencia de la norma, los lemas y las cotas derivadas ofrecen un marco estructurado para investigar el criterio.