Panova's equivalence conjecture for #P computation of Kronecker coefficients

Let \textscComputeKron\textsc{ComputeKron} be the problem of computing g(λ,μ,ν)g(\lambda,\mu,\nu) from partitions λ,μ,ν\lambda,\mu,\nu, and let (λ)\ell(\lambda) denote the number of parts of λ\lambda. Panova's conjecture. The problem \textscComputeKron\textsc{ComputeKron} is in #P\#\mathrm{P} when restricted to (λ)=2\ell(\lambda)=2 if and only if it is in #P\#\mathrm{P} in the general case. Likewise, restricting to inputs with μ=ν=(nd)\mu=\nu=(n^d) and λnd\lambda\vdash nd yields membership in #P\#\mathrm{P} if and only if the general problem is in #P\#\mathrm{P}.

The claim proposes that two structured families capture the general #P\#\mathrm{P}-membership question; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Greta Panova, “Computational Complexity in Algebraic Combinatorics”, arXiv:2306.17511 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.