[논문 리뷰] Points on curves in small boxes en applications

Mei-Chu Chang, Javier Cilleruelo외 4명|arXiv (Cornell University)|2011. 11. 07.

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

한 줄 요약

이 논문은 소수 모듈로에서 다항동치 $ y^2 \equiv f(x) \pmod{p} $ 및 $ y \equiv f(x) \pmod{p} $의 해의 수를 크기가 $ M \times M $인 작은 상자 내에서 유계화하기 위한 새로운 분석 기법을 개발한다. 이 기법을 통해 $ \deg f = 3 $일 때 $ M < p^{1/4 - \varepsilon} $ 이하, $ \deg f \geq 4 $일 때는 $ M < p^{1/3 - \varepsilon} $ 이하의 경우 비자명한 상한을 확보한다. 이러한 유계는 $ \mathbb{F}_p $ 위에서 계수를 작은 상자에 두고 정의된 초타원곡선의 동형 및 비동형 클래스의 수에 대해 거의 최적의 추정치를 도출하는 데 응용되며, 소규모 영역에 갇힌 다항 동역학 시스템의 궤적 길이에 대한 기존 유계를 향상시킨다.

ABSTRACT

We introduce several new methods to obtain upper bounds on the number of solutions of the congruences $f(x) \equiv y \pmod p$ and $f(x) \equiv y^2 \pmod p,$ with a prime $p$ and a polynomial $f$, where $(x,y)$ belongs to an arbitrary square with side length $M$. We use these results and methods to derive non-trivial upper bounds for the number of hyperelliptic curves $Y^2=X^{2g+1} + a_{2g-1}X^{2g-1} +...+ a_1X+a_0$ over the finite field $\F_p$ of $p$ elements, with coefficients in a $2g$-dimensional cube $ (a_0,..., a_{2g-1})\in [R_0+1,R_0+M] imes... imes [R_{2g-1}+1,R_{2g-1}+M]$ that are isomorphic to a given curve and give an almost sharp lower bound on the number of non-isomorphic hyperelliptic curves with coefficients in that cube. Furthermore, we study the size of the smallest box that contain a partial trajectory of a polynomial dynamical system over $\F_p$.

연구 동기 및 목표

• 특정 $ M \times M $ 상자 내에서 $ y^2 \equiv f(x) \pmod{p} $ 및 $ y \equiv f(x) \pmod{p} $의 해의 수에 대한 비자명한 상한을 확립하는 것, 특히 작은 $ M $에 대해.
• 측정 길이 $ M $인 $ 2g $차원 상자 내에서 계수를 갖는 고리수 $ g \geq 1 $인 초타원곡선의 동형류 분포를 연구하는 것.
• 다항 동역학 시스템의 부분 궤적을 담을 수 있는 최소 상자 크기를 분석하는 것.
• 소규모 계수 제곱체 내에서 동형 및 비동형 초타원곡선의 수에 대한 기존 유계를 향상시키는 것.

제안 방법

• 소수 모듈로에서의 해 수를 유계화하기 위해 지수합 추정, 캐릭터합 기법, 덧셈조합론을 융합한 새로운 방법을 도입한다.
• 웨일 유계를 기준으로 삼고, $ M \times M $ 직사각형 내에서 $ y^2 \equiv f(x) \pmod{p} $의 해 수에 대한 새로운 추정을 통해 이를 개선한다.
• 빈그라코프의 방법과 지수합 유계를 적용하여, 삼차 다항식에 대해 $ M < p^{1/4 - \varepsilon} $ 범위에서 이전 결과를 향상시킨다.
• 갈루아 군의 구조와 이소겐리 클래스를 활용하여 동형 곡선의 수를 상자 내 해 수와 연결한다.
• 계수 상자 $ \mathfrak{B} $ 내의 모든 곡선에 대한 해 수 총합을 추정하기 위해 함수 $ T(\mathfrak{B}) $ 를 도입하고, 이를 통해 비동형 곡선의 수에 대한 유계를 도출한다.
• 카우치-슈바르츠 부등식과 해 수에 대한 $ L^2 $-노름 추정을 사용하여, 이소겐리이지만 비동형인 곡선의 수에 대한 유계를 유도한다.

실험 결과

연구 질문

• RQ1 다항식 $ M < p^{1/4} $ 이하일 때, $ y^2 \equiv f(x) \pmod{p} $의 곡선 위에 $ M \times M $ 상자 내에 존재할 수 있는 최대 점 수는 얼마인가?
• RQ2 측정 길이 $ M $인 $ 2g $차원 상자 내에서 계수를 갖는 고리수 $ g \geq 1 $인 초타원곡선 중 주어진 곡선과 동형인 곡선은 몇 개인가?
• RQ3 다항 동역학 시스템의 부분 궤적을 담을 수 있는 최소 크기의 상자는 얼마인가?
• RQ4 소규모 상자 내에서 비동형 초타원곡선의 수에 대해 비자명한 하한을 확보할 수 있는가?
• RQ5 작은 상자 내 해 수에 대한 유계가 초타원곡선의 이소겐리류 및 동형류 수에 어떻게 번역되는가?

주요 결과

• 삼차 다항식에 대해, $ M < p^{1/4 - \varepsilon} $ 범위에서 $ I_f(M; R, S) $의 해 수에 대한 비자명한 상한을 확립하여 이 범위에서 이전 결과를 향상시킨다.
• 차수 $ m \geq 4 $인 다항식에 대해, $ M < p^{1/3 - \varepsilon} $ 범위에서 비자명한 유계를 도출하여 이전 연구를 확장한다.
• 측정 길이 $ M $인 $ 2g $차원 상자 내에서 계수를 갖는 고리수 $ g \geq 2 $인 초타원곡선 중 주어진 곡선과 동형인 곡선의 수는 $ O(M^{2g}/p^{2g-1}) $ 이하로 유계화되며, 비동형 곡선의 수에 대해 거의 최적의 하한이 존재한다.
• 고리수 $ g = 1 $인 경우, 측정 길이 $ M $인 상자 내 비동형 타원곡선의 수는 $ \gg \min\{p^{1/4}, M p^{-1/4} \log^{-1/2} M\} \cdot (\log p)^{-1/2} (\log \log p)^{-1} $ 이하로 하한 유계된다.
• 측정 길이 $ M $인 상자 내 이소겐리이지만 비동형인 타원곡선의 수는 $ O(M^2 p^{-1/4} + p^{1/4} M \log^{1/2} M) \cdot (\log p)^{1/2} \log \log p $ 이하로 상한 유계되며, $ p^{1/4 + \varepsilon} \leq M \leq p^{7/8 - \varepsilon} $ 범위에서 기존의 자명한 유계를 향상시킨다.
• 이 방법을 통해 고리수 $ g \geq 2 $인 초타원곡선의 비동형 곡선 수에 대해 거의 최적의 하한을 확보할 수 있으며, 이는 $ \gg \min\{p^{2g-1}, M^{2g}\} $ 로 표현된다.