On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

"On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$"에 관한 기술적 요약

문제 정의
본 논문은 음이 아닌 정수 $x, a, b$에 대하여 디오판토스 부등식:
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
를 조사한다. 저자들은 모든 해 $(a, b, x)$의 집합을 결정하고자 한다. 이 문제는 가법적 정수론과 승법적 정수론의 교차점에 놓여 있으며, 특히 $2^a 3^b$ 자체가 지수적으로 성장하는 반면 오차 항은 지수에 따라 선형적으로 성장하도록 제한될 때, 완전제곱수가 3-smooth 수(형태가 $2^a 3^b$인 수)를 얼마나 가깝게 근사할 수 있는지를 검토한다. 이는 $a$와 $b$가 모두 짝수인 무한한 자명한 해들을 갖는 고전적인 방정식 $x^2 = 2^a 3^b$와 대조된다. 이 부등식은 차이가 0은 아니지만 상대적으로 작은 "근접 오차(near-misses)"를 찾는 과정으로 범위를 제한한다.

방법론
증명 전략은 $A := \max\{a, b\}$의 크기에 따라 두 갈래로 나뉘며, 계산적 검증, 해석적 정수론, 그리고 초월수론적 방법론을 결합하여 사용한다.

1. 작은 경우 ($A \le 2200$):
   저자들은 SageMath를 사용하여 전수 조사(exhaustive search)를 수행한다. $[0, 2200]$ 범위 내의 $(a, b)$ 쌍에 대하여, $\sqrt{2^a 3^b}$에 가장 가까운 후보 정수 $x$($\lfloor \sqrt{2^a 3^b} \rfloor$ 및 $\lfloor \sqrt{2^a 3^b} \rfloor + 1$ 등)를 식별하고 부등식을 직접 검증한다. 이를 통해 유한한 해의 목록을 얻는다.

2. 큰 경우 ($A > 2200$):
   지수가 더 큰 경우, 저자들은 문제를 $d \in \{2, 3, 6\}$인 무리수 $\sqrt{d}$와 관련된 유리수 근사 문제로 환원한다.

• 연분수(Continued Fractions)로의 환원: $a$와 $b$의 기우성(parity)을 분석함으로써, $2^a 3^b$를 $2^{2\alpha} 3^{2\beta} d$로 재작성한다. 부등식은 유리수 $x_0/y_0$가 오차 $K/y_0^2$ 내에서 $\sqrt{d}$를 근사함을 의미하며, 여기서 $K$는 $A$에 의존한다.
• Worley의 정리: 저자들은 이러한 유리수 근사를 규명하기 위해 Worley의 정리를 적용한다. 이는 $x_0/y_0$가 $\sqrt{d}$의 연분수 전개에서의 근사분수(convergent)이거나, 연속된 근사분수들의 특정 선형 결합이어야 함을 확립한다. 이는 다음과 같은 형태의 통일된 지수 디오판토스 방정식으로 이어진다:
  $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
  여기서 $\gamma$는 이차체 $\mathbb{Q}(\sqrt{d})$의 기본 단위(fundamental unit)이고, $C, D$는 특정 가족들에 의해 매개변수화된 대수적 정수이다.
• $p$-진 로그의 선형 형식 ($p$-adic Linear Forms in Logarithms): 지수 $n$(그리고 결과적으로 $A$)을 제한하기 위해, 저자들은 통일된 방정식의 $p$-진 가치($p \in \{2, 3\}$)를 취한다. 이 단계에서 Bugeaud와 Laurent의 두 로그에 대한 $p$-진 선형 형식 하한 정리(lower bound theorem)를 적용한다. 이 단계는 초기에는 매우 크지만, $A$에 대한 상한(약 $3.57 \times 10^7$)을 도출한다.
• LLL 알고리즘을 통한 축소: 초기 상한은 직접 계산하기에는 너무 크다. 저자들은 로그 방정식에서 유도된 선형 형식을 기반으로 격자(lattice)를 구성하여, LLL(Lenstra–Lenstra–Lovász) 격자 축소 알고리즘을 사용해 $A$의 상한을 $2200$까지 크게 줄인다.

3. 특수 사례 처리:
   저자들은 선형 형식에 포함된 대수적 수들이 곱셈적으로 종속(multiplicatively dependent)되는 잠재적 예외 상황들을 다룬다. 이 경우 $A$에 대한 상한이 훨씬 작아짐($A < 180$)을 입증함으로써, 해당 사례들이 이미 초기 계산 탐색에 의해 포함되었음을 보장한다.

주요 기여 및 결과

• 완전한 분류: 본 논문은 부등식의 해가 되는 음이 아닌 정수 $(a, b, x)$가 정확히 57개 존재함을 확립한다.
• 명시적 목록: 57개의 모든 해는 논문의 표 1.1에 명시되어 있다. 저자들은 만약 $x, a, b$를 양의 정수로 제한한다면, 해가 정확히 28개 존재한다고 언급한다.
• 방법론적 종합: 이 연구는 고전적인 디오판토스 근사 도구(Worley의 정리, 연분수)를 현대적인 초월수론 방법론(Bugeaud–Laurent 상한) 및 계산적 격자 축소(LLL)와 결합하여 특정 디오판토스 부등식을 해결하는 데 있어 그 효과성을 입증한다.

의의
본 논문은 다항식 표현이 승법적 구조를 가진 집합(smooth numbers)을 근사하는 디오판토스 부등식을 이해하려는 광범위한 프로그램에 기여한다. 이는 "근접 오차" 방정식에 대한 연구를 상수 오차를 갖는 Pillai 유형의 방정식에서 제어된 오차 항을 갖는 경우로 확장한다. 저자들은 오차 항이 지수에 따라 선형적으로 성장하는 경우(상수가 아닌 경우)가 매우 제한적인 영역을 형성하며, 오직 유한한 수의 해만을 허용한다는 점을 강조한다. 이 특정 부등식의 성공적인 해결은 이러한 문제들을 완전히 해결하는 데 있어 현재의 초월수론 방법론이 가진 강력한 힘을 보여주는 증거가 된다.