[논문 리뷰] Products of matrices $[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}]$ and $[ \begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix} ]$ and the distribution of reduced quadratic irrationals

Florin P. Boca|arXiv (Cornell University)|2005. 03. 09.

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

한 줄 요약

이 논문은 [[1,1],[0,1]] 및 [[1,0],[1,1]]로 생성되는 행렬 곱의 수에 대해 점 渐진적 공식을 수립하며, 추적 ≤ N일 때 Ψ(N) = c₁N²log N + c₂N² + Oε(N⁷/⁴⁺ε) as N → ∞임을 증명한다. 이 결과는 Faivre의 감소한 이차 무리수의 분포에서 오차 한계를 향상시키며, 명시적인 O(N⁷/⁴⁺ε) 오차 항을 제공함으로써 Weil의 Kloosterman 합에 대한 경계와 Mellin 변환 기법을 사용하여 Dirichlet 급수를 ℜ(s) > 7/4로 해석을 연장하고 s = 2에서 이중 극을 갖는다.

ABSTRACT

Let $\Phi(N)$ denote the number of products of matrices $[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}]$ and $[ \begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix} ]$ of trace equal to $N$, and $\Psi(N)=\sum_{n=3}^N \Phi(n)$ be the number of such products of trace between $3$ and $N$. We prove an asymptotic formula of type $\Psi(N) = c_1 N^2 \log N +c_2 N^2 + O_\varepsilon (N^{7/4+\varepsilon})$ as $N o \infty$. As a result, the Dirichlet series $\sum_{n=1}^\infty \Phi(n) n^{-s}$ has a meromorphic extension in the half-plane $\Re (s)>7/4$ with a single, order two pole at $s=2$. Our estimate also improves on an asymptotic result of Faivre concerning the distribution of reduced quadratic irrationals, providing an explicit upper bound for the error term.

연구 동기 및 목표

• 제한된 길이를 가진 감소한 이차 무리수의 수에 대한 Faivre의 점 渐진적 추정치에서 오차 항을 개선하기.
• A = [[1,1],[0,1]] 및 B = [[1,0],[1,1]]로 생성되는 추적 ≤ N인 행렬 곱의 수에 대한 명시적 오차 한계를 유도하기.
• 관련된 Dirichlet 급수의 ℜ(s) > 7/4로의 해석적 계속을 s = 2에서 이중 극을 갖도록 확립하기.
• 이전 추정치 Ψ(N) = N²log N / ζ(2) + O(N²log log N)에서의 O(N²log log N) 오차를 향상시키기.

제안 방법

• Kloosterman 합에 대한 Weil의 경계를 사용하여 주어진 범위 내에서 xy ≡ 1 (mod q)의 해의 수를 추정하기.
• 계수 함수 Ψ(N)에 Mellin 변환을 적용하여 Z(s) = ∑_{n≥3} Φ(n)n⁻ˢ의 Dirichlet 급수를 분석하기.
• Ψ(N)을 짝수 길이와 홀수 길이의 행렬 단어 기여도로 분해하고 주항목에 대해 Ψₑᵥ(N)에 집중하기.
• 격자점 수 계산과 성분 합 추정을 사용하여 Ψₑᵥ(N) = N²log 2 / (2ζ(2)) + Oε(N⁷/⁴⁺ε)를 증명하기.
• 행렬 곱이 B로 시작하고 A로 끝나는 것과 감소한 이차 무리수 사이의 명시적 대응 관계를 사용하여 행렬 수세기 문제를 이차 무리수의 분포와 연결하기.
• Ikehara의 타우버 정리와 Gauss 사상에 의한 Fredholm 이론을 적용하여 감소한 이차 무리수의 수에 대한 최종 점 渐진적 표현을 도출하기.

실험 결과

연구 질문

• RQ1 A와 B로 생성되는 추적 ≤ N인 행렬 곱의 수에 대한 최적의 오차 항은 무엇인가?
• RQ2 Weil의 Kloosterman 합에 대한 경계는 감소한 이차 무리수의 분포에서 오차 추정을 어떻게 향상시킬 수 있는가?
• RQ3 추적 수세기 함수 Φ(N)와 관련된 Dirichlet 급수의 정확한 점 渐진적 행동은 무엇인가?
• RQ4 Faivre의 감소한 이차 무리수 수에 대한 점 渐진적 추정치에서 오차 항을 명시적으로 만들 수 있는가?
• RQ5 A와 B의 행렬 곱과 감소한 이차 무리수의 연분수 전개 간의 관계는 무엇인가?

주요 결과

• 추적 3에서 N 사이의 행렬 곱의 수는 N → ∞일 때 Ψ(N) = c₁N²log N + c₂N² + Oε(N⁷/⁴⁺ε)를 만족하며, c₁ = 1/ζ(2), c₂ = (1/ζ(2))(γ − 3/2 − ζ′(2)/ζ(2))이다.
• ∑_{n≥3} Φ(n)n⁻ˢ의 Dirichlet 급수는 ℜ(s) > 7/4의 반평면으로 해석적 계속이 가능하며, s = 2에서 차수 2의 단일 극을 갖는다.
• B로 시작하고 A로 끝나는 짝수 길이의 단어 기여도는 Ψₑᵥ(N) = N²log 2 / (2ζ(2)) + Oε(N⁷/⁴⁺ε)이다.
• ρ(ω) < X인 감소한 이차 무리수 ω의 수는 ∑_{ρ(ω)<X} 1 = eˣ log 2 / (2ζ(2)) + Oε(e^(7/8 + ε)X)를 만족하며, Faivre의 결과를 명시적 오차 항으로 향상시킨다.
• ∑_{a<N} ϕ(a)(N−2a)²/(2a²)의 합에 대한 점 渐진적 추정치에서 오차 항은 O(N)이며, 수치적 증거는 이를 향상시킬 수 있음을 시사한다.
• 감소한 이차 무리수 ω에 대해 행렬 곱 fM(ω)의 스펙트럼 반경은 기본 단위 ε₀(ω)와 같으며, ρ(ω) = 2 log R(fM(ω))이다.