[論文レビュー] On the Mesh Array for Matrix Multiplication

Subhash Kak|arXiv (Cornell University)|Oct 26, 2010

Cellular Automata and Applications参考文献 12被引用数 10

ひとこと要約

この論文は、n×n行列乗算を2n−1ステップで完了するメッシュアレイアーキテクチャを導入している。これは標準のシスチールアレイの3n−2ステップよりも顕著に高速である。メッシュアレイの出力構造に内在する対称性を明らかにし、対称行列およびユニタリ行列に対する最適化計算を可能にした。また、4×4行列では周期7、5×5行列では周期20のスキャンブル変換としての有用性を示した。

ABSTRACT

This article presents new properties of the mesh array for matrix multiplication. In contrast to the standard array that requires 3n-2 steps to complete its computation, the mesh array requires only 2n-1 steps. Symmetries of the mesh array computed values are presented which enhance the efficiency of the array for specific applications. In multiplying symmetric matrices, the results are obtained in 3n/2+1 steps. The mesh array is examined for its application as a scrambling system.

研究の動機と目的

• メッシュアレイの行列乗算における出力構造に内在する新しい構造的対称性を分析・解明すること。
• メッシュアレイが持つ内在的対称性を活用して、対称行列およびユニタリ行列の計算効率を向上させること。
• 暗号化およびプライバシー応用におけるスキャンブル変換としてのメッシュアレイの可能性を調査すること。
• 異なる行列サイズにおけるスキャンブル変換のサイクル順序を特定すること。

提案手法

• メッシュアレイは、2次元の処理ノードグリッドを用いて、時間ステップごとに部分的累積を実行することで、行列乗算 C = AB を計算する。
• 入力行列を配置する際、ゼロパディングを不要にすることで、計算時間を3n−2から2n−1ステップに短縮した。
• 出力行列の対称性（例：鏡像的行パターン、対角に基づく値の伝播）を同定し、最適化に活用した。
• スキャンブル変換 S は、単位行列との乗算後に要素を再配置することで定義され、非標準的な出力順序を生成する。
• サイクル分解を用いて、要素の置換を繰り返し追跡することで、スキャンブル変換の周期を解析した。
• n×nから(n+1)×(n+1)アレイへの拡張が、行および対角パターンの観察された対称性を用いて予測可能であることを示した。

実験結果

リサーチクエスチョン

• RQ1 メッシュアレイの行列乗算における出力行列にどのような対称性が存在するか？
• RQ2 これらの対称性は、対称行列またはユニタリ行列の計算時間短縮にどのように活用できるか？
• RQ3 メッシュアレイをスキャンブル変換として用いた場合、要素の周期は何か？
• RQ4 一般行列および特殊行列タイプにおいて、メッシュアレイの計算時間は標準のシスチールアレイと比べてどのように異なるか？
• RQ5 メッシュアレイの構造は、再帰的対称性パターンを用いてより大きな行列に拡張可能か？

主な発見

• メッシュアレイは、n×n行列乗算を2n−1ステップで計算し、標準のシスチールアレイの3n−2ステップよりも高速化を達成した。
• 対称行列の場合、メッシュアレイは3n/2 + 1ステップで結果を計算し、内在的対称性を活用して計算量を削減した。
• 4×4の場合、スキャンブル変換 S の周期は7であり、7回の反復で元の行列順序が回復する。
• 5×5の場合、サイクル分解による要素の置換解析から、スキャンブル変換の周期は20であると判明した。
• メッシュアレイの出力は行単位の鏡像対称性を示す：n が奇数のとき、行2から(n+1)/2までは、行(n+3)/2からnまでの鏡像である。n が偶数のとき、中央の行は自己対称性を示す。
• n×nアレイから(n+1)×(n+1)アレイの構造は、既存の対称性を用いて対角線および反対角線に沿った新しい値を特定することで導出可能である。