Skip to main contentSkip to search
Episciences
Open Access Journals
Sign in(new window)
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Discrete Mathematics & Theoretical Computer Science logo
Discrete Mathematics & Theoretical Computer Science
Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSectionsSpecial issuesAuthors
About
The journalIndexing
Boards
Publish
For authorsEthical charter
Submit
Discrete Mathematics & Theoretical Computer Science logo
Contact
|
Credits
eISSN 1365-8050
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. The complexity of co ...
Conference paper

The complexity of computing Kronecker coefficients

Peter Bürgisser (1), Christian Ikenmeyer (1)
(1) Mathematisches Institut der Universität Paderborn
Download article
Open on HAL
Imported on
May 10, 2017
Published on
December 31, 2007
Last modified on
March 31, 2025
Volume
DMTCS Proceedings vol. AJ, 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008)
Proceedings
DOI
10.46298/dmtcs.3622
License
https://about.hal.science/hal-authorisation-v1
Indicators
834
Views
1610
Downloads

The complexity of computing Kronecker coefficients

Peter Bürgisser (1), Christian Ikenmeyer (1)
(1) Mathematisches Institut der Universität Paderborn
Abstract
English
Kronecker coefficients are the multiplicities in the tensor product decomposition of two irreducible representations of the symmetric group $S_n$. They can also be interpreted as the coefficients of the expansion of the internal product of two Schur polynomials in the basis of Schur polynomials. We show that the problem $\mathrm{KRONCOEFF}$ of computing Kronecker coefficients is very difficult. More specifically, we prove that $\mathrm{KRONCOEFF}$ is #$\mathrm{P}$-hard and contained in the complexity class $\mathrm{GapP}$. Formally, this means that the existence of a polynomial time algorithm for $\mathrm{KRONCOEFF}$ is equivalent to the existence of a polynomial time algorithm for evaluating permanents.
French
Les coefficients de Kronecker sont les multiplicités dans la décomposition du produit tensoriel de deux représentations irréductibles du groupe symétrique. On peut aussi les voir comme les coefficients du développement du produit interne des polynômes de Schur. Nous montrons que le problème $\mathrm{KRONCOEFF}$ de calculer les coefficients de Kronecker est très difficile. Plus précisément, nous prouvons que $\mathrm{KRONCOEFF}$ est #$\mathrm{P}$-dur et que $\mathrm{KRONCOEFF}$ est dans la classe de complexité $\mathrm{GapP}$. Cela veut dire qu'il existe un algorithme pour $\mathrm{KRONCOEFF}$ s'exécutant en temps polynomial si et seulement s'il existe un algorithme pour l'évaluation du permanent s'exécutant en temps polynomial.
Keywords
  • [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
  • [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
  • representations of symmetric groups
  • tensor products
  • Kronecker coefficients
  • computational complexity
Cited by

Source: OpenCitations

  • Covering $$\textsf{Irrep}(S_n)$$ With tensor products and powers

    Mathematische Annalen

    Authors : Mark Sellke ORCID

    Journal reference : Volume 388, 2022, pp. 831-865

    DOI : 10.1007/s00208-022-02532-3
  • On the Kronecker product of Schur functions of square shapes

    Algebraic Combinatorics

    Authors : Chenchen Zhao ORCID

    Journal reference : Volume 7, 2024, pp. 1575-1600

    DOI : 10.5802/alco.381
  • The Saxl conjecture for fourth powers via the semigroup property

    arXiv (Cornell University)

    Authors : Sammy Luo, Mark Sellke

    Journal reference : Volume 45, 2016, pp. 33-80

    DOI : 10.1007/s10801-016-0700-z
  • External Columns and Chambers of Vector Partition Functions

    Discrete & Computational Geometry

    Authors : Stefan Trandafir ORCID

    Journal reference : Volume 75, 2025, pp. 141-192

    DOI : 10.1007/s00454-025-00762-1
  • Vanishing of Littlewood–Richardson polynomials is in P

    Computational Complexity

    Authors : Anshul Adve, Colleen Robichaux ORCID, Alexander Yong ORCID

    Journal reference : Volume 28, 2019, pp. 241-257

    DOI : 10.1007/s00037-019-00183-6
  • Integrality, duality and finiteness in combinatoric topological strings

    Journal of High Energy Physics

    Authors : Robert de Mello Koch ORCID, Yang-Hui He ORCID, Garreth Kemp ORCID, Sanjaye Ramgoolam ORCID

    Journal reference : Volume 2022, 2022, pp.

    DOI : 10.1007/jhep01(2022)071
  • Representations of the Symmetric Group are Decomposable in Polynomial Time

    Foundations of Computational Mathematics

    Authors : Sheehan Olver ORCID

    Journal reference : Volume 26, 2025, pp. 1069-1092

    DOI : 10.1007/s10208-025-09697-8
  • Quantum Algorithms for Representation-Theoretic Multiplicities

    Physical Review Letters

    Authors : Martín Larocca ORCID, Vojtech Havlicek ORCID

    Journal reference : Volume 135, 2025, pp. 010602

    DOI : 10.1103/k5tx-xtr3
  • A max-flow algorithm for positivity of Littlewood-Richardson coefficients

    Discrete Mathematics & Theoretical Computer Science

    Authors : Peter Bürgisser ORCID, Christian Ikenmeyer ORCID

    Journal reference : Volume DMTCS Proceedings vol. AK,..., 2009, pp.

    DOI : 10.46298/dmtcs.2749
  • Multivariate Series and Diagonals

    Texts & monographs in symbolic computation/Texts and monographs in symbolic computation

    Authors : Stephen Melczer ORCID

    Journal reference : Volume , 2020, pp. 93-141

    DOI : 10.1007/978-3-030-67080-1_3
Preview
Loading PDF preview...