CC BY
13
Серия «Математика» 2017. Т. 21. С. 77-88
Онлайн-доступ к журналу: http://mathizv.isu.ru
ИЗВЕСТИЯ
Иркутского государственного ■университета
УДК 512.64+512.55 MSG 15+16
DOI https://doi.org/10.26516/1997-7670.2017.21.77
Теорема поляризации и полиномиальные тождества для матричных функций
Г. П. Егорычев
Сибирский федеральный университет
Аннотация. В статье дано простое комбинаторное доказательство известной теоремы поляризации о восстановлении полиаддитивной симметрической функции по её значениям на диагонали. Приведено несколько известных и новых приложений этой теоремы для получения полиномиальных тождеств (вычисления) для некоторых матричных функций, включая случай некоммутативных переменных и детерминанта пространственной матрицы.
Ключевые слова: теорема поляризации, детерминанты, перманенты, полиномиальные тождества, некоммутативные переменные.
1. Теорема поляризации
Классическая теорема (формула) поляризации [11; 1] о восстановлении полиаддитивной симметрической функции по её значениям на диагонали имеет фундаментальное значение в алгебраической теории полиномов и часто применяется в теории колец, линейной и полилинейной алгебре, теории функций, геометрии смешанных объёмов и в других областях математики. Мы используем её в следующей простой и достаточно общей форме.
Теорема 1. Теорема поляризации (Егорычев, [1], 1980). Пусть Н — аддитивная коммутативная полугруппа, = Н х ... х Н, а Ф —
абелева группа с делением на целые числа. Тогда f(x) = f(x\,... ,хп) : —> Ф, симметрична и полиаддитивна тогда и только тогда, когда для произвольного 7 из Н она до?гускает следующее представление
(формула поляризации):
п к
f(Xl,Хп) = {(-1 )"F(7) + J2(~1)n~k Е + Е хп) >м
к= 1 l<ji<-<jk<n 1=1
(1.1)
где положено, по определению,
F(x) := f(x,...,x) : Н ^ Ф. (1.2)
Доказательство. Необходимость. Обозначая для унификации используемых здесь обозначений 7 = Xja € Н, выпишем сумму (1.1) в следующем виде:
п к
fix ьХп) = т~к y. +Е>/и! =
к=0 l<il<...<ifc<ra г=1
fb / \ ^_
= (Elzir- Е (1.з)
к=0 l<il<...<ifc<ra
где при фиксированном к, к = 0,1,..., п, и фиксированном наборе Jk = U1J2, ■ ■ ■,jk), 1 < ji < ■■■ < jk < n, общий член этой суммы
к
9кШ = ^(7 + Е
1=1
к к к к
= /(7+Е^-Л + Е^) = /(Е^'---'Е хп)/п[ = 1=1 1=1 1=0 1=0
(в силу предположения теоремы о полиаддитивности и симметричности функции /(х\,..., хп) относительно своих переменных)
к к
{Е-Е f(x3i1>--->x3ij}M-
3=0 ln= 0
Для приведения подобных членов в последней формуле можно воспользоваться известной полиномиальной формулой о числе разбиений конечного множества (перестановок) заданной спецификации. Тогда
п / \ 9кШ = { Е (Гп г,)Пх
Гк)}/п\, (1.4)
Г0,гъ...,гк=0 \Г0>->Гк/ Г0+Г1+...+Гк=п
где полиномиальный коэффициент (""):= п!/го!... и
Т ( ГУ . 1У> . ' ' гр . 1У> . \ •- Т ( гр . гу . гу . гу . 1
} I 20) •••> ^Зк 1 1 Зк) 1 У-^ЗО, •••) ^30 ) •••) ^Зк ' •••' ^Зк)-
го-раз пь-раз
Подставляя выражение (1.4) для дк (</&) в сумму (1.3) получаем
\п—к
11 (_1 \п—к
¡(хъ...,хп) = ^- Е
п\
к=0 1 <31<-<3к<п
{ I] \г П г )f(xJo,ro;■■■;xjk,rk)}. .........гк=0 >•••>'*/
Г0+Г1+. ,.+гк=п
Выражение в правой части последней формулы для /(ж1,... ,хп) есть конечная линейная комбинация членов типа /(ж./0, Го;...; г^), причём при к = п коэффициент при /(ж^ ... ,хп) равен (0 1 ™ 1)/и! = 1. Остаётся показать, что все коэффициенты при остальных членах типа /(ж^о, Го;...; ж^, г5), в < п, равны нулю. Действительно, коэффициент при члене го;...; г3), в <п, с фиксированным наборами чисел
Зо,■■■и г0,... ,г3 равен
\п—к
п \ ^ иг (.)
к=в
где есть число всех таких последовательностей (31,32, ■ ■ ■ ,3к), 1 < ]1 < ... < < п, которые содержат фиксированную подпоследовательность ..., ]8. Поскольку = (^1^), то упомянутый выше коэффициент равен
п \^(-1)п~к~3{п-8
г0,...,г3) ^ п\ \к — 8
к=в
го,..., г31 ' п\ \ к и' ' к=о 4
( 1)га+5 ( п =0_
п\ \г0,...,г< Достаточность.
Если обозначить выражение в правой части формулы (1.1) через Ф(7;ж), то /(ж) = Ф(7;ж) и по допущению теоремы значение Ф(7;ж) не зависит от выбора элемента 7 из Н. Симметричность функции /(ж) = ,хп), ж = (жь ...,хп) € следует из вида формулы (1.1)
для функции Ф(7;ж) и коммутативности полугруппы Н. В силу симметричности /(х\,... ,хп) для доказательства полиаддитивности этой функции достаточно доказать (аддитивное) равенство
¡(х[ + х", Х2,..., хп) = ¡(х[ 1 Ж21 ■ ■ ■ 11 Ж 21 ■ ■ ■ 1
которое сразу следует из формулы (1.1), если за счёт свободы выбора 7 из Н положить в ней 7 = 0. □
2. Приложения
Многие известные (комбинаторные) матричные функции, включая детерминанты, перманенты, смешанные дискриминанты (смешанные объёмы в Кга), результанты и многие другие, являются полиаддитивными функциями различного типа. На нескольких примерах этого параграфа мы покажем, как это обстоятельство позволяет использовать теорему поляризации не только для их вычисления, но и для их определения (с сохранением основных свойств) над более общими алгебраическими системами.
2.1. Первое полиномиальное тождество для перманентов над коммутативным кольцом
Понятие перманента было введено впервые в 1812 г., независимо и практически одновременно, Джорджем Бине и Огюстом Коши. Тогда же Дж. Бине впервые ввёл и термин «перманент». Наиболее часто используется понятие перманента над коммутативным кольцом К (полями К, С).
Определение 1. Определение 1 перманента над коммутативным кольцом К.
Если А = (а^) - п х п матрица с элементами из кольца К, то полагаем
рег(А) := ^ а1<7(1) х ... х апа{п) = (2.1)
= —Г Е ат(1),е(1) X ••• X ат(п),а(п)1 (2-2)
т,а€Ь„
где Зп - множество всех перестановок а = (сг(1),... , а(п)) множества {1,..., п}.
В следующей теореме Г. П. Егорычев впервые получил формулу вычисления (полиномиальное тождество) для перманентов над К, содержащее до п\ свободных параметров. Этот результат был вначале
получен им в 1979 г. с помощью аппарата степенных рядов. Для иллюстрации мы даём в следующей теореме краткое доказательство этого результата с помощью формулы поляризации.
Теорема 2. Первое полиномиальное тождество для перманентов над коммутативным кольцом К (Егорычев, [2]).
п п га
рег(А) = ЦЪ + ]T(-l)fc £ (J](7* " агп - ... - aijk)), (2.3)
г= 1 k=1 l<il<...<ifc<n г= 1
где 7i,..., 7„ — произвольные элементы из К.
Доказательство. Пусть пхп матрица А = (ai,..., ап), где ai,..., ап — её n-вектор-столбцы. Так как функция рег(А) = рег(а\,..., ап) — полиаддитивна и симметрична относительно своих п переменных ai,..., ап, то по формуле поляризации (1.1) при любом 7 = (71,...,7„) из Кп получаем
рег(А) = рег(а\, ...,ап) = {рег( 7,..., 7) +
п k к
к=1 l<il<-..<ifc<ra ¿=1 ¿=1
(используя равенство рег(7,..., 7)/п! = 71... 7«, для произвольных элементов 7i,..., 7„ из К)
гага п к
= Ib + £(-Dfc Е £*««)•
г=1 fc=l l<ii<...<jfc<rai=l ¿=1
□
Замечание 1. Формула (2.3) при частных значениях параметров 7i,... ,7„ из К даёт хорошо известные формулы Дж. Риордана (1966) и Г. Вильфа (1968), которые сегодня признаны наиболее экономичными для подсчёта перманентов над коммутативным кольцом К (полями R,C).
2.2. Полиномиальное тождество нового типа для
детерминанта над коммутативным кольцом
Пусть Sn ^ и Sn \ соответственно, подмножества чётных и нечётных перестановок из Sn. Последовательность элементов a^i),..., апа(п) назовём диагональю 1(а) пхп матрицы А = (а^), а последовательность элементов ,..., , 1 < i\ < ... < ik < n, - поддиагональю
l длины к этой матрицы. Через мы обозначим, множество
всех поддиагоналей длины п — 1 для множества чётных (нечётных) диагоналей Обозначим, как обычно, через й(а) - число инверсий в перестановке а = (сг(1), а(2),... , а(п)) множества {1,..., п}. В [3] для "обычного"детерминанта Коши ёе^А) над кольцом К
ёе^А) := (-1)^)аМ1) х а2а{2) ... х апа{п) (2.4)
была найдена серия полиномиальных тождеств нового типа. В их числе следующая формула для детерминанта, которая будет использована в дальнейшем изложении.
Теорема 3. Полиномиальное тождество для детерминанта над коммутативным кольцом К (Егорычев, [3]).
= ¿и Е (7+*«(0)п - Е ь+мт-
-[ £ (7+зи(1)Г- £ (7+в«(0)п]}, (2-5)
где 7 — произвольный элемент из К, а функция зи(1) для последовательности I элементов х\,х2, ■ ■ ■ ,Хк из К есть сумма этих элементов. При 7 = 0 (2.5) даёт следующее равенство:
= ™п(о- Е *«п(оы Е в«п(о- Е зиП(о»-
шь^ г&ь^ г&ь^
(2.6)
Из (2.6), непосредственно вытекает следующее
Следствие 1. (Егорычев, [3]). Вектор-строки и вектор-столбцы пхп матрицы А с элементами из кольца К линейно независимы тогда и только тогда, когда выполняется следующее равенство:
^2 зип(1) - = Е 8иП(*) - Е 8иП(*)• (2-7)
2.3. Новые формулы для перманента над некоммутативным
ассоциативным кольцом
В 2000 г. А. Барвинок ввёл определение симметризованного определителя вйеЬ(А) над кольцом <5, и успешно применил его при построении алгоритма для вычисления функции перманента над К [10]. Аналогичное определение для симметризованного перманента ерег(А) над <5 было введено нами в 2007 году.
Определение 2. Определение симметризованного перманента ерег(А) над некоммутативным ассоциативным кольцом Q, [4].
ерег(А) := Sym(ala{1) х а2а{2) ... х (цп)), (2.8)
где под оператором симметризации Sym для произведения элементов х\,х2,... ,хп G Q, как обычно, понимается сумма
Sym(xix2 ...хп):=— ^ ха{1)ха{2) ■ ■ ■ %а(п)- (2-9)
cr£Sn
В [4] были изучены свойства ерег(А) над Q, многие из которых совпадают с характеристическими свойствами "обычного"per(А) над К [1], включая полиаддитивность перманента по строкам и столбцам матрицы А. По аналогии с [1] ниже мы приведём вывод серии полиномиальных тождеств (формул вычисления) для ерег(А) над Q, которые порождают новое семейство симметрических тождеств для элементов произвольной п х п матрицы А над Q.
Пусть А - п х п матрица с элементами из Q.
Обозначим через ФГ;5(А) множество всех собственных г х s подматриц пхп матрицы А, г, s € {1, 2,... , п}, а через su(B)— сумму элементов матрицы В € ФГ)5(А).
Теорема 4. Если А - пхп матрица с элементами из Q, то следующая формула справедлива для ерег(А) :
п
ерег(А) = (-1У+* £ (5 + su{B))n, (2.10)
' r,s=1 в&фг,3(А)
где 5 — произвольный элемент из Q. При 5 = 0 (2.10) даёт равенство ерег(А) = 1 £ (-iy+° £ sun(B). (2.11)
' r,s= 1 в&фг,3(А)
Из полиномиального тождества (2.10), используя известное разложение в ряд «по степеням» 5 бинома Ньютона для некоммутативных переменных, непосредственно вытекает следующее
Следствие 2. Если А - п х п матрица с элементами из Q, то следующие тождества справедливы для её элементов:
п
J2(-iy+s sum(B) = 0,т = 1,2,...,п-1.
r,s=1 В£Фг,е(А)
Перманент ерег(А) = 0 тогда и только тогда, когда выполняется равенство
п
Е (-1)г+в П 8иП(в) =
Г,3=1 в&Фг,3(А)
Доказательство. Поскольку функция ерег(А) полиаддитивна и симметрична по векторам-столбцам матрицы А, то в силу формулы поляризации при нулевых значениях произвольных элементов имеем
^ п к к
ерег(А) =-(£(- 1)п~к
к=1 1 <31<-<3к<п 1=1 1=1
(ерег(а, а,... ,а) := п\3ут(а\ х а2 х ... х ап) для любого п-столбца а = («1, ск2, • • •, ага)т из О1)
п п к
&=1 1<Л<-<^<п г=1 1=1
Далее, если применить формулу поляризации к каждому симметризо-ванному произведению в правой части (2.12), полагая в качестве произвольного элемента один и тот же свободный элемент 5 из С,), то получим
п к
1=1 1=1
п в к
+Е(-1)га"5 Е ^шал+^Е^п}-
8=1 1<г1<...<г3<га 4=1 ¿=1
(Бут(хп) = хп для любого х из О)
п в к
8=1 1<г1<...<г3<га *=1 ¿=1
Для окончания доказательства формулы (2.10) достаточно подставить в (2.12) выражение (2.13) для симметризованного произведения П к
1 агл)}> замечая, что коэффициент при 8п будет равен ну-
1=1
лю. □
Замечание 2. (а) При выводе формулы (2.10) с использованием формулы поляризации для упрощения мы положили значения произвольных элементов из <5 равными нулю либо одному и тому же элементу 5 из <5- В противном случае, за счёт усложнения мы получим семейство
формул с большим числом произвольных элементов из <5- Каждая из этих формул может быть взята за определение функции ерег(А), и, подобно следствию 2, порождает соответствующее (новое) семейство симметрических тождеств для элементов матрицы А.
(Ь) Просматривая вывод теоремы 4 можно заметить, что проведённые выкладки и формула (2.10) справедливы при более общих предположениях, когда <5 — коммутативное кольцо с ассоциативными п-степенями (одномономиальная ассоциативность).
2.4. Детерминант определённого типа от пространственной матрицы
Определение 3. Пусть А = (а!р) — пространственная матрица
с элементами из коммутативного кольца К, и А = (А\, А2,..., Ап),
где пхп матрицы А& = {о!р), к = 1,2, ...,п, - сечения матрицы
А по индексу к. В свою очередь, пусть А& = (а[к\ аР,..., а^), где
а.р = (ар, ар,..., = 1, 2,... ,п, — вектор-столбцы матрицы
Ак.
Определим матричную функцию £>е£р(А) следующим образом (ср. [8], с. 11-25):
Ое1р(А) := £(-1 Г^рег(а^1га%г...,арп)), (2.14)
где (1(о) - число инверсий в перестановке а =(<т(1),... , (т(п)) множества {1,..., п}.
Теорема 5. Справедлива следующая формула
п п п п
ле^А) = {[ £ ШХЪ))- Е ГЕЕО-
4=1 г=1 а&3(о) 4=1 г=1
п п п п п п
"[ Е (ЕП(-<)+Е4),)))- Е (ЕП(-<)+Е4),)))]-
«=1*=1 г=1 а&8(о) з= 14=1 г=1
(2.15)
Доказательство. Воспользуемся здесь той же схемой доказательства, что и в [3], где формула поляризации была применена для произведения а1<т(1) х а2<т(2) • • • х апа(п) > как общего члена детерминантной суммы (2.4). Общий член детерминантной суммы (2.14) вида
РеКа^),«^,...,«^),
как функция перманента, есть полиаддитивная и симметрическая функция своих аргументов.
По аналогии с работой [3] применим к каждой такой функции в (2.14) формулу поляризации с нулевыми свободными переменными, и получим, соответственно:
гага
= Е ^(Е <4>> • • • > Е <*))-
га га
- Е рег(Е > • • • > Е )] ■-
гага га
-Е Е ^(Ч?, + Е<4>. • • •'(-<-) + Е<4>)-
5=11еь£е)
га га га
(используя равенство рег(7,... ,7)/п! = 71 ... 7га, для любых значений переменных 71,..., 7„ из К)
га га гага
= ([£ П(£<„>- Е ПЕО-
т2< т2< т2< т2< т2< ГЬ
-[ Е (ЕП(-<)+Е4),)))- Е (ЕП(-<)+Е4),)))]-
8=1 г=1 г=1 а&8(о) з= И=1 г=1
□
В [5] автором было продолжено изучение свойств функции детерминанта над широким классом колец. Представляет интерес получение аналогичных результатов для функций Шура, смешанных дискриминантов и других функций от плоской и пространственных матриц, родственных детерминанту и перманенту. Непосредственное приложение полученных здесь результатов может быть найдено в теории перманентов [6], тензорной алгебре и её приложениях, и теории п-лиевых алгебр [9; 7].
Автор признателен своим коллегам С. Г. Колесникову, В. М. Копы-тову, В. П. Кривоколеско, А. П. Пожидаеву, В. М. Левчуку, Я. Н. Ну-жину за обсуждение основных результатов этой работы и ряд полезных замечаний.
теорема поляризации Список литературы
1. Егорычев Г. П. Новые формулы для перманента / Г. П. Егорычев // Докл. АН СССР. - 1980. - Т. 265, № 4. - С. 784-787.
2. Егорычев Г. П. Полиномиальное тождество для перманентов / Г. П. Егорычев // Мат. заметки. - 1979. - Т. 26, № 6. - С. 961-964. https://doi.org/10.1007/BF01142089
3. Егорычев Г. П. Новые полиномиальные тождества для детерминантов над коммутативными кольцам / Г. П. Егорычев // Изв. Иркут. гос. ун-та. Сер. Математика. - 2012. - Т. 5, № 4. - С. 16-20.
4. Егорычев Г. П. Новое полиномиальное тождество для вычисления перманентов / Г. П. Егорычев, 3. В. Егорычева ; Сиб. федер. ун-т. - Деп. в ВИНИТИ 13.06.2007. - № 627. - В2007. - С. 1-32.
5. Егорычев Г. П. Новое семейство полиномиальных тождеств для вычисления детерминантов / Г. П. Егорычев // Докл. АН. - 2013. - Т. 452, № 1. - С. 14-16.
6. Егорычев Г. П. Дискретная математика. Перманенты / Г.П. Егорычев. -Красноярск : Сиб. федер. ун-т, 2007. - 272 с.
7. Пожидаев А. П. Простые фактор-алгебры и подалгебры алгебр якобианов / А.П. Пожидаев // Сиб. мат. журн. - 1998. - Т. 39, № 3. - С. 593-599.
8. Соколов Н. П. Пространственные матрицы и их приложения / Н. П. Соколов. - М. : Физматлит, 1960. - 300 с.
9. Филиппов В. Т. Об п-лиевой алгебре якобианов / В. Т. Филиппов // Сиб. мат. журн. - 1998. - Т. 39, № 3. - С. 660-669.
10. Barvinok A. New permanent estimators via non-commutative determinants / A. Barvinok // Arxiv preprint math/0007153, 2000, arXiv:math/0007153. - 2000. -P. 1-13.
11. Cartan H. Elementary theory of analytic functions of one or several complex variables / H. Cartan. - N. Y. : Dover Publ., 1995. - 300 p.
Егорычев Георгий Петрович, доктор физико-математических наук, профессор, Институт математики и фундаментальной информатики, Сибирский федеральный университет, 660074, г. Красноярск, ул. Киренского, 26, тел.: (391)2461609 (e-mail: gegorych@mail.ru)
G. P. Egorychev
The Polarization Theorem and Polynomial Identities for Matrix Functions
Abstract. In this article the simple combinatorial proof of the known polarization theorem (about the restoration of a polyadditive symmetric function over its values on a diagonal) is given. Known and new applications of this theorem for the reception of polynomial identities (the calculation) of several matrix functions is given, including a case of noncommutative variables and (first) the determinant of a space matrix are resulted.
Keywords: polarization theorem, determinants, permanents, polynomial identities, noncommutative variables.
References
1. Egorychev G.P. New formulas for the permanent. Soviet Math. Dokl. 1980, vol. 265, no 4, pp. 784-787. (in Russian)
2. Egorychev G.P. A polynomial identity for the permanent. Math. Zametki., 1979, vol. 26, no 6, pp. 961-964. (in Russian) https://doi.org/10.1007/BF01142089
3. Egorychev G.P. New polynomial identities for determinants over commutative rings. Izv. Irkutsk. Gos. Univ. Ser. Mat., 2012, vol. 5, no 4, pp. 16-20. (in Russian)
4. Egorychev G.P., Egorycheva Z.V. New polynomial identity for computing permanents. Sibirian Federal University. Dep. in VINITI 13.06.2007, no 627-B2007, pp. 1-32.
5. Egorychev G.P. A new family of polynomial identities for computing determinats. Dokl. Acad. Nauk, 2013, vol. 452, no 1, pp. 14-16. (in Russian)
6. Egorychev G.P. Diskretnaya matematika. Permanenty [Discrete mathematics. Permanents]. Krasnoyarsk, Siberian Federal University Publ., 2007. 272 p.
7. Pozhidaev A.P. A simple factor-algebras and subalgebras of Jacobians algebras. Sibirsk. Mat. Zh., 1998, vol. 39, no 3, pp. 593-599. (in Russian)
8. Sokolov N.P. Prostranstvennye matritsy i ikh prilozheniya [Space matrices and its applications], Moscow, PhyzMathLit Publ., 1960. 300 p.
9. Filippov V.T. On the n-Lie algebras of Jacobians. Sibirsk. Mat. Zh., 1998, vol. 39, no 3, pp. 660-669.(in Russian)
10. Barvinok A. New permanent estimators via non-commutative determinants. Arxiv preprint math/0007153, 2000, arXiv:math/0007153, 2000, pp. 1-13.
11. Cartan H. Elementary theory of analytic functions of one or several complex variables. N. Y., Dover Publ., 1995. 300 p.
Egorychev Georgy Petrovich, Doctor of Sciences (Physics and Mathematics), Professor, Siberian Federal University, 26, Kirenskii st., Krasnoyarsk, 660074, tel.: 8(391)2461609, (e-mail: gegorych@mail.ru).
