[論文レビュー] On Lazard's Valuation and CAD Construction

Scott McCallum, Hoon Hong|arXiv (Cornell University)|Jan 26, 2015

Polynomial and algebraic computation参考文献 11被引用数 3

ひとこと要約

この論文は、多変数多項式の点におけるLazardの値付けを厳密に検討し、基礎的性質を確立するとともに、値付け不変性と順序不変性の関係を明らかにする。n=3の場合にLazardの主なCAD構成に関する主張をより強い仮定の下で証明し、1990年の彼の改良型射影法における限られた枠組みを是正する。

ABSTRACT

In 1990 Lazard proposed an improved projection operation for cylindrical algebraic decomposition (CAD). For the proof he introduced a certain notion of valuation of a multivariate Puiseux series at a point. However a gap in one of the key supporting results for the improved projection was subsequently noticed. In this report we study a more limited but rigorous concept of Lazard's valuation: namely, we study Lazard's valuation of a multivariate polynomial at a point. We prove some basic properties of the limited Lazard valuation and identify some relationships between valuation-invariance and order-invariance.

研究の動機と目的

• 多変数多項式のCylindrical Algebraic Decomposition（CAD）におけるLazardの1990年の主張に、より厳密で限定的な値付けの概念を用いてギャップを埋める。
• 特に実空間または複素空間内の点における、体上の多変数多項式のLazardの値付けの基礎的性質を確立する。
• 点の近傍における多項式の挙動の文脈で、値付け不変性と順序不変性の関係を明確化する。
• 特に非well-orientedな多項式集合に対して、Lazardの広範な主張を検証するための基盤を提供する。
• 収束の困難さを考慮しても、理論をPuisseux級数や有理関数へと拡張するための土台を築く。

提案手法

• 多項式 f の点 a におけるLazardの値付けを、対応する偏微分が a で消えないような、辞書式順序で最小の多重指数 (v₁,…,vₙ) として定義する。
• ℕⁿ 上の辞書式順序を用いて、値付け定義における一意性と最小性を保証する。
• f(a) ≠ 0 ならば vₐ(f) = (0,…,0) であるなどの基本的性質を証明し、vₐ(f/g) = vₐ(f) − vₐ(g) を用いて有理関数へと値付けを拡張する。
• 特定の条件下で値付け不変性が順序不変性を意味することを示し、順序不変性が局所的に有界であることも示す。
• n=3 の場合に、Lazardの主張（値付け不変性とCAD構成の関係）が、当初の主張よりもやや強い仮定の下で成り立つことを確立する。
• 収束領域が制限されるため、多変数Puisseux級数への値付けの拡張に課される課題を分析する。

実験結果

リサーチクエスチョン

• RQ1 Lazardの多変数多項式の値付けは、厳密に定義可能であり、その基本的性質を証明できるか？
• RQ2 点における多項式の文脈で、値付け不変性と順序不変性の関係は何か？
• RQ3 n=3 において、Lazardの主なCAD構成に関する主張（値付け不変性を用いたもの）は、より強い仮定の下で成り立つか？
• RQ4 多変数Puisseux級数へのLazardの値付けの拡張を妨げる根本的障壁は何か？
• RQ5 Lazardの値付け理論は、有理関数やべき級数環へと意味的に拡張可能か？

主な発見

• 多変数多項式の点におけるLazardの値付けは、非ゼロとなる偏微分に対応する辞書式最小の多重指数として、明確に定義される。
• f(a) ≠ 0 であることは、vₐ(f) = (0,…,0) と同値であり、点における非消滅性と直接的な関係を示す。
• 値付け不変性は点の近傍で順序不変性を意味し、順序不変性は局所的に有界であるため、CAD構成を支持する。
• n=3 の場合に、Lazardの主張（値付け不変性とCAD構成の関係）は、当初の主張よりもやや強い仮定の下で証明された。
• 多変数Puisseux級数への値付けの拡張は、収束領域が狭いために制限を受ける。このような級数は点の周囲の細い領域でのみ収束する可能性がある。
• 多項式のLazardの値付け理論は、今後の探求のための堅実な基盤を提供するが、より一般の級数への拡張は依然として困難である。