[论文解读] 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)|Mar 9, 2005

Analytic Number Theory Research参考文献 11被引用 6

一句话总结

该论文为由 [[1,1],[0,1]] 和 [[1,0],[1,1]] 生成的迹 ≤ N 的矩阵乘积数量建立了渐近公式，证明了当 N → ∞ 时，Ψ(N) = c₁N²log N + c₂N² + Oε(N⁷/⁴⁺ε)。该结果通过提供显式的 O(N⁷/⁴⁺ε) 误差项，改进了 Faivre 在约化二次无理数分布中的误差界，利用 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) 误差项。

提出的方法

• 利用 Weil 对 Kloosterman 和的估计，估算在指定范围内满足 xy ≡ 1 (mod q) 的解的数量。
• 对计数函数 Ψ(N) 应用 Mellin 变换，以分析 Dirichlet 级数 Z(s) = ∑_{n≥3} Φ(n)n⁻ˢ。
• 将 Ψ(N) 分解为偶数长度和奇数长度矩阵词的贡献，重点关注 Ψₑᵥ(N) 作为主项。
• 利用格点计数和特征和估计，证明 Ψₑᵥ(N) = N²log 2 / (2ζ(2)) + Oε(N⁷/⁴⁺ε)。
• 利用从 B 开始、以 A 结束的矩阵乘积与约化二次无理数之间的显式对应关系，将矩阵计数问题与二次无理数的分布联系起来。
• 应用 Ikehara 的 Tauber 定理与通过 Gauss 映射实现的 Fredholm 理论，推导约化二次无理数数量的最终渐近公式。

实验结果

研究问题

• RQ1 由 A 和 B 生成的迹 ≤ N 的矩阵乘积数量的最优误差项是什么？
• RQ2 Weil 对 Kloosterman 和的估计如何用于改进约化二次无理数分布中的误差估计？
• RQ3 与迹计数函数 Φ(N) 相关的 Dirichlet 级数的精确渐近行为是什么？
• RQ4 Faivre 对约化二次无理数数量的渐近估计中的误差项能否被显式化？
• RQ5 A 和 B 的矩阵乘积与约化二次无理数的连分数展开之间存在何种关系？

主要发现

• 当 N → ∞ 时，迹在 3 到 N 之间的矩阵乘积数量满足 Ψ(N) = c₁N²log N + c₂N² + Oε(N⁷/⁴⁺ε)，其中 c₁ = 1/ζ(2)，c₂ = (1/ζ(2))(γ − 3/2 − ζ′(2)/ζ(2))。
• Dirichlet 级数 ∑_{n≥3} Φ(n)n⁻ˢ 在 ℜ(s) > 7/4 上具有解析延拓，并在 s = 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(ω))。