[논문 리뷰] Infinite Matroids and Determinacy of Games

Nathan Bowler, Johannes Carmesin|arXiv (Cornell University)|2013. 01. 25.

Advanced Graph Theory Research참고 문헌 14인용 수 9

한 줄 요약

이 논문은 무한 게임의 결정성에 기반하여 새로운 종류의 무한 매트로이드를 구성한다. 특정한 엣지 집합이 게임 이론적으로 결정될 경우, 해당 $Ψ$-트리들이 매트로이드의 기저가 된다는 것을 보여준다. 주요 기여는 집합론적 결정성과 무한 매트로이드 존재성 간의 연결고리 수립이며, Diestel과 Pott의 질문을 해결하고, 잘-quasi-ordering 추측의 자연스러운 확장에 대한 반례를 제공한다.

ABSTRACT

Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of planar infinite matroids does not have a universal matroid. The existence of these matroids has a connection to Set Theory in that it corresponds to the Determinacy of certain games. To show that our construction gives matroids, we introduce a new very simple axiomatization of the class of countable tame matroids.

연구 동기 및 목표

• 지역적으로 유한한 그래프에서 $Ψ$-트리가 매트로이드의 기저가 되는지 여부에 대한 Diestel과 Pott의 질문을 해결하기 위해.
• 무한 게임의 결정성과 무한 매트로이드 존재성 간의 연결고리를 설정하기 위해.
• 잘-quasi-ordering 추측의 자연스러운 확장이 무한 매트로이드로까지 유지되는지 여부를 검토하고, 반례를 제시하기 위해.
• 평면 무한 매트로이드의 클래스가 유니버설 매트로이드를 갖는지 여부를 검토하기 위해.

제안 방법

• 간단한 게임 이론적 특성에 기반한, 가산 희박 매트로이드에 대한 새로운 공리 체계를 도입한다.
• 각 노드가 유한 매트로이드에 대응하고, 간선이 접합 정보를 표현하는 유한 매트로이드의 트리로 국소적으로 유한한 그래프의 구조를 모델링한다.
• 이 매트로이드 트리 위에서 순환 게임을 정의한다. 두 플레이어가 번갈아가며 이동하여 무한 경로를 구성하며, 첫 번째 플레이어는 경로가 지정된 집합 $Ψ$에 속하는 엣지에 대응할 경우 승리한다.
• 특히 집합 $Ψ$가 보렐이거나 게임 이론적으로 결정될 경우, 이 게임의 결정성이 $Ψ$-트리가 기저가 되는 매트로이드의 존재를 보장하는 충분조건이 된다.
• 위상수학적 및 집합론적 도구를 적용하여, 매트로이드 구성에서 필요한 닫힘성과 분리 성질을 확보한다. 특히 캔터 공간 $2^\mathbb{N}$ 간의 연속 단사 사상이 사용된다.
• 크기 $2^{\aleph_0}$의 철선 순서를 사용하여 집합 $Ψ_n$을 재귀적으로 구성함으로써, 이전의 $Ψ_i$의 연속 이미지가 다음 $Ψ_{n+1}$에 포함되지 않도록 보장함으로써 매트로이드 구조의 독립성을 유지한다.

실험 결과

연구 질문

• RQ1 지역적으로 유한한 그래프의 엣지 집합 $Ψ$에 대해 어떤 조건을 만족할 경우 $Ψ$-트리가 매트로이드의 기저가 되는가?
• RQ2 무한 매트로이드의 존재성은 무한 게임의 결정성과 연결될 수 있는가?
• RQ3 평면 무한 매트로이드의 클래스는 유니버설 매트로이드를 갖는가?
• RQ4 well-quasi-ordering 추측의 자연스러운 확장이 무한 매트로이드로까지 유지될 수 있는가, 아니면 반례가 존재하는가?
• RQ5 이러한 매트로이드를 구성할 때 선택 공리의 역할은 무엇이며, 게임의 결정성과 같은 더 약한 가정으로도 구성가능한가?

주요 결과

• 논문은 $Ψ$-트리가 기저가 되는 매트로이드의 존재를 보장하기 위해, 관련 게임이 결정되도록 집합 $Ψ$를 선택함으로써 큰 무한 매트로이드의 클래스를 구성한다.
• 이 구성은 무한 매트로이드에 대한 well-quasi-ordering 추측의 자연스러운 확장을 반박하는 반례를 제공하며, 무한 매트로이드의 집합이 미니어스에 대해 well-quasi-ordered가 아니라는 것을 보여준다.
• 평면 무한 매트로이드의 클래스가 유니버설 매트로이드를 갖지 않는다는 것이 입증된다. 즉, 어떤 하나의 평면 매트로이드로도 이 클래스의 모든 매트로이드를 임베딩할 수는 없다.
• 이러한 매트로이드의 존재성은 특정 게임의 결정성과 동치이며, 무한 조합론과 집합론 간의 깊은 연결고리를 확립한다.
• 논문은 가산 희박 매트로이드에 대한 새로운 단순한 공리 체계를 도입하여, 무한 설정에서 매트로이드 공리의 검증을 용이하게 한다.
• 집합 $Ψ_n$의 재귀적 구성은 이전의 $Ψ_i$의 연속 이미지가 $Ψ_{n+1}$에 포함되지 않음을 보장하며, 이는 결과 매트로이드의 독립성과 구조 유지에 필수적이다.