[論文レビュー] A generalisation of Mirsky's singular value inequalities

Koenraad M. R. Audenaert|arXiv (Cornell University)|Oct 18, 2014

Mathematical Inequalities and Applications参考文献 7被引用数 6

ひとこと要約

この論文は、$ f(0) = 0 $ を満たす正の凹関数 $ f $ を導入することで、ミルスキーの特異値不等式を一般化する。任意の $ n \times n $ 複素行列 $ X $ および $ Y $ に対して、差の特異値に $ f $ を適用したものの和が、$ \sum_{k=1}^m |f(\sigma_{i_k}(X)) - f(\sigma_{i_k}(Y))| \leq \sum_{k=1}^m f(\sigma_k(X - Y)) $ を満たすことを証明する。主な貢献は、トンプソン＝フリーデ不等式とフック関数による関数近似を用いた、新規で素朴な証明である。

ABSTRACT

We prove an f-version of Mirsky's singular value inequalities for differences of matrices. This f-version consists in applying a positive concave function f, with f(0)=0, to every singular value in the original Mirsky inequalities.

研究の動機と目的

• 正の凹関数 $ f $ を満たし $ f(0) = 0 $ である特異値に適用することにより、ミルスキーの特異値不等式を一般化すること。
• W. ミアオによる $ f $-バージョンのミルスキー型特異値不等式に関する予想を解決すること。
• 従来の関数計算手法に依存しない、特異値の $ f $-バージョンのトンプソン＝フリーデ不等式に対する新しい、素朴な証明を提供すること。
• 任意の増加する添え字列に対して成り立つ、$ f(\sigma_i(X)) $、$ f(\sigma_i(Y)) $、および $ f(\sigma_k(X - Y)) $ を含む特異値不等式を確立すること。

提案手法

• 正の凹関数 $ f $ を満たし $ f(0) = 0 $ である任意の関数を、$ h_t(x) = \min(x, t) $ の正の線形結合として近似することにより、特異値の $ f $-バージョンのトンプソン＝フリーデ不等式を証明する。
• スケーリングおよび連続性の議論を用いて、特定のフック関数 $ f(x) = \min(x, 1) $ に対する不等式の検証に帰着させる。
• 行列 $ X $、$ Y $、および $ X - Y $ から構成されるウィラント行列の固有値に、元のトンプソン＝フリーデ不等式を適用し、それらのスペクトル的対称性を活用する。
• 添え字集合 $ I_{AL} $、$ I_{CL} $、$ I_{AR} $、$ I_{CR} $ への属性に基づき、4つの互いに素な集合 $ K_1, K_2, K_3, K_4 $ にインデックスを分割し、各成分の不等式を導出し、合算する。
• $ K_1, K_2, K_3, K_4 $ における不等式を統合して、完全な $ f $-バージョンのトンプソン＝フリーデ不等式を再構成する。
• 特異値 $ X $、$ Y $、$ X - Y $ が元のトンプソン＝フリーデ不等式を満たすという恒等式を用い、関数近似によって $ f $-バージョンに拡張する。

実験結果

リサーチクエスチョン

• RQ1 ミルスキーの特異値不等式は、$ f(0) = 0 $ を満たす任意の正の凹関数 $ f $ を特異値に適用することで一般化可能か？
• RQ2 W. ミアオによる $ f $-バージョンのミルスキー型特異値不等式に関する予想は、すべての such 関数 $ f $ に対して成り立つか？
• RQ3 高度な関数計算を用いずに、特異値の $ f $-バージョンのトンプソン＝フリーデ不等式に対する素朴な証明は存在するか？
• RQ4 インデックス分割と関数近似のみを用いて、$ f $-バージョンのトンプソン＝フリーデ不等式を元の不等式から導出可能か？
• RQ5 特異値不等式の $ f $-バージョンを証明するために必要な最小限の行列解析的ツールは何か？

主な発見

• ミルスキーの特異値不等式の $ f $-バージョンが成立する：任意の $ n \times n $ 複素行列 $ X, Y $、増加する添え字列 $ (i_k) $、および $ m \leq n $ に対して、$ \sum_{k=1}^m |f(\sigma_{i_k}(X)) - f(\sigma_{i_k}(Y))| \leq \sum_{k=1}^m f(\sigma_k(X - Y)) $ が成り立つ。
• W. ミアオによる $ f $-バージョンのミルスキーの不等式に関する予想は、行列解析における未解決問題を解決する形で、真であると確認された。
• トンプソン＝フリーデ不等式の $ f $-バージョンの証明は、フック関数 $ h_t(x) = \min(x, t) $ を用いた関数近似によって確立され、問題は $ f(x) = \min(x, 1) $ に対する不等式の検証に帰着される。
• 主結果は、元のトンプソン＝フリーデ不等式と素朴なインデックスに基づく分割のみを用いて導出されており、ボリン＝ウチヤマの定理などの高度な道具に依存しない。
• 証明手法は自己完結的であり、ユニタリ拡大や演算子凸性の議論を必要とせず、従来の手法とは対照的により単純な代替手段を提供する。
• 結果はすべての正の凹関数 $ f $（$ f(0) = 0 $ を満たす）に対して成り立ち、特定の行列構成において等号に近づけることから、不等式はタイトである。