Shifted Plücker value log-concavity conjecture

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, set N:=∣λ∣N:=|\lambda| and M:=∣λ~∣M:=|\widetilde\lambda|, and write

[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}.

For each admissible pair (λ,i)(\lambda,i), define Qλ;i(x):=Pλ;i(N+x)Q_{\lambda;i}(x):=P_{\lambda;i}(N+x). Shifted Plücker value log-concavity conjecture. For every admissible pair (λ,i)(\lambda,i), the sequence

Qλ;i(0),Qλ;i(1),Qλ;i(2),…Q_{\lambda;i}(0),Q_{\lambda;i}(1),Q_{\lambda;i}(2),\ldots

is log-concave after deleting its initial zeroes. Equivalently,

Pλ;i(N+x)2≥Pλ;i(N+x−1)Pλ;i(N+x+1)P_{\lambda;i}(N+x)^2\ge P_{\lambda;i}(N+x-1)P_{\lambda;i}(N+x+1)

for all x≥1x\ge1 in the nonzero range. The source says this is a formally weaker consequence of the shifted-binomial conjecture and 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.