[論文レビュー] On a real analogue of Bezout inequality and the number of connected of connected components of sign conditions

Sal Barone, Saugata Basu|arXiv (Cornell University)|Mar 7, 2013

Polynomial and algebraic computation参考文献 20被引用数 8

ひとこと要約

この論文は、代数閉体上で成立するベズォーの不等式の実閉体版を確立し、次数が制御された多項式によって定義される実代数的集合の半代数的連結成分の数に対する上界を提示する。古典的な結果を実の設定に拡張するが、ここでベズォーの不等式は成立しない。次数、次元、体のパラメータに依存する定量的境界を導出する。

ABSTRACT

Let $\mathrm{R}$ be a real closed field and $Q_1, \ldots, Q_{\ell} \in \mathrm{R}[X_1, \ldots,X_k]$ such that for each $i, 1 \leq i \leq \ell$, $\deg (Q_i) \leq d_i$. For $1 \leq i \leq \ell$, denote by $\mathcal{Q}_i = \{Q_1, \ldots, Q_i \}$, $V_i$ the real bvariety defined by $\mathcal{Q}_i$, and $k_i$ an upper bound on the real dimension of $V_i$ (by convention $V_0 = ^k$ and $k_0 = k$). Suppose also that \[ 2 \leq d_1 \leq d_2 \leq \frac{1}{k + 1} d_3 \leq \frac{1}{(k + 1)^2 d_4 \leq \cdots \leq \frac{1}{(k + 1)^{\ell - 3}} d_{\ell - 1} \leq \frac{1}{(k + 1)^{\ell - 2}} d_{\ell}, \] and that $\ell \leq k$. We prove that the number of semi-algebraically connected components of $V_{\ell}$ is bounded by \[ O (k)^{2 k} \left(\prod_{1 \leq j < \ell} d_j^{k_{j - 1} - k_j} ight) d_{\ell}^{k_{\ell - 1}} . \] This bound can be seen as a weak extension of the classical Bezout inequality (which holds only over algebraically closed fields and is provably false over real closed fields) to varieties defined over real closed fields. Additionally, if $\mathcal{P} \subset \mathrm{R}[X_1, \ldots, X_k] ocomma$ is a finite family of polynomials with $\deg (P) \leq d$ for all $P \in \mathcal{P}$, $\mathrm{card} \mathcal{P}= s$, and $d_{\ell} \leq \frac{1}{k + 1} d_{}$, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ restricted to $V_{\ell}$ is bounded by \[ O (k)^{2 k} (s d)^{k_{\ell}} \left(\prod_{1 \leq j \leq \ell} d_j^{k_{j - 1} - k_j} ight) .

研究の動機と目的

• 代数閉体でのみ成立するベズォーの不等式を、それどころか失敗することが知られている実閉体へと拡張すること。
• 次数が有界な多項式によって定義される実代数的集合の半代数的連結成分の数を束縛すること。
• このような集合に制限された多項式族の符号条件から生じる連結成分の数を分析すること。
• 次数、次元の低下、体のパラメータに依存する定量的境界を実代数幾何学において確立すること。

提案手法

• 多項式イデアル $\mathcal{Q}_i = \{Q_1, \ldots, Q_i\}$ を用いて、実代数的集合の入れ子構造 $V_i$ を定義し、それぞれの次数を $d_i$ とする。
• 各 $V_i$ に対して次元の上限 $k_i$ を導入し、$k_0 = k$ かつ $k_i \leq k_{i-1}$ となるようにし、次元の低下を追跡する。
• 階層的な次数条件を課す：$d_1 \geq 2$ であり、$j \leq \ell-1$ に対して $d_j \geq (k+1)^{j-2} d_{j+1}$ とし、成長を制御する。
• 再帰的な次元の低下と次数に基づく境界を用いて、連結成分の数に対する積形式の公式を導出する。
• 半代数的幾何の技法を適用し、$V_\ell$ 上の符号条件の連結成分の数を数える。多項式族の構造を活用する。
• 次数と次元の制約を組み合わせ、$O(k)^{2k}$ と $d_j^{k_{j-1} - k_j}$ を含む積項を用いて、一つの漸近的境界に統合する。

実験結果

リサーチクエスチョン

• RQ1 代数閉体上で成立するが、実閉体では失敗することが知られているベズォーの不等式の実版を、実閉体に対して定式化できるか？
• RQ2 次数が有界な多項式によって定義される実代数的集合から生じる半代数的連結成分の最大数は何か？
• RQ3 連続する多項式制約の次数と次元の低下が、実の設定における連結成分の数にどのように影響するか？
• RQ4 このような集合に制限された符号条件の連結成分の数にどの程度の境界を置けるか？
• RQ5 多項式の数、それらの次数、および環境次元の間の相互作用が、位相的複雑性にどのように影響するか？

主な発見

• $V_\ell$ の半代数的連結成分の数は、$O(k)^{2k} \left(\prod_{1 \leq j < \ell} d_j^{k_{j-1} - k_j}\right) d_\ell^{k_{\ell-1}}$ で上界がつけられる。
• この境界は、古典的なバージョンが失敗するにもかかわらず、実閉体で有効なベズォーの不等式の弱い実版として機能する。
• 次数 $\leq d$ の $s$ 個の多項式からなる族 $\mathcal{P}$ を $V_\ell$ に制限した場合、実現可能な符号条件の連結成分の数は、$O(k)^{2k} (sd)^{k_\ell} \left(\prod_{1 \leq j \leq \ell} d_j^{k_{j-1} - k_j}\right)$ で上界がつけられる。
• この境界は、次数の階層と次元の低下 $k_{j-1} - k_j$ に依存しており、多様体の階層的構造の複雑さを反映している。
• 境界は $\ell \leq k$ および $d_1 \geq 2$、$d_j \geq (k+1)^{j-2} d_{j+1}$ の制約のもとで成り立ち、成長が制御されていることを保証する。
• 導出された境界は有効的かつ定量的であり、実代数幾何における位相的複雑性の推定に向けたフレームワークを提供する。