[논문 리뷰] Diophantine approximation on the parabola with non-monotonic approximation functions

Jing-Jing Huang|arXiv (Cornell University)|2018. 02. 02.

Analytic Number Theory Research참고 문헌 17인용 수 5

한 줄 요약

이 논문은 비모노톤 근사 함수를 가정하지 않더라도, 기하학적 디오판틴스 추측에서 표준 포물선이 수렴에 대해 강한 힌친 유형임을 입증한다. 이는 유리수로 잘 근사 가능한 포물선 상의 점들의 집합이 영인 하우스도르프 측도를 가짐을 의미한다. 핵심 기여는 버거스의 캐릭터 합에 기반한 새로운 수량 추정을 통해, 고전적인 힌친 유형 정리에서 모노톤 조건이 필요 없도록 하는 것이다.

ABSTRACT

We show that the parabola is of strong Khintchine type for convergence, which is the first result of its kind for curves. Moreover, Jarnik type theorems are established in both the simultaneous and the dual settings, without monotonicity on the approximation function. To achieve the above, we prove a new counting result for the number of rational points with fixed denominators lying close to the parabola, which uses Burgess's bound on short character sums.

연구 동기 및 목표

• 비퇴화된 평면 곡선, 특히 표준 포물선이 수렴에 대해 강한 힌친 유형인지 여부에 대한 열린 문제를 해결하기 위해.
• 근사 함수의 모노톤성을 가정하지 않고도 동시 및 이중 근사에 대해 자르니크 유형 정리를 포물선에 적용하기 위해.
• 고정된 분모를 가진 유리점이 포물선 근처에 있는 경우에 대한 평균을 취하지 않은 수량 추정을 개발하여, 모노톤 제약 조건을 제거하는 데 핵심적인 역할을 하기 위해.
• 기술적 장벽인 비평균 유리점 수량 계산을 극복함으로써, 메트릭 디오판틴스 추측 이론을 곡선에까지 확장하기 위해.

제안 방법

• 버거스의 짧은 캐릭터 합에 대한 추정을 사용하여, $ A(q,\theta) $ 라는 수량 함수에 대한 새로운 상계를 유도한다. 여기서 $ A(q,\theta) $ 는 $ \big\| \frac{a^2}{q} \big\| < \theta $ 를 만족하는 유리점 $ a/q $ 의 수를 세는 함수이다.
• 분모 $ q $ 를 그 최대 제곱약수 $ r $ 에 기반하여 분해함으로써, $ r^2 \mid q $ 인 특수 케이스를 다루기 위해.
• 하우스도르프-칸텔리 보조정리를 적용하여, $ \textstyle\sum_{q=1}^\infty \theta(q)^{s+1} q^{1-s} < \infty $ 라면, 포물선 상의 잘 근사 가능한 점들의 $ s $-차원 하우스도르프 측도가 0임을 보임.
• 이중 근사에 적용하기 위해, $ \big\| \frac{\theta a^2}{q} \big\| < \theta $ 를 만족하는 유리점에 대한 가중합을 도입하고, 이중 합을 사용하여 지수 합을 제어함.
• 횔더 부등식을 사용하여 $ r^{1+\varepsilon} $ 항의 기여를 제어함. 이는 $ \textstyle\sum_{r} r^{(1+\varepsilon)(s+1)-4s} $ 가 수렴함을 전제로 하며, $ s > 11/13 $ 에서 성립함.
• 주요 급수의 수렴은 버거스의 추정에 크게 의존함을 보이며, $ s $ 의 범위를 $ 11/13 $ 초과로 확장하려면 이 고전적 추정을 뛰어넘는 것이 필요함.

실험 결과

연구 질문

• RQ1 표준 포물선 $ \{(x,x^2) : x \in [0,1]\} $ 이 근사 함수의 모노톤성을 가정하지 않더라도 수렴에 대해 강한 힌친 유형인지 여부는 무엇인가?
• RQ2 근사 함수의 모노톤성을 가정하지 않고도, 하우스도르프 측도에 대해 자르니크 유형 정리를 포물선에 적용할 수 있는가?
• RQ3 이중 근사 이론이 포물선에서 모노톤성을 가정하지 않고도 성립하는가, 특히 하우스도르프 측도 측면에서 말이다?
• RQ4 자르니크 유형 정리에서 $ s $ 의 범위를 $ s > 11/13 $ 초과로 개선할 수 있으며, 이를 위해서는 무엇이 필요한가?
• RQ5 비퇴화된 평면 곡선 중에서 수렴에 대해 강한 힌친 유형이 아닌 것이 존재하는가? 그러한 곡선들은 어떤 구조적 성질로 다를까?

주요 결과

• 표준 포물선이 수렴에 대해 강한 힌친 유형임을 입증함. 이는 근사 함수 $ \psi $ 가 모노톤이 아닐지라도, 유리수로 잘 근사 가능한 점들의 집합이 영인 르베그 측도를 가짐을 의미한다.
• $ s \in (11/13, 1] $ 에서, $ \textstyle\sum_{q=1}^\infty \psi(q)^{s+1} q^{1-s} < \infty $ 이면, $ \mathscr{S}_2(\psi) \cap \mathcal{P} $ 의 $ s $-차원 하우스도르프 측도가 0임을 보이며, 이는 비모노톤 자르니크 유형 정리를 확립한다.
• 유리점 $ a/q $ 중에서 $ \big\| \frac{a^2}{q} \big\| < \delta $ 를 만족하는 수를 세는 수량 함수 $ A(q,\delta) $ 는 $ A(q,\delta) \ll \delta q + r^{1+\varepsilon} + \delta^{1/2} q^{11/16 + \varepsilon} $ 라는 추정을 만족한다. 여기서 $ r $ 은 $ r^2 \mid q $ 를 만족하는 가장 큰 정수이다.
• 이중 근사 결과 역시 모노톤성을 가정하지 않아도 성립함: $ s \in (0,1] $ 에서 $ \textstyle\sum_{q=1}^\infty \psi(q)^s q^{2-s} < \infty $ 이면, $ \mathcal{H}^s(\mathscr{A}_2(\psi) \cap \mathcal{P}) = 0 $ 이다.
• 하우스도르프-칸텔리 추론에서 주요 급수의 수렴은 버거스의 추정에 의존하며, $ s $ 의 범위를 $ 11/13 $ 초과로 확장하려면 이 추정을 뛰어넘는 것이 필요하다. 현재로서는 이는 불가능하다.
• 논문은 캐릭터 합에 대한 추측적 추정 하에, 수렴 추정에서 세 번째 급수가 $ s \in (1/2,1] $ 에서 수렴함을 보이며, 그러나 두 번째 급수는 $ s \leq 2/3 $ 에서 발산하므로 현재 유효 범위가 제한됨을 보여준다.