Most tensor problems are NP-hard (original) (raw)

View PDF

Abstract:We prove that multilinear (tensor) analogues of many efficiently computable problems in numerical linear algebra are NP-hard. Our list here 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 of a 4-tensor is NP-, #P-, and VNP-hard. We shall argue that our results provide another view of the boundary separating the computational tractability of linear/convex problems from the intractability of nonlinear/nonconvex ones.

Submission history

From: Lek-Heng Lim [view email]
[v1] Sat, 7 Nov 2009 05:21:11 UTC (22 KB)
[v2] Fri, 9 Apr 2010 10:36:24 UTC (23 KB)
[v3] Mon, 9 Apr 2012 18:02:09 UTC (482 KB)
[v4] Tue, 12 Feb 2013 00:33:53 UTC (487 KB)
[v5] Mon, 1 Jul 2013 01:10:12 UTC (514 KB)