[论文解读] 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]中關於兩矩陣之和的奇異值錯誤下界。論文證明正確的下界為 ∑ᵢ₌₁ᵏσᵢ(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]所報告的兩矩陣之和奇異值錯誤下界。
• 解決所聲稱不等式 σ₁(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) 更緊緻的兩矩陣之和下界？
• RQ5 這些不等式在多大程度上可推廣至長方形矩陣？它們是否具有酉變換不變性？

主要发现

• 所聲稱的不等式 σ₁(A+B) ≥ σ₁(A) − σₙ(B) 為無效，如反例 A = diag{1,0}, B = diag{−1,0} 所示，其中 σ₁(A+B) = 0 < 1 = σ₁(A) − σₙ(B)。
• 跡最小化步驟的正確形式為 min Re tr U B V⁺ = −∑ᵢ₌₁ᵏσᵢ(B)，而非 −∑ᵢ₌₁ᵏσₙ₋ᵢ₊₁(B)，此修正糾正了[1]證明中的關鍵錯誤。
• 修正後的下界為 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏσᵢ(A) − ∑ᵢ₌₁ᵏσᵢ(B)，此式對正方與長方形矩陣皆成立。
• 建立更緊緻的下界：∑ᵢ₌₁ᵏσᵢ(A+B) ≥ max₁≤i₁<⋯<iₖ≤n ∑ₗ₌₁ᵏ|σᵢₗ(A) − σᵢₗ(B)|，此結果源自[3]中的定理3.4.5。
• 下界 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏ(σᵢ(A) − σᵢ(B)) 成立，且可由更緊緻的下界透過絕對值性質推導而出。
• 結果具有一般性，可推廣至長方形矩陣，因背後的跡與奇異值恆等式與矩陣尺寸無關。