Right edge rates of the zeros of $\widetilde{\Xi}_n$ and $\widetilde{\Lambda}_n$

A continuación se presenta un resumen técnico detallado del artículo "Tasas del borde derecho de los ceros de $\tilde{\Xi}_n$ y $\tilde{\Lambda}_n$" de Luc Ramsès Talla Waffo.

1. Planteamiento del Problema

El artículo investiga el comportamiento asintótico de los ceros más grandes (el "borde derecho") de dos familias específicas de polinomios pares escalados, $\tilde{\Xi}_n(x)$ y $\tilde{\Lambda}_n(x)$, definidos para $n \geq 2$.

Estos polinomios se derivan de las familias $\Xi_n$ y $\Lambda_n$ introducidas en trabajos anteriores [1], las cuales están conectadas con representaciones integrales de valores normalizados de la función beta de Dirichlet $\beta(2n)$ y la función zeta de Riemann $\zeta(2n+1)$.

• Definiciones:
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• Propiedades: Ambas familias son polinomios de grado $n-1$ con todos sus ceros reales, simples y contenidos estrictamente dentro del intervalo $(0, 1)$.
• La Brecha: Si bien se sabe que la distribución global de los ceros para ambas familias converge a la misma función de distribución límite $F(x)$, el comportamiento de los ceros extremos derechos (aquellos más cercanos a 1) no estaba completamente caracterizado. Específicamente, el artículo pregunta: ¿Acercan los ceros más grandes de estas dos familias el extremo 1 a la misma tasa exponencial?

2. Metodología

El autor emplea un enfoque elemental pero riguroso basado en la representación explícita de los polinomios en términos de polinomios eulerianos y una transformación que mapea el intervalo $(0, 1)$ al eje real negativo.

A. Transformación a Ceros Negativos

El núcleo del método se basa en un cambio de variable (Lema 1.1) que mapea un cero $x \in (0, 1)$ a un cero negativo $z = -a$ (donde $a \in (0, 1)$) de un polinomio euleriano asociado:
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
Crucialmente, a medida que $a \to 0^+$, la distancia al extremo derecho se comporta como:
$$1 - x \sim 4a$$
Por lo tanto, determinar la tasa a la que $x \to 1$ es equivalente a determinar la tasa a la que el cero negativo de menor magnitud $a$ del polinomio euleriano se acerca a 0.

B. Conexión con Polinomios Eulerianos

Los polinomios $\Xi_n$ y $\Lambda_n$ se expresan explícitamente utilizando polinomios eulerianos de Tipo B ($B_m$) y Tipo A ($A_m$):

• $\Xi_n$ se relaciona con $B_{2n-1}$.
• $\Lambda_n$ se relaciona con $A_{2n}$.
  El cero más grande de $\tilde{\Xi}_n$ corresponde al cero negativo de $B_{2n-1}$ más cercano al origen, y lo mismo ocurre para $\tilde{\Lambda}_n$ y $A_{2n}$.

C. Estimación de Coeficientes (Lema 1.2)

El autor utiliza una cota para la raíz positiva más pequeña $a_1$ de un polinomio $P(z) = 1 + c_1 z + \dots + c_d z^d$ con coeficientes positivos y raíces reales negativas:
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
Esto implica que $\log a_1 = -\log c_1 + O(\log d)$. Por lo tanto, la tasa exponencial de la raíz está determinada enteramente por el primer coeficiente no constante ($c_1$) del polinomio.

D. Cálculo de Coeficientes Dominantes

El artículo calcula los primeros coeficientes no constantes para los polinomios eulerianos relevantes:

• Tipo A ($A_{2n}$): El coeficiente de $z$ es $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$.
• Tipo B ($B_{2n-1}$): El coeficiente de $z$ es $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$ (específicamente $3^{2n-1}$).

3. Contribuciones y Resultados Clave

Teorema Principal (Teorema 2.1)

El artículo demuestra que las dos familias exhiben tasas exponenciales distintas de convergencia de sus ceros más grandes hacia 1.

1. Para $\tilde{\Lambda}_n$ (Tipo A):
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Lambda)}_{n-1,n}\right) = -\log 4$$
   Esto implica $1 - x^{(\Lambda)}_{n-1,n} \approx 4^{-(n-1)}$.

2. Para $\tilde{\Xi}_n$ (Tipo B):
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Xi)}_{n-1,n}\right) = -\log 9$$
   Esto implica $1 - x^{(\Xi)}_{n-1,n} \approx 9^{-(n-1)}$.

Verificación Numérica

La Sección 4 proporciona una tabla numérica que confirma estos límites.

• El log-hueco normalizado para $\tilde{\Lambda}_n$ converge rápidamente a $-\log 4 \approx -1.386$.
• El log-hueco normalizado para $\tilde{\Xi}_n$ converge a $-\log 9 \approx -2.197$.
  Los datos muestran que, aunque la distribución global es idéntica, el comportamiento del "borde" es fundamentalmente diferente.

4. Significado e Interpretación

• Comportamiento Microscópico vs. Macroscópico: Los resultados destacan un fenómeno donde la distribución límite macroscópica (que describe la masa de los ceros) no logra capturar el comportamiento microscópico de los ceros extremos. Dos secuencias pueden compartir la misma ley límite global pero poseer diferentes leyes de escala local en los bordes.
• Rol de los Coeficientes Eulerianos: El artículo establece un vínculo directo entre la tasa asintótica de los ceros extremos y la tasa de crecimiento del primer coeficiente no constante de los polinomios eulerianos subyacentes.
  • El factor $4^n$ en el Tipo A conduce a una tasa de $4^{-n}$.
  • El factor $9^n$ en el Tipo B conduce a una tasa de $9^{-n}$.
• Simplicidad Metodológica: La prueba es notable por ser "elemental". Evita el análisis complejo o maquinaria asintótica pesada, confiando en cambio en transformaciones algebraicas y cotas básicas sobre las raíces de polinomios. Esto hace que el resultado sea accesible y resalta el poder del análisis de coeficientes en problemas de distribución de raíces.

En resumen, el artículo resuelve el comportamiento asintótico de los ceros más a la derecha para estas familias específicas de polinomios, demostrando que, a pesar de compartir un límite global, sus comportamientos en el borde están gobernados por diferentes escalas exponenciales ($4^{-n}$ frente a $9^{-n}$) derivadas de sus respectivas estructuras de polinomios eulerianos.