An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to VP≠VNP

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.

[1]  Arkady Berenstein,et al.  Coadjoint orbits, moment polytopes, and the Hilbert-Mumford criterion , 1998 .

[2]  Ketan Mulmuley,et al.  Geometric Complexity Theory IV: quantum group for the Kronecker problem , 2007, ArXiv.

[3]  Laurent Manivel,et al.  A note on certain Kronecker coefficients , 2008, 0809.3710.

[4]  Vladimir L. Popov,et al.  Two Orbits: When is one in the closure of the other? , 2008, 0808.2735.

[5]  Ketan Mulmuley,et al.  Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties , 2006, SIAM J. Comput..

[6]  Joe W. Harris,et al.  Vector spaces of matrices of low rank , 1988 .

[7]  Shrawan Kumar,et al.  Kac-Moody Groups, their Flag Varieties and Representation Theory , 2002 .

[8]  Leslie G. Valiant,et al.  Completeness classes in algebra , 1979, STOC.

[9]  Peter Bürgisser,et al.  Completeness and Reduction in Algebraic Complexity Theory , 2000, Algorithms and computation in mathematics.

[10]  Ketan Mulmuley,et al.  Geometric Complexity Theory VI: the flip via saturated and positive integer programming in representation theory and algebraic geometry , 2007, ArXiv.

[11]  Kay Magaard,et al.  Irreducibility of alternating and¶symmetric squares , 1998 .

[12]  Rosa Orellana,et al.  A COMBINATORIAL INTERPRETATION FOR THE COEFFICIENTS IN THE KRONECKER PRODUCT s(n p;p) s , 2005 .

[13]  Peter Bürgisser.  Cook's versus Valiant's hypothesis , 2000, Theor. Comput. Sci..

[14]  Michel Brion,et al.  Stable properties of plethysm : on two conjectures of Foulkes , 1993 .

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

[16]  Richard P. Stanley,et al.  Séminaire Lotharingien de Combinatoire 50 (2004), Article B50d Irreducible Symmetric Group Characters of Rectangular Shape 1 The main result. , 2022 .

[17]  J. Weyman.  Cohomology of Vector Bundles and Syzygies , 2003 .

[18]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[19]  Felix Klein,et al.  An approach through invariants and representations , 2008 .

[20]  A. W. Knapp.  Lie groups beyond an introduction , 1988 .

[21]  F. Murnaghan.  The Analysis of the Kronecker Product of Irreducible Representations of the Symmetric Group , 1938 .

[22]  Stuart J. Berkowitz,et al.  On Computing the Determinant in Small Parallel Time Using a Small Number of Processors , 1984, Inf. Process. Lett..

[23]  Shantala Mukherjee,et al.  Coadjoint Orbits for A , 2005 .

[24]  Joachim von zur Gathen,et al.  Feasible Arithmetic Computations: Valiant's Hypothesis , 1987, J. Symb. Comput..

[25]  Matthias Christandl,et al.  Nonvanishing of Kronecker coefficients for rectangular shapes , 2009, 0910.4512.

[26]  Peter Bürgisser,et al.  Geometric complexity theory and tensor rank , 2010, STOC '11.

[27]  Ketan D. Mulmuley Hariharan Narayanan.  Geometric Complexity Theory V: On deciding nonvanishing of a generalized Littlewood-Richardson coefficient , 2007, ArXiv.

[28]  Ketan Mulmuley,et al.  Geometric Complexity Theory VII: Nonstandard quantum group for the plethysm problem , 2007, ArXiv.

[29]  Shrawan Kumar,et al.  Geometry of orbits of permanents and determinants , 2010, 1007.1695.

[30]  Matthias Christandl,et al.  Even partitions in plethysms , 2010, 1003.4474.

[31]  Dominic Welsh,et al.  COMPLETENESS AND REDUCTION IN ALGEBRAIC COMPLEXITY THEORY (Algorithms and Computation in Mathematics 7) By PETER BÜRGISSER: 168 pp., $44.50, ISBN 3-540-66752-0 (Springer, Berlin, 2000). , 2002 .

[32]  Peter Bürgisser,et al.  The Complexity of Factors of Multivariate Polynomials , 2001, Found. Comput. Math..

[33]  Nicolas Ressayre,et al.  Geometric invariant theory and the generalized eigenvalue problem , 2007, 0704.2127.

[34]  A. M. Popov,et al.  Irreducible simple linear Lie groups with finite standard subgroups of general position , 1975 .

[35]  B. Kostant,et al.  Lie Group Representations on Polynomial Rings , 1963 .

[36]  G. Kempf,et al.  Instability in invariant theory , 1978, 1807.02890.

[37]  A. Klyachko.  QUANTUM MARGINAL PROBLEM AND REPRESENTATIONS OF THE SYMMETRIC GROUP , 2004, quant-ph/0409113.

[38]  Valeri V.Dolotin.  On Invariant Theory , 1995, alg-geom/9512011.

[39]  Seinosuke Toda,et al.  Classes of Arithmetic Circuits Capturing the Complexity of Computing the Determinant , 1992 .

[40]  H. Ryser.  Combinatorial Mathematics: THE PRINCIPLE OF INCLUSION AND EXCLUSION , 1963 .

[41]  Robin Hartshorne,et al.  Ample subvarieties of algebraic varieties , 1970 .

[42]  Guillaume Malod,et al.  Characterizing Valiant's algebraic complexity classes , 2006, J. Complex..

[43]  I. G. MacDonald,et al.  Symmetric functions and Hall polynomials , 1979 .

[44]  Laurent Manivel,et al.  Applications de Gauss et pléthysme , 1997 .

[45]  Ketan Mulmuley,et al.  Geometric Complexity Theory VIII: On canonical bases for the nonstandard quantum groups , 2007, ArXiv.

[46]  Joe Harris,et al.  Representation Theory: A First Course , 1991 .

[47]  Ketan Mulmuley,et al.  Geometric Complexity III: on deciding positivity of Littlewood-Richardson coefficients , 2005, ArXiv.

[48]  Aram W. Harrow,et al.  Nonzero Kronecker Coefficients and What They Tell us about Spectra , 2007 .

[49]  Basic Theory,et al.  Kac-Moody Groups , 2002 .

[50]  Marvin Marcus,et al.  The Permanent Function , 1962, Canadian Journal of Mathematics.

[51]  M. Franz.  Moment Polytopes of Projective G-Varieties and Tensor Products of Symmetric Group Representations , 2002 .

[52]  R. Howe,et al.  Perspectives on invariant theory : Schur duality, multiplicity-free actions and beyond , 1995 .

[53]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[54]  D. Hilbert,et al.  Ueber die vollen Invariantensysteme , 1893 .

[55]  Rosa C. Orellana,et al.  Reduced Kronecker coefficients and counter-examples to Mulmuley's saturation conjecture SH , 2008, ArXiv.

[56]  J. M. Landsberg,et al.  Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program , 2010, ArXiv.

[57]  Hanspeter Kraft,et al.  Geometrische Methoden in der Invariantentheorie , 1984 .

[58]  D MulmuleyKetan.  On P vs. NP and geometric complexity theory , 2011 .

[59]  H. Hironaka.  Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II , 1964 .

[60]  Rosa C. Orellana,et al.  Reduced Kronecker Coefficients and Counter–Examples to Mulmuley’s Strong Saturation Conjecture SH , 2009, computational complexity.

[61]  J. Weyman,et al.  The algebras of semi-invariants of quivers , 2000 .

[62]  Ketan Mulmuley,et al.  Geometric Complexity Theory I: An Approach to the P vs. NP and Related Problems , 2002, SIAM J. Comput..

[63]  Peter Botta,et al.  Linear transformations that preserve the permanent , 1967 .

[64]  Erich Kaltofen,et al.  Expressing a fraction of two determinants as a determinant , 2008, ISSAC '08.

[65]  Laurent Manivel,et al.  Gaussian Maps and Plethysm , 1992 .

[66]  R. H. Makar.  On the Analysis of the Kronecker Product of Irreducible Representations of the Symmetric Group , 1949 .