Shifted-binomial log-concavity conjecture for Plücker coefficients

Less than 1 year old · traced to

Let λ=(2e2,…,mem)\lambda=(2^{e_2},\ldots,m^{e_m}) be a partition without parts equal to 11, and set

N:=∣λ∣,M:=∣λ~∣,N:=|\lambda|,\qquad M:=|\widetilde\lambda|,

where λ~\widetilde\lambda is obtained by subtracting 11 from each part. Write the Plücker expansion

[Y‾λ(d)]=∑⌈M/2⌉≤i≤MPλ;i(d)si,M−i.[\overline Y_\lambda(d)]=\sum_{\lceil M/2\rceil\le i\le M}P_{\lambda;i}(d)s_{i,M-i}.

Set d=N+xd=N+x, define Qλ;i(x):=Pλ;i(N+x)Q_{\lambda;i}(x):=P_{\lambda;i}(N+x), and expand

Qλ;i(x)=∑r≥0Cλ;i,r(xr).Q_{\lambda;i}(x)=\sum_{r\ge0}C_{\lambda;i,r}\binom xr.

Shifted-binomial log-concavity conjecture. For every partition λ\lambda without parts equal to 11, and every admissible index ii, the sequence (Cλ;i,0,Cλ;i,1,Cλ;i,2,…)(C_{\lambda;i,0},C_{\lambda;i,1},C_{\lambda;i,2},\ldots) is nonnegative and log-concave. Equivalently, Cλ;i,r≥0C_{\lambda;i,r}\ge0 and

Cλ;i,r2≥Cλ;i,r−1Cλ;i,r+1,C_{\lambda;i,r}^2\ge C_{\lambda;i,r-1}C_{\lambda;i,r+1},

with Cλ;i,r=0C_{\lambda;i,r}=0 outside the degree range of Qλ;iQ_{\lambda;i}. The conjecture concerns a shifted binomial refinement of positivity and log-concavity for Plücker coefficients; 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).

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.