Введение 4
1. Комбинаторная теорема о нулях 5
2. Гипотеза Дайсона и её q-обобщение 6
3. Теорема о турнирах 9
4. Главная теорема 12
Заключение 17
Список литературы 18
Мы формулируем и доказываем выражение для постоянного коэффициента определённого класса лорановских многочленов, включающего в себя гипотезу Дайсона и её обобщения, сделанные Брессу и Гулденом. Мы используем явную форму комбинаторной теоремы о нулях, которая недавно применялась для нахождения других коэффициентов в [6, 7, 13, 3].
В рамках данной работы получены следующие результаты:
• Приведено существенно более короткое доказательство мастер- теоремы и её транзитивного аналога из работы Брессу и Гулдена [1].
• Обобщена теорема 2.5 из той же работы [1].
[1] Bressoud D. M., Goulden I. P. Constant term identities extending the q-Dyson theorem // Trans. Amer. Math. Soc. — 1985. — Vol. 291.— P. 203-228.
[2] Dyson F.J. Statistical theory of energy levels of complex systems. I // J. Math. Phys. — 1962.—Vol. 3.—P. 140-156.
[3] Ekhad Shalosh B., Zeilberger D. How to Extend Karolyi and Nagy’s BRILLIANT Proof of the Zeilberger-Bressoud q-Dyson Theorem in order to Evaluate ANY Coefficient of the q-Dyson Product. — http://sites.math.rutgers.edu/~zeilberg/mamarim/ mamarimhtml/qdyson.html.
[4] Good I.J. Short proof of a conjecture by Dyson //J. Math. Phys. — 1970. —Vol. 11. —P. 1884.
[5] Jacobi K. G. Theoremata nova algebraica circa systema duarum aequationum inter duas variabiles propositarum // J. Reine Angew. Math. —1835.—Vol. 14.—P. 281-288.
[6] Karasev R. N., Petrov F. V. Partitions of nonzero elements of a finite field into pairs // Israel J. Math. — 2012.—Vol. 192 (1). — P. 143-156.
[7] Karolyi Gyula, Nagy Zoltan Lorant. A simple proof of the Zeilberger- Bressoud q-Dyson theorem // Proc. Amer. Math. Soc. — 2014. — Vol. 142. —P. 3007-3011.
[8] Kunz E., Kreuzer M. Traces in strict Frobenius algebras and strict complete intersections // J. reine angew. Math. -- 1987. -- Vol. 381. -P. 181-204.
[9] Lason M. A generalization of Combinatorial Nullstellensatz // Electron. J. Combin. -- 2010. -- Vol. 17 (1), no. N32.
[10] Schauz U. Algebraically solvable problems: describing polynomials as equivalent to explicit solutions // Electron. J. Combin. — 2008. — Vol. 15, no. R10.
[11] Wilson K. G. Proof of a conjecture by Dyson //J. Math. Phys.— 1962. —Vol. 3. —P. 1040-1043.
[12] Zeilberger D., Bressoud D. M. A proof of Andrews’ q-Dyson conjecture // Discrete Math. — 1985. — Vol. 54. — P. 201-224.
[13] A new approach to constant term identities and Selberg-type integrals / G. Karolyi, Z.-L. Nagy, F. V. Petrov, V. Volkov // Adv. Math. — 2015. —Vol. 277. —P. 252-282.