Conjetura de Dyson

La conjetura de Dyson afirma y dice que el polinomio de Laurent

${\displaystyle \prod _{1\leq i\neq j\leq n}(1-t_{i}/t_{j})^{a_{i}}}$

tiene el término constante siguiente:

${\displaystyle {\frac {(a_{1}+a_{2}+\cdots +a_{n})!}{a_{1}!a_{2}!\cdots a_{n}!}}.}$

Wilson y Gunson lograron demostrar la conjetura por primera vez de forma independiente. Luego, Good encontró una prueba corta tras observar que los polinomios de Laurent, y, por tanto, sus términos constantes, satisfacen las relaciones de recursión.

${\displaystyle F(a_{1},\dots ,a_{n})=\sum _{i=1}^{n}F(a_{1},\dots ,a_{i}-1,\dots ,a_{n}).}$

En el caso n = 3 de la conjetura de Dyson, se desprende esta de la identidad de Dixon.

Sills, Zeilberger y Sills utilizaron un ordenador para poder encontrar expresiones para los coeficientes no constantes de Dyson del polinomio Laurent.

Cuando todos los valores a _i son igual a β/2, el término constante en la conjetura de Dyson es el valor de la integral de Dyson.

${\displaystyle {\frac {1}{(2\pi )^{n}}}\int _{0}^{2\pi }\cdots \int _{0}^{2\pi }\prod _{1\leq j<k\leq n}|e^{i\theta _{j}}-e^{i\theta _{k}}|^{\beta }\,d\theta _{1}\cdots d\theta _{n}.}$

La integral de Dyson se trata de un caso especial de la integral de Selberg después de un cambio de variable, y vale lo siguiente:

${\displaystyle {\frac {\Gamma (1+\beta n/2)}{\Gamma (1+\beta /2)^{n}}}}$

Y que esto nos da una prueba más de la conjetura de Dyson en este caso especial.