Shifted-binomial log-concavity conjecture for stable CSM–Schur coefficients

About 9 years old · traced to

Let λ\lambda be a partition with parts at least 22, and set

c=codim⁡Yλ=∣λ∣−ℓ(λ).c=\operatorname{codim}Y_\lambda=|\lambda|-\ell(\lambda).

For every f≥cf\ge c, write the homogeneous degree-ff part of the stable Chern–Schwartz–MacPherson class as

cSM(Yλ(d))f=∑i=0⌊f/2⌋Cλ,f,i(d)sf−i,i(a,b),c^{SM}(Y_\lambda(d))_f=\sum_{i=0}^{\lfloor f/2\rfloor}C_{\lambda,f,i}(d)s_{f-i,i}(a,b),

where Cλ,f,i(d)C_{\lambda,f,i}(d) is polynomial in dd in the stable range. Define

C~λ,f,i(d)=(−1)f−cCλ,f,i(d),y=d−∣λ∣−2(f−c).\widetilde C_{\lambda,f,i}(d)=(-1)^{f-c}C_{\lambda,f,i}(d),\qquad y=d-|\lambda|-2(f-c).

Shifted-binomial log-concavity conjecture. The shifted polynomial

C~λ,f,i(y+∣λ∣+2(f−c))\widetilde C_{\lambda,f,i}\bigl(y+|\lambda|+2(f-c)\bigr)

has a nonnegative binomial-basis expansion

C~λ,f,i(y+∣λ∣+2(f−c))=∑j≥0γλ,f,i,j(yj),γλ,f,i,j≥0.\widetilde C_{\lambda,f,i}\bigl(y+|\lambda|+2(f-c)\bigr)=\sum_{j\ge0}\gamma_{\lambda,f,i,j}\binom yj, \qquad \gamma_{\lambda,f,i,j}\ge0.

Moreover, after deleting possible initial zeroes, the coefficient sequence (γλ,f,i,0,γλ,f,i,1,γλ,f,i,2,…)(\gamma_{\lambda,f,i,0},\gamma_{\lambda,f,i,1},\gamma_{\lambda,f,i,2},\ldots) is log-concave:

γλ,f,i,j 2≥γλ,f,i,j−1γλ,f,i,j+1.\gamma_{\lambda,f,i,j}^{\,2}\ge\gamma_{\lambda,f,i,j-1}\gamma_{\lambda,f,i,j+1}.

The conjecture extends the shifted-binomial positivity and log-concavity pattern from Plücker coefficients to stable CSM classes of coincident-root strata; the source gives no resolution status.

References

Primary source

Gergely Bérczi and László M. Fehér, “Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics”, arXiv:2605.25271 (2026).

Additional references

2 papers in this index state this conjecture (2017–2026). The statement above is taken from the most recent of them; the others are arXiv:1707.03459.

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.