[논문 리뷰] Matroids, Delta-matroids and Embedded Graphs

Carolyn Chun, Iain Moffatt외 2명|arXiv (Cornell University)|2014. 03. 04.

Advanced Combinatorial Mathematics참고 문헌 65인용 수 28

한 줄 요약

이 논문은 리본 그래프로 표현된 임베딩된 그래프와 델타-마트로이드 사이의 기초적인 대응 관계를 확립하며, 델타-마트로이드가 표면 위에 놓인 그래프의 링크를 고려할 때 그래프 마트로이드를 자연스럽게 일반화함을 보여준다. 이는 볼로바스-리오르단, 크루스칼, 라스 베히아 다항식과 같은 핵심 불변량들이 델타-마트로이드적임을 보이고, 이러한 다항식의 이중성 대칭성이 델타-마트로이드 수준에서 성립함을 증명하며, 마트로이드의 이중성 개념을 임베딩된 그래프로 확장한다.

ABSTRACT

Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.

연구 동기 및 목표

• 그래프와 마트로이드 사이의 잘 알려진 대응과 유사하게, 임베딩된 그래프와 델타-마트로이드 사이의 대응 관계를 확립하기 위해.
• 델타-마트로이드가 사이클 마트로이드를 리본 그래프로 확장함으로써 자연스럽게 나타나며, 그래프의 구조와 임베딩의 구조를 모두 포괄함을 보여주기 위해.
• 기본적인 위상적 그래프 다항식—볼로바스-리오르단, 크루스칼, 라스 베히아, 투트 다항식—이 모두 델타-마트로이드적 불변량임을 보여주기 위해.
• 이러한 다항식의 이중성 대칭성이 델타-마트로이드 수준에서 성립함을 증명하며, 마트로이드 이중성의 일반화를 이루기 위해.
• 이 프레임워크를 끈 이론에 적용하여, 카우프만 브라켓과 존슨 다항식이 비분할 링크 다이어그램의 델타-마트로이드에 의해 결정됨을 보여주기 위해.

제안 방법

• 임베딩된 그래프를 표면 위에 놓인 그래프의 조합적 모델인 리본 그래프로 표현하기 위해.
• 리본 그래프의 델타-마트로이드를, 유니버설 성질이 0차원(genus-zero)이고 경계가 하나인 구성요소를 이루는 간선 부분집합들의 집합으로 정의하며, 그래프에서의 스패닝 트리의 일반화로 삼기 위해.
• 델타-마트로이드의 타당 집합에 대한 대칭적 교환 공리를 사용하여 표면 위의 위상적 기하학적 구조를 수학적으로 형식화하기 위해.
• 위상적 그래프 다항식(예: 볼로바스-리오르단, 크루스칼)을 델타-마트로이드의 랭크 및 노울리티 함수로 표현하여, 이들이 델타-마트로이드 불변량임을 보여주기 위해.
• 델타-마트로이드에서의 터스트 연산이 리본 그래프의 부분 이중(partial dual)과 정확히 일치함을 보여주어 핵심적인 기하학적 연결 고리를 확립하기 위해.
• 델타-마트로이드 내의 이중성 관계를 활용하여 그래프 다항식의 이중성 항등식을 유도하고 증명하며, 예를 들어 $ K(D;x,y-1,a,b) = K(D^*;y,x-1,b,a) $ 와 같은 식을 포함하기 위해.

실험 결과

연구 질문

• RQ1 델타-마트로이드는 어떻게 임베딩된 그래프의 맥락에서 마트로이드 이론을 일반화하는 데 사용될 수 있는가?
• RQ2 리본 그래프와 델타-마트로이드 사이의 정확한 대응 관계는 무엇이며, 이는 사이클 마트로이드 구성의 일반화로 어떻게 확장되는가?
• RQ3 볼로바스-리오르단 및 크루스칼 다항식과 같은 잘 알려진 위상적 그래프 다항식들이 리본 그래프의 델타-마트로이드에 의해 결정되는가?
• RQ4 이러한 다항식의 이중성 대칭성이 델타-마트로이드 수준에서 성립하는가? 만약 그렇다면, 대수적으로 어떻게 표현되는가?
• RQ5 카우프만 브라켓과 같이 끈 이론의 불변량은 리본 그래프의 델타-마트로이드로부터 복원될 수 있는가?

주요 결과

• 리본 그래프의 준수형( quasi-trees ) 간선 집합은 그래프 마트로이드의 기저 구조를 임베딩된 그래프로 일반화한 델타-마트로이드를 이룬다.
• 리본 그래프의 델타-마트로이드는 랭크 및 노울리티 함수를 통해 연결성과 간선의 구조와 같은 필수적인 위상적 및 조합적 자료를 암시한다.
• 델타-마트로이드에서의 터스트 연산은 리본 그래프의 부분 이중과 정확히 일치하며, 깊은 범주론적 동치를 확립한다.
• 볼로바스-리오르단, 크루스칼, 라스 베히아 다항식은 모두 델타-마트로이드적이다. 즉, 이들은 리본 그래프의 델타-마트로이드에만 의존한다.
• 이러한 다항식의 이중성 항등식—예를 들어 $ L(D;x,y,z) = z^{w(D)}L(D^*;y,x,z^{-1}) $ —은 델타-마트로이드 수준에서 성립하며, 마트로이드 이중성의 일반화를 이룬다.
• 링크의 카우프만 브라켓은 델타-마트로이드적이다. 비분할 리본 그래프의 델타-마트로이드로부터 복원될 수 있다.