Related papers: Computing Super Matrix Invariants

We prove a generalization of the polarization identity of linear algebra expressing the inner product of a complex inner product space in terms of the norm, where the field of scalars is extended to an associative algebra equipped with an…

We investigate the representation of symmetric polynomials as a sum of squares. Since this task is solved using semidefinite programming tools we explore the geometric, algebraic, and computational implications of the presence of discrete…

For a finite group G and a finite-dimensional G-module V, we prove a general result on the Poincar\'e series for the G-invariants in the tensor algebra T(V). We apply this result to the finite subgroups G of the 2-by-2 special unitary…

We develop a method to construct algebraic invariants for hypermatrices. We then construct hyperdeterminants and exhibit a generalization of the Cayley-Hamilton theorem for hypermatrices.

Two methods can be used to calculate explicitly the Killing form on the Lie algebras. The first one is a direct calculation of the traces of the generators in a matrix representation of the algebra, and the second one is the usage of the…

We develop the necessary tools, including a notion of logarithmic derivative for curves in homogeneous spaces, for deriving a general class of equations including Euler-Poincar\'e equations on Lie groups and homogeneous spaces. Orbit…

A generalization $\mathfrak{Gal}_{\ell}(p,q)$ of the conformal Galilei algebra $\mathfrak{g}_{\ell}(d)$ with Levi subalgebra isomorphic to $\mathfrak{sl}(2,\mathbb{R})\oplus\mathfrak{so}(p,q)$ is introduced and a virtual copy of the latter…

We outline an algorithm for construction of functional bases of absolute invariants under the rotation group for sets of rank 2 tensors and vectors in the Euclidean space of arbitrary dimension. We will use our earlier results for symmetric…

Given a finite dimensional representation of a semisimple Lie algebra there are two ways of constructing link invariants: 1) quantum group invariants using the R-matrix, 2) the Kontsevich universal link invariant followed by the Lie algebra…

This paper presents the classification, over the fields of real and complex numbers, of the minimal ${\mathbb Z}_2\times{\mathbb Z}_2$-graded Lie algebras and Lie superalgebras spanned by $4$ generators and with no empty graded sector. The…

First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field.…

Earlier, there were defined two generalized (``motivic'') versions of the Poincar\'e series of a collection of plane valuations on the algebra ${\mathcal O}_{{\mathbb C}^2,0}$ of germs of holomorphic functions in two variables. One of them…

In this paper we generalise the notion of Drinfeld modular form for the group $\Gamma$ := GL2(Fq[$\theta$]) to a vector-valued setting, where the target spaces are certain modules over positive characteristic Banach algebras over which are…

In this series of papers, we propose a theory of enumerative invariants counting self-dual objects in self-dual categories. Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL}…

This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed…

Loop invariants are properties of a program loop that hold before and after each iteration of the loop. They are often employed to verify programs and ensure that algorithms consistently produce correct results during execution.…

In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the…

Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consistently produce correct results during execution.…

We consider a generalization of representations of quivers that can be derived from the ordinary representations of quivers by considering a product of arbitrary classical groups instead of a product of the general linear groups and by…

A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…