Counting $2 \times 2$ integer matrices with a given determinant

기술적 요약: 주어진 행렬식을 갖는 2 × 2 정수 행렬의 계수

문제 진술
본 논문은 절대값이 $N$ 이하로 제한된 성분을 가지며 고정된 행렬식 $h$를 갖는 $2 \times 2$ 정수 행렬의 개수를 세는 문제를 다룹니다. 구체적으로, $D_h = \{(a, b, c, d) \in \mathbb{Z}^4 : ad - bc = h\}$라고 합시다. 저자들은 $T(h, N)$을 교집합 $D_h \cap [-N, N]^4$의 기수 (cardinality) 로 정의합니다. 목표는 $1 \le h \le 2N^2$에 대해 유효하며 $N \to \infty$일 때의 $T(h, N)$에 대한 점근 공식을 수립하고, 다음 전개식에서 오차항 $E_{\ell^\infty}(h, N)$을 정량화하는 것입니다:
$$T(h, N) = \frac{16}{\zeta(2)}N^2 \left( \sum_{d|h} \frac{1}{d} \right) + E_{\ell^\infty}(h, N).$$
이 문제는 2 차 방정식에 대한 정수 해의 계수라는 더 넓은 맥락에 위치하며, 이진 가법 약수 문제 (binary additive divisor problem) 와 모듈러 쌍곡선 위의 점 분포와 관련이 있습니다.

방법론
저자들은 이전 연구에서 사용된 심오한 스펙트럴 방법이나 Weil 합 추정치를 피하는 완전히 초등적인 접근법을 사용합니다. 방법론은 다음 단계를 통해 진행됩니다:

1. 대칭성 축소 및 재형식화: 행렬 성분의 대칭성을 활용하고 자명한 경우 (성분이 0 인 경우) 를 제외함으로써 계수 문제가 축소됩니다. 합은 선형 디오판토스 방정식 $ux - vy = h/d$의 계수들의 최대공약수를 기반으로 재배열됩니다.
2. 균등화를 통한 근사: 저자들은 약간 완화된 구간 내에서 합동 조건 $y \equiv -nv^{-1} \pmod u$의 해를 세는 보조 계수 함수 $\tilde{r}_{u,v}(n)$을 도입합니다. $h$가 $N$에 비해 지나치게 크지 않다면, 정확한 계수 $r_{u,v}(n)$과 근사 계수 $\tilde{r}_{u,v}(n)$ 사이의 차이가 주요 정리의 목적상 무시할 수 있음을 보여줍니다.
3. 산술 급수 분석: 문제는 서로소 쌍 $(u, v)$의 개수를 추정하고 산술 급수 내의 정수를 세는 문제로 축소됩니다. 저자들은 다음을 포함한 초등 정수론의 표준 보조정리들을 활용합니다:
   • 구간 내 서로소 잉여의 분포 (보조정리 2.4).
   • $t^m \equiv z \pmod y$ 형태의 합동식에 대한 해의 개수에 대한 상한 (보조정리 2.2).
   • 최대공약수 $(y, m)$을 포함하는 합에 대한 추정 (보조정리 2.3).
4. 오차항 추정: 균등화 단계와 주항 합산으로 인해 발생하는 오차를 신중하게 제한함으로써, 저자들은 최종 점근 공식을 유도합니다.

주요 결과

• 정리 1.1 (주요 점근 공식): $1 \le h \le 2N^2$를 만족하는 임의의 $h, N \in \mathbb{N}$에 대해, 저자들은 다음을 증명합니다:
  $$T(h, N) = \frac{16}{\zeta(2)}N^2 \left( \sum_{d|h} \frac{1}{d} \right) + O_\varepsilon(N^\varepsilon(N + h)).$$
  이 결과는 Afifurrahman ($O_\varepsilon(N^\varepsilon(h + N^{5/3}))$) 과 Ganguly–Guria ($O_\varepsilon(h^\theta N^{3/2+\varepsilon})$) 의 이전 상한선들을 정량적으로 개선합니다. 특히, $h \le N$인 범위에서 오차항은 $E_{\ell^\infty}(h, N) \ll_\varepsilon N^{1+\varepsilon}$을 만족하며, 이는 제곱근 상쇄 (square-root cancellation) 를 나타내고 관련 약수 문제에 대한 추측된 상한선과 일치합니다.

• 정리 1.2 (오차에 대한 하한): 저자들은 $N^{1+\delta} \le h \le 2N^2$ (여기서 $\delta \in (0, 1]$) 인 경우에 오차항이 다음을 만족함을 확립합니다:
  $$E_{\ell^\infty}(h, N) \gg h.$$
  이는 $h$가 클 때 (구체적으로 $h \ge N^{1+\delta}$), 오차항이 $h$의 차수를 가지며 특정 영역에서는 주항의 크기와 비교 가능함을 보여줍니다. 이는 $1 \le h \le 2N^2$ 범위 내의 모든 $h$에 대해 추측된 상한 $O_\varepsilon(N^{1+\varepsilon})$이 균일하게 성립할 수 없음을 의미합니다.

의의 및 주장
본 논문은 고정된 행렬식을 갖는 정수 행렬의 계수에 대한 오차항의 알려진 상한선을 크게 개선하는 "짧고 완전히 초등적인" 증명을 제공한다고 주장합니다.

• 이전 연구에 대한 개선: 이 결과는 Afifurrahman 과 Ganguly–Guria 의 최근 연구를 대체하여, $\ell^\infty$-제한 행렬의 설정에서 이진 가법 약수 문제에 대한 추측된 상한선의 아날로그를 확인하는 더 엄격한 오차 상한을 제공합니다.
• 상한의 최적성: 정리 1.2 의 하한은 $h$가 클 때 ($h \gg N$) 정리 1.1 에서 유도된 오차항이 본질적으로 올바른 차수임을 시사합니다. 저자들은 $h \gg N^2$인 경우 오차항이 주항의 차수와 일치하여 점근적 행동의 성질 변화를 나타낸다고 지적하지만, 이 특정 영역에 대한 새로운 주항은 제시하지 않습니다.
• 독립성: 저자들은 Dhanda–Haynes–Prasala 가 정리 1.1 을 독립적으로 증명했다고 인정합니다.

본 논문은 새로운 응용이나 향후 실험적 방향을 제안하지는 않지만, 초등 기법을 사용하여 해석적 정수론의 특정 정량적 문제에 대한 해결책을 제시함으로써 이러한 유형의 문제에 대한 현재 추정치의 한계를 명확히 합니다.