[论文解读] SICs: Extending the list of solutions

A.J. Scott|arXiv (Cornell University)|Mar 11, 2017

Quantum Mechanics and Non-Hermitian Physics被引用 36

一句话总结

该论文通过在所有维度 d ≤ 121 内进行数值搜索，发现了 fiducial 向量，并在更高维度 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 和 323 中发现了额外解，从而扩展了已知的 Weyl-Heisenberg 共变对称信息完备正算子测度（SIC-POVMs）列表。通过在 Zauner 矩阵及其高阶对称矩阵的特征子空间中进行对称性受限的搜索，作者提供了迄今为止 d ≤ 90 的此类 SIC 的候选完整列表，且对于 d > 50 的维度提供了高精度解。

ABSTRACT

Zauner's conjecture asserts that $d^2$ equiangular lines exist in all $d$ complex dimensions. In quantum theory, the $d^2$ lines are dubbed a SIC, as they define a favoured standard informationally complete quantum measurement called a SIC-POVM. This note supplements A. J. Scott and M. Grassl [J. Math. Phys. 51 (2010), 042203] by extending the list of published numerical solutions. We provide a putative complete list of Weyl-Heisenberg covariant SICs with the known symmetries in dimensions $d\leq 90$, a single solution with Zauner's symmetry for every $d\leq 121$ and solutions with higher symmetry for $d=124,143,147,168,172,195,199,228,259$ and $323$.

研究动机与目标

• 将已知的 Weyl-Heisenberg 共变 SIC-POVM 数值发现列表扩展至此前已知的 d ≤ 50 之外。
• 通过将搜索限制在 Zauner 的矩阵及其相关对称算子的特征子空间中，为维度 d ≤ 90 提供 SIC 生成向量的候选完整列表。
• 在 d > 50 的维度中发现具有高阶对称性的新 SIC 解，包括 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 和 323。
• 确认 d ≤ 50 时列表的完整性，并在已知对称性约束下评估 d ≤ 90 时列表完整性的可能性。
• 将 d > 50 的高精度 SIC 生成向量（150 位小数）公开发布，以促进对 SIC 对称性与结构的进一步研究。

提出的方法

• 通过最小化 Welch 不等式（公式 54）的左侧表达式，对复射影空间 CP^{d-1} 上的实值函数进行数值搜索，以识别 SIC 作为全局最小值。
• 使用 C++ 实现的 L-BFGS 算法进行局部优化，初始向量从 Haar 测度下均匀随机抽取，通过 Hurwitz 参数化实现。
• 将搜索空间限制在 Zauner 矩阵 F_z 和高阶对称矩阵 F_a, F_b, F_c, F_d, F_e 的特征子空间中，以利用已知对称性并降低计算成本。
• 对于反酉对称性，使用锥特征值投影算子（公式 56）将初始向量投影到不变子空间中，从而在对称性受限的子流形中实现高效搜索。
• 通过暴力比较所有 EC(d) 变换下的生成向量，对解进行基于扩展 Clifford 群轨道的分类，根据轨道大小和对称性结构识别稳定子子群。
• 使用 GMP/MPFR 多精度算术将解精炼至 150 位精度，并通过检查其在特定酉或反酉算子下的不变性来验证对称性属性。

实验结果

研究问题

• RQ1 在所有维度 d ≤ 121 中是否存在 Weyl-Heisenberg 共变 SIC-POVM？能否以高精度进行数值构造？
• RQ2 通过将 SIC 生成向量的搜索限制在 Zauner 矩阵及其高阶对称矩阵的特征子空间中，能否使搜索更加高效？
• RQ3 在 d > 50 的维度中，SIC 生成向量的完整对称结构（稳定子）是什么？它们与已知对称类型（如 F_z, F_a, F_b, F_c, F_d, F_e）有何关联？
• RQ4 当限制在已知主对称性 F_z 和 F_a 时，d ≤ 90 的 Weyl-Heisenberg 共变 SIC 列表是否完整？
• RQ5 在特定维度中是否存在具有高阶对称性（如阶 2、阶 6、阶 9）的解？能否通过对称性约束搜索系统性地发现这些解？

主要发现

• 为所有维度 d ≤ 90 提供了 Weyl-Heisenberg 共变 SIC 的候选完整列表，解位于 Zauner 矩阵 F_z 和高阶对称矩阵 F_a 的特征子空间中。
• 在所有维度 d ≤ 121 中成功计算出 SIC 生成向量，且使用相同的代码库在超级计算机上将搜索扩展至 d = 151，确认了在 d ≤ 151 的每个维度中均存在解。
• 在 10 个新维度中发现了具有高阶对称性的解：d = 124, 143, 147, 168, 172, 195, 199, 228, 259, 和 323，每个解均与不同的对称矩阵 F_b, F_c, F_d, 或 F_e 相关联。
• 在 d = 19, 53, 和 199 中，发现阶 9 的酉算子 F_d 满足 F_d^3 ∼ F_z 或 F_a，表明不同对称类型之间存在非平凡关联。
• 通过轨道分析确定了每个 SIC 生成向量的稳定子结构，其中大多数解由 Zauner 的阶 3 酉算子 F_z 稳定，而 d = 9k+3 维度中发现了具有 F_a 对称性的例外情况。
• 为 d > 50 的维度提供了高精度解（150 位小数），并公开发布于源文件中，为 SIC 几何与数论性质的进一步研究提供了支持。