[논문 리뷰] An estimate for Frobenius' diophantine problem in three dimensions

Jan‐Christoph Schlage‐Puchta|arXiv (Cornell University)|2011. 05. 07.

Commutative Algebra and Its Applications참고 문헌 3인용 수 8

한 줄 요약

이 논문은 삼변수에서 프로베누스 수에 대한 개선된 상계와 하계를 제시하며, 베크, 아이너스타인, 츠의 추측 $ f(a,b,c) \leq (abc)^{5/8} $를 디오판틴 대수법과 원 방법을 이용한 명시적 반례를 통해 반증한다. 결과적으로, 일반적인 삼중항에 대해서는 추측이 성립하지 않지만, 대부분의 경우에 대해선 성립함을 보여준다.

ABSTRACT

We give upper and lower bounds for the largest integer not representable as positive linear combination of three given integers, disproving an upper bound conjectured by Beck, Einstein and Zacks.

연구 동기 및 목표

• 서로소 정수 $ a, b, c $의 양의 선형조합으로 표현할 수 없는 가장 큰 정수의 渐近적 행동을 조사하는 것.
• 모든 삼중항에 대해 $ \gcd(a,b,c) = 1 $ 이면 $ f(a,b,c) \leq (abc)^{5/8} $ 라는 베크, 아이너스타인, 츠의 추측을 도전하는 것.
• 모듈로 Inverse와 디오판틴 대수법 기법을 사용하여 $ f(a,b,c) $에 대한 날카로운 상계와 하계를 설정하는 것.
• 추측된 상계가 실패하는 삼중항의 밀도를 분석하여, 반례가 존재하더라도 대부분의 경우에 대해 추측이 성립함을 보여주는 것.

제안 방법

• 모듈로 $ a $에서 모든 잔여류가 $ 0 \leq \nu, \mu \leq N_a(b,c) $ 인 $ \nu b + \mu c \mod a $ 형태로 표현될 수 있는 최소 정수 $ N_a(b,c) $ 를 정의한다.
• $ f(a,b,c) \asymp (b+c) N_a(b,c) $ 와 $ f(a,b,c) \geq \min(b,c) N_a(b,c) $ 의 관계를 이용하여 $ N_a(b,c) $ 를 통해 프로베누스 수를 근사한다.
• 모듈로 역수 적용: $ \overline{b} $ 가 $ b \mod a $ 의 역수이면 $ N_a(b,c) = N_a(1, c\overline{b}) $ 이며, 이는 문제를 모듈로 $ a $ 에서의 단일 변수 문제로 축소한다.
• 디오판틴 대수법 적용: $ \left| \left\{ \frac{c\overline{b}}{a} \right\} - \frac{p}{q} \right| = \delta \leq \frac{1}{q^2} $ 이면 $ N_a(1, c\overline{b}) \asymp \min\left( \frac{a}{q}, \frac{1}{\delta q} \right) $ 이며, 이는 $ N_a(b,c) $ 를 추정하는 데 사용된다.
• 웨일의 추정과 에르되시–투란–코크스마 부등식을 적용하여 모듈로 $ a $ 에서의 역수 쌍의 등분포를 보장함으로써, 짧은 간격 내에서 적합한 $ b, c $ 가 존재함을 보장한다.
• 모든 $ a < b < c < 2a $, $ \gcd(a,b)=\gcd(a,c)=1 $ 를 만족하는 삼중항 $ (a,b,c) $ 의 명시적 가족을 구성하여 $ f(a,b,c) \geq \frac{a^2}{2} $ 를 만족함으로써 $ (abc)^{5/8} $ 상한이 위반됨을 보여준다.

실험 결과

연구 질문

• RQ1 서로소 정수 $ a,b,c $ 의 모든 삼중항에 대해 추측 $ f(a,b,c) \leq (abc)^{5/8} $ 이 성립하는가?
• RQ2 삼변수에서 프로베누스 수 $ f(a,b,c) $ 의 진정한 渐近적 성장률은 무엇인가?
• RQ3 $ a < b < c < 2a $ 인 삼중항 공간에서 베크-아인슈타인-츠 추측의 반례는 얼마나 흔한가?
• RQ4 디오판틴 대수법 기반의 원 방법 기법을 통해 $ f(a,b,c) $ 에 대한 효과적인 상계를 도출할 수 있는가?
• RQ5 $ a < b < c < 2a $ 이고 $ \gcd(a,b,c)=1 $ 인 삼중항에 대해 $ f(a,b,c) $ 의 최대 가능한 값은 무엇인가?

주요 결과

• 모든 정수 $ a $ 에 대해 $ a < b < c < 2a $, $ \gcd(a,b)=\gcd(a,c)=1 $ 를 만족하는 쌍 $ (b,c) $ 는 총 $ \frac{\varphi(a)}{2} $ 개 존재하며, 이들에 대해 $ \frac{a^2}{2} \leq f(a,b,c) \leq 2a^2 $ 이다.
• 모든 $ \alpha, \beta \in [0,1] $ 과 $ \epsilon > 0 $ 에 대해, $ b \in [(1+\alpha)a, (1+\alpha+\epsilon)a] $, $ c \in [(1+\beta)a, (1+\beta+\epsilon)a] $ 인 $ b, c $ 가 존재하여 $ f(a,b,c) \geq \frac{a^2}{2} $ 를 만족함을 보여, 특정 범위에서 상한이 날카로움을 입증한다.
• 모든 $ f(a,b,c) > a^{3/2 + \delta} $ 인 삼중항의 수는 $ \mathcal{O}(a^{2 - 2\delta}) $ 이하로 유계이므로, 이러한 큰 값은 희귀한 경우임을 나타낸다.
• 디오판틴 대수법 기반의 추측 상한 $ f(a,b,c) \leq (abc)^{5/8} $ 는 명시적 반례를 통해 일반적인 삼중항에 대해 실패함을 입증하였다.
• 디오판틴 대수법과 모듈로 역수 기법을 통해 $ N_a(b,c) $ 에 대한 효과적인 상계를 도출할 수 있으며, 이는 $ \min(b,c) N_a(b,c) \leq f(a,b,c) \leq (b+c) N_a(b,c) $ 를 통해 $ f(a,b,c) $ 를 제어한다.
• 웨일의 추정과 등분포 성질을 활용하여 짧은 간격 내에서 큰 프로베누스 수를 갖는 적합한 $ b,c $ 가 존재함을 보장함으로써, 추측의 반례 존재성을 확인하였다.