Supplementary Files for

Kronecker Powers of Tensors and Strassen's Laser Method

by A. Conner, F. Gesmundo, J. M. Landsberg, E. Ventura

We collect the supplementary files required to complete the computer calculations described in the paper. The softwares we use are Sage and Macaulay2. The files are collected in different appendices:

Appendix A: A randomly chosen tensor in C3 x C3 x C3

This data file addresses the Claim of Theorem 2.13*. We provide the coordinates of a randomly chosen tensor in C3 \otimes C3 \otimes C3 and an approximate decomposition of its Kronecker square.

We include one file, with enclosed documentation. It contains the following two pieces of data:
  • the coordinates of a tensor T in C3 \otimes C3 \otimes C3, represented as three matrices of size 3x3, M_1,M_2,M_3: in coordinates T_ijk = (M_i)_jk. The entries of the matrices were randomly chosen from the uniform distribution on [-1,1];
  • the coordinates of 22 rank one tensors in C9 \otimes C9 \otimes C9, forming a rank 22 decomposition of T \boxtimes T. This is a list of 22 elements Z_1,...,Z_22. Each element Z_j is a list of 3 elements a,b,c. The elements a,b,c are matrices of size 3x3 representing the coordinates of three vectors in C9 = C3 \otimes C3. This is the same representation as the one of Section 5 of the paper.

  • Download the file here.

    Appendix B: Rank 18 Decomposition of 3x3 determinant

    This is a Macaulay2 file which verifies the Claim in the proof of Theorem 2.11 (Section 5.1). It is one file, with enclosed documentation.

    Download the file here.

    Appendix C: Border Rank 17 Decomposition of 3x3 determinant

    This is a set of files addressing Claims made in the proof of Theorem 2.12 (Section 5.2). The set consists of 7 files, which can be downloaded in an archive tar.gz file.

    We include seven files with enclosed documentation. The role of each file is briefly explained below:
  • checkingType1eqns.m2: A Macaulay2 file verifying the equations of type 1, as explained in the paper;
  • checkingType2eqns.m2: A Macaulay2 file verifying the equations of type 2, as explained in the paper;
  • eqnsType1.m2: The list of equations of type 1, for easy access: they can be computed directly as well;
  • eqnsType2.m2: The list of equations of type 2, for easy access: they can be computed directly as well;
  • monomialsType1.m2: The monomials appearing in equations of type 1, with the corresponding expression in terms of the root y*;
  • monomialsType2.m2: The monomials appearing in equations of type 2, with the corresponding expression in terms of the chosen root u in each equation;
  • yy_exps.m2: The expressions of the elements y_j in terms of the root y*.

  • Download the archive file here.

    For the reader's convenience, we include the minimal polynomials of the
    roots z_i  with an approximation of their value in 
     det_br_17_entries.txt  on the border rank 17 decomposition.  

    Appendix D: Matrices of Koszul flattenings of Coppersmith-Winograd powers

    This set of files addresses the Claims on the matrices representing the Koszul flattenings of the Kronecker square and the Kronecker cube of the small Coppersmith-Winograd tensor, in the proof of Theorem 2.1 and Theorem 2.2 (Sections 4.5 and Section 4.6). The set consists of 3 files, which can be downloaded in an archive tar.gz file.

    We include three files with enclosed documentation. The role of each file is briefly explained below:
  • cwsquare.txt: A data file for easy access to the four matrices Phi_1, ... , Phi_4 describing the map on the multiplicity spaces in the proof of Theorem 2.1;
  • cwcube.txt: A data file for easy access to the eight matrices Psi_1, ... , Psi_8 describing the map on the multiplicity spaces in the proof of Theorem 2.2;
  • cwmatrices.sage:  A sage file: it generates the relevant matrices using the method
    described in Section 7 of the paper, and computes their ranks

  • Download the archive file here.

    Appendix E: Tight tensors in C3 x C3 x C3

    This is a Macaulay2 file addressing the Claims made in the proofs of Section 6. Documentation is enclosed and a description of the various parts of the file is given in the paper.



    Download the file here.


    files T9 T6 T5 T4 T3 T2

    The tensors in section 5 come equipped with distinguished bases of A, B and
    C. for a basis a1 a2, a3, I take for the tensor square the basis a1\ot a1,
    a1\otimes a2, a1\otimes a3, a2\otimes a1, ... a3\otimes a3, that is, the indices taken in
    lexicographical order. The files give each rank 1, one after the other. A
    rank 1 consists of 27 numbers. The first 9 give the linear combination of
    ai \otimes aj, the second 9 give the linear combination of the bi \otimes bj, and
    the third 9 give the linear combination of the ci \otimes cj.