В математике q -аналог теоремы , тождества или выражения — это обобщение, включающее новый параметр q , который возвращает исходную теорему, тождество или выражение в пределе при q → 1 . Обычно математиков интересуют q -аналоги, возникающие естественным путем, а не произвольно придуманные q -аналоги известных результатов. Самым ранним подробно изученным q -аналогом является базовый гипергеометрический ряд , который был введен в XIX веке. [1]
q -аналоги чаще всего изучаются в математических областях комбинаторики и специальных функций . В этих условиях предел q → 1 часто является формальным, поскольку q часто имеет дискретное значение (например, оно может представлять степень простого числа ).q -аналоги находят применение в ряде областей, включая изучение фракталов и мультифрактальных мер, а также выражений для энтропии хаотических динамических систем . Связь с фракталами и динамическими системами обусловлена тем, что многие фрактальные узоры обладают симметрией фуксовых групп вообще (см., например, жемчуг Индры и аполлоническую прокладку ) и модулярной группы в частности. Связь проходит через гиперболическую геометрию и эргодическую теорию , где выдающуюся роль играют эллиптические интегралы и модулярные формы ; сами q -ряды тесно связаны с эллиптическими интегралами .
q -аналоги появляются также при изучении квантовых групп и в q -деформированных супералгебрах . Связь здесь аналогична, поскольку большая часть теории струн изложена на языке римановых поверхностей , что приводит к связям с эллиптическими кривыми , которые, в свою очередь, относятся к q -рядам.
Классическая q -теория начинается с q -аналогов целых неотрицательных чисел. [2] Равенство
предполагает, что мы определяем q -аналог n , также известный как q -скобка или q -число n , как
Сам по себе выбор именно этого q -аналога среди множества возможных вариантов немотивирован. Однако оно естественным образом проявляется в нескольких контекстах. Например, решив использовать [ n ] q в качестве q -аналога n , можно определить q - аналог факториала , известный как q -факториал , по формуле
Этот q -аналог естественным образом появляется в нескольких контекстах. Примечательно, что в то время как n ! подсчитывает количество перестановок длины n , [ n ] q ! подсчитывает перестановки, отслеживая при этом количество инверсий . То есть, если inv( w ) обозначает количество инверсий перестановки w , а Sn обозначает множество перестановок длины n , мы имеем
В частности, можно восстановить обычный факториал, приняв предел за .
q - факториал также имеет краткое определение в терминах символа q -похгаммера , основного строительного блока всех q -теорий:
От q -факториалов можно перейти к определению q -биномиальных коэффициентов , также известных как коэффициенты Гаусса, полиномы Гаусса или биномиальные коэффициенты Гаусса :
q - экспонента определяется как:
В этом контексте были определены q -тригонометрические функции вместе с q -преобразованием Фурье.
Коэффициенты Гаусса подсчитывают подпространства конечного векторного пространства . Пусть q — число элементов в конечном поле . (Тогда число q является степенью простого числа , q = p e , поэтому использование буквы q особенно уместно.) Тогда количество k -мерных подпространств n -мерного векторного пространства над полем q -элемента равно
Приближая q к 1, мы получаем биномиальный коэффициент
или, другими словами, количество подмножеств из k -элементов в наборе из n -элементов.
Таким образом, конечное векторное пространство можно рассматривать как q -обобщение множества, а подпространства — как q -обобщение подмножеств этого множества. Это была плодотворная точка зрения в поиске новых интересных теорем. Например, существуют q -аналоги теоремы Спернера и теории Рамсея . [ нужна цитата ]
Пусть q = ( e 2 π i / n ) d — d -я степень примитивного корня n -й степени из единицы. Пусть C — циклическая группа порядка n, порожденная элементом c . Пусть X — множество k -элементных подмножеств n -элементного множества {1, 2, ..., n }. Группа C имеет каноническое действие на X , заданное отправкой c в циклическую перестановку (1, 2, ..., n ). Тогда число неподвижных точек c d на X равно
И наоборот, позволяя q изменяться и рассматривая q -аналоги как деформации, можно рассматривать комбинаторный случай q = 1 как предел q -аналогов при q → 1 (часто нельзя просто указать q = 1 в формулах, следовательно, нужно брать лимит).
Это можно формализовать в поле с одним элементом , что восстанавливает комбинаторику как линейную алгебру над полем с одним элементом: например, группы Вейля — это простые алгебраические группы над полем с одним элементом.
q -аналоги часто встречаются в точных решениях задач многих тел. [ нужна цитата ] В таких случаях предел q → 1 обычно соответствует относительно простой динамике, например, без нелинейных взаимодействий, тогда как q <1 дает представление о сложном нелинейном режиме с обратными связями.
Примером из атомной физики является модель образования молекулярного конденсата из ультрахолодного фермионного атомного газа при прохождении внешнего магнитного поля через резонанс Фешбаха . [3] Этот процесс описывается моделью с q -деформированной версией SU(2)-алгебры операторов, а его решение описывается q -деформированными экспоненциальным и биномиальным распределениями.