[논문 리뷰] Intrinsic knotting and linking of almost complete graphs

Jesse Campbell, Thomas W. Mattman외 4명|ArXiv.org|2007. 01. 15.

Limits and Structures in Graph Theory참고 문헌 6인용 수 7

한 줄 요약

이 논문은 그래프의 내재된 낫킹과 리킹에 대한 새로운 충분조건을 확립한다: $ n \geq 7 $ 개의 정점과 최소 $ 5n - 14 $ 개의 간선을 가진 그래프는 내재적으로 낫킹되어 있으며, $ n \geq 6 $ 개의 정점과 최소 $ 4n - 9 $ 개의 간선을 가진 그래프는 내재적으로 리킹되어 있다. 주요 기여는 이러한 경계를 소수 포함 관계를 통해 증명한 것이다—구체적으로, 이러한 그래프는 각각 $ K_7 $ 또는 $ K_6 $ 를 소수로 포함하고 있음을 보여주는 것이다.

ABSTRACT

We introduce new sufficient conditions for intrinsic knotting and linking. A graph on n vertices with at least 4n-9 edges is intrinsically linked. A graph on n vertices with at least 5n-14 edges is intrinsically knotted. We also classify graphs that are 0, 1, or 2 edges short of being complete partite graphs with respect to intrinsic linking and intrinsic knotting. In addition, we classify intrinsic knotting of graphs on 8 vertices.

연구 동기 및 목표

• 정점 수와 간선 수에 기반한 그래프의 내재된 낫킹과 리킹에 대한 새로운 충분조건을 확립하기 위해.
• 완전 그래프 또는 완전 다중그래프에서 0-, 1-, 또는 2개 간선 부족한 그래프에 대해 내재된 낫킹과 리킹 여부를 분류하기 위해.
• 8개 정점에서 내재적으로 낫킹된 그래프를 완전히 분류하여, 소수 동치 관계에 따라 이러한 그래프의 완전한 목록을 제공하기 위해.
• 8개 정점에서 $ 5n - 14 $ 개 간선을 가진 그래프가 $ K_7 $ 를 소수로 포함하고, $ 4n - 9 $ 개 간선을 가진 그래프가 $ K_6 $ 를 소수로 포함함을 증명하여, 내재된 낫킹 또는 리킹을 유도하기 위해.

제안 방법

• 정점 수에 대한 귀납법을 사용하여, $ n \geq 6 $ 개 정점과 $ 4n - 9 $ 개 간선을 가진 그래프가 $ K_6 $ 를 소수로 포함함을 증명한다.
• 간선 압축과 정점 삭제 연산을 적용하여 그래프를 단순화하고, $ K_6 $ 와 $ K_7 $ 가 내재적으로 리킹되거나 낫킹된다는 기존 결과를 활용한다.
• 완전 그래프와 완전 다중그래프에서의 간선 제거 분석을 통해 $ k $-결함 그래프($ k = 0,1,2 $)를 분류한다. 특히 $ K_{n} $, $ K_{3,3,1,1} $, $ K_{4,3,1} $ 을 중심으로 분석한다.
• 소수 최소성과 위상적 소수 관계를 활용하여 내재된 낫킹과 리킹을 판단하며, 소수로 내재된 낫킹 또는 리킹을 가진 그래프는 그 성질을 상속한다는 사실에 기반한다.
• 간선 1~7개를 제거한 $ K_8 $ 의 부분그래프를 철저히 열거하고 분류하여, 소수 포함과 구조적 분석을 통해 내재적으로 낫킹된 그래프를 식별한다.
• 기존의 $ K_7 $ 과 $ H_8 $ (삼각형-역삼각형 교환을 통해 $ K_7 $ 에서 유도된 그래프)의 소수 최소성에 대한 결과를 활용하여, 8개 정점에서 내재적으로 낫킹된 그래프를 식별한다.

실험 결과

연구 질문

• RQ1 내재된 낫킹을 보장하기 위해 $ n $ 개 정점에서 필요한 최소 간선 수는 얼마인가?
• RQ2 내재된 리킹을 보장하기 위해 $ n $ 개 정점에서 필요한 최소 간선 수는 얼마인가?
• RQ3 완전 또는 완전 다중그래프에서 1개 또는 2개 간선 부족한 그래프 중 내재적으로 낫킹되거나 리킹된 그래프는 무엇인가?
• RQ4 8개 정점에서 내재적으로 낫킹된 그래프의 완전한 분류는 무엇인가?
• RQ5 $ n \geq 7 $ 개 정점에서 $ 5n - 14 $ 개 간선을 가진 그래프가 반드시 $ K_7 $ 를 소수로 포함하는가? 마찬가지로 $ 4n - 9 $ 개 간선과 $ K_6 $ 는 어떠한가?

주요 결과

• 8개 이상의 정점과 최소 $ 5n - 14 $ 개 간선을 가진 그래프는 $ K_7 $ 를 소수로 포함하므로 내재적으로 낫킹되어 있다.
• 6개 이상의 정점과 최소 $ 4n - 9 $ 개 간선을 가진 그래프는 $ K_6 $ 를 소수로 포함하므로 내재적으로 리킹되어 있다.
• 8개 정점에서 내재적으로 낫킹된 그래프 20개가 모두 분류되었으며, 이 중 12개는 $ K_8 - 5e $ 의 소수이며, 나머지 8개는 정점 분할을 통해 $ K_7 $ 나 $ H_8 $ 에서 유도되었다.
• $ K_8 $ 에서 두 개 간선이 제거된 그래프(2-결함 그래프)의 분류 결과, 내재된 리킹과 낫킹 여부는 결함 간선의 구조, 특히 그들이 정점을 공유하는지 여부에 따라 달라진다.
• $ K_8 - 5e $ 그래프 중에서 내재적으로 낫킹된 것은 오직 네 개뿐이며, 이들은 보완 그래프 또는 $ K_7 $ 를 소수로 포함한다는 점에서 특징지어진다.
• $ K_8 $ 에서 8개 이상의 간선이 제거된 그래프는 내재적으로 낫킹되지 않으며, 이는 $ K_8 - 7e $ 그래프의 소수이기 때문이다. 따라서 8개 정점에서 내재적으로 낫킹된 그래프는 최대 7개 간선이 제거된 그래프들 뿐이다.