[論文レビュー] 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

ひとこと要約

この論文は、有限次元の凸コンパクト集合がスペクトル性および強い対称性を満たすための必要十分条件が、有限次元単純ユークリッドジョルダン代数および単体の正規化された状態空間であることを確立している。この結果により、高次干渉の不在という仮定が、スペクトル性と強い対称性が成立する場合には不要であることが示され、量子的類似系の純粋な凸幾何的特徴付けが得られ、一般確率理論の妥当なクラスがジョルダン代数的構造に限定されることになる。

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.

研究の動機と目的

• 有限次元においてスペクトル性および強い対称性を満たす凸コンパクト集合を特徴付けること。
• 高次干渉の不在を別個の公理とせず、スペクトル性と強い対称性のみで、有限次元単純ユークリッドジョルダン代数および単体の状態空間が完全に特徴付けられることを示すこと。
• スペクトル性と強い対称性の下で高次干渉の役割を明確にし、それが不要であることを示すことにより、一般確率理論における高次干渉の役割を解明すること。
• 一般確率理論の枠組みにおいて、量子系と古典系を理解するための純粋な凸幾何的基盤を提供すること。

提案手法

• 著者らは、完全に区別可能な純粋状態のリストへの推移的作用に注目し、凸集合上の対称性群作用を分析する。
• 対称空間の極座標表現と Lie 代数分解 g = k ⊕ p を用いて、自己同型群の状態空間への作用を研究する。
• 特に An−1 系列において、基本ウェイトとワイル群の軌道をユークリッドジョルダン代数の文脈で同定する。
• トレースがゼロの射影のワイル群軌道の凸包は、トレースがゼロの行列空間内で単体を生成し、アフィン同型写像によって状態空間に対応することを示す。
• 正規化された状態空間が、単位トレース行列空間における e₁₁ の K-軌道の凸包とアフィン同型であることを確立する。この同型は、I/n による平行移動によって得られる。
• マーデン＝ロバートソン構成を用いて、基本ウェイトを軌道体（orbitopes）に結びつけ、コックスター図の最初および最後のノードの軌道体が同型な単体を生成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元の凸コンパクト集合で、スペクトル性および強い対称性を満たすものは何か？
• RQ2 スペクトル性と強い対称性が既に仮定されている場合、ジョルダン代数的状態空間を特徴付けるために、高次干渉の不在という仮定は必要か？
• RQ3 有限次元単純ユークリッドジョルダン代数の状態空間は、スペクトル性と強い対称性という凸幾何的性質のみで完全に特徴付けられるか？
• RQ4 軌道体とワイル群作用の幾何的構造は、一般確率理論の物理的性質とどのように関係するか？
• RQ5 トレースがゼロの部分空間と単位トレースの部分空間は、対称空間構造から正規化された状態空間を構成する際に果たす役割は何か？

主な発見

• スペクトル性および強い対称性を満たす有限次元凸コンパクト集合は、ちょうど有限次元単純ユークリッドジョルダン代数および単体の正規化された状態空間である。
• 高次干渉の不在は、独立した公理として必要ではなく、スペクトル性と強い対称性から従う。
• 単純ユークリッドジョルダン代数の状態空間は、単位トレース行列空間におけるランク1射影 e₁₁ の K-軌道の凸包とアフィン同型である。
• トレースがゼロの対角行列空間におけるワイル群作用（例：e₁₁ − I/n）は、アフィン同型写像によって状態空間に対応する単体を生成する。
• An−1 場合における基本ウェイト λ₁ および λₙ₋₁ は、アフィン同型な単体を生成する軌道体に対応し、構成の双対性と対称性を確認する。
• λ₁ のワイル群軌道によって生成される単体の極体（polar body）は再び単体であり、An−1 のコックスター図の自己双対性と整合的である。