Stasinski–Voll's signed LL-generating-function conjecture for hyperoctahedral descent classes

Let BnB_n be the hyperoctahedral group, with Coxeter length l:BnN0l:B_n\to\mathbb{N}_0 and descent set

D(w)={i[n1]0l(wsi)<l(w)}.D(w)=\{i\in[n-1]_0\mid l(ws_i)<l(w)\}.

For I={i1,,il}<[n1]0I=\{i_1,\dots,i_l\}_{<}\subseteq[n-1]_0, put il+1=ni_{l+1}=n and define

BnIc={wBnD(w)I},B_n^{I^{\mathrm{c}}}=\{w\in B_n\mid D(w)\subseteq I\},

where Ic=[n1]0II^{\mathrm{c}}=[n-1]_0\setminus I. For wBnw\in B_n, let

L(w)=12#{(i,j)[±n]02i<j, w(i)>w(j), i≢jmod(2)}.L(w)=\frac{1}{2}\#\{(i,j)\in[\pm n]_0^2\mid i<j,\ w(i)>w(j),\ i\not\equiv j\bmod(2)\}.

Writing (m)=1Xm(\underline{m})=1-X^m, (0)=1(\underline{0})=1, and

fn,I(X)=(n)!(i1)!r=1lσ=1(ir+1ir)/2(2σ)1,f_{n,I}(X)=\frac{(\underline{n})!}{(\underline{i_1})!}\prod_{r=1}^{l}\prod_{\sigma=1}^{\lfloor(i_{r+1}-i_r)/2\rfloor}(\underline{2\sigma})^{-1},

Stasinski–Voll's conjecture. For every nNn\in\mathbb{N} and every I={i1,,il}<[n1]0I=\{i_1,\dots,i_l\}_{<}\subseteq[n-1]_0,

wBnIc(1)l(w)XL(w)=fn,I(X).\sum_{w\in B_n^{I^{\mathrm{c}}}}(-1)^{l(w)}X^{L(w)}=f_{n,I}(X).

In particular, when I=[n1]0I=[n-1]_0, this asserts that the signed LL-generating function over all of BnB_n equals (n)!(\underline{n})!. The conjecture gives explicit generating functions for the new statistic LL on hyperoctahedral descent classes; its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Alexander Stasinski and Christopher Voll, “A new statistic on the hyperoctahedral groups”, arXiv:1303.0990 (2013).

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.