On the Log-Concavity of the D'Arcais Polynomials for Normalised Functions

Technische Samenvatting: Over de log-concaviteit van de D'Arcais-polynomen voor genormaliseerde functies

Probleemstelling
Het artikel onderzoekt de log-concaviteitseigenschappen van D'Arcais-polynomen (ook bekend als Nekrasov–Okounkov-polynomen), aangeduid als $P_n^g(X)$. Deze polynomen komen voort uit de coëfficiënten in de Fourier-expansie van het oneindige product $\prod_{n=1}^\infty (1-q^n)^{-f_g(n)X}$, waarbij $g$ een genormaliseerde rekenkundige functie is ($g(1)=1$) en $f_g$ een geschaalde convolutie is van $g$ met de Möbius-functie. Specifiek behandelt het artikel de log-concaviteit van de coëfficiëntsequenties $p_n^g(k)$ (de coëfficiënt van $X^k$ in $P_n^g(X)$).

De centrale probleemstelling betreft drie verschillende modi van log-concaviteit:

1. Horizontale Log-concaviteit: De sequentie $(p_n^g(k))_{k}$ is log-concaaf in $k$ als $(p_n^g(k))^2 \geq p_n^g(k+1)p_n^g(k-1)$. Dit heeft betrekking op Conjectuur 1.1 (Heim–Neuhauser) en Conjectuur 1.2 (Abdesselam), die log-concaviteit voor alle $k \geq 1$ postuleren. Echter, deze conjecturen staan erom bekend te falen in specifieke gevallen (bijv. $\ell=2, k=2$).
2. Verticale Log-concaviteit: De sequentie $(p_n^g(k))_{n}$ is log-concaaf in $n$ als $(p_n^g(k))^2 \geq p_{n+1}^g(k)p_{n-1}^g(k)$.
3. Skew Log-concaviteit: Een nieuwe variant geïntroduceerd in dit werk, gedefinieerd voor $n \geq k+1$ door de ongelijkheid $(p_n^g(n-k))^2 \geq p_{n+1}^g(n+1-k)p_{n-1}^g(n-1-k)$. Dit onderzoekt de log-concaviteit van de coëfficiënten langs de "skew" diagonaal van de driehoekige opstelling van de polynoomcoëfficiënten.

Methodologie
De auteur maakt gebruik van een combinatie van combinatorische analyse, recursierelaties en asymptotische polynoomanalyse.

• Renormalisatie: De analyse richt zich op de gerenormaliseerde polynomen $A_n^g(X) = n! P_n^g(X)$, die gehele coëfficiënten hebben en de recursierelaties vereenvoudigen.
• Recursierelaties: Het artikel maakt gebruik van de recursierelatie afgeleid van de differentiaaloperator toegepast op de genererende functie:
  $$a_n^g(k) = \sum_{m=1}^{n-k+1} \frac{(n-1)!}{(n-m)!} g(m) a_{n-m}^g(k-1)$$
  waarbij $a_n^g(k)$ de coëfficiënten van $A_n^g(X)$ zijn.
• Polynoomrepresentatie van Coëfficiënten: Een cruciale methodologische stap is het bewijzen dat, voor een vaste $k$, de coëfficiënt $a_n^g(n-k)$ zich gedraagt als een polynoom in $n$ (aangeduid als $c_k^g(n)$) onder specifieke voorwaarden op de rekenkundige functie $g$. Dit wordt vastgesteld via Lemma 4.1 en Proposition 4.3, die gebruikmaken van de structuur van de recursie en het verdwijnen van $g(m)$ voor kleine $m$.
• Asymptotische Analyse: De log-concaviteitsongelijkheden worden gereduceerd tot het vergelijken van de leidende coëfficiënten van de polynomen. Het artikel roept Lemma 4.4 aan, die stelt dat voor elke polynoom $f(X)$ van graad $d \geq 1$, de uitdrukking $f(X)^2 - f(X+1)f(X-1)$ wordt gedomineerd door een positieve term $2d a_d^2 X^{2d-2}$ voor grote $X$, wat impliceert dat er uiteindelijk sprake is van log-concaviteit.

Belangrijkste Bijdragen en Resultaten

1. Horizontale en Verticale Log-concaviteit (Theorem 2.1):
   Het artikel bewijst dat voor een genormaliseerde $\mathbb{Z}$-waardige rekenkundige functie $g$ met $g(2) \neq 0$, de sequenties van coëfficiënten uiteindelijk log-concaaf zijn in zowel horizontale als verticale richting. Specifiek, voor elke vaste $k$, bestaan er drempelwaarden $n_h(g, k)$ en $n_v(g, k)$ waarvoor de polynomen voor alle $n$ voorbij deze drempels horizontaal log-concaaf zijn bij $n-k$ en verticaal log-concaaf bij $n-k$. Dit resultaat versterkt eerdere bevindingen van Abdesselam et al. en Starr, door een bredere klasse van functies te bieden waarvoor deze eigenschappen gelden asymptotisch.

2. Introductie van Skew Log-concaviteit (Theorem 2.2):
   Het artikel introduceert het concept van skew log-concaviteit en stelt vast dat dit geldig is onder specifieke voorwaarden:

   • Als $g$ een genormaliseerde $\mathbb{N}$-waardige functie is waarbij $g(\kappa) \neq 0$ en $g(m) = 0$ voor $2 \leq m \leq \kappa$, dan zijn de polynomen skew-log-concaaf bij $k$ voor voldoende grote $n$.
   • In het specifieke geval waar $g = e$ (de identiteit voor Dirichlet-convolutie, waarbij $e(1)=1$ en $e(n)=0$ voor $n>1$), zijn de polynomen overal skew-log-concaaf.

3. Expliciete Coëfficiëntformules:
   Sectie 5 biedt expliciete polynoomformules voor de coëfficiënten $a_n^g(n)$, $a_n^g(n-1)$, en $a_n^g(n-2)$ voor algemene $g$ en specifieke gevallen zoals de identiteitsfunctie $E$, machtsfuncties $I_\ell$, en som-van-divisoren functies $\sigma_\ell$.

Betekenis en Claims
Het artikel claimt een "versterking" te bieden van eerdere resultaten betreffende de log-concaviteit van D'Arcais-polynomen door vast te stellen dat deze eigenschappen asymptotisch gelden voor een brede familie van rekenkundige functies, zelfs waar globale conjecturen falen.

De primaire nieuwheid ligt in de introductie en analyse van skew log-concaviteit. De auteur rechtvaardigt dit nieuwe perspectief door op te merken dat terwijl eerder onderzoek zich richtte op coëfficiënten beginnend vanaf de onderkant van de polynoom (lage machten van $X$), het skew-perspectief (het onderzoeken van coëfficiënten nabij de bovenkant, d.w.z. $X^{n-k}$) een "opmerkelijke eenvoud" in de stellingen oplevert, met name voor het geval $g=e$. Het werk demonstreert dat de coëfficiënten $a_n^g(n-k)$ polynomen in $n$ zijn, een structureel inzicht dat het mogelijk maakt om asymptotische argumenten toe te passen om log-concaviteit voor grote $n$ te bewijzen.

Het artikel blijft bescheiden over de reikwijdte van deze resultaten en erkent dat er expliciete tegenvoorbeelden bestaan voor kleine $n$ of specifieke parameters (zoals getoond door Starr en anderen), en dat de afgeleide drempels $n_h$ en $n_v$ existentie-resultaten zijn in plaats van altijd nauwe, expliciete grenzen te bieden voor alle gevallen. Het werk concludeert door te suggereren dat er verder onderzoek nodig is naar de onderlinge afhankelijkheid van horizontale, verticale en skew log-concaviteit.