[논문 리뷰] On points with algebraically conjugate coordinates close to smooth curves

В. И. Берник, Friedrich Götze외 1명|arXiv (Cornell University)|2016. 02. 04.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 7

한 줄 요약

이 논문은 $ 0 < \rho < \frac{3}{4} $ 인 경우, 매끄러운 곡선 $ y = f(x) $ 에서 거리 $ Q^{-\rho} $ 이내에 있는 대수적 좌표를 가진 대수적 점의 수에 대한 하한을 확립한다. 메트릭 디오판틴스 추측 기법과 다항식 값 및 도함수의 추정을 사용하여, 이러한 점의 수가 적어도 $ c(n,f,J) Q^{n+1-\lambda} $ 이상으로 증가함을 증명한다. 이는 이전 결과가 $ \lambda < \frac{1}{2} $ 로 제한되었던 것을 개선한 것이다.

ABSTRACT

We show that for any sufficiently large integer $Q$ and a real $0\leqλ\leq\frac34$ there exists a value $c(n,f,J)&gt;0$ such that all strips $L(Q,λ)=\{(x,y):|y-f(x)|

연구 동기 및 목표

• 이전에 알려진 매끄러운 곡선 주변의 대수적 점 분포 결과를 더 넓은 범위의 근사 지수로 확장하는 것.
• 매끄러운 곡선 $ y = f(x) $ 에서 거리 $ Q^{-\lambda} $ 이내에 있는, 차수 $ \leq n $ 이고 높이 $ \leq Q $ 인 대수적 점의 수에 대한 정량적 하한을 설정하는 것.
• 메트릭 디오판틴스 추측 이론을 사용하여 곡선 주변의 얇은 스트립 내에서 이러한 점의 분포를 분석하는 것.
• 다항식 값과 도함수의 행동에 따라 다항식의 값과 도함수가 제어되는 일반적 및 특수한 정사각형을 구분하여 과도한 세기 방지를 위한 것.

제안 방법

• 차수 $ \leq n $ 이고 높이 $ \leq Q $ 인 다항식 $ P $ 가 $ i=1,2 $ 에 대해 $ |P(x_i)| \ll Q^{-u_i} $ 과 $ |P'(x_i)| \gg 1 $ 을 만족하는 집합의 측도에 관한 메트릭 정리를 사용한다.
• 다항식 값과 도함수의 행동에 따라 $ (u_1,u_2) $-일반 정사각형과 $ (u_1,u_2) $-특수 정사각형으로 영역을 분류하는 개념을 적용한다.
• 중간값 정리와 도함수의 추정을 사용하여 작은 직사각형 내에서 점별 부등식을 만족하는 다항식의 수를 추정한다.
• 곡선을 부분구간으로 나누고, $ \lambda $-근접 영역을 이진 직사각형 또는 정사각형으로 덮어, $ \lambda \leq \frac{1}{2} $ 인 경우 정리 1, $ \lambda > \frac{1}{2} $ 인 경우 정리 2 를 적용한다.
• $ (1/2,1/2) $-특수 정사각형이 근접 영역과 겹치는 수를 $ |b_2| $ 의 추정과 이러한 다항식의 수에 기반하여 추정한다.
• 두 경우의 추정을 통합하여, $ \lambda < \frac{3}{4} $ 에 대해 스트립 내 대수적 점의 수가 $ c(n,f,J) Q^{n+1-\lambda} $ 를 초과함을 보인다.

실험 결과

연구 질문

• RQ1 $ \lambda < \frac{3}{4} $ 인 경우, 매끄러운 곡선 $ y = f(x) $ 에서 거리 $ Q^{-\lambda} $ 이내에 있는 대수적 좌표를 가진 대수적 점의 최소 수는 얼마인가요?
• RQ2 이러한 대수적 점의 분포는 곡선의 곡률과 미분 가능성에 따라 어떻게 달라지나요?
• RQ3 $ \lambda = \frac{1}{2} $ 를 초월하여 이러한 점의 수에 대한 추정을 향상시킬 수 있으며, 만약 가능하면 어떤 조건에서 가능할까요?
• RQ4 다항식의 도함수와 이웃 영역의 기하학적 성질은 이러한 점의 수를 제어하는 데 어떤 역할을 하나요?
• RQ5 다항식 값과 도함수가 작게 나타나는 특수 정사각형은 수에 어떤 기여를 하는지, 그리고 어떻게 제거하거나 추정할 수 있을까요?

주요 결과

• 모든 $ n \geq 2 $, 충분히 큰 $ Q $, 그리고 $ 0 < \lambda < \frac{3}{4} $ 에 대해 스트립 $ L_J(Q,\lambda) $ 은 차수 $ \leq n $ 이고 높이 $ \leq Q $ 인 최소 다항식을 가진 대수적 점 $ \boldsymbol{\alpha} = (\alpha_1,\alpha_2) $ 를 적어도 $ c(n,f,J) Q^{n+1-\lambda} $ 개 이상 포함한다.
• 이 추정은 다항식 $ P $ 가 $ |P(x_i)| \ll Q^{-u_i} $ 과 $ |P'(x_i)| \gg 1 $ 을 만족하는 집합의 측도에 관한 메트릭 정리를 통해 확립되며, 여기서 $ u_1 + u_2 = 1 $ 이다.
• $ \lambda \leq \frac{1}{2} $ 인 경우, 정리 1 을 크기가 $ Q^{-\lambda} \times Q^{-\lambda} $ 인 이진 직사각형에 적용하여, 각 직사각형당 비례 상수 $ Q^{n+1-2\lambda} $ 의 하한을 도출한다.
• $ \lambda > \frac{1}{2} $ 인 경우, 정리 2 를 크기가 $ Q^{-s} \times Q^{-s} $ 인 $ (1/2,1/2) $-일반 정사각형에 적용하며, 여기서 $ \frac{1}{2} < s < \frac{3}{4} $ 이다. 이러한 정사각형의 수가 $ \frac{1}{2} t_k $ 를 초과함을 보이고, 동일한 渐近 하한을 도출한다.
• $ (1/2,1/2) $-특수 정사각형의 수는 $ \frac{1}{2} t_k $ 이하로 추정되며, 이는 대부분의 정사각형이 일반적임을 보장하고, 따라서 수에 기여함을 의미한다.
• 상수 $ c(n,f,J) $ 는 $ n $, 함수 $ f $, 그리고 구간 $ J $ 에 따라 달라지며, $ f $ 가 미약한 정규성 및 비퇴화 조건을 만족할 경우 양수이다.