Asymptotics of the d'Arcais Numbers at Small $k$

Sintesi Tecnica: Asintotica dei Numeri di d'Arcais per $k$ piccolo

Enunciato del Problema
Il saggio investiga il comportamento asintotico dei numeri di d'Arcais, indicati con $A(2, n, k)$, che formano un array triangolare definito dalla funzione generatrice:
$$\sum_{n=0}^{\infty} \sum_{k=0}^{n} A(2, n, k) \frac{x^k z^n}{n!} = ((z; z)_{\infty})^{-x}$$
dove $(z; z)_{\infty} = \prod_{n=1}^{\infty} (1 - z^n)$ è il simbolo q-Pochhammer infinito. Questi numeri sono oggetti combinatori legati all'indice di abbondanza $\sigma_{-1}(n)$ e possono essere interpretati tramite la trasformata di Bell o come conteggio di tuple commutanti di permutazioni.

L'attenzione primaria è rivolta al regime in cui $k$ è fissato e $n \to \infty$. Nello specifico, il saggio affronta il rapporto asintotico dei numeri normalizzati $\alpha(n, k) = k! A(2, n, k) / n!$. Questa investigazione è motivata da una congettura di Heim e Neuhauser riguardante la log-concavità della sequenza $k \mapsto A(2, n, k)$. La congettura postula che $A(2, n, k)/A(2, n, k-1) \geq A(2, n, k+1)/A(2, n, k)$. Mentre il lavoro precedente dell'autore e di Abdesselam ha stabilito la log-concavità nel "regime di tipicità" ($k \sim \sqrt{n}$) utilizzando teoremi del limite centrale, il comportamento per piccoli $k$ fissi richiedeva un'analisi distinta.

Metodologia
Il saggio impiega due approcci complementari per derivare e verificare le formule asintotiche:

1. Metodo del Cerchio Euristico: L'autore utilizza il metodo del cerchio di Hardy-Ramanujan come guida euristica. Analizzando la funzione generatrice $F(t) = -\ln((e^{-t}; e^{-t})_{\infty})$ e sfruttando la simmetria modulare della funzione eta di Dedekind $\eta(\tau)$, il saggio identifica i contributi dominanti dai "archi maggiori" vicino alle frazioni di Farey. Questa euristica suggerisce che gli asintoti siano governati da somme di Ramanujan e funzioni divisore, portando a un'ipotesi (ansatz) per $\alpha(n, k)$.

2. Analisi Rigorosa della Convoluzione Aritmetica: Per dimostrare rigorosamente le formule senza fare affidamento sulla completa decomposizione di Rademacher, il saggio adatta i metodi di Ramanujan, Ingham, Halberstam e, più recentemente, Oliver, Shrestha e Thorne. Il nucleo della dimostrazione consiste nell'analizzare la convoluzione aritmetica $k$-volte della funzione $\sigma_{-1}(n)$. La dimostrazione si basa su:

   • Stima di somme della forma $\sum k^{\alpha-1}(n-k)^{\beta-1}$ su progressioni aritmetiche tramite integrali Beta.
   • Utilizzo delle proprietà delle serie di Dirichlet e dell'identità $\sum_{(m,n)=1} m^{-r}n^{-s} = \zeta(r)\zeta(s)/\zeta(r+s)$.
   • Argomenti induttivi su $k$ per stabilire l'equivalenza asintotica per la convoluzione $k$-volte.

Risultati Chiave

• Formula Asintotica per $k$ Fissato: Il saggio dimostra che, per $k \geq 2$ fissato, quando $n \to \infty$:
  $$\alpha(n, k) \sim \frac{(\zeta(2))^k}{\Gamma(k)\zeta(2k)} \frac{\sigma_{2k-1}(n)}{n^k} = \frac{(\zeta(2))^k}{\Gamma(k)\zeta(2k)} n^{k-1} \sigma_{-2k+1}(n)$$
  Questo risultato generalizza una formula trovata da Ramanujan nel suo saggio "On Certain Arithmetical Functions".

• Risoluzione della Congettura sulla Log-Concavità: Il saggio analizza il rapporto $R(n, k) = \frac{(\alpha(n, k))^2}{\alpha(n, k-1)\alpha(n, k+1)}$ per testare la congettura di Heim-Neuhauser.

  • Caso $k=2$: La congettura è falsa. Il limite inferiore del rapporto è 0:
    $$\liminf_{n \to \infty} \frac{(\alpha(n, 2))^2}{\alpha(n, 1)\alpha(n, 3)} = 0$$
    Ciò accade perché il termine che coinvolge $\zeta(2k-3)$ diventa $\zeta(1)$, che diverge.
  • Caso $k \geq 3$: La congettura è vera per $n$ sufficientemente grande. Il limite inferiore è strettamente maggiore di 1:
    $$\liminf_{n \to \infty} \frac{(\alpha(n, k))^2}{\alpha(n, k-1)\alpha(n, k+1)} = \frac{k}{k-1} \cdot \frac{\zeta(2k+2)\zeta(2k-2)}{(\zeta(2k))^2} \cdot \frac{(\zeta(2k-1))^2}{\zeta(2k-3)\zeta(2k+1)} > 1$$
    La dimostrazione mostra che la sequenza è asintoticamente log-concava per $k \geq 3$.

Significato e Rivendicazioni
Il saggio sostiene di fornire una versione "leggermente generalizzata" della formula di Ramanujan riguardante gli asintoti delle somme dei divisori e delle loro convoluzioni. Il suo contributo primario è la derivazione rigorosa del comportamento asintotico dei numeri di d'Arcais per piccoli $k$ fissi, un regime in cui le precedenti formule di grandi deviazioni (valide per $k \to \infty$) erano insufficienti.

L'autore dichiara esplicitamente che i risultati sono una "conseguenza immediata" del lavoro più recente di Oliver, Shrestha e Thorne, adattato al contesto specifico dei numeri di d'Arcais. Il saggio non rivendica di fornire limiti espliciti sulla dimensione di $n$ richiesti affinché il comportamento asintotico sia valido (a differenza del lavoro di Hong e Zhang sui polinomi di Okounkov-Nekrasov), ma fornisce piuttosto la formula esplicita per il limite inferiore del rapporto di log-concavità.

Il lavoro serve a chiarire il comportamento dei numeri di d'Arcais nel regime di "piccolo $k$", correggendo l'assunto che la congettura sulla log-concavità di Heim-Neuhauser valga universalmente per ogni $k$, confermandone al contempo la validità per $k \geq 3$ nel limite asintotico. L'autore nota che estendere queste tecniche asintotiche a $\ell \geq 3$ (il caso multidimensionale generale) rimane un problema aperto, poiché richiederebbe probabilmente di bypassare le forme modulari o di utilizzare i teoremi di Meinardus generalizzati.