[论文解读] Inequivalence of skew Hadamard difference sets and triple intersection numbers modulo a prime

Koji Momihara|arXiv (Cornell University)|Aug 6, 2013

graph theory and CDMA systems参考文献 7被引用 3

一句话总结

本文引入了一种新不变量——模素数的三重交集数，用于证明冯-向构造的无穷多个斜 Hadamard 差集与经典的 Paley 差集不等价。通过利用递归提升性质与特征和分析，作者证明了即使在参数相似的情况下，冯-向构造仍会产生不同的组合对象。

ABSTRACT

Recently, Feng and Xiang \cite{FX113} found a new construction of skew Hadamard difference sets in elementary abelian groups. In this paper, we introduce a new invariant for equivalence of skew Hadamard difference sets, namely triple intersection numbers modulo a prime, and discuss inequivalence between Feng-Xiang skew Hadamard difference sets and the Paley difference sets. As a consequence, we show that their construction produces infinitely many skew Hadamard difference sets inequivalent to the Paley difference sets.

研究动机与目标

• 解决在阿贝尔群中是否存在除 Paley 之外的斜 Hadamard 差集这一长期悬而未决的开放问题。
• 提供一个理论框架，以证明不等价性，而无需依赖计算量大的方法。
• 克服标准不变量（例如 p-秩）的局限性，这些不变量仅由参数决定，因此无法区分不等价的斜 Hadamard 差集。
• 建立一种新的理论工具——模素数的三重交集数，用于检测有限域上组合设计的不等价性。
• 证明冯-向构造能生成无穷多个与 Paley 差集不等价的斜 Hadamard 差集。

提出的方法

• 定义一种新不变量：基于有限域上特征和性质推导出的模素数的三重交集数。
• 利用 Davenport-Hasse 乘积公式分析高斯和，并推导出特征和的可除性条件。
• 利用冯-向差集的提升性质：若一个集合在 $\mathbb{F}_q$ 中是斜 Hadamard 的，则当 $\gcd(t,N)=1$ 时，其在 $\mathbb{F}_{q^t}$ 中的提升仍为斜 Hadamard。
• 应用递归技术比较不同提升中的三重交集数，表明这些数值在冯-向与 Paley 差集之间存在差异。
• 利用 $\mathbb{F}_q$ 中阶为 $N = 2p_1^m$ 的分圆类，其中 $q = p^{fs}$，$p \equiv 3 \pmod{4}$ 且 $f = \mathrm{ord}_N(p) = \phi(N)/2$。
• 证明当 $\gcd(t,N)=1$ 时，模素数的三重交集数在提升过程中保持不变，从而实现跨域扩张的递归比较。

实验结果

研究问题

• RQ1 在阿贝尔群中是否存在无穷多个与 Paley 差集不等价的斜 Hadamard 差集？
• RQ2 能否构造一种理论不变量，以超越参数依赖型不变量的方式区分斜 Hadamard 差集？
• RQ3 冯-向斜 Hadamard 差集（其在提升下封闭）是否产生与 Paley 构造不同的组合对象？
• RQ4 模素数的三重交集数能否作为检测斜 Hadamard 差集不等价性的可靠不变量？
• RQ5 除了 Paley 和冯-向族之外，是否存在其他具有提升性质的斜 Hadamard 差集构造？

主要发现

• 本文通过新引入的模素数三重交集数不变量，证明了冯-向斜 Hadamard 差集与 Paley 差集不等价。
• 对于参数集 $(v,k,\lambda) = (67,3,14)$，冯-向构造中所有 $t$ 的三重交集数 $n_t$ 至少为 3，而 Paley 集中 $n_t = 2$ 对所有 $t$ 成立。
• 对于 $(v,k,\lambda) = (107,3,14)$，其中一个冯-向集合的三重交集数 $n_3 = 1$，而 Paley 集中所有 $t$ 的 $n_t = 2$，从而证明了不等价性。
• 该构造产生了无穷多个与 Paley 差集不等价的斜 Hadamard 差集，因为提升过程保持了不变量，从而实现了递归区分。
• 该方法成功检测了不等价性，而无需依赖计算机搜索，为计算验证提供了一种理论替代方案。
• 本文通过定理 13 将冯-向构造推广至更广泛的参数范围，其中 $2 \in \langle p \rangle \pmod{p_1^m}$ 且 $f = \mathrm{ord}_N(p)$ 为奇数，扩展了适用情况的范围。