Abstract:Algebraic Combinatorics originated in Algebra and Representation Theory, studying their discrete objects and integral quantities via combinatorial methods which have since developed independent and self-contained lives and brought us some beautiful formulas and combinatorial interpretations. The flagship hook-length formula counts the number of Standard Young Tableaux, which also gives the dimension of the irreducible Specht modules of the Symmetric group. The elegant Littlewood-Richardson rule gives the multiplicities of irreducible GL-modules in the tensor products of GL-modules. Such formulas and rules have inspired large areas of study and development beyond Algebra and Combinatorics, becoming applicable to Integrable Probability and Statistical Mechanics, and Computational Complexity Theory. We will see what lies beyond the reach of such nice product formulas and combinatorial interpretations and enter the realm of Computational Complexity Theory, that could formally explain the beauty we see and the difficulties we encounter in finding further formulas and ``combinatorial interpretations''. A 85-year-old such problem asks for a positive combinatorial formula for the Kronecker coefficients of the Symmetric group, another one pertains to the plethysm coefficients of the General Linear group. In the opposite direction, the study of Kronecker and plethysm coefficients leads to the disproof of the wishful approach of Geometric Complexity Theory (GCT) towards the resolution of the algebraic P vs NP Millennium problem, the VP vs VNP problem. In order to make GCT work and establish computational complexity lower bounds, we need to understand representation theoretic multiplicities in further detail, possibly asymptotically.

Motivated exposition of combinatorial Nullstellensatz

Combinatorial Nullstellensatz Techniques

A Gr\"{o}bner Basis Approach to Combinatorial Nullstellensatz

A Gröbner Basis Approach to Combinatorial Nullstellensatz

Dimension-free matricial Nullstellensätze for noncommutative polynomials

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem

Combinatorics and N-Koszul algebras

Projective Nullstellensatz for not necessarily algebraically closed fields

Polynomial‐exponential equations — Some new cases of solvability

Reducing non-negativity over general semialgebraic sets to non-negativity over simple sets

Computational Complexity in Algebraic Combinatorics

Polynomial-exponential equations -- some new cases of solvability

Extended Nullstellensatz proof systems

Reducing Nonnegativity over General Semialgebraic Sets to Nonnegativity over Simple Sets

Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

Signed combinatorial interpretations in algebraic combinatorics

Finite models for positive combinatorial and exponential algebra

An algebraic combinatorial approach to Sylvester's denumerant

Integrability and combinatorics

Existence proofs in combinatorics using independence