Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation

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 $\mathbb R^n$), and the well-known polarization theorem (the most general version of this theorem is published in "...

Full description

Bibliographic Details
Main Author: G.P. Egorychev
Format: Article
Language:English
Published: Irkutsk State University 2018-12-01
Series:Известия Иркутского государственного университета: Серия "Математика"
Subjects:
Online Access:http://mathizv.isu.ru/en/article/file?id=1286
_version_ 1818791953046700032
author G.P. Egorychev
author_facet G.P. Egorychev
author_sort G.P. Egorychev
collection DOAJ
description 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 $\mathbb R^n$), 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 $f$-operation. This definition is different from the well-known definition of the noncommutative Gelfand determinant. It is shown that under natural restrictions on the $f$-operation the $e$-determinant keeps the basic properties of classical determinants over the field $\mathbb{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: {\it{for which $n$-ary $f$-operations a fast quantum computers based calculation of $e$-determinants is possible?}}
first_indexed 2024-12-18T15:19:32Z
format Article
id doaj.art-a8191f78fa324c29a99e26537c8d0ff0
institution Directory Open Access Journal
issn 1997-7670
2541-8785
language English
last_indexed 2024-12-18T15:19:32Z
publishDate 2018-12-01
publisher Irkutsk State University
record_format Article
series Известия Иркутского государственного университета: Серия "Математика"
spelling doaj.art-a8191f78fa324c29a99e26537c8d0ff02022-12-21T21:03:26ZengIrkutsk State UniversityИзвестия Иркутского государственного университета: Серия "Математика"1997-76702541-87852018-12-01261121127https://doi.org/10.26516/1997-7670.2018.26.121Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary OperationG.P. EgorychevSince 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 $\mathbb R^n$), 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 $f$-operation. This definition is different from the well-known definition of the noncommutative Gelfand determinant. It is shown that under natural restrictions on the $f$-operation the $e$-determinant keeps the basic properties of classical determinants over the field $\mathbb{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: {\it{for which $n$-ary $f$-operations a fast quantum computers based calculation of $e$-determinants is possible?}}http://mathizv.isu.ru/en/article/file?id=1286determinants and permanentsnoncommutative and multioperator algebraspolarization and inclusion-conclusion theoremsquantum computers
spellingShingle G.P. Egorychev
Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
Известия Иркутского государственного университета: Серия "Математика"
determinants and permanents
noncommutative and multioperator algebras
polarization and inclusion-conclusion theorems
quantum computers
title Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
title_full Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
title_fullStr Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
title_full_unstemmed Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
title_short Determinants as Combinatorial Summation Formulas over an Algebra with a Unique $n$-ary Operation
title_sort determinants as combinatorial summation formulas over an algebra with a unique n ary operation
topic determinants and permanents
noncommutative and multioperator algebras
polarization and inclusion-conclusion theorems
quantum computers
url http://mathizv.isu.ru/en/article/file?id=1286
work_keys_str_mv AT gpegorychev determinantsascombinatorialsummationformulasoveranalgebrawithauniquenaryoperation