arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0806.4404math.NAcs.NAmath.FA
收藏

列子集选择、矩阵分解与特征值优化

Column Subset Selection, Matrix Factorization, and Eigenvalue Optimization

Joel A. Tropp

AI总结:

本文提出一种随机多项式时间算法,通过特征值最小化构造Grothendieck分解,实现Bourgain-Tzafriri定理中良好条件列子集的提取,并给出矩阵(∞,1)范数的近似算法。

摘要:

给定一个固定矩阵,列子集选择问题要求选择一个具有良好谱性质的列子矩阵。算法和数值线性代数领域的大多数研究关注一种称为秩揭示QR的变体,它寻求一组条件数良好的列,这些列张成矩阵的(数值)值域。泛函分析文献中包含另一类关于列选择的工作,其算法意义尚未被探索。特别地,Bourgain和Tzafriri的一个著名结果表明,每个列归一化的矩阵都包含一个非常大的、条件数异常良好的列子矩阵。不幸的是,该结果的标准证明不能被视为算法性的。本文提出一种随机多项式时间算法,能够产生Bourgain和Tzafriri所保证的子矩阵。该方法涉及列的随机采样,随后进行矩阵分解以揭示条件良好的列子集。这种分解归功于Grothendieck,被视为现代泛函分析的核心工具。本文的主要创新在于一种基于特征值最小化的算法,用于构造Grothendieck分解。这些思想还导致了一种新的矩阵(∞,1)范数近似算法,该范数精确计算通常是NP难的。作为额外收获,本文揭示了矩阵分解与著名的maxcut半定规划之间的惊人联系。

英文摘要:

Given a fixed matrix, the problem of column subset selection requests a column submatrix that has favorable spectral properties. Most research from the algorithms and numerical linear algebra communities focuses on a variant called rank-revealing {\sf QR}, which seeks a well-conditioned collection of columns that spans the (numerical) range of the matrix. The functional analysis literature contains another strand of work on column selection whose algorithmic implications have not been explored. In particular, a celebrated result of Bourgain and Tzafriri demonstrates that each matrix with normalized columns contains a large column submatrix that is exceptionally well conditioned. Unfortunately, standard proofs of this result cannot be regarded as algorithmic. This paper presents a randomized, polynomial-time algorithm that produces the submatrix promised by Bourgain and Tzafriri. The method involves random sampling of columns, followed by a matrix factorization that exposes the well-conditioned subset of columns. This factorization, which is due to Grothendieck, is regarded as a central tool in modern functional analysis. The primary novelty in this work is an algorithm, based on eigenvalue minimization, for constructing the Grothendieck factorization. These ideas also result in a novel approximation algorithm for the $(\infty, 1)$ norm of a matrix, which is generally {\sf NP}-hard to compute exactly. As an added bonus, this work reveals a surprising connection between matrix factorization and the famous {\sc maxcut} semidefinite program.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑