[論文レビュー] 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$（2つの異なる素数の積）の場合の必要条件が導かれる。これにより、特定のパラメータ集合が除外される。主な貢献は、群代数における特徴和と直交関係に基づく、一般化された非存在フレームワークの構築である。

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）の存在を調査すること。
• 特に $v$ が素数または2つの異なる素数の積である場合に、特定のパrameter制約下でのSEDFの非存在結果を確立すること。
• $p$ と $q$ が異なる奇素数であるとき、$v=pq$ の位数の群におけるSEDFの存在に必要な条件を導出すること。
• 特に $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 $p$ と $q$ が異なる奇素数であるとき、$(v,m,k,\lambda)$-SEDF が存在するための必要条件は何か？
• RQ3 $m=3$ または $m=4$ で $v>m$ の場合、特徴理論的手法でSEDFの非存在を除外できるか？
• RQ4 $k^2(m-1) = \lambda(v-1)$ を満たすパラメータ集合であっても、群構造の制約によりSEDFが存在できないものは存在するか？
• RQ5 特徴和の構造を用いて、既知の $\lambda=1$ の場合を越えて非存在結果を導出できるか？

主な発見

• $v$ が素数、$k>1$、$m>2$ のとき、特徴和の矛盾により $(v,m,k,\lambda)$-SEDF は存在しない。
• $p$ と $q$ が異なる奇素数であるとき、$v=pq$ ならば、非自明な特徴 $\chi$ に対して $\chi(\mathcal{E})=0$ を満たす任意の部分集合 $\mathcal{E} \subseteq G$ は、$p$ または $q$ の位数の部分群の陪集合の直和であり、そのサイズは $p$ または $q$ で割り切れる。
• $m=3$ または $m=4$ で $v>m$ のとき、特徴和の分析と直交性により、$(v,m,k,\lambda)$-SEDF は存在しない。
• $(217,9,9,3)$ は論文で導出されたすべての必要条件を満たしており、したがってこれらの手法では除外できない。これは、境界がタイトであることを示唆している。
• 本論文では、$k=1$ かつ $m=2$ が唯一既知の無限族であり、$m>2$ かつ $k>1$ の非自明な例は、まだ知られていないと証明している。
• 条件 $k^2(m-1) = \lambda(v-1)$ は必要であるが十分ではない。SEDFの存在を除外するには、特徴理論からの追加の制約が必要である。