[論文レビュー] Galois Automorphisms of a Symmetric Measurement

D. M. Appleby, Hulya Yadsan-Appleby+1 more|arXiv (Cornell University)|Sep 9, 2012

Advanced Algebra and Geometry被引用数 6

ひとこと要約

本稿は、Weyl-Heisenberg共変SIC（WH SIC）のガロア対称性を調査し、そのfiducialベクトルが一般化ユニタリ作用素（'g-unitaries'）の固有ベクトルであることが明らかになった。また、そのガロア群は可解であることが示され、根号を用いた正確な解の表現と整合的である。著者らは、ガロア群構造に関する9つの予想を提示し、既知の結果を強化し、SIC存在問題に対する新たな代数的洞察を提供する。

ABSTRACT

Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICS) have been constructed in every dimension up to 67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 3 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a g-unitary, and show that every WH SIC fiducial is an eigenvector of a family of g-unitaries (apart from dimension 3).

研究の動機と目的

• Weyl-Heisenberg共変SIC（WH SIC）のガロア群構造を分析すること。WH SICは、現在知られているSICの主要なクラスである。
• WH SICにおけるガロア群と拡張クラッカー群の関係を調査すること。
• Gröbナーベース削減から得られる高次一変数多項式にもかかわらず、既知の正確なWH SIC fiducialベクトルがなぜ根号で表現可能であるかを説明すること。
• 反ユニタリ対称性の概念を一般化し、'g-unitaries'を導入し、WH SICのfiducialがそのような作用素の固有ベクトルであることを示すこと。
• SIC存在問題の証明に向けた道筋を示唆する、ガロア群構造に関する9つの予想を提示すること。

提案手法

• 著者らは、WH SIC fiducial射影子の行列要素によって生成される数体のガロア群を分析し、特に可解性と群構造に注目する。
• 代数的数論を用いて、体拡大とガロア群を研究し、特に実二次体部分体とアーベル拡大の役割に注目する。
• 反ユニタリ対称性を一般化した'g-unitaries'——一般化されたユニタリ作用素——の概念を導入し、WH SICのfiducialがこれらの作用素の固有ベクトルであることを示す。
• 既知の正確なfiducial解（次元67まで）を検討し、そのガロア群を分析。ScottとGrasslの先行研究に基づく。
• ガロア群と拡張クラッカー群、およびfiducial状態の対称性群との関係を示す構造的定理を導出する。
• 特に、解が正確かつ根号で表現可能な次元におけるガロア群構造の観察パターンに基づき、9つの予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 Gröbナーベース削減から得られる高次一変数多項式にもかかわらず、すべての既知の正確なWH SIC fiducialベクトルがなぜ根号で表現可能であるのか。
• RQ2 WH SIC fiducial射影子の行列要素によって生成される数体のガロア群の正確な構造は何か。
• RQ3 ガロア群は拡張クラッカー群およびfiducial状態の対称性群とどのように関係しているか。
• RQ4 正確なSIC解で用いられる体生成子は、通常は高次代数的数ではなく単純な根号（平方根や立方根）であるが、その意義は何か。
• RQ5 反ユニタリ対称性の概念を'g-unitaries'に一般化し、すべてのWH SIC fiducialがそのような作用素の族の固有ベクトルであるかどうか。

主な発見

• すべての既知の正確な例（次元3を除く）において、WH SIC fiducial射影子の行列要素によって生成される数体のガロア群は可解であり、根号による表現と整合的である。
• すべての既知の正確なWH SIC fiducialベクトルは、反ユニタリ対称性を一般化したg-unitary作用素の族の固有ベクトルである。
• ガロア群構造は強く制約されており、体生成子は通常平方根または立方根のみを含み、係数は10^4未満である。これは、Gröbナーベース多項式の係数が最大10^200に達するのとは対照的である。
• 次元2および3では、ガロア群は小さくアーベル的であり、体拡大は単純（例：Q(√3), Q(i√3)）であり、特殊な軌道では群構造が完全に特徴付けられている。
• 著者らは、既知の定理を著しく強化する9つの予想を提示し、WH SICのガロア群に深い代数的構造が存在することを示唆している。特に、正規系列の存在や特定の商群構造が想定されている。
• 全体拡大 Ẽ のガロア群が実二次体部分体のガロア群の拡大であることが示され、g-unitariesの作用を通じて Ẽ の構造が拡張クラッカー群と結びついている。