Generating functions for certain statistics on Coxeter groups of type B - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T20:24:39Z http://mathoverflow.net/feeds/question/20626 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20626/generating-functions-for-certain-statistics-on-coxeter-groups-of-type-b Generating functions for certain statistics on Coxeter groups of type B A Stasinski 2010-04-07T13:07:43Z 2010-04-10T10:04:10Z <p><strong>Background</strong></p> <p>In combinatorics one is sometimes interested in various 'statistics' on a Coxeter group (e.g., functions from the group to the natural numbers), and to find a 'nice' expression for a corresponding generating function. For example, the length function $l$ on a Coxeter group $W$ is an important statistic, and when $W=S_{n}$ is the symmetric group on $n$ letters, a classical result of this type is the identity $$\sum_{w\in S_{n}}t{}^{l(w)}=\prod_{i=1}^{n}\frac{1-t^{i}}{1-t},$$</p> <p>where $t$ is an indeterminate (cf. Stanley, Enumerative Combinatorics, vol. 1, Coroll. 1.3.10). There are also variations on the problem, where one considers sums over elements $w$ whose right descent set</p> <p><code>$$D_{R}(w):=\{x\in W\mid l(wx)&lt;l(w)\}$$</code></p> <p>is contained in a given subset $I\subseteq S$ of the fundamental reflections $S$ of the group $W$. There are several examples in the literature of sums of the form $$\sum_{\substack{w\in W\ D_{R}(w)\subseteq I} }t^{f(w)}\quad\text{or}\sum_{\substack{w\in W\ D_{R}(w)\subseteq I} }(-1)^{l(w)}t^{f(w)},$$</p> <p>where $f:W\rightarrow\mathbb{N}$ is a given statistic on $W$, and it is sometimes possible to express these generating functions in a (non-trivial) simple algebraic way, as in the above example.</p> <p>Let $[n]$ denote the set ${1,2,\dots,n}$, and let $S_{n}^{B}$ be the signed permutation group, that is, the group of all bijections $w$ of the set $[\pm n]={\pm1,\pm2,\dots,\pm n}$, such that $w(-a)=-a$, for all $a$ in the set (cf. Björner \&amp; Brenti: Combinatorics of Coxeter Groups, 8.1). If $w\in S_{n}^{B}$, we write $w=[a_{1},\dots,a_{n}]$ to mean $w(i)=a_{i}$, for $i=1,\dots,n$. For $i\in[n-1]$, the $i$th Coxeter generator of $S_{n}^{B}$ is given by $$s_{i}:=[1,\dots,i-1,i+1,i,i+2,\dots,n],$$ and we also put $$s_{0}:=[-1,2,\dots,n].$$</p> <p>We may therefore identify the set of generators $s_{i}$ with the set <code>$[n-1]_{0}:=[n-1]\cup\{0\}$</code>. Hence, for any subset <code>$I\subseteq[n-1]_{0}$</code>, we write $D_{R}(w)\subseteq I$ rather than <code>$D_{R}(w)\subseteq\{s_{i}\mid i\in I\}$</code>.</p> <p><strong>Questions</strong></p> <p>In addition to defining a collection of generators, a set <code>$I=\{i_{1},\dots,i_{l}\}\subseteq[n-1]_{0}$</code>, with <code>$i_{1}&lt;i_{2}&lt;\cdots&lt;i_{l}$</code> also defines the following polynomial (related to Gaussian polynomials):</p> <p><code>$$\alpha_{I,n}(t):=\frac{(\underline{n})!}{(\underline{i_{1}})!\prod_{r=1}^{l}\prod_{s=1}^{\lfloor(i_{r+1}-i_{r})/2\rfloor}(\underline{2s})}.$$</code></p> <p>Here $\lfloor\cdot\rfloor$ denotes the floor function, and we use the notation $(\underline{0}):=1$, $(\underline{a}):=1-t^{a}$, for $a\geq1$, and $(\underline{a})!:=(\underline{1})(\underline{2})\cdots(\underline{a})$. To get a correct formula, we also put $i_{l+1}:=n$.}</p> <p>Define the following statistic on <code>$S_{n}^{B}$</code>: <code>$$\tilde{L}(w):=\frac{1}{2}|\{x,y\in[\pm n]\mid x&lt;y,\ w(x)&gt;w(y),\ x\not\equiv y\pmod{2}\}|.$$</code></p> <p>The question is now:</p> <blockquote> <p>Is it true that for any $n$ and $I$ as above, we have</p> <p><code>$$\alpha_{I,n}(t)=\sum_{\substack{w\in S_{n}^{B}\\ D_{R}(w)\subseteq I} }(-1)^{l(w)}t^{\tilde{L}(w)}?$$</code></p> </blockquote> <p>A less precise but more general question is the following: Given a family of polynomials <code>$p_{I,n}(t)\in\mathbf{Z}[t]$</code> depending on $I$ and $n$, is there any general (non-trivial) sufficient criterion for the existence of functions $f,g:W\rightarrow\mathbb{N}$ on a finite Coxeter group $W$, such that for all $I$ and $n$, we have</p> <p><code>$$p_{I,n}(t)=\sum_{\substack{w\in W\\ D_{R}(w)\subseteq I} }a^{f(w)}t^{g(w)},$$</code> for some $a\in\mathbf{Z}$?</p>