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%