Dilks–Petersen–Stembridge conjecture on affine Eulerian polynomials

At least 13 years old · documented by

Let WW be an irreducible finite Weyl group generated by {s1,s2,…,sn}\{s_1,s_2,\ldots,s_n\}, and let s0s_0 be the reflection corresponding to the highest root. For σ∈W\sigma\in W, define its affine descent set by

Des⁡~ σ={i∈Des⁡ σ:1≤i≤n}∪{0:ℓ(σs0)>ℓ(σ)},\widetilde{\operatorname{Des}}\,\sigma=\{i\in\operatorname{Des}\,\sigma:1\leq i\leq n\}\cup\{0:\ell(\sigma s_0)>\ell(\sigma)\},

and set des⁡~ σ=∣Des⁡~ σ∣\widetilde{\operatorname{des}}\,\sigma=|\widetilde{\operatorname{Des}}\,\sigma|. Define the affine Eulerian polynomial

W~(x)=∑σ∈Wxdes⁡~ σ.\widetilde{W}(x)=\sum_{\sigma\in W}x^{\widetilde{\operatorname{des}}\,\sigma}.

Dilks–Petersen–Stembridge conjecture. For any irreducible finite Weyl group WW, the affine Eulerian polynomial W~(x)\widetilde{W}(x) has only real zeros. The conjecture is an affine analogue of the real-rootedness theorem for descent polynomials of finite Coxeter groups. The affine Eulerian polynomials are known to have unimodal coefficients, but the asserted real-rootedness remains open in the supplied source.

References

Primary source

Arthur L. B. Yang and Philip B. Zhang, “Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups”, arXiv:1401.6273 (2014).

Additional references

3 papers in this index state this conjecture (2012–2014). The statement above is taken from the most recent of them; the others are arXiv:1208.3831, arXiv:1203.0791.

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.