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.

In How Many Ways Can You Reassemble Several Russian Dolls?

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

A multi-computational exploration of some games of pure chance

Computational complexity of counting coincidences

Enumeration Schemes And (More Importantly) Their Automatic Generation

Using Symbolic Computation to analyze some Children's Board Games

Computational Complexity in Algebraic Combinatorics

Some Interesting Connections!

“Russian Killer” No. 2: A Challenging Geometric Theorem with Human and Machine Proofs

On a combinatorial problem in the Secret Santa ritual

Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan

Astrophysical Russian Dolls

Computational and Theoretical Challenges on Counting Solid Standard Young Tableaux

Improved Approximation Algorithm for the Number of Queries Necessary to Identify a Permutation

Baron Munchhausen's Sequence

The intricate labyrinth of Collatz sequences

a Few Pieces of Mathematics Inspired by Real Biological Data

Infinity in computable probability

Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)

Summa Summarum: Moessner's Theorem without Dynamic Programming

A Probability Method to Prove Combinatorial Identities