Counting $2\times 2$ matrices with fixed determinant and bounded coefficients

논문 요약: 고정된 행렬식과 유계 계수를 가진 2×2 행렬의 점근적 추정

1. 연구 문제 (Problem Statement)

이 논문은 정수 계수를 가지며, 행렬식 (determinant) 이 고정된 자연수 $n$이고, 모든 계수의 절댓값이 $X$ 이하인 $2 \times 2$ 행렬의 개수를 추정하는 문제를 다룹니다.

• 목표: $S_{2, \|\cdot\|_\infty}(n, X)$로 표기되는 행렬의 개수에 대한 점근적 공식 (asymptotic formula) 을 유도하고, 오차항 (error term) 을 개선하는 것입니다.
• 배경:
  • 유클리드 노름 ($\|\cdot\|_2$) 의 경우, Selberg, Duke-Rudnick-Sarnak 등에 의해 잘 연구되었습니다.
  • 그러나 **최대 노름 (sup-norm, $\|\cdot\|_\infty$)**의 경우, 회전 불변성이 없어 기존 기법이 적용되지 않아 상대적으로 덜 연구되었습니다.
  • 최근 M. Afifurrahman (2024) 이 이 문제에 대한 첫 번째 점근적 추정과 오차항을 제시했으나, 본 논문은 이를 재증명하고 오차항을 개선하며, $X$가 $n$에 비해 매우 작은 영역 ($X \approx n^{1/2+\delta}$) 에서의 한계를 규명합니다.

2. 주요 기여 및 결과 (Key Contributions and Results)

가. 개선된 점근적 공식 (Theorem 1)
저자들은 $n \in \mathbb{N}$과 $X \ge 1$에 대해 다음과 같은 새로운 정리를 증명합니다.
$$S_{2, \|\cdot\|_\infty}(n, X) = \frac{96\sigma_{-1}(n)}{\pi^2} X^2 + O_\epsilon (\sigma_0(n)X \log X + nX^\epsilon)$$

• 의의:
  • 기존 Afifurrahman 의 결과 ($O(X^{5/3})$ 등) 및 Ganguly-Guria 의 최근 결과보다 오차항이 현저히 개선되었습니다.
  • 특히 $X \gg n$인 경우, 오차항에서 **지수적 절감 (power savings)**을 이룹니다.
  • 오차항이 $n$과 $X$ 모두에 대해 균일 (uniform) 하게 성립하며, $X$가 $n^{1/2+\delta}$까지 작아도 유효한 추정을 제공합니다.

나. 지수 한계의 증명 (Theorem 2)
Theorem 1 에서 제시된 주항 (main term) 이 $X = n^{1/2}$일 때 더 이상 유효하지 않음을 증명합니다.

• $n=p$ (소수) 또는 $n=p^2$ (소수의 제곱) 인 경우, $X=n^{1/2}$일 때의 점근적 주항 계수가 Theorem 1 의 계수 ($96/\pi^2$) 와 다릅니다.
• 구체적으로, $S_{2, \|\cdot\|_\infty}(p, p^{1/2})$와 $S_{2, \|\cdot\|_\infty}(p^2, p)$의 주항 계수는 $4(12/\pi^2 - 1)$로 나타납니다.
• 결론: 이는 $X \approx n^{1/2}$ 영역에서 행렬의 분포가 $X$가 큰 영역과 질적으로 다르며, Theorem 1 의 공식이 적용될 수 있는 $X$의 하한이 $n^{1/2+\delta}$임을 보여줍니다. 즉, $1/2+\delta$ 지수는 더 이상 줄일 수 없는 임계값입니다.

3. 방법론 (Methodology)

A. Theorem 1 의 증명 기법

1. 대칭성과 분할: 행렬의 계수 조건을 만족하는 집합을 $S_{leq}$ (부등호 포함) 와 $S_{eq}$ (등호 포함) 로 분할하여 $S(n, X) = 2S_{leq}(n, X) - S_{eq}(n, X)$로 변환합니다.
2. 약분 (Reduction): 행렬식 조건 $ar - bq = n$을 만족하는 정수 해를 구하기 위해,$d = \gcd(a, q)$로 나누어 약분된 변수$q_d, n_d$ 등을 도입합니다.
3. 합의 재배열: 조건부 합을 약분된 변수에 대해 재배열하고, 모듈로 연산 조건 ($rd/e \equiv n_d a_e^{-1} \pmod{q_d}$) 을 분석합니다.
4. 오차항 분리: 주어진 범위 내 해의 개수를 계산할 때, 조건 (5) 를 제거하여 주항 (Main term) 을 추출하고, 제거된 조건으로 인한 오차 ($E_d$) 를 추정합니다.
5. 수론적 합 계산: 주항은 $\phi$ (오일러 피 함수) 와 $\sigma_{-1}$ (약수의 역수 합) 을 사용하여 정리하며, 오차항은 $\sigma_0(n)$ (약수의 개수) 과 로그 항을 이용해 제어합니다.

B. Theorem 2 의 증명 기법

1. 비둘기집 원리 (Pigeonhole Principle): $n=p$ 또는 $p^2$일 때, $|a|, |q| \le n^{1/2}$ 범위에서 $aq^{-1} \equiv c \pmod n$을 만족하는 해가 존재함을 Lemma 3 을 통해 증명합니다.
2. 사상 (Mapping) 분석: 집합 $\Omega$ (서로소인 정수 쌍) 에서 $\mathbb{Z}/n\mathbb{Z}$로의 사상 $T(a, q) = aq^{-1} \pmod n$이 전사 (surjective) 임을 보입니다.
3. 행렬식 조건과의 연결: 사상의 원상이 1 개 또는 2 개임을 분석하고, $ar - bq = n$인 쌍의 개수를$|\Omega|$와$n$의 관계로 표현합니다.
4. 경계 보정: 대칭성 ($a \to -a, q \to -q$) 을 이용하여 주어진 범위의 행렬 개수를 계산하고, 경계 효과를 $O(n^{1/2})$로 보정하여 최종 점근식을 유도합니다.

4. 의의 및 중요성 (Significance)

1. 오차항의 정밀도 향상: 기존 연구보다 훨씬 강력한 오차항을 제시하여, $X$가 $n$보다 훨씬 큰 영역뿐만 아니라 $X \approx n$ 근처에서도 더 정확한 추정을 가능하게 합니다.
2. 임계값 규명: $X = n^{1/2}$ 부근에서 점근적 행동이 급격히 변함을 수학적으로 증명함으로써, 행렬 계수 제한 문제의 본질적인 한계를 밝혔습니다. 이는 $p$-adic 수 체계에서의 '최소 분모 문제 (minimal denominator problem)'와도 깊은 연관이 있습니다.
3. 응용 가능성: $n$과 $X$가 서로 다른 함수로 발산하는 상황 (예: 암호학, 수론적 동역학 등) 에서 행렬 분포를 분석할 때 필수적인 도구를 제공합니다.
4. 간결한 증명: Afifurrahman 의 복잡한 증명을 간결하게 재구성하면서도 더 나은 결과를 도출했다는 점에서 방법론적 가치가 높습니다.

5. 결론

이 논문은 고정된 행렬식을 가진 $2 \times 2$ 정수 행렬의 개수 문제에 대해, 최대 노름 조건 하에서 최적에 가까운 점근적 공식을 제시하고 그 유효 범위의 한계를 명확히 규명했습니다. 특히 $X \approx n^{1/2}$ 영역에서의 비정상적인 행렬 분포를 발견한 것은 이 분야의 이론적 이해를 한 단계 발전시킨 중요한 성과입니다.