[论文解读] A concise guide to complex Hadamard matrices

Wojciech Tadej, Karol Życzkowski|ArXiv.org|Dec 19, 2005

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

一句话总结

本文为 N = 2 至 16 的非等价复 Hadamard 矩阵提供了全面且最新的目录，系统性地回顾了已知家族，并明确构造了此前未发表的 N = 12、14 和 16 的家族。研究指出，尽管复 Hadamard 矩阵对所有 N 都存在，但完整分类问题在 N = 5 之后仍未解决，关键未解问题集中在 N = 6、11 和 16。

ABSTRACT

Complex Hadamard matrices, consisting of unimodular entries with arbitrary phases, play an important role in the theory of quantum information. We review basic properties of complex Hadamard matrices and present a catalogue of inequivalent cases known for dimension N=2,...,16. In particular, we explicitly write down some families of complex Hadamard matrices for N=12,14 and 16, which we could not find in the existing literature.

研究动机与目标

• 整理并系统化 N = 2 至 16 所有已知非等价复 Hadamard 矩阵。
• 识别并明确呈现文献中此前未记录的新复 Hadamard 矩阵家族，特别是针对 N = 12、14 和 16。
• 阐明当前关于复 Hadamard 矩阵存在性与分类的知识状态，尤其关注其在量子信息与组合数学中的开放问题。
• 提供一份非等价矩阵的参考目录，包含参数化家族与孤立实例，以支持量子信息及相关数学领域的进一步研究。

提出的方法

• 系统回顾复 Hadamard 矩阵的现有文献，包括 Butson 型矩阵及其推广。
• 利用已知参数形式与对称性约化，显式构造 N = 12、14 和 16 的新复 Hadamard 矩阵家族。
• 通过对角矩阵与置换矩阵的作用对矩阵进行等价类分类，采用酉等价与相位归一化方法。
• 以傅里叶矩阵 F_N 作为标准起点，通过微扰与形变生成连续家族。
• 应用群论与代数技术分析具有单位模元素的酉矩阵结构。
• 整理已知家族，如 F^{(k)}_N、C^{(k)}_N、S^{(k)}_N、D^{(k)}_N、P^{(k)}_N 及其转置，必要时提供明确的参数范围。

实验结果

研究问题

• RQ1 除了已知家族外，是否存在其他非等价的 N = 6 复 Hadamard 矩阵？
• RQ2 已知的 N = 6 家族的完整参数范围是什么，以确保该范围内所有矩阵均非等价？
• RQ3 是否存在 N = 11 的连续复 Hadamard 矩阵家族？
• RQ4 所有非等价实 Hadamard 矩阵中，N = 16 或 N = 20 的矩阵是否都属于连续家族，还是部分为孤立实例？
• RQ5 在哪些维度 N 下，存在既非仿射也未包含于更高维仿射家族的复 Hadamard 矩阵连续家族？

主要发现

• 非等价复 Hadamard 矩阵的目录仅对 N = 2、3、4 和 5 完整；对于 N ≥ 6，完整集合仍未知。
• 对于 N = 12，本文明确呈现了多个家族，包括 F^{(9)}_{12A}、F^{(9)}_{12B}、F^{(9)}_{12C}、F^{(9)}_{12D} 及其转置，以及 FD^{(8)}_{12}、FC^{(7)}_{12}、FS^{(7)}_{12}、DD^{(7)}_{12}、DC^{(6)}_{12}、DS^{(6)}_{12}、CC^{(5)}_{12}、CS^{(5)}_{12}、SS^{(5)}_{12}。
• 对于 N = 14，本文识别出新家族，如 F^{(6)}_{14} 及其转置、FP^{(7)}_{14}、FC^{(6)}_{14k}（k ∈ {A,B,C,D}）、PP^{(8)}_{14}、PC^{(7)}_{14k}，以及针对特定索引对的 CC^{(6)}_{14lm}。
• 对于 N = 16，本文包含家族 F^{(17)}_{16} 及其他家族，但完整分类仍未完成。
• N = 6 被确定为完整非等价复 Hadamard 矩阵集合未知的最小维度，同时也是 MUB 问题仍开放的最小维度。
• 本文确认复 Hadamard 矩阵对所有 N 都存在，但分类问题仍未解决，尤其针对非素数幂的合数 N。