## Abstract

In 1962, Freeman Dyson conjectured that the constant term in the Laurent polynomial ∏ _{ 1≤i≠j≤n } (1 − x _{ i } /x _{ j } ) ^{ a j } (let us call this the “Dyson product”) is the multinomial coefficient ( * a * _{ 1 } + * a * _{ 2 } +···+ * a * _{ n } )!/ * a * _{ 1 } ! * a * _{ 2 } !··· * a * _{ n } ! . Dyson’s conjecture was first proved independently by Gunson and Wilson. The most compact and elegant proof, however, was supplied by I.J. Good in 1970. We present a case study in experimental (yet rigorous!) mathematics by describing an algorithm which automatically conjectures, and then supplies proofs (inspired by Good’s proof) of closed form expressions for extensions of Dyson’s conjecture to coefficients beside the constant term in the Dyson product.

Original language | American English |
---|---|

State | Published - Jan 5 2007 |

Event | Joint American Mathematical Society (AMS) and Mathematical Association of America (MAA) Meetings - Duration: Jan 5 2007 → … |

### Conference

Conference | Joint American Mathematical Society (AMS) and Mathematical Association of America (MAA) Meetings |
---|---|

Period | 01/5/07 → … |

## Keywords

- Conjecture
- Freeman Dyson

## DC Disciplines

- Mathematics
- Physical Sciences and Mathematics