[논문 리뷰] The no-three-in-line problem on a torus

Jim Fowler, Andrew Groot외 2명|arXiv (Cornell University)|2012. 03. 29.

Geometric and Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 이산 토러스 위의 no-three-in-line 문제를 조사하며, 선을 $ℤ_m \times ℤ_n$의 순환부분군의 왼쪽 여부군으로 재정의한다. 군론과 그로버 기저를 사용하여 최대 점 배치 수의 정확한 값을 도출한다: $T(\mathbb{Z}_p \times \mathbb{Z}_{p^2}) = 2p$ 및 $T(\mathbb{Z}_p \times \mathbb{Z}_{pq}) = p+1$이며, $2 \leq m \leq 7$, $2 \leq n \leq 19$에 대해 매크로이2를 사용한 힐버트 급수를 통해 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$를 계산한다.

ABSTRACT

Let $T(\Z_m imes \Z_n)$ denote the maximal number of points that can be placed on an $m imes n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m imes \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p imes \Z_{p^2}) = 2p$ and $T(\Z_p imes \Z_{pq}) = p+1$. Via Gröbner bases, we compute $T(\Z_m imes \Z_n)$ for $2 \leq m \leq 7$ and $2 \leq n \leq 19$.

연구 동기 및 목표

• 선을 $\mathbb{Z}_m \times \mathbb{Z}_n$의 순환부분군의 여부군으로 정의할 때, $m \times n$ 이산 토러스에 세 점 이상이 한 선 위에 오지 않도록 최대 몇 개의 점을 놓을 수 있는지 결정하는 것.
• 특히 소수 및 합성수 차수에 대해 특정 토러스 차원에 대한 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$의 정확한 값을 도출하는 것.
• 그로버 기저와 힐버트 급수를 포함한 계산 기반 대수기법을 개발하고 적용하여 해를 열거하고 경계를 검증하는 것.
• 토러스 위의 해와 평면 격자 위의 해를 비교하여, 토러스 구조가 최대 해의 크기를 줄임을 드러내는 것.

제안 방법

• 커버링 사상에 의해 $\mathbb{Z} \times \mathbb{Z}$의 직선의 상으로 토러스 위의 선을 정의하며, 이는 $\mathbb{Z}_m \times \mathbb{Z}_n$의 최대 순환부분군의 여부군에 대응한다.
• 군론적 분석을 통해 순환부분군의 구조를 연구함으로써, 세 점이 한 선 위에 있지 않은 최대 점 수인 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$를 경계짓는다.
• 유한체 위의 그로버 기저를 적용하여 no-three-in-line 조건을 다항식환의 아이디얼로 모델링함으로써 점의 배치와 금지된 구성요소를 인코딩한다.
• 제약 조건을 포함하는 아이디얼 $I$에 대해 몐링환 $R = K[x_{i,j}]/I$의 힐버트 급수를 계산하여 각 크기의 해를 열거한다.
• 컴퓨터 대수계산 시스템 매크로이2를 사용하여 힐버트 함수와 급수를 계산하고, 비영인 최고 차수 항의 차수를 최대 해의 크기로 추출한다.
• 특히 $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ 및 $\mathbb{Z}_p \times \mathbb{Z}_{pq}$에 대해 계산된 경계에 도달하는 구체적인 점 집합을 구성함으로써 결과를 실증적으로 검증한다.

실험 결과

연구 질문

• RQ1 서로 다른 소수 $p$, $q$에 대해, $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ 토러스 위에 세 점 이상이 한 순환부분군의 여부군 위에 있지 않도록 놓을 수 있는 최대 점 수는 얼마인가요?
• RQ2 토러스 위의 최대 해는 평면 $n \times n$ 격자 위의 해와 비교해 볼 때 크기와 수의 측면에서 어떻게 다릅니까?
• RQ3 서로 다른 소수 $p$, $q$에 대해 $T(\mathbb{Z}_p \times \mathbb{Z}_{p^2})$ 및 $T(\mathbb{Z}_p \times \mathbb{Z}_{pq})$에 대한 정확한 공식을 유도할 수 있을까요?
• RQ4 작은 $m$, $n$에 대해 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$를 체계적으로 계산하는 데 사용할 수 있는 계산 방법은 무엇인가요?
• RQ5 $14 \times 14$ 토러스가 크기는 크지만 최대 12개의 점만 허용하는 이유는 무엇이며, 이는 토러스 제약 조건에 대해 무엇을 드러내나요?

주요 결과

• 서로 다른 소수 $p$와 $q$에 대해, $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ 토러스 위에 세 점이 한 순환부분군의 여부군 위에 있지 않도록 놓을 수 있는 최대 점 수는 정확히 $2p$이다.
• 서로 다른 소수 $p$와 $q$에 대해, $\mathbb{Z}_p \times \mathbb{Z}_{pq}$ 토러스 위의 최대 점 수는 $p+1$이다.
• $\mathbb{Z}_2 \times \mathbb{Z}_{2n}$에 대해 모든 양의 정수 $n$에 대해 $T(\mathbb{Z}_2 \times \mathbb{Z}_{2n}) = 4$가 성립하며, 이는 직접적인 구성에 의해 입증된다.
• $14 \times 14$ 이산 토러스는 크기에 비해 세 점이 한 선 위에 있지 않은 최대 점 수가 12개 뿐이며, 이는 해의 크기가 토러스 크기 이하로 줄어드는 이례적인 현상이다.
• $2 \leq m \leq 7$ 및 $2 \leq n \leq 19$에 대해 논문은 그로버 기저와 힐버트 급수를 사용하여 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$를 명시적으로 계산한다.
• 토러스 위의 최대 해의 수는 일반적으로 평면 격자 위의 해보다 훨씬 적으며, 홀수 토러스의 경우 짝수 토러스보다 격자 해와 더 유사한 경향을 보인다.