[論文レビュー] Classification of base sequences BS(n+1,n)

Dragomir Ž. Djoković|arXiv (Cornell University)|Feb 6, 2010

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

ひとこと要約

本稿では、基底系列 $BS(n+1,n)$ のための新しい同値関係と標準形を導入し、$n \leq 13$ までの一貫した同値類の分類と列挙を可能にした。位数 $2^{12}$ の群作用と効率的な符号化方式を活用して、これらの同値類の代表元を計算・表形式でまとめ、同値類の数が急速に増加するが、非単調であることが判明した。主な結果として、正規および準正規クラスの同定と、等しい自己相関ノルムであっても系列同士が同値でない反例の提示がなされた。

ABSTRACT

Base sequences BS(n+1,n) are quadruples of {1,-1}-sequences (A;B;C;D), with A and B of length n+1 and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. The base sequence conjecture, asserting that BS(n+1,n) exist for all n, is stronger than the famous Hadamard matrix conjecture. We introduce a new definition of equivalence for base sequences BS(n+1,n) and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of BS(n+1,n) for n <= 30. Due to excessive size of the equivalence classes, the tables in the paper cover only the cases n <= 13.

研究の動機と目的

• 基底系列 $BS(n+1,n)$ の分類における長年の空白を埋めること。これらはハダールド行列や直交設計を構成するために不可欠である。
• 標準変換に新たな基本的操作を追加することで、$BS(n+1,n)$ 系列のより洗練された同値関係を導入すること。
• 各同値類に対して一意な代表元を選べる標準形を定義し、体系的な列挙を可能にすること。
• $n \leq 13$ に対して同値類の数を計算・表形式でまとめ、正規および準正規サブクラスを含めること。
• 同じ非周期的自己相関関数を持つ二進系列の関係を調査し、ノルムの等しさが同値性を意味すると仮定する考えを疑問視すること。

提案手法

• 標準的な基本的変換の集合に新たな変換を追加することで、$BS(n+1,n)$ のための新しい同値関係を導入し、洗練された同値類構造を形成する。
• 構成系列の四分割分解から得られる記号列の辞書式順序を用いて、基底系列の標準形を定義する。
• すべての $BS(n+1,n)$ の集合に作用する位数 $2^{12}$ の抽象群 $G_{\rm BS}$ を構成し、その軌道が正確に新しい同値類に対応することを示す。
• 各系列対 $(A;B)$ および $(C;D)$ を効率的な計算と保存が可能なコンパクトな記号列に変換する四分割と符号化方式を実装する。
• 標準形を用いた計算的列挙により、$n \leq 13$ に対して同値類の代表元を列挙し、$n \leq 8$ については詳細な自己相関データを提供する。
• 同じ非周期的自己相関関数を持つ二進系列が成立する条件を分析し、ノルムの等しさが標準的操作下で同値を意味しないことを示す反例のクラスを構成する。

実験結果

リサーチクエスチョン

• RQ1 新しい同値関係の下で $BS(n+1,n)$ 系列の同値類の構造はどのようなものであり、従来の分類とはどのように異なるか？
• RQ2 $n \leq 13$ に対して $BS(n+1,n)$ の同値類はいくつ存在するか。また、$n$ と共にその数はどのように増加するか？
• RQ3 各同値類に一意な代表元を持つような標準形を定義できるか。また、その標準形は四分割分解からどのように構成されるか？
• RQ4 同じ非周期的自己相関関数を持つ二進系列の関係は何か。このような系列は体系的に生成可能か？
• RQ5 $BS(n+1,n)$ の系列が正規または準正規であるための条件は何か。また、そのようなクラスは標準形においてどのように特定できるか？

主な発見

• 同値類の数は $n$ と共に急速に増加し、$n=13$ では475に達するが、$n \leq 30$ の範囲で非単調な挙動が観察された。
• $n \leq 13$ の範囲で、著者らはすべての同値類の代表元を計算・表形式でまとめ、$n \leq 8$ については詳細な自己相関データを提供した。
• 標準形により、同値類が正規であればその代表元が正規系列の集合 $NS(n)$ に属することを保証し、このようなクラスの効率的同定を可能にした。
• 本稿では、二つの二進系列が同じ非周期的自己相関関数を持つが、否定や反転操作の下では同値ではない反例を構成した。
• 多項式とその双対を組み合わせることで、同じノルムを持つ複数の二進系列を一般に構成する方法を提供し、ノルムの等しさが同値を意味するとは限らないことを示した。
• $BS(n+1,n)$ に作用する位数 $2^{12}$ の群 $G_{\rm BS}$ は、その軌道が正確に新しい同値類に対応しており、分類の群論的基盤を提供した。