Real-rootedness classification for refined Narayana polynomials

For every pair of integers 1≤k≤n1\le k\le n, consider the refined Narayana polynomial and its formal degree-kk symmetric decomposition, written in the form Fn,k(t)=an,k(t)+t bn,k(t)F_{n,k}(t)=a_{n,k}(t)+t\,b_{n,k}(t). The problem is to determine exactly for which pairs (n,k)(n,k) the polynomials an,k(t)a_{n,k}(t) and the coefficientwise absolute-value polynomial ∣bn,k(t)∣|b_{n,k}(t)| are real-rooted, according to Conjecture 36 of Bóna et al. The supplied source reports that the published classification fails at (n,k)=(3,3)(n,k)=(3,3): there a3,3(t)=(1+t)(1+t2)a_{3,3}(t)=(1+t)(1+t^2) and ∣b3,3(t)∣=1+t+t2|b_{3,3}(t)|=1+t+t^2, neither of which is real-rooted. A boundary-corrected classification has been proposed, but its general proof has not been independently verified.

References

Additional references

Progress summary

Refreshed
Claimed solved

A repository manuscript claims to settle the classification, but the claim has not been independently checked.

The problem asks for a complete real-rootedness classification of refined Narayana polynomials. No proposer or date is identified in the retrieved material.

Repository proof claim

Shunpei Shimizu deposited a candidate proof of a boundary-corrected classification. The two retrieved records appear to represent the same deposit; no independent verification is supplied.

Current status (as of September 2026): A complete classification is claimed in an unrefereed repository deposit, but the proof remains unverified.

Sources

Solutions 0

No solutions have been posted yet.