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

技术摘要：矩形高斯二项式系数的 Ljunggren–Jacobsthal 与 Bailey 型同余性质

问题与动机
本文研究了高斯整数 $\mathbb{Z}[i]$ 上一种二维阶乘比的算术性质，称之为矩形高斯二项式系数，记作 $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)}.$$
这项工作的动机源于 Kalinin 关于 Wolstenholme 定理的高斯类比，该定理将 $\mathbb{Z}[i]$ 中倒数根的对称函数与高次幂同余联系起来。作者旨在将经典的二项式同余——特别是涉及参数按素数幂缩放的 Ljunggren–Jacobstahl 同余以及涉及大块与数字分解的 Bailey 对 Lucas 定理的改进——推广到这种二维高斯情形中。

方法论
证明过程依赖于 $\mathcal{O}_p = \mathbb{Z}_p[i]$ 环中 $p$ 进分析与组合块分解的结合。分析被限制在满足 $p \equiv 3 \pmod 4$ 的有理素数 $p$ 上，这些素数在 $\mathbb{Z}[i]$ 中是惰性的（inert）。这一条件确保了 $p$ 在 $\mathbb{Z}[i]$ 中仍为素数，其剩余域为 $\mathbb{F}_{p^2}$，且 $\mathbb{Z}[i]$ 中对 $p$ 的整除性对应于实部与虚部的同时整除。

关键方法步骤包括：

1. 倒数幂和：作者定义了 $H_j(k) = \sum_{z \in U_k} z^{-j}$，其中 $U_k$ 是模 $p^k$ 的完整单位集。利用 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$ 单位块和边界条带。证明了乘积在平移块下的不变性取决于前两个倒数幂和的消失。
3. 容斥原理：通过矩形阶乘 $P(X, Y)$ 的乘法容斥将矩形系数表示出来。这使得可以分离出可被 $p$ 整除的因子（这些因子简化为较低尺度的系数）与单位因子（这些因子构成完整的块）。

主要贡献与结果

1. $p$-整性：本文首先证明了对于所有 $p \equiv 3 \pmod 4$， $R(A, B; C, D)$ 是 $p$-整的（属于 $\mathcal{O}_p$），从而确立了同余式的良定义性。

2. Ljunggren–Jacobsthal 型超同余（定理 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 关于高斯型 Wolstenholme 型同余猜想中的惰性素情况，并将经典的 Ljunggren–Jacobsthal 同余推广到了高斯矩形情形。

3. Bailey 型同余（定理 1.3）：
   对于分解为大 $p$ 倍数与剩余数字的参数（$A = pA' + \alpha$ 等），本文确立了一个模 $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.$$
   与一维 Bailey 同余不同，此结果包含了两个额外的普通二项式因子 $\binom{\alpha}{\gamma}^D$ 和 $\binom{\beta}{\delta}^C$，它们源自矩形分解中的垂直与水平边界条带。

4. 概念框架：
   本文将这些结果置于一个“经典–高斯字典”中，将整数格点 $\mathbb{Z}$ 与圆函数映射到方格点 $\mathbb{Z}[i]$ 与连绵函数（与 CM 椭圆曲线 $y^2 = x^3 - x$ 相关联）上。格点的对称群（$\mathbb{Z}[i]$ 的四分之一转对称 vs $\mathbb{Z}$ 的反射对称）决定了哪些倒数矩量会消失，从而解释了同余式中特定的 $p$ 次幂。

意义与范围
本文声称解决了 Kalinin 关于高斯型 Wolstenholme 型同规猜想中的惰性素情况。它表明，矩形高斯二项式系数的算术受控于与经典二项式系数相同的机制（倒数幂和与块不变性），尽管由于二维格点和 $\mathbb{Z}[i]$ 的特定对称性，其结构发生了变化。

作者明确指出了局限性与未来方向：

• 目前的结果仅限于惰性素数（$p \equiv 3 \pmod 4$）。分裂情况（$p \equiv 1 \pmod 4$）由于剩余环中存在零因子，需要不同的处理方式。
• Bailey 型同规仅在模 $p$ 下得到证明；更高次幂的提升被认为是自然的后续研究方向，但并未在此证明。
• 本文提出了向一般虚二次序推广的可能性，并提出了关于全局整性和 Barnes 双 Gamma 表示的问题。

本研究并不声称具有实验应用，而是建立了高斯阶乘比算术的理论基础，将其与 CM 椭圆曲线及形式群理论联系起来。