[論文レビュー] Algebraic geometry over free semilattice

Аrtеm N. Shevlyakov|arXiv (Cornell University)|Jan 12, 2014

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

ひとこと要約

本稿では、無限ランクの自由半ラティス上における代数幾何学を展開し、既約代数的集合の座標半ラティスの分類を確立することで、それらの座標代数の普遍的半ラティス埋め込みを導入し、有限公理系を提供する。これにより、任意の代数的集合を既約成分に分解するアルゴリズム的手段が可能となり、自由パラメータを用いたパラメータ化も可能となる。

ABSTRACT

We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic problems.

研究の動機と目的

• 標準的なネーター性が成立しない無限ランクの自由半ラティスへの普遍的代数的幾何学の拡張を図ること。
• このような自由半ラティス上における既約代数的集合の座標半ラティスの分類を達成すること。
• 任意の代数的集合を既約成分に分解するためのアルゴリズムの開発。
• 自由パラメータと定数係数を用いた代数的集合のパラメータ化の提供。
• 自由半ラティス上の有限方程式系の整合性問題の解決。

提案手法

• 無限半ラティスにおける方程式的ネーター性の弱体化である、整合性系に対するネーター性（NPC）の概念を導入する。
• 無限ランクの自由半ラティスを基本構造として採用し、その普遍的半ラティスへの埋め込みを活用する。
• 有限個の論理的公理を用いて、普遍的代数的幾何学的手法により座標半ラティスを分類する。
• コアの整合性を検査し、システムを既約成分に分割する分解アルゴリズムを適用する。
• 解集合を表現するための係数を含まない項と定数項を用いたパラメータ化式を導出する。
• 半ラティスにおける部分順序および素性関係を用いて、方程式系および解集合を分析する。

実験結果

リサーチクエスチョン

• RQ1 無限ランクの自由半ラティス上における既約代数的集合の座標半ラティスの構造はどのようなものか？
• RQ2 任意の代数的集合を、このような半ラティス上での既約代数的集合の和集合にアルゴリズム的に分解する方法は何か？
• RQ3 任意の代数的集合のパラメータ化の形は、自由パラメータと定数項を用いてどのように表現できるか？
• RQ4 自由半ラティス上の有限方程式系がどのような条件下で整合的か？
• RQ5 どの論理的公理が、既約代数的集合の座標半ラティスのクラスを完全に特徴付けるか？

主な発見

• 無限ランクの自由半ラティスはNPC性を満たしており、完全な方程式的ネーター性が成立しないにもかかわらず、普遍的代数的幾何学的手法の適用が可能である。
• 自由半ラティス上における既約代数的集合の座標半ラティスは、普遍的半ラティスに埋め込むことができ、これにより標準的な上界が得られる。
• 有限個の公理が、既約代数的集合の座標半ラティスのクラスを論理的に定義する。
• コアの分析に基づき、任意の代数的集合を有限個の既約成分の和集合に分解するアルゴリズムが構成された。
• 一般化されたパラメータ化式（13）により、任意の代数的集合が自由パラメータおよび定数項の像の和集合として表現可能である。
• 定理6.1により、方程式系のコアが空であるかのチェックによって、有限方程式系の整合性が決定可能であることが示された。