[논문 리뷰] Linear embeddings of $K_9$ are triple linked

Ramin Naimi, Elena Pavelescu|arXiv (Cornell University)|2012. 02. 08.

Advanced Graph Theory Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 9개의 정점을 가진 완전 그래프 $K_9$ 의 3차원 공간에 대한 선형 임bedding이 항상 분리되지 않은 3성분 링크를 포함함을 증명한다. 이는 9개의 원소를 가진 랭크 4의 순환적이지 않은 오리엔티드 매트로이드를 체계적으로 분석하기 위해 오리엔티드 매트로이드 이론을 사용하며, 23억 개가 넘는 순환적이지 않은 오리엔티드 매트로이드를 계산하여 각각이 삼중 링크를 포함함을 확인함으로써, 사크스의 추측이 3링크로의 일반화가 불가능함을 반증한다.

ABSTRACT

We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.

연구 동기 및 목표

• 3차원 공간 $\mathbb{R}^3$ 에서의 모든 선형 $K_9$ 임bedding이 분리되지 않은 3성분 링크를 포함하는지 확인하는 것.
• 선형 링크리스 임bedding에 대한 사크스의 추측이 3링크로의 일반화가 가능한지 검증하는 것.
• 오리엔티드 매트로이드 이론을 사용하여 선형 $K_9$ 임bedding의 링킹 구조를 체계적으로 분석하는 것.
• 계산적으로 모든 선형 $K_9$ 임bedding이 분리되지 않은 3링크를 피할 수 없음을 확인함으로써, 일반적으로 $K_9$ 가 내재적으로 3링크가 아니라는 점을 고려하여, 이에 대한 반례가 존재하지 않음을 입증하는 것.

제안 방법

• 각 선형 $K_9$ 임bedding을 9개의 원소를 가진 랭크 4의 오리엔티드 매트로이드로 표현하며, 이는 정점 좌표와 치로토프 부호 패턴에서 유도된다.
• 모든 동형류의 균일한 오리엔티드 매트로이드 $\mathrm{OM}(9,4)$ 의 데이터베이스를 사용하며, 이는 23억 개가 넘는 오리엔티드 매트로이드를 포함한다.
• 각 순환적이지 않은 오리엔티드 매트로이드에 대해, $\mathcal{M}_{-A}$ 가 순환적일 때의 재오리엔테이션 집합 $A$ 의 집합을 레마 4.3을 사용하여 계산한다.
• 각 순환적이지 않은 오리엔티드 매트로이드에 대해, 모든 3–2–분할된 순환을 식별하여 어떤 간선이 삼각형을 관통하는지 확인함으로써, 레마 1.4를 통한 링크 탐지가 가능하게 한다.
• Mathematica에서 실행하는 계산 알고리즘을 사용하여, 모든 가능한 서로소 삼각형 트리플릿을 검사하며, 정의 4.2에서 정의된 링킹 조건을 적용한다.
• 보조적 증거를 통해 결과를 검증한다: $K_6$ 와 $K_7$ 에 대한 기존 결과를 재계산하고, $\mathrm{OM}(9,4)$ 에서 무작위로 선택한 3개의 동형류를 수작업으로 검증한다.

실험 결과

연구 질문

• RQ1 3차원 공간 $\mathbb{R}^3$ 에서의 모든 선형 $K_9$ 임bedding이 분리되지 않은 3성분 링크를 포함하는가?
• RQ2 선형 링크리스 임bedding에 대한 사크스의 추측이 3링크로 일반화될 수 있는가?
• RQ3 $K_9$ 가 일반적으로 내재적으로 3링크가 아니라는 점을 감안할 때, 분리되지 않은 3링크를 피하는 선형 $K_9$ 임bedding이 존재하는가?
• RQ4 오리엔티드 매트로이드 이론과 계산적 순열이 공간 그래프에서 분리되지 않은 3링크를 신뢰성 있게 탐지할 수 있는가?
• RQ5 계산 결과는 독립적인 수작업 검증과 문서화된 증거로 검증 가능한가?

주요 결과

• $\mathrm{OM}(9,4)$ 에 포함된 2,374,808,320개의 순환적이지 않은 오리엔티드 매트로이드 전부가 최소한 하나의 분리되지 않은 3성분 링크를 포함한다.
• 계산 결과는 $\mathrm{OM}(9,4)$ 의 모든 순환적이지 않은 오리엔티드 매트로이드가 삼중 링크를 포함함을 확인하여, 모든 선형 $K_9$ 임bedding이 삼중 링크임을 의미한다.
• 프로그램의 결과가 $K_6$ 와 $K_7$ 에 대해 기존 문헌에서 알려진 결과와 일치하여 계산 방법의 타당성을 검증한다.
• 보조적 증거로는 $\mathrm{OM}(9,4)$ 에서 무작위로 선택한 3개의 동형류에 대한 상세한 출력이 포함되어 있으며, 제시된 모든 3링크에 대해 수작업 검증이 가능하다.
• 저자들은 arXiv에 모든 계산을 독립적으로 검증할 수 있도록 완전히 문서화된 Mathematica 프로그램을 제공한다.
• 강력한 계산적 증거가 있음에도 불구하고, 저자들은 $\mathrm{OM}(9,4)$ 의 모든 순환적이지 않은 오리엔티드 매트로이드가 반드시 실제 선형 $K_9$ 임bedding에 의해 유도되는 것은 아니라고 언급한다.