[논문 리뷰] Discretisation for odd quadratic twists

J. Brian Conrey, Michael Rubinstein외 2명|ArXiv.org|2005. 09. 19.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 5

한 줄 요약

이 논문은 타원곡선의 홀수 제곱근 변형에 대한 이산화 문제를 조사하며, $ L'(E_d,1) $ 값의 분포와 그들의 해석적 랭크와의 연관성을 다룬다. 무작위 행렬 이론과 LMFDB의 데이터를 사용하여 통계적 하한 $ L'(E_d,1) \gg |d|^{-\theta} $를 제안하며, 이는 $ \approx X^{1-3\theta/2} $ 개의 랭크-3 변형이 도수 $ X $ 이내에 존재함을 시사한다. 여기서 $ \theta \approx 1/6 $은 타당한 추정치이다.

ABSTRACT

The discretisation problem for even quadratic twists is almost understood, with the main question now being how the arithmetic Delaunay heuristic interacts with the analytic random matrix theory prediction. The situation for odd quadratic twists is much more mysterious, as the height of a point enters the picture, which does not necessarily take integral values (as does the order of the Shafarevich-Tate group). We discuss a couple of models and present data on this question.

연구 동기 및 목표

• 홀수 제곱근 변형에서 정규화와 샤파레비치-타타 군이 비자명하게 상호작용하는 이산화 문제를 이해하기 위해.
• 특히 해석적 랭크와 BSD 추측과의 관련성에서, 홀수 변형에 대한 $ L'(E_d,1) $ 값의 분포를 모델링하기 위해.
• 통계적 히우리스틱과 LMFDB의 데이터를 사용하여 주어진 타원곡선의 랭크-3 제곱근 변형의 수를 추정하기 위해.
• 작은 $ L' $-값이 매개변수화된 가닥에서 유래되는지, 아니면 통계적으로 드문 현상인지 평가하고, 점 높이가 정규화와 샤파 사이즈에 미치는 영향을 평가하기 위해.

제안 방법

• 직교 대칭을 가진 무작위 행렬 이론을 적용하여 $ L'(E_d,1) $ 의 분포를 모델링하며, $ x \to 0 $ 일 때 $ \mathrm{Prob}[L'(E_d,1) \leq x] \approx x^{3/2} (\log x)^{3/8} $ 를 예측한다.
• Birch–Swinnerton-Dyer 추측을 사용하여 $ L'(E_d,1) $ 를 정규화 $ R_d $, 탐가와 수 $ g_d $, 그리고 $ \#\mathrm{Sha}_d $ 와 연결하며, $ \Omega_d \sim 1/\sqrt{|d|} $ 라고 가정한다.
• 통계적 하한 $ L'(E_d,1) \gg |d|^{-\theta} $ 를 제안하며, 여기서 $ \theta \approx 1/6 $ 이다. 이는 랭크-3 변형의 빈도를 추정하기 위함이다.
• 소수 도수를 가진 곡선의 LMFDB 데이터를 분석하여 작은 $ L' $-값을 가진 경우를 조사하고, 패턴과 잠재적 매개변수화된 가닥을 식별한다.
• 랭크-2와 랭크-3 곡선의 $ L^{(r)}(E,1)/r! $ 값을 비교하여, 기대 평균 대비 작은 값의 의미를 평가한다.
• 히그너 점과 점 높이가 특히 작은 높이의 생성자들을 가진 가닥에서 큰 $ \#\mathrm{Sha}_d $ 를 생성하는 데 미치는 영향을 고려한다.

실험 결과

연구 질문

• RQ1 홀수 제곱근 변형에 대해 $ L'(E_d,1) $ 의 통계적 분포는 무엇이며, 이는 $ E_d $ 의 해석적 랭크와 어떻게 관련이 있는가?
• RQ2 일반적인 하한 $ L'(E_d,1) \gg |d|^{-\theta} $ 는 정당화될 수 있는가? 데이터와 히우리스틱에 의해 지지되는 $ \theta $ 의 값은 무엇인가?
• RQ3 도수 $ X $ 이내에 주어진 타원곡선의 랭크-3 제곱근 변형은 얼마나 존재할 것으로 예상되며, 그 성장률은 예측되는가?
• RQ4 작은 $ L' $-값은 몇몇 매개변수화된 가닥에서 유래하는가, 아니면 통계적으로 드문 현상이며 매개변수화와 관련이 없는가?
• RQ5 정규화 $ R_d $ 는 $ \#\mathrm{Sha}_d $ 와 어느 정도 관련되어 있으며, 점 높이는 이 관계에 어떻게 영향을 미치는가?

주요 결과

• 논문은 통계적 하한 $ L'(E_d,1) \gg |d|^{-\theta} $ 를 제안하며, 여기서 $ \theta \approx 1/6 $ 이다. 이는 도수 $ X $ 이내에 $ \approx X^{1-3\theta/2} \approx X^{5/8} $ 개의 랭크-3 변형이 존재할 것으로 시사하지만, 이는 전반적으로 수용되지는 않는다.
• LMFDB의 데이터에 따르면 소수 도수 곡선의 가장 작은 $ L' $-값은 약 0.193–0.229 수준이며, 가장 작은 $ L''(E,1)/2! $ 와 $ L'''(E,1)/3! $ 값은 각각 도수 6264757621과 6352778197에서 발견되었다.
• 가장 작은 $ L''(E,1)/2! $ 값은 도수 6264757621에서 약 1.554이며, 가장 작은 $ L'''(E,1)/3! $ 값은 도수 1531408357에서 약 8.089이다. 이 값들은 $ c_4^3 $ 과 $ c_6^2 $ 간의 상당한 상쇄 작용을 보였다.
• 다만 $ c_4^3 - c_6^2 $ 에서 큰 상쇄 작용이 존재하더라도, $ L^{(r)} $-값들은 상대적으로 크기 때문에, 작은 $ L' $-값은 흔하지 않으며 통계적으로 드문 현상일 가능성이 높다.
• 워터스키의 히우리스틱은 도수 $ < X $ 인 $ X^{19/24 - \epsilon} $ 개의 랭크-2 곡선이 존재할 것으로 예측하지만, 두 개의 작은 생성자를 가진 곡선은 오직 $ X^{2/3 + \epsilon} $ 개 뿐이므로, 모든 랭크-2 곡선이 매개변수화된 가닥에서 유래하는 것은 아님을 시사한다.
• 작은 $ L' $-값이 균일하게 분포하지 않으며 날카로운 절단점이 존재할 가능성이 강력히 제기되며, 이는 부드러운 분포를 가정하는 것과 모순되며 통계적 추측 (3)이 일반적 추측보다 더 타당하다는 것을 지지한다.