[논문 리뷰] Matroids, antimatroids, and the generalized external order

Bryan R. Gillespie|arXiv (Cornell University)|2017. 12. 12.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 1

한 줄 요약

이 논문은 매트로이드의 독립 복합체에 대한 일반화된 외부 순서를 도입하여 라스 버그나스의 활성 순서를 확장한다. 이 순서가 기하학적 평면 레이어의 격자보다 더 세밀한 초합성 가동 분배 격자를 이룬다는 것을 증명하고, 이러한 격자가 매트로이드의 외부 순서로 유일하게 특징지어질 수 있음을 보이며, 구조적 구성 덕분에 매트로이드와 반매트로이드의 미니처 사이에 이중성이 드러나게 된다.

ABSTRACT

Las Vergnas's active orders are a collection of partial orders on the bases of a matroid which are derived from the classical notion of matroid activity. In this paper, we construct a generalization of Las Vergnas's external order which is defined on the independence complex of a matroid. We show that this poset is a refinement of the geometric lattice of flats of the matroid, and has the structure of a supersolvable join-distributive lattice. We uniquely characterize the lattices which are isomorphic to the external order of a matroid, and we explore a correspondence between matroid and antimatroid minors which arises from the poset construction.

연구 동기 및 목표

• 매트로이드 기저에만 정의된 Las Vergnas의 활성 순서를 전체 독립 복합체로 확장하는 것.
• 일반화된 외부 순서가 평면 레이어의 기하학적 격자를 보다 세밀하게 분할하는 초합성 가동 분배 격자를 이룬다는 것을 입증하는 것.
• 구조적 성질을 통해 어떤 격자가 매트로이드의 외부 순서와 동형이 되는지 특징짓는 것.
• 격자 구성에 기반하여 매트로이드 미니처와 반매트로이드 미니처 사이의 대응관계를 탐구하는 것.

제안 방법

• 일반화된 외부 활성 개념을 사용하여 매트로이드의 독립 집합에 부분 순서를 구성하는 것.
• 고정된 기준점 또는 원소의 순서에 기반한 사전순서 또는 근사 알고리즘 기반 순서를 사용하여 평면 레이어의 격자를 보다 세밀하게 하는 외부 순서를 정의하는 것.
• 순서 이상의 구조와 만족 불가능 원소의 구조를 분석하여 격자가 가동 분배적임을 증명하는 것.
• 격자 전반에 걸쳐 모듈러 원소를 포함하는 최대 체인을 식별하여 초합성임을 보여주는 것.
• 격자의 구조를 활용하여 삭제 및 수축 연산을 통해 매트로이드 미니처와 반매트로이드 미니처 사이의 이중성을 정의하는 것.
• 유니버설 성질과 동형 사상에 의한 유일성에 기반하여 외부 순서 격자를 특징짓는 것.

실험 결과

연구 질문

• RQ1 Las Vergnas의 활성 순서는 매트로이드 기저를 초월하여 전체 독립 복합체로 어떻게 일반화될 수 있는가?
• RQ2 일반화된 외부 순서는 어떤 구조적 성질을 지니며, 평면 레이어의 기하학적 격자와는 어떻게 관련되어 있는가?
• RQ3 어떤 격자가 어떤 매트로이드의 외부 순서로 표현될 수 있으며, 이를 특징짓는 요소는 무엇인가?
• RQ4 격자 구성에 의해 매트로이드 미니처와 반매트로이드 미니처 사이에 자연스러운 대응관계가 존재하는가?
• RQ5 외부 순서는 기초 매트로이드의 조합적 및 순서론적 성질을 어떻게 반영하는가?

주요 결과

• 일반화된 외부 순서는 매트로이드의 평면 레이어 기하학적 격자를 보다 세밀하게 분할하는 초합성 가동 분배 격자를 이룬다.
• 격자 구조는 외부 순서가 매트로이드의 격자와 동형임을 유일하게 특징지어주며, 이는 격자 이론적 불변량을 제공한다.
• 구성에 기반하여 삭제 및 수축에 의한 격자의 분해를 통해 매트로이드 미니처와 반매트로이드 미니처 사이의 이중성이 드러난다.
• 외부 순서가 가동 분배적임이 입증되었으며, 이는 만족과 결합 연산에 대해 순서 이상의 행동이 잘 유지됨을 의미한다.
• 격자의 구성은 매트로이드의 조합적 계층을 유지하며, 평면 레이어 격자를 몫 격자로 통합한다.
• 일반화된 외부 순서는 고전적 활성 개념을 기저가 아닌 모든 독립 집합으로 확장하여, 매트로이드 이론의 순서론적 프레임워크를 풍부하게 한다.