[論文レビュー] About Notations in Multiway Array Processing

Jérémy E. Cohen|arXiv (Cornell University)|Nov 4, 2015

Tensor decomposition and applications参考文献 22被引用数 11

ひとこと要約

本稿は、多方向アレイ処理における一貫性のある表記体系を提案し、基底に依存しないテンソル積（⊗）と基底に依存するクロネッカー積（⊞）を区別し、並べ替えの曖昧さを解消するようにベクトル化と行列化を再定義することで、テンソル代数におけるアレイ正規分布の性質を明確にし、表現を簡略化することを目的としている。

ABSTRACT

This paper gives an overview of notations used in multiway array processing. We redefine the vectorization and matricization operators to comply with some properties of the Kronecker product. The tensor product and Kronecker product are also represented with two different symbols, and it is shown how these notations lead to clearer expressions for multiway array operations. Finally, the paper recalls the useful yet widely unknown properties of the array normal law with suggested notations.

研究の動機と目的

• 多方向アレイ処理、量子物理学、代数幾何学のコミュニティ間でテンソル表記に合意が得られていない問題に対処する。
• テンソル積（⊗）、クロネッカー積（⊞）、外積の間の混乱を解消するため、異なる記号を用いる。
• テンソル積の性質に一致するように、ベクトル化と行列化の演算子を再定義することで、並べ替えに起因する誤りを排除する。
• 多次元線形演算とテンソル分解を表現するためのより明確で一貫性のあるフレームワークを提供する。
• 提案された表記に基づくアレイ正規分布の実用性を、統計的テンソル解析の文脈で示す。

提案手法

• ベクトル空間間の基底に依存しない演算としてテンソル積（⊗）を定義し、任意の次数のテンソルに一般化する。
• 固定された基底のもとでテンソル積の行列レベルでの実現としてクロネッカー積（⊞）を導入する。
• vec(a ⊗ b) = a ⊞ b となるように、ベクトル化と行列化を再定式化し、通常の vec(a ⊗ b) = b ⊞ a の並べ替えを回避する。
• 異なる記号を用いる：一般のテンソル積には ⊗、クロネッカー積には ⊞ を使用し、外積にあたっては曖昧な ∘ の記号を避ける。
• 新しい表記を用いて、テンソル演算のより洗練された表現を導出し、アレイ正規分布を形式化する。
• 線形作用素がテンソル空間をなすことを証明し、⊗p写像により ⊗_i U_i が作用素空間としてのテンソル空間として正当化されることを示す。

実験結果

リサーチクエスチョン

• RQ1 異なるコミュニティ間での一貫性の欠如するテンソル表記をどのように是正し、多方向アレイ処理における明確さと一貫性を高めることができるか？
• RQ2 ベクトル化と行列化における並べ替えの影響がテンソル代数の式に与える影響は何か？ そして、どのようにしてこれを排除できるか？
• RQ3 数学的および計算的役割において、テンソル積（⊗）とクロネッカー積（⊞）はどのように異なり、なぜ明確に区別すべきか？
• RQ4 一貫性のあるテンソル表記フレームワークを用いることで、アレイ正規分布をより効果的に表現・適用できるか？
• RQ5 提案された表記が、テンソル分解や多次元線形モデルの導出および解釈をどの程度簡略化するか？

主な発見

• 提案された表記体系により、vec(a ⊗ b) = a ⊞ b とすることで、ベクトル化と行列化における並べ替え誤りが排除され、従来の vec(a ⊗ b) = b ⊞ a を回避できる。
• 基底に依存しないテンソル積（⊗）と基底に依存するクロネッカー積（⊞）の区別により、より明確で一貫性のあるテンソル表現が可能になる。
• ホフが定義したアレイ正規分布は、新しい表記のもとでより透明になり、ノイズを含むテンソル分解の文脈においても適用が容易になる。
• 線形作用素のテンソル空間表現が自然かつ一貫的に可能となり、⊗p写像により ⊗_i U_i がテンソル空間として正当化される。
• 新しい表記は、量子物理学および代数幾何学分野の既存の慣習と両立可能であり、異分野間のコミュニケーションを促進する。
• 本稿では、テンソル積空間上の線形作用素の空間が、自身がテンソル空間をなすことを形式的に証明しており、表記 ⊗_i U_i の正当性が裏付けられる。