[논문 리뷰] Minors for alternating dimaps

Graham Farr|arXiv (Cornell University)|2013. 11. 12.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 3

한 줄 요약

이 논문은 각 정점에서 들어오는 간선과 나가는 간선이 번갈아가며 나타나는 방향성 있는 임베딩을 가진 방향 그래프인 교대 딤프(map)에 대해 약간의 이론을 개발하며, 투트의 삼중성과 관련된 세 가지 미니어처 연산을 도입한다. 유한성에 의해 제한된 종수에 대한 금지된 미니어처 특성화를 증명하고, 미니어처 연산의 비가환성을 입증하며, 단순 및 확장된 투트 불변량을 정의하여 그것이 평면 그래프의 투트 다항식을 일반화함을 보인다.

ABSTRACT

We develop a theory of minors for alternating dimaps --- orientably embedded digraphs where, at each vertex, the incident edges (taken in the order given by the embedding) are directed alternately into, and out of, the vertex. We show that they are related by the triality relation of Tutte. They do not commute in general, though do in many circumstances, and we characterise the situations where they do. The relationship with triality is reminiscent of similar relationships for binary functions, due to the author, so we characterise those alternating dimaps which correspond to binary functions. We give a characterisation of alternating dimaps of at most a given genus, using a finite set of excluded minors. We also use the minor operations to define simple Tutte invariants for alternating dimaps and characterise them. We establish a connection with the Tutte polynomial, and pose the problem of characterising universal Tutte-like invariants for alternating dimaps based on these minor operations.

연구 동기 및 목표

• 교대 딤프에 대한 종합적인 미니어처 이론을 개발하여, 고전적인 그래프 미니어처 개념을 방향성 있는 임베딩된 방향 그래프로 확장한다.
• 미니어처 연산의 비가환성을 조사하고, 언제 가환성이 되는지를 특성화한다.
• 유한한 금지된 미니어처 특성화를 교대 딤프의 유한 종수에 대해 확립한다.
• 교대 딤프에 대한 단순 및 확장된 투트 불변량을 정의하고 분석하며, 고전적 투트 다항식과의 연관성을 제시한다.
• 새로운 미니어처 연산과 삼중성 구조를 활용하여 보편적인 투트 유사 불변량의 가능성을 탐색한다.

제안 방법

• 교대 딤프에 대해 1-축소, ω-축소, ω²-축소라는 세 가지 미니어처 연산을 도입하여, 삭제와 수축을 일반화한다.
• 이 연산들이 그래프와 이진 함수 이론에서의 투트의 삼중성과 유사한 삼중성 관계를 만족함을 보인다.
• 삼중성 구조를 활용하여 미니어처 연산이 언제 가환성을 가지는지 분석하고, 순서 독립성을 유지하는 조건을 규명한다.
• 고정된 임의의 g에 대해, 종수 g 이하인 교대 딤프의 유한한 금지된 미니어처 집합을 유도하기 위해 미니어처 연산을 적용한다.
• 간선 유형(순환, 쌍순환 등)에 기반한 재귀적 관계를 통해 단순 투트 불변량을 정의하고, 순서화된 간선 축소를 사용하여 확장된 불변량을 정의한다.
• 확장된 투트 불변량이 평면 그래프의 투트 다항식과 연결됨을 보이며, alt_c(H) 또는 alt_a(H)에서의 불변량이 간선 순서에 영향을 받지 않는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 교대 딤프에 대해 미니어처 연산은 어떻게 정의되고 특성화될 수 있으며, 삼중성과의 관계는 무엇인가?
• RQ2 교대 딤프의 세 가지 미니어처 연산이 언제 가환성을 가지는가?
• RQ3 유한 종수를 가진 교대 딤프는 유한한 금지된 미니어처 집합으로 특성화될 수 있는가?
• RQ4 단순 및 확장된 투트 불변량의 성질와 제약 조건은 무엇인가?
• RQ5 확장된 투트 불변량을 통해 평면 그래프의 투트 다항식이 어느 정도 특수한 경우로 복원될 수 있는가?

주요 결과

• 교대 딤프의 세 가지 미니어처 연산은 투트 이론과 저자 자신의 이진 함수 이론에서의 삼중성과 유사한 삼중성 관계를 만족한다.
• 교대 딤프의 미니어처 연산은 일반적으로 가환하지 않지만, 관련된 간선들이 같은 면이나 스타 구조에 있지 않은 경우에 가환성을 가진다.
• 임의의 고정된 종수 g에 대해, 종수 g 이하인 교대 딤프의 클래스는 유한한 금지된 미니어처 특성화를 가진다.
• 교대 딤프의 단순 투트 불변량은 범위가 제한되어 있으며, 그래프나 매트로이드 이론의 대응 불변량보다 훨씬 적은 정보를 담고 있다.
• 순서화된 간선 축소를 사용하여 정의된 확장된 투트 불변량은 더 풍부하며, 평면 그래프의 투트 다항식을 특수한 경우로 포함한다.
• 기저 그래프 H가 4-정규이고 G = alt_c(H)일 경우, 각 축소 후 ω²-순환의 존재로 인해 확장된 투트 불변량은 간선 순서에 영향을 받지 않는다.