All Kronecker coefficients are reduced Kronecker coefficients

Christian Ikenmeyer,Greta Panova

2023-05-05

Abstract:We settle the question of where exactly the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of a question by Stanley from 2000 and a question by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is $NP$-hard, and computing them is $\#P$-hard under parsimonious many-one reductions.

Combinatorics,Computational Complexity,Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the relationship between Kronecker coefficients and reduced Kronecker coefficients. Specifically, by showing that the Kronecker coefficient of each symmetric group is equal to an explicitly constructed reduced Kronecker coefficient, the authors have solved the problem of the exact position of the reduced Kronecker coefficient between the Littlewood - Richardson coefficient and the Kronecker coefficient. This finding implies that the problems proposed by Stanley in 2000 and Kirillov in 2004 regarding the combinatorial interpretations of these two types of coefficients are actually equivalent.

Furthermore, as a corollary, the authors also proved that the problem of determining the positivity of reduced Kronecker coefficients is NP - hard, and calculating them while keeping the quantity unchanged is a #P - hard problem. The solutions to these problems not only deepen our understanding of these mathematical structures but also provide an important theoretical basis for further research.