Dyson constant-term identity
= Dyson constant-term identity
{c}
{wiki}
For nonnegative integers $a_1,\ldots,a_n$,
$$
\operatorname{CT}\prod_{i=1}^n\prod_{j\ne i}
\left(1-\frac{X_i}{X_j}\right)^{a_i}
=\frac{(a_1+\cdots+a_n)!}{a_1!\cdots a_n!}.
$$
= Dyson constant-term identity
{c}
{wiki}
For nonnegative integers $a_1,\ldots,a_n$,
$$
\operatorname{CT}\prod_{i=1}^n\prod_{j\ne i}
\left(1-\frac{X_i}{X_j}\right)^{a_i}
=\frac{(a_1+\cdots+a_n)!}{a_1!\cdots a_n!}.
$$