[論文レビュー] New Existence and Nonexistence Results for Strong External Difference Families

Jingjun Bao, Lijun Ji+2 more|arXiv (Cornell University)|Dec 26, 2016

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

ひとこと要約

本稿では、有限体における特徴的理論的手法と円分類を用いて、強外部差分族（SEDF）の新たな非存在結果を提示し、$(n,2,k,\lambda)$-SEDFの2つの新しい無限族を構成する。SEDFが$m>2$、$k>1$、$\lambda>1$ を満たす場合、その存在はおそらく不可能であると証明し、$q=1+16t^2$ および $p=1+108t^2$ の場合に明示的なSEDF構成を確立することで、素数べきの順序を超えた既知の結果を拡張する。

ABSTRACT

In this paper, we use character-theoretic techniques to give new nonexistence results for $(n,m,k,λ)$-strong external difference families (SEDFs). We also use cyclotomic classes to give two new classes of SEDFs with $m=2$.

研究の動機と目的

• 特徴的理論的手法を用いてSEDFの存在に必要な条件を新たに確立する。
• 既存の$m>2$、$k>1$、$\lambda>1$ のSEDFに関する非存在結果を一般化する。
• 有限体における円分類を用いて、$(n,2,k,\lambda)$-SEDFの新しい無限族を構成する。
• 非素数べき群における$k,\lambda>1$ のSEDFの存在を調査する。
• $m>2$、$k>1$、$\lambda>1$ の場合、SEDFは存在しないという予想を提示する。

提案手法

• 有限アーベル群上の特徴的理論を用いて、SEDF存在の必要条件を導出する。
• 群の特徴の直交関係を用いて外部差分集合を分析する。
• GF(q)におけるインデックス4および6の円分類を適用して、$m=2$ のSEDFを構成する。
• 外部差分が一様分布を示す条件を特定するために、円分数$(i,j)_e$を分析する。
• すべての$i$に対して$(i,e/2)_e$が等しいことが、SEDF構成を保証することを検証する。
• 既知の素数の$s^2 + dt^2$ としての表現を用いて、一様な円分数を保証する。

実験結果

リサーチクエスチョン

• RQ1 特徴的理論的手法は、従来の境界を超えてSEDFの新たな非存在結果を導けるか？
• RQ2 インデックス4または6の円分類が、$m=2$ の有効なSEDFを生成する条件は何か？
• RQ3 $k,\lambda>1$ の場合、非素数べき群上にSEDFを構成することは可能か？
• RQ4 $m>2$、$k>1$、$\lambda>1$ のSEDFは存在するか？
• RQ5 SEDF構成に必要なおよび十分な円分数の条件は何か？

主な発見

• 本稿では、$m>2$、$k>1$、$\lambda>1$ を満たす$(n,m,k,\lambda)$-SEDFが存在しないことを証明し、より広範な非存在予想を支持する。
• $q=1+16t^2$ の場合、インデックス4の円分類を用いて$(q,2,\frac{q-1}{4},\frac{q-1}{16})$-SEDFが存在する。
• $p=1+108t^2$ の場合、インデックス6の円分類を用いて$(p,2,\frac{p-1}{6},\frac{p-1}{36})$-SEDFが存在する。
• すべての$i$ に対して$(i,e/2)_e$ が等しい場合、外部差分の分布が一様になるため、構成が成功する。
• 特定の数論的条件下で、SEDFが円分類から構成可能であることを示すことで、先行研究を一般化する。
• $k>1$ の場合、$n$ が $k$ で割り切れてはならないことが確認され、SEDF存在における構造的制約を強化する。