[论文解读] Threeparameter complex Hadamard matrices of order 6

Bengt R. Karlsson|arXiv (Cornell University)|Mar 22, 2010

graph theory and CDMA systems被引用 4

一句话总结

本文提出了一类六阶复 Hadamard 矩阵的三参数族，通过统一作为子族的已知一参数和两参数族，显著扩展了已有结果。该构造基于 $H_2$-可约性与幺正性约束，通过 Möbius 变换与幺正矩阵完整刻画了 $H_2$-可约矩阵，对高维构造具有重要意义。

ABSTRACT

A three-parameter family of complex Hadamard matrices of order 6 is presented. It significantly extends the set of closed form complex Hadamard matrices of this order, and in particular contains all previously described one- and two-parameter families as subfamilies.

研究动机与目标

• 提供六阶 $H_2$-可约复 Hadamard 矩阵的完整参数化。
• 将先前已知的一参数与两参数族统一为单一同族中的子族。
• 将六阶复 Hadamard 矩阵的分类扩展至现有不完整结果之外。
• 实现更高维构造中更大族的构建，例如在十二维空间中实现 11 参数族。
• 分析 Möbius 变换中退化极限的行为，而不破坏行/列置换下的等价性。

提出的方法

• 本文采用 $H_2$-可约矩阵的标准去相位形式，其中所有 $2\times2$ 子矩阵均为 Hadamard 矩阵。
• 应用幺正性约束，推导矩阵块之间的关系，得到涉及矩阵 $A$ 与 $B$ 的表达式，其由自伴且幺正的 $2\times2$ 矩阵 $\Lambda$ 定义。
• 通过单位圆上的复变量 $z_1, z_2, z_3, z_4$ 参数化参数，使用 Möbius 变换 $\mathcal{M}_A$ 与 $\mathcal{M}_B$。
• 构造利用恒等式 $A = F_2(-\frac{1}{2}e + i\frac{\sqrt{3}}{2}\Lambda)$，$B = F_2(-\frac{1}{2}e - i\frac{\sqrt{3}}{2}\Lambda)$，确保幺正性与模为 1。
• 通过分析极限情形处理 Möbius 映射中的退化，表明不同极限路径下所得矩阵在行与列置换下等价。
• 该方法即使在变换退化时仍能构造出完整的三参数族，且保持等价性。

实验结果

研究问题

• RQ1 能否构造出一个完整的六阶 $H_2$-可约复 Hadamard 矩阵三参数族，使其包含所有已知的一参数与两参数族作为子族？
• RQ2 Möbius 变换中的退化如何影响所得 Hadamard 矩阵？极限情形在矩阵等价性下是否等价？
• RQ3 当 $\theta \to 0$ 时，该三参数族的行为如何？
• RQ4 该三参数族是否能导出更高维空间中的更大族，例如十二维空间中的 11 参数族？
• RQ5 当 $\theta \to 0$ 时，极限行为是否能恢复已知族如 $F_6^{(2)}$ 或 $(F_6^{(2)})^T$？

主要发现

• 本文构造出一个完整的六阶 $H_2$-可约复 Hadamard 矩阵三参数族，涵盖所有先前已知的一参数与两参数族作为子族。
• 该族通过单位圆上复参数 $z_1, z_2, z_3, z_4$ 的 Möbius 变换参数化，矩阵结构由幺正且自伴的 $2\times2$ 矩阵决定。
• Möbius 映射中的退化不会破坏构造，不同极限路径下所得矩阵在行与列置换下等价。
• 在极限 $\theta \to 0$ 时，当以 $z_1$ 为独立参数，该族恢复了傅里叶族 $F_6^{(2)}$；当以 $z_3$ 为参数时，恢复了 $(F_6^{(2)})^T$ 的一个子族。
• 该三参数族可实现十二维空间中 11 参数复 Hadamard 矩阵族的构造，为迄今所知最大者。
• 该族包含所有已知的六阶 $H_2$-可约矩阵，且 $S_6^{(0)}$ 中不存在 $H_2$-可约性，确认其不包含在该族中。