[論文レビュー] Characterization of circuits supporting polynomial systems with the maximal number of positive solutions

Boulos El Hilany|arXiv (Cornell University)|Mar 6, 2016

Polynomial and algebraic computation参考文献 15被引用数 4

ひとこと要約

この論文は、$ℝ^n$ 内の回路が、最大の $n+1$ 個の非退化正解を持つ多項式系を支持するための完全な特徴付けを提供する。Grothendieck の実 dessins d’enfant を用いて制限を導出し、Viro の組み込み的パッチワーキングを用いて系を構成することで、回路がこのような系を支持するのは、そのアフィン関係が係数の部分和に関する特定の交互不等式を満たす場合に限ることを証明する。この不等式は $n$ の偶奇に応じて異なる。これにより、少項式設定における極値の正解支持の完全分類が得られる。

ABSTRACT

A polynomial system with $n$ equations in $n$ variables supported on a set $\\mathcal{W}\\subset\\mathbb{R}^n$ of $n+2$ points has at most $n+1$ non-degenerate positive solutions. Moreover, if this bound is reached, then $\\mathcal{W}$ is minimally affinely dependent, in other words, it is a circuit in $\\mathbb{R}^n$. For any positive integer number $n$, we determine all circuits $\\mathcal{W}\\subset\\mathbb{R}^n$ which can support a polynomial system with $n+1$ non-degenerate positive solutions. Restrictions on such circuits $\\mathcal{W}$ are obtained using Grothendieck's real dessins d'enfant, while polynomial systems with $n+1$ non-degenerate positive solutions are constructed using Viro's combinatorial patchworking.

研究の動機と目的

• 多項式系が $n+1$ 個の非退化正解を持つことができる $ℝ^n$ 内のすべての回路を特定すること。
• 最大解数が達成されるための、そのような回路のアフィン関係に関する必要十分条件を確立すること。
• アフィン同値性の下での完全分類を提供することで、従来の少項式境界と極大正解系に関する結果を統合・拡張すること。
• Viro のパッチワーキングを用いて、$n+1$ 解の上限に達する系を明示的に構成すること。

提案手法

• Grothendieck の実 dessins d’enfant を適用し、$n+1$ 個の正解を持つ回路の係数構造に課される制限を導出する。
• Viro の組み込み的パッチワーキングを用いて、特定の係数不等式を満たす回路から、$n+1$ 個の非退化正解を持つ多項式系を構成する。
• 回路のアフィン関係を、それぞれのサイズが $\lfloor(n+2)/2\rfloor$ および $\lceil(n+2)/2\rceil$ の2つの互いに素な部分集合に属する正係数の符号付き和として表現する。
• アフィン関係の両側における係数の部分和を定義し、厳密な交互不等式を課す：$r=1,\dots,s-1$ に対して $\sum_{i=1}^r \alpha_i < \sum_{i=s+1}^{s+r} \beta_i < \sum_{i=1}^{r+1} \alpha_i$ であり、$n$ が奇数の場合には調整を行う。
• 部分和 $p_i$ によって指数が定まる切り詰められた多項式 $P_{i,t}$ を結合して Viro の多項式 $G_t$ を構成し、ニュートン多面体の下側の凸包が必要な分割に一致することを保証する。
• 各顔部分多項式が符号が反対の係数を持つ二項式であることを証明し、各線分ごとに単一の単純な正の解を持つことを保証し、Lemma 4.1 を適用して $t>0$ が十分小さいとき $G_t$ が正確に $n+1$ 個の正の解を持つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^n$ 内のどの回路が、$n$ 個の多項式からなる系で $n+1$ 個の非退化正解を持つことができるか？
• RQ2 回路のアフィン関係の係数にどのような構造的条件が、最大の正解数を達成するために必要かつ十分か？
• RQ3 Viro のパッチワーキング法をどのように変更すれば、このような系を明示的に構成できるか？
• RQ4 Grothendieck の実 dessins d’enfant は、このような回路の係数配置の可能性をどのように制限するか？

主な発見

• 回路 $\mathcal{W} \subset \mathbb{R}^n$ が $n+1$ 個の非退化正解を持つ系を支持するのは、そのアフィン関係が正係数の部分和に関する指定された交互不等式を満たす場合に限る。
• Viro のパッチワーキングによる構成により、十分に小さい $t>0$ に対して多項式 $G_t$ が正確に $n+1$ 個の非退化正解を持ち、ニュートン多面体の下側凸包の各線分ごとに1つずつ存在することが保証される。
• アフィン関係に関する条件は必要かつ十分である：不等式が成立しない場合、系は $n+1$ 個の正解を達成できない。
• $n$ が偶数の場合、アフィン関係の両側における係数の部分和は、$r=1,\dots,s-1$ に対して $\sum_{i=1}^r \alpha_i < \sum_{i=s+1}^{s+r} \beta_i < \sum_{i=1}^{r+1} \alpha_i$ を満たす必要がある。ここで $s = (n+2)/2$ である。
• 奇数の $n$ の場合、不等式鎖は $\sum_{i=1}^r \alpha_i < \sum_{i=s+2}^{s+r+1} \beta_i < \sum_{i=1}^{r+1} \alpha_i$ となり、奇数個の点のためのインデックスのずれが反映されている。
• 本結果は、Bihan と Sottile の先行研究を一般化・完成させ、少項式理論における極値回路の完全分類を提供する。