[論文レビュー] 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)に2つの異なる行列、CW(21,16)に1つの行列、および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)には正確に2つの同値でない行列が存在する。
• CW(21,16)には1つの固有の行列が存在し、これはいかなるより小さい行列のKronecker積とも同値でない。
• CW(63,16)には別の行列が存在し、これはCW(21,16)の行列のKronecker積によって得られない。
• 乗数存在定理を用いて、指定されたパrameterに対して分類は完全かつ包括的である。
• 結果として、特定された族以外の奇数次数では、このような行列は存在しないことが確認された。