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$ の成分の絶対値がともに $T$ 以下（すなわち $|A|, |B| \le T$）であるような整行列のペア $(A, B)$ の個数を数え上げる。

著者らは、$T \to \infty$ における $\tau_n(T, M)$ の漸近挙動を、以下の2つの異なる領域において調査している：

1. 固定された $M$: 非特異な特定の行列 $M$、または零行列 $M = O_n$ に対する漸近公式の決定。
2. $M$ に関して一様: 特定の行列 $M$ の成分に依存せず、任意の非特異な行列 $M$ に対して成立する $\tau_n(T, M)$ の上界の確立。

$n=1$ の場合は（係数2を除いて）古典的な約数関数を回収するが、$n \ge 2$ の場合、この関数は $M$ が単位行列であっても $T$ とともに増大する性質を持ち、これがスカラーの場合と区別される点である。

手法
本論文は、解析的数論、幾何学的数論、およびリー群の理論を統合した手法を用いている。

• $SL_n(\mathbb{R})$ 上の格子点計数: 非特異な $M$ に対する漸近解析の核心は、因数分解 $AB=M$ を格子 $\Lambda = A\mathbb{Z}^n$ を用いて分解することにある。これにより、問題は $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）」および「安定な平均エルゴード性」の必要な条件を満たすことを検証している。
• 体積漸近挙動: 計数定理を適用するために、著者らはカルタン分解を用いて集合 $E_{X,Y}(T)$ の漸近体積を計算している。これには、対角行列と直交群を用いたハール測量の解析が含まれる。また、収束定理（dominated convergence）を利用して、極限定数 $\kappa(X, Y)$ の存在を確立している。
• 一様な上界: 一様な上界については、中間格子 $\Lambda$（$M\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$ を満たすもの）に基づく因数分解の集合を分解する。著者らは、有限アーベル群の（具体的には $\mathbb{Z}^n / M\mathbb{Z}^n$ の）部分群に関する群論的な結果を用いて、これらラティスの個数を抑える。その後、スティフェル多様体上の積分と逐次最小値の評価を通じて導出された、$SL_n(\mathbb{R})$ 内の高さ制約を満たす格子点の数の一様な上界を適用する。
• 零行列の因数分解: $M = O_n$ の場合、著者らは特異行列に関するKatznelsonの議論を適応させている。彼らは、行列 $A$ のランクと、それに関連する $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$ は体積定数 $\kappa(B_\Lambda, B_\Lambda^{-1}M)$ を含む、$M\mathbb{Z}^n \subseteq \Lambda \subseteq \mathbb{Z}^n$ を満たす格子 $\Lambda$ にわたる和として明示的に定義される。$\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)}$ であることを確立している。

意義と背景
本論文は、自身の研究を、乗法的方程式 $A_1 \cdots A_m = M$ の解の計数を検討したAfifurrahmanの研究の拡張として位置づけている。著者らは、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と同様の戦略を適用するための助けとなる可能性があることを示唆している。

本論文は、主要な定理の証明の概略を提案するために生成AIツールを使用したことを認めているが、すべての議論は独立して検証されており、最終的なテキストは研究者によって執筆されたものであることを強調している。結果は、格子の算術と $SL_n(\mathbb{R})$ 群の解析的性質との相互作用に強く依存している。