2013/11/01 by Christopher J. Hillar, Lek-Heng Lim, Lek‐Heng Lim · 1,150 citations
Computer Science · Mathematics · #Algebra over a field #Bilinear form #Bilinear interpolation #Cartesian tensor #Combinatorics #Eigenvalues and eigenvectors #Exact solutions in general relativity #Jordan algebra #Mathematical analysis #Mathematics #Matrix Theory and Algorithms #Matrix norm #Multilinear algebra #Multilinear map #Norm (philosophy) #Numerical Methods and Algorithms #Physics #Pure mathematics #Quantum mechanics #Rank (graph theory) #Singular value #Symmetric tensor #Tensor (intrinsic definition) #Tensor algebra #Tensor decomposition and applications #Tensor density #Tensor field
paper · doi:10.1145/2512329
published in Journal of the ACM 60(6), 1-39 (Association for Computing Machinery)
openalex publication_date 2013/11/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/31
We prove that multilinear (tensor) analogues of many efficiently computable problems in numerical linear algebra are NP-hard. Our list includes: determining the feasibility of a system of bilinear equations, deciding whether a 3-tensor possesses a given eigenvalue, singular value, or spectral norm; approximating an eigenvalue, eigenvector, singular vector, or the spectral norm; and determining the rank or best rank-1 approximation of a 3-tensor. Furthermore, we show that restricting these problems to symmetric tensors does not alleviate their NP-hardness. We also explain how deciding nonnegative definiteness of a symmetric 4-tensor is NP-hard and how computing the combinatorial hyperdeterminant is NP-, #P-, and VNP-hard.