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

技術要約：ホフマンスキーイのパフィアン関数に関するベズー型境界の鋭さについて

問題設定
ホフマンスキーイの定理は、$n$ 個の変数に対する $n$ 個のパフィアン方程式の孤立した実解の数に関する、基礎的なベズー型の次数上界を提供している。この境界は、3つの複雑性パラメータによって記述される：鎖の次数 $\alpha$（鎖を定義する多項微分方程式の次数を制御する）、パフィアン関数自体の次数 $\beta_i$、および基礎となるパフィアン鎖の次数 $s$ である。この定理はパフィアン幾何学やo-ミニマリティの中心的なものであるが、この境界の鋭さが各パラメータに関してどの程度であるかは、ほとんど調査されていない。具体的には、$\alpha, \beta_i, s$ に対する依存性が、正確に、あるいは漸近的に最適であるかどうかが不明である。本論文は、パラメータごとの観点から、個々のパラメータが増大する際に実零点の数がどのようにスケールするかを分析することで、この開かれた問いを扱う。

手法
著者らは、ホフマンスキーイのベズー型上界のタイトさを検証するために、実零数の下界を確立する構成的なアプローチを採用している。その手法は、主に2つの構成法に分かれている：

1. 鎖の次数 ($\alpha$) における鋭さ： $\alpha$ における鋭さを示すために、著者らは1変数における形式 $(\alpha, 1, s)$ の特定のパフィアン関数を構成する。この構成は、整数 $1, \dots, \alpha$ に根を持ち、パラメータ $a$ を持つ、注意深く設計された多項式 $p(x)$ に依拠している。関数 $f_1(x) = e^{ap(x)}$ を定義し、系 $F(x) = f_1(x) - x$ を分析することにより、中間値の定理を用いて $\alpha + 1$ 個の異なる非退化零点を特定する。入れ子状の区間と関数の逆枝を用いた帰納的な議論を通じて、このプロセスを $s$ 回反復することで、少なくとも $\alpha^s$ 個の非退化な実零点を持つ系が得られることを示す。この構成は、区間が互いに離れており、臨界点を持たないことを保証し、異なる根の存在を保証する。

2. 関数の次数 ($\beta$) における鋭さ： 次数パラメータ $\beta_i$ への依存性を調査するために、著者らはパフィアン関数のベクトル空間内での次元計算を用いた議論を利用する。著者らは、有理関数体上で代数的に独立なパフィアン鎖 $\vec{q}$ を考える。変数と鎖の成分の合計次数が最大 $\beta$ である単項式によって生成されるベクトル空間 $V_\beta$ を定義し、この空間の次元を計算する。関数とその導関数の値を一連の点において課す線形評価写像を用いることで、正則な共通零点の数が、空間の次元（$1/(n+1)$ 倍にスケールされたもの）に一致するような $n$ 個のパフィアン関数の系が存在することを証明する。これにより、$\Omega_{n,s}(\beta^{n+s})$ という下界が得られる。

主要な貢献と結果
本論文は、パラメータ $\alpha$ および $\beta$ に関するホフマンスキーイの境界の漸近的な鋭さを確立し、一方で $s$ に関しては境界は鋭くない可能性が高いことを示唆している。

• $\alpha$ における鋭さ (定理 1.2)： $n, \beta, s$ を固定した場合、任意の $\alpha, s \in \mathbb{N}$ に対して、少なくとも $\alpha^s$ 個の非退化な実零点を持つ形式 $(\alpha, 1, s)$ のパフィアン関数が存在することを証明する。これは、ホフマンスキーイの境界（式 1.1）が予測する成長の次数 $\alpha^s$ と一致しており、鎖の次数に対する依存性が漸近的に鋭いことを確認している。
• $\beta$ における鋭さ (定理 1.3 および系 1.4)： 代数的に独立なパフィアン鎖の存在を仮定すると、$\beta \to \infty$ のとき、$\Omega_{n,s}(\beta^{n+s})$ 個の正則な共通零点を持つパフィアン関数の系が存在することを示す。これは、ホフスキーイの境界における支配的な成長項 $(\max \beta_i)^{n+s}$ と一致しており、次数パラメータの領域における鋭さを確立している。
• 結合構成 (注釈 1.5)： 著者らは、$\alpha$ と $\beta$ の成長のメカニズムは、互いに素な変数集合の直積を通じて結合可能であると述べている。これにより、$\Omega_{n,s}(\alpha^s \beta^{n+s-1})$ 個の零点を持つ形式 $(\max(\alpha, s), \beta, 2s)$ の系が得られる。彼らは、元の鎖の次数 $s$ ではなく $2s$ を用いることなくこれが達成可能かという開いた問題を提起している。
• $s$ における鋭さ (セクション 3.3)： 本論文は、ホフマンスキーイの境界が $s^2$ において指数関数的に増大する（具体的には $2^{\Theta(s^2)}$）ことを観察している。しかし、著者らの例や既存の文献（例えば $e^x$ の多項式など）は、実際の零数の増大はるかに遅く、おそらく $s^2$ ではなく $s$ に対して指数関数的であることを示唆している。彼らは、$s$ が小さい場合（例えば $s=2$）でも、境界と観察された零数の間のギャップは顕著であるが、定理 1.2 は固定された $\alpha, \beta, n$ に対して $o(2^s)$ となる境界を否定している。

意義
本論文は、パフィアン理論およびo-ミニマル幾何学における重要な定量的結果である、ホフマンスキーイの境界の鋭さに関する系統的な研究を開始するものである。$\alpha$（鎖の次数）および $\beta$（関数の次数）に対する依存性が漸近的に最適であることを証明することにより、著者らはこれらの領域における現在の境界の限界を明確にしている。この研究は、ホフマンスキーイの定理がパフィアン集合（連結成分やベッチ数を含む）の複雑さを制限する強力な一般的なツールを提供する一方で、その境界は特定の構造的パラメータに対してはタイトであることを強調している。これらの知見は、将来の境界の改善が、現在の指数項における二次的な指数を持つと思われる、鎖の次数 $s$ への依存性に焦点を当てなければならないことを示唆している。本論文は、これらの結果が理論幾何学だけでなく、$\ell_p$ 距離や楕円曲線などのパフィアン集合が自然に現れる計量幾何学や算術的な設定における応用においても重要であると結論付けている。