[論文レビュー] Construction, classification and parametrization of complex Hadamard matrices

Ferenc Szöllősi|arXiv (Cornell University)|Oct 25, 2011

graph theory and CDMA systems参考文献 6被引用数 42

ひとこと要約

本稿は、合成数および素数の次数について、複素ヘルミート行列の構成、分類、パラメータ化に焦点を当てた包括的な研究を提示する。特に6次についての四パラメータ族を含む新しいパラメトリック族を導入し、相互に偏りのない基底（MUBs）や等角フレームとの関係を確立。ボツン型行列とグレブナー基底技術を用いて、シグネチャ行列およびSIC-POVMの存在に関する重要な結果を示す。

ABSTRACT

The intended purpose of this work is to provide the reader with a comprehensive, state-of-the art presentation of the theory of complex Hadamard matrices, or at least report on the very recent advances. This manuscript consists of three chapters, each describing one of three distinct faces of this field whose treatment require various mathematical tools ranging from combinatorics, functional analysis to symbolic computation. Although we firmly believe that these beautiful objects are interesting on their own and worth investigating from a purely mathematical perspective we make considerable efforts to highlight some of their applications we aware of.

研究の動機と目的

• 合成数および素数の次数について、複素ヘルミート行列の構成と分類の体系的フレームワークを構築すること。
• 6×6複素ヘルミート行列の分類という長年の未解決問題を、新しいパラメトリック族の同定によって解決すること。
• 量子情報理論における複素ヘルミート行列、相互に偏りのない基底（MUBs）、等角フレームの関係を調査すること。
• ボツン型ヘルミート行列（BH(n,q)）の理論を拡張し、グレブナー基底などの記号計算技術を用いて解をパラメータ化すること。
• 複素ヘルミート行列分野における30以上の未解決問題を提示することで、今後の研究の基盤を提供すること。

提案手法

• 複素ヘルミート行列の直交性条件から生じる多項式系の解をパラメータ化するためにグレブナー基底技術を用いる。
• 巡回p-ルートと代数的数論を用いて、素数次数の巡回複素ヘルミート行列を構成する。
• q乗単位根を成分とするBH(n,q)行列の概念を用い、実ヘルミート行列の一般化とその構造的性質の探求を行う。
• MASA（最大可換自己随伴部分代数）などの作用素代数的手法を用い、複素ヘルミート行列とC^nにおけるMUBsの関係を明らかにする。
• 設計理論およびフレーム理論の結果を活用し、複素ヘルミート行列から得られるシグネチャ行列の構成を用いて、等角フレームを生成する。
• フーリエ行列およびその摂動を出発点として、特にH₂-還元可能性条件と自己随伴性制約を用いて新しい族を構成する。

実験結果

リサーチクエスチョン

• RQ1 6次複素ヘルミート行列の完全なパラメトリック族は何か？ そして、それらは体系的に分類可能か？
• RQ2 BH(n,4)およびBH(n,6)型のボツン型ヘルミート行列は、12次まで完全に分類可能か？ どのような構造的パターンが現れるか？
• RQ3 複素ヘルミート行列は6次元における相互に偏りのない基底（MUBs）の存在とどのように関係しているか？ これによりMUB-6問題が解決可能か？
• RQ4 巡回および二巡回構造は、素数および合成次数の複素ヘルミート行列の構成において果たす役割は何か？
• RQ5 複素ヘルミート行列を用いて、k≥4について(k²,k)型の等角フレームを構成可能か？ そのシグネチャ行列に対応する組合せ的対象は何か？

主な発見

• グレブナー基底技術を用いて、6次複素ヘルミート行列の四パラメータ族を構成し、既知の軌道を超える新しい無限族を提供した。
• 任意の素数pに対して、4^a p^{2b}次非自明なp乗根シグネチャ行列が存在し、これにより等角(4^a p^{2b}, 2^a p^b (2^a p^b + 1)/2)フレームが得られる。
• 補題3.5.7は、36次非自明な立方根シグネチャ行列の存在を確立し、等角(36, 21)フレームを導く。
• スケューヘルミートデザインを仮定することで、複素ヘルミート行列による等角フレームの構成を無限族に拡張した。 これは、すべてのn=4m-1について成り立つと仮定される。
• 64次8次元の等角フレームのホッガービルディングが一般化され、グラム行列がVV^* = (1/8)I + (1/24)Qと表され、Qは4乗単位根のシグネチャ行列である。
• k≥4について、標準的シグネチャ行列法では|μ|≤2の境界に違反するため、(k²,k)型の等角フレームは構成不可能であり、根本的な障害が存在することが示された。