Legendre compressions and an integrality conjecture for the Hörmander--Bernhardsson extremal function

Aquí presento un resumen técnico detallado del artículo "Legendre Compressions and an Integrality Conjecture for the Hörmander–Bernhardsson Extremal Function" de Khai-Hoan Nguyen-Dang, estructurado según los puntos solicitados.

1. El Problema y el Contexto

El artículo aborda un problema de aritmética profunda relacionado con la función extrema de Hörmander–Bernhardsson ($\phi$). Esta función es la única función entera de tipo exponencial a lo sumo $\pi$ tal que $\phi(0)=1$ y su norma $L^1(\mathbb{R})$ es mínima. Es el extremizador del problema de evaluación puntual en el espacio de Paley–Wiener $PW^1$.

Bondarenko, Ortega-Cerdà, Radchenko y Seip (colectivamente BOCRS) desarrollaron una teoría analítica detallada de $\phi$, identificando que sus coeficientes de Taylor pares satisfacen una recurrencia de tres términos. En su trabajo anterior [3], plantearon dos conjeturas aritméticas sobre la estructura de estos coeficientes:

1. Conjetura 1: Relacionada con valores de una función $L$ (ya demostrada por el autor en [6]).
2. Conjetura 2: Afirma que los coeficientes de la recurrencia de tres términos, denotados como $u_n(b, \lambda)$, son polinomios enteros en $b^2$ y $\lambda$. Es decir, $u_n(b, \lambda) \in \mathbb{Z}[b^2, \lambda]$.

El objetivo principal de este artículo es demostrar la Conjetura 2 y explorar sus consecuencias aritméticas, específicamente sobre la irracionalidad de ciertas constantes relacionadas con $\phi$.

2. Metodología

La prueba se aleja de los enfoques geométricos regulares-singulares (como ecuaciones de Picard–Fuchs o funciones G) que suelen asociarse con fenómenos de integralidad, ya que la ecuación diferencial subyacente de BOCRS tiene singularidades irregulares. En su lugar, el autor emplea un método de comparación de determinantes en una base de Legendre escalada.

Los pasos metodológicos clave son:

1. Reformulación de la Recurrencia: Se define una familia universal de polinomios $\tilde{u}_n(x, \lambda)$ donde $x = b^2$. La recurrencia original se escribe como:
   $$\tilde{u}_{n+1} = \frac{4n+2}{n+1}(n(n+1)-\lambda)\tilde{u}_n + \frac{4n}{n+1}x \tilde{u}_{n-1}$$
   con condiciones iniciales $\tilde{u}_{-1}=0, \tilde{u}_0=1$.

2. Cambio de Signo y Normalización: Se introduce la sustitución $x = -\beta^2$ y se normaliza la secuencia dividiendo por los coeficientes binomiales centrales $C_n = \binom{2n}{n}$. Esto transforma la recurrencia en una forma que coincide exactamente con la recurrencia de continuantes de un determinante tridiagonal.

3. Construcción de Determinantes:

   • Base de Legendre: Se considera el operador $L + \beta t - \lambda$, donde $L = -\frac{d}{dt}((1-t^2)\frac{d}{dt})$ es el operador de Legendre. Al actuar sobre la base escalada de polinomios de Legendre $Q_n(t) = 2^n P_n(t)$, se obtiene una matriz tridiagonal $N_n$ con entradas en $\mathbb{Z}[\beta, \lambda]$.
   • Base Monomial: El mismo operador se representa en la base monomial estándar, dando lugar a una matriz $M_n$ con entradas enteras.

4. Comparación de Bases: Mediante un cambio de base entre la base de Legendre y la monomial, se demuestra que el determinante de la matriz monomial $M_n$ es igual (salvo un signo y un factor de escala) al determinante de la matriz de Legendre.
   $$\det(M_n) = -C_n \det(N_n) = -\tilde{u}_n(-\beta^2, \lambda)$$
   Dado que $\det(M_n)$ es un polinomio en $\mathbb{Z}[\beta, \lambda]$, se concluye que $\tilde{u}_n(-\beta^2, \lambda)$ también lo es. Un lema algebraico permite extender esto a $x$ general, probando la integralidad.

3. Contribuciones Clave y Resultados Principales

A. Demostración de la Conjetura 2 (Teorema 1)

Se prueba que para todo $n \ge 0$, el polinomio $\tilde{u}_n(x, \lambda)$ tiene coeficientes enteros:
$$\tilde{u}_n(x, \lambda) \in \mathbb{Z}[x, \lambda]$$
Esto implica que los coeficientes originales de la recurrencia de BOCRS son enteros en $b^2$ y $\lambda$.

B. Identidad de Compresión Exacta (Teorema 2)

Se establece una conexión exacta entre la secuencia de recurrencia y los determinantes de matrices tridiagonales finitas (truncaciones de BOCRS). Sea $T_n(a, \lambda)$ la matriz tridiagonal definida por BOCRS. Entonces:
$$\tilde{u}_{n+1}(a^2, \lambda) = \binom{2n+2}{n+1} \det T_n(a, \lambda)$$
Esto demuestra que el esquema de truncación de BOCRS no es solo numérico, sino que representa exactamente la secuencia de polinomios característicos de las compresiones finitas, escalada por coeficientes binomiales centrales.

C. Consecuencias Aritméticas: Obstrucción Racional (Teorema 16 y Corolario 18)

El autor demuestra un teorema de "corte racional": si la serie generadora asociada a la recurrencia es una función entera no polinómica de tipo exponencial acotado, entonces los parámetros $a^2$ y $\lambda$ no pueden ser ambos racionales.

Aplicado a la rama de Hörmander–Bernhardsson, donde los parámetros críticos son:

• $a^* = \frac{\pi}{4C}$ (donde $C$ es la constante de evaluación puntual aguda).
• $\lambda^* = -\frac{L_\tau(1)}{2C}$ (donde $L_\tau(1) = \sum_{n \ge 1} \frac{(-1)^n}{\tau_n}$ y $\tau_n$ son los ceros no nulos de $\phi$).

Resultado: Los números $\left(\frac{\pi}{4C}\right)^2$ y $-\frac{L_\tau(1)}{2C}$ no son simultáneamente racionales. En consecuencia, al menos una de las constantes $C/\pi$ o $L_\tau(1)/C$ es irracional.

D. Anillo de Coeficientes y Estructura de Potencias (Corolario 22)

Se refina el resultado de integralidad mediante un análisis de "peso" en los monomios. Se define un peso $w(x)=2$ y $w(\lambda)=1$. Se prueba que en $\tilde{u}_n(x, \lambda)$, todo monomio $x^r \lambda^s$ satisface $2r + s \le n$.

Al sustituir los parámetros físicos ($a^*, \lambda^*$), esto implica que los coeficientes de Taylor de la función extrema $\phi(z) = \sum c_n z^{2n}$ satisfacen:
$$c_n \in C^n \mathbb{Z}[\pi^2, C, L_\tau(1)]$$
Significado crucial: Esto demuestra que en los coeficientes de Taylor de $\phi$ solo pueden aparecer potencias pares de $\pi$. Esto refuta la posibilidad de términos con potencias impares de $\pi$, aclarando una observación previa de BOCRS.

4. Significado e Impacto

1. Resolución de Conjeturas: El trabajo cierra el ciclo de las dos conjeturas aritméticas planteadas por BOCRS en [3], proporcionando una comprensión completa de la estructura algebraica de la función extrema.
2. Nueva Perspectiva Metodológica: La demostración revela que la integralidad en este contexto, a pesar de las singularidades irregulares de la ecuación diferencial, está gobernada por una compresión de Legendre de dimensión finita. Esto conecta problemas de análisis complejo y teoría de números con estructuras algebraicas discretas (determinantes tridiagonales) de una manera inesperada.
3. Avances en Irracionalidad: Proporciona el primer resultado de irracionalidad condicional sobre las constantes fundamentales $C$ y $L_\tau(1)$ asociadas al problema de extremización en $L^1$. Aunque no prueba que $L_\tau(1)$ sea irracional por sí solo, establece una relación de dependencia aritmética fuerte entre las constantes normalizadas.
4. Estructura de Coeficientes: La restricción sobre las potencias de $\pi$ (solo pares) ofrece una pista profunda sobre la simetría y la naturaleza algebraica subyacente de la función extrema, sugiriendo que la estructura aritmética es más rígida de lo que se sospechaba anteriormente.

En resumen, el artículo transforma un problema de análisis funcional en una identidad algebraica exacta mediante determinantes, resolviendo conjeturas abiertas y revelando nuevas restricciones aritméticas en la teoría de espacios de Paley–Wiener.