Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT.
Jason YangPublished in: CoRR (2024)
Keyphrases
- matrix multiplication
- low rank
- matrix factorization
- trace norm
- tensor factorization
- tensor decomposition
- singular value decomposition
- frobenius norm
- matrix decomposition
- high order
- collaborative filtering
- low rank matrix
- missing data
- message passing
- matrix completion
- dimensionality reduction
- recommender systems
- linear combination
- negative matrix factorization
- nonnegative matrix factorization
- rank minimization
- data matrix
- singular values
- distributed memory
- higher order
- convex optimization
- semi supervised
- high dimensional data
- diffusion tensor
- active learning
- probabilistic model
- dynamic programming
- image processing