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

技术摘要：关于 Khovanskĭ 关于 Pfaffian 函数的 Bézout 型上界的锐度研究

问题陈述
Khovanskĭ 定理为 $n$ 个变量在 $n$ 个 Pfaffian 方程下的孤立实解数量提供了一个基础性的 Bézout 型上界。该界限通过三个复杂度参数来表达：链次数 $\alpha$（控制定义 Pfaffian 链的多项式微分方程的次数）、Pfaffian 函数本身的次数 $\beta_i$ 以及底层 Pfaffian 链的阶数 $s$。虽然该定理在 Pfaffian 几何和 o-minimal 理论中处于核心地位，但其关于这些参数的锐度（sharpness）在很大程度上仍未得到深入研究。具体而言，目前尚不清楚对 $\alpha, \beta_i$ 和 $s$ 的依赖关系是否是最优的，无论是精确意义上还是渐近意义上的。本文旨在解决这一开放性问题，即从逐参数的角度研究这种锐度，分析当单个参数增长而其他参数保持固定时，实零点的数量如何缩放。

方法论
作者采用构造性方法来建立实零点的下界，从而测试 Khovanskĭ 上界的紧致性。该方法分为两个主要构造：

1. 在链次数 ($\alpha$) 方面的锐度： 为了证明 $\alpha$ 的锐度，作者构造了一个关于单变量的格式为 $(\alpha, 1, s)$ 的特定 Pfaffian 函数。该构造依赖于一个精心设计的多项式 $p(x)$，其根位于整数 $1, \dots, \alpha$ 以及参数 $a$。通过定义函数 $f_1(x) = e^{ap(x)}$ 并分析系统 $F(x) = f_1(x) - x$，作者利用介值定理定位了 $\alpha + 1$ 个不同的非退化零点。通过涉及嵌套区间和函数反向分支的归纳论证，他们证明了迭代此过程 $s$ 次会产生一个至少拥有 $\alpha^s$ 个非退化实零点的系统。这种构造确保了区间保持不相交且无临界点，从而保证了不同根的存在。

2. 在函数次数 ($\beta$) 方面的锐度： 为了研究对函数次数参数 $\beta_i$ 的依赖关系，作者在 Pfaffian 函数的向量空间内使用了维度计数论证。他们考虑了一个其分量相对于有理函数域代数独立的 Pfaffian 链 $\vec{q}$。通过定义一个由变量和链分量中总次数至多为 $\beta$ 的单项式所张成的向量空间 $V_\beta$，他们计算了该空间的维度。通过使用一个对函数在一点处的取值和导数施加条件的线性评估映射，他们证明了存在一个具有与该空间维度（经 $1/(n+1)$ 缩放）相匹配的正规公共零点个数的 $n$ 个 Pfaffian 函数系统。这导致了一个下界 $\Omega_{n,s}(\beta^{n+s})$。

主要贡献与结果
本文确立了 Khovanskĭ 上界关于参数 $\alpha$ 和 $\beta$ 的渐近锐度，同时表明该上界在关于 $s$ 的依赖上可能不是锐利的。

• $\alpha$ 的锐度（定理 1.2）： 对于固定的 $n, \beta$ 和 $s$，作者证明了对于每个 $\alpha, s \in \mathbb{N}$，都存在一个格式为 $(\alpha, 1, s)$ 的 Pfaffian 函数，其具有至少 $\alpha^s$ 个非退化实零点。这符合 Khovanskĭ 上界（公式 1.1）预测的 $\alpha^s$ 增长阶，证实了对链次数的依赖在渐近意义上是锐利的。
• $\beta$ 的锐度（定理 1.3 和推论 1.4）： 在假设存在代数独立 Pfaffian 链的前提下，作者表明对于固定的 $n, s$ 和 $\alpha$，当 $\beta \to \infty$ 时，存在具有 $\Omega_{n,s}(\beta^{n+s})$ 个正规公共零点的 Pfaffian 函数系统。这匹配了 Khovanskĭ 上界中的主增长项 $(\max \beta_i)^{n+s}$，确立了在函数次数参数机制下的锐度。
• 组合构造（备注 1.5）： 作者指出，$\alpha$ 和 $\beta$ 的增长机制可以通过不相交变量集的笛卡尔积结合起来。这产生了一个格式为 $(\max(\alpha, s), \beta, 2s)$ 且具有 $\Omega_{n,s}(\alpha^s \beta^{n+s-1})$ 个零点的系统。他们提出了一个开放性问题：是否可以在原有的链阶 $s$ 而非 $2s$ 下实现这一点。
• $s$ 的锐度（第 3.3 节）： 本文观察到 Khovanskĭ 的上界关于 $s^2$ 指数级增长（具体为 $2^{\Theta(s^2)}$）。然而，作者的示例及现有文献（例如关于 $e^x$ 的多项式）表明，实际的零点数量增长要慢得多，很可能是关于 $s$ 指数级增长而非 $s^2$。他们指出，对于较小的 $s$（例如 $s=2$），上界与观测到的零点之间的差距是显著的，尽管定理 1.2 防止了对于固定的 $\alpha, \beta, n$ 出现 $o(2^s)$ 的情况。

意义
本文开启了对 Khovanskĭ 上界锐度的系统性研究，这是一个在 Pfaffian 理论和 o-minimal 几何中至关重要的定量结果。通过证明对链次数 $\alpha$ 和函数次数 $\beta$ 的依赖在渐近意义上是最优的，作者明确了当前上界的极限。这项工作强调，虽然 Khovanskĭ 定理为估计 Pfaffian 集的复杂度（包括连通分支和 Betti 数）提供了强大的通用工具，但在特定的结构参数下，该上界是紧致的。研究结果表明，未来对上界的改进必须集中在对链阶 $s$ 的依赖上，因为目前的指数项中的二次指数似乎是一个高估。本文的研究结论不仅对理论几何具有意义，对于在度量几何和算术设置中自然出现 Pfaffian 集的应用（如在 $\ell_p$ 距离和椭圆曲线的研究中）也具有重要价值。