[論文レビュー] Zolotarev's Magical Proof of Quadratic Reciprocity

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

Advanced Mathematical Identities被引用数 0

ひとこと要約

要約: 本論文は Zolotarev の二次既約性の証明を、組合せ的なカード配りの解釈として提示し、行/列/対角の配り方から得られる置換の符号と Gauss の法則を Zolotarev 補題を介して結びつける。

ABSTRACT

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

研究の動機と目的

• 具体的なカード配りモデルと置換を通して二次既約性を動機づける。
• R, C, D の異なる配り方に由来する置換の符号を導出し、それを Gauss の法則と関連づける。
• 奇数素数に対して Zolotarev の補題を導入し、Zolotarev 記号と Legendre 記号を同等とみなして二次既約性を導出。
• 特定の記号（2, -1）について追加の配り方を通じた補足公式を導出する。

提案手法

• カードを 0,...,mn-1 と定義し、行配りと列配りを比較して置換 gamma を形成する；sign(gamma) を (-1)^{C(m,2)·C(n,2)} と計算する。
• 相互素な奇数 m,n に対して対角配り (D) を導入し、置換 alpha を定義する；sign(alpha) が n を法 m で掛けることにより誘起される置換の符号に等しいことを示す。
• 対称性（行/列の役割を入れ替える）を用いて beta を定義し、sign(beta) を m/n 入れ替えによる置換の符号と関連づける；sign(beta)·sign(alpha)=sign(gamma)。
• Zolotarev の補題を適用して Zolotarev 記号と Legendre 記号を結びつけ、二次既約性の法則を得る： (p/q)·(q/p)=(-1)^{((p-1)(q-1)/4)}（異なる奇素数 p, q の場合）。
• 補足を導出：追加の配り（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 から column-wise へのカード配りを結ぶ置換の符号は何か。
• RQ2 対角配りの写像は m の法 n による乗法とその符号とどう対応するか。
• RQ3 Zolotarev の補題は Zolotarev 記号と Legendre 記号を橋渡しして二次既約性を証明できるか。
• RQ4 記号 2 および -1 の補足公式は変更された配り方からどう生じるか。

主な発見

• sign(gamma)=(-1)^{C(m,2)·C(n,2)}; 奇数のとき sign(gamma)=(-1)^{(m-1)(n-1)/4}。
• sign(alpha) は n を法 m で掛けることにより誘起される置換の符号と等価；sign(beta) は m を法 n で掛けることにより誘起される置換の符号と等価；二つの積が 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] の公式が含まれ、(2/p)=(-1)^{(p^2-1)/8} および (-1/p)=(-1)^{(p-1)/2} が奇素数 p に対して成り立つ。
• 本論は創造的なカード配りモデルと古典的な二次既約性の法則を、 Zolotarev の補題と置換の符号計算を介して結びつけている。

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