[論文レビュー] Some generalizations of the DDVV-type inequalities

Jianquan Ge, FaGui Li+1 more|arXiv (Cornell University)|Jul 19, 2018

Matrix Theory and Algorithms被引用数 2

ひとこと要約

本稿は、実数・複素数行列に限らないDDVV型不等式を、任意の実数・複素数・クォータニオン行列へ一般化し、クォータニオン代数やクライフォード系によって定義される部分空間へと拡張する。また、ボッター＝ヴェンツェル不等式をクォータニオン行列へ一般化し、微分幾何学および線形代数への応用を含む、新たな行列ノルム不等式を提示する。

ABSTRACT

In this paper we generalize the known DDVV-type inequalities for real (skew-)symmetric and complex (skew-)Hermitian matrices into arbitrary real, complex and quaternionic matrices. Inspired by the Erdős-Mordell inequality, we establish the DDVV-type inequalities for matrices in the subspaces spanned by a Clifford system or a Clifford algebra. We also generalize the Bottcher-Wenzel inequality to quaternionic matrices.

研究の動機と目的

• 対称行列やエルミート行列に限らない既知のDDVV型不等式を、任意の実数・複素数・クォータニオン行列へ拡張すること。
• クライフォード系またはクライフォード代数によって張られる部分空間におけるDDVV型不等式を確立すること。
• ボッター＝ヴェンツェル不等式をクォータニオン行列の文脈へ一般化すること。
• クライフォード系などの代数的構造を用いて、行列ノルム不等式を統一的かつ拡張的に扱うこと。

提案手法

• クライフォード系やクライフォード代数の代数的構造を用いて、行列不等式を解析する部分空間を定義する。
• 行列理論および線形代数の技法を適用し、これらの部分空間に属する行列のノルム不等式を導出する。
• 新しいDDVV型不等式を構築するための幾何的インスピレーションとして、エルドシュ＝モーデル不等式を適応する。
• スペクトル的およびトレースに基づく手法を用いて、行列ノルムと交換子の関係を分析する。
• クォータニオン行列の代数的性質を活用して、ボッター＝ヴェンツェル不等式の枠組みを拡張する。
• クライフォード部分空間内の成分への行列の分解を用いて、交換子ノルムの最良の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 DDVV型不等式は、対称行列やエルミート行列に限らない任意の実数・複素数・クォータニオン行列へ、どのように拡張可能か？
• RQ2 クライフォード系によって生成される部分空間における、交換子の二乗特異値の和の最良の境界は何か？
• RQ3 ボッター＝ヴェンツェル不等式は、クォータニオン上の行列へ一般化可能か？
• RQ4 クライフォード代数は、行列ノルム不等式の統一と拡張において、どのように機能するか？
• RQ5 エルドシュ＝モーデル不等式のような幾何的不等式は、非標準的な行列設定における新たな行列不等式をどのようにインスピレーションするか？

主な発見

• 本稿は、クライフォード系によって張られる部分空間における、任意の実数・複素数・クォータニオン行列に対するDDVV型不等式を確立した。
• これらの部分空間において、交換子の二乗特異値の和の最良の境界が導出され、既知の結果が一般化された。
• ボッター＝ヴェンツェル不等式は、クォータニオン行列の状況へ成功裏に拡張され、鋭い定数が保たれた。
• 不等式は、クライフォード系構造に関連する特定の代数的条件下で等号をとる。
• この枠組みは、対称行列・反対称行列・エルミート行列・反エルミート行列に関する以前の結果を統一的かつ拡張的に扱う。
• 結果は、クライフォード系の代数的性質が、自然に最良の行列ノルム不等式を導くことを示している。