[論文レビュー] Embedding cocyclic D-optimal designs in cocyclic Hadamard matrices

Víctor Álvarez, José-Andrés Armario+2 more|arXiv (Cornell University)|Jan 20, 2012

graph theory and CDMA systems参考文献 13被引用数 3

ひとこと要約

本稿では、代数的コサイクル作用を用いて、$4t$ 階のコサイクルハダマード行列に、最大行列式をもつ部分行列（D最適設計）を埋め込む手法を提示する。主な結果として、$t=5$ の場合、任意の $D_{20}$-ハダマード行列内に、CP（完全ピボット）形式で $10\times10$ のD最適設計を埋め込むことができ、特定のピボットパターンが得られ、ガウス消去法における完全ピボット選択の各段階で、最大の可能な小行列式が達成されることを確認した。

ABSTRACT

In this paper a method for embedding cocyclic submatrices with ``large'' determinants of orders 2t in certain cocyclic Hadamard matrices of orders 4t is described (t an odd integer). If these determinants attain the largest possible value, we are embedding D-optimal designs. Applications to the pivot values that appear when Gaussian Elimination with complete pivoting is performed on these cocyclic Hadamard matrices are studied.

研究の動機と目的

• コサイクルハダマード行列の $4t$ 階に、大きな行列式をもつコサイクル部分行列を埋め込むための手法を開発すること。
• このような埋め込まれた部分行列が、最大行列式を達成する、すなわちD最適設計となる条件を特定すること。
• これらの行列に対して完全ピボット選択を伴うガウス消去法を実行した際のピボット値を分析すること。
• コサイクルハダマード行列の構造と、消去法の各段階で最大小行列式を達成できる可能性との間の関連を確立すること。

提案手法

• コサイクル行列に対して、行および列の削除と加算という組合せ的操作を用い、大きな行列式をもつ部分行列を埋め込む。
• これらの操作をコサイクルを用いた代数的枠組みに翻訳することで、コサイクル構造内での部分行列の体系的構成が可能になる。
• 埋め込まれた $2t \times 2t$ 部分行列の行列式が、$(-1,1)$-行列に対する理論的上限と一致することを確認する。
• 最初の $k-1$ 行と列を固定した $k\times k$ 小行列のうち、その部分行列の $k\times k$ 小行列が最大であることを確認することで、埋め込みの妥当性を検証する。
• 既知の $(-1,1)$-行列の行列式スペクトルに関する結果を用いて、中間の小行列式を束縛し、最大性を確認する。
• この手法を $t=5$ に適用し、$10\times10$ のD最適設計を $20\times20$ のコサイクルハダマード行列に埋め込み、CP性を検証した。

実験結果

リサーチクエスチョン

• RQ1 代数的コサイクル作用を用いて、$2t \times 2t$ のD最適設計を $4t$ 階のコサイクルハダマード行列に埋め込むことは可能か？
• RQ2 与えられたハダマード行列に同値なCP行列の左上隅に、最大行列式をもつ部分行列が現れる条件は何か？
• RQ3 D最適設計を含む行列に対して完全ピボット選択を伴うガウス消去法を実行した際、どのようなピボットパターンが現れるか？
• RQ4 最大行列式をもつ部分行列の存在が、あるCP同値行列の主小行列として現れることを保証するのに十分か？
• RQ5 部分行列の行列式を用いて、完全ピボット選択を伴うガウス消去法におけるピボット構造を推定できるか？

主な発見

• $t=5$ の場合、行列式 $125 \cdot 2^9 = 64000$ をもつ $10\times10$ のD最適設計を $20\times20$ のコサイクルハダマード行列に埋め込むことができる。
• 埋め込まれた $D_{10}$ 行列は、すべての $k \leq 10$ について最大の $k\times k$ 小行列式を達成しており、CP行列としての妥当性が確認された。
• 最初の10個のピボットに対応するピボットパターン $(1,2,2,4,3,10/3,16/5,5,24/5,6)$ が、$D_{20}$-ハダマード行列の3つの同値類すべてで確認された。
• 本研究では、最大行列式をもつ部分行列の存在が、少なくとも $D_{10}$ の場合に限り、CP同値行列の左上隅に持ち込めることを確認した。
• 特定のコサイクル行列 $M_{\partial_2}, M_{\partial_4}, \dots, M_{\gamma}$ の合成を用いて、$D_{10}$ 設計を $D_{20}$-ハダマード行列に成功裏に埋め込んだ。
• 得られた $20\times20$ 行列 $M_\psi$ の行列式は $\det(M_\psi) = 125 \cdot 2^9$ を満たしており、部分行列の最適性が裏付けられた。