Geometric complexity theory and tensor rank

@article{Brgisser2011GeometricCT,
  title={Geometric complexity theory and tensor rank},
  author={Peter B{\"u}rgisser and Christian Ikenmeyer},
  journal={ArXiv},
  year={2011},
  volume={abs/1011.1350}
}
Mulmuley and Sohoni [GCT1, SICOMP 2001; GCT2, SICOMP 2008] proposed to view the permanent versus determinant problem as a specific orbit closure problem and to attack it by methods from geometric invariant and representation theory. We adopt these ideas towards the goal of showing lower bounds on the border rank of specific tensors, in particular for matrix multiplication. We thus study specific orbit closure problems for the group G =GL(W1) x GL(W2) x GL(W3) acting on the tensor product W=W1… 

Figures from this paper

On the complexity of evaluating highest weight vectors

In the setting of interest in GCT, the NP-hardness of the evaluation of HWVs in general is proved, and efficient algorithms are given if the treewidth of the corresponding Young-diagram is small, where the point of evaluation is concisely encoded as a noncommutative algebraic branching program.

Polystability in positive characteristic and degree lower bounds for invariant rings

We develop a representation theoretic technique for detecting closed orbits that is applicable in all characteristics. Our technique is based on Kempf’s theory of optimal subgroups and we make some

Matrix multiplication algorithms from group orbits

Using lattices the authors give the most transparent proof to date of Strassen's algorithm; the same proof works for all n, to yield a decomposition with $n^3 - n + 1$ terms.

Geometric complexity theory and matrix powering

The Computational Complexity of Plethysm Coefficients

This work is the first to apply techniques from discrete tomography to the study of plethysm coefficients and derive new lower and upper bounds and in special cases even combinatorial descriptions for plethYSm coefficients, which the authors consider to be of independent interest.

Universal points in the asymptotic spectrum of tensors

It is proved that the quantum functionals are asymptotic upper bounds on slice-rank and multi-slice rank, extending a result of Tao and Sawin and extending the Coppersmith–Winograd method via combinatorial degeneration.

Prospects for Geometric Complexity Theory

  • Peter Bürgisser
  • Mathematics
    2012 IEEE 27th Conference on Computational Complexity
  • 2012
It is a remarkable fact that two prominent problems of algebraic complexity theory, the permanent versus determinant problem and the tensor rank problem (matrix multiplication), can be restated as explicit orbit closure problems, and asymptotic versions of the the latter questions are of relevance in quantum information theory.

On cap sets and the group-theoretic approach to matrix multiplication

It is shown that a variant of tensor rank due to Tao gives a quantitative understanding of the notion of unstable tensor from geometric invariant theory.

Implementing geometric complexity theory: on the separation of orbit closures via symmetries

This paper tightens the relationship between the orbit of the power sum polynomial and its closure, so that it can separate this orbit closure from the orbit closure of the product of variables by just considering the symmetry groups of both polynomials and their representation theoretic decomposition coefficients.

Two classes of minimal generic fundamental invariants for tensors

Motivated by the problems raised by Bürgisser and Ikenmeyer in [16], we discuss two classes of minimal generic fundamental invariants for tensors of order 3. The first one is defined on ⊗3Cm, where m
...

References

SHOWING 1-10 OF 40 REFERENCES

Relative bilinear complexity and matrix multiplication.

The significance of this notion lies, above all, in the key role of matrix multiplication for numerical linear algebra. Thus the following problems all have "exponent' : Matrix inversion,

Instability in invariant theory

Let V be a representation of a reductive group G. A fundamental theorem in geometric invariant theory states that there are enough polynomial functions on V, which are invariant under G, to

Geometric Invariant Theory and Generalized Eigenvalue Problem II

— Let G be a connected reductive subgroup of a complex connected reductive group Ĝ. Fix maximal tori and Borel subgroups of G and Ĝ. Consider the cone LR◦(G, Ĝ) generated by the pairs (ν, ν̂) of

Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties

The results indicate that the fundamental lower bound problems in complexity theory are, in turn, intimately linked with explicit construction problems in algebraic geometry and representation theory.

Geometric Complexity Theory I: An Approach to the P vs. NP and Related Problems

The notion of a partially stable point in a reductive-group representation is introduced, which generalizes the notion of stability in geometric invariant theory due to Mumford and reduces fundamental lower bound problems in complexity theory to problems concerning infinitesimal neighborhoods of the orbits of partially stable points.

The Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes

The Kronecker product of two Schur functions sμ and sν, denoted by sμ * sν, is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group

On the Kronecker product of Schur functions of two row shapes

The Kronecker product of two homogeneous symmetric polynomials P1 and P2 is dened by means of the Frobenius map by the formula P1P2 = F (F 1 P1)(F 1 P2). When P1 and P2 are Schur functions s and s

The border rank of the multiplication of 2×2 matrices is seven

One of the leading problems of algebraic complexity theory is matrix multiplication. The naive multiplication of two n× n matrices uses n multiplications. In 1969, Strassen [20] presented an explicit

The Spectra of Quantum States and the Kronecker Coefficients of the Symmetric Group

Determining the relationship between composite systems and their subsystems is a fundamental problem in quantum physics. In this paper we consider the spectra of a bipartite quantum state and its two