[논문 리뷰] Using the subspace theorem to bound unit distances

Ryan Schwartz|arXiv (Cornell University)|2012. 11. 21.

Analytic Number Theory Research참고 문헌 11인용 수 6

한 줄 요약

이 논문은 복소수의 유한 랭크 곱셈 부분군에서 유래하는 단위거리의 수를 유계화하기 위해 부분공간 정리를 사용한다. 랭크 $ r \leq c \log n $ 인 경우, 이러한 단위거리의 수는 $ n^{1+\varepsilon} $ 이하임을 보이며, 이는 이전의 원근의 단위근에 대한 결과를 확장하고, 에르되시의 하한 구성이 이러한 군의 구조에서 유래됨을 확인한다.

ABSTRACT

We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these points and distances and use the corollary above to bound certain paths of length $k$ in the graph giving at most $n^{1+\varepsilon}$ unit distances from the group above. We require that the rank $r\le c\log n$ for some $c>0$ depending on $\varepsilon$. This extends a result of József Solymosi, Frank de Zeeuw and the author where we only considered unit distances that are roots of unity. Lastly we show that the lower bound configuration for the unit distance problem of Erdős consists of unit distances from a multiplicative subgroup of the form above.

연구 동기 및 목표

• 이전의 복소수 곱셈군 $\mathbb{C}^*$의 원근에 국한된 단위거리 유계화 결과를 더 일반적인 유한랭크 곱셈 부분군으로 확장하는 것.
• 아모소소와 비아다의 정량적 추론을 활용하여, 이러한 군 내에서 선형방정식의 비퇴화해의 수를 유계화하기 위해 부분공간 정리를 적용하는 것.
• 랭크 $ r \leq c\log n $ 인 군에 대해, 임의의 $ \varepsilon > 0 $ 에 대해 단위거리의 수가 $ n^{1+\varepsilon} $ 이하임을 보이는 것. 이는 이전 결과를 향상시키는 것이다.
• 에르되시의 단위거리 문제에 대한 알려진 하한 구성이 이러한 유한랭크 곱셈 부분군에서 유래됨을 보이는 것.
• 특히 부분공간 정리를 활용하여 대수적 수론과 디오판틴 추측 도구를 통합하여 단위거리 분석을 통일하는 것.

제안 방법

• 복소수 곱셈군 $ \Gamma \subset \mathbb{C}^* $ 내에서 유한랭크를 가지는 원소들에 대해 선형방정식 $ a_1z_1 + \cdots + a_kz_k = 1 $ 의 비퇴화해의 수를 유계화하는 부분공간 정리의 추론을 활용한다.
• 아모소소와 비아다의 개선된 유계를 적용하여 $ A(k,r) \leq (8k)^{4k^4(k + kr + 1)} $ 를 얻고, 이러한 해의 수를 제어한다.
• 평면상의 $ n $개 점에서 유도된 단위거리 그래프를 구성하고, 간선이 $ \Gamma $ 에서 유래한 단위거리에 대응하도록 한다. 이후 그래프 이론적 도구를 사용하여 경로를 분석한다.
• 최소 차수 $ (c/2)n^\alpha $ 를 가지는 부분그래프 $ H $ 를 추출하기 위해 보조정리를 활용한다. 이는 경로 수 계산에 필요한 충분한 간선 밀도를 확보한다.
• 길이 $ k $ 의 중복이 없는 경로의 수를 세며, 최소 차수의 하한을 이용하여 이러한 경로의 수에 하한을 도출한다.
• 단위거리의 수가 $ n^{1+\varepsilon} $ 를 초과할 경우, 부분공간 정리의 상한을 초과하는 경로 수를 도출함으로써 모순을 유도함으로써 주 유계를 증명한다.

실험 결과

연구 질문

• RQ1 복소수 곱셈군 $ \mathbb{C}^* $ 의 유한랭크 부분군에서 유래하는 단위거리의 수를 부분공간 정리를 사용하여 유계화할 수 있는가?
• RQ2 단위거리의 방향이 랭크 $ r \leq c\log n $ 인 곱셈부분군에 속할 경우, 가능한 단위거리의 최대 수는 얼마인가?
• RQ3 에르되시의 단위거리 문제에 대한 알려진 하한 구성은 $ \mathbb{C}^* $ 의 유한랭크 곱셈부분군에서 유래하는 단위거리로 나타나는가?
• RQ4 부분공간 정리를 사용하는 것이 원근의 합과 같은 이전 방법(예: 반의 결과)에 비해 어떻게 향상되는가?
• RQ5 단위방향의 곱셈군의 랭크와 단위거리 수의 증가율 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 $ \varepsilon > 0 $ 에 대해, $ n_0 = n_0(\varepsilon) $ 가 존재하여 $ n > n_0 $ 일 때, 랭크 $ r \leq c\log n $ 인 복소수 곱셈군 $ \Gamma \subset \mathbb{C}^* $ 에서 유래하는 단위거리의 수는 $ n^{1+\varepsilon} $ 이하임을 보였다. 여기서 $ c = c(\varepsilon) > 0 $ 이다.
• 이 유계는 단위거리 그래프 내의 중복이 없는 경로 수를 부분공간 정리로 제어함으로써 도출되었으며, 너무 많은 단위거리가 존재할 경우 모순이 발생함을 보였다.
• 이 결과는 원근(랭크 0에 해당)에 대한 이전 연구를 고려하여, 랭크 조건을 만족할 경우 동일한 $ n^{1+\varepsilon} $ 유계가 유지됨을 보여, 일반화된 결과를 얻었다.
• 에르되시의 하한 구성은 $ \sqrt{n} \times \sqrt{n} $ 격자 기반으로 되어 있으며, 이로부터 유도되는 단위거리는 $ \mathbb{C}^* $ 의 랭크가 최대 $ r \leq 16\log n / \log\log n - 1 $ 인 곱셈부분군에서 유래된다.
• 이 랭크 유계는 큰 $ n $ 에 대해 점점 $ \leq c\log n $ 에 수렴하므로, 이 구성은 주정리의 가정 조건을 만족하며, 상한과의 일致성을 확인한다.
• 분석은 가우스 정수 $ \mathbb{Z}[i] $ 의 유일인수분해 성질을 활용하여, 두 제곱수의 합으로 표현되는 정수의 수를 세며, 이는 격자 구성에서 단위벡터에 대응한다.