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

Resumen Técnico: Sobre la agudeza de la cota de tipo Bézout de Khovanskiĭ para funciones pfaffianas

Planteamiento del problema
El teorema de Khovanskiĭ proporciona una cota superior fundamental de tipo Bézout sobre el número de soluciones reales aisladas para un sistema de $n$ ecuaciones pfaffianas en $n$ variables. Esta cota se expresa en términos de tres parámetros de complejidad: el grado de la cadena $\alpha$ (que controla los grados de las ecuaciones diferenciales polinomiales que definen la cadena), los grados $\beta_i$ de las propias funciones pfaffianas y el orden $s$ de la cadena pfaffiana subyacente. Si bien este teorema es central en la geometría pfaffiana y la o-minimalidad, la agudeza de la cota con respecto a estos parámetros permanece mayormente sin investigar. Específicamente, no está claro si la dependencia de $\alpha$, $\beta_i$ y $s$ es óptima, ya sea exacta o asintóticamente. El artículo aborda la pregunta abierta de investigar esta agudeza desde una perspectiva parámetro por parámetro, analizando cómo escala el número de ceros reales cuando los parámetros individuales crecen mientras los demás permanecen fijos.

Metodología
Los autores emplean un enfoque constructivo para establecer cotas inferiores en el número de ceros reales, testeando así la estrechez de la cota superior de Khovanskiĭ. La metodología se divide en dos construcciones primarias:

1. Agudeza en el grado de la cadena ($\alpha$): Para demostrar la agudeza en $\alpha$, los autores construyen una función pfaffiana específica de formato $(\alpha, 1, s)$ en una variable. La construcción se basa en un polinomio $p(x)$ cuidadosamente diseñado con raíces en los enteros $1, \dots, \alpha$ y un parámetro $a$. Al definir una función $f_1(x) = e^{ap(x)}$ y analizar el sistema $F(x) = f_1(x) - x$, utilizan el Teorema del Valor Intermedio para localizar $\alpha + 1$ ceros no degenerados distintos. Mediante un argumento inductivo que involucra intervalos anidados y ramas inversas de la función, demuestran que iterar este proceso $s$ veces produce un sistema con al menos $\alpha^s$ ceros reales no degenerados. Esta construcción asegura que los intervalos permanezcan disjuntos y libres de puntos críticos, garantizando la existencia de raíces distintas.

2. Agudeza en el grado de la función ($\beta$): Para investigar la dependencia de los parámetros de grado $\beta_i$, los autores utilizan un argumento de conteo de dimensiones dentro del espacio vectorial de las funciones pfaffianas. Consideran una cadena pfaffiana $\vec{q}$ cuyos componentes son algebraicamente independientes sobre el cuerpo de las funciones racionales. Al definir un espacio vectorial $V_\beta$ generado por monomios de grado total como máximo $\beta$ en las variables y los componentes de la cadena, calculan la dimensión de este espacio. Utilizando un mapa de evaluación lineal que impone condiciones sobre los valores y las derivadas de las funciones en un conjunto de puntos, prueban la existencia de un sistema de $n$ funciones pfaffianas con un número de ceros comunes regulares que coincide con la dimensión del espacio (escalada por $1/(n+1)$). Esto resulta en una cota inferior de $\Omega_{n,s}(\beta^{n+s})$.

Contribuciones clave y resultados
El artículo establece la agudeza asintótica de la cota de Khovanskiĭ con respecto a los parámetros $\alpha$ y $\beta$, mientras sugiere que la cota probablemente no es aguda con respecto a $s$.

• Agudeza en $\alpha$ (Teorema 1.2): Para $n, \beta$ y $s$ fijos, los autores prueban que para cada $\alpha, s \in \mathbb{N}$, existe una función pfaffiana de formato $(\alpha, 1, s)$ con al menos $\alpha^s$ ceros no degenerados. Esto coincide con el orden de crecimiento $\alpha^s$ predicho por la cota de Khovanskiĭ (Ecuación 1.1), confirmando que la dependencia del grado de la cadena es asintóticamente aguda.
• Agudeza en $\beta$ (Teorema 1.3 y Corolario 1.4): Asumiendo la existencia de una cadena pfaffiana algebraicamente independiente, los autores muestran que para $n, s$ y $\alpha$ fijos, existen sistemas de funciones pfaffianas con $\Omega_{n,s}(\beta^{n+s})$ ceros comunes regulares cuando $\beta \to \infty$. Esto coincide con el término de crecimiento dominante $(\max \beta_i)^{n+s}$ en la cota de Khovanskiĭ, estableciendo la agudeza en el régimen del parámetro de grado.
• Construcción combinada (Observación 1.5): Los autores señalan que los mecanismos de crecimiento para $\alpha$ y $\beta$ pueden combinarse mediante productos cartesianos de conjuntos de variables disjuntos. Esto produce un sistema de formato $(\max(\alpha, s), \beta, 2s)$ con $\Omega_{n,s}(\alpha^s \beta^{n+s-1})$ ceros. Plantean la pregunta abierta de si esto puede lograrse con el orden de la cadena original $s$ en lugar de $2s$.
• Agudeza en $s$ (Sección 3.3): El artículo observa que la cota de Khovanskiĭ crece exponencialmente en $s^2$ (específicamente $2^{\Theta(s^2)}$). Sin embargo, los ejemplos de los autores y la literatura existente (por ejemplo, para polinomios en $e^x$) sugieren que el número real de ceros crece mucho más lento, probablemente de forma exponencial en $s$ en lugar de $s^2$. Observan que para $s$ pequeño (por ejemplo, $s=2$), la brecha entre la cota y los ceros observados es significativa, aunque el Teorema 1.2 impide una cota de $o(2^s)$ para $\alpha, \beta, n$ fijos.

Significado
El artículo inicia un estudio sistemático de la agudeza de la cota de Khovanskiĭ, un resultado cuantitativo crítico en la teoría pfaffiana y la geometría o-minimal. Al probar que la dependencia del grado de la cadena $\alpha$ y del grado de la función $\beta$ es asintóticamente óptima, los autores clarifican los límites de la cota actual en estos regímenes. Este trabajo subraya que, si bien el teorema de Khovanskiĭ proporciona una herramienta general poderosa para acotar la complejidad de los conjuntos pfaffianos (incluyendo los componentes conexos y los números de Betti), la cota es ajustada para parámetros estructurales específicos. Los hallazgos sugieren que las mejoras futuras a la cota deben centrarse en la dependencia del orden de la cadena $s$, donde el exponente cuadrático actual en el término exponencial parece ser una sobreestimación. El artículo concluye que estos resultados son relevantes no solo para la geometría teórica, sino también para aplicaciones en geometría métrica y entornos aritméticos donde los conjuntos pfaffianos surgen naturalmente, como en el estudio de las distancias $\ell_p$ y las curvas elípticas.