[논문 리뷰] Perfect matroids over hyperfields

Nathan Bowler, Rudi Pendavingh|arXiv (Cornell University)|2019. 08. 09.

Polynomial and algebraic computation참고 문헌 14인용 수 5

한 줄 요약

이 논문은 엄격한 하이퍼필드 위의 완전 매트로이드를 도입하여, 이러한 하이퍼필드 위의 약한 매트로이드가 벡터와 코벡터의 수직성으로 인해 자동으로 강한 매트로이드임을 보여준다. 이는 방향성과 밸류에이티드 매트로이드의 벡터 공리계를 일반화한 것으로, 밸류에이티드 필드 또는 필드 위의 도함수로부터 유도된 밸류에이티드 매트로이드의 잔여 매트로이드가 자연스럽게 엄격한 스큐 하이퍼필드 위의 매트로이드로 나타남을 보여준다.

ABSTRACT

We investigate valuated matroids with an additional algebraic structure on their residue matroids. We encode the structure in terms of representability over stringent hyperfields. A hyperfield $H$ is {\em stringent} if $a\boxplus b$ is a singleton unless $a=-b$, for all $a,b\in H$. By a construction of Marc Krasner, each valued field gives rise to a stringent hyperfield. We show that if $H$ is a stringent skew hyperfield, then the vectors of any weak matroid over $H$ are orthogonal to its covectors, and we deduce that weak matroids over $H$ are strong matroids over $H$. Also, we present vector axioms for matroids over stringent skew hyperfields which generalize the vector axioms for oriented matroids and valuated matroids.

연구 동기 및 목표

• 하이퍼필드를 이용하여 다양한 매트로이드 계열—방향성, 밸류에이티드, 대수적 매트로이드—을 통합하는 공통 프레임워크를 제공하는 것.
• 벡터-코벡터 수직성으로 인해 엄격한 스큐 하이퍼필드 위의 약한 매트로이드가 반드시 강한 매트로이드가 되는 이유를 보여주는 것.
• 방향성 및 밸류에이티드 매트로이드의 벡터 공리계를 엄격한 하이퍼필드 위의 매트로이드로 일반화하는 것.
• 밸류에이티드 필드 또는 도함수로부터 유도된 밸류에이티드 매트로이드의 잔여 매트로이드가 특정 엄격한 하이퍼필드 위에서 표현 가능하다는 것을 보여주는 것.
• 매트로이드 무리에서 잔여 매트로이드 간의 호환성을 캡처하는 표준적인 대수적 구조(크라스너의 구성에 의한)를 제공하는 것.

제안 방법

• 밸류에이티드 필드 또는 오어 환으로부터 엄격한 스큐 하이퍼필드를 구성하기 위해 크라스너의 구성법을 사용하여, 합집합이 유일한 원소를 제외하고는 항상 단일 원소가 되도록 보장한다.
• 방향성 및 밸류에이티드 매트로이드의 공리계를 일반화하여 하이퍼필드 위의 매트로이드를 정의한다.
• 엄격한 스큐 하이퍼필드 위의 약한 매트로이드의 벡터가 그 코벡터와 수직임을 증명하여 강한 매트로이드의 구조를 유도한다.
• 예를 들어 ℝ, 𝕊, ℝ{t}, ℝ_ℚ 등 하이퍼필드 간의 함자 사이의 교차도형을 구성하여 타이포로지컬라이제이션, 실현, 잔여 매트로이드를 연결한다.
• 대수적 매트로이드와 도함수에 이 те올리를 적용하기 위해 오어 환 L[T,σ]에서 유도된 하이퍼필드 L^σ을 구성하여, M(K,x)와 D(K,x)가 동일한 L^σ-매트로이드의 기저 매트로이드와 잔여 매트로이드로 나타남을 보여준다.
• 푸시포워드 및 잔여 사상들을 사용하여 타이포로지컬라이제이션과 부호화된 버그먼 팬을 연결하고, 복잡한 결과를 함자 도형의 가환성으로 환원한다.

실험 결과

연구 질문

• RQ1 밸류에이티드 필드 또는 도함수로부터 유도된 밸류에이티드 매트로이드의 잔여 매트로이드는 하나의 하이퍼필드 위에서의 단일 대수적 구조로 포괄될 수 있는가?
• RQ2 언제 하이퍼필드 위의 약한 매트로이드가 강한 매트로이드가 되며, 어떤 구조적 성질이 이를 보장하는가?
• RQ3 방향성 및 밸류에이티드 매트로이드의 벡터 공리계를 엄격한 하이퍼필드 위의 매트로이드에 적용할 수 있는 일반화가 존재하는가?
• RQ4 엄격한 하이퍼필드 위의 매트로이드의 잔여 매트로이드는 전통적인 매트로이드 계열(예: 대수적 또는 방향성 매트로이드)과 어떻게 관련이 있는가?
• RQ5 매트로이드 무리의 호환성 구조는 하나의 엄격한 하이퍼필드 위에서의 표현을 통해 캡처될 수 있는가?

주요 결과

• 엄격한 스큐 하이퍼필드 위의 약한 매트로이드는 벡터와 코벡터의 수직성으로 인해 항상 강한 매트로이드이다.
• 엄격한 하이퍼필드 위의 매트로이드에 대한 벡터 공리계는 방향성 및 밸류에이티드 매트로이드의 공리계를 일반화하여 통합된 내부 특성화를 제공한다.
• 엄격한 하이퍼필드 위의 매트로이드의 잔여 매트로이드는 약한 표현의 기저 매트로이드와 동형이며, 하이퍼필드는 전체적인 구조를 포괄한다.
• K-도함수를 가진 체 L에 대해, 코벡터의 매트로이드 D(K,x)는 L[T,ρ]로 구성된 엄격한 스큐 하이퍼필드 L^ρ 위의 왼쪽 L^ρ-매트로이드의 잔여 매트로이드로 나타난다.
• 하이퍼필드 함자 도형의 가환성은 타이포로지컬라이제이션과 부호화된 버그먼 팬의 구성 간 호환성을 보여주며, 복잡한 결과를 함자 항등식으로 환원한다.
• L[T,ρ]에서 크라스너의 방법을 통해 L^ρ를 구성함으로써, 대수적 매트로이드와 그 도함수적 대응체를 하나의 하이퍼필드 프레임워크 내에서 표준적인 방식으로 표현할 수 있다.