[论文解读] Graphs of unitary matrices

Simone Severini|ArXiv.org|Mar 7, 2003

Graph theory and applications参考文献 18被引用 4

一句话总结

本文研究与酉矩阵相关的有向图的结构性质，重点关注凯莱有向图与一般有向图。证明了每个有限单群都存在一个两元素生成集，使得对应的凯莱有向图是酉矩阵的支撑，且确立了酉有向图存在完美匹配与最优斯珀纳容量，支持了关于连通酉有向图哈密顿性的一个猜想。

ABSTRACT

The support of a matrix M is the (0,1)-matrix with ij-th entry equal to 1 if the ij-th entry of M is non-zero, and equal to 0, otherwise. The digraph whose adjacency matrix is the support of M is said to be the digraph of M. This paper observes some structural properties of digraphs of unitary matrices.

研究动机与目标

• 表征作为酉矩阵支撑出现的有向图的结构性质。
• 研究有限单群的凯莱有向图是否可实现为酉矩阵的有向图。
• 确定酉有向图中完美匹配与最优斯珀纳容量的必要条件。
• 探讨连通酉有向图中哈密顿圈的存在性，基于组合约束提出一个猜想。

提出的方法

• 将矩阵的有向图定义为从原矩阵非零模式导出的(0,1)-邻接矩阵。
• 使用群论构造方法，证明对任意有限单群G，存在一个两元素生成集S，使得凯莱有向图X(G;S)是酉矩阵的支撑。
• 应用有限群上的表示理论与傅里叶分析，将凯莱有向图的邻接矩阵与正则表示及酉结构联系起来。
• 利用科尼格-霍尔匹配定理与酉矩阵的性质，证明二分酉有向图中完美匹配的存在性。
• 使用熵与斯珀纳容量理论，计算酉有向图中边族的最大零错误容量，表明在均匀测度下其值等于2/n。
• 分析组合约束（如四边形性与2-点连通性），以评估酉有向图可能具有哈密顿圈的条件。

实验结果

研究问题

• RQ1 每个有限单群是否都能由两个元素生成，使得其凯莱有向图是酉矩阵的支撑？
• RQ2 酉有向图对完美匹配的存在性（尤其是二分情形）施加了哪些结构性约束？
• RQ3 酉图D的边族的斯珀纳容量是多少，它与信息论度量有何关联？
• RQ4 在何种条件下，连通酉有向图可保证包含一个哈密顿圈？
• RQ5 是否存在禁止子图（如爪形图或特定4个顶点的子图），会阻止酉有向图成为哈密顿图？

主要发现

• 每个有限单群都存在一个两元素生成集S，使得凯莱有向图X(G;S)是酉矩阵的支撑。
• 每个二分酉有向图至少存在一个完美匹配，这是科尼格-霍尔定理与酉结构的推论。
• 酉图D的边族的斯珀纳容量恰好为2/n，在其顶点上均匀概率分布下达到。
• 对于小的n值（2至6），四边形性与完美2-匹配的结合意味着连通酉有向图中存在哈密顿圈。
• 存在一个反例表明，爪形图（K_{1,3}）的存在并不会阻止酉有向图成为哈密顿图。
• n维超立方体与德布鲁因有向图被证明是酉矩阵的有向图，支持其作为互连网络架构的相关性。