[논문 리뷰] Monoid Valuations and Value Ordered Supervaluations

Zur Izhakian, Manfred Knebusch외 1명|arXiv (Cornell University)|2011. 01. 01.

Polynomial and algebraic computation참고 문헌 13인용 수 2

한 줄 요약

이 논문은 완전순서가 부여된 수퍼트로픽 세미환에서 단순군 값 매가(모노이드 값 매가, m-valuations)와 값 순서가 부여된 수퍼트로픽 매가를 도입하고 분석함으로써 수퍼트로픽 매가 이론을 발전시킨다. m-valuations를 매가로 변환하는 정규화 과정을 수립하고, V- 및 V⁰-valuations가 m-valuations를 지배함을 보이며, 순서 호환성 있는 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-valuations의 역할를 명확히 하여, 매가만으로도 충분하다는 인식에 대비함.
• V- 및 V⁰-valuations를 사용하여 m-valuations과 수퍼트로픽 매가의 자연스럽고 명시적인 예를 제시함.
• 완전순서가 부여된 수퍼트로픽 세미환 및 그 전송 이론을 개발함.
• 등가관계가 순서 호환성을 만족할 경우, 즉 OCTE관계가 되는 조건을 규명함.
• 환원형 등가관계가 순서 호환성을 만족할 조건을 설정하여, 몫 구조를 가능하게 하는 OCTE관계를 확립함.

제안 방법

• 세미환에서 자연스러운 m-valuations의 클래스로 V-valuations와 V⁰-valuations를 도입함.
• m-valuations를 매가로 변환하는 정규화 과정을 개발하며, V- 또는 V⁰-구조를 유지함.
• 완전순서가 부여된 수퍼트로픽 세미환(TOS)을 정의하고, 이러한 구조에 값을 가진 수퍼트로픽 매가를 구성함.
• 순서 호환성 있는 TE관계(OCTE관계)를 정의하고, 이러한 관계가 몫 사상에 의해 단조성 전송을 유도함을 증명함.
• OCTE관계 E에 대해 몫 세미환 U/E가 유일한 완전순서가 부여된 수퍼트로픽 구조를 상속함을 확립함.
• 전사적인 단조성 전송은 항상 어떤 OCTE관계 E에 대한 몫 사상 πE로 표현됨을 보임.

실험 결과

연구 질문

• RQ1 m-valuations를 V- 또는 V⁰-유형의 구조를 유지하면서 매가로 체계적으로 변환할 수 있는가?
• RQ2 수퍼트로픽 세미환에서 환원형 등가관계가 순서 호환성(OCTE)을 만족하기 위한 조건은 무엇인가?
• RQ3 OCTE관계는 단조성 전송과 몫 수퍼트로픽 세미환의 구성과 어떻게 관련되는가?
• RQ4 V- 및 V⁰-valuations는 어떤 방식으로 일반적인 m-valuations를 정규화된 방식으로 지배하는가?
• RQ5 완전순서 호환성이 몫 구조가 수퍼트로픽 및 순서가 부여된 세미환 성질을 상속하는 데 어떤 역할을 하는가?

주요 결과

• 모든 비자명한 m-valuations는 정규화된 방식으로 V-매가와 V⁰-매가를 동시에 지배함.
• m-valuations의 정규화 과정은 매가를 생성하며, 원래 값이 V- 또는 V⁰-유형이면 그 성질을 유지함.
• 완전순서가 부여된 수퍼트로픽 세미환 U에서 OCTE관계 E는 몫 U/E에 대해 유일한 완전순서가 부여된 수퍼트로픽 구조를 부여함.
• 몫 사상 πE : U → U/E는 단조성 전송이자, 따라서 세미환 준동형사상임.
• 모든 전사적인 단조성 전송은 어떤 OCTE관계 E에 대한 몫 사상 πE로 정확히 표현됨.
• 등가류가 볼록인 경우, E(a) 및 E(U, A, Φ)와 같은 환원형 등가관계는 OCTE관계가 되며, 이는 특정한 볼록성 조건에 의해 보장됨.