[논문 리뷰] Infinite matroids in graphs

Henning Bruhn, Reinhard Diestel|arXiv (Cornell University)|2010. 11. 22.

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

한 줄 요약

이 논문은 유한성 원칙(axiom)에서 이전에 불가능했던 이중성을 복원하기 위해 무한 순환과 쌍대순환을 允許하는 새로운 유한이 아닌 무한 매트로이드의 공리계를 제안한다. 이 틀을 이용해 국소적으로 유한한 그래프에 적용하여, 그 사이클 매트로이드의 이중체는 위상적 원환선(대수적 순환)으로서의 순환체를 갖는다는 것을 보이며, 체 위에서의 얇은 합(thin sums)을 통한 표현 가능성에 대한 충분조건을 설정한다.

ABSTRACT

It has recently been shown that infinite matroids can be axiomatized in a way that is very similar to finite matroids and permits duality. This was previously thought impossible, since finitary infinite matroids must have non-finitary duals. In this paper we illustrate the new theory by exhibiting its implications for the cycle and bond matroids of infinite graphs. We also describe their algebraic cycle matroids, those whose circuits are the finite cycles and double rays, and determine their duals. Finally, we give a sufficient condition for a matroid to be representable in a sense adapted to infinite matroids. Which graphic matroids are representable in this sense remains an open question.

연구 동기 및 목표

• 유한 매트로이드의 이중성 문제를 오랫동안 차단해 온 유한성 원칙(I4)을 해결하기 위해, 무한 매트로이드에서 이중성을 복원하는 것.
• 유한 매트로이드의 이중성 원리를 무한 환경으로 확장하기 위해, 비유한 순환과 쌍대순환을 允許하는 매트로이드 공리계를 재정의하는 것.
• 새로운 무한 매트로이드 틀을 통해 무한 그래프의 사이클 및 봉우리 매트로이드를 특징짓는 것.
• 무한 그래프에서 대수적 순환 매트로이드(순환체 = 유한 순환과 이중 무한 경로)의 이중체를 규명하는 것.
• 체 위에서의 무한합(얇은 합)을 이용한 새로운 표현 가능성 개념을 제안하고, 이를 만족하는 충분조건을 규명하는 것.

제안 방법

• 유한 매트로이드 공리계를 일반화하면서도 이중성을 유지하는, 수정된 매트로이드 공리계를 도입하여 무한 순환과 쌍대순환을 허용하는 것.
• 그래프의 대수적 순환 매트로이드를 정의하여, 그 순환체는 유한 순환과 양방향 무한 경로(이중 레이저)의 간선 집합으로 구성된 매트로이드로 간주하는 것.
• Freudenthal compactification을 이용해 국소적으로 유한한 그래프에서 위상적 원환선을 이중 매트로이드의 순환체로 식별하는 것.
• 체 위에서의 '얇은 합 매트로이드(thin-sums matroids)' 개념을 도입하여, 이중 공간에서 유한 지지도를 가진 무한 선형 결합을 통해 독립성을 정의하는 것.
• 그래프의 대수적 순환 매트로이드가 𝔽₂ 위에서 얇은 합 매트로이드로 표현 가능하다는 것을 증명하고, 이러한 일반화된 표현 가능성에 대한 충분조건을 설정하는 것.
• 초한 귀납법과 폐쇄 성질의 확인을 통해 얇은 합 표현에서 기저를 구성하고 폐쇄 성질을 검증하는 것.

실험 결과

연구 질문

• RQ1 유한성 성질을 유지하면서도 무한 매트로이드에서 이중성을 복원할 수 있는가? 만약 가능하면 어떤 공리 체계에서 가능한가?
• RQ2 무한 순환을 允許할 경우, 무한 그래프의 사이클 매트로이드의 이중체는 무엇인가?
• RQ3 어떤 무한 매트로이드들이 체 위에서의 무한 선형 결합(얇은 합)을 통해 표현 가능한가?
• RQ4 무한 그래프에서의 대수적 순환(유한 순환과 이중 레이저)은 새로운 공리 체계 하에서 매트로이드의 순환체와 어떻게 관련되는가?
• RQ5 얇은 합을 통한 새로운 표현 가능성 조건은 기존의 매트로이드(예: 대수적 순환 매트로이드)를 포괄하는가? 그리고 이는 Whitney의 평면성 기준과 같은 고전적 결과를 확장하는 데 사용될 수 있는가?

주요 결과

• 새로운 공리계는 무한 매트로이드가 서로 이중인 무한 매트로이드를 가질 수 있도록 하여, 매트로이드 이론에서 오랫동안 남아 있던 문제를 해결한다.
• 국소적으로 유한한 무한 그래프의 경우, 사이클 매트로이드의 이중체는 Freudenthal compactification에서의 위상적 원환선의 간선 집합으로 구성된 매트로이드이다.
• 그래프의 대수적 순환 매트로이드—순환체가 유한 순환과 이중 레이저인 것—는 𝔽₂ 위에서 얇은 합 매트로이드로 표현 가능하다.
• 대수적 순환 매트로이드의 이중체는 그래프의 봉우리들로 구성된 매트로이드로 특징지어지며, 이 봉우리들이 무한일지라도 성립한다.
• 얇은 합 표현 방식에서 매트로이드가 표현 가능한 데 필요한 충분조건이 제시되었으며, 이는 그래프의 대수적 순환 매트로이드와 고차원 복합체의 매트로이드를 포함한다.
• Whitney의 평면성 정리가 무한 그래프로 확장된다: 그래프가 평면일 필요충분조건은 새로운 틀 하에서 그 사이클 매트로이드가 그래픽 이중체를 갖는 것이다.