[論文レビュー] Multilinear analysis of quaternion arrays: theory and computation

Julien Flamant, Xavier Luciani+2 more|arXiv (Cornell University)|Dec 6, 2024

Tensor decomposition and applications被引用数 1

ひとこと要約

本稿では、クォータニオン乗算の非可換性に対処するため、クォータニオンテンソルをHR-マルチリニア形式として定義することにより、クォータニオンテンソルのきめ細かなマルチリニア理論を提唱する。クォータニオン配列におけるタッカー分解およびコアノニカル・パーソナル・デコンポジション（Q-CPD）を確立し、左/右ランクおよびクリスカルランクを用いた一意性条件を証明した。さらに、2つの効率的なアルゴリズム—クォータニオンドメインと複素数ドメインのALS—を提案し、数値実験で高い精度と計算効率を示した。

ABSTRACT

Multidimensional quaternion arrays (often referred to as "quaternion tensors") and their decompositions have recently gained increasing attention in various fields such as color and polarimetric imaging or video processing. Despite this growing interest, the theoretical development of quaternion tensors remains limited. This paper introduces a novel multilinear framework for quaternion arrays, which extends the classical tensor analysis to multidimensional quaternion data in a rigorous manner. Specifically, we propose a new definition of quaternion tensors as $\mathbb{H}\mathbb{R}$-multilinear forms, addressing the challenges posed by the non-commutativity of quaternion multiplication. Within this framework, we establish the Tucker decomposition for quaternion tensors and develop a quaternion Canonical Polyadic Decomposition (Q-CPD). We thoroughly investigate the properties of the Q-CPD, including trivial ambiguities, complex equivalent models, and sufficient conditions for uniqueness. Additionally, we present two algorithms for computing the Q-CPD and demonstrate their effectiveness through numerical experiments. Our results provide a solid theoretical foundation for further research on quaternion tensor decompositions and offer new computational tools for practitioners working with quaternion multiway data.

研究の動機と目的

• クォータニオン代数の非可換性に起因する、多次元クォータニオン配列（クォータニオンテンソル）の数学的・厳密な基礎を確立すること。
• 座標に依存しないHR-マルチリニア形式の定義を用いて、クォータニオン乗算の非可換性に起因する、テンソル分解における課題を解決すること。
• 古典的なテンソル分解—特にタッカーおよびCPD—をクォータニオン領域に理論的に拡張すること。
• クォータニオンCPD（Q-CPD）の自明な不定性および同等の複素数モデルを特定すること。
• 左および右線形独立性およびクリスカル型ランクに基づいた、Q-CPDの十分な一意性条件を導出すること。

提案手法

• クォータニオン代数の非可換性を尊重しつつ、マルチリニア性を保つために、クォータニオンテンソルをHR-マルチリニア形式として定義する。
• nモード積および基底変換を用いてクォータニオンタッカー形式を導入し、実数／複素数テンソル形式の一般化を実現する。
• ランク1成分への分解を用いて、クォータニオンテンソルのコアノニカル・パーソナル・デコンポジション（Q-CPD）を構築する。
• Q-CPDと特定の複素数値ランク-(2,2,1)分解との等価性を確立し、複素数解析のツールの移行を可能にする。
• 左/右ランクおよび左/右クリスカルランクを定義し、Q-CPDの一意性を特徴付ける。古典的クリスカルの条件をクォータニオンに拡張する。
• 2つの逐次最小二乗法（ALS）アルゴリズムを提案：1つはクォータニオンドメインで直接動作するもの、もう1つは複素数ドメインで動作するもので、両者とも効率性を最適化している。

実験結果

リサーチクエスチョン

• RQ1 クォータニオン乗算の非可換性があるにもかかわらず、一貫性のあるマルチリニアフレームワークをクォータニオンテンソルに定義する方法は何か？
• RQ2 非可換代数を伴うクォータニオンCPD（Q-CPD）の一意性に必要な十分な条件は何か？
• RQ3 Q-CPDは複素数値テンソル分解とどのように関係しており、複素数ドメインで同等にモデル化可能か？
• RQ4 Q-CPDのための直接的クォータニオンドメインアルゴリズムと複素数ドメインアルゴリズムの間の計算的トレードオフは何か？
• RQ5 提案されたQ-CPDフレームワークは、色画像や偏光画像などの実世界の多次元データに、保証された一意性を伴って効果的に適用可能か？

主な発見

• 提案されたHR-マルチリニア形式の定義は、座標に依存しない厳密な基礎を提供し、先行研究における基礎的曖昧さを解消した。
• Q-CPDは特定の複素数値ランク-(2,2,1)テンソル分解と数学的に同等であり、複素数解析のツールの利用を可能にした。
• 左および右クリスカルランクを用いた、Q-CPDの十分な一意性条件が確立された。これは、クォータニオンに一般化された古典的クリスカルの条件を示している。
• 2つの提案されたALSベースのアルゴリズムは、高い精度を達成し、数値実験でC-ALSが0.0027秒、Q-ALSが0.0027秒の計算時間を示し、同等の効率性を示した。
• 数値実験により、さまざまな信号対雑音比（SNR）において、一貫した収束性と低誤差率を確認した。
• このフレームワークは、色画像処理、偏光計測、動画処理などの応用分野における、信頼性の高い多次元クォータニオンデータの分解を可能にし、理論的かつ計算的基盤を提供した。