Real-rootedness conjecture for Narayana polynomials over binary nestohedra

From papers

For a positive integer nn, define the Narayana polynomial

Nn(x)=i=1n1n(ni)(ni1)xi.N_n(x)=\sum_{i=1}^n\frac{1}{n}\binom{n}{i}\binom{n}{i-1}x^i.

Given a composition q=(q0,,qk)Z>0k+1\mathbf q=(q_0,\ldots,q_k)\in\mathbb Z_{>0}^{k+1}, define

Nq(x)=i=0kNqi(x).N_{\mathbf q}(x)=\prod_{i=0}^kN_{q_i}(x).

An integral binary nestohedron PRk+1P\subseteq\mathbb R^{k+1} is a binary nestohedron whose vertices are integral. Nestohedral real-rootedness conjecture. For each integral binary nestohedron PRk+1P\subseteq\mathbb R^{k+1}, the polynomial

qPZk+1Nq(x)\sum_{\mathbf q\in P\cap\mathbb Z^{k+1}}N_{\mathbf q}(x)

has only real roots and is, therefore, log-concave.

This is a proposed nestohedral reformulation and extension of the stack-sorting descent-polynomial real-rootedness conjecture. Its real-rootedness and log-concavity remain open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Colin Defant, “Fertilitopes”, arXiv:2102.11836 (2023).

Solutions 0

No solutions have been posted yet.