# An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to $\mathbf{VP}\neq\mathbf{VNP}$

## Abstract

### MSC codes

### Keywords

## Get full access to this article

View all available purchase options and get full access to this article.

## References

*A combinatorial interpretation for the coefficients in the Kronecker product $s_ {(n-p,p)}\ast s_\lambda$*, Sém. Lothar. Combin., 54A (2005/07), B54Af.

*J. Amer. Math. Soc.*, 13 (2000), pp. 433–466.

*Inform. Process. Lett.*, 18 (1984), pp. 147–150.

*Proc. Amer. Math. Soc.*, 18 (1967), pp. 566–569.

*The complexity of multiprecision arithmetic*, in Proceedings of the Seminar on Complexity of Computational Problem Solving, Brisbane, Australia, 1975, pp. 126–165.

*Comput. Complexity*, 18 (2008), pp. 577–600.

*Manuscripta Math.*, 80 (1993), pp. 347–371.

*Completeness and Reduction in Algebraic Complexity Theory*, Algorithms Comput. Math. 7, Springer-Verlag, Berlin, 2000.

*Theoret. Comput. Sci.*, 235 (2000), pp. 71–88.

*Found. Comput. Math.*, 4 (2004), pp. 369–396.

*Adv. Math.*, 227 (2011), pp. 2082–2091.

*J. Algebra*, 328 (2011), pp. 322–329.

*Geometric complexity theory and tensor rank*, in Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing, 2011, pp. 509–518.

*Comm. Math. Phys.*, 270 (2007), pp. 575–585.

*Commutative Algebra: With a View toward Algebraic Geometry*, Grad. Texts in Math. 150, Springer-Verlag, New York, 1995.

*Adv. in Math.*, 70 (1988), pp. 135–155.

*G*-varieties and tensor products of symmetric group representations,

*J. Lie Theory*, 12 (2002), pp. 539–549.

*Über die Darstellung der endlichen Gruppen durch lineare Substitutionen*, Sitzungsber Deutsch. Akad. Wiss. Berlin, (1897), pp. 994–1015.

*Representation Theory: A First Course*, Grad. Texts in Math. 129, Springer-Verlag, New York, 1991.

*J. Symbolic Comput.*, 4 (1987), pp. 137–172.

*Rocky Mountain J. Math.*, 6 (1976), pp. 449–455.

*Fundam. Prikl. Mat.*, 9 (2003), pp. 83–101.

*Ample Subvarieties of Algebraic Varieties*, Notes written in collaboration with C. Musili, Lecture Notes in Math. 156, Springer-Verlag, Berlin, 1970.

*Math. Ann.*, 42 (1893), pp. 313–373.

*II, Ann. of Math. (2), 79 (1964), pp. 109–203; ibid.*, 79 (1964), pp. 205–326.

*Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond*, in The Schur Lectures (1992) (Tel Aviv), Israel Math. Conf. Proc. 8, Bar-Ilan University, Ramat Gan, Israel, 1995, pp. 1–182.

*Expressing a fraction of two determinants as a determinant*, in Proceedings of ISSAC '08, ACM, New York, 2008, pp. 141–146.

*Ann. of Math. (2)*, 108 (1978), pp. 299–316.

*Quantum marginal problem and representations of the symmetric group*, arXiv:quant-ph/0409113v1, 2004.

*Lie Groups Beyond an Introduction*, 2nd ed., Progr. Math. 140, Birkhäuser Boston, Boston, MA, 2002.

*Amer. J. Math.*, 85 (1963), pp. 327–404.

*Geometrische Methoden in der Invariantentheorie*, Aspects Math. D1, Friedr. Vieweg & Sohn, Braunschweig, 1984.

*Geometry of orbits of permanents and determinants*, arXiv:1007.1695v1, 2010.

*Kac-Moody Groups, Their Flag Varieties and Representation Theory*, Progr. Math. 204, Birkhäuser Boston, Boston, MA, 2002.

*Hypersurfaces with degenerate duals and the geometric complexity theory program*, Comment. Math. Helv., to appear.

*Symmetric Functions and Hall Polynomials*, 2nd ed., Oxford Math. Monogr., The Clarendon Press, Oxford University Press, New York, 1995.

*Manuscripta Math.*, 95 (1998), pp. 169–180.

*J. Complexity*, 24 (2008), pp. 16–38.

*Ann. Inst. Fourier (Grenoble)*, 47 (1997), pp. 715–773.

*Gaussian maps and plethysm*, in Algebraic Geometry (Catania, 1993/Barcelona, 1994), Lecture Notes in Pure and Appl. Math. 200, Dekker, New York, 1998, pp. 91–117.

*Proc. Amer. Math. Soc.*, 138 (2010), pp. 1–7.

*Canad. J. Math.*, 14 (1962), pp. 177–189.

*Nagoya Math. J.*, 16 (1960), pp. 205–218.

*Permanents*, in Encyclopedia of Mathematics and its Applications, Vol. 6, Encyclopedia Math. Appl. 9999, Addison–Wesley, Reading, MA, 1978.

*SIAM J. Comput.*, 31 (2001), pp. 496–526.

*SIAM J. Comput.*, 38 (2008), pp. 1175–1206.

*Geometric complexity theory*III:

*On deciding positivity of Littlewood-Richardson coefficients*, arXiv:cs/0501076v1, 2005.

*Geometric Complexity Theory*IV:

*Quantum Group for the Kronecker Problem*, preprint, Department of Computer Science, The University of Chicago, Chicago, IL.

*Geometric Complexity Theory*V:

*On Deciding Nonvanishing of a Generalized Littlewood-Richardson Coefficient*, Technical report TR-2007-05, Department of Computer Science, The University of Chicago, Chicago, IL, 2007.

*Geometric Complexity Theory*VI:

*The Flip via Saturated and Positive Integer Programming in Representation Theory and Algebraic Geometry*, Technical report TR-2007-04, Department of Computer Science, The University of Chicago, Chicago, IL, 2007.

*Geometric Complexity Theory*VII:

*Nonstandard Quantum Group for the Plethysm Problem*, Technical report TR-2007-14, Department of Computer Science, The University of Chicago, Chicago, IL, 2007.

*Geometric Complexity Theory: On Canonical Bases for the Nonstandard Quantum Groups*, Technical report TR-2007-15, Department of Computer Science, The University of Chicago, Chicago, IL, 2007.

*J. ACM*, 58 (2011), article 5.

*Amer. J. Math.*, 60 (1938), pp. 761–784.

*Funkcional. Anal. i Priložen.*, 9 (1975), pp. 81–82.

*Tr. Mat. Inst. Steklova*, 264 (2009), pp. 152–164.

*Lie Groups: An Approach through Invariants and Representations*, Universitext, Springer-Verlag, New York, 2007.

*Invent. Math.*, 180 (2010), pp. 389–441.

*Combinatorial Mathematics*, Carus Math. Monogr. 14, Mathematical Association of America, Washington, DC, 1963.

*Bell System Tech. J.*, 27 (1948), pp. 379–423, 623–656.

*Transform. Groups*, 5 (2000), pp. 361–402.

*Invariant Theory*, Lecture Notes in Math. 585, Springer-Verlag, Berlin, 1977.

*Irreducible symmetric group characters of rectangular shape*, Sém. Lothar. Combin., 50 (2003/04), B50d.

*IEICE Trans. Inf. Syst.*, E75-D (1992), pp. 116–124.

*Reducibility by algebraic projections*, in Logic and Algorithmic: An International Symposium Held in Honor of Ernst Specker, Monogr. Enseign. Math. 30, University of Geneva, Geneva, Switzerland, 1982, pp. 365–380.

*Completeness classes in algebra*, in Proceedings of the 11th Annual ACM Symposium on Theory of Computing, 1979, pp. 249–261.

*Cohomology of Vector Bundles and Syzygies*, Cambridge Tracts in Math. 149, Cambridge University Press, Cambridge, UK, 2003.

## Information & Authors

### Information

#### Published In

#### Copyright

#### History

**Submitted**: 17 July 2009

**Accepted**: 2 May 2011

**Published online**: 23 August 2011

#### MSC codes

#### Keywords

### Authors

## Metrics & Citations

### Metrics

### Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

#### Cited By

- Splitting Kronecker squares, 2-decomposition numbers, Catalan combinatorics, and the Saxl conjectureAlgebraic Combinatorics, Vol. 6, No. 4 | 29 August 2023
- Separated borders: Exponential-gap fanin-hierarchy theorem for approximative depth-3 circuits2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) | 1 Oct 2022
- A note on VNP-completeness and border complexityInformation Processing Letters, Vol. 176 | 1 Jun 2022
- Algebraic geometry and representation theory in the study of matrix multiplication complexity and other problems in theoretical computer scienceDifferential Geometry and its Applications, Vol. 82 | 1 Jun 2022
- Multivariate Series and DiagonalsAlgorithmic and Symbolic Combinatorics | 23 December 2020
- Vanishing symmetric Kronecker coefficientsBeiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, Vol. 61, No. 2 | 17 October 2019
- Generalized Foulkes modules and maximal and minimal constituents of plethysms of Schur functionsProceedings of the London Mathematical Society, Vol. 118, No. 5 | 2 November 2018
- No occurrence obstructions in geometric complexity theoryJournal of the American Mathematical Society, Vol. 32, No. 1 | 4 October 2018
- On Algebraic Branching Programs of Small WidthJournal of the ACM, Vol. 65, No. 5 | 29 August 2018
- Efficient Algorithms for Tensor Scaling, Quantum Marginals, and Moment Polytopes2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS) | 1 Oct 2018
- On vanishing of Kronecker coefficientscomputational complexity, Vol. 26, No. 4 | 27 July 2017
- Geometric complexity theory and matrix poweringDifferential Geometry and its Applications, Vol. 55 | 1 Dec 2017
- Rectangular Kronecker coefficients and plethysms in geometric complexity theoryAdvances in Mathematics, Vol. 319 | 1 Oct 2017
- Non-commutative Edmonds’ problem and matrix semi-invariantscomputational complexity, Vol. 26, No. 3 | 19 August 2016
- Fundamental invariants of orbit closuresJournal of Algebra, Vol. 477 | 1 May 2017
- Permanent versus determinant: Not via saturationsProceedings of the American Mathematical Society, Vol. 145, No. 3 | 28 November 2016
- Membership in Moment Polytopes is in NP and coNPSIAM Journal on Computing, Vol. 46, No. 3 | 13 June 2017
- Geometric complexity theory V: Efficient algorithms for Noether normalizationJournal of the American Mathematical Society, Vol. 30, No. 1 | 21 June 2016
- Plethysm and Lattice Point CountingFoundations of Computational Mathematics, Vol. 16, No. 5 | 7 August 2015
- No Occurrence Obstructions in Geometric Complexity Theory2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) | 1 Oct 2016
- Rectangular Kronecker Coefficients and Plethysms in Geometric Complexity Theory2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) | 1 Oct 2016
- Geometric aspects of Iterated Matrix MultiplicationJournal of Algebra, Vol. 461 | 1 Sep 2016
- Exponential varietiesProceedings of the London Mathematical Society, Vol. 112, No. 1 | 7 January 2016
- On the asymptotics of Kronecker coefficientsJournal of Algebraic Combinatorics, Vol. 42, No. 4 | 25 June 2015
- The Saxl conjecture and the dominance orderDiscrete Mathematics, Vol. 338, No. 11 | 1 Nov 2015
- Connections between conjectures of Alon–Tarsi, Hadamard–Howe, and integrals over the special unitary groupDiscrete Mathematics, Vol. 338, No. 7 | 1 Jul 2015
- Unifying Known Lower Bounds via Geometric Complexity Theorycomputational complexity, Vol. 24, No. 2 | 7 May 2015
- Geometric complexity theory: an introduction for geometersANNALI DELL'UNIVERSITA' DI FERRARA, Vol. 61, No. 1 | 11 February 2014
- A Complexity Theory of Constructible Functions and SheavesFoundations of Computational Mathematics, Vol. 15, No. 1 | 28 October 2014
- A study of the representations supported by the orbit closure of the determinantCompositio Mathematica, Vol. 151, No. 2 | 24 October 2014
- Fano schemes of determinants and permanentsAlgebra & Number Theory, Vol. 9, No. 3 | 17 April 2015
- Eigenvalue Distributions of Reduced Density MatricesCommunications in Mathematical Physics, Vol. 332, No. 1 | 19 August 2014
- A diagrammatic approach to Kronecker squaresJournal of Combinatorial Theory, Series A, Vol. 127 | 1 Sep 2014
- Padded Polynomials, Their Cousins, and Geometric Complexity TheoryCommunications in Algebra, Vol. 42, No. 5 | 16 January 2014
- Bounded-rank tensors are defined in bounded degreeDuke Mathematical Journal, Vol. 163, No. 1 | 15 Jan 2014
- Computing Multiplicities of Lie Group Representations2012 IEEE 53rd Annual Symposium on Foundations of Computer Science | 1 Oct 2012
- Prospects for Geometric Complexity Theory2012 IEEE 27th Conference on Computational Complexity | 1 Jun 2012
- Algebraic geometry tools for the study of entanglement: an application to spin squeezed statesJournal of Physics A: Mathematical and Theoretical, Vol. 45, No. 10 | 23 February 2012