[논문 리뷰] On the size of Diophantine m-tuples

Andrej Dujella|arXiv (Cornell University)|2000. 02. 11.

Analytic Number Theory Research참고 문헌 22인용 수 7

한 줄 요약

이 논문은 정수론적 다항식의 성질을 만족하는 $ m $-튜플, 즉 서로 다른 두 원소의 곱에 고정된 비영인 정수 $ n $ 을 더한 결과가 완전제곱수가 되는 양의 정수 집합인 디오판틴 $ m $-튜플의 크기에 대해 새로운 상계를 설정한다. 디오판틴 근사 이론, 갭 원리, 그리고 빅 스크린 기법을 활용하여, $ |n| \leq 400 $ 인 경우 최대 크기가 32 이하임을 증명하고, $ |n| > 400 $ 인 경우 크기가 $ 267.81 \log|n| (\log\log|n|)^2 $ 이하로 유계임을 보였다. 이는 이전의 추정치를 크게 향상시키며, 이러한 집합의 크기가 항상 유계인지 여부에 대한 오랜 동안 미해결인 문제를 크게 전진시켰다.

ABSTRACT

Let n be a nonzero integer and assume that a set S of positive integers has the property that xy+n is a perfect square whenever x and y are distinct elements of S. In this paper we find some upper bounds for the size of the set S. We prove that if |n| <= 400 then |S| <= 32, and if |n| > 400 then |S| < 267.81 log|n| (log log|n|)^2. The question whether there exists an absolute bound (independent on n) for |S| still remains open.

연구 동기 및 목표

• 고정된 비영인 정수 $ n $ 에 대해 디오판틴 $ m $-튜플의 최대 크기에 대한 효과적인 상계를 설정하는 것.
• 이러한 집합의 크기에 대해 절대적인 상계가 $ n $ 에 의존하지 않고 존재하는지 여부를 다루는 열린 문제에 대응하는 것.
• 특히 갭 원리와 빅 스크린 기법을 개선하여, $ |n| $ 에 비해 크기가 크고, 작고, 매우 작은 원소들로 나누어 각 범위에 대해 별도로 분석하는 것.
• 디오판틴 근사, 타원곡선, 스크린 기법의 결과를 융합하여 더 날카로운 渐近 상계를 도출하는 것.

제안 방법

• 집합 $ S $ 를 $ |n| $ 에 대한 크기에 따라 세 부분으로 분할: $ A_n $ (요소 $ \geq |n|^3 $), $ B_n $ (요소 $ (n^2, |n|^3) $ 내에 있음), $ C_n $ (요소 $ \leq n^2 $). 각 범위를 별도로 분석.
• Bennett의 정리에 의한 대칭 근사 이론을 적용하여 $ A_n $ 을 유계화, 모든 $ n \neq 0 $ 에 대해 $ A_n \leq 21 $ 을 도출.
• 약한 형태의 갭 원리를 적용하여 $ B_n $ 을 유계화, 결과적으로 $ B_n < 0.65 \log|n| + 2.24 $ 를 도출.
• Gallagher의 빅 스크린 기법을 사용하여 $ C_n $ 을 유계화, $ |n| \geq 400 $ 인 경우 $ C_n < 265.55 \log|n| (\log\log|n|)^2 + 9.01 \log\log|n| $ 를 도출.
• 세 개의 유계를 $ M_n \leq A_n + B_n + C_n $ 를 통해 통합하며, $ |n| \leq 400 $ 인 경우 직접 계산을 통해 $ C_n \leq 5 $ 이고 $ B_n \leq 6 $ 임을 확인.
• 변환 $ \{a_i\} \to \{a_i c\} $ 을 통해 $ M = \sup M_n = C $ 를 보여주며, 문제를 $ C_n $ 의 유계화로 단순화함.

실험 결과

연구 질문

• RQ1 디오판틴 $ m $-튜플의 최대 크기는 얼마이며, 이 크기는 $ n $ 에 관계없이 절대적인 상계를 가질 수 있는가?
• RQ2 요소들을 $ |n| $ 에 비해 크기 기준으로 큰, 작은, 매우 작은 범주로 나누어 $ D(n) $-집합의 크기를 어떻게 유계화할 수 있는가?
• RQ3 디오판틴 근사 이론과 스크린 기법을 효과적으로 융합하여 $ D(n) $-집합의 크기에 대한 비잔상 상계를 도출할 수 있는가?
• RQ4 작은 요소들(즉, $ \leq n^2 $ 인 요소들)이 $ D(n) $-집합의 총 크기에 기여하는 정도는 무엇이며, 이를 균일하게 유계화할 수 있는가?
• RQ5 일반 유형의 다양체 위의 유리점에 대한 Lang 추측이 $ M_n $ 의 유한성을 암시하는가, 그리고 이를 효과적인 유계화를 이끌어내는 데 활용할 수 있는가?

주요 결과

• 직접 계산과 $ B_n $, $ C_n $ 의 유계화를 통해 $ |n| \leq 400 $ 인 경우, 디오판틴 $ m $-튜플의 최대 크기는 32 이하임을 확인하였다.
• $ |n| > 400 $ 인 경우, 임의의 $ D(n) $-집합의 크기는 $ 267.81 \log|n| (\log\log|n|)^2 $ 이하로 유계임을 빅 스크린 기법에 의한 $ C_n $ 유계화로부터 도출하였다.
• $ A_n $, 즉 $ |n|^3 $ 이상인 요소들의 수는 Bennett의 정리에 의해 $ n $ 과 무관하게 항상 $ \leq 21 $ 이다.
• $ B_n $, 즉 중간 범위 $ (n^2, |n|^3) $ 내의 요소들의 수는 $ < 0.65 \log|n| + 2.24 $ 로 로그적으로 증가한다.
• $ C_n $ 의 기여가 渐近 상계의 주요 원인으로 작용하며, 이는 $ \log|n| (\log\log|n|)^2 $ 의 성장 원인이다.
• 논문은 $ C < \infty $, 즉 $ n^2 $ 이하의 요소 수가 균일하게 유계임을 증명하면 $ M < \infty $ 가 됨을 보였으며, 이는 전반적인 문제를 이 단일 범위로 단순화시킨다.