[論文レビュー] A Survey on Almost Difference Sets

Kathleen Nowak|arXiv (Cornell University)|Aug 30, 2014

Coding theory and cryptography参考文献 13被引用数 11

ひとこと要約

本調査は、ほぼ差集合（ADS）の包括的な概要を提供し、その定義、構成法、暗号理論、符号理論、およびCDMA通信分野における応用を詳述している。本稿は、ADSと三値自己相関を示すバイナリ系列との間の重要な関連を確立し、存在および非存在条件をレビューし、巡回的クラス、関数、および直接積技術を用いた体系的な構成法を提示することで、組合せデザイン理論分野における今後の研究を統合的に扱うフレームワークを提供する。

ABSTRACT

Let $G$ be an additive group of order $v$. A $k$-element subset $D$ of $G$ is called a $(v, k, λ, t)$-almost difference set if the expressions $gh^{-1}$, for $g$ and $h$ in $D$, represent $t$ of the non-identity elements in $G$ exactly $λ$ times and every other non-identity element $λ+1$ times. Almost difference sets are highly sought after as they can be used to produce functions with optimal nonlinearity, cyclic codes, and sequences with three-level autocorrelation. This paper reviews the recent work that has been done on almost difference sets and related topics. In this survey, we try to communicate the known existence and nonexistence results concerning almost difference sets. Further, we establish the link between certain almost difference sets and binary sequences with three-level autocorrelation. Lastly, we provide a thorough treatment of the tools currently being used to solve this problem. In particular, we review many of the construction methods being used to date, providing illustrative proofs and many examples.

研究の動機と目的

• ほぼ差集合の既知の存在および非存在結果を統合し、それを明確に伝えること。
• ほぼ差集合と三値自己相関を示すバイナリ系列との間の厳密な関連を確立すること。
• 巡回的クラス、群環、および直接積を含む、現在の構成技法を体系化し、提示すること。
• ほぼ差集合の構成および分類に関する未解決問題と研究ギャップを特定し、強調すること。
• 理論的枠組みを支援するための具体的な証明と例を提供すること。

提案手法

• 差関数 $ d_D(x) = |(D+x) \cap D| $ を用いて、$ x \in G \setminus \{0\} $ のとき値 $ \lambda $ または $ \lambda+1 $ をとるほぼ差集合を定義する。
• 群環代数を用いて差集合および関連する組合せ的対象を分析・構成する。
• 有限体における巡回的クラスを応用して、ほぼ差集合の明示的構成を生成する。
• 有限体上の関数を用いて、特に最適非線形性の文脈で新しいADS族を導出する。
• 直接積構成法を用いて、より大きなADSを小さなADSから構築し、望ましいパラメータを保持する。
• ADSから導かれるバイナリ系列の自己相関特性を分析し、通信システムにおける最適性を検証する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $ (v,k,\lambda,t) $ を持つ $ (v,k,\lambda,t) $-ほぼ差集合が存在するための必要条件は何か？
• RQ2 有限体の巡回的クラスを用いて、ほぼ差集合を体系的にどのように構成できるか？
• RQ3 ほぼ差集合と三値自己相関を示すバイナリ系列との正確な関係は何か？
• RQ4 どのほぼ差集合族が暗号関数における最適非線形性をもたらすか？
• RQ5 特定のパラメータ集合、たとえば $ n \equiv 3 \pmod{4} $ または $ n \equiv 1 \pmod{4} $ の場合に、ほぼ差集合を構成する際の未解決問題は何か？

主な発見

• 本稿は、ほぼ差集合が三値自己相関を示すバイナリ系列と等価であることを確立し、最適相関特性を持つ系列の構築を可能にした。
• $ n \equiv 3 \pmod{4} $ の場合、$ (n, \frac{n-3}{2}, \frac{n-7}{4}, n-3) $-ADSは自己相関値 $ -1 $ および $ 3 $ を持つ系列を生成し、これが最適である。
• $ n \equiv 1 \pmod{4} $ の場合、$ (n, \frac{n-1}{2}, \frac{n-5}{4}, \frac{n-1}{2}) $-ADSは自己相関値 $ -1 $ および $ 3 $ を持つ最適な系列をもたらす。
• 有限体の巡回的クラスを用いたADSの構成は、特に $ e=2,3,4 $ の場合に、無限個のこのような集合の族を提供する。
• 群環および差関数の分析により、パラメータに関する必要条件が得られ、たとえば $ k(k-1) \equiv \lambda(v-1) + (v-1-t) \pmod{v} $ が導かれる。
• 本稿は、特に $ \mathbb{Z}_n $ において $ n \equiv 1,2,3 \pmod{4} $ の場合に、特定のパラメータ集合に対するADSの構成に関する5つの未解決問題を特定した。