[论文解读] Orthogonal maximal abelian *-subalgebras of the 6x6 matrices

Kyle A. Beauchamp, Remus Nicoară|ArXiv.org|Sep 3, 2006

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

一句话总结

本文构建了一个新的单参数非等价、非仿射复 Hadamard 矩阵族，阶数为 6，该族可生成 $M_6(\mathbb{C})$ 中正交的极大阿贝尔 *-子代数（MASAs）。主要贡献在于构造了一个以 $\theta$ 为参数的非仿射族，这是阶数 6 的首个此类族，解决了关于 Björck-Fröberg 矩阵是否孤立的问题，表明其位于此族内部；同时，本文还提出了阶数 9、10 和 11 的新孤立 Hadamard 矩阵。

ABSTRACT

We construct new pairs of orthogonal maximal abelian $*$-subalgebras of $M_6(\mathbb C)$, by classifying all self-adjoint complex Hadamard matrices of order 6. In particular, we exhibit a non-affine one-parameter family of non-equivalent Hadamard matrices of order 6. In the last part of the paper we present other previously unknown examples of complex Hadamard matrices of higher orders.

研究动机与目标

• 对阶数为 6 的所有自伴复 Hadamard 矩阵按等价性进行分类。
• 构造一个新的非等价复 Hadamard 矩阵族，阶数为 6，且为非仿射。
• 解决 Björck-Fröberg 循环 6 次单位根矩阵 $C_6^{(0)}$ 在所有阶数为 6 的 Hadamard 矩阵中是否孤立的问题。
• 使用数值和对称性搜索方法，为阶数 9、10 和 11 构造新的复 Hadamard 矩阵示例。
• 在子因子理论背景下，研究 Hadamard 矩阵的生成条件、缺陷与孤立性之间的关系。

提出的方法

• 通过求解由幺正性和自伴性约束导出的方程组，对阶数为 6 的自伴复 Hadamard 矩阵进行分类。
• 使用三角函数和代数表达式构造一个单参数族 $H(\theta)$，其中元素涉及 $y = e^{i\theta}$，且 $x, t, z$ 通过根式和有理函数定义。
• 在 Mathematica 中使用数值搜索，寻找编码 Hadamard 条件的函数 $f(H)$ 的局部极小值，同时施加对称性和固定对角线元素的约束。
• 应用 [Ni] 中的生成条件来验证新矩阵的孤立性，确保其不等价于已知族。
• 将对角线元素固定为 1 或 -1，以施加强代数约束，从而简化解空间。
• 将新矩阵与已知族（如 $F_9^{(4)}$、循环矩阵）进行比较，以确认其非等价性和新颖性。

实验结果

研究问题

• RQ1 阶数为 6 的非仿射单参数复 Hadamard 矩阵族是否存在？若存在，能否显式构造？
• RQ2 Björck-Fröberg 矩阵 $C_6^{(0)}$ 在所有阶数为 6 的复 Hadamard 矩阵中是否孤立？还是属于某个连续族？
• RQ3 能否使用对称性和数值搜索方法，为阶数 9、10 和 11 构造新的孤立复 Hadamard 矩阵？
• RQ4 Hadamard 矩阵的缺陷与其孤立性之间有何关系？缺陷为零是否意味着孤立？
• RQ5 新矩阵是否满足生成条件？这对它们在子因子理论中的角色有何含义？

主要发现

• 构造了一个新的阶数为 6 的非仿射单参数复 Hadamard 矩阵族，参数为 $\theta \in [-\pi, -\arccos(( -1 + \sqrt{3})/2)] \cup [\arccos(( -1 + \sqrt{3})/2), \pi]$，其元素通过 $y = e^{i\theta}$ 和 $y$ 的有理函数定义。
• 矩阵 $H(\theta)$ 包含一个与 Björck-Fröberg 循环 6 次单位根矩阵 $C_6^{(0)}$ 等价的矩阵，表明 $C_6^{(0)}$ 并非孤立，从而以否定方式回答了该问题。
• 阶数为 9 的矩阵 $H_9$ 在复 Hadamard 矩阵中是孤立的，因为它满足生成条件，且不等价于任何 4 参数族 $F_9^{(4)}$ 中的矩阵。
• 阶数为 9 的矩阵 $BN_9$ 的缺陷为 2，表明其可能属于一个非平凡的非等价 Hadamard 矩阵族。
• 阶数为 10 的矩阵 $BN_{10}$ 满足生成条件，因此是孤立的，其元素属于 $\mathbb{Q}[( -1 + i\sqrt{15})/4]$，且不等价于任何已知的循环或仿射族。
• 构造了两个新的阶数为 11 的孤立矩阵 $N_{11}$ 和 $N'_{11}$，二者均满足生成条件，且元素属于 $\mathbb{Q}(x)$ 的二次扩张，其中 $x = \frac{3}{4} - i\frac{\sqrt{7}}{4}$。