Searcharxiv⌕ Search

arXiv subjects

Joseph M. Landsberg

Publications and source records attributed to Joseph M. Landsberg.

8 recordsLinked to original sources

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

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$.

cs.CC↗

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 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.

math.RT↗

Towards a Geometric Approach to Strassen's Asymptotic Rank Conjecture

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.

math.AG↗

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

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.

cs.CC↗

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

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.

math.AG↗

On the projective geometry of homogeneous spaces

We study the projective geometry of homogeneous varieties $X= G/P\subset P(V)$, where $G$ is a complex simple Lie group, $P$ is a maximal parabolic subgroup and $V$ is the minimal $G$-module associated to $P$. Our study began with the observation that Freudenthal's magic chart could be derived from Zak's theorem on Severi varieties and standard geometric constructions. Our attempt to understand this observation led us to discover further connections between projective geometry and representation theory. Among other things, we calculate the variety of tangent directions to lines on $X$ through a point and determine unirulings of $X$. We show this variety is a Hermitian symmetric space if and only if $P$ does not correspond to a short root. We describe the spaces corresponding to the exceptional short roots and their unirulings using the octonions. Further calculations, in the case $X$ is a Hermitian symmetric space, give rise to a strict prolongation property and the appearance of secant varieties at the infinitesimal level. Our work complements and advances that of Freudenthal and Tits, who studied homogeneous varieties in an abstract/axiomatic setting.

math.AG↗

Algebraic geometry and projective differential geometry, Seoul National University concentrated lecture series, 1997

This is an expanded and updated version of a lecture series I gave at Seoul National University in September 1997. It is in some sense an update of the 1979 Griffiths and Harris paper with a similar title. I discuss: Homogeneous varieties, Topology and consequences Projective differential invariants, Varieties with degenerate Gauss images, When can a uniruled variety be smooth?, Dual varieties, Linear systems of bounded and constant rank, Secant and tangential varieties, Systems of quadrics with tangential defects, Recognizing uniruled varieties, Recognizing intersections of quadrics, Recognizing homogeneous spaces, Complete intersections. This is a preliminary version, so please send me comments, corrections and questions.

math.AG↗