[논문 리뷰] The antichain of excluded minors for the class of gammoids is maximal

Dillon Mayhew|arXiv (Cornell University)|2016. 01. 16.

Advanced Topics in Algebra참고 문헌 8인용 수 6

한 줄 요약

이 논문은 임의의 가모이드 $N$에 대해, 가모이드의 클래스에 대한 금지된 최소소($M$)가 존재하여 $M$이 $N$-소를 갖는다고 증명한다. 증명은 특별히 설계된 가모이드에서 순환-초평면을 완화하여 such $M$을 구성하며, 가모이드의 금지된 최소소 집합이 소순서에 있어서 최대 반사집합임을 보이고, 이러한 금지된 최소소가 유한하지 않다는 것을 보여준다.

ABSTRACT

Every gammoid is a minor of an excluded minor for the class of gammoids.

연구 동기 및 목표

• 가모이드의 클래스에 대한 금지된 최소소에 관한 지렌의 추측을 해결하는 것: 모든 가모이드가 그 클래스에 대한 금지된 최소소의 소임을 증명하는 것.
• 가모이드의 금지된 최소소 집합이 매트로이드의 소순서에서 최대 반사집합을 이룬다는 것을 확립하는 것.
• 가모이드의 클래스에 대해 무한히 많은 금지된 최소소가 존재함을 보여주는 것. 이는 이전의 표현 가능성과 소폐쇄성에 관한 결과를 확장한다.

제안 방법

• 주어진 가모이드 $N$으로부터 보조 정점과 간선을 도입하여 순환-초평면 $C \cup D$를 갖는 구조를 만드는 방식으로 가모이드 $M'$를 구성한다.
• 가모이드 $M'$에서 순환-초평면 $C \cup D$를 완화하여 새로운 매트로이드 $M$을 형성하며, 이는 잉글턴 부등식 위반으로 인해 비가모이드임을 증명한다.
• 일부 요소들이 소에서 자유롭게 배치된다는 성질을 이용하여, $M$의 모든 단일 요소 삭제 및 계약이 가모이드임을 증명한다.
• 방향 그래프에서 연결된 집합의 구조를 이용하여 가모이드 $L(G, S, T)$를 정의하고, $M$의 소들이 가모이드 성질을 유지함을 검증한다.
• 엄격 가모이드와 이행 매트로이드 간의 이중성을 활용하여 무한 체 위에서의 표현 가능성을 보장한다.
• 귀납법과 구조적 분해를 적용하여 $M$이 $N$-소를 갖는다는 것과, $M$의 모든 진소가 가모이드임을 검증한다.

실험 결과

연구 질문

• RQ1 모든 가모이드 $N$이 가모이드의 클래스에 대한 금지된 최소소의 소로 나타나는가?
• RQ2 가모이드의 금지된 최소소 집합이 소순서에 있어서 최대 반사집합인가?
• RQ3 모든 단일 요소 소가 여전히 가모이드인 가모이드의 금지된 최소소를 구성할 수 있는가?
• RQ4 이러한 금지된 최소소의 존재가 가모이드의 클래스에 대해 무한히 많은 금지된 최소소가 존재함을 의미하는가?
• RQ5 이러한 구성은 가모이드 성질을 위반하면서도 소폐쇄성을 유지할 수 있는가?

주요 결과

• 가모이드의 금지된 최소소의 반사집합은 최대이며, 이는 모든 매트로이드가 금지된 최소소의 소이거나, 그 소에 포함됨을 의미한다.
• 가모이드의 클래스에 대해 무한히 많은 금지된 최소소가 존재한다. 이는 한 개의 금지된 최소소 $M$이 모든 가모이드를 소로 갖는다는 점에서 확인된다.
• 구성된 매트로이드 $M$은 잉글턴 부등식을 위반하여 어떤 체의 표현 가능성도 갖지 못하며, 따라서 가모이드가 아님을 증명한다.
• 모든 단일 요소 삭제 및 계약이 가모이드임을 확인하여, $M$이 가모이드의 금지된 최소소임을 확인한다.
• 이전의 matroidunion.org 블로그에서의 초안에서 오류를 수정하였으며, 주어진 가모이드 $N$에 대해 이러한 $M$의 존재를 엄밀히 증명하였다.
• 이 증명은 가모이드의 클래스가 금지된 최소소에 의한 유한한 공리화가 불가능함을 보여주며, 유한 체의 경우와는 대조된다.