[论文解读] Zolotarev's Magical Proof of Quadratic Reciprocity

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

Advanced Mathematical Identities被引用 0

一句话总结

这篇论文给出了一种组合的发牌解释来证明佐洛塔列夫的二次互反性证明，将行/列/对角发牌的置换符号与高斯定律通过佐洛塔列夫引理联系起来。

ABSTRACT

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

研究动机与目标

• 通过一个具体的发牌模型和置换来动机说明二次互反性。
• 推导来自不同发牌方案（R、C、D）所产生的置换的符号，并将其与高斯定律联系起来。
• 引入佐洛塔列夫引理以将佐洛塔列夫符号等同于奇素数下的勒让德符号。
• 通过额外的发牌方案推导出对特定符号（2 和 -1）的补充互反公式。

提出的方法

• 将牌编号为0,...,mn-1，比较按行发牌与按列发牌得到的置换gamma；sign(gamma) = (-1)^{C(m,2)·C(n,2)}。
• 为互素奇整数 m,n 引入对角发牌(D)，定义置换alpha；证明 sign(alpha) 等于乘法在模 m 下乘以 n 的置换的符号。
• 利用对称性（交换行/列的角色）定义beta，并将 sign(beta) 与将 m 与 n 交换时的符号联系起来；得到 sign(beta)·sign(alpha)=sign(gamma)。
• 应用佐洛塔列夫引理将佐洛塔列夫符号与勒让德符号联系起来，从而得到二次互反律： (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 行把牌按行与按列发牌所连结的置换的符号是多少？
• RQ2 对角发牌映射与模 m 下乘以 n 的置换及其符号有何关系？
• RQ3 佐洛塔列夫引理能否将佐洛塔列夫符号与勒让德符号联系起来以证明二次互反性？
• 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}。
• 佐洛塔列夫引理将佐洛塔列夫符号 [a/p] 与奇素数 p 下的勒让德符号 (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。
• 本论文通过一种富有创造性的发牌模型，借助佐洛塔列夫引理与置换符号计算，将经典的二次互反律联系起来。

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