Showing 1–35 of 35 results for author: Landsberg, J M

On Linear spaces of of matrices bounded rank

Authors: Hang Huang, J. M. Landsberg

Abstract: Motivated by questions in theoretical computer science and quantum information theory, we study the classical problem of determining linear spaces of matrices of bounded rank. Spaces of bounded rank three were classified in 1983, and it has been a longstanding problem to classify spaces of bounded rank four. Before our study, no non-classical example of such a space was known. We exhibit two non-c… ▽ More Motivated by questions in theoretical computer science and quantum information theory, we study the classical problem of determining linear spaces of matrices of bounded rank. Spaces of bounded rank three were classified in 1983, and it has been a longstanding problem to classify spaces of bounded rank four. Before our study, no non-classical example of such a space was known. We exhibit two non-classical examples of such spaces and give the full classification of basic spaces of bounded rank four. There are exactly four such up to isomorphism. We also take steps to bring together the methods of the linear algebra community and the algebraic geometry community used to study spaces of bounded rank. △ Less

Submitted 26 June, 2023; originally announced June 2023.

MSC Class: 68Q17; 14L30; 15A69; 15A30

Concise tensors of minimal border rank

Authors: Joachim Jelisiejew, J. M. Landsberg, Arpan Pal

Abstract: We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the v… ▽ More We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the variety of commuting matrices. We introduce a new algebraic invariant of a concise tensor, its 111-algebra, and exploit it to give a strengthening of Friedland's normal form for $1$-degenerate tensors satisfying Strassen's equations. We use the 111-algebra to characterize wild minimal border rank tensors and classify them in $C^5\otimes C^5\otimes C^5$. △ Less

Submitted 15 August, 2023; v1 submitted 11 May, 2022; originally announced May 2022.

Comments: v2, final

MSC Class: 15A69; 14C05; 68Q15

Algebraic Geometry and Representation theory in the study of matrix multiplication complexity and other problems in theoretical computer science

Authors: J. M. Landsberg

Abstract: Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$ is in the $G$-orbit closure of $v$. I explain the computer science problems, the questions in representation theory and algebraic geometry that they give rise t… ▽ More Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$ is in the $G$-orbit closure of $v$. I explain the computer science problems, the questions in representation theory and algebraic geometry that they give rise to, and the new perspectives on old areas such as invariant theory that have arisen in light of these questions. I focus primarily on the complexity of matrix multiplication. △ Less

Submitted 13 August, 2021; originally announced August 2021.

Comments: survey article

MSC Class: 14L30; 68Q15; 68Q17; 15A69; 14L35; 13F20

On the geometry of geometric rank

Authors: Runshi Geng, J. M. Landsberg

Abstract: We make a geometric study of the Geometric Rank of tensors recently introduced by Kopparty et al. Results include classification of tensors with degenerate geometric rank in $C^3\otimes C^3\otimes C^3$, classification of tensors with geometric rank two, and showing that upper bounds on geometric rank imply lower bounds on tensor rank. We make a geometric study of the Geometric Rank of tensors recently introduced by Kopparty et al. Results include classification of tensors with degenerate geometric rank in $C^3\otimes C^3\otimes C^3$, classification of tensors with geometric rank two, and showing that upper bounds on geometric rank imply lower bounds on tensor rank. △ Less

Submitted 25 June, 2021; v1 submitted 8 December, 2020; originally announced December 2020.

MSC Class: 15A69; 68Q17; 14L30

Journal ref: Alg. Number Th. 16 (2022) 1141-1160

Bad and good news for Strassen's laser method: Border rank of the 3x3 permanent and strict submultiplicativity

Authors: Austin Conner, Hang Huang, J. M. Landsberg

Abstract: We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent $ω$ of matrix multiplication. The Kronecker square of the small $q=2$ Coppersmith-Winograd tensor equals the $3\times 3$ permanent, and could potentially be used to show $ω=2$. We prove the negative result for complexity theory that its border rank is $16$, resolving a longstanding proble… ▽ More We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent $ω$ of matrix multiplication. The Kronecker square of the small $q=2$ Coppersmith-Winograd tensor equals the $3\times 3$ permanent, and could potentially be used to show $ω=2$. We prove the negative result for complexity theory that its border rank is $16$, resolving a longstanding problem. Regarding its $q=4$ skew cousin in $ C^5\otimes C^5\otimes C^5$, which could potentially be used to prove $ω\leq 2.11$, we show the border rank of its Kronecker square is at most $42$, a remarkable sub-multiplicativity result, as the square of its border rank is $64$. We also determine moduli spaces $\underline{VSP}$ for the small Coppersmith-Winograd tensors. △ Less

Submitted 23 September, 2020; originally announced September 2020.

MSC Class: 68Q15; 15A69; 14L35

Towards finding hay in a haystack: explicit tensors of border rank greater than $2.02m$ in $C^m\otimes C^m\otimes C^m$

Authors: J. M. Landsberg, Mateusz Michałek

Abstract: We write down an explicit sequence of tensors in $C^m\otimes C^m\otimes C^m$, for all $m$ sufficiently large, having border rank at least $2.02m$, overcoming a longstanding barrier. We obtain our lower bounds via the border substitution method. We write down an explicit sequence of tensors in $C^m\otimes C^m\otimes C^m$, for all $m$ sufficiently large, having border rank at least $2.02m$, overcoming a longstanding barrier. We obtain our lower bounds via the border substitution method. △ Less

Submitted 26 December, 2019; originally announced December 2019.

Comments: 11 pages

MSC Class: 15A69; 14L35; 68Q15

New lower bounds for matrix multiplication and the 3x3 determinant

Authors: Austin Conner, Alicia Harper, J. M. Landsberg

Abstract: Let $M_{\langle u,v,w\rangle}\in C^{uv}\otimes C^{vw}\otimes C^{wu}$ denote the matrix multiplication tensor (and write $M_n=M_{\langle n,n,n\rangle}$) and let $det_3\in ( C^9)^{\otimes 3}$ denote the determinant polynomial considered as a tensor. For a tensor $T$, let $\underline R(T)$ denote its border rank. We (i) give the first hand-checkable algebraic proof that $\underline R(M_2)=7$,(ii) pro… ▽ More Let $M_{\langle u,v,w\rangle}\in C^{uv}\otimes C^{vw}\otimes C^{wu}$ denote the matrix multiplication tensor (and write $M_n=M_{\langle n,n,n\rangle}$) and let $det_3\in ( C^9)^{\otimes 3}$ denote the determinant polynomial considered as a tensor. For a tensor $T$, let $\underline R(T)$ denote its border rank. We (i) give the first hand-checkable algebraic proof that $\underline R(M_2)=7$,(ii) prove $\underline R(M_{\langle 223\rangle})=10$, and $\underline R(M_{\langle 233\rangle})=14$, where previously the only nontrivial matrix multiplication tensor whose border rank had been determined was $M_2$,(iii) prove $\underline R( M_3)\geq 17$, (iv) prove $\underline R( det_3)=17$, improving the previous lower bound of $12$, (v) prove $\underline R(M_{\langle 2nn\rangle})\geq n^2+1.32n$ for all $n\geq 25$ (previously only $\underline R(M_{\langle 2nn\rangle})\geq n^2+1$ was known) as well as lower bounds for $4\leq n\leq 25$, and (vi) prove $\underline R(M_{\langle 3nn\rangle})\geq n^2+2 n+1$ for all $ n\geq 21$, where previously only $\underline R(M_{\langle 3nn\rangle})\geq n^2+2$ was known, as well as lower boundsfor $4\leq n\leq 21$. Our results utilize a new technique initiated by Buczyńska and Buczyński, called border apolarity. The two key ingredients are: (i) the use of a multi-graded ideal associated to a border rank $r$ decomposition of any tensor, and (ii) the exploitation of the large symmetry group of $T$ to restrict to $B_T$-invariant ideals, where $B_T$ is a maximal solvable subgroup of the symmetry group of $T$. △ Less

Submitted 18 November, 2019; originally announced November 2019.

Comments: 23 pages

Tensors with maximal symmetries

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura

Abstract: We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. 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 e… ▽ More We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. 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. △ Less

Submitted 8 October, 2021; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: Much cleaner proof of main theorem and additional results added

MSC Class: 15A69; 68Q17; 14L30

Rank and border rank of Kronecker powers of tensors and Strassen's laser method

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura

Abstract: We prove that the border rank of the Kronecker square of the little Coppersmith-Winograd tensor $T_{cw,q}$ is the square of its border rank for $q > 2$ and that the border rank of its Kronecker cube is the cube of its border rank for $q > 4$. This answers questions raised implicitly in [Coppersmith-Winograd, 1990] and explicitly in [Bläser, 2013] and rules out the possibility of proving new upper… ▽ More We prove that the border rank of the Kronecker square of the little Coppersmith-Winograd tensor $T_{cw,q}$ is the square of its border rank for $q > 2$ and that the border rank of its Kronecker cube is the cube of its border rank for $q > 4$. This answers questions raised implicitly in [Coppersmith-Winograd, 1990] and explicitly in [Bläser, 2013] and rules out the possibility of proving new upper bounds on the exponent of matrix multiplication using the square or cube of a little Coppersmith-Winograd tensor in this range. In the positive direction, we enlarge the list of explicit tensors potentially useful for Strassen's laser method, introducing a skew-symmetric version of the Coppersmith-Winograd tensor, $T_{skewcw,q}$. For $q = 2$, the Kronecker square of this tensor coincides with the $3\times 3$ determinant polynomial, $\det_3 \in \mathbb{C}^9\otimes \mathbb{C}^9\otimes \mathbb{C}^9$, regarded as a tensor. We show that this tensor could potentially be used to show that the exponent of matrix multiplication is two. We determine new upper bounds for the (Waring) rank and the (Waring) border rank of $\det_3$, exhibiting a strict submultiplicative behaviour for $T_{skewcw,2}$ which is promising for the laser method. We establish general results regarding border ranks of Kronecker powers of tensors, and make a detailed study of Kronecker squares of tensors in $\mathbb{C}^3\otimes \mathbb{C}^3\otimes \mathbb{C}^3$. △ Less

Submitted 27 December, 2021; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: Final Version

MSC Class: 68Q17; 14L30; 15A69

Journal ref: computational complexity, 31 (1), 2022

The complexity of matrix multiplication: developments since 2014. Extended abstract of 2018 Oberwolfach Complexity meeting plenary lecture

Authors: Joseph M. Landsberg

Abstract: This is an overview of recent developments regarding the complexity of matrix multiplication, with an emphasis on the uses of algebraic geometry and representation theory in complexity theory. This is an overview of recent developments regarding the complexity of matrix multiplication, with an emphasis on the uses of algebraic geometry and representation theory in complexity theory. △ Less

Submitted 28 November, 2018; originally announced November 2018.

MSC Class: 68Q17

Towards a Geometric Approach to Strassen's Asymptotic Rank Conjecture

Authors: Austin Conner, Fulvio Gesmundo, Joseph M. Landsberg, Emanuele Ventura, Yao Wang

Abstract: We make a first geometric study of three varieties in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ (for each $m$), including the Zariski closure of the set of tight tensors, the tensors with continuous regular symmetry. Our motivation is to develop a geometric framework for Strassen's Asymptotic Rank Conjecture that the asymptotic rank of any tight tensor is minimal. In particular, we… ▽ More We make a first geometric study of three varieties in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ (for each $m$), including the Zariski closure of the set of tight tensors, the tensors with continuous regular symmetry. Our motivation is to develop a geometric framework for Strassen's Asymptotic Rank Conjecture that the asymptotic rank of any tight tensor is minimal. In particular, we determine the dimension of the set of tight tensors. We prove that this dimension equals the dimension of the set of oblique tensors, a less restrictive class introduced by Strassen. △ Less

Submitted 11 February, 2020; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: Final version. Revisions in Section 1 and Section 3

Report number: BCSim-2018-s09 MSC Class: 15A69; 14L35; 68Q15

Journal ref: Collectanea Mathematica, 2020

The geometry of rank decompositions of matrix multiplication II: $3\times 3$ matrices

Authors: Grey Ballard, Christian Ikenmeyer, J. M. Landsberg, Nick Ryder

Abstract: This is the second in a series of papers on rank decompositions of the matrix multiplication tensor. We present new rank $23$ decompositions for the $3\times 3$ matrix multiplication tensor $M_{\langle 3\rangle}$. All our decompositions have symmetry groups that include the standard cyclic permutation of factors but otherwise exhibit a range of behavior. One of them has 11 cubes as summands and ad… ▽ More This is the second in a series of papers on rank decompositions of the matrix multiplication tensor. We present new rank $23$ decompositions for the $3\times 3$ matrix multiplication tensor $M_{\langle 3\rangle}$. All our decompositions have symmetry groups that include the standard cyclic permutation of factors but otherwise exhibit a range of behavior. One of them has 11 cubes as summands and admits an unexpected symmetry group of order 12. We establish basic information regarding symmetry groups of decompositions and outline two approaches for finding new rank decompositions of $M_{\langle n\rangle}$ for larger $n$. △ Less

Submitted 2 January, 2018; originally announced January 2018.

MSC Class: 68Q17; 14L30; 15A69

Explicit polynomial sequences with maximal spaces of partial derivatives and a question of K. Mulmuley

Authors: Fulvio Gesmundo, Joseph M. Landsberg

Abstract: We answer a question of K. Mulmuley: In [Efremenko-Landsberg-Schenck-Weyman] it was shown that the method of shifted partial derivatives cannot be used to separate the padded permanent from the determinant. Mulmuley asked if this "no-go" result could be extended to a model without padding. We prove this is indeed the case using the iterated matrix multiplication polynomial. We also provide several… ▽ More We answer a question of K. Mulmuley: In [Efremenko-Landsberg-Schenck-Weyman] it was shown that the method of shifted partial derivatives cannot be used to separate the padded permanent from the determinant. Mulmuley asked if this "no-go" result could be extended to a model without padding. We prove this is indeed the case using the iterated matrix multiplication polynomial. We also provide several examples of polynomials with maximal space of partial derivatives, including the complete symmetric polynomials. We apply Koszul flattenings to these polynomials to have the first explicit sequence of polynomials with symmetric border rank lower bounds higher than the bounds attainable via partial derivatives. △ Less

Submitted 29 December, 2018; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 18 pages - final version to appear in Theory of Computing

MSC Class: 68Q15; 15A69

Journal ref: Vol. 15 Art. 3 pp. 1-24, 2019

The geometry of rank decompositions of matrix multiplication I: 2x2 matrices

Authors: Luca Chiantini, Christian Ikenmeyer, J. M. Landsberg, Giorgio Ottaviani

Abstract: This is the first in a series of papers on rank decompositions of the matrix multiplication tensor. In this paper we: establish general facts about rank decompositions of tensors, describe potential ways to search for new matrix multiplication decompositions, give a geometric proof of the theorem of Burichenko's theorem establishing the symmetry group of Strassen's algorithm, and present two parti… ▽ More This is the first in a series of papers on rank decompositions of the matrix multiplication tensor. In this paper we: establish general facts about rank decompositions of tensors, describe potential ways to search for new matrix multiplication decompositions, give a geometric proof of the theorem of Burichenko's theorem establishing the symmetry group of Strassen's algorithm, and present two particularly nice subfamilies in the Strassen family of decompositions. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Comments: 9 pages

MSC Class: 68Q17; 14L30; 15A69

On the complexity of the permanent in various computational models

Authors: Christian Ikenmeyer, J. M. Landsberg

Abstract: We answer a question in [Landsberg, Ressayre, 2015], showing the regular determinantal complexity of the determinant det_m is O(m^3). We answer questions in, and generalize results of [Aravind, Joglekar, 2015], showing there is no rank one determinantal expression for perm_m or det_m when m >= 3. Finally we state and prove several "folklore" results relating different models of computation. We answer a question in [Landsberg, Ressayre, 2015], showing the regular determinantal complexity of the determinant det_m is O(m^3). We answer questions in, and generalize results of [Aravind, Joglekar, 2015], showing there is no rank one determinantal expression for perm_m or det_m when m >= 3. Finally we state and prove several "folklore" results relating different models of computation. △ Less

Submitted 1 October, 2016; originally announced October 2016.

Comments: 18 pages

MSC Class: 68Q05 ACM Class: F.1.3

The method of shifted partial derivatives cannot separate the permanent from the determinant

Authors: Klim Efremenko, J. M. Landsberg, Hal Schenck, Jerzy Weyman

Abstract: The method of shifted partial derivatives was used to prove a super-polynomial lower bound on the size of depth four circuits needed to compute the permanent. We show that this method alone cannot prove that the padded permanent $\ell^{n-m} perm_m$ cannot be realized inside the $GL_{n^2}$-orbit closure of the determinant $ det_n$ when $n>2m^2+2m$. Our proof relies on several simple degenerations o… ▽ More The method of shifted partial derivatives was used to prove a super-polynomial lower bound on the size of depth four circuits needed to compute the permanent. We show that this method alone cannot prove that the padded permanent $\ell^{n-m} perm_m$ cannot be realized inside the $GL_{n^2}$-orbit closure of the determinant $ det_n$ when $n>2m^2+2m$. Our proof relies on several simple degenerations of the determinant polynomial, Macaulay's theorem that gives a lower bound on the growth of an ideal, and a lower bound estimate from Gupta et. al. regarding the shifted partial derivatives of the determinant. △ Less

Submitted 7 September, 2016; originally announced September 2016.

Comments: This is one half the replacement of arXiv:1504.05171 which has been split into two papers

MSC Class: 68Q17; 13D02; 14L30; 20B30

A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

Authors: J. M. Landsberg, Mateusz Michałek

Abstract: Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n. Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n. △ Less

Submitted 26 August, 2016; originally announced August 2016.

MSC Class: 68Q17; 14L30; 15A69

On the geometry of border rank algorithms for matrix multiplication and other tensors with symmetry

Authors: J. M. Landsberg, Mateusz Michałek

Abstract: We establish basic information about border rank algorithms for the matrix multiplication tensor and other tensors with symmetry. We prove that border rank algorithms for tensors with symmetry (such as matrix multiplication and the determinant polynomial) come in families that include representatives with normal forms. These normal forms will be useful both to develop new efficient algorithms and… ▽ More We establish basic information about border rank algorithms for the matrix multiplication tensor and other tensors with symmetry. We prove that border rank algorithms for tensors with symmetry (such as matrix multiplication and the determinant polynomial) come in families that include representatives with normal forms. These normal forms will be useful both to develop new efficient algorithms and to prove lower complexity bounds. We derive a border rank version of the substitution method used in proving lower bounds for tensor rank. We use this border-substitution method and a normal form to improve the lower bound on the border rank of matrix multiplication by one, to 2n^2- n+1. We also point out difficulties that will be formidable obstacles to future progress on lower complexity bounds for tensors because of the "wild" structure of the Hilbert scheme of points. △ Less

Submitted 29 January, 2016; originally announced January 2016.

An introduction to geometric complexity theory

Authors: J. M. Landsberg

Abstract: I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem. I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: Draft of article to appear in the Newsletter of the European Mathematical Society. 9 pages in original, arXiv version has extra spaces due to arXiv processing

MSC Class: 68Q15 (20G05)

Permanent v. determinant: an exponential lower bound assumingsymmetry and a potential path towards Valiant's conjecture

Authors: Joseph M. Landsberg, Nicolas Ressayre

Abstract: We initiate a study of determinantal representations with symmetry. We show that Grenet's determinantal representation for the permanent is optimal among determinantal representations respecting left multiplication by permutation and diagonal matrices (roughly half the symmetry group of the permanent). In particular, if any optimal determinantal representation of the permanent must be polynomia… ▽ More We initiate a study of determinantal representations with symmetry. We show that Grenet's determinantal representation for the permanent is optimal among determinantal representations respecting left multiplication by permutation and diagonal matrices (roughly half the symmetry group of the permanent). In particular, if any optimal determinantal representation of the permanent must be polynomially related to one with such symmetry, then Valiant's conjecture on permanent v. determinant is true. △ Less

Submitted 25 August, 2015; v1 submitted 24 August, 2015; originally announced August 2015.

On minimal free resolutions of sub-permanents and other ideals arising in complexity theory

Authors: Klim Efremenko, J. M. Landsberg, Hal Schenck, Jerzy Weyman

Abstract: We compute the linear strand of the minimal free resolution of the ideal generated by k x k sub-permanents of an n x n generic matrix and of the ideal generated by square-free monomials of degree k. The latter calculation gives the full minimal free resolution by work of Biagioli-Faridi-Rosas. Our motivation is to lay groundwork for the use of commutative algebra in algebraic complexity theory. We… ▽ More We compute the linear strand of the minimal free resolution of the ideal generated by k x k sub-permanents of an n x n generic matrix and of the ideal generated by square-free monomials of degree k. The latter calculation gives the full minimal free resolution by work of Biagioli-Faridi-Rosas. Our motivation is to lay groundwork for the use of commutative algebra in algebraic complexity theory. We also compute several Hilbert functions relevant for complexity theory. △ Less

Submitted 3 December, 2017; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: Prior version split into two parts; portion on method of shifted partials is now arXiv 1609.02103. Title changed to reflect modification. V2: changes suggested by referee

MSC Class: 68Q17; 13D02; 14L30; 20B30

Abelian Tensors

Authors: J. M. Landsberg, Mateusz Michałek

Abstract: We analyze tensors in the tensor product of three m-dimensional vector spaces satisfying Strassen's equations for border rank m. Results include: two purely geometric characterizations of the Coppersmith-Winograd tensor, a reduction to the study of symmetric tensors under a mild genericity hypothesis, and numerous additional equations and examples. This study is closely connected to the study of t… ▽ More We analyze tensors in the tensor product of three m-dimensional vector spaces satisfying Strassen's equations for border rank m. Results include: two purely geometric characterizations of the Coppersmith-Winograd tensor, a reduction to the study of symmetric tensors under a mild genericity hypothesis, and numerous additional equations and examples. This study is closely connected to the study of the variety of m-dimensional abelian subspaces of the space of endomorphisms of an m-dimensional vector space, and the subvariety consisting of the Zariski closure of the variety of maximal tori, called the variety of reductions. △ Less

Submitted 6 September, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: to appear in JMPA

MSC Class: 14N05; 68Q17; 15A69; 15A21

Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group

Authors: Shrawan Kumar, J. M. Landsberg

Abstract: We show the Alon-Tarsi conjecture on Latin squares is equivalent to a very special case of a conjecture made independently by Hadamard and Howe, and to the non-vanishing of some interesting integrals over SU(n). Our investigations were motivated by geometric complexity theory. We show the Alon-Tarsi conjecture on Latin squares is equivalent to a very special case of a conjecture made independently by Hadamard and Howe, and to the non-vanishing of some interesting integrals over SU(n). Our investigations were motivated by geometric complexity theory. △ Less

Submitted 30 October, 2014; originally announced October 2014.

Comments: 7 pages

MSC Class: 68Q17

Complexity of linear circuits and geometry

Authors: Fulvio Gesmundo, Jonathan Hauenstein, Christian Ikenmeyer, JM Landsberg

Abstract: We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border) rigidity, (ii) compute degrees of varieties associated to rigidity, (iii) describe algebraic varieties associated to families of matrices that are expected to have s… ▽ More We use algebraic geometry to study matrix rigidity, and more generally, the complexity of computing a matrix-vector product, continuing a study initiated by Kumar, et. al. We (i) exhibit many non-obvious equations testing for (border) rigidity, (ii) compute degrees of varieties associated to rigidity, (iii) describe algebraic varieties associated to families of matrices that are expected to have super-linear rigidity, and (iv) prove results about the ideals and degrees of cones that are of interest in their own right. △ Less

Submitted 10 March, 2015; v1 submitted 4 October, 2013; originally announced October 2013.

Comments: 29 pages, final version to appear in FOCM

MSC Class: 68Q17; 15B05; 65T

Geometric Complexity Theory: an introduction for geometers

Authors: J. M. Landsberg

Abstract: This article is a survey of recent developments in, and a tutorial on, the approach to P v. NP and related questions called Geometric Complexity Theory (GCT). It is written to be accessible to graduate students. Numerous open questions in algebraic geometry and representation theory relevant for GCT are presented. This article is a survey of recent developments in, and a tutorial on, the approach to P v. NP and related questions called Geometric Complexity Theory (GCT). It is written to be accessible to graduate students. Numerous open questions in algebraic geometry and representation theory relevant for GCT are presented. △ Less

Submitted 11 December, 2013; v1 submitted 31 May, 2013; originally announced May 2013.

Comments: 40 pages, v2: many small errors fixed thanks to careful readings by M. Brion, P. Burgisser and R. Tange, v3: 42 pages, more detail added regarding shallow circuits

MSC Class: 68Q17

Equations for lower bounds on border rank

Authors: Jonathan D. Hauenstein, Christian Ikenmeyer, J. M. Landsberg

Abstract: We present new methods for determining polynomials in the ideal of the variety of bilinear maps of border rank at most r. We apply these methods to several cases including the case r = 6 in the space of bilinear maps C^4 x C^4 -> C^4. This space of bilinear maps includes the matrix multiplication operator M_2 for two by two matrices. We show these newly obtained polynomials do not vanish on the ma… ▽ More We present new methods for determining polynomials in the ideal of the variety of bilinear maps of border rank at most r. We apply these methods to several cases including the case r = 6 in the space of bilinear maps C^4 x C^4 -> C^4. This space of bilinear maps includes the matrix multiplication operator M_2 for two by two matrices. We show these newly obtained polynomials do not vanish on the matrix multiplication operator M_2, which gives a new proof that the border rank of the multiplication of 2 x 2 matrices is seven. Other examples are considered along with an explanation of how to implement the methods. △ Less

Submitted 9 July, 2013; v1 submitted 3 May, 2013; originally announced May 2013.

Comments: 13 pages

MSC Class: 68Q17

Explicit tensors of border rank at least 2n-1

Authors: J. M. Landsberg

Abstract: For odd n, I write down tensors in C^n\otimes C^n\otimes C^n of border rank 2n-1, showing the non-triviality of the Young-flattening equations of Landsberg-Ottaviani. I also study the border rank of the tensors of Alexeev et. al., showing the tensors their tensors T_{2^k}, despite having rank equal to 2^{k+1}-1, have border rank equal to 2^k, the minimum of any concise tensor. I also study the equ… ▽ More For odd n, I write down tensors in C^n\otimes C^n\otimes C^n of border rank 2n-1, showing the non-triviality of the Young-flattening equations of Landsberg-Ottaviani. I also study the border rank of the tensors of Alexeev et. al., showing the tensors their tensors T_{2^k}, despite having rank equal to 2^{k+1}-1, have border rank equal to 2^k, the minimum of any concise tensor. I also study the equations of Griesser. △ Less

Submitted 7 August, 2013; v1 submitted 7 September, 2012; originally announced September 2012.

Comments: 8 pages, version 2 contains a study of Griesser's equations

MSC Class: 68Q17; 14M15

New lower bounds for the rank of matrix multiplication

Authors: J. M. Landsberg

Abstract: The rank of the matrix multiplication operator for nxn matrices is one of the most studied quantities in algebraic complexity theory. I prove that the rank is at least n^2-o(n^2). More precisely, for any integer p\leq n -1, the rank is at least (3- 1/(p+1))n^2-(1+2p\binom{2p}{p-1})n. The previous lower bound, due to Blaser, was 5n^2/2-3n (the case p=1). The new bounds improve Blaser's bound for… ▽ More The rank of the matrix multiplication operator for nxn matrices is one of the most studied quantities in algebraic complexity theory. I prove that the rank is at least n^2-o(n^2). More precisely, for any integer p\leq n -1, the rank is at least (3- 1/(p+1))n^2-(1+2p\binom{2p}{p-1})n. The previous lower bound, due to Blaser, was 5n^2/2-3n (the case p=1). The new bounds improve Blaser's bound for all n>84. I also prove lower bounds for rectangular matrices significantly better than the the previous bound. △ Less

Submitted 29 October, 2013; v1 submitted 7 June, 2012; originally announced June 2012.

Comments: Completely rewritten, mistake in error term in previous version corrected. To appear in SICOMP

Padded polynomials, their cousins, and geometric complexity theory

Authors: Harlan Kadish, J. M. Landsberg

Abstract: We establish basic facts about the varieties of homogeneous polynomials divisible by powers of linear forms, and explain consequences for geometric complexity theory. This includes quadratic set-theoretic equations, a description of the ideal in terms of the kernel of a linear map that generalizes the Foulkes-Howe map, and an explicit description of the coordinate ring of the normalization. We als… ▽ More We establish basic facts about the varieties of homogeneous polynomials divisible by powers of linear forms, and explain consequences for geometric complexity theory. This includes quadratic set-theoretic equations, a description of the ideal in terms of the kernel of a linear map that generalizes the Foulkes-Howe map, and an explicit description of the coordinate ring of the normalization. We also prove asymptotic injectivity of the Foulkes-Howe map. △ Less

Submitted 20 April, 2012; originally announced April 2012.

Comments: 8 pages

MSC Class: 14MXX; 68Q15; 14L30

New lower bounds for the border rank of matrix multiplication

Authors: J. M. Landsberg, Giorgio Ottaviani

Abstract: The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 3/2 n^2+ n/2 -1 for all n>2. The bounds are obtained by finding new equations that bilinear… ▽ More The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 3/2 n^2+ n/2 -1 for all n>2. The bounds are obtained by finding new equations that bilinear maps of small border rank must satisfy, i.e., new equations for secant varieties of triple Segre products, that matrix multiplication fails to satisfy. △ Less

Submitted 2 June, 2013; v1 submitted 27 December, 2011; originally announced December 2011.

Comments: 9 pages. Version 1 contained an error in the proof of its main theorem and in the course of fixing it we proved a stronger statement. v3: proof of main theorem moved up

MSC Class: 03D15; 68Q17; 14N99

Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program

Authors: J. M. Landsberg, Laurent Manivel, Nicolas Ressayre

Abstract: We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_{n^2} orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree $n$ in C^{n^2} with dual of d… ▽ More We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_{n^2} orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree $n$ in C^{n^2} with dual of dimension at most 2n-2. We establish additional geometric properties of the Mulmuley-Sohoni variety and prove a quadratic lower bound for the determinental border-complexity of the permanent. △ Less

Submitted 27 April, 2010; originally announced April 2010.

P versus NP and geometry

Authors: J. M. Landsberg

Abstract: I describe three geometric approaches to resolving variants of P v. NP, present several results that illustrate the role of group actions in complexity theory, and make a first step towards completely geometric definitions of complexity classes. I describe three geometric approaches to resolving variants of P v. NP, present several results that illustrate the role of group actions in complexity theory, and make a first step towards completely geometric definitions of complexity classes. △ Less

Submitted 14 April, 2010; v1 submitted 13 October, 2009; originally announced October 2009.

Comments: 20 pages, to appear in special issue of J. Symbolic. Comp. dedicated to MEGA 2009

An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP

Authors: Peter Buergisser, J. M. Landsberg, Laurent Manivel, Jerzy Weyman

Abstract: We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant's algebraic analog of the P not equal to NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate. We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant's algebraic analog of the P not equal to NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate. △ Less

Submitted 7 January, 2011; v1 submitted 16 July, 2009; originally announced July 2009.

Comments: 29 pages, v2: role of symmetric Kronecker coefficients explained

Holographic algorithms without matchgates

Authors: J. M. Landsberg, Jason Morton, Serguei Norine

Abstract: The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedu… ▽ More The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedure, and generalize their applicability to new signatures. Instead of matchgates, which are weighted graph fragments that replace vertices of a natural bipartite graph G associated to a problem P, our approach uses only only a natural number-of-edges by number-of-edges matrix associated to G. An easy-to-compute multiple of its Pfaffian is the number of solutions to the counting problem. This simplification improves our understanding of the applicability of holographic algorithms, indicates a more geometric approach to complexity classes, and facilitates practical implementations. The generalized applicability arises because our approach allows for new algebraic tests that are different from the "Grassmann-Plucker identities" used up until now. Natural problems treatable by these new methods have been previously considered in a different context, and we present one such example. △ Less

Submitted 2 April, 2009; originally announced April 2009.

Comments: 13 pages, 4 figures

Geometry and the complexity of matrix multiplication

Authors: J. M. Landsberg

Abstract: We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.) to motivate researchers to work on these questions, and (iii.) to point out relations with more general problems in geometry. The key geometric objects for… ▽ More We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.) to motivate researchers to work on these questions, and (iii.) to point out relations with more general problems in geometry. The key geometric objects for our study are the secant varieties of Segre varieties. We explain how these varieties are also useful for algebraic statistics, the study of phylogenetic invariants, and quantum computing. △ Less

Submitted 12 March, 2007; originally announced March 2007.

Comments: 34 pages, 4 figures