[논문 리뷰] Intrinsically knotted graphs with 21 edges

Jamison Barsotti, Thomas W. Mattman|arXiv (Cornell University)|2013. 03. 27.

Computational Geometry and Mesh Generation참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $K_7$에서 $ abla\mathrm{Y}$ 이동을 통해 얻어진 14개의 그래프가 21개의 간선을 가진 유일한 미니멀-미니멀-내재적으로 뱀면(이하 MMIK) 그래프임을 증명한다. 간선 수에 따른 분류를 완성하기 위해, 그래프 순서를 감소시키는 귀납법을 사용하고, $ abla\mathrm{Y}$ 이동이 내재적 뱀면 성질을 유지한다는 사실을 활용하여, 21개 간선을 가진 다른 그래프가 MMIK일 수 없음을 보이며, MMIK 그래프의 간선 수 기반 분류를 완료한다.

ABSTRACT

We show that the 14 graphs obtained by $ abla\mathrm{Y}$ moves on K_7 constitute a complete list of the minor minimal intrinsically knotted graphs on 21 edges. We also present evidence in support of a conjecture that the 20 graph Heawood family, obtained by a combination of $ abla\mathrm{Y}$ and $\mathrm{Y} abla$ moves on K_7, is the list of graphs of size 21 that are minor minimal with respect to the property not 2--apex.

연구 동기 및 목표

• 21개 간선을 가진 그래프에 대해, 미니멀-미니멀-내재적으로 뱀면(MMIK) 그래프의 간선 수 기반 분류를 완성하는 것.
• $K_7$에서 $ abla\mathrm{Y}$ 이동을 통해 생성된 14개의 그래프(즉, KS 그래프)가 21개 간선을 가진 유일한 MMIK 그래프임을 증명하는 것.
• Heawood 가족—$K_7$에서 $ abla\mathrm{Y}$ 및 $ abla\mathrm{Y}$ 이동을 통해 생성되는—이 21개 간선을 가진 유일한 미니멀-미니멀-비-2-에이프스(MMN2A) 그래프를 포함하는지 조사하는 것.
• 특히 21개 간선 그래프의 맥락에서, $ abla\mathrm{Y}$ 이동이 비-2-에이프스 성질을 유지하는지 분석하는 것.

제안 방법

• 14개 정점에서 시작하여 11~13개 정점으로 감소하는 그래프 순서에 대한 귀납법을 적용하여, 21개 간선을 가진 MMIK 그래프의 가능성을 분석한다.
• $ abla\mathrm{Y}$ 이동이 내재적 뱀면 성질을 유지한다는 사실(이를 사크스의 성질로 기인)을 활용하여, 그래프 변환 과정에서 IK 상태를 유지한다.
• 도수 수열 분석과 정점 제거 논증을 적용: 그래프 $G$가 21개 간선을 가진다면, 임의의 두 정점 $a, b$에 대해 $G - a, b$가 평면적이라면 $G$는 N2A가 아니며, 이는 MMIK 또는 MMN2A일 수 없다는 가정과 모순된다.
• 작은 비평면적 그래프의 알려진 분류(예: (7,10), (7,11), (8,12), (8,13))를 활용하여 케이스 분석을 통해 후보 그래프를 제거한다.
• $ abla\mathrm{Y}$ 이동의 한 형태인 $YT$ 이동을 사용하여 도수 3인 정점을 가진 그래프를 더 작은 그래프로 축소하고, Proposition 1.4에 기반해 비-2-에이프스 성질이 유지됨을 보장한다.
• 도수 4 및 도수 5 그래프에서 대칭성과 인접 제약 조건을 활용하여, $G - a, b$가 평면적일 수 있는 구성 요건을 제거함으로써, N2A 또는 MMIK 성질에 위배됨을 모순시킨다.

실험 결과

연구 질문

• RQ1 21개 간선을 가진 유일한 미니멀-미니멀-내재적으로 뱀면 그래프는 14개의 KS 그래프인가?
• RQ2 Heawood 가족—$K_7$에서 $ abla\mathrm{Y}$ 및 $ abla\mathrm{Y}$ 이동을 통해 유도된 20개의 그래프—은 21개 간선을 가진 유일한 미니멀-미니멀-비-2-에이프스(MMN2A) 그래프의 완전한 목록인가?
• RQ3 21개 간선을 가진 그래프에서 $ abla\mathrm{Y}$ 이동이 비-2-에이프스 성질을 유지하는가?
• RQ4 비-2-에이프스이지만 $ abla\mathrm{Y}$ 이동을 거친 후 2-에이프스가 되는 최소 크기의 그래프는 무엇인가?

주요 결과

• $K_7$에서 $ abla\mathrm{Y}$ 이동을 통해 유도된 14개의 그래프는 21개 간선을 가진 유일한 미니멀-미니멀-내재적으로 뱀면(MMIK) 그래프이다.
• 21개 간선을 가진 연결된 내재적으로 뱀면 그래프는 모두 미니멀-미니멀임을 알 수 있으며, 크기 20인 그래프는 비-IK임이 알려져 있기 때문이다.
• 11, 12, 또는 13개 정점을 가진 21개 간선 그래프에서 비-2-에이프스인 그래프는 반드시 Heawood 가족에 속해야 한다.
• 14개 이상의 정점을 가진 미니멀-미니멀-비-2-에이프스 그래프는 최소 도수 3을 가져야 하며, 동일한 구조적 제약 조건을 만족하므로 Heawood 그래프여야 한다.
• 두 도수 5 정점이 서로 인접하고, $G - a, b$가 8개 정점의 정규 그래프인 도수 수열 $\{4^8, 5^2\}$의 경우, 오직 하나의 가능성만 존재한다: Heawood 가족의 그래프 20번.
• 10개 정점, 21개 간선을 가진 비-2-에이프스 그래프에서 최소 도수가 3를 초과한다면, 반드시 Heawood 가족의 그래프 20번이 되며, 이는 이 클래스 내에서의 유일성을 확인한다.