[論文レビュー] A top nine list: Most popular induced matrix norms

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

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 困難なケースを区別すること。
• ∥·∥₂,₁ および ∥·∥∞,₂ の計算が 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 であることを示しており、標準的な複雑性仮定のもとで、これらの問題が計算的に困難であることを証明した。