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

P Bürgisser, JM Landsberg, L Manivel… - SIAM Journal on …, 2011 - SIAM
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 …

Superpolynomial lower bounds against low-depth algebraic circuits

N Limaye, S Srinivasan, S Tavenas - Communications of the ACM, 2024 - dl.acm.org
An Algebraic Circuit for a multivariate polynomial P is a computational model for constructing
the polynomial P using only additions and multiplications. It is a syntactic model of …

S Aaronson - Open problems in mathematics, 2016 - Springer
Abstract In 1950, John Nash sent a remarkable letter to the National Security Agency, in
which—seeking to build theoretical foundations for cryptography—he all but formulated what …

No occurrence obstructions in geometric complexity theory

P Bürgisser, C Ikenmeyer, G Panova - Journal of the American …, 2019 - ams.org
The permanent versus determinant conjecture is a major problem in complexity theory that is
equivalent to the separation of the complexity classes $\mathrm {VP} _ {\mathrm {ws}} $ and …

Near-optimal set-multilinear formula lower bounds

D Kush, S Saraf - 38th Computational Complexity Conference …, 2023 - drops.dagstuhl.de
The seminal work of Raz (J. ACM 2013) as well as the recent breakthrough results by
Limaye, Srinivasan, and Tavenas (FOCS 2021, STOC 2022) have demonstrated a potential …

Complexity and asymptotics of structure constants

G Panova - arXiv preprint arXiv:2305.02553, 2023 - arxiv.org
Kostka, Littlewood-Richardson, Kronecker, and plethysm coefficients are fundamental
quantities in algebraic combinatorics, yet many natural questions about them stay …

Circuit complexity, proof complexity, and polynomial identity testing: The ideal proof system

JA Grochow, T Pitassi - Journal of the ACM (JACM), 2018 - dl.acm.org
We introduce a new and natural algebraic proof system, whose complexity measure is
essentially the algebraic circuit size of Nullstellensatz certificates. This enables us to exhibit …

The complexity of factors of multivariate polynomials

P Bürgisser - Foundations of Computational Mathematics, 2004 - Springer
The existence of string functions, which are not polynomial time computable, but whose
graph is checkable in polynomial time, is a basic assumption in cryptography. We prove that …

Computational complexity in algebraic combinatorics

G Panova - arXiv preprint arXiv:2306.17511, 2023 - arxiv.org
Algebraic Combinatorics originated in Algebra and Representation Theory, studying their
discrete objects and integral quantities via combinatorial methods which have since …

[PDF][PDF] Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients

C Ikenmeyer - PhD diss., Universität Paderborn, 2013 - core.ac.uk
We provide a thorough introduction to Geometric Complexity Theory, an approach towards
computational complexity lower bounds via methods from algebraic geometry and …