Ljunggren--Jacobsthal and Bailey-Type Congruences for Rectangular Gaussian Binomial Coefficients

기술 요약: 직사각형 가우스 이항 계수에 대한 Ljunggren–Jacobstahl 및 Bailey 유형 합동식

문제 및 동기
본 논문은 가우스 정수 $\mathbb{Z}[i]$ 상의 2차원 팩토리얼 비율인 직사각형 가우스 이항 계수(이하 $R(A, B; C, D)$로 표기)의 산술적 성질을 조사한다. 이 대상은 이동된 $C \times D$ 격자 격자 위의 곱을 기본 $C \times D$ 격자 위의 곱으로 나눈 몫으로 정의된다:
$$R(A, B; C, D) := \frac{\prod_{x=A-C+1}^{A} \prod_{y=B-D+1}^{B} (x + iy)}{\prod_{x=1}^{C} \prod_{y=1}^{D} (x + iy)}.$$
이 연구는 역수 근들의 대칭 함수를 $\mathbb{Z}[i]$ 상의 고차 거듭제곱 합동식과 연결하는 Kalinin의 가우스 버전 Wolstenholme 정리에서 동기를 얻었다. 저자는 고전적인 이항 합동식, 구체적으로는 Ljunggren–Jacobstahl 합동식(소수 거듭제곱에 의한 매개변수 팽창 관련)과 Lucas의 정리에 대한 Bailey의 개선(큰 블록과 자릿수로의 분해 관련)을 이 2차원 가우스 설정으로 확장하고자 한다.

방법론
증명은 $\mathcal{O}_p = \mathbb{Z}_p[i]$ 내의 $p$-진 분석과 조합론적 블록 분해의 결합에 의존한다. 분석은 $\mathbb{Z}[i]$에서 **불멸(inert)**인 유한 소수 $p \equiv 3 \pmod 4$로 제한된다. 이 조건은 $p$가 $\mathbb{Z}[i]$에서 소수로 남게 하며, 잔여체(residue field)가 $\mathbb{F}_{p^2}$가 되도록 하고, $\mathbb{Z}[i]$에서의 $p$에 의한 가분성(divisibility)이 실수부와 허수부의 동시 가분성에 대응하도록 보장한다.

주요 방법론적 단계는 다음과 같다:

1. 역수 거듭제곱 합: 저자는 $p^k$에 대한 단위 원소의 완전 집합 $U_k$에 대한 합 $H_j(k) = \sum_{z \in U_k} z^{-j}$를 정의한다. Kalinin의 결과와 Newton의 항등식을 이용한 귀납적 논증을 통해, 본 논문은 $p > 5$일 때 $H_1(k) \equiv 0 \pmod{p^{2k}}$ 및 $H_2(k) \equiv 0 \pmod{p^k}$임을 입증한다.
2. 블록 분해: 거대한 직사각형 곱을 완전한 $p^k \times p^k$ 단위 블록들과 경계 스트립(boundary strips)으로 분할한다. 이동된 블록에 대한 곱의 불변성은 역수 거듭제곱 합의 소멸 여부에 달려 있음이 입증되었다.
3. 포함-배제: 직사각형 계수는 직사각형 팩토리얼 $P(X, Y)$의 곱 형태인 곱셈적 포함-배제로 표현된다. 이를 통해 $p$로 나누어 떨어지는 인자들(더 낮은 척도의 계수로 환원됨)과 단위 인자들(완전한 블록을 형성함)을 분리할 수 있다.

주요 기여 및 결과

1. $p$-정수성($p$-Integrality): 본 논문은 먼저 모든 $p \equiv 3 \pmod 4$에 대해 $R(A, B; C, D)$가 $p$-정수(즉, $\mathcal{O}_p$에 속함)임을 증명하여 합동식의 잘 정의됨을 확립한다.

2. Ljunggren–Jacobstahl 유형 초합동식 (정리 1.2):
   $p > 5$이고 $p \equiv 3 \pmod 4$인 소수와 임의의 정수 $k \ge 1$에 대하여, 모든 매개변수를 $p$로 동시에 팽창시키면 다음을 만족한다:
   $$R(p^k A, p^k B; p^k C, p^k D) \equiv R(p^{k-1} A, p^{k-1} B; p^{k-1} C, p^{k-1} D) \pmod{p^{3k}}.$$
   이 결과는 Kalinin의 추측 중 불멸 소수 케이스를 증명하며, 고전적인 Ljunggren–Jacobsthal 합동식을 가우스 직사각형 설정으로 일반화한다.

3. Bailey 유형 합동식 (정리 1.3):
   매개변수가 큰 $p$ 배수와 잔여 자릿수로 분해될 때($A = pA' + \alpha$ 등), 본 논문은 다음의 modulo $p$ 합동식을 확립한다:
   $$R(pA + \alpha, pB + \beta; pC + \gamma, pD + \delta) \equiv R(A, B; C, D) R(\alpha, \beta; \gamma, \delta) \binom{\alpha}{\gamma}^D \binom{\beta}{\delta}^C \pmod p.$$
   1차원 Bailey 합동식과 달리, 이 결과는 직사각형 분해의 수직 및 수평 경계 스트립으로부터 발생하는 두 개의 추가적인 일반 이항 계수 $\binom{\alpha}{\gamma}^D$와 $\binom{\beta}{\delta}^C$를 포함한다.

4. 개념적 프레임워크:
   본 논문은 정수 격자 $\mathbb{Z}$ 및 원 함수(circular functions)를 정사각형 격자 $\mathbb{Z}[i]$ 및 렘니스케이트 함수(lemniscatic functions, CM 타원 곡선 $y^2 = x^3 - x$와 연관됨)로 매핑하는 "고전-가우스 사전(classical–Gaussian dictionary)" 내에 이러한 결과들을 위치시킨다. 격자의 대칭성($\mathbb{Z}$의 반사 대칭 대비 $\mathbb{Z}[i]$의 1/4 회전 대칭)은 어떤 역수 모멘트가 소멸할지를 결정하며, 이는 합동식에서 나타나는 특정 $p$의 차수를 설명한다.

의의 및 범위
본 논문은 Wolstenholme 유형 합동식의 가우스 유사물에 관한 Kalinin 추측의 불멸 소수 케이스를 해결했다고 주장한다. 이는 직사각형 가우스 이항 계수의 산술이 고전적인 이항 계수와 동일한 메커니즘(역수 거듭제곱 합 및 블록 불변성)에 의해 지배되지만, 2차원 격자와 $\mathbb{Z}[i]$의 특정한 대칭성으로 인해 구조적 수정이 필요함을 보여준다.

저자는 다음과 같은 한계와 향후 방향을 명시한다:

• 결과는 현재 불멸 소수($p \equiv 3 \pmod 4$)로 제한된다. 분할 소수(split case, $p \equiv 1 \pmod 4$)의 경우 잔여 환(residue ring) 내의 제로 디바이저(zero divisor)로 인해 다른 처리가 필요하다.
• Bailey 유형 합동식은 modulo $p$에 대해서만 증명되었다. 더 높은 차수의 리프트(lift)는 자연스러운 후속 연구로 제안되었으나 증명되지는 않았다.
• 본 논문은 일반적인 허수 이차 대수 순서(imaginary quadratic orders)로의 확장과 Barnes double-Gamma 표현에 관한 질문을 제기한다.

본 연구는 실험적 응용을 주장하기보다는, CM 타원 곡선 및 형식군(formal groups)의 이론과 연결되는 가우스 팩토리얼 비율의 산술적 토대를 구축하는 데 목적이 있다.