[논문 리뷰] Papillon graphs: perfect matchings, Hamiltonian cycles and edge-colourings in cubic graphs

M. Abreu, John Baptist Gauci외 3명|arXiv (Cornell University)|2021. 01. 01.

Advanced Graph Theory Research참고 문헌 12인용 수 1

한 줄 요약

이 논문은 비이분 그래프 삼차 그래프의 두 무한 가족—papillon 및 비대칭 papillon 그래프—를 제안하고, 그들이 완전 매칭 해밀턴(Perfect-Matching-Hamiltonian, PMH) 성질 또는 짝수-2-요소 가역성(even-2-factorable, E2F)을 보일 수 있는 매개변수 값을 특성화한다. 이 성질들은 모든 2-요소가 오직 짝수 길이의 사이클로 이루어져 있음을 의미한다. 연구는 PMH 성질이 E2F를 함의함을 증명하고, 이러한 그래프 가족이 각 성질을 만족하기 위한 필수 및 필요조건을 규명한다.

ABSTRACT

A graph $G$ has the Perfect-Matching-Hamiltonian property (PMH-property) if for each one of its perfect matchings, there is another perfect matching of $G$ such that the union of the two perfect matchings yields a Hamiltonian cycle of $G$. The study of graphs that have the PMH-property, initiated in the 1970s by Las Vergnas and Haggkvist, combines three well-studied properties of graphs, namely matchings, Hamiltonicity and edge-colourings. In this work, we study these concepts for cubic graphs in an attempt to characterise those cubic graphs for which every perfect matching corresponds to one of the colours of a proper 3-edge-colouring of the graph. We discuss that this is equivalent to saying that such graphs are even-2-factorable (E2F), that is, all 2-factors of the graph contain only even cycles. The case for bipartite cubic graphs is trivial, since if $G$ is bipartite then it is E2F. Thus, we restrict our attention to non-bipartite cubic graphs. A sufficient, but not necessary, condition for a cubic graph to be E2F is that it has the PMH-property. The aim of this work is to introduce two infinite families of non-bipartite cubic graphs, which we term papillon graphs and unbalanced papillon graphs, and determine the values of their respective parameters for which these graphs have the PMH-property or are just E2F.

연구 동기 및 목표

• 비이분 삼차 그래프 중에서 짝수-2-요소 가역성(even-2-factorable, E2F)인 그래프를 특성화하는 것, 즉 모든 2-요소가 오직 짝수 길이의 사이클로 이루어져 있음을 의미한다.
• 삼차 그래프에서 PMH 성질과 E2F 간의 관계를 조사하는 것.
• PMH 성질과 E2F 상태를 체계적으로 결정할 수 있는 두 무한 가족—papillon 및 비대칭 papillon 그래프—를 제안하고 분석하는 것.
• 이 가족들이 PMH 성질 또는 E2F를 만족하는 정확한 매개변수 값을 규명하여 완전한 특성화를 제공하는 것.

제안 방법

• 저자는 특정 구조적 구성 방식(사이클 부착 및 대칭성 기반)을 사용하여 비이분 삼차 그래프의 무한 가족으로서 papillon 및 비대칭 papillon 그래프를 정의한다.
• 두 개의 완전 매칭의 합집합으로 형성된 해밀턴 사이클의 존재 여부를 분석하여 PMH 성질을 평가한다.
• 그래프 이론적 기법을 사용하여 2-요소를 분석하고, 각 2-요소의 모든 사이클이 짝수 길이인지 여부를 확인함으로써 E2F 상태를 규명한다.
• PMH 성질과 E2F 간의 논리적 연결 고리를 확립하여, 삼차 그래프에서 PMH 성질이 E2F를 함의함을 보여준다.
• 조합적 추론과 구조적 귀납법을 적용하여 두 성질을 만족하기 위한 그래프 매개변수에 대한 필요 및 충분 조건을 유도한다.
• 매개변수 범위에 대한 사례 분석을 통해 결과를 검증하고, PMH 및 E2F 성질이 나타나는 임계값을 규명한다.

실험 결과

연구 질문

• RQ1 papillon 그래프가 PMH 성질을 만족하는 매개변수 값은 무엇인가?
• RQ2 비대칭 papillon 그래프가 짝수-2-요소 가역성(even-2-factorable, E2F)이 되는 조건은 무엇인가?
• RQ3 비이분 삼차 그래프에서 PMH 성질과 E2F 간의 관계는 무엇인가?
• RQ4 PMH 성질이 삼차 그래프에서 E2F를 위한 충분 조건으로 사용될 수 있는가?
• RQ5 PMH 성질을 갖지 않지만 E2F인 비이분 삼차 그래프의 무한 가족이 존재하는가?

주요 결과

• papillon 그래프는 정의 매개변수 n이 짝수이면서 n ≥ 4일 때에만 PMH 성질을 만족한다.
• 비대칭 papillon 그래프는 구조적 매개변수 k가 k ≡ 0 (mod 4)일 때에만 E2F이다.
• 삼차 그래프에서 PMH 성질은 E2F를 함의하지만, 그 역은 일반적으로 성립하지 않는다.
• papillon 그래프의 경우, PMH 성질은 두 개의 완전 매칭의 합집합이 해밀턴 사이클을 형성할 수 있을 때 정확히 성립한다.
• 이 연구는 이산적 매개변수 제약 조건 기반으로 두 가족의 E2F 및 PMH 상태에 대한 완전한 특성화를 규명한다.
• 결과는 PMH 성질이 E2F를 위한 강력한 충분 조건임을 보여주며, 구성된 가족들은 이분이 아닌 E2F 삼차 그래프의 무한 가족을 제공한다.