[논문 리뷰] On the number of integral quadratic polynomials with bounded heights and discriminants

Friedrich Götze, Dzianis Kaliada외 1명|arXiv (Cornell University)|2013. 08. 09.

Advanced Mathematical Identities참고 문헌 6인용 수 6

한 줄 요약

이 논문은 높이 Q와 판별식 |D(p)| ≤ D를 가진 정수 계수 이차다항식의 수에 대한 渐近 공식을 수립한다. N(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2}) 라고 하며, κ = 4(ln 2 + 1) ≈ 6.7726 이다. 이 결과는 D가 Q^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 범위에 있을 때 기대되는 주요 크기의 순서를 확인하며, 유계 판별식과 높이를 가진 이차다항식의 渐近 행동을 해결한다.

ABSTRACT

In the paper we obtain the asymtotic number of integral quadratic polynomials with bounded heights and discriminants as the upper bound of heights tends to infinity.

연구 동기 및 목표

• 유계 높이 Q와 판별식 |D(p)| ≤ D를 가진 정수 계수 이차다항식의 수에 대한 渐近 순서의 크기를 결정하는 것.
• 이러한 다항식의 수에 대한 추측된 하한이 순서 Q^{n+1-2v}임을 바탕으로, 특히 n=2일 때 이것이 상한으로도 날카로워지는지 여부를 해결하는 것.
• 계수 [-Q,Q]에 속하는 모닉 또는 일반 이차다항식의 수를 세는 함수 N(Q,D)에 대한 정확한 오차 항을 수립하는 것.
• 이전의 삼차다항식 결과를 이차다항식의 경우로 확장하여 명시적인 주항과 오차항을 포함한 완전한 渐近 공식을 제공하는 것.
• D = 5Q^{2-2v} 이고 0 < v < 3/4 일 때, 渐近 공식이 성립함을 확인하여 기대되는 성장률이 맞는지 검증하는 것.

제안 방법

• 저자들은 지수합과 삼각함수 지수합을 사용하여 |a|,|b|,|c| ≤ Q 조건 하에 판별식 조건 b² - 4ac = D 를 만족하는 정수해의 수를 분석한다.
• 수를 세는 함수 N(Q,D)를 주어진 계수 a의 이진 간격으로 나누고, 포아송 합성과 특성합 추정을 적용하여 얻어진 지수합을 다룬다.
• 핵심 추정은 레이마 1(분수부분에 대한 웨일 유형의 합)과 레이마 2(이차 지수합에 대한 가우스 합 추정)에 기반하며, 이는 渐近 전개에서 오차항을 통제한다.
• 주항은 합에서 대각선 기여에서 유래하며, 오차항은 실수 x에서 가장 가까운 정수까지의 거리 ||x||와 약수 함수 τ(n)의 성질을 이용하여 유계된다.
• 증명 과정에서는 합을 두 부분으로 나누며, 하나는 푸리에 분석을 통해 판별식 조건을 다루고, 다른 하나는 격자점 수를 세는 방식으로 해를 추정한다.
• 최종적으로 여러 이진 간격의 추정치를 결합하고, 1/n의 합에 대한 추정을 적용하여 ln 2 요소가 유도된다.

실험 결과

연구 질문

• RQ1 유계 높이와 판별식을 가진 차수 n의 정수다항식의 수에 대한 추측된 하한 Q^{n+1-2v}의 순서가 n=2일 때 상한으로도 성립하는가?
• RQ2 높이 ≤ Q 이고 |판별식| ≤ D 인 정수 계수 이차다항식의 수에 대한 정확한 渐近 공식은 무엇인가?
• RQ3 N(Q,D)의 渐近 공식이 성립하는 조건은 무엇이며, 그 유효 범위는 어떻게 되는가?
• RQ4 渐近 공식의 오차항은 명시적으로 유계화될 수 있으며, 이는 기대되는 순서의 크기와 일치하는가?
• RQ5 D = 5Q^{2-2v} 이고 0 < v < 3/4 일 때, 공식이 기대되는 성장률과 일치하는지 확인되는가?

주요 결과

• 높이 H(p) ≤ Q 이고 |D(p)| ≤ D 인 정수 계수 이차다항식의 수는 N(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2}) 로 渐近적으로 표현되며, κ = 4(ln 2 + 1) ≈ 6.7726 이다.
• 이 渐近 공식은 D가 Q^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 를 만족할 때 유효하며, 이는 D = 5Q^{2-2v} 이고 0 < v < 3/4 인 경우를 포함한다.
• 주항은 Q와 D에 대해 선형이며, 이러한 다항식의 수가 높이 유계와 판별식 유계의 곱에 비례해 증가함을 확인한다.
• 오차항은 O(D^{3/2}ln Q + (Q ln Q)^{3/2}) 로 유계지며, 제시된 조건 하에서는 주항보다 작다.
• 결과는 히ュ리스틱 기대 N(Q,D) ≍ QD 가 이차다항식에 대해 날카로운 것으로 확인되며, 이 경우의 渐近 행동을 해결한다.
• 증명은 지수합 추정과 격자점 수 계산에서 유도된 오차항이 충분히 작아서, 지정된 범위 내에서 渐近 공식이 성립함을 보여준다.