[論文レビュー] A two-parameter family of complex Hadamard matrices of order 6 induced by hypocycloids

Ferenc Szöllősi|ArXiv.org|Nov 24, 2008

graph theory and CDMA systems参考文献 7被引用数 4

ひとこと要約

本稿では、巡回行列とホイポキロイダル対称性に基づくブロック構造を用いた、6次元の複素ヘルミート行列の新しい2パラメータ族を導入する。この手法により、既知の族 $D_6(t)$ や $B_6(\theta)$ を統一・拡張する新たな族が得られ、ザウナーの構成を用いることで、6次元における2パラメータ族の相互に偏光した基底（MUB-三つ組）の存在が証明される。

ABSTRACT

Constructions of Hadamard matrices from smaller blocks is a well-known technique in the theory of real Hadamard matrices: tensoring Hadamard matrices and the classical arrays of Williamson, Ito are all procedures involving smaller order building blocks. We apply a new block-construction for order 6 to obtain a previously unknown 2-dimensional family of complex Hadamard matrices. Our results extend the families D_6(t) and B_6(t) found by various authors recently. As a direct application the existence of a 2-parameter family of MUB-triplets of order 6 is shown.

研究の動機と目的

• 6次元の複素ヘルミート行列の新しい2パラメータ族を、ブロック構造的手法を用いて構成すること。
• 既に知られている複素ヘルミート行列の族、特に $D_6(t)$ および $B_6(\theta)$ を、一つのパラメトリック枠組み内で統一・拡張すること。
• 新しく得られた行列族を用いて、6次元における2パラメータ族の相互に偏光した基底（MUB-三つ組）の存在を示すこと。
• 6次元の複素ヘルミート行列の完全分類に寄与する可能性のある構成的枠組みを提供すること。

提案手法

• $2p \times 2p$ のブロック行列構造を用い、$p \times p$ の巡回行列ブロック $A$, $B$, $B^*$, $-A^*$ を含む。$A$ と $B$ のユニモジュラー条件により直交性が保証される。
• $p=3$ の場合、方程式系 $AA^* + BB^* = 6I_3$, $AB = BA$, および $|a|=|b|=|c|=|d|=|e|=|f|=1$ を解くことで、$6 \times 6$ の複素ヘルミート行列 $H$ を生成する。
• 得られた行列は位相を固定して $X_6(\alpha)$ とし、巡回行列ブロックの位相関係から得られる2パラメータ族に正規化される。
• ホイポキロイダル対称性を活用してエントリをパラメータ化することで、行列がユニタリかつヘルミートのままであることを保証する。
• この族は、既知の行列 $C_6$, $F_6(1,3)$, $F_6^T(1,3)$, $D_6(t)$、および自己随伴行列 $B_6(\theta)$ を特別な場合として含むことが示される。
• 新規行列 $X_6(\alpha)$ にザウナーの構成を適用し、$2$-巡回行列構造を用いて $\mathbb{C}^6$ 内の相互に偏光した基底の三つ組を生成する。

実験結果

リサーチクエスチョン

• RQ1 巡回行列とホイポキロイダル対称性に基づく対称的ブロック構造を用いて、6次元の複素ヘルミート行列の新しい2パラメータ族を構成可能か？
• RQ2 この新族は、既に知られている族 $D_6(t)$ や $B_6(\theta)$ とどのように関係しているか？
• RQ3 この新しい行列族は、6次元における2パラメータ族のMUB-三つ組の存在を支持するか？
• RQ4 この構成は、6次元の複素ヘルミート行列の完全分類に寄与できるか？

主な発見

• 巡回 $3 \times 3$ ブロックを用いた対称的ブロック構造を用いて、6次元の複素ヘルミート行列の新しい2パラメータ族 $X_6(\alpha)$ が構成された。
• $X_6(\alpha)$ 族は、すべての既知の $D_6(t)$ 形式および $B_6(\theta)$ 形式の行列を特別な場合として含み、これらの族を一つのパラメトリック枠組みで統一した。
• $X_6(\alpha)$ が $2$-巡回複素ヘルミート行列であることが示され、ザウナーのMUB構成に必要な条件を満たすことが確認された。
• ザウナーの手法を $X_6(\alpha)$ に適用することで、6次元における2パラメータ族の相互に偏光した基底（MUB-三つ組）が得られた。
• この構成により、6次元の複素ヘルミート行列の全集合が4次元多様体を形成する可能性が示唆され、この新族がその構造に大きく寄与することが判明した。
• 本稿では、新族がフォーリエ族 $F_6(a,b)$ と $\alpha = 0$ のみで交わるとの予想を提示し、このような行列の完全な4パラメータ分類の可能性を示唆している。