[논문 리뷰] Eleven Unit Distance Embeddings of the Heawood Graph

Eberhard H.-A. Gerbracht|ArXiv.org|2009. 12. 30.

Graph Labeling and Dimension Problems참고 문헌 3인용 수 6

한 줄 요약

이 논문은 Heawood 그래프의 11개의 서로 다른 단위거리 매칭을 제시함으로써, 이 그래프가 단위거리 그래프임을 증명한다. 이는 15자리 소수 근사값과 대수 방정식을 제공함으로써 이루어지며, 동적 기하 소프트웨어와 기계적 기호 계산 시스템을 사용하여, 21개의 모든 간선이 단위 길이로 표현될 수 있음을 입증한다. 이는 V. Chvátal이 1972년에 유한 기하학 평면의 점-선 인cidenece 그래프가 단위거리 매칭이 불가능할 것이라 추측한 바를 뒤집는 결과이다.

ABSTRACT

In this note we present eleven unit distance embeddings of the Heawood graph, i.e. the point-line incidence graph of the finite projective plane of order two, by way of pictures and 15 digit approximations of the coordinates of the vertices. These together with the defining algebraic equations suffice to calculate arbitrarily exact approximations for the exact embeddings, and so to show that the Heawood graph indeed is a unit-distance graph. Thus we refute a "suspicion" of V. Chvatal from 1972.

연구 동기 및 목표

• Heawood 그래프가 Fano 평면의 인cidenece 그래프로서 단위거리 매칭이 불가능할 것이라는 V. Chvátal의 1972년 추측을 해결하는 것.
• 모든 인접한 정점이 유클리드 평면상에서 정확히 거리 1이 되는 Heawood 그래프의 명시적 기하적 실현을 제공하는 것.
• 15자리 정밀도의 좌표를 가진 11개의 서로 다른 유효한 매칭을 구성함으로써 Heawood 그래프가 단위거리 그래프임을 입증하는 것.
• 기하 대수 방정식을 통한 임의의 정밀도 계산이 가능한 데이터를 제공하여 완전한 증명의 기초를 마련하는 것.

제안 방법

• Heawood 그래프는 Fano 평면의 인cidenece 그래프로 모델링되며, 14개의 정점(7개의 점과 7개의 직선)과 21개의 간선이 있으며, 이는 인cidenece 관계에 해당한다.
• 각 인cidenece 관계에 대해 하나의 이차방정식을 유도하여, 인접한 정점 간의 거리가 1이 되도록 강제한다: (x_Pi - x_lj)^2 + (y_Pi - y_lj)^2 = 1.
• 자유도를 줄이기 위해, 초기 구성에서 여섯 개의 정점(P5, l5, P7, l7, P2, l3)을 직사각형 루프로 고정한다.
• 추가적인 기하 제약 조건이 도입되며, l4, P4, l5는 일직선 상에 있으며, d(l4, l5) = 2이므로, P5를 중심으로 반지름 2인 원 위에 l4의 위치가 고정된다.
• 수치적 및 기호 계산 도구(Mathematica, GeoGebra, Singular)를 사용하여 방정식계를 풀고, 모든 정점의 15자리 소수 근사값을 생성한다.
• 결과로 얻어진 매칭은 고정밀도로 모든 단위거리 조건을 만족하는지 계산적으로 검증된다.

실험 결과

연구 질문

• RQ1 Heawood 그래프가 Fano 평면의 인cidenece 그래프로서 유클리드 평면상에서 단위거리 그래프로 실현 가능한가?
• RQ2 모든 간선이 정확히 한 단위 길이가 되는 Heawood 그래프의 명시적 기하 매칭을 구성할 수 있는가?
• RQ3 여러 개의 서로 다른 매칭이 존재하는 것은 이 그래프의 단위거리 표현에서 구조적 유연성 또는 유일성을 시사하는가?
• RQ4 수치 근사값과 대수 방정식을 조합하여 Heawood 그래프가 단위거리 그래프로 정확히 실현 가능하다는 것을 증명할 수 있는가?

주요 결과

• 이 논문은 Heawood 그래프에 대한 11개의 서로 다른 단위거리 매칭을 제시하며, 각 매칭은 정점 좌표의 15자리 근사값을 포함한다.
• 모든 매칭은 Fano 평면의 인cidenece 관계로부터 유도된 21개의 단위거리 조건을 만족한다.
• 모든 매칭은 정규적이다. 즉, 비인접한 정점들이 평면상에서 겹치지 않으며, 그래프의 구조가 유지된다.
• 제공된 데이터는 정의하는 대수 방정식을 이용해 임의의 정밀도로 정확한 매칭의 근사값을 계산하는 데 충분하다.
• 결과적으로 V. Chvátal이 1972년에 제기한, 유한 기하학 평면의 점-선 인cidenece 그래프가 단위거리 매칭이 불가능할 것이라는 추측을 반박한다.
• 11개의 매칭 중 하나는 이미 전문가들에게 공유되었으며, 2008년에 공개적으로 발표되어 그 타당성이 조기에 인식된 바 있다.