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

About 13 years old · traced to

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

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

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

BnIc={w∈Bn∣D(w)⊆I},B_n^{I^{\mathrm{c}}}=\{w\in B_n\mid D(w)\subseteq I\},

where Ic=[n−1]0∖II^{\mathrm{c}}=[n-1]_0\setminus I. For w∈Bnw\in B_n, let

L(w)=12#{(i,j)∈[±n]02∣i<j, w(i)>w(j), i≢j mod (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‾)=1−Xm(\underline{m})=1-X^m, (0‾)=1(\underline{0})=1, and

fn,I(X)=(n‾)!(i1‾)!∏r=1l∏σ=1⌊(ir+1−ir)/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 n∈Nn\in\mathbb{N} and every I={i1,…,il}<⊆[n−1]0I=\{i_1,\dots,i_l\}_{<}\subseteq[n-1]_0,

∑w∈BnIc(−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=[n−1]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.

References

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.