The Complexity of Tensor Rank

Article

Abstract

We show that determining the rank of a tensor over a field has the same complexity as deciding the existential theory of that field. This implies earlier NP-hardness results by Håstad (J. Algorithm. 11(4), 644–654 1990). The hardness proof also implies an algebraic universality result.

Keywords

Computational complexity Existential theory of fields Tensor rank 

References

  1. 1.
    Allender, E., Burgisser, P., Kjeldgaard-Pedersen, J., Bro Miltersen, P.: On the complexity of numerical analysis. In: CCC ’06: Proceedings of the 21st Annual IEEE Conference on Computational Complexity, pp. 331–339. IEEE Computer Society, DC, USA (2006)Google Scholar
  2. 2.
    Basri, R., Felzenszwalb, P.F., Girshick, R.B., Jacobs, D.W., Klivans, C.J.: Visibility constraints on features of 3D objects. In: CVPR, pp. 1231–1238. IEEE Computer Society (2009)Google Scholar
  3. 3.
    Bhangale, A., Kopparty, S.: The complexity of computing the minimum rank of a sign pattern matrix. CoRR, arXiv:1503.04486 (2015)
  4. 4.
    Bienstock, D.: Some provably hard crossing number problems. Discret. Comput. Geom. 6(5), 443–459 (1991)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Bienstock, D., Dean, N.: Bounds for rectilinear crossing numbers. J Graph Theory 17(3), 333–348 (1993)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and real computation. Springer-Verlag, New York (1998)CrossRefMATHGoogle Scholar
  7. 7.
    Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc. (N.S.) 21(1), 1–46 (1989)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Buss, J.F., Frandsen, G.S., Shallit, J.O.: The computational complexity of some problems of linear algebra. J. Comput. System Sci. 58(3), 572–596 (1999)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Canny, J.: Some algebraic and geometric computations in pspace. In: STOC ’88: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pp. 460–469. ACM, NY, USA (1988)Google Scholar
  10. 10.
    Davis, M., Matijasevič, Y., Robinson, J.: Hilbert’s tenth problem: Diophantine equations: positive aspects of a negative solution. In: Mathematical Developments Arising from Hilbert Problems (Proc. Sympos. Pure Math., Vol. XXVIII, Northern Illinois Univ., De Kalb, Ill., 1974), pp. 323–378. (loose erratum). American Mathematics Society, Providence, RI (1976)Google Scholar
  11. 11.
    Håstad, J.: Tensor rank is NP-complete. In: Automata, languages and programming (Stresa, 1989), volume 372 of Lecture Notes in Computer Science, pp. 451–460. Springer, Berlin (1989)Google Scholar
  12. 12.
    Håstad, J.: Tensor rank is NP-complete. J. Algorithm. 11(4), 644–654 (1990)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Hillar, C.J., Lim, L.-H.: Most tensor problems are NP-hard. J. ACM 60(6), Art. 45, 39 (2013)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Howell, T.D.: Global properties of tensor rank. Linear Algebra Appl. 22, 9–23 (1978)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Koenigsmann, J.: Defining \(\mathbb {Z}\) in \(\mathbb {Q}\) ArXiv e-prints (2010)Google Scholar
  16. 16.
    Koiran, P.: Hilbert’s Nullstellensatz is in the polynomial hierarchy. J. Complex. 12(4), 273–286 (1996). Special issue for the Foundations of Computational Mathematics Conference (Rio de Janeiro, 1997)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Kolda, T.G., Bader, B.W.: Tensor decompositions and applications. SIAM Rev. 51(3), 455–500 (2009)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Kratochvíl, J., Matoušek, J.: Intersection graphs of segments. J. Combin. Theory Ser. B 62(2), 289–315 (1994)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Matijasevič, J.V.: The Diophantineness of enumerable sets. Dokl. Akad. Nauk SSSR 191, 279–282 (1970)MathSciNetGoogle Scholar
  20. 20.
    Mnëv, N.E.: The universality theorems on the classification problem of configuration varieties and convex polytopes varieties. In: Topology and geometry—Rohlin Seminar, volume 1346 of Lecture Notes in Mathematics, pp. 527–543. Springer, Berlin (1988)Google Scholar
  21. 21.
    Poonen, B.: Characterizing integers among rational numbers with a universal-existential formula. Amer. J. Math. 131(3), 675–682 (2009)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Richter-Gebert, J.: Mnëv’s universality theorem revisited. Sém Lothar. Combin., pp. 34 (1995)Google Scholar
  23. 23.
    Richter-Gebert, J.: Realization spaces of polytopes, volume 1643 of Lecture Notes in Mathematics. Springer-Verlag, Berlin (1996)Google Scholar
  24. 24.
    Schaefer, M.: Complexity of some geometric and topological problems. In: Eppstein, D., Gansner, E.R. (eds.) Graph Drawing, volume 5849 of Lecture Notes in Computer Science, pp. 334–344. Springer (2009)Google Scholar
  25. 25.
    Schaefer, M.: Realizability of graphs and linkages. In: Pach, J. (ed.) Thirty Essays on Geometric Graph Theory, pp. 461–482. Springer (2012)Google Scholar
  26. 26.
    Schaefer, M., Štefankovič, D.: Fixed points Nash equilibria, and the existential theory of the reals. Theory of Computing Systems, pp. 1–22 (2015)Google Scholar
  27. 27.
    Shitov, Y.: How hard is the tensor rank?. CoRR, arXiv:1611.01559 (2016)
  28. 28.
    Shor, P.W.: Stretchability of pseudolines is NP-hard. In: Applied geometry and discrete mathematics, volume 4 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pp. 531–554. American Mathematics Society, Providence, RI (1991)Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2017

Authors and Affiliations

  1. 1.School of ComputingDePaul University ChicagoIllinoisUSA
  2. 2.Computer Science DepartmentUniversity of RochesterRochesterUSA

Personalised recommendations