[論文レビュー] On Singular Value Inequalities for the Sum of Two Matrices

Sergey Loyka|arXiv (Cornell University)|Jul 8, 2015

Matrix Theory and Algorithms参考文献 2被引用数 4

ひとこと要約

この論文は、[1]および[2]で元々主張された、2つの行列の和の特異値に対する誤った下界を特定し、是正する。正しくは、ユニタリ行列上のトレース最小化から導かれる ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏσᵢ(A) − ∑ᵢ₌₁ᵏσᵢ(B) であり、[3]の定理3.4.5を用いて特異値の再配列を適用することで、より鋭い下界が得られることを示している。

ABSTRACT

A counter-example to lower bounds for the singular values of the sum of two matrices in [1] and [2] is given. Correct forms of the bounds are pointed out.

研究の動機と目的

• 先行研究[1]および[2]で報告された、2つの行列の和の特異値に対する誤った下界を特定し、是正すること。
• 反例による検証で失敗することが判明する、σ₁(A+B) ≥ σ₁(A) − σₙ(B) という主張の不整合を解消すること。
• 半ユニタリ行列上でのトレース式の適切な最小化を用いて、正しい下界を導出すること。
• 確立された行列理論からの特異値再配列の原則を応用し、より鋭い下界を確立すること。

提案手法

• A = diag{1,0} および B = diag{−1,0} を用いた反例を構築し、主張された下界 σ₁(A+B) ≥ σ₁(A) − σₙ(B) が誤りであることを反証する。
• [1]の証明における誤ったステップを特定し、min Re tr U B V⁺ が誤って −∑σₙ₋ᵢ₊₁(B) と等価であるとされたこと。
• 特異値およびトレース最適化の性質を用いて、正しい式 min Re tr U B V⁺ = −∑ᵢ₌₁ᵏσᵢ(B) を導出する。
• [3]の定理3.4.5を適用し、より鋭い下界 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ max₁≤i₁<⋯<iₖ≤n ∑ₗ₌₁ᵏ|σᵢₗ(A) − σᵢₗ(B)| を得る。
• 不等式において B を −B に置き換えることで、σᵢ(A) − σᵢ(B) に依存する下界を導出し、長方形行列に対しても有効であることを示す。
• 既知の特異値の性質およびトレースのユニタリ不変性を用いて、是正された下界を検証する。

実験結果

リサーチクエスチョン

• RQ1 なぜ主張された下界 σ₁(A+B) ≥ σ₁(A) − σₙ(B) は一般に成立せず、正しい不等式の形は何か？
• RQ2 [1]の証明で用いられたトレース最小化ステップにおける誤りは何か、そしてそれが導かれた下界にどのように影響を与えるか？
• RQ3 ランク k の半ユニタリ行列 U, V に対して min Re tr U B V⁺ の正しい式は何か？
• RQ4 特異値再配列を用いることで、∑σᵢ(A) − ∑σᵢ(B) よりも鋭い下界を2つの行列の和に対して導出可能か？
• RQ5 これらの不等式は長方形行列へどの程度拡張可能であり、ユニタリ変換に対して不変か？

主な発見

• 反例 A = diag{1,0}, B = diag{−1,0} を用いることで、σ₁(A+B) = 0 < 1 = σ₁(A) − σₙ(B) であるため、不等式 σ₁(A+B) ≥ σ₁(A) − σₙ(B) は誤りであることが示された。
• トレース最小化ステップの正しい形は min Re tr U B V⁺ = −∑ᵢ₌₁ᵏσᵢ(B) であり、[1]の証明における主要な誤りを是正する。
• 是正された下界は ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏσᵢ(A) − ∑ᵢ₌₁ᵏσᵢ(B) であり、正方行列および長方形行列の両方で成立する。
• より鋭い下界が確立された：∑ᵢ₌₁ᵏσᵢ(A+B) ≥ max₁≤i₁<⋯<iₖ≤n ∑ₗ₌₁ᵏ|σᵢₗ(A) − σᵢₗ(B)|、これは[3]の定理3.4.5から導出された。
• 絶対値の性質を用いて、∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏ(σᵢ(A) − σᵢ(B)) という下界が成り立つことが示され、より鋭い下界から導出可能である。
• 結果は一般性を有し、行列サイズに依存しないトレースおよび特異値の恒等式の性質から、長方形行列へも拡張可能である。