34 research outputs found
On the complexity of computing Kronecker coefficients
We study the complexity of computing Kronecker coefficients
. We give explicit bounds in terms of the number of parts
in the partitions, their largest part size and the smallest second
part of the three partitions. When , i.e. one of the partitions
is hook-like, the bounds are linear in , but depend exponentially on
. Moreover, similar bounds hold even when . By a separate
argument, we show that the positivity of Kronecker coefficients can be decided
in time for a bounded number of parts and without
restriction on . Related problems of computing Kronecker coefficients when
one partition is a hook, and computing characters of are also considered.Comment: v3: incorporated referee's comments; accepted to Computational
Complexit
The Saxl Conjecture and the Dominance Order
In 2012 Jan Saxl conjectured that all irreducible representations of the
symmetric group occur in the decomposition of the tensor square of the
irreducible representation corresponding to the staircase partition. We make
progress on this conjecture by proving the occurrence of all those irreducibles
which correspond to partitions that are comparable to the staircase partition
in the dominance order. Moreover, we use our result to show the occurrence of
all irreducibles corresponding to hook partitions. This generalizes results by
Pak, Panova, and Vallejo from 2013.Comment: 11 page
Complexity of short Presburger arithmetic
We study complexity of short sentences in Presburger arithmetic (Short-PA).
Here by "short" we mean sentences with a bounded number of variables,
quantifiers, inequalities and Boolean operations; the input consists only of
the integers involved in the inequalities. We prove that assuming Kannan's
partition can be found in polynomial time, the satisfiability of Short-PA
sentences can be decided in polynomial time. Furthermore, under the same
assumption, we show that the numbers of satisfying assignments of short
Presburger sentences can also be computed in polynomial time
Breaking down the reduced Kronecker coefficients
We resolve three interrelated problems on \emph{reduced Kronecker
coefficients} . First, we disprove the
\emph{saturation property} which states that
implies
for all . Second, we esimate the
maximal , over all
. Finally, we show that computing
is strongly -hard, i.e. -hard when
the input is in unary.Comment: 5 page
Representations of the symmetric group are decomposable in polynomial time
We introduce an algorithm to decompose orthogonal matrix representations of
the symmetric group over the reals into irreducible representations, which as a
by-product also computes the multiplicities of the irreducible representations.
The algorithm applied to a -dimensional representation of is shown to
have a complexity of operations for determining multiplicities of
irreducible representations and a further operations to fully
decompose representations with non-trivial multiplicities. These complexity
bounds are pessimistic and in a practical implementation using floating point
arithmetic and exploiting sparsity we observe better complexity. We demonstrate
this algorithm on the problem of computing multiplicities of two tensor
products of irreducible representations (the Kronecker coefficients problem) as
well as higher order tensor products. For hook and hook-like irreducible
representations the algorithm has polynomial complexity as increases
Necessary conditions for the positivity of Littlewood-Richardson and plethystic coefficients
We give necessary conditions for the positivity of Littlewood-Richardson
coefficients and SXP coefficients. We deduce necessary conditions for the
positivity of the plethystic coefficients. Explicitly, our main result states
that if appears as a summand in the decomposition into
irreducibles of , then 's diagram is contained in
's diagram.Comment: 11 pages, 7 figure
Plane partitions and the combinatorics of some families of reduced Kronecker coefficients.
International audienceWe compute the generating function of some families of reduced Kronecker coefficients. We give a combi- natorial interpretation for these coefficients in terms of plane partitions. This unexpected relation allows us to check that the saturation hypothesis holds for the reduced Kronecker coefficients of our families. We also compute the quasipolynomial that govern these families, specifying the degree and period. Moving to the setting of Kronecker co- efficients, these results imply some observations related to the rate of growth experienced by the families of Kronecker coefficients associated to the reduced Kronecker coefficients already studied
Bounds on Kronecker and -binomial coefficients
We present a lower bound on the Kronecker coefficients for tensor squares of
the symmetric group via the characters of~, which we apply to obtain
various explicit estimates. Notably, we extend Sylvester's unimodality of
-binomial coefficients as polynomials in~ to derive
sharp bounds on the differences of their consecutive coefficients. We then
derive effective asymptotic lower bounds for a wider class of Kronecker
coefficients.Comment: version May 2016: improved the effective constants. To appear in
JCTA. This paper is an extension of parts of the earlier paper "Bounds on the
Kronecker coefficients" arXiv:1406.2988, which also contains stability
result