[论文解读] 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)$ 分类长期存在的空白问题，这类序列在构造 Hadamard 矩阵与正交设计中至关重要。
• 通过在标准变换基础上扩展一种新型初等操作，引入 $BS(n+1,n)$ 序列的改进等价关系概念。
• 设计一种规范形式，使每个等价类具有唯一代表元，从而实现系统化枚举。
• 计算并列出 $n \leq 13$ 时的等价类数量，包括正规与准正规子类。
• 研究具有相同非周期自相关函数的二元序列之间的关系，挑战了‘范数相等即等价’的假设。

提出的方法

• 通过在标准初等变换集合中引入一种新型变换，为 $BS(n+1,n)$ 定义新的等价关系，形成更精细的等价类结构。
• 利用从构成序列的四元分解中导出的符号序列的字典序，定义基序列的规范形式。
• 构建一个阶为 $2^{12}$ 的抽象群 $G_{\rm BS}$，其作用于所有 $BS(n+1,n)$ 集合，且其轨道恰好对应于新的等价类。
• 实现一种四元分解与编码方案，将每对序列 $(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$ 增大，$BS(n+1,n)$ 的等价类数量迅速增长，在 $n=13$ 时达到 475 个，且在 $n \leq 30$ 范围内表现出非单调行为。
• 对于 $n \leq 13$，作者计算并列出了所有等价类的代表元，对 $n \leq 8$ 提供了详细的自相关数据。
• 规范形式确保：若一个等价类为正规类，则其代表元必属于正规序列集合 $NS(n)$，从而可高效识别此类类。
• 本文构造出反例，表明两个二元序列可具有完全相同的非周期自相关函数，却在否定或反转操作下不等价。
• 提供了一种通用构造方法，通过组合多项式及其对偶，生成多个具有相同范数的二元序列，证明范数相等并不蕴含等价性。
• 阶为 $2^{12}$ 的群 $G_{\rm BS}$ 作用于 $BS(n+1,n)$，其轨道恰好对应于新的等价类，为分类提供了群论基础。