[论文解读] Complex Hadamard Matrices and Strongly Regular Graphs

Ada Chan|arXiv (Cornell University)|Feb 28, 2011

graph theory and CDMA systems参考文献 13被引用 6

一句话总结

该论文将 Goethals 和 Seidel 关于强正则图邻接代数中实 Hadamard 矩阵的经典结果推广到复 Hadamard 矩阵，识别出三类新参数族，表明此类矩阵存在。此外，证明仅有三个完全图的距离正则覆盖能产生复 Hadamard 矩阵，且这些矩阵并非源自 Difla 的构造，原因在于其 Nomura 代数维数较低（dim=2）。

ABSTRACT

Over forty years ago, Goethals and Seidel showed that if the adjacency algebra of a strongly regular graph $X$ contains a Hadamard matrix then $X$ is either of Latin square type or of negative Latin square type. We extend their result to complex Hadamard matrices and find only three additional families of parameters for which the strongly regular graphs have complex Hadamard matrices in their adjacency algebras. Moreover we show that there are only three distance regular covers of the complete graph that give complex Hadamard matrices.

研究动机与目标

• 将 Goethals 和 Seidel 关于强正则图邻接代数中实 Hadamard 矩阵的结果推广至复数情形。
• 分类所有强正则图的参数，其邻接代数中包含复 Hadamard 矩阵。
• 确定哪些完全图的距离正则覆盖能产生复 Hadamard 矩阵。
• 研究所构造的复 Hadamard 矩阵是否源自 Difla 的广义张量积构造。
• 分析所发现的复 Hadamard 矩阵相关的 Nomura 代数结构。

提出的方法

• 论文使用类型 II 矩阵，其定义基于涉及矩阵元素求和的特定正交性条件。
• 将复 Hadamard 矩阵表征为所有元素位于单位圆上的类型 II 矩阵，满足 $ W\overline{W}^T = nI $。
• 应用强正则图的邻接代数框架，将候选矩阵表示为 $ W = I + xA(X) + yA(\overline{X}) $。
• 通过基于图参数和特征值的方程组求解，推导出此类矩阵为类型 II 的充要条件。
• 计算内积 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 以分析 Nomura 代数 $ \mathcal{N}_W $ 的结构。
• 利用引理 4.4 推出当所有 $ \gamma \neq \alpha, \beta $ 时内积非零，则 $ \dim \mathcal{N}_W = 2 $，从而表明其非 Difla 来源。

实验结果

研究问题

• RQ1 除已知的拉丁方和负拉丁方类型外，哪些强正则图的参数可在其邻接代数中容纳复 Hadamard 矩阵？
• RQ2 有多少个完全图的距离正则覆盖能产生复 Hadamard 矩阵？其结构特性如何？
• RQ3 新构造的复 Hadamard 矩阵是否源自 Difla 的广义张量积构造？
• RQ4 与这些复 Hadamard 矩阵相关的 Nomura 代数 $ \mathcal{N}_W $ 的维数是多少？
• RQ5 能否利用内积 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 的非零实部证明 $ \mathcal{N}_W = \mathrm{span}\{I, J\} $？

主要发现

• 该论文识别出三类新参数族，使得强正则图的邻接代数中存在复 Hadamard 矩阵，从而扩展了 Goethals 和 Seidel 的结果。
• 仅有三个完全图的距离正则覆盖能产生复 Hadamard 矩阵，且这些情况已完全分类。
• 对于所构造的复 Hadamard 矩阵，Nomura 代数 $ \mathcal{N}_W $ 的维数为 2，表明其并非源自 Difla 的广义张量积构造。
• 在 Petersen 图的线图中，复 Hadamard 矩阵被确认存在，且不属于 Difla 类型。
• 所有 $ \gamma \neq \alpha, \beta $ 的内积 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 的实部均非零，这强制推出 $ \mathcal{N}_W = \mathrm{span}\{I, J\} $。
• 对于参数 $ (4\theta^2-1, 2\theta^2, \theta^2, \theta^2) $ 和 $ (4\theta^2+4\theta+2, 2\theta^2+\theta, \theta^2-1, \theta^2) $ 构造的矩阵，已证明其为复 Hadamard 矩阵，且 $ \dim \mathcal{N}_W = 2 $。