[论文解读] 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.

研究动机与目标

• 开发一种基于{0,1}指示数组的相互正交频率平方（MOFS）类型F(mλ;λ)的新型代数表示法。
• 通过线性代数方法，对组合设计理论中已知的经典上界提供初等证明。
• 推导出达到理论最大值的MOFS集合的结构约束。
• 在m为偶数且λ为奇数时，建立MOFS的极大性准则，推广并简化了此前针对m=2情形的研究。
• 将非完整但极大的MOFS集合的分析从特殊情形m=2推广至更一般情况，特别是λ为奇数的情形。

提出的方法

• 将类型为F(mλ;λ)的每个F-平方表示为{0,1}指示数组的线性组合，其中每个数组表示特定符号在某一格子中的存在性。
• 定义指示函数I[X]以编码符号位置，从而实现对MOFS结构的代数操作。
• 利用该表示法，将MOFS之间的正交性条件表达为{0,1}数组系数向量的双线性约束。
• 应用模运算和奇偶性分析（模8），推导出在非恒定全关系下，MOFS集合大小t的约束条件。
• 利用系数向量的结构，推导出t模8的同余条件，进而得出极大性准则。
• 将所得同余式简化为模4，得到在全关系下极大集合的必要条件t ≡ m−1 (mod 4)。

实验结果

研究问题

• RQ1 当λ > 1为奇数且m为偶数时，MOFS类型F(mλ;λ)的集合最大大小是多少？
• RQ2 在m为偶数且λ为奇数时，MOFS类型F(mλ;λ)的集合在何时是极大（不可再扩展）但不完整？
• RQ3 能否通过新表示法更初等化地推导出完整MOFS集合的结构约束？
• RQ4 如何将极大MOFS集合的分析从m=2情形推广至更一般情况，特别是λ为奇数的情形？
• 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。
• 该表示法使得模8和模4同余条件的推导更加简洁，揭示了MOFS配置中更深层的代数结构。
• 本工作在统一且更清晰的框架下，重新推导并恢复了Britz等人[3]的定理4、5和6。