Английская Википедия:Dyson conjecture

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description

Файл:Freeman Dyson.jpg
Freeman Dyson in 2005

In mathematics, the Dyson conjecture Шаблон:Harvs is a conjecture about the constant term of certain Laurent polynomials, proved independently in 1962 by Wilson and Gunson. Andrews generalized it to the q-Dyson conjecture, proved by Zeilberger and Bressoud and sometimes called the Zeilberger–Bressoud theorem. Macdonald generalized it further to more general root systems with the Macdonald constant term conjecture, proved by Cherednik.

Dyson conjecture

The Dyson conjecture states that the Laurent polynomial

<math>\prod _{1\le i\ne j\le n}(1-t_i/t_j)^{a_i}</math>

has constant term

<math>\frac{(a_1+a_2+\cdots+a_n)!}{a_1!a_2!\cdots a_n!}.</math>

The conjecture was first proved independently by Шаблон:Harvtxt and Шаблон:Harvtxt. Шаблон:Harvtxt later found a short proof, by observing that the Laurent polynomials, and therefore their constant terms, satisfy the recursion relations

<math>F(a_1,\dots,a_n) = \sum_{i=1}^nF(a_1,\dots,a_i-1,\dots,a_n).</math>

The case n = 3 of Dyson's conjecture follows from the Dixon identity.

Шаблон:Harvtxt and Шаблон:Harv used a computer to find expressions for non-constant coefficients of Dyson's Laurent polynomial.

Dyson integral

When all the values ai are equal to β/2, the constant term in Dyson's conjecture is the value of Dyson's integral

<math>\frac{1}{(2\pi)^n}\int_0^{2\pi}\cdots\int_0^{2\pi}\prod_{1\le j<k\le n}|e^{i\theta_j}-e^{i\theta_k}|^\beta \, d\theta_1\cdots d\theta_n.</math>

Dyson's integral is a special case of Selberg's integral after a change of variable and has value

<math>\frac{\Gamma(1+\beta n/2)}{\Gamma(1+\beta/2)^n}</math>

which gives another proof of Dyson's conjecture in this special case.

q-Dyson conjecture

Шаблон:Harvtxt found a q-analog of Dyson's conjecture, stating that the constant term of

<math>\prod_{1\le i<j\le n}\left(\frac{x_i}{x_j};q\right)_{a_i}\left(\frac{qx_j}{x_i};q\right)_{a_j}</math>

is

<math>\frac{(q;q)_{a_1+\cdots+a_n}}{(q;q)_{a_1}\cdots(q;q)_{a_n}}.</math>

Here (a;q)n is the q-Pochhammer symbol. This conjecture reduces to Dyson's conjecture for q=1, and was proved by Шаблон:Harvtxt, using a combinatorial approach inspired by previous work of Ira Gessel and Dominique Foata. A shorter proof, using formal Laurent series, was given in 2004 by Ira Gessel and Guoce Xin, and an even shorter proof, using a quantitative form, due to Karasev and Petrov, and independently to Lason, of Noga Alon's Combinatorial Nullstellensatz, was given in 2012 by Gyula Karolyi and Zoltan Lorant Nagy. The latter method was extended, in 2013, by Shalosh B. Ekhad and Doron Zeilberger to derive explicit expressions of any specific coefficient, not just the constant term, see http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/qdyson.html, for detailed references.

Macdonald conjectures

Шаблон:Harvtxt extended the conjecture to arbitrary finite or affine root systems, with Dyson's original conjecture corresponding to the case of the An−1 root system and Andrews's conjecture corresponding to the affine An−1 root system. Macdonald reformulated these conjectures as conjectures about the norms of Macdonald polynomials. Macdonald's conjectures were proved by Шаблон:Harv using doubly affine Hecke algebras.

Macdonald's form of Dyson's conjecture for root systems of type BC is closely related to Selberg's integral.

References

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Dyson_conjecture&oldid=14414129