Dyson's constant term identity
GPTKB entity
Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:application |
representation theory
random matrix theory enumerative combinatorics |
gptkbp:field |
gptkb:algebra
gptkb:mathematics combinatorics |
gptkbp:generalizes |
gptkb:Morris_constant_term_identity
gptkb:Macdonald_identities |
https://www.w3.org/2000/01/rdf-schema#label |
Dyson's constant term identity
|
gptkbp:namedAfter |
gptkb:Freeman_Dyson
|
gptkbp:provenBy |
gptkb:Freeman_Dyson
gptkb:D._E._Littlewood gptkb:I._J._Good |
gptkbp:relatedTo |
gptkb:Vandermonde_determinant
gptkb:Selberg_integral gptkb:Laurent_series root systems constant term method |
gptkbp:sentence |
The constant term in the Laurent expansion of the product ∏_{1≤i≠j≤n}(1 - x_i/x_j)^{a_j} is equal to (a_1 + ... + a_n)!/(a_1! ... a_n!) for non-negative integers a_1,...,a_n.
|
gptkbp:yearProposed |
1962
|
gptkbp:bfsParent |
gptkb:Dyson_conjecture
|
gptkbp:bfsLayer |
5
|