[论文解读] The $(n,m,k,\lambda)$-Strong External Difference Family with $m \geq 5$ Exists

Jiejing Wen, Minghui Yang+1 more|arXiv (Cornell University)|Dec 30, 2016

Coding theory and cryptography参考文献 1被引用 8

一句话总结

本文构造了首个已知的 $(n,m,k,\lambda)$-强外部差集族（SEDF），其中 $m \geq 5$，具体为 $$\mathbb{F}_{243}$ 中的 $(243, 11, 22, 20)$-SEDF。该构造利用 $$\mathbb{F}_{3^5}$ 中的 11 个 11 次分圆类，通过显式计算分圆数与群环恒等式，证明了这些类满足 SEDF 条件，从而解决了关于 $m \geq 5$ 时此类 SEDF 存在性的开放问题。结果确认了在先前已知的 $m=2$ 情况之外，存在非平凡的 SEDF。

ABSTRACT

The notion of strong external difference family (SEDF) in a finite abelian group $(G,+)$ is raised by M. B. Paterson and D. R. Stinson [5] in 2016 and motivated by its application in communication theory to construct $R$-optimal regular algebraic manipulation detection code. A series of $(n,m,k,\lambda)$-SEDF's have been constructed in [5, 4, 2, 1] with $m=2$. In this note we present an example of (243, 11, 22, 20)-SEDF in finite field $\mathbb{F}_q$ $(q=3^5=243).$ This is an answer for the following problem raised in [5] and continuously asked in [4, 2, 1]: if there exists an $(n,m,k,\lambda)$-SEDF for $m\geq 5$.

研究动机与目标

• 解决文献 [5] 提出并被 [4, 2, 1] 再次提及的关于 $m \geq 5$ 时 $(n,m,k,\lambda)$-SEDF 存在性的问题。
• 在有限交换群中构造一个 $m \geq 5$ 的非平凡 SEDF 的具体实例。
• 通过验证外部差集条件，证明 $$\mathbb{F}_{3^5}$ 中 11 次分圆类构成有效的 SEDF。

提出的方法

• 使用群环记号定义 SEDF 条件：对每个 $i$，有 $\sum_{j \neq i} \Delta(D_i, D_j) = \lambda(G \setminus \{0\})$，其中 $\Delta(D_i, D_j)$ 是差集 $a_i - a_j$ 的多重集。
• 使用有限域 $\mathbb{F}_{243} = \mathbb{F}_3(\theta)$，其中 $\theta$ 是 $\mathbb{F}_3$ 上不可约多项式 $x^5 + x^4 + x^3 + x^2 + 2x + 1$ 的根，以构造该域并识别一个本原元。
• 利用本原元 $\theta$ 和子群 $\langle \theta^{11} \rangle$，计算 $\mathbb{F}_{243}^\times$ 中 11 个 11 次分圆类 $C_0, \dots, C_{10}$，每个类大小为 22。
• 通过代数恒等式与域元素的显式向量表示，计算分圆数 $(i,i)_{11}$，其中 $0 \leq i \leq 10$，得出 $(0,0)_{11} = 1$ 且 $(i,i)_{11} = 2$（$1 \leq i \leq 10$）。
• 通过恒等式 $\Delta(C_i, C_j) = \sum_{\lambda} (i-j+\lambda, i-j+\lambda)_{11} C_\lambda$ 与已计算的分圆数，验证 $\sum_{j \neq i} \Delta(C_i, C_j) = 20(\mathbb{F}_{243} \setminus \{0\})$，从而确认 SEDF 条件成立。
• 确认分圆类划分了 $\mathbb{F}_{243} \setminus \{0\}$，且对所有 $i$，差集多重集条件均一致成立。

实验结果

研究问题

• RQ1 是否存在一个非平凡的 $(n,m,k,\lambda)$-SEDF，满足 $m \geq 5$？
• RQ2 有限域中阶数 $e \geq 5$ 的分圆类能否构成一个 SEDF？
• RQ3 为使一组分圆类构成 SEDF，分圆数需满足哪些必要条件？

主要发现

• 本文在 $\mathbb{F}_{243}$ 中利用 11 个 11 次分圆类，构造出一个 $(243, 11, 22, 20)$-SEDF。
• 证明了分圆数 $(i,i)_{11}$ 满足 $(0,0)_{11} = 1$ 且 $(i,i)_{11} = 2$（$1 \leq i \leq 10$），这是验证 SEDF 条件的关键。
• 对所有 $i$，SEDF 条件均成立，因为 $\sum_{j \neq i} \Delta(C_i, C_j) = 20(\mathbb{F}_{243} \setminus \{0\})$，确认集合 $\{C_0, \dots, C_{10}\}$ 是一个有效的 SEDF。
• 该构造提供了首个已知的 $m \geq 5$ 的非平凡 SEDF 实例，解决了该领域长期存在的开放问题。
• 证明了每个 $C_i$ 是一个参数为 $(243, 22, 1, 2)$ 的部分差集，满足 $\lambda = \mu - 1$，这支持了通过 PDS 划分构造 SEDF 的方法。
• 结果表明，可基于满足 $\lambda = \mu - 1$ 的 PDS 构造 $m = 11$ 的 SEDF，且本文建议进一步探索此类 PDS 以推广至更一般的 SEDF 构造。