Stretched Littlewood-Richardson Coefficients

Find partitions whose stretched LR-coefficients, when expressed as a polynomial, have a negative coefficient.

Unsolved Combinatorics
Major advance

About the problem

The Littlewood-Richardson (LR) coefficients are central quantities in algebraic combinatorics, appearing in several interrelated contexts. They are indexed by partitions \(\lambda, \mu, \nu\) and written \(c^{\nu}_{\lambda \mu}\). The stretched LR-coefficients are the LR-coefficients of integer scalings of the underlying partitions, written \(c^{t \nu}_{t \lambda, t \mu}\).

The stretched LR-coefficients are known to be polynomial in \(t\). It is conjectured that the coefficients of this polynomial are positive, but the problem author expects this to be false. The aim of this problem is to find a counterexample.

Attempts by AI

AI prompts

Full problem

Let c^{tλ}_{tμ,tν} denote the stretched Littlewood-Richardson coefficients associated with integer partitions λ, μ, ν, where |λ| = |μ| + |ν|. Find integer partitions λ, μ, ν, such that when c^{tλ}_{tμ,tν} is expressed as a polynomial in t, at least one of the coefficients of this polynomial is negative. Each of the partitions must have length ≤ 7 and sum of parts ≤ 30.

Produce your partitions as a list of Python lists of ints.

Mathematician survey

The author assessed the problem as follows.

Number of mathematicians highly familiar with the problem:

a majority of those working in a subfield (≈100)

Number of mathematicians who have made a serious attempt to solve the problem:

5–10

Rough guess of how long it would take an expert human to solve the problem:

1–3 years

Notability of a solution:

a major advance in a subfield

A solution would be published:

in a leading general journal

Likelihood of a solution generating more interesting math:

somewhat likely: an especially innovative solution could, but is hardly guaranteed

Probability that the problem is solvable as stated:

60-80%