[논문 리뷰] The structure of binary matroids with no induced claw or Fano plane restriction

Marthe Bonamy, František Kardoš외 3명|arXiv (Cornell University)|2018. 06. 11.

Advanced Graph Theory Research참고 문헌 5인용 수 4

한 줄 요약

이 논문은 이분 매트로이드에서 클로버 $I_3$와 팔랑이 평면 $F_7$을 포함하지 않는 부분 구조로 삼는 간단한 매트로이드에 대한 완전한 구조 정리(Structure Theorem)를 수립한다. 이러한 매트로이드는 또는 $\mathcal{E}_3$에 속하는 짝수 평면 매트로이드이거나, 애매한 기하학에서의 듀플리케이션을 통해 유도되며, 임계 수치에 대한 날카운 경계를 도출한다. 추가 제약 조건이 없을 경우 임계 수치는 유계가 아니지만, $K_5$도 제외될 경우 최대 2로 제한된다.

ABSTRACT

An 'induced restriction' of a simple binary matroid $M$ is a restriction $M|F$, where $F$ is a flat of $M$. We consider the class $\mathcal{M}$ of all simple binary matroids $M$ containing neither a free matroid on three elements (which we call a 'claw'), nor a Fano plane as an induced restriction. We give an exact structure theorem for this class; two of its consequences are that the matroids in $\mathcal{M}$ have unbounded critical number, while the matroids in $\mathcal{M}$ not containing the clique $M(K_5)$ as an induced restriction have critical number at most $2$.

연구 동기 및 목표

• 유도된 제약 조건으로서 클로버 $I_3$나 팔랑 평면 $F_7$을 포함하지 않는 단순 이분 매트로이드의 집합을 특성화하기.
• 이러한 매트로이드의 임계 수치 행동을 규명하고, 특히 제거된 유도 제약 조건과의 관계를 분석하기.
• 듀플리케이션과 반드중복 연산을 사용하여 이러한 매트로이드에 대한 구조적 분해를 수립하기.
• 추가적인 유도 제약 조건(예: $K_5$)이 제거될 경우 임계 수치에 대한 날카운 상한을 증명하기.
• 환경 프로젝티브 기하학과 평면을 기반으로 한 형식적 체계를 도입하여 매트로이드 이론에서 유도 제약 조건의 이론을 확장하기.

제안 방법

• 매트로이드를 $(E, G)$의 쌍으로 정의하며, 여기서 $G$는 이진 프로젝티브 기하학이고 $E \subseteq G$이며, 제약 조건은 선형 통합을 통해 정의된다.
• 선형 단사 사상 $\varphi$를 사용하여 유도된 제약 조건 개념을 도입하여 $\varphi(F) = E \cap \varphi(G')$를 만족함으로써 제약 조건이 '유도된' 것으로 보장한다.
• 임계 수치 $\chi(M)$를 정의하여, $G - E$가 차원 $n-k$인 프로젝티브 기하학을 포함하는 최소 $k$로 정의하며, 이는 색칠 수의 개념과 유사하다.
• 듀플리케이션 연산을 사용: $M = (E, G)$에 대해 $M' = (\{0,1\} \times E, \mathbb{F}_2^{n+1} \setminus \{0\})$로 정의하며, 임계 수치와 유도 제약 조건 성질을 유지한다.
• 하이퍼플레인 $H$의 코디멘션 1인 평면 $H_0$에 대해 반드중복 연산을 도입하며, $B_i = \{x \in H : |\{x, x+w\} \cap E| = i\}$를 사용하여 구조를 분해한다.
• 완전 랭크 매트로이드에서 유도된 $I_3$나 $F_7$ 제약 조건이 없으면, 반드시 $\mathcal{E}_3$에 속하거나 $\operatorname{AG}^\circ(t-1,2)$에서 듀플리케이션의 연속적 적용을 통해 유도된 것으로 나타나야 한다.

실험 결과

연구 질문

• RQ1 유도된 제약 조건으로서 $I_3$나 $F_7$을 포함하지 않는 단순 이분 매트로이드의 완전한 구조적 특성화는 무엇인가?
• RQ2 이 집합에서 임계 수치는 어떻게 행동하는가? 추가적인 유도 제약 조건이 제거될 경우 어떤 경계를 설정할 수 있는가?
• RQ3 유도된 제약 조건으로서 $I_3$와 $F_7$을 포함하지 않는 매트로이드 집합은 듀플리케이션과 반드중복 연산을 통해 분해될 수 있는가?
• RQ4 이 집합에서 임계 수치는 무한히 커질 수 있으며, 만약 그렇다면 어떤 조건에서 유계가 되는가?
• RQ5 $K_5$가 유도된 제약 조건으로서 이러한 매트로이드의 임계 수치를 제약하는 데 어떤 역할을 하는가?

주요 결과

• 유도된 $I_3$와 $F_7$ 제약 조건을 포함하지 않는 단순 이분 매트로이드의 집합은 완전히 특성화되어 있다: 완전 랭크 매트로이드가 이러한 유도 제약 조건을 포함하지 않으려면 반드시 $\mathcal{E}_3$에 속하거나 $\operatorname{AG}^\circ(t-1,2)$에서 듀플리케이션의 연속적 적용을 통해 유도된 것으로 되어 있어야 한다.
• 추가 제약 조건이 없을 경우 이 집합의 매트로이드에서 임계 수치 $\chi(M)$는 무한히 커질 수 있으며, 이는 정리 1.3에 의해 입증된다.
• $K_5$도 유도된 제약 조건으로 제거될 경우, 임계 수치는 $\chi(M) \leq 2$로 유계가 되며, 이는 정리 1.1에 의해 확립된다.
• 고정된 $N \in \mathcal{E}_3$에 대해, $I_3$, $F_7$, 및 $N$을 유도된 제약 조건으로 포함하지 않는 매트로이드의 임계 수치는 $\chi(M) \leq \dim(N) + 4$로 유계가 되며, 이는 정리 1.2에 의해 제시된다.
• $\operatorname{AG}^\circ(t-1,2)$의 임계 수치는 2이며, 이 값은 듀플리케이션을 통해 유지되므로 듀플리케이션의 경우 임계 수치의 경계가 유지되는 이유가 된다.
• $M \in \mathcal{E}_3$이고 $\chi(M) \geq 3$이면, $M$은 반드시 $K_5$를 유도된 제약 조건으로 포함해야 하며, 이는 레마 5.6에 의해 입증된다.