[논문 리뷰] Counting all equilateral triangles in {0,1,2,...,n}^3

Eugen J. Ionaşcu|ArXiv.org|2007. 01. 03.

Mathematics and Applications참고 문헌 3인용 수 4

한 줄 요약

이 논문은 기하학적 및 수론적 제약 조건에서 유도된 디오판틴 방정식의 매개변수 해를 사용하여 정수 격자 {0,1,...,n}³의 꼭짓점들을 가진 정삼각형을 모두 나열하는 계산 방법을 제시한다. 저자들은 Maple을 사용해 알고리즘을 구현하고 n=1에서 55까지 ET(n)를 계산하며, limₙ→∞ ln ET(n)/ln(n+1)가 존재한다고 추측하며, 이는 어떤 상수 C에 대해 (n+1)^C의 차수를 갖는 다항식 성장률을 시사한다.

ABSTRACT

We describe a procedure of counting all equilateral triangles in the three dimensional space whose coordinates are allowed only in the set $\{0,1,...,n\}$. This sequence is denoted here by ET(n) and it has the entry A102698 in "The On-Line Encyclopedia of Integer Sequences". The procedure is implemented in Maple and its main idea is based on the results in \cite{eji}. Using this we calculated the values ET(n) for n=1..55 which are included here. Some facts and conjectures about this sequence are stated. The main of them is that $\ds \lim_{n o \infty} \frac{\ln ET(n)}{\ln n+1}$ exists.

연구 동기 및 목표

• 주어진 n에 대해 정수 격자 {0,1,...,n}³에 제한된 꼭짓점을 가진 모든 정삼각형을 체계적으로 세는 것.
• ℤ³ 내 정삼각형의 수론적 매개변수화에 기반한 계산 절차 개발.
• n=1에서 55까지 ET(n)를 계산하고 수열의 성장 행동를 분석하는 것.
• ET(n)의 점 渐진 성장률을 조사하고 limₙ→∞ ln ET(n)/ln(n+1) = C의 존재성을 추측하는 것.

제안 방법

• 정수 m,n에 대해 √[2(m²−mn+n²)]의 형태로 ℤ³ 내 정삼각형의 변 길이를 특성화하기 위해 정리 1.1을 사용한다.
• 정삼각형을 포함하는 평면의 법선 벡터를 정의하는 a²+b²+c²=3d²의 모든 정수 해 (a,b,c,d)를 생성하기 위해 정리 1.2를 적용한다.
• 주어진 평면 내의 모든 삼각형을 정수 매개변수 m,n 및 2(a²+b²)=s²+3r²의 해 (r,s)로 매개변수화하기 위해 정리 1.3을 활용한다.
• 정육면체 [0,n]³ 내에서 최소 삼각형의 유효한 이동 및 회전 수를 계산하는 재귀적 절차를 Maple에 구현한다.
• 중복 계산을 방지하기 위해 이동 T, 교차 T, 교차 스킴 T 등의 기하학적 불변량을 사용한다.
• 모든 유효한 (a,b,c,d) 및 (r,s) 쌍의 기여를 합쳐 ET(n)를 n에 관한 다항식 항의 합으로 계산한다.

실험 결과

연구 질문

• RQ1 주어진 n에 대해 3차원 정수 격자 {0,1,...,n}³ 내 꼭짓점들을 가진 정삼각형의 정확한 수는 얼마인가?
• RQ2 수론적 매개변수화를 사용해 이러한 삼각형을 어떻게 체계적으로 생성할 수 있는가?
• RQ3 n→∞일 때 ET(n), 즉 이러한 삼각형의 수의 점 渐진 성장률은 무엇인가?
• RQ4 limₙ→∞ ln ET(n)/ln(n+1)의 극한이 존재하는가? 존재한다면 그 값은 얼마인가?

주요 결과

• 저자들은 n=1에서 55까지 ET(n)를 계산하였으며, n=1일 때는 8에서 시작하여 n=55일 때는 488,902,856에 이른다.
• ET(n) 수열은 어떤 입방 다항식보다도 더 빠르게 증가하지만 (n+1)^5로 유계이므로, 모든 n에 대해 ET(n) ≤ (n+1)^5로 유추된다.
• 수열 aₙ = ln ET(n)/ln(n+1)가 증가하고 있으며 수치적으로 5 이하로 유계임을 관찰하여, 유한한 극한의 존재성을 지지하는 증거를 제공한다.
• ET(n)의 성장은 ζ = n−1에 관한 다항식 기여의 합으로 모델링되며, 각 새로운 n은 uₙ(ζ−n+1)^3 + vₙ(ζ−n+1)^2 + wₙ(ζ−n+1) + sₙ 형태의 항을 추가한다.
• 매개변수화에서 단순화된 가정에 대한 반례가 발견되었지만, d ≤ 4096 이하의 홀수 및 gcd(a,b,c)=1 조건을 만족하는 경우에도 방법은 여전히 유효하다.
• 저자들은 limₙ→∞ ln ET(n)/ln(n+1) = C의 존재를 추측하며, 이는 어떤 상수 C에 대해 정확한 다항식 성장률 (n+1)^C를 갖는다는 것을 시사한다.