Advertisement

Theory of Computing Systems

, Volume 62, Issue 5, pp 1161–1174 | Cite as

The Complexity of Tensor Rank

  • Marcus Schaefer
  • Daniel Štefankovič
Article
  • 124 Downloads

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)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bienstock, D., Dean, N.: Bounds for rectilinear crossing numbers. J Graph Theory 17(3), 333–348 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and real computation. Springer-Verlag, New York (1998)CrossRefzbMATHGoogle 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)MathSciNetCrossRefzbMATHGoogle 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)MathSciNetCrossRefzbMATHGoogle 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)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Hillar, C.J., Lim, L.-H.: Most tensor problems are NP-hard. J. ACM 60(6), Art. 45, 39 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Howell, T.D.: Global properties of tensor rank. Linear Algebra Appl. 22, 9–23 (1978)MathSciNetCrossRefzbMATHGoogle 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)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Kolda, T.G., Bader, B.W.: Tensor decompositions and applications. SIAM Rev. 51(3), 455–500 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Kratochvíl, J., Matoušek, J.: Intersection graphs of segments. J. Combin. Theory Ser. B 62(2), 289–315 (1994)MathSciNetCrossRefzbMATHGoogle 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)MathSciNetCrossRefzbMATHGoogle 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