CC BY
17
КРАТКИЕ СООБЩЕНИЯ
Серия «Математика» 2018. Т. 26. С. 121-127
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
ИЗВЕСТИЯ
Иркутского государственного ■университета
УДК 512.64+512.55+519.1 MSG 15А15, 15А16
DOI https://doi.org/10.26516/1997-7670.2018.26.121
Детерминанты как комбинаторные формулы суммирования над алгеброй с единственной n-арной операцией
Г. П. Егорычев
Сибирский федеральный университет, Красноярск, Российская. Федерация
Аннотация. С конца 1980-х гг. автор опубликовал серию результатов по матричным функциям, полученным с помощью производящих функций, смешанных дискриминантов (смешанных объёмов в R" ), и известной теоремы поляризации (ее формулировка в наибольшей общности приведена в журнале «Известия Иркутского государственного университета. Серия: Математика» в 2017 г.). Эта теорема позволяет получать для полиаддитивной и симметрической функции множество вычислительных формул (полиномиальных тождеств), содержащих семейство свободных переменных. В 1979-1980 гг. автор получил первое полиномиальное тождество для перманентов над коммутативным кольцом, а в 2013 г. полиномиальное тождество нового типа для детеминантов над некоммутативным кольцом с ассоциативными степенями.
В заметке дано общее определение функции детерминанта, названного автором е-детерминантом над алгеброй с единственной n-арной /-операцией. Это определение отлично от хорошо известного определения некоммутативного детерминанта Гель-фанда. Показано, что при естественных ограничениях на /-операцию е-детерминант сохраняет основные свойства классического детерминанта над полем R. Получено семейство полиномиальных тождеств для е-детерминантов. В заключении автор выражает уверенность, что представляет интерес получение подобных полиномиальных тождеств для функций Шура, смешанных дискриминантов, результантов и других матричных функций над различными алгебраическими системами. Особенно интересен, по его мнению, ответ на следующий вопрос: для каких п-арных /операций возможно быстрое вычисление е-детерминантов с помощью квантовых компьютеров ?
Ключевые слова: детерминанты и перманенты, некоммутативные и мультиопера-торные алгебры, теоремы поляризации и включения-исключения, квантовый компьютер.
1. Введение
Понятие определителя матрицы с действительными либо комплексными членами связано с именами Г. Лейбница, Г. Крамера, О. Ко-ши, А. Кэли, Т. Мюира и многих других известных математиков [16]. Наиболее часто используется следующее определение детерминанта над коммутативным кольцом К (полями К, С.) Детерминант ОеЬ{А) (определитель) квадратной п х п матрицы А = ((%•) над коммутативным кольцом К определяется следующей суммой:
£>е*(А) = (-1 )г(<7)аМ1) х ... х апа{п),
где Зп — множество всех перестановок а = (сг(1),..., а(п)) п-множества {1,... ,п}, и 7(<т) - число инверсий в а. Другими словами,
ОеЛ{А) = —. (-1)7(<7)аг( 1М1) х ... х ат{п)а{п)
т,а€Ь„
= Зут{а 1<т(1) х ... х апа(п)}, (1.1)
где Бут{ащ1) х ... х апа(„)} = ^ ат(1)<т(1) х ... х
Пусть Ф аддитивная коммутативная полугруппа, О абелева группа с делением на целые числа, Ф(п) = I х Ф х ... х Ф; Ф - алгебра с единственной п-арной операцией ¡(х\,х2, ■ ■ ■ ,хп) : Ф(п) —> С.
Определение 1. е-Детерминант, еОеЛ(А, /) квадратной пхп матрицы А = (а^) над алгеброй Ф определяется следующей суммой:
еОеЬ(А, /) = —т (~1У{а)¡(ат{1)а{1),..., ат{п)а{п)) (1.2)
т,а€Ь„
Другими словами,
еЯе*(А,/)= ]Г(-1 )7(ст)%т{ДаМ1),...,ага(т(га))}, (1.3)
где оператор симметризации
Бут{/(Х1,Х2, ...,хп}\=— ^2 / (хф),ха(2),- ■ -,ха{п)) ,
СГ&Яп
и 8ут{$(х\,х2,..., хп)} = ¡{х\,х2, • • •, хп), если операция /(жь ..., хп) симметрична.
Если операция ¡{х\,х2, • • •, хп) симметрична, то
еИеЦА,/) = ^(-^^/(«Щ),-,«^)).
2. Результаты
Основные (характеристические) свойства е-детерминанта еОеЬ(А, /) как функции строк и столбцов матрицы А непосредственно зависят от свойств общего члена сумм (1.2)—(1.3), т. е. от свойств п-арной операции 1 %21 ■ ■ ■ 1) —> С. Справедливо следующее простое утвержде-
ние, которое понадобится нам при доказательстве основного результата теоремы 1.
Лемма 1. (а) еИе^А, /) = е£>е£(Ат,/).
(b) еОеЛ(А, /) — кососимметрическая функция строк (столбцов) матрицы А.
(c) Если п-арная операция ¡{х\,х2, ■ ■ ■ ,хп): ф(га) —> С полиаддитивна, то еОеЛ(А, /) полиаддитивная функция строк (столбцов) матрицы А.
В общем случае формулы Лапласа для еОеЛ(А, /) несправедливы.
Доказательство. Справедливость утверждений (а)-(с), используя определения (1.2) и (1.3) для еОеЛ(А, /) и допущений на п-арную операцию ¡(х\,х2, ■ ■ ■ ,хп) : Ф(-га-) —> О, проводится здесь по стандартной и хорошо изученной схеме доказательства аналогичных утверждений для детерминанта над коммутативным кольцом К (ср. [3;4;6]). □
Пусть А = ((%•) - п х п матрица с элементами из кольца К, и
пусть Бп^ и Бп \ соответственно, подмножества чётных и нечётных перестановок из Последовательность элементов а1о-(!),..., агасг(га) назовём диагональю 1(а) матрицы А, а последовательность элементов ап<г(п)1 • • •) (Чка(1к)-, п,-поддиагональю I длины к этой
матрицы. Через Ь^ мы обозначим множество всех поддиагона-
лей длины к для множества чётных (нечётных) диагоналей к = 1,... ,п. Функция для поддиагонали (диагонали)
I . . . ) ®гд.ст(гд.))
есть сумма её элементов, т. е. ви{1) := аг3<т(»- Положим, для крат-
кости, Р(х) = /(ж,..., х) : Ф —> С.
Теорема 1. Если п-арная операция ¡{х\,х2, ■ ■ ■ ,хп): Фга —> О полиаддитивна, то справедлива следующая формула для еОеЛ(А, /) над алгеброй Ф:
е£>е*(4/) = ^{[£ Р{1 + 8и{1))- £ р(1 + 8и{1))]-
-[ ^(7 + зи(1))- ^(7 + ^(0)]}, 7€Ф. (2.1)
'.(<=) 7с г (о)
В частности, при 7 = 0
-[ £ пцг))- Е
Доказательство. В силу предположений теоремы общий член
Бут {/(с11сг(1), • • •, аПа(п)} суммы (1.3) для е£>е£(Д /) симметричен и полиаддитивен относительно своих переменных. Если применить к каждому из этих п\ членов известную формулу поляризации [4], и заменить в каждой из п\ полученных формул свободный элемент 7СТ на 7 € Ф, то с учётом очевидного равенства Бут {/(ж, х,..., х)} = Р{х) мы получим следующее равенство
(Л \п п
вут {/(а1о-(!),..., агасг(га)} =-— {^(7) + +
г=1
п п
+ Е рЬ + аНг) +амл) + +
1 <Л<]<п г=1
Если теперь подставить последнее выражение для
Яут {/(а1<7(1), • • •, агаст(га)}
в сумму (1.3), то после приведения (сокращения) подобных членов точно по той же схеме, что ив [3], мы получим формулу (2.1). □
3. Заключение
Если ввести понятие е-перманента еРег(А, /) квадратной матрицы А, положив еРег(А, /)=£, ¿<тев„ $Ут{/(а1<7(1)> ■ ■ ■ а™7(п))}> т0 П°Д эт0
определение при соответствующих ограничениях на операцию / попадает ряд матричных функций, возникших ранее в работах различных авторов (см., например, матричные функции Мура, Барвинка [9; 10]). Представляет интерес получение с помощью теоремы поляризации полиномиальных тождеств (см. [1;3;4]) для функций Шура, смешанных дискриминантов, результантов и других матричных функций (плоской и пространственных матриц, [4]) над различными алгебраическими системами, возникших при решении трудных комбинаторных, алгебраических и геометрических проблем [2-12; 14; 17], и мн. др. Особенно интересен, на мой взгляд, ответ на следующий вопрос: для каких парных операций ¡(х\ , Х2, ■ ■ •, хп): Фга —)■ С и одноарных операций Р(х) :— /(ж, х,..., х) : Ф —> О возможны вычисления еРег(А, /) и еОеЛ(А, /) с помощью квантовых компьютеров ? (см., например, [6; 12]).
Автор выражает признательность моим добрым коллегам Л. В. Кна-уб, С. Г. Колесникову, В. М. Копытову, А. И. Созутову, В. П. Кривоко-леско за помощь при работе над этой статьёй.
Список литературы
1. Егорычев Г. П. Новые формулы для перманента // Докл. АН СССР. 1980. Т. 265, № 4. С. 784-787.
2. Егорычев Г. П. Дискретная математика. Перманенты. Красноярск : Сиб. федер. ун-т, 2007. 272 с.
3. Егорычев Г. П. Новые полиномиальные тождества для детерминантов над коммутативными кольцами // Изв. Иркут. гос. ун-та. Сер. Математика. 2012. Т. 5, № 4. С. 16-20.
4. Егорычев Г. П. Теорема поляризации и полиномиальные тождества для матричных функций // Изв. Иркут. гос. ун-та. Сер. Математика. 2017. Т. 21, № 4. С. 77-88. https://doi.org/10.26516/1997-7670.2017.21.77
5. Кочергин В. В. О сложности вычислений одночленов и степеней // Дискретный анализ. Новосибирск : Изд-во Ин-та математики СО РАН, 1994. С. 94-107. (Тр. / РАН. Сиб. отд-ние. Ин-т математики ; т. 27).
6. Курош А. Г. Мультиоператорные кольца и алгебры // Успехи мат. наук. 1969. Т. 24, вып. 1(145). С. 3-15.
7. Пожидаев А. П. Простые фактор-алгебры и подалгебры алгебр якобианов // Сиб. мат. журн. 1998. Т. 39, № 3. С. 593-599.
8. Филиппов В. Т. Об те-лиевой алгебре якобианов // Сиб. мат. журн. 1998. Т. 39, № 3. С. 660-669. https://doi.org/10.1007/BF02673915
9. Arvind V. On the hardness of noncommutative determinant // Electronic Colloquium on Computational Complexity. 2009. Report № 103. P. 1-18.
10. Barvinok A. I. New permanent estimators via non-commutative determinants // Preprint arXiv: math./0007153. 2000. P. 1-13.
11. Burago Yu. D., Zalgaller V. A. Geometric Inequalities. N. Y. : Springer Verlag, 1988. 334 p.
12. Chakhmakhchyan L., Cerf N. J., Garcia-Patron R. Guantum-inspired algorithm for estimating the permanent of positive semidefinite matrices // Preprint arXiv: quant-ph./ 1609.02416. 2017. P. 1-9.
13. Gelfand I. М., Retakh V. S. Determinants of matrices over noncommutative rings // Funct. Anal. Appl. 1991. Vol. 25, N 2. R 91-102.
14. Krattenthaler C. Advanced determinant calculus: A complement // Linear Algebra and Its Applications. 2005. Vol. 411. P. 68-166. https://doi.Org/10.1016/j.laa.2005.06.042
15. Krob D., Leclerc B. Minor identities for quasi-determinants and quantum determinants// Commun. Math. Phys. 1995. Vol. 169. P. 1-23.
16. Muir T. The theory of determinants in the historical order of development. Vol. 1, part 1. London, 1890.
17. Zeilberger D. Proof of the alternating sign matrix conjecture // arXiv: math./940721 lv, 1994. P. 1-84.
Георгий Петрович Егорычев, доктор физико-математических наук, профессор, Сибирский федеральный университет, 660041, г. Красноярск, пр. Свободный, 79, Российская Федерация, тел.: +7(391)2461609 (e-mail: [email protected])
Поступила в редакцию 10.11.18
Determinants as Combinatorial Summation Formulas over an Algebra with a Unique n-ary Operation
G. P. Egorychev
Siberian Federal University, Krasnoyarsk, Russian Federation
Abstract. Since the late 1980s the author has published a number of results on matrix functions, which were obtained using the generating functions, mixed discriminants (mixed volumes in Rn), and the well-known polarization theorem (the most general version of this theorem is published in "The Bulletin of Irkutsk State University. Series Mathematics" in 2017). The polarization theorem allows us to obtain a set of computational formulas (polynomial identities) containing a family of free variables for polyadditive and symmetric functions. In 1979-1980, the author has found the first polynomial identity for permanents over a commutative ring, and, in 2013, the polynomial identity of a new type for determinants over a noncommutative ring with associative powers.
In this paper we give a general definition for determinant (the e-determinant) over an algebra with a unique n-ary /-operation. This definition is different from the well-known definition of the noncommutative Gelfand determinant. It is shown that under natural restrictions on the /-operation the e-determinant keeps the basic properties of classical determinants over the field R. A family of polynomial identities for the e-determinants is obtained. We are convinced that the task of obtaining similar polynomial identities for Schur functions, the mixed determinants, resultants and other matrix functions over various algebraic systems is quite interesting. And an answer to the following question is especially interesting: for which, n-ary f-operations a fast quantum computers based calculation of e-determinants is possible?
Keywords: determinants and permanents, noncommutative and multioperator algebras, polarization and inclusion-conclusion theorems, quantum computers.
References
1. Egorychev G.P. New formulas for the permanent. Dokl. Acad. Nauk USSR, 1980, vol. 265, no. 4, pp. 784-787. (in Russian)
2. Egorychev G.P. Discrete mathematics. Permanents. Krasnoyarsk, Siberian Federal Univ., 2007, 272 p. (in Russian)
3. Egorychev G.P. New polynomial identities for determinants over commutative rings. The Bulletin of Irkutsk State University. Series Mathematics, 2012, vol. 5, no. 4, pp. 16-20. (in Russian)
4. Egorychev G.P. The polarization theorem and polynomial Identities for matrix functions. The Bulletin of Irkutsk State University. Series Mathematics, 2017, vol. 21, no. 4, pp. 16-20. (in Russian) https://doi.org/10.26516/1997-7670.2017.21.77
5. Kochergin V.V. About complexity of computation one-terms and powers. Discrete Analysis, Novosibirsk, Sobolev Institute of mathematics SB RAS Publ., 1994, vol. 27, pp. 94-107. (in Russian)
6. Kurosh A.G. Multioperator rings and algebras. Uspechi Math. Nauk, 1969, vol. 24, issue 1(145), pp. 3-15. (in Russian)
7. Pozhidaev A.P. A simple factor-algebras and subalgebras of Jacobians algebras. Sibirsk. Math. Zh., 1998, vol. 39, no. 3, pp. 593-599. (in Russian)
8. Filippov V.T. On the n-Lie algebras of Jacobians. Sibirsk. Math. Zh., 1998, vol. 39, no. 3, pp. 660-669.(in Russian) https://doi.org/10.1007/BF02673915
9. Arvind V., Srinivasan S. On the hardness of noncommutative determinants. Electronic Colloquium on Computational Complexity. Report no. 103, 2009, pp. 1-18.
10. Barvinok A.I. New permanent estimators via non-commutative determinants. Preprint arXiv: math. /0007153, 2000, pp. 1-13.
11. Burago Yu.D., Zalgaller V.A. Geometric Inequalities. N.Y., Springer Verlag, 1988, 334 p.
12. Chakhmakhchyan L., Cerf N.J., Garcia-Patron R. Guantum inspired algorithm for estimating the permanent of positive semidefinite matrices. Preprint arXiv: quant-ph./1609.02416, 2017, pp. 1-9.
13. Gelfand I.M., Retakh V.S. Determinants of matrices over noncommutative rings. Fund. Anal. Appl., 1991, vol. 25, no. 2, pp.91-102.
14. Krattenthaler C. Advanced determinant calculus: A complement. Linear Algebra and Its Applications, 2005, vol. 411, pp. 68-166. https://doi.Org/10.1016/j.laa.2005.06.042
15. Krob D., Leclerc B. Minor identities for quasi-determinants and quantum determinants. Commun. Math. Phys. 1995, vol. 169, pp. 1-23.
16. Muir T. The theory of determinants in the historical order of development. Vol. 1, part 1. London, 1890.
17. Zeilberger D. Proof of the alternating sign matrix conjecture. arXiv: math./ 9407211v, 1994, pp. 1-84.
Georgy Egorychev, Doctor of Sciences (Physics and Mathematics), Professor, Siberian Federal University, 79 Svobodny pr., 660041, Krasnoyarsk, Russian Federation, tel.: +7(391)2461609 (e-mail: [email protected])
Received 10.11.18
