[논문 리뷰] A top nine list: Most popular induced matrix norms

Andrew D. Lewis|arXiv (Cornell University)|2023. 09. 13.

Matrix Theory and Algorithms참고 문헌 10인용 수 4

한 줄 요약

이 논문은 Rⁿ과 Rᵐ에서 정의된 ℓ¹, ℓ², ℓ∞ 노름으로부터 유도된 9개의 유도된 행렬 노름에 대해 명시적인 공식과 계산 복잡도 분석을 제공한다. (2,1), (∞,1), (∞,2) 노름을 계산하는 것은 NP-난이도임을 증명하여, P=NP가 성립하지 않는 한 다항시간 알고리즘이 존재하지 않음을 시사한다. 반면 다른 노름들은 표준 선형 대수 기법을 사용해 다항시간 내에 계산 가능하다.

ABSTRACT

Explicit formulae are given for the nine possible induced matrix norms corresponding to the 1-, 2-, and $\infty$-norms for Euclidean space. The complexity of computing these norms is investigated.

연구 동기 및 목표

• ℓ¹, ℓ², ℓ∞ 노름으로부터 유도된 9개의 모든 유도된 행렬 노름에 대해 완전하고 자가 포함된 증명을 제공하는 것.
• 특히 (∞,2) 및 (2,∞) 노름에 대해 이전 문헌의 모순과 오류를 해결하고 수정하는 것.
• 각 노름의 계산 복잡도를 분석하여 다항시간으로 계산 가능한 경우와 NP-난이도인 경우를 구분하는 것.
• ∥·∥₂,₁ 및 ∥·∥∞,₂를 다항시간에 계산할 수 없다는 것을 입증하여, 다항시간 알고리즘이 존재한다면 P=NP가 성립함을 시사하는 것.
• 모든 공식과 증명을 하나의 종합적 참고자료로 정리하여, 유도된 행렬 노름에 대한 지식 상태를 통합하고 명확화하는 것.

제안 방법

• ℓp 및 ℓq 노름의 단위 구면에서의 최적화를 통해 모든 9개의 ∥·∥p,q 노름에 대해 명시적인 폐형 표현을 유도한다.
• ∥·∥₂,₁ 및 ∥·∥∞,₂의 경우 비미분 가능 목적 함수를 다루기 위해 라그랑주 승수법을 적용한다.
• 대칭성과 쌍대성 원리를 활용하여 등가 표현을 도출하며, 예를 들어 ∥A∥∞,∞ = max{∥A(u)∥∞ | u ∈ {−1,1}ⁿ} 및 O(mn) 시간에 간소화된 계산을 제공한다.
• 스펙트럼 분해와 고유값 계산을 활용하여 ∥·∥₂,₂에 대해 다항시간 알고리즘을 적용한다.
• (2,1) 및 (∞,2) 노름 문제를 MC-행렬을 통한 최대 컷 문제로 환원하여 NP-난이도를 입증한다.
• 대칭 정부정행렬에 대한 제곱근 사상의 전사성을 이용하여 ∥A∥∞,₂를 {−1,1}ⁿ 위의 이차형식과 연결한다.

실험 결과

연구 질문

• RQ1 p,q ∈ {1,2,∞} 일 때, 모든 9개의 유도된 행렬 노름 ∥·∥p,q에 대한 정확하고 완전한 공식은 무엇인가?
• RQ2 왜 ∥·∥₂,₁ 및 ∥·∥∞,₂의 공식은 이전 문헌에서 특히 유도하고 검증하기 어려운가?
• RQ3 (2,1) 및 (∞,2) 노름은 다항시간에 계산 가능한가, 아니면 본질적으로 비가역적인가?
• RQ4 각 노름의 계산 복잡도는 행렬 차원 m과 n에 따라 어떻게 달라지는가?
• RQ5 다음과 같은 이유로 일부 노름(예: ∥·∥∞,∞)은 다항시간에 효율적으로 계산 가능한가? (예: 지수적 형태로 보이지만)

주요 결과

• 논문은 이전 연구에서 오류가 있었던 9개의 모든 유도된 행렬 노름에 대해 정확하고 완전한 공식을 제공하며, 특히 ∥·∥∞,₂에 대해 이전에 증명되지도 않았고 잘못된 공식이 존재했음을 수정한다.
• ∥A∥₂,₁는 max{∥Aᵀ(u)∥₂ | u ∈ {−1,1}ᵐ}로 계산 가능하며, 이 계산은 NP-난이도임을 입증한다.
• ∥A∥∞,₂는 계산이 NP-난이도임을 증명하였으며, 문제는 {−1,1}ⁿ 위의 이차형식 최대화 문제로 환원된다.
• (2,2) 노름은 A의 최대 특이값으로 확인되었으며, 고유값 분해를 통해 O(n³) 시간에 계산 가능하다.
• (1,1), (1,2), (1,∞), (∞,1), (∞,∞), (2,∞) 노름은 모두 다항시간에 계산 가능하며, 복잡도는 O(mn)에서 O(n³)까지 다양하다.
• 논문은 ∥·∥₂,₁ 또는 ∥·∥∞,₂를 다항시간에 계산할 수 있다면 P=NP가 성립함을 입증하여, 이러한 문제들이 표준 복잡도 가정 하에 계산적으로 비가역적임을 증명한다.