On vanishing of Kronecker coefficients

@article{Ikenmeyer2017OnVO,
  title={On vanishing of Kronecker coefficients},
  author={Christian Ikenmeyer and Ketan Mulmuley and Michael Walter},
  journal={computational complexity},
  year={2017},
  volume={26},
  pages={949-992}
}
We show that the problem of deciding positivity of Kronecker coefficients is NP-hard. Previously, this problem was conjectured to be in P, just as for the Littlewood–Richardson coefficients. Our result establishes in a formal way that Kronecker coefficients are more difficult than Littlewood–Richardson coefficients, unless P = NP.We also show that there exists a #P-formula for a particular subclass of Kronecker coefficients whose positivity is NP-hard to decide. This is an evidence that… 
The Computational Complexity of Plethysm Coefficients
TLDR
This work is the first to apply techniques from discrete tomography to the study of plethysm coefficients and derive new lower and upper bounds and in special cases even combinatorial descriptions for plethYSm coefficients, which the authors consider to be of independent interest.
Membership in Moment Polytopes is in NP and coNP
We show that the problem of deciding membership in the moment polytope associated with a finite-dimensional unitary representation of a compact, connected Lie group is in NP and coNP. This is the
No occurrence obstructions in geometric complexity theory
The permanent versus determinant conjecture is a major problem in complexity theory that is equivalent to the separation of the complexity classes V P w s \mathrm
Rectangular Kronecker Coefficients and Plethysms in Geometric Complexity Theory
TLDR
It is proved that the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial lower bounds on dc(perm), the determinantal complexity of the permanent polynomial.
On the symmetries of design polynomials
TLDR
The “flip theorem” for NW is obtained, which implies that NWd,k is circuit-testable in randomized polynomial time, and a structural similarity is shown between the group of symmetries of the permanent and that of NW d,k.
Permanent versus determinant, obstructions, and Kronecker coefficients
TLDR
The concept of a representation theoretic obstruction is introduced, which has close links to algebraic combinatorics, and some of the insights gained so far on the complexity of testing the positivity of Kronecker coefficients are addressed.
Permanent versus determinant, obstructions, and Kronecker coefficients
TLDR
The concept of a representation theoretic obstruction is introduced, which has close links to algebraic combinatorics, and some of the insights gained so far on the complexity of testing the positivity of Kronecker coefficients are addressed.
Non-commutative Edmonds’ problem and matrix semi-invariants
TLDR
This paper considers the non-commutative version of Edmonds’ problem: compute the rank of T over the free skew field by using an algorithm of Gurvits, and assuming the above bound of sigma for R(n, m) over Q, deciding whether or not T has non-Commutative rank < n over Q can be done deterministically in time polynomial in the input size and $$sigma}$$σ.
On the counting of $O(N)$ tensor invariants
$O(N)$ invariants are the observables of real tensor models. We use regular colored graphs to represent these invariants, the valence of the vertices of the graphs relates to the tensor rank. We
Combinatorics of KP hierarchy structural constants
We investigate the structural constants of the KP hierarchy, which appear as universal coefficients in the paper of Natanzon–Zabrodin arXiv:1509.04472. It turns out that these constants have a
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 57 REFERENCES
Geometric complexity theory III: on deciding nonvanishing of a Littlewood–Richardson coefficient
We point out that the positivity of a Littlewood–Richardson coefficient $c^{\gamma}_{\alpha, \beta}$ for sln can be decided in strongly polynomial time. This means that the number of arithmetic
Membership in Moment Polytopes is in NP and coNP
We show that the problem of deciding membership in the moment polytope associated with a finite-dimensional unitary representation of a compact, connected Lie group is in NP and coNP. This is the
Explicit Proofs and The Flip
TLDR
Any proof of the arithmetic implication of the $P$ vs. $NP$ conjecture is close to an explicit proof in the sense that it can be transformed into an explicitProof by proving in addition that arithmetic circuit identity testing can be derandomized in a blackbox fashion.
Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties
TLDR
The results indicate that the fundamental lower bound problems in complexity theory are, in turn, intimately linked with explicit construction problems in algebraic geometry and representation theory.
Rectangular Kronecker Coefficients and Plethysms in Geometric Complexity Theory
TLDR
It is proved that the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial lower bounds on dc(perm), the determinantal complexity of the permanent polynomial.
Permanent versus determinant, obstructions, and Kronecker coefficients
TLDR
The concept of a representation theoretic obstruction is introduced, which has close links to algebraic combinatorics, and some of the insights gained so far on the complexity of testing the positivity of Kronecker coefficients are addressed.
Semi-invariants of quivers and saturation for Littlewood-Richardson coefficients
Σ(Q,α) is defined in the space of all weights by one homogeneous linear equation and by a finite set of homogeneous linear inequalities. In particular the set Σ(Q,α) is saturated, i.e., if nσ ∈
Kronecker coefficients for one hook shape
We give a positive combinatorial formula for the Kronecker coefficient g_{lambda mu(d) nu} for any partitions lambda, nu of n and hook shape mu(d) := (n-d,1^d). Our main tool is Haiman's \emph{mixed
Computing Multiplicities of Lie Group Representations
TLDR
It is shown that information on the asymptotic growth rates of multiplicities in the coordinate rings of orbit closures does not directly lead to new complexity-theoretic obstructions beyond what can be obtained from the moment polytopes of the orbit closures.
...
1
2
3
4
5
...