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