[論文レビュー] SICs: Extending the list of solutions

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

Quantum Mechanics and Non-Hermitian Physics被引用数 36

ひとこと要約

この論文は、数値的に特徴付けられた基底ベクトルを用いて、すべての次元 d ≤ 121 において既知の Weyl-Heisenberg 共変対称情報的に完全な正の自己随伴作用素値測定（SIC-POVM）のリストを拡張し、さらに高次元 d = 124, 143, 147, 168, 172, 195, 199, 228, 259, および 323 においても新たな解を発見した。Zauner行列の固有空間および高次対称性行列を用いた対称性制限付き探索により、d ≤ 90 までにそのような SIC がおそらく完全にリストアップされており、d > 50 の高精度解（150桁）も利用可能である。

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$.

研究の動機と目的

• これまでの d ≤ 50 にとどまらず、Weyl-Heisenberg 共変 SIC-POVM の数値的発見をさらに拡張すること。
• 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 の対称性および構造のさらなる研究を可能にすること。

提案手法

• SIC 基底ベクトルの数値的探索を、Welch 界不等式の左辺（式 54）を最小化することで行い、SIC が複素射影空間 CP^{d-1} 上の実数値関数のグローバル最小値として特徴付けられることを利用した。
• 局所最適化に L-BFGS アルゴリズムの C++ 実装を用い、Hurwitz パarametrization を用いてハール測度に従って一様に抽出されたランダム初期ベクトルを出発点とした。
• Zauner行列 F_z および高次対称性行列 F_a, F_b, F_c, F_d, F_e の固有空間に探索空間を制限することで、既知の対称性を活用し、計算コストを低減した。
• 反ユニタリ対称性の場合は、式 56 のコーン固有値プロジェクタを用いて初期ベクトルを不変部分空間に射影し、対称性制約付きの部分多様体内での効率的探索を可能にした。
• すべての EC(d) 変換の下での基底ベクトルのブルートフォース比較により、拡張クラッカー群の軌道に基づいて解を分類し、軌道のサイズと対称性構造から安定化部分群を同定した。
• GMP/MPFR 多倍長精度算術を用いて解を 150 桁の精度に高精度化し、特定のユニタリまたは反ユニタリ演算子による不変性のチェックにより対称性性質を検証した。

実験結果

リサーチクエスチョン

• RQ1 すべての次元 d ≤ 121 において Weyl-Heisenberg 共変 SIC-POVM が存在し、高精度で数値的に構成可能か？
• RQ2 Zauner行列の固有空間および高次対称性行列に制限を加えることで、SIC 基底ベクトルの探索がより効率的に行えるか？
• 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）を持つ解が存在するか？ また、対称性制約付き探索によってそれらを体系的に発見できるか？

主な発見

• Zauner行列 F_z および高次対称性行列 F_a の固有空間に解を探索することで、すべての次元 d ≤ 90 において Weyl-Heisenberg 共変 SIC のおそらく完全なリストが提供された。
• すべての次元 d ≤ 121 において SIC 基底ベクトルが正常に計算された。同じコードベースをスパコンで用いて d = 151 まで探索を拡張した結果、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 の幾何構造および数論的性質のさらなる研究が可能となった。