The divisor function for matrices

技术摘要：矩阵除数函数

问题陈述
本文引入并分析了经典除数函数的矩阵类比，记作 $\tau_n(T, M)$。对于给定的整数 $n \ge 1$，高度参数 $T \ge 1$ 以及目标矩阵 $M \in M_n(\mathbb{Z})$，该函数计算满足 $AB = M$ 的整数矩阵对 $(A, B)$ 的数量，其中 $A$ 和 $B$ 的条目绝对值均由 $T$ 限制（即 $|A|, |B| \le T$）。

作者研究了 $\tau_n(T, M)$ 在 $T \to \infty$ 时在两种不同机制下的渐近行为：

1. 固定 $M$： 为特定的非奇异矩阵或零矩阵 $M = O_n$ 确定渐近公式。
2. 关于 $M$ 一致： 为任意非奇异矩阵 $M$ 建立关于 $\tau_n(T, M)$ 的上界，且该上界与 $M$ 的具体条目无关。

当 $n=1$ 时，该函数还原为经典除数函数（差一个因子 2），但对于 $n \ge 2$，即使当 $M$ 为单位矩阵时，该函数也会随 $T$ 增长，这与标量情况有所区别。

方法论
本文综合运用了解析数论、几何数论以及李群理论。

• $SL_n(\mathbb{R})$ 上的格点计数： 对于非奇异 $M$ 的渐近分析核心在于通过格 $\Lambda = A\mathbb{Z}^n$ 对分解 $AB=M$ 进行分解。这使得问题转化为在特定 $SL_n(\mathbb{R})$ 子集中计数格点。作者利用了 Gorodnik 和 Nevo 的一般格点计数定理，该定理适用于局部紧第二可数群。作者验证了相关的集合 $E_{X,Y}(T) = \{g \in SL_n(\mathbb{R}) : |Xg| \le T, |g^{-1}Y| \le T\}$ 满足“良定性”（well-roundedness）和稳定均值遍历性的必要条件。
• 体积渐近性： 为了应用计数定理，作者利用 $SL_n(\mathbb{R})$ 的 Cartan 分解计算了集合 $E_{X,Y}(T)$ 的渐近体积。这涉及通过对角矩阵和正交群分析 Haar 测度，并利用控制收敛定理来建立极限常数 $\kappa(X, Y)$ 的存在性。
• 一致上界： 对于一致上界，作者根据中间格 $\Lambda$（满足 $M\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$）对分解集进行分解。他们利用群论结果（特别是有限阿贝尔群 $\mathbb{Z}^n / M\mathbb{Z}^n$ 的子群）来限制此类格的数量。随后，他们应用了通过对 Stiefel 流形积分及连续极小值估计得到的 $SL_n(\mathbb{R})$ 中高度约束内的格点数量的一致上界。
• 零矩阵分解： 对于 $M = O_n$，作者采用了 Katznelson 关于奇异矩阵的论证方法。他们根据秩 $r$ 以及与 $A$ 相关的原始格 $\Lambda$ 对解空间进行划分。$B$ 的列被约束在正交格 $\Lambda^\perp$ 中。计数过程涉及对各种秩的原始格进行求和，并利用几何数论中关于凸体中格点数量的估计。

主要贡献与结果

1. 非奇异 $M$ 的渐近公式：
   对于固定的非奇异矩阵 $M \in M_n(\mathbb{Z})$，作者证明：
   $$\tau_n(T, M) \sim c_M T^{\lfloor n^2/2 \rfloor}$$
   当 $T \to \infty$ 时。常数 $c_M$ 被明确定义为对满足 $M\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$ 的格 $\Lambda$ 的求和，其中涉及体积常数 $\kappa(B_\Lambda, B_\Lambda^{-1}M)$。在 $\det(M) = \pm 1$ 的特殊情况下，该求和缩减为单项，即 $\tau_n(T, M) \sim 2\kappa(I_n, M)T^{\lfloor n^2/2 \rfloor}$。

2. 一致上界：
   对于任何非奇异 $M \in M_n(\mathbb{Z})$，作者建立了一个本质上紧致的一致上界：
   $$\tau_n(T, M) \ll_\varepsilon T^{\lfloor n^2/2 \rfloor + \varepsilon}$$
   对于任何 $\varepsilon > 0$。隐含常数仅依赖于 $n$ 和 $\varepsilon$，而与 $M$ 无关。论文指出，由于标量矩阵 $M = m^2 I_2$ 的情况，如果不加进一步限制，该上界无法改进为依赖于 $|M|$。

3. 零矩阵的渐近公式：
   对于零矩阵 $M = O_n$，作者导出：
   $$\tau_n(T, O_n) = c_{O_n} T^{n^2} + O(T^{n^2-1})$$
   其中 $c_{O_n}$ 是由原始格求和得出的正常数。这一结果证实了零矩阵的增长率为 $T^{n^2}$，显著大于非奇异矩阵的 $T^{\lfloor n^2/2 \rfloor}$ 增长率。

4. 下界：
   论文提供了展示 $\tau_n(T)$（其中 $M=I_n$）增长的下界 $\gg T^{\lfloor n^2/4 \rfloor}$，并确立了对于秩为 $r$ 的矩阵 $M$，$\tau_n(T, M) \gg_M T^{\lfloor r^2/2 \rfloor + n(n-r)}$。

意义与背景
本文将其工作定位为对 Afifurrahman 最近研究的扩展，后者考虑了计算乘法方程 $A_1 \cdots A_m = M$ 的解。作者指出，虽然 Afifurrahman 的结果为非奇异 $M$ 提供了 $O(T^{n^2-n+\varepsilon})$ 的界，但本文的工作对于 $n \ge 3$ 将其改进为 $O(T^{\lfloor n^2/2 \rfloor + \varepsilon})$，这是一个实质性的精细化。

作者明确表示，其研究动机在于理解涉及矩阵乘积的丢番图方程（如 $A_1B_1 + \cdots + A_mB_m = 0$）的解的密度。他们认为，为 $\tau_n(T, M)$ 推导的一致上界可能有助于应用类似于 Birch、Davenport 和 Lewis 的策略来处理此类系统。

论文承认使用了生成式人工智能工具来建议主要定理的证明大纲，但强调所有论证均经过独立验证，且最终文本由研究人员撰写。其结果高度依赖于格的算术性质与群 $SL_n(\mathbb{R})$ 解析性质之间的相互作用。