Conjetura de Dyson

Andrews generalizó esto en la conjetura de q-Dyson, demostrada por Zeilberger y Bressoud y a veces llamado también teorema de Zeilberger-Bressoud.Macdonald lo generalizó a sistemas raíces más generales con la conjetura de término constante de Macdonald, que fue demostrada por Cherednik.La conjetura de Dyson afirma y dice que el polinomio de Laurent tiene el término constante siguiente: 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.Macdonald extendió esta conjetura a sistemas raíces finitos o afines arbitrarios, con la conjetura original de Dyson correspondiente al caso del sistema radicular A n-1 y la conjetura de Andrews correspondiente al sistema raíz afín U n-1 .