On the Sharpness of Khovanskii's Bezout-type Bound for Pfaffian Functions

Technische Samenvatting: Over de scherpte van Khovanskiĭ's Bézout-type bovengrens voor Pfaffiaanse functies

Probleemstelling
Khovanskiĭ's stelling biedt een fundamentele Bézout-type bovengrens op het aantal geïsoleerde reële oplossingen voor een systeem van $n$ Pfaffiaanse vergelijkingen in $n$ variabelen. Deze bovengrens wordt uitgedrukt in termen van drie complexiteitsparameters: de keten-graad $\alpha$ (die de graden van de polynomiale differentiaalvergelijkingen die de keten definiëren, controleert), de graden $\beta_i$ van de Pfaffiaanse functies zelf, en de orde $s$ van de onderliggende Pfaffiaanse keten. Hoewel deze stelling centraal staat in de Pfaffiaanse meetkunde en o-minimaliteit, blijft de scherpte van de bovengrens met betrekking tot deze parameters grotendeels ononderzocht. Specifiek is het onduidelijk of de afhankelijkheid van $\alpha$, $\beta_i$ en $s$ optimaal is, hetzij exact, hetzij asymptotisch. Het artikel adresseert de open vraag om deze scherpte vanuit een parameter-per-parameter perspectief te onderzoeken, waarbij wordt geanalyseerd hoe het aantal reële nulpunten schaalt wanneer individuele parameters groeien terwijl anderen constant blijven.

Methodologie
De auteurs hanteren een constructieve aanpak om ondergrenzen op het aantal reële nulpunten vast te stellen, waarmee de nauwkeurigheid van Khovanskiĭ's bovengrens wordt getest. De methodologie is verdeeld in twee primaire constructies:

1. Scherpte in keten-graad ($\alpha$): Om de scherpte in $\alpha$ aan te tonen, construeren de auteurs een specifieke Pfaffiaanse functie van formaat $(\alpha, 1, s)$ in één variabele. De constructie rust op een zorgvuldig ontworpen polynoom $p(x)$ met nulpunten bij de gehele getallen $1, \dots, \alpha$ en een parameter $a$. Door een functie $f_1(x) = e^{ap(x)}$ te definiëren en het systeem $F(x) = f_1(x) - x$ te analyseren, maken zij gebruik van de tussenwaardestelling om $\alpha + 1$ verschillende niet-degeneratieve nulpunten te lokaliseren. Door een inductief argument met behulp van geneste intervallen en inverse takken van de functie, tonen zij aan dat het itereren van dit proces $s$ keer een systeem oplevert met ten minste $\alpha^s$ niet-degeneratieve reële nulpunten. Deze constructie waarborgt dat de intervallen disjoint blijven en vrij zijn van kritieke punten, wat de existentie van onderscheidende nulpunten garandeert.

2. Scherpte in functiegraad ($\beta$): Om de afhankelijkheid van de graadparameters $\beta_i$ te onderzoeken, maken de auteurs gebruik van een dimensie-telargument binnen de vectorruimte van Pfaffiaanse functies. Zij beschouwen een Pfaffiaanse keten $\vec{q}$ waarvan de componenten algebraïsch onafhankelijk zijn over het lichaam van rationale functies. Door een vectorruimte $V_\beta$ te definiëren die gespannen wordt door monomialen van totale graad ten hoogste $\beta$ in de variabelen en ketencomponenten, berekenen zij de dimensie van deze ruimte. Door een lineaire evaluatiemap te gebruiken die voorwaarden oplegt aan de waarden en afgeleiden van functies op een verzameling punten, bewijzen zij het bestaan van een systeem van $n$ Pfaffiaanse functies met een aantal reguliere gemeenschappelijke nulpunten dat overeenkomt met de dimensie van de ruimte (geschaald door $1/(n+1)$). Dit resulteert in een ondergrens van $\Omega_{n,s}(\beta^{n+s})$.

Belangrijkste bijdragen en resultaten
Het artikel stelt de asymptotische scherpte van Khovanskiĭ's bovengrens vast met betrekking tot de parameters $\alpha$ en $\beta$, terwijl het suggereert dat de bovengrens waarschijnlijk niet scherp is met betrekking tot $s$.

• Scherpte in $\alpha$ (Theorem 1.2): Voor vaste $n, \beta$ en $s$, bewijzen de auteurs dat er voor elke $\alpha, s \in \mathbb{N}$ een Pfaffiaanse functie van formaat $(\alpha, 1, s)$ bestaat met ten minste $\alpha^s$ niet-degeneratieve reële nulpunten. Dit komt overeen met de orde van groei $\alpha^s$ die door Khovanskiĭ's bovengrens (Vergelijking 1.1) wordt voorspeld, wat bevestigt dat de afhankelijkheid van de keten-graad asymptotisch scherp is.
• Scherpte in $\beta$ (Theorem 1.3 en Corollary 1.4): Onder de aanname van het bestaan van een algebraïsch onafhankelijke Pfaffiaanse keten, tonen de auteurs aan dat er voor vaste $n, s$ en $\alpha$, systemen van Pfaffiaanse functies bestaan met $\Omega_{n,s}(\beta^{n+s})$ reguliere gemeenschappelijke nulpunten naarmate $\beta \to \infty$. Dit komt overeen met de dominante groeiterm $(\max \beta_i)^{n+s}$ in Khovanskiĭ's bovengrens, waarmee de scherpte in het regime van de graadparameter wordt vastgesteld.
• Gecombineerde constructie (Remark 1.5): De auteurs merken op dat de mechanismen voor $\alpha$- en $\beta$-groei gecombineerd kunnen worden via Cartesiaanse producten van disjointe verzamelingen variabelen. Dit levert een systeem op van formaat $(\max(\alpha, s), \beta, 2s)$ met $\Omega_{n,s}(\alpha^s \beta^{n+s-1})$ nulpunten. Zij werpen de open vraag op of dit kan worden bereikt met de oorspronkelijke ketenorde $s$ in plaats van $2s$.
• Scherpte in $s$ (Section 3.3): Het artikel merkt op dat Khovanskiĭ's bovengrens exponentieel groeit in $s^2$ (specifiek $2^{\Theta(s^2)}$). De auteurs stellen echter dat hun voorbeelden en bestaande literatuur (bijv. voor polynomen in $e^x$) suggereren dat het werkelijke aantal nulpunten veel langzamer groeit, waarschijnlijk exponentieel in $s$ in plaats van in $s^2$. Zij merken op dat voor kleine $s$ (bijv. $s=2$), het gat tussen de bovengrens en de geobserveerde nulpunten aanzienlijk is, hoewel Theorem 1.2 voorkomt dat er een bovengrens van $o(2^s)$ bestaat voor vaste $\alpha, \beta, n$.

Betekenis
Dit artikel initieert een systematische studie naar de scherpte van Khovanskiĭ's bovengrens, een cruciaal kwantitatief resultaat in de Pfaffiaanse theorie en o-minimale meetkunde. Door te bewijzen dat de afhankelijkheid van de keten-graad $\alpha$ en de functiegraad $\beta$ asymptotisch optimaal is, verhelderen de auteurs de grenzen van de huidige bovengrens in deze regimes. Dit werk benadrukt dat hoewel Khovanskiĭ's stelling een krachtig algemeen instrument biedt voor het begrenzen van de complexiteit van Pfaffiaanse verzamelingen (inclusief verbonden componenten en Betti-getallen), de bovengrens strikt is voor specifieke structurele parameters. De bevindingen suggereren dat toekomstige verbeteringen aan de bovengrens zich moeten richten op de afhankelijkheid van de ketenorde $s$, waar de huidige kwadratische exponent in de exponentiële term een overschatting lijkt te zijn. Het artikel concludeert dat deze resultaten niet alleen relevant zijn voor de theoretische meetkunde, maar ook voor toepassingen in de metrische meetkunde en aritmetische settings waar Pfaffiaanse verzamelingen van nature voorkomen, zoals in de studie van $\ell_p$-afstanden en elliptische krommen.