[논문 리뷰] Zolotarev's Magical Proof of Quadratic Reciprocity

Matthew J. Baker|arXiv (Cornell University)|2026. 02. 27.

Advanced Mathematical Identities인용 수 0

한 줄 요약

본 논문은 Zolotarev의 제곱 잔여의 증명에 대한 조합적 카드 배치 해석을 제시하며, 행/열 배치에서의 순열 부호를 Zolotarev의 보조정리와 Gauss의 법칙을 연결한다.

ABSTRACT

We present a creative reimagining of Zolotarev's classical proof of the Law of Quadratic Reciprocity.

연구 동기 및 목표

• 구체적인 카드 배치 모델과 순열을 통해 제곱 잔여를 동기부여한다.
• 다른 배치 체계(R, C, D)에서 발생하는 순열의 부호를 도출하고 이를 Gauss의 법칙과 관계지운다.
• Odd 소수에 대해 Zolotarev의 보조정리(Zolotarev의 보조정리) 를 도입하여 Zolotarev 기호와 Legendre 기호를 동일시한다.
• 추가적인 배치 체계로 특정 기호(2 및 -1)에 대한 보충 잔여 규칙을 도출한다.

제안 방법

• 카드에 0,..., mn-1로 번호를 매기고 행 배치와 열 배치를 비교하여 순열 γ를 형성한다; sign(γ)를 (-1)^{C(m,2)·C(n,2)}로 계산한다.
• 상대적으로 서로소인 홀수 m, n에 대한 대각선 배치(D)를 도입하고 순열 α를 정의한다; sign(α)가 m 모듈로 n에 의해 곱셈으로 유도된 순열의 부호와 같음을 보인다.
• 대칭(행/열의 역할 교환)을 이용하여 β를 정의하고 sign(β)를 m/n 교환으로 유도된 순열의 부호와 연관지으며, sign(β)·sign(α)=sign(γ)을 얻는다.
• Zolotarev의 보조정리를 적용하여 Zolotarev 기호를 Legendre 기호와 연결하고 제곱 잔여 법칙을 도출한다: (p/q)·(q/p)=(-1)^{((p-1)(q-1)/4)} for distinct odd primes.
• 보충 규칙 도출: 추가 배치(Z 및 M)을 통해 [2/n] 및 [-1/n]의 부호를 계산하고 이것들이 고전적 보충 법칙(2/p) 및 (-1/p)와 대응함을 보인다.

Figure 2: Example of a column deal with $m=3$ and $n=5$

실험 결과

연구 질문

• RQ1 행-wise 카드 배치를 열-wise 카드 배치와 연결하는 순열의 부호는 얼마인가?
• RQ2 대각선 배치를 m에 대해 n 모듈로의 곱셈과 그 부호에 어떻게 대응하는가?
• RQ3 Zolotarev의 보조정리가 Zolotarev 기호를 Legendre 기호로 잇고 제곱 잔여를 증명하는가?
• RQ4 두 기호 2와 -1에 대한 보충식은 수정된 배치 체계에서 어떻게 도출되는가?

주요 결과

• sign(gamma)=(-1)^{C(m,2)·C(n,2)}; m, n이 홀수일 때 sign(gamma)=(-1)^{(m-1)(n-1)/4}.
• sign(alpha)는 n으로 곱해진 모듈로 m에 의해 유도된 순열의 부호와 같고, sign(beta)는 m으로 곱해진 모듈로 n에 의해 유도된 순열의 부호와 같으며, 이들의 곱이 sign(gamma)와 같다.
• sign(beta)·sign(alpha)=(-1)^{(m-1)(n-1)/4}이고 sign(beta)=sign(beta^{-1}); 대칭성으로 sign(beta)={m  n} 및 sign(alpha)={n  m}을 얻는다.
• Zolotarev의 보조정리는 Zolotarev 기호 [a/p]를 홀수 소수 p에 대해 Legendre 기호 (a/p)와 동일시하여 제곱 잔여의 법칙을 가능하게 한다: (p/q)·(q/p)=(-1)^{((p-1)(q-1)/4)}.
• 보충 결과에는 [2/n] 및 [-1/n]에 대한 공식이 포함되며, 이는 odd 소수 p에 대해 (2/p)=(-1)^{(p^2-1)/8} 및 (-1/p)=(-1)^{(p-1)/2}로 이어진다.
• 이 해설은 창의적인 카드 배치 모델을 Zolotarev의 보조정리와 순열 부호 계산을 통해 고전적 제곱 잔여 법칙으로 연결한다.
• table_headers: []
• table_rows: []

Figure 3: Example of a diagonal deal with $m=3$ and $n=5$