[논문 리뷰] Perfect Powers: Pillai's works and their developments

Michel Waldschmidt|ArXiv.org|2009. 08. 27.

Algebraic Geometry and Number Theory참고 문헌 79인용 수 12

한 줄 요약

이 논문은 완전 거듭제곱을 포함하는 디오판틴 방정식에 대한 S. S. Pillai의 기초적인 업적을 조사하며, 특히 $a^x - b^y = k$ 형태의 방정식에 대해 고정된 $k$에 대해 정수 $x, y \geq 2$에서의 해의 수가 유한함을 증명한다—이를 이제는 Pillai의 추측으로 알려져 있다. 논문은 이 추측을 $abc$ 추측, 카탈란 방정식, 페르마–카탈란 방정식과 같은 주요 미해결 문제들과 연결하며, $abc$ 추측의 보완이 Pillai의 추측과 이상적인 워링의 정리의 증명을 이끌어내는 방식을 보여준다.

ABSTRACT

After a short introduction to Pillai's work on Diophantine questions, we quote some later developments and we discuss related open problems.

연구 동기 및 목표

• 완전 거듭제곱을 포함하는 디오판틴 방정식 분야에서 S. S. Pillai의 기여를 요약하고 맥락화하기.
• 임의의 고정된 $k \geq 1$에 대해 $a^x - b^y = k$가 $x, y \geq 2$에서 유한한 수의 해를 가지는 Pillai의 추측을 검토하기.
• 카탈란 방정식, 비엘 방정식, 페르마–카탈란 방정식과 같은 관련 문제들에 대해 Pillai의 추측이 미치는 영향을 탐구하기.
• Pillai의 추측과 $abc$ 추측 간의 연결고리를 분석하고, 이상적인 워링의 정리 증명에서의 역할을 조사하기.
• 특정 $abc$ 추측의 정량적 보완을 통해 Pillai의 추측을 정량적으로 다루고, 워링 문제에 끼치는 영향을 분석하기.

제안 방법

• 1931–1945년 동안 Pillai가 발표한 지수 디오판틴 부등식과 방정식, 특히 $a^x - b^y = c$에 대한 원본 결과를 조사하기.
• Siegel의 정리와 Thue의 부등식을 적용하여 고정된 $a, b, c$에 대해 $a^x - b^y = c$의 해의 수를 유계화하기.
• $abc$ 추측을 사용하여 $a^x - b^y = k$의 해의 수에 대한 정량적 경계를 유도함으로써, 이 가정 하에 해의 수가 유한함을 보여주기.
• $abc$의 근본적 소인수를 분석하여 워링 문제에서 $g(k)$에 대한 경계를 도출하기.
• $abc$ 추측이 특정 지수 $\theta$로 성립할 경우, $g(k) = I(k)$가 모든 충분히 큰 $k$에 대해 성립함을 보여, $abc$ 추측과 이상적인 워링의 정리 사이의 연결 고리를 확립하기.
• 로그 형태와 로그의 선형 형식을 사용하여 $|3^x - 2^y| = c$의 해의 수에 대한 추정치를 정밀화하기.

실험 결과

연구 질문

• RQ1 임의의 고정된 $k \geq 1$에 대해, $a^x - b^y = k$는 정수 $x, y \geq 2$에서 최소한의 해를 가지는가?
• RQ2 $abc$ 추측이 Pillai의 추측과 $a^x - b^y = k$의 해의 유한성을 어떻게 유도하는가?
• RQ3 Pillai의 추측과 이상적인 워링의 정리 사이의 연결고리, 특히 $g(k) = I(k)$와의 관계는 무엇인가?
• RQ4 특정 지수 $\theta$를 가진 $abc$ 추측이 모든 충분히 큰 $k$에 대해 $g(k) = I(k)$를 보장할 수 있는가?
• RQ5 로그 형태와 선형 독립성이 $|3^x - 2^y| = c$와 같은 지수 디오판틴 방정식의 해를 유계화하는 데 어떤 역할을 하는가?

주요 결과

• Pillai는 1936년과 1945년에, 임의의 고정된 $k \geq 1$에 대해 $a^x - b^y = k$가 $x, y \geq 2$에서 최소한의 해를 가지며, 이는 연속된 완전 거듭제곱 간의 거리가 무한히 커짐과 동치임을 추측했다.
• 고정된 $a, b, c$에 대해 $\gcd(a,b) = 1$이고 $a > b \geq 1$일 때, Pillai는 $|a^x - b^y| = c$가 $|c| > c_0(a,b)$이면 최대 하나의 해를 가짐을 증명했지만, $c_0(a,b)$의 구체적 계산은 이루어지지 않았다.
• 특히 $c_0(3,2) = 13$이라는 추측은 Stroeker와 Tijdeman(1982)에 의해 확인되었으며, 이는 $|3^x - 2^y| = c$가 $c > 13$일 때 최대 하나의 해를 가짐을 보여준다.
• $abc$ 추측은 Pillai의 추측을 유도한다: 만약 $abc$-유형의 경계가 지수 $\theta < \log 3 / (2 \log(3/2))$로 성립한다면, 모든 충분히 큰 $k$에 대해 $g(k) = I(k)$가 성립한다.
• $abc$ 추측이 특정 $\theta$로 성립할 경우, 모든 $k \geq k_0$에서 이상적인 워링의 정리가 성립하며, 이때 $k_0$는 $\theta$와 $\kappa$에 대해 명시적으로 유계화되어 있다.
• 큰 $k$에 대한 이상적인 워링의 정리 증명은 $3^k = 2^k q + r$에서 나머지 $r$가 $r \leq 2^k - q - 3$를 만족함을 보여야 하는 데, 이는 적절한 $\theta$를 가진 $abc$ 추측에 의해 유도된다.