[논문 리뷰] Infinite matroid union

Elad Aigner‐Horev, Johannes Carmesin외 1명|arXiv (Cornell University)|2011. 11. 02.

Advanced Graph Theory Research참고 문헌 10인용 수 17

한 줄 요약

이 논문은 두 거의 유한 기수의 매트로이드의 합집합이 매트로이드임을 증명하며, 유한 기수 매트로이드를 일반화하는 새로운 유형의 무한 매트로이드를 도입한다. 거의 유한 기수 매트로이드는 합집합 정리가 성립하는 가장 큰 클래스임을 증명하고, 기저 포장 및 커버링 정리를 코-유한 기수 매트로이드로 확장하여, 디젤과 투트의 무한 그래프에 대한 트리 포장 결과를 매트로이드 이론적 방법으로 재증명한다.

ABSTRACT

We consider the problem of determining whether the union of two infinite matroids is a matroid. We introduce a superclass of the finitary matroids, the nearly finitary matroids, and prove that the union of two nearly finitary matroids is a nearly finitary matroid. On the other hand, we prove that the union of two arbitrary infinite matroids is not necessarily a matroid. Indeed, we show (under a weak additional assumption) that the nearly finitary matroids are essentially the largest class of matroids for which one can have a union theorem. We then extend the base packing theorem for finite matroids to finite families of co-finitary matroids. This, in turn, yields a matroidal proof for the tree-packing results for infinite graphs due to Diestel and Tutte.

연구 동기 및 목표

• 두 무한 매트로이드의 합집합이 매트로이드가 되는 조건을 규명하는 것.
• 합집합 정리가 성립하는 무한 매트로이드의 가능한 최대 클래스를 특정하는 것.
• 특히 기저 포장 및 커버링 정리를 포함한 유한 매트로이드 정리들을 무한 설정, 특히 코-유한 기수 매트로이드로 확장하는 것.
• 무한 그래프에 대한 트리 포장 결과를 매트로이드 이론적 방법으로 재증명하는 것.

제안 방법

• 기저의 유한 차수를 가진 원래 매트로이드의 기저를 포함하는 매트로이드로 정의된 '거의 유한 기수 매트로이드'의 개념을 도입한다.
• 두 거의 유한 기수 매트로이드의 합집합이 거의 유한 기수 매트로이드임을 증명하여, 이 클래스에 대한 합집합 정리를 확립한다.
• 상대적 기수와 유한 기저 성질을 사용하여, 코-유한 기수 매트로이드의 유한 집합에 대한 기저 포장 정리를 확장한다.
• 모순과 유한 부분구조를 통해, 유한 기수 매트로이드의 합집합 정리를 응용하여, 유한 기수 매트로이드에 대한 기저 커버링 정리를 증명한다.
• 순환과 독립 집합이 만날 수 있는 구성 기법을 활용하여, 거의 유한 기수 조건이 위반될 경우 합집합이 매트로이드가 되지 않음을 보여준다.
• 유한 기수 및 코-유한 기수 매트로이드의 구조와 쌍대성을 활용하여, 유한 매트로이드 정리를 무한 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 두 무한 매트로이드의 합집합이 매트로이드가 되는 조건은 무엇인가?
• RQ2 거의 유한 기수 매트로이드의 클래스는 합집합 정리 성질을 고려할 때 최대인가?
• RQ3 유한 매트로이드에 대한 기저 포장 정리는 무한 매트로이드로 확장될 수 있는가, 만약 가능하다면 어떤 조건에서 가능한가?
• RQ4 유한 기수 및 코-유한 기수 구조는 이러한 확장에 어떤 역할을 하는가?
• RQ5 매트로이드 이론적 도구를 사용하여 무한 그래프 결과, 예를 들어 트리 포장 정리를 재증명할 수 있는가?

주요 결과

• 두 거의 유한 기수 매트로이드의 합집합은 거의 유한 기수 매트로이드이며, 이 클래스에 대해 강력한 합집합 정리를 확립한다.
• 거의 유한 기수 매트로이드의 클래스는 본질적으로 최대이다: 이 클래스에 속하지 않는 매트로이드는 유한 기수 매트로이드의 클래스에 추가될 경우 합집합 정리가 깨진다.
• 약간의 조건을 만족하는 거의 유한 기수 매트로이드가 아닌 매트로이드 $ N $ 에 대해, $ igcup ig( ext{Ind}(M) imes ext{Ind}(N) ig) $ 가 매트로이드가 되지 않는 유한 기수 매트로이드 $ M $ 가 존재한다.
• 상대적 기수와 폐쇄 성질을 활용하여, 코-유한 기수 매트로이드의 유한 집합에 대한 기저 포장 정리를 확장한다.
• 유한 기수 매트로이드에 대한 기저 커버링 정리가 증명된다: 유한 기수 매트로이드는 $ k $ 개의 독립 집합으로 커버될 수 있다. 이는 모든 유한한 $ X \subseteq E(M) $ 에 대해 $ \operatorname{rk}_M(X) \geq |X|/k $ 를 만족하는 것과 동치이다.
• 이 결과들은 디젤과 투트의 무한 그래프에 대한 트리 포장 정리를 매트로이드 이론적 방법으로 재증명한다. 이는 확장된 기저 포장 정리를 활용한다.