[论文解读] Strongly symmetric spectral convex bodies are Jordan algebra state spaces

Howard Barnum, Joachim Hilgert|arXiv (Cornell University)|Apr 7, 2019

Quantum Computing Algorithms and Architecture参考文献 49被引用 10

一句话总结

本文证明，满足谱性与强对称性的有限维凸紧集，恰好是有限维单欧氏Jordan代数与单纯形的归一化状态空间。该结果表明，先前在特征化中所假设的高阶干涉缺失，当谱性与强对称性存在时已不再必要，从而提供了量子类系统的一种纯凸几何特征化，并将可行的一般概率理论的类别缩小至Jordan代数结构。

ABSTRACT

We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex decomposition into perfectly distinguishable pure states; strong symmetry is transitivity, for each integer N, of the affine automorphism group of the state space on lists of N perfectly distinguishable pure states. Additional assumptions combine with this theorem to give simple characterizations of finite-dimensional complex quantum state space. Important aspects of quantum and classical thermodynamics and of query complexity have been generalized to classes of general probabilistic theories (GPTs) satisfying natural postulates including or implying spectrality and strong symmetry; our result shows that these apply to a narrower class of theories than might have been hoped. Sorkin's notion of irreducibly k-th order interference has been studied in the GPT framework and looked for in experiments. Our result shows that the assumption of no higher-order (k > 2) interference, used along with spectrality and strong symmetry to characterize the same class of Jordan-algebraic convex sets by Barnum, Mueller, and Ududec in arXiv:1403.4147, was superfluous. It also implies that Lee and Selby's extension, on the assumption that interference has fixed maximal degree k, of the important order square root of N lower bound on the quantum black-box query complexity of searching N possibilities for one having a desired property (which is achieved by Grover's quantum algorithm), to a class of theories satisfying certain postulates allowing the formulation of a generalized notion of query algorithm, actually applies in the Jordan-algebraic setting where higher-order interference is not possible.

研究动机与目标

• 表征在有限维下满足谱性与强对称性的凸紧集。
• 证明仅凭这些性质，无需假设高阶干涉缺失，即可完全表征有限维单欧氏Jordan代数与单纯形的状态空间。
• 通过证明高阶干涉在谱性与强对称性下为冗余，阐明其在一般概率理论中的作用。
• 为一般概率理论框架下理解量子与经典系统提供凸几何基础。

提出的方法

• 作者分析凸集上的对称群作用，重点关注完美可区分纯态列表上的传递作用。
• 他们利用对称空间的极坐标表示及李代数分解 g = k ⊕ p，研究自同构群在状态空间上的作用。
• 他们在欧氏Jordan代数背景下，特别是An−1系列中，识别基本权与Weyl群轨道。
• 他们证明，迹为零的投影（例如 e₁₁ − I/n）的Weyl群轨道的凸包在迹为零的矩阵中生成一个单纯形，该单纯形在仿射同构下对应于状态空间。
• 他们建立归一化状态空间与单位迹矩阵中 e₁₁ 的 K-轨道的凸包之间存在仿射同构，通过平移 I/n 实现。
• 他们利用Madden-Robertson构造，将基本权与轨道体联系起来，并验证Coxeter图中第一与最后一个节点的轨道体生成仿射同构的单纯形。

实验结果

研究问题

• RQ1 哪些有限维凸紧集同时满足谱性与强对称性？
• RQ2 当已假设谱性与强对称性时，是否仍需假设无高阶干涉以表征Jordan代数状态空间？
• RQ3 能否仅通过凸几何性质（如谱性与强对称性）完全表征有限维单欧氏Jordan代数的状态空间？
• RQ4 轨道体与Weyl群作用的几何结构如何与一般概率理论的物理性质相关联？
• RQ5 迹为零与单位迹矩阵子空间在从对称空间结构构造归一化状态空间中的作用是什么？

主要发现

• 满足谱性与强对称性的有限维凸紧集，恰好是有限维单欧氏Jordan代数与单纯形的归一化状态空间。
• 高阶干涉的缺失并非独立公设，因其可由谱性与强对称性推出。
• 单欧氏Jordan代数的状态空间仿射同构于单位迹矩阵中一个秩一投影的 K-轨道的凸包。
• Weyl群在迹为零的对角矩阵（如 e₁₁ − I/n）上的作用生成一个单纯形，其凸包在仿射同构下对应于状态空间。
• 在 An−1 情形中，基本权 λ₁ 与 λₙ₋₁ 对应的轨道体仿射同构于单纯形，证实了构造的对偶性与对称性。
• 由 λ₁ 的Weyl轨道生成的单纯形的极体本身仍为单纯形，与 An−1 的Coxeter图自对偶性一致。