[論文レビュー] Monoid Valuations and Value Ordered Supervaluations

Zur Izhakian, Manfred Knebusch+1 more|arXiv (Cornell University)|Jan 1, 2011

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

ひとこと要約

この論文は、完全順序付き超トロピカル半体において、モノイド価値（m-価値）と価値順序付き超価値を導入し、それらを分析することで、超トロピカル価値理論を前進させる。m-価値を価値に変換する標準的な粗化手続きを確立し、V-およびV⁰-価値がm-価値を支配することを示し、順序適合TE関係（OCTE関係）が単調な伝達をもたらすことを証明することで、完全順序付き超トロピカル半体における超価値および支配関係の体系的構成が可能になる。

ABSTRACT

We complement two papers on supertropical valuation theory ([IKR1],[IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations discussed have values in totally ordered supertropical semirings, and the transmissions discussed respect the orderings. Basics of a theory of such semirings and transmissions are developed as far as needed.

研究の動機と目的

• m-価値が超トロピカル価値理論において果たす役割を明確にし、価値のみで十分であるという見方に対抗すること。
• V-およびV⁰-価値を用いて、m-価値および超価値の自然で明示的な例を提供すること。
• 完全順序付き超トロピカル半体およびその伝達の理論を構築すること。
• 同値関係が順序適合性を満たすことで、単調な伝達が得られる条件を特定すること。
• 準同型的同値関係が順序適合性を満たす（OCTE関係となる）ための条件を確立し、商構成を可能にする。

提案手法

• 半体上でのV-価値およびV⁰-価値を、m-価値の自然なクラスとして導入する。
• m-価値を価値に変換する標準的な粗化手続きを開発し、V-またはV⁰-構造を保存することを保証する。
• 完全順序付き超トロピカル半体（TOS）を定義し、そのような構造に値をとる超価値を構成する。
• 順序適合TE関係（OCTE関係）を導入し、このような関係が商写像を介して単調な伝達を誘導することを証明する。
• OCTE関係Eに対して、商U/Eが一意に完全順序付き超トロピカル構造を引き継ぐことを確立する。
• 全射的単調伝達は、すべてのOCTE関係Eに対して商写像πEとして正確に得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 m-価値は、V-またはV⁰型といった構造的性質を保ちつつ、標準的な手続きで価値に変換可能か？
• RQ2 超トロピカル半体上の準同型的同値関係が順序適合性（OCTE）を満たすための条件は何か？
• RQ3 OCTE関係は、単調伝達および商超トロピカル半体の構成とどのように関係するか？
• RQ4 V-およびV⁰-価値は、どのようにして一般のm-価値を標準的に支配するか？
• RQ5 全順序適合性が、商構造が超トロピカル的および順序付き半体的性質を引き継ぐことを保証する役割を果たすのはどのような点か？

主な発見

• 非自明な任意のm-価値は、標準的にV-価値およびV⁰-価値の両方を支配する。
• m-価値の標準的粗化は価値をもたらし、元がV-またはV⁰-価値であれば、粗化後の結果も同じ型のまま保たれる。
• 完全順序付き超トロピカル半体U上の任意のOCTE関係Eは、商U/Eに一意に完全順序付き超トロピカル構造を誘導する。
• 商写像πE : U → U/Eは単調伝達であり、したがって半体準同型である。
• すべての全射的単調伝達は、あるOCTE関係Eに対する商写像πEとして正確に得られる。
• 同値類が凸である場合、E(a) や E(U, A, Φ) などの準同型的同値関係はOCTE関係である。これは、逆像に特定の凸性条件が満たされると保証される。