[論文レビュー] A new representation of mutually orthogonal frequency squares

Jonathan Jedwab, Tabriz Popatia|arXiv (Cornell University)|Mar 9, 2020

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

ひとこと要約

本稿は、相互に直交する周波数平方（MOFS）の新規な線形代数的表現を導入し、{0,1}インジケータ配列の組み合わせとして表現することで、MOFSのサイズに対する古典的上限の初等的証明を可能にするとともに、完全な集合における構造的制約を明らかにする。m が偶数で λ が奇数のとき、MOFSの最大性基準を確立し、先行研究を拡張し、m=2の場合を越えて分析を簡略化する。

ABSTRACT

Mutually orthogonal frequency squares (MOFS) of type $F(mλ;λ)$ generalize the structure of mutually orthogonal Latin squares: rather than each of $m$ symbols appearing exactly once in each row and in each column of each square, the repetition number is $λ\ge 1$. A classical upper bound for the number of such MOFS is $\frac{(mλ-1)^2}{m-1}$. We introduce a new representation of MOFS of type $F(mλ;λ)$, as a linear combination of $\{0,1\}$ arrays. We use this representation to give an elementary proof of the classical upper bound, together with a structural constraint on a set of MOFS achieving the upper bound. We then use this representation to establish a maximality criterion for a set of MOFS of type $F(mλ;λ)$ when $m$ is even and $λ$ is odd, which simplifies and extends a previous analysis [T. Britz, N.J. Cavenagh, A. Mammoliti, I.M. Wanless, Mutually orthogonal binary frequency squares, Electron. J. Combin., 27(#P3.7), 2020, 26 pages] of the case when $m=2$ and $λ$ is odd.

研究の動機と目的

• 相互に直交する周波数平方（MOFS）の型 F(mλ;λ) の新しい代数的表現を、{0,1}インジケータ配列を用いて開発すること。
• 従来の組合せデザイン理論を用いて確立された、MOFS数に対する古典的上限の初等的証明を提供すること。
• 理論的上限に達するMOFS集合に必要な構造的制約を導出すること。
• m が偶数で λ が奇数のとき、MOFSの最大性基準を確立し、m=2の場合の先行研究を一般化・簡略化すること。
• 特に奇数λの場合に、m=2の特殊ケースを超えて、非完全で最大のMOFS集合の分析を拡張すること。

提案手法

• 各F平方を、特定の記号がセルに存在するかどうかを示す{0,1}インジケータ配列の線形結合として表現する。
• 記号位置を符号化するためのインジケータ関数 I[X] を定義し、MOFS構造の代数的取り扱いを可能にする。
• 直交性条件を、{0,1}配列の係数ベクトルに関する双線形制約として表現する。
• 非定数の完全関係下でのMOFS集合のサイズ t に対する制約を導出するために、モジュラー算術および偶奇性の議論（mod 8）を適用する。
• 係数ベクトルの構造を活用し、t に対する mod 8 の合同条件を導出し、最大性基準に至る。
• 得られた合同条件を mod 4 に簡略化し、完全関係下での最大集合に対して必要条件 t ≡ m−1 (mod 4) を得る。

実験結果

リサーチクエスチョン

• RQ1 λ > 1 が奇数で m が偶数のとき、型 F(mλ;λ) のMOFS集合の最大サイズは何か？
• RQ2 型 F(mλ;λ) のMOFS集合が最大（拡張不能）だが完全でないのはいつか、特に偶数mと奇数λの場合に？
• RQ3 新しい表現を用いることで、完全なMOFS集合の構造的制約をより初等的に導出可能か？
• RQ4 m=2の場合を越えて、最大MOFS集合の分析を一般化できるか、特に奇数λの場合に？
• RQ5 MOFS集合における{0,1}配列の係数ベクトルが満たすべき代数的条件は何か、最大性を保証するためには？

主な発見

• 本稿は、新しい{0,1}配列表現を用いて、型 F(mλ;λ) のMOFS数に対する古典的上限 (mλ−1)²/(m−1) の初等的証明を提供する。
• 型 F(mλ;λ) の完全なMOFS集合は、線形結合表現から導かれる特定の構造的制約を満たす必要がある。
• m が偶数で λ が奇数のとき、非定数の完全関係下では、MOFS集合が最大であるための必要十分条件は、そのサイズ t が t ≡ m−1 (mod 4) を満たすことである。
• 得られた最大性基準は、Britz らが m=2 の場合に行った分析を一般化・簡略化し、m > 2 のすべての偶数 m に拡張する。
• この表現により、mod 8 および mod 4 における合同条件の導出がスムーズに行え、MOFS配置におけるより深い代数的構造が明らかになる。
• 本研究は、Britz ら[3]の定理4, 5, 6を統一的かつより明確な枠組みで再発見・再導出する。