[논문 리뷰] On Singular Value Inequalities for the Sum of Two Matrices

Sergey Loyka|arXiv (Cornell University)|2015. 07. 08.

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 = 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]의 증명에서 잘못된 −∑ᵢ₌₁ᵏσₙ₋ᵢ₊₁(B)로 동일시된 핵심 결함을 수정함.
• 수정된 하한은 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏσᵢ(A) − ∑ᵢ₌₁ᵏσᵢ(B)이며, 정방형 및 직사각형 행렬 모두에 대해 성립함.
• 더 날카운 하한 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ max₁≤i₁<⋯<iₖ≤n ∑ₗ₌₁ᵏ|σᵢₗ(A) − σᵢₗ(B)|가 [3]의 정리 3.4.5로부터 도출됨.
• 절댓값 성질을 통해 ∑ᵢ₌₁ᵏσᵢ(A+B) ≥ ∑ᵢ₌₁ᵏ(σᵢ(A) − σᵢ(B))의 하한도 유효하며, 더 날카운 하한으로부터 유도됨.
• 결과는 일반적이며, 기저가 되는 추적 및 단일값 항등식이 행렬 크기와 무관하므로 직사각형 행렬로도 확장됨.