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

1. Enunciato del Problema

L'articolo indaga il comportamento asintotico delle più grandi radici (il "bordo destro") di due specifiche famiglie di polinomi pari ridimensionati, $\tilde{\Xi}_n(x)$ e $\tilde{\Lambda}_n(x)$, definite per $n \geq 2$.

Questi polinomi sono derivati dalle famiglie $\Xi_n$ e $\Lambda_n$ introdotte in lavori precedenti [1], che sono collegati a rappresentazioni integrali dei valori normalizzati della funzione beta di Dirichlet $\beta(2n)$ e della funzione zeta di Riemann $\zeta(2n+1)$.

• Definizioni:
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• Proprietà: Entrambe le famiglie sono polinomi di grado $n-1$ con tutte le radici reali, semplici e contenute strettamente nell'intervallo $(0, 1)$.
• Il Divario: Sebbene sia noto che la distribuzione globale delle radici per entrambe le famiglie converga alla stessa funzione di distribuzione limite $F(x)$, il comportamento delle radici estreme destre (quelle più vicine a 1) non era stato completamente caratterizzato. Nello specifico, l'articolo si chiede: Le più grandi radici di queste due famiglie si avvicinano all'estremo 1 allo stesso tasso esponenziale?

2. Metodologia

L'autore impiega un approccio elementare ma rigoroso basato sulla rappresentazione esplicita dei polinomi in termini di polinomi di Eulero e su una trasformazione che mappa l'intervallo $(0, 1)$ sull'asse reale negativo.

A. Trasformazione in Radici Negative

Il cuore del metodo si basa su un cambiamento di variabili (Lemma 1.1) che mappa una radice $x \in (0, 1)$ in una radice negativa $z = -a$ (dove $a \in (0, 1)$) di un polinomio di Eulero associato:
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
Crucialmente, quando $a \to 0^+$, la distanza dall'estremo destro si comporta come:
$$1 - x \sim 4a$$
Pertanto, determinare il tasso con cui $x \to 1$ è equivalente a determinare il tasso con cui la radice negativa di modulo più piccolo $a$ del polinomio di Eulero si avvicina a 0.

B. Connessione ai Polinomi di Eulero

I polinomi $\Xi_n$ e $\Lambda_n$ sono espressi esplicitamente utilizzando polinomi di Eulero di Tipo B ($B_m$) e Tipo A ($A_m$):

• $\Xi_n$ è correlato a $B_{2n-1}$.
• $\Lambda_n$ è correlato a $A_{2n}$.
  La più grande radice di $\tilde{\Xi}_n$ corrisponde alla radice negativa di $B_{2n-1}$ più vicina all'origine, e analogamente per $\tilde{\Lambda}_n$ e $A_{2n}$.

C. Stima dei Coefficienti (Lemma 1.2)

L'autore utilizza un limite per la radice positiva più piccola $a_1$ di un polinomio $P(z) = 1 + c_1 z + \dots + c_d z^d$ con coefficienti positivi e radici reali negative:
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
Ciò implica che $\log a_1 = -\log c_1 + O(\log d)$. Pertanto, il tasso esponenziale della radice è determinato interamente dal primo coefficiente non costante ($c_1$) del polinomio.

D. Calcolo dei Coefficienti Principali

L'articolo calcola i primi coefficienti non costanti per i polinomi di Eulero rilevanti:

• Tipo A ($A_{2n}$): Il coefficiente di $z$ è $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$.
• Tipo B ($B_{2n-1}$): Il coefficiente di $z$ è $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$ (specificamente $3^{2n-1}$).

3. Contributi e Risultati Chiave

Teorema Principale (Teorema 2.1)

L'articolo dimostra che le due famiglie esibiscono tassi esponenziali distinti di convergenza delle loro più grandi radici verso 1.

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

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

Verifica Numerica

La Sezione 4 fornisce una tabella numerica che conferma questi limiti.

• Il log-gap normalizzato per $\tilde{\Lambda}_n$ converge rapidamente a $-\log 4 \approx -1.386$.
• Il log-gap normalizzato per $\tilde{\Xi}_n$ converge a $-\log 9 \approx -2.197$.
  I dati mostrano che, sebbene la distribuzione globale sia identica, il comportamento del "bordo" è fondamentalmente diverso.

4. Significato e Interpretazione

• Comportamento Microscopico vs Macroscopico: I risultati evidenziano un fenomeno in cui la distribuzione limite macroscopica (che descrive la massa delle radici) non riesce a catturare il comportamento microscopico delle radici estreme. Due sequenze possono condividere la stessa legge limite globale ma possedere diverse leggi di scala locali ai bordi.
• Ruolo dei Coefficienti di Eulero: L'articolo stabilisce un legame diretto tra il tasso asintotico delle radici estreme e il tasso di crescita del primo coefficiente non costante dei polinomi di Eulero sottostanti.
  • Il fattore $4^n$ nel Tipo A porta a un tasso di $4^{-n}$.
  • Il fattore $9^n$ nel Tipo B porta a un tasso di $9^{-n}$.
• Semplicità Metodologica: La dimostrazione è degna di nota per essere "elementare". Evita l'analisi complessa o macchinari asintotici pesanti, affidandosi invece a trasformazioni algebriche e limiti di base sulle radici dei polinomi. Ciò rende il risultato accessibile e mette in luce il potere dell'analisi dei coefficienti nei problemi di distribuzione delle radici.

In sintesi, l'articolo risolve il comportamento asintotico delle radici più a destra per queste specifiche famiglie di polinomi, dimostrando che, nonostante condividano un limite globale, i loro comportamenti al bordo sono governati da scale esponenziali diverse ($4^{-n}$ contro $9^{-n}$) derivate dalle rispettive strutture dei polinomi di Eulero.