[论文解读] The Propus Construction for Symmetric Hadamard Matrices

Jennifer Seberry, Н. А. Балонин|arXiv (Cornell University)|Dec 6, 2015

graph theory and CDMA systems参考文献 32被引用 5

一句话总结

本文提出了Propus构造法——一种基于特定4×4块矩阵结构（基于±1矩阵）生成对称Hadamard矩阵的新方法。该方法利用循环对称矩阵、Williamson型矩阵以及D-最优设计，成功构建了57个此前未解决的、形式为4n且n < 200且为奇数的对称Propus-Hadamard矩阵，尤其通过Paley和Turyn构造填补了11和83等阶数的空白。

ABSTRACT

extit{Propus} (which means twins) is a construction method for orthogonal $\pm 1$ matrices based on a variation of the Williamson array called the extit{propus array} \[ \begin{matrix*}[r] A&amp; B &amp; B &amp; D B&amp; D &amp; -A &amp;-B B&amp; -A &amp; -D &amp; B D&amp; -B &amp; B &amp;-A. \end{matrix*} \] This construction designed to find symmetric Hadamard matrices was originally based on circulant symmetric $\pm 1$ matrices, called extit{propus matrices}. We also give another construction based on symmetric Williamson-type matrices. We give constructions to find symmetric propus-Hadamard matrices for 57 orders $4n$, $n &lt; 200$ odd. We give variations of the above array to allow for more general matrices than symmetric Williamson propus matrices. One such is the extit{ Generalized Propus Array (GP)}.

研究动机与目标

• 开发一种系统化的对称Hadamard矩阵构造方法，利用一种称为Propus阵列的新型阵列结构。
• 解决4n阶对称Hadamard矩阵在n < 200且为奇数时的未解问题。
• 通过广义Propus阵列（GP）将构造方法推广至非循环和非对称矩阵。
• 探索Propus构造与其他组合设计（如会议矩阵和D-最优设计）之间的联系。
• 通过可视化展示矩阵结构，揭示其美学特征并辅助理解构造过程。

提出的方法

• Propus构造法使用一个4×4块矩阵阵列，其元素为A、B、B、D，其中A、B、D为满足特定加法性质的±1矩阵：AAᵀ + 2BBᵀ + DDᵀ = 4nI。
• 该方法依赖于四个满足加法性质的循环对称±1矩阵（即Propus矩阵），以生成对称Hadamard矩阵。
• 其扩展形式包括使用成对友好矩阵的Propus型矩阵，以及使用可交换矩阵的广义Propus矩阵。
• 构造过程利用已知定理，如Paley定理和Turyn定理，从满足q ≡ 1或3 mod 4的素数幂q生成基矩阵。
• 通过广义Propus阵列（GP）实现非循环和非对称矩阵的构造，同时保持对称Hadamard矩阵的性质。
• 利用MATLAB可视化展示所生成矩阵的结构模式与美学特性。

实验结果

研究问题

• RQ1 Propus构造法能否用于生成所有满足n < 200且为奇数的4n阶对称Hadamard矩阵？
• RQ2 在q ≡ 1或3 mod 4的素数幂下，哪些条件可使Paley和Turyn定理用于构造对称Propus-Hadamard矩阵？
• RQ3 如何将Propus阵列推广以包含非循环和非对称矩阵，同时保持对称Hadamard矩阵的性质？
• RQ4 D-最优设计与会议矩阵在构造偶数阶对称Propus-Hadamard矩阵中起到何种作用？
• RQ5 所构造矩阵的视觉模式是否可为设计理论甚至刺绣艺术提供启发？

主要发现

• Propus构造法成功生成了57个此前未解决的、形式为4n且n < 200且为奇数的对称Hadamard矩阵。
• 对于满足q ≡ 1 mod 4的素数幂，存在阶数为2(q+1)的对称Propus-Hadamard矩阵，解决了如阶数11（q=8）和83（q=89）等情形。
• 利用Turyn定理，当t ≡ 3 mod 4且存在来自两个循环对称矩阵的D-最优设计时，可构造阶数为4t的对称Propus-Hadamard矩阵。
• 广义Propus阵列（GP）允许从非循环和非对称矩阵构造对称Hadamard矩阵，显著扩展了该方法的适用范围。
• 对阶数16和32等矩阵的可视化揭示了美观的图案，有助于理解其结构对称性。
• 对于4n阶对称Propus-Hadamard矩阵且n < 200为奇数的未解问题，目前仅剩47个特定值，包括17、23、29、...、197。