[论文解读] 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-关系，此条件在预像满足特定凸性条件下可保证成立。