[논문 리뷰] Minimal Polynomials for the Coordinates of the Harborth Graph

Eberhard H.-A. Gerbracht|ArXiv.org|2006. 09. 13.

Mathematics and Applications참고 문헌 2인용 수 8

한 줄 요약

이 논문은 컴퓨터 대수 시스템을 사용하여 최소 다항식을 계산하여 Harborth 그래프의 좌표에 대한 최초의 정확한 해석적 기술을 제공한다. 그래프가 강체이며, 그 좌표들이 유리수 위에서 기약인 22차 대수적 수이며, 루트로 표현될 수 없음을 증명한다—이는 그래프가 자름과 직선만으로 작도될 수 없음을 암시한다.

ABSTRACT

The Harborth graph is the smallest known example of a 4-regular planar unit-distance graph. In this paper we give an analytical description of the coordinates of its vertices for a particular embedding in the Euclidean plane. More precisely, we show, how to calculate the minimal polynomials of the coordinates of its vertices (with the help of a computer algebra system), and list those. Furthermore some algebraic properties of these polynomials, and consequences to the structure of the Harborth graph are determined.

연구 동기 및 목표

• 이전까지는 근사적인 그림로만 알려져 있던 Harborth 그래프의 정점 좌표에 대한 정확한 대수적 기술을 제공하는 것.
• 컴퓨터 대수 시스템을 사용한 기호 계산을 통해 좌표의 최소 다항식을 결정하는 것.
• Harborth 그래프의 대수적 및 기하적 성질을 규명하는 것—강체성과 작도 가능성 상태 포함.
• 그래프가 강체인지 아닌지에 대한 오랫동안 떠도는 모호함을 해소하기 위해 평면상에서의 고유한 고정된 매립이 있음을 증명하는 것.

제안 방법

• 높이 T를 매개변수로 하는 자와 컴пас 기법을 사용해 Harborth 그래프의 1/4을 기하학적 구성하기.
• 원과 선 간의 단위거리 및 교차 조건에 기반한 이차 방정식의 체계 설정.
• 특히 Mathematica를 사용해 기호 변환과 근 고립을 통해 정점 좌표의 최소 다항식을 계산하는 컴퓨터 대수 시스템 활용.
• 유도된 좌표가 요구되는 단위거리 조건을 만족하는지 확인하기 위해 RootReduce 함수 적용.
• 근 고립과 갈루아 이론을 적용해 최소 다항식의 루트로의 표현 가능성 분석.
• 임의의 다른 매립이 연속적인 변형이 필요하다는 것을 보여 강체성을 증명하는 것.

실험 결과

연구 질문

• RQ1 Harborth 그래프의 고유한 평면 매립에서 정점의 좌표가 만족하는 정확한 최소 다항식은 무엇인가?
• RQ2 Harborth 그래프는 강체인가? 즉, 평면상에서 합동 매립 외에 다른 매립이 가능한가?
• RQ3 Harborth 그래프 정점의 좌표는 루트로 표현될 수 있는가?
• RQ4 좌표는 대수적 수인가? 만약 그렇다면 그 차수와 갈루아 성질은 무엇인가?
• RQ5 Harborth 그래프는 자와 직선만으로 작도 가능한가?

주요 결과

• Harborth 그래프의 모든 비영 좌표는 짝수이고 서명이 (6,8)인 22차 최소 다항식을 만족한다—즉, 실근 6개와 총 8개의 켤레 복소근 쌍이 있다.
• 모든 비영 좌표의 최소 다항식은 기약 11차 다항식과 X²의 복합으로 인수분해되며, 특정한 대수적 구조를 나타낸다.
• 좌표는 루트로 표현될 수 없다. 그 이유는 최소 다항식이 기약이며 홀수 차수(11)이면서 실근이 여러 개이기 때문에 갈루아 해법 가능성 기준을 위반하기 때문이다.
• Harborth 그래프는 강체이다: 단위거리 또는 평면성 조건을 위반하지 않고서는 연속적인 변형이 불가능하다.
• Galois 군의 차수가 2의 거듭제곱이 아니므로, Harborth 그래프는 자와 직선만으로는 작도할 수 없다.
• 전체 구성은 최소 다항식과 고립 구간에 의해 유일하게 결정되며, 루트 해법이 없더라도 정확한 기호 표현이 가능하다.