[논문 리뷰] A note on Erdős-Diophantine graphs and Diophantine carpets

Axel Kohnert, Sascha Kurz|ArXiv.org|2005. 11. 29.

Computational Geometry and Mesh Generation참고 문헌 2인용 수 5

한 줄 요약

이 논문은 정수 거리 제약 조건에서 유도된 쌍곡선 방정식의 연립방정식을 풀어 에르되시-디오판틴 그래프를 구성하는 효과적인 알고리즘을 제시하며, 이중 그래프의 사이클 구조에 기반해 디오판틴 카펫의 색칠 수를 1, 2, 또는 3으로 특성화한다. 정수 좌표를 가진 Z³에서 정수 간선 길이, 면적, 부피를 갖는 에르되시-디오판틴 삼각형 7개와 다수의 에르되시-디오판틴 육면체를 식별한다.

ABSTRACT

A Diophantine figure is a set of points on the integer grid $\mathbb{Z}^{2}$ where all mutual Euclidean distances are integers. We also speak of Diophantine graphs. In this language a Diophantine figure is a complete Diophantine graph. Due to a famous theorem of Erdős and Anning there are complete Diophantine graphs which are not contained in larger ones. We call them Erdős-Diophantine graphs. A special class of Diophantine graphs are Diophantine carpets. These are planar triangulations of a subset of the integer grid. We give an effective construction for Erdős-Diophantine graphs and characterize the chromatic number of Diophantine carpets.

연구 동기 및 목표

• 정수 거리 조건을 만족하는 네 점으로 구성된 완전 그래프로 확장된 디오판틴 삼각형을 효과적으로 구성하기 위한 알고리즘을 개발한다.
• 주어진 빗변 길이에 대해 피타고라스 삼각형의 渐近적 행동에 대한 열린 문제를 해결한다.
• 이중 그래프의 사이클 구조를 이용해 디오판틴 카펫의 색칠 수를 특성화한다.
• 정수 간선 길이, 면적, 부피를 갖는 Z³ 내 에르되시-디오판틴 육면체를 식별하고 검증한다.
• 컴퓨터 검색과 기하학적 제약 조건을 통해 에르되시-디오판틴 그래프 및 육면체의 존재 여부에 대한 추측을 확인하거나 기각한다.

제안 방법

• 유사도 거리의 차이에 기반해, 디오판틴 삼각형 ABC를 네 점의 완전 디오판틴 그래프로 확장할 수 있는 후보 점 P의 수를 제한하기 위해 정리 1.1을 사용한다.
• 제곱근 차이를 포함하는 방정식 연립을 풀어, A, B, C로부터의 거리가 모두 정수인 정수 좌표 점 P를 찾는다.
• 분할 함수 항등식 χ(l) = d₁,₄(l) − d₃,₄(l)을 적용하여 빗변 길이 l을 갖는 피타고라스 삼각형의 渐近적 성장률을 분석한다.
• 각 삼각형을 노드로 치환하고 삼각형이 변을 공유하면 노드를 연결함으로써 디오판틴 카펫의 이중 그래프 C*를 구성한다.
• 그래프 이론을 이용해 C*의 색칠 수를 결정한다: 비연결이면 1, 이분 그래프이면 2(홀수 사이클 없음), 그 외는 3이며, 브로우즈의 정리에 따라 상한이 존재한다.
• 정수 거리 차이를 갖는 삼변수 쌍곡면 교차 방정식 연립을 풀어 에르되시-디오판틴 육면체를 탐색한다.

실험 결과

연구 질문

• RQ1 l → ∞ 일 때, 주어진 빗변 길이 l을 갖는 피타고라스 삼각형의 수의 渐近적 성장률은 무엇인가?
• RQ2 에르되시-디오판틴 삼각형은 존재하는가? 그리고 체계적으로 구성하거나 열거할 수 있는가?
• RQ3 디오판틴 삼각형을 네 점의 완전 디오판틴 그래프로 확장할 수 있는 모든 정수 좌표 점을 식별하는 효과적인 알고리즘을 개발할 수 있는가?
• RQ4 디오판틴 카펫의 색칠 수는 무엇이며, 이는 이중 그래프의 구조와 어떻게 관련이 있는가?
• RQ5 Z³ 내에서 정수 간선 길이, 면적, 부피를 갖는 에르되시-디오판틴 육면체는 존재하는가? 그리고 알고리즘적으로 식별할 수 있는가?

주요 결과

• 분할 함수 분석에 기반해, 빗변 길이 l을 갖는 피타고라스 삼각형의 수는 임의의 ε > 0 에 대해 O(l^ε) 의 속도로 渐近적으로 증가한다.
• 간선 길이 ≤ 5000 인 7개의 에르되시-디오판틴 삼각형이 식별되었으며, (2066, 1803, 505) 및 (4920, 4177, 985) 포함하여 존재를 확인하였다.
• 알고리즘이 이전에 추측된 두 개의 디오판틴 도형이 실제로 에르되시-디오판틴 그래프임을 성공적으로 검증하였다.
• Z³ 내에서 9개의 서로 다른 에르되시-디오판틴 육면체가 발견되었으며, 원점 기준 좌표 형식으로 기술되었다.
• 디오판틴 카펫의 색칠 수는 비연결이면 1, 이중 그래프가 이분 그래프이면 2(홀수 사이클 없음), 그 외는 3이며, 브로우즈의 정리와 일치한다.
• 디오판틴 카펫의 이중 그래프는 최대 차수 3을 가지며, 이는 색칠 수가 최대 3임을 보장하며, 비이분 그래프 경우에 이 상한이 날카로운 것으로 밝혀졌다.