[论文解读] Some Nonexistence Results for Strong External Difference Families Using Character Theory

William J. Martin, Douglas R. Stinson|arXiv (Cornell University)|Oct 20, 2016

graph theory and CDMA systems参考文献 11被引用 8

一句话总结

本文利用有限交换群中的特征标理论，证明了强外部差集（SEDF）的非存在性结果。当 $v$ 为素数、$k>1$ 且 $m>2$ 时，证明了不存在 $(v,m,k,\theta)$-SEDF；并针对 $v=pq$（两不同素数的乘积）的情形推导出必要条件，排除了某些参数集。其主要贡献是基于群代数中的特征标和正交关系，建立了一个通用的非存在性框架。

ABSTRACT

In this paper, we study the existence of $(v,m,k,λ)$-strong external difference families (SEDFs). We use character-theoretic techniques to show that no SEDF exists when $v$ is prime, $k > 1$ and $m > 2$. In the case where $v$ is the product of two distinct odd primes, some necessary conditions are derived, which can be used to rule out certain parameter sets. Further, we show that, when $m=3$ or $4$ and $v > m$, a $(v,m,k,λ)$-SEDF does not exist.

研究动机与目标

• 利用特征标理论方法研究有限交换群中强外部差集（SEDF）的存在性。
• 在特定参数约束下建立 SEDF 的非存在性结果，特别是当 $v$ 为素数或两不同素数的乘积时。
• 推导出在 $v=pq$ 阶群中 SEDF 存在的必要条件，其中 $p$ 和 $q$ 为不同的奇素数。
• 扩展并改进以往的非存在性结果，特别是针对 $m>2$ 和 $k>1$ 的情形，这些情形此前仅部分解决。
• 通过群特征标与正交关系，建立一个系统化分析 SEDF 参数集的理论框架。

提出的方法

• 在群代数 $\mathbb{C}[G]$ 中，对 SEDF 方程的两边应用有限交换群的线性特征标。
• 利用特征标的正交关系分析和约束特征标值 $\chi(\mathcal{D})$。
• 利用非平凡特征标 $\chi$ 满足 $\sum_{g\in G} \chi(g) = 0$ 的事实，导出特征标和中的矛盾。
• 分析 $\mathcal{D} = \sum_{j=1}^m D_j$ 的结构及其与群代数中 $D_j \mathcal{D}^{-1} - D_j D_j^{-1} = \lambda(G-1)$ 的关系。
• 利用中国剩余定理与子群陪集分解，分析零特征标和子集的大小与结构。
• 应用 Lam 和 Leung 关于子集特征标和的结果，证明零特征标和的子集必须是阶为 $p$ 或 $q$ 的子群的陪集的不相交并集。

实验结果

研究问题

• RQ1 当 $v$ 为素数、$k>1$ 且 $m>2$ 时，$(v,m,k,\lambda)$-SEDF 是否存在？
• RQ2 当 $v=pq$ 且 $p$ 与 $q$ 为不同的奇素数时，$(v,m,k,\lambda)$-SEDF 存在的必要条件是什么？
• RQ3 特征标理论技术能否排除 $v>m$ 时 $m=3$ 或 $m=4$ 的 SEDF 存在性？
• RQ4 是否存在满足 $k^2(m-1) = \lambda(v-1)$ 的参数集，但由于群结构约束而无法支持 SEDF？
• RQ5 特征标和的结构能否用于推导出已知 $\lambda=1$ 情况之外的非存在性结果？

主要发现

• 当 $v$ 为素数、$k>1$ 且 $m>2$ 时，不存在 $(v,m,k,\lambda)$-SEDF，该结论通过特征标和矛盾得以证明。
• 当 $v=pq$ 且 $p$ 与 $q$ 为不同的奇素数时，任何满足 $\chi(\mathcal{E})=0$ 的子集 $\mathcal{E} \subseteq G$（其中 $\chi$ 为非平凡特征标）的大小必被 $p$ 或 $q$ 整除，且必须是阶为 $p$ 或 $q$ 的子群的陪集的不相交并集。
• 当 $m=3$ 或 $m=4$ 且 $v>m$ 时，不存在 $(v,m,k,\lambda)$-SEDF，该结论通过特征标和分析与正交性关系确立。
• 参数集 $(217,9,9,3)$ 满足本文推导出的所有必要条件，因此无法通过这些方法排除，表明所得界限是紧致的。
• 本文证明了 $k=1$ 且 $m=2$ 是目前已知的唯一无限族 SEDF，且尚未发现 $m>2$ 且 $k>1$ 的非平凡 SEDF 例子。
• 条件 $k^2(m-1) = \lambda(v-1)$ 是必要的但不充分，还需借助特征标理论的额外约束才能排除存在性。