CUR matrix approximation

From HandWiki

A CUR matrix approximation is a set of three matrices that, when multiplied together, closely approximate a given matrix.[1][2][3] A CUR approximation can be used in the same way as the low-rank approximation of the singular value decomposition (SVD). CUR approximations are less accurate than the SVD, but they offer two key advantages, both stemming from the fact that the rows and columns come from the original matrix (rather than left and right singular vectors):

  • There are methods to calculate it with lower asymptotic time complexity versus the SVD.
  • The matrices are more interpretable; The meanings of rows and columns in the decomposed matrix are essentially the same as their meanings in the original matrix.

Formally, a CUR matrix approximation of a matrix A is three matrices C, U, and R such that C is made from columns of A, R is made from rows of A, and that the product CUR closely approximates A. Usually the CUR is selected to be a rank-k approximation, which means that C contains k columns of A, R contains k rows of A, and U is a k-by-k matrix. There are many possible CUR matrix approximations, and many CUR matrix approximations for a given rank.

The CUR matrix approximation is often[citation needed] used in place of the low-rank approximation of the SVD in principal component analysis. The CUR is less accurate, but the columns of the matrix C are taken from A and the rows of R are taken from A. In PCA, each column of A contains a data sample; thus, the matrix C is made of a subset of data samples. This is much easier to interpret than the SVD's left singular vectors, which represent the data in a rotated space. Similarly, the matrix R is made of a subset of variables measured for each data sample. This is easier to comprehend than the SVD's right singular vectors, which are another rotations of the data in space.

Mathematical definition

Hamm and Huang[4] gives the following theorem describing the basics of a CUR decomposition of a matrix [math]\displaystyle{ L }[/math] with rank [math]\displaystyle{ r }[/math]:

Theorem: Consider row and column indices [math]\displaystyle{ I, J \subseteq [n] }[/math] with [math]\displaystyle{ |I|, |J| \ge r }[/math]. Denote submatrices [math]\displaystyle{ C = L_{:,J}, }[/math] [math]\displaystyle{ U = L_{I,J} }[/math] and [math]\displaystyle{ R = L_{I,:} }[/math]. If rank([math]\displaystyle{ U }[/math]) = rank([math]\displaystyle{ L }[/math]), then [math]\displaystyle{ L = CU^+R }[/math], where [math]\displaystyle{ (\cdot)^+ }[/math] denotes the Moore–Penrose pseudoinverse.

In other words, if [math]\displaystyle{ L }[/math] has low rank, we can take a sub-matrix [math]\displaystyle{ U = L_{I,J} }[/math] of the same rank, together with some rows [math]\displaystyle{ R }[/math] and columns [math]\displaystyle{ C }[/math] of [math]\displaystyle{ L }[/math] and use them to reconstruct [math]\displaystyle{ L }[/math].

Algorithms

The CUR matrix approximation is not unique and there are multiple algorithms for computing one. One is ALGORITHMCUR.[1]

The "Linear Time CUR" algorithm [5] simply picks J by sampling columns randomly (with replacement) with probability proportional to the squared column norms, [math]\displaystyle{ \|L_{:,j}\|_2^2 }[/math]; and similarly sampling I proportional to the squared row norms, [math]\displaystyle{ \|L_{i}\|_2^2 }[/math]. The authors show that taking [math]\displaystyle{ |J| \approx k /\varepsilon^4 }[/math] and [math]\displaystyle{ |I| \approx k / \varepsilon^2 }[/math] where [math]\displaystyle{ 0 \le \varepsilon }[/math], the algorithm achieves Frobenius error bound [math]\displaystyle{ \|A - CUR\|_F \le \|A - A_k\|_F + \varepsilon \|A\|_F }[/math], where [math]\displaystyle{ A_k }[/math] is the optimal rank k approximation.

Tensor

Tensor-CURT decomposition[6] is a generalization of matrix-CUR decomposition. Formally, a CURT tensor approximation of a tensor A is three matrices and a (core-)tensor C, R, T and U such that C is made from columns of A, R is made from rows of A, T is made from tubes of A and that the product U(C,R,T) (where the [math]\displaystyle{ i,j,l }[/math]-th entry of it is [math]\displaystyle{ \sum_{i',j',l'}U_{i',j',l'}C_{i,i'}R_{j,j'}T_{l,l'} }[/math]) closely approximates A. Usually the CURT is selected to be a rank-k approximation, which means that C contains k columns of A, R contains k rows of A, T contains tubes of A and U is a k-by-k-by-k (core-)tensor.

See also

References

  1. 1.0 1.1 Michael W. Mahoney; Petros Drineas. "CUR matrix decompositions for improved data analysis". http://www.pnas.org/content/106/3/697.full. Retrieved 26 June 2012. 
  2. Boutsidis, Christos; Woodruff, David P. (2014). "Optimal CUR matrix decompositions". STOC '14 Proceedings of the forty-sixth annual ACM symposium on Theory of Computing. 
  3. Song, Zhao; Woodruff, David P.; Zhong, Peilin (2017). "Low Rank Approximation with Entrywise L1-Norm Error". STOC '17 Proceedings of the forty-ninth annual ACM symposium on Theory of Computing. 
  4. Keaton Hamm and Longxiu Huang. Perspectives on CUR decompositions. Applied and Computational Harmonic Analysis, 48(3):1088–1099, 2020.
  5. Drineas, Petros; Kannan, Ravi; Mahoney, Michael W. (2006-01-01). "Fast Monte Carlo Algorithms for Matrices I: Approximating Matrix Multiplication". SIAM Journal on Computing 36 (1): 132–157. doi:10.1137/S0097539704442684. ISSN 0097-5397. https://epubs.siam.org/doi/abs/10.1137/S0097539704442684. 
  6. Song, Zhao; Woodruff, David P.; Zhong, Peilin (2017). "Relative Error Tensor Low Rank Approximation". arXiv:1704.08246 [cs.DS].