Tensors with maximal symmetries

We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 13. In other words, we classify minimal dimensional orbits in the space of (m,m,m) tensors assuming 1-genericity. Our study uncovers new tensors with striking geometry. This paper was motivated by Strassen's laser method for bounding the exponent of matrix multiplication. The best known tensor for the laser method is the large Coppersmith-Winograd tensor, and our study began with the observation that it has a large symmetry group, of dimension m^2/2 +m/2. We show that in odd dimensions, this is the largest possible for a 1-generic tensor, but in even dimensions we exhibit a tensor with a larger dimensional symmetry group. In the course of the proof, we classify nondegenerate bilinear forms with large dimensional stabilizers, which may be of interest in its own right.

[1]  Markus Bläser,et al.  On Degeneration of Tensors and Algebras , 2016, MFCS.

[2]  Claudio Procesi,et al.  Lie Groups: An Approach through Invariants and Representations , 2006 .

[3]  J. M. Landsberg,et al.  The geometry of rank decompositions of matrix multiplication II: 3×3 matrices , 2018, Journal of Pure and Applied Algebra.

[4]  François Le Gall,et al.  Powers of tensors and fast matrix multiplication , 2014, ISSAC.

[5]  Josh Alman,et al.  Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[6]  J. M. Landsberg,et al.  The Geometry of Rank Decompositions of Matrix Multiplication I: 2 × 2 Matrices , 2019, Exp. Math..

[7]  G. E. Wall.  On the conjugacy classes in the unitary, symplectic and orthogonal groups , 1963, Journal of the Australian Mathematical Society.

[8]  Josh Alman,et al.  Further Limitations of the Known Approaches for Matrix Multiplication , 2017, ITCS.

[9]  Verena Tobler,et al.  Spezialisierung und Degeneration von Tensoren , 1997 .

[10]  The Projective Geometry of Freudenthal's Magic Square , 1999, math/9908039.

[11]  Robert L. Bryant,et al.  Metrics with exceptional holonomy , 1987 .

[12]  V. Strassen.  Gaussian elimination is not optimal , 1969 .

[13]  R. Cushman,et al.  Conjugacy classes in linear groups , 1977 .

[14]  V. Strassen.  Relative bilinear complexity and matrix multiplication. , 1987 .

[15]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[16]  ON THE CONJUGACY CLASSES IN THE ORTHOGONAL AND SYMPLECTIC GROUPS OVER ALGEBRAICALLY CLOSED FIELDS , 2009, 0911.0379.

[17]  E. Cartan,et al.  Les systèmes de Pfaff, à cinq variables et les équations aux dérivées partielles du second ordre , 1910 .

[18]  Emanuele Ventura,et al.  Kronecker powers of tensors and Strassen's laser method , 2019, ITCS.

[19]  Michael Clausen,et al.  Algebraic complexity theory , 1997, Grundlehren der mathematischen Wissenschaften.

[20]  Covariants of spherical Θ-orbits for types E6, E7, E8 , 2013 .

[21]  Andris Ambainis,et al.  Fast Matrix Multiplication: Limitations of the Coppersmith-Winograd Method , 2014, STOC.

[22]  Matthias Christandl,et al.  Universal points in the asymptotic spectrum of tensors , 2017, STOC.

[23]  Dario Bini.  Relations between exact and approximate bilinear algorithms. Applications , 1980 .

[24]  Matthias Christandl,et al.  Barriers for fast matrix multiplication from irreversibility , 2018, CCC.

[25]  William M. McGovern,et al.  Nilpotent orbits in semisimple Lie algebras , 1993 .