arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2108.00740math.OCcs.LGeess.SPstat.ML
收藏

锥分解的乘性更新

Multiplicative updates for symmetric-cone factorizations

National University of Singapore(新加坡国立大学);Institute of High Performance Computing, Agency for Science, Technology and Research(新加坡科技研究局高性能计算研究院);Singapore University of Technology and Design(新加坡科技设计大学)

Yong Sheng Soh, Antonios Varvitsiotis

摘要:

给定一个具有非负元素的矩阵$X\in \mathbb{R}^{m\times n}_+$,锥$\mathcal{K}\subseteq \mathbb{R}^k$上的锥因子分解问题涉及计算属于其对偶的$\{ a_1,\ldots, a_{m} \} \subseteq \mathcal{K}$和$\{ b_1,\ldots, b_{n} \} \subseteq~\mathcal{K}^*$,使得对于所有$i\in [m], j\in [n]$都有$X_{ij} = \langle a_i, b_j \rangle$.锥分解是数学优化的基础,因为它们允许我们将凸体表示为线性锥规划的可行域。本文介绍并分析了当$\mathcal{K}$是对称的时,计算锥因子分解的锥-锥乘法更新(SCMU)算法,它是自对偶和齐次的。对称锥是数学优化中的核心兴趣,因为它们为研究非负正交矩阵(线性规划)、二阶锥(二阶锥规划)和正半定矩阵锥(半定规划)上的线性最优化提供了一种通用语言。SCMU算法是乘法的,在这个意义上,迭代更新通过应用精心选择的自同构的锥计算使用的几何平均对称锥的推广。利用Lieb的延拓定理和von Neumann的迹不等式对称锥,我们证明了平方损失目标是非递减的SCMU算法的轨迹。SCMU算法专门用于非负正交,对应于Lee和Seung用于计算非负矩阵分解的开创性算法。

英文摘要:

Given a matrix $X\in \mathbb{R}^{m\times n}_+$ with non-negative entries, the cone factorization problem over a cone $\mathcal{K}\subseteq \mathbb{R}^k$ concerns computing $\{ a_1,\ldots, a_{m} \} \subseteq \mathcal{K}$ and $\{ b_1,\ldots, b_{n} \} \subseteq~\mathcal{K}^*$ belonging to its dual so that $X_{ij} = \langle a_i, b_j \rangle$ for all $i\in [m], j\in [n]$. Cone factorizations are fundamental to mathematical optimization as they allow us to express convex bodies as feasible regions of linear conic programs. In this paper, we introduce and analyze the symmetric-cone multiplicative update (SCMU) algorithm for computing cone factorizations when $\mathcal{K}$ is symmetric; i.e., it is self-dual and homogeneous. Symmetric cones are of central interest in mathematical optimization as they provide a common language for studying linear optimization over the nonnegative orthant (linear programs), over the second-order cone (second order cone programs), and over the cone of positive semidefinite matrices (semidefinite programs). The SCMU algorithm is multiplicative in the sense that the iterates are updated by applying a meticulously chosen automorphism of the cone computed using a generalization of the geometric mean to symmetric cones. Using an extension of Lieb's concavity theorem and von Neumann's trace inequality to symmetric cones, we show that the squared loss objective is non-decreasing along the trajectories of the SCMU algorithm. Specialized to the nonnegative orthant, the SCMU algorithm corresponds to the seminal algorithm by Lee and Seung for computing Nonnegative Matrix Factorizations.

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

↑