[论文解读] The Classification of Circulant Weighing Matrices of Weight 16 and Odd Order

Ron M. Adin, Leah Epstein+1 more|ArXiv.org|Oct 29, 1999

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

一句话总结

该论文利用乘子存在性定理，完全分类了权重为16且阶数为奇数的循环正交矩阵。证明此类矩阵仅存在于21或31的奇数倍阶数中，识别出CW(31,16)中存在两组不同的矩阵，CW(21,16)中一组，以及CW(63,16)中另一组无法通过更小矩阵的Kronecker积构造的矩阵。

ABSTRACT

In this paper we completely classify the circulant weighing matrices of weight 16 and odd order. It turns out that the order must be an odd multiple of either 21 or 31. Up to equivalence, there are two distinct matrices in CW(31,16), one matrix in CW(21,16) and another one in CW(63,16) (not obtainable by Kronecker product from CW(21,16)). The classification uses a multiplier existence theorem.

研究动机与目标

• 完全分类权重为16且阶数为奇数的循环正交矩阵。
• 确定此类矩阵存在的确切阶数。
• 识别该类中所有非等价的矩阵。
• 确定更高阶矩阵是否由更小矩阵的Kronecker积构造而来。
• 应用乘子存在性定理以限制并分类可能的解。

提出的方法

• 以乘子存在性定理作为核心理论工具，限制可能的阶数。
• 分析权重为16且阶数为奇数的循环正交矩阵的结构。
• 应用组合与代数技术，验证存在性与唯一性条件。
• 采用等价类分析以区分非同构的矩阵。
• 研究Kronecker积的可分解性，以确定矩阵的结构独立性。
• 基于乘子定理导出的阶数约束，进行详尽的分类。

实验结果

研究问题

• RQ1 在哪些奇数阶数下，存在权重为16的循环正交矩阵？
• RQ2 在权重为16且阶数为奇数的条件下，存在多少组非等价的循环正交矩阵？
• RQ3 其中哪些矩阵可通过更小矩阵的Kronecker积构造？
• RQ4 在此背景下，乘子存在性定理带来了哪些结构约束？
• RQ5 能否使用给定的理论框架，对所有此类矩阵按等价性进行完整分类？

主要发现

• 权重为16且阶数为奇数的循环正交矩阵仅在阶数为21或31的奇数倍时存在。
• 在集合CW(31,16)中恰好存在两组非等价的矩阵。
• 在CW(21,16)中存在唯一一组矩阵，且其不等价于任何更小矩阵的Kronecker积。
• 在CW(63,16)中存在一组不同的矩阵，且其无法通过CW(21,16)中的矩阵的Kronecker积获得。
• 利用乘子存在性定理，对指定参数的分类是完整且详尽的。
• 结果证实，除已识别的家族外，其他奇数阶数下均不存在此类矩阵。