Abstract

Whereas matrix rank is additive under direct sum, in 1981 Schönhage showed that one of its generalizations to the tensor setting, tensor border rank, can be strictly subadditive for tensors of order three. Whether border rank is additive for higher order tensors has remained open. In this work, we settle this problem by providing analogues of Schönhage's construction for tensors of order four and higher. Schönhage's work was motivated by the study of the computational complexity of matrix multiplication; we discuss implications of our results for the asymptotic rank of higher order generalizations of the matrix multiplication tensor.

Keywords

  1. tensor rank
  2. border rank
  3. matrix multiplication

MSC codes

  1. 14N07
  2. 15A69

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
J. Alman and V. V. Williams, A Refined Laser Method and Faster Matrix Multiplication, preprint, arXiv:2010.05846 [cs.DS], 2020, https://arxiv.org/abs/2010.05846.
2.
D. Bini, Relations between exact and approximate bilinear algorithms. Applications, Calcolo, 17 (1980), pp. 87--97.
3.
M. Bläser, Fast matrix multiplication, Theory Comput. Grad. Surv., 5 (2013), pp. 1--60.
4.
J. Buczyński and J. M. Landsberg, Ranks of tensors and a generalization of secant varieties, Linear Algebra Appl., 438 (2013), pp. 668--689.
5.
P. Bürgisser, M. Clausen, and M. A. Shokrollahi, Algebraic Complexity Theory, Grundlehren Math. Wiss. 315, Springer-Verlag, Berlin, 1997.
6.
E. Carlini, M. V. Catalisano, and L. Chiantini, Progress on the symmetric Strassen conjecture, J. Pure Appl. Alg., 219 (2015), pp. 3149--3157.
7.
M. Christandl, P. Vrana, and J. Zuiddam, Universal points in the asymptotic spectrum of tensors, in Proceedings of the 50th ACM SIGACT Symposium on Theory of Computing -- STOC'18, ACM, 2018, pp. 289--296.
8.
M. Christandl, P. Vrana, and J. Zuiddam, Asymptotic tensor rank of graph tensors: Beyond matrix multiplication, Comput. Complexity, 28 (2019), pp. 57--111.
9.
M. Christandl and J. Zuiddam, Tensor surgery and tensor rank, Comput. Complexity, 28 (2019), pp. 27--56.
10.
D. Coppersmith and S. Winograd, Matrix multiplication via arithmetic progressions, J. Symbolic Comput., 9 (1990), pp. 251--280.
11.
W. Dür, G. Vidal, and J. I. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A, 62 (2000), 062314.
12.
E. Feig and S. Winograd, On the direct sum conjecture, Linear Algebra Appl., 63 (1984), pp. 193--219.
13.
F. Gesmundo, A. Oneto, and E. Ventura, Partially symmetric variants of Comon's problem via simultaneous rank, SIAM J. Matrix Anal. Appl., 40(4) (2019), pp. 1453--1477.
14.
W. Hackbusch, Tensor Spaces and Numerical Tensor Calculus, Springer Ser. Comput. Math. 42, Springer Science & Business Media, New York, 2012.
15.
J. Ja'Ja' and J. Takche, On the validity of the direct sum conjecture, SIAM J. Comput., 15 (1986), pp. 1004--1020.
16.
J. M. Landsberg, Tensors: Geometry and Applications, Grad. Stud. Math. 128, American Mathematical Society, Providence, RI, 2012.
17.
J. M. Landsberg, Y. Qi, and K. Ye, On the geometry of tensor network states, Quantum Inf. Comput., 12 (2012), pp. 346--254.
18.
F. Le Gall, Powers of tensors and fast matrix multiplication, in Proceedings of the 39th International Symposium on Symbolic and Algebraic Computating, ACM, 2014, pp. 296--303.
19.
G. Pólya and G. Szegö, Problems and Theorems in Analysis I: Series. Integral Calculus. Theory of Functions, Classics Math., Springer, Berlin, 1997.
20.
R. Raz, Tensor-rank and lower bounds for arithmetic formulas, in STOC'10---Proceedings of the 2010 ACM International Symposium on Theory of Computing, New York, 2010, ACM, pp. 659--666.
21.
A. Schönhage, Partial and total matrix multiplication, SIAM J. Comput., 10 (1981), pp. 434--455.
22.
Y. Shitov, Counterexamples to Strassen\rqs direct sum conjecture, Acta Math., 222 (2019), pp. 363--379.
23.
A. Stothers, On the Complexity of Matrix Multiplication, Ph.D. thesis, University of Edinburgh, 2010.
24.
V. Strassen, Gaussian elimination is not optimal, Numer. Math., 13 (1969), pp. 354--356.
25.
V. Strassen, Vermeidung von Divisionen, J. Reine Angew. Math., 264 (1973), pp. 184--202.
26.
V. Strassen, Rank and optimal computation of generic tensors, Linear Algebra Appl., 52/53 (1983), pp. 645--685.
27.
V. Strassen, The asymptotic spectrum of tensors and the exponent of matrix multiplication, in Proceedings of the 27th Annual Symposium on Foundations of Computer Science, IEEE, 1986, pp. 49--54.
28.
V. Strassen, Relative bilinear complexity and matrix multiplication, J. Reine Angew. Math., 375/376 (1987), pp. 406--443.
29.
V. Strassen, The asymptotic spectrum of tensors, J. Reine Angew. Math., 384 (1988), pp. 102--152.
30.
V. Strassen, Degeneration and complexity of bilinear maps: Some asymptotic spectra, J. Reine Angew. Math., 413 (1991), pp. 127--180.
31.
J. J. Sylvester, On the principles of the calculus of forms, Cambridge Dublin Math. J., 7 (1852), pp. 52--97.
32.
Z. Teitler, Sufficient conditions for Strassen\rqs additivity conjecture, Illinois J. Math., 59 (2015), pp. 1071--1085.
33.
A. Terracini, Sulle $v_k$ per cui la varietà degli $s_h(h+1)$-seganti ha dimensione minore dell'ordinario, Rend. Circ. Mat., 31 (1911), pp. 392--396.
34.
V. V. Williams, Multiplying matrices faster than Coppersmith-Winograd, in Proceedings of the 44th ACM Symposium on Theory of Computing -- STOC'12, ACM, 2012, pp. 887--898.
35.
N. Yu, E. Chitambar, C. Guo, and R. Duan, Tensor rank of the tripartite state $\vert W \rangle^{\otimes n}$ , Phys. Rev. A, 81 (2010), 014301.
36.
J. Zuiddam, Algebraic Complexity, Asymptotic Spectra and Entanglement Polytopes, Ph.D. thesis, University of Amsterdam, 2018.

Information & Authors

Information

Published In

cover image SIAM Journal on Matrix Analysis and Applications
SIAM Journal on Matrix Analysis and Applications
Pages: 503 - 527
ISSN (online): 1095-7162

History

Submitted: 4 August 2020
Accepted: 23 November 2020
Published online: 8 April 2021

Keywords

  1. tensor rank
  2. border rank
  3. matrix multiplication

MSC codes

  1. 14N07
  2. 15A69

Authors

Affiliations

Funding Information

H2020 European Research Council https://doi.org/10.13039/100010663 : 818761
Division of Computing and Communication Foundations https://doi.org/10.13039/100000143 : CCF-1900460
National Science Foundation https://doi.org/10.13039/100000001 : DMS-1638352
Villum Fonden https://doi.org/10.13039/100008398 : 10059

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

View Options

View options

PDF

View PDF

Figures

Tables

Media

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media