相关论文: Typical separating invariants

Let $G$ be a linear algebraic group acting linearly on a $G$-variety $\mathcal{V}$, and let $k[\mathcal{V}]^G$ be the corresponding algebra of invariant polynomial functions. A separating set $S \subseteq k[\mathcal{V}]^G$ is a set of…

The methods of classical invariant theory are used to construct generic polynomials for groups $S_5$ and $A_5$, along with explicit reductions to specializations of the generic polynomials defining any desired field extension with those…

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.…

We show how to decompose any density matrix of the simplest binary composite systems, whether separable or not, in terms of only product vectors. We determine for all cases the minimal number of product vectors needed for such a…

Let $K[x]$ be a polynomial algebra in a variable $x$ over a commutative $\Q$-algebra $K$, and $\G'$ be the monoid of $K$-algebra monomorphisms of $K[x]$ of the type $\s : x\mapsto x+\l_2x^2+... +\l_nx^n$, $\l_i\in K$, $\l_n$ is a unit of…

In this paper, for n a positve integer, we compute the number of n degree representations for a dihedral group G of order 2m, m \geq 3 and the dimensions of the corresponding spaces of G invariant bilinear forms over a complex field C. We…

We present an encoding of a polynomial system into vanishing and non-vanishing constraints on almost-principal minors of a symmetric, principally regular matrix, such that the solvability of the system over some field is equivalent to the…

We characterize the rational solutions to a KdV-like equation which are generated from polynomial solutions to the corresponding generalized bilinear equation. We use a particular class of polynomials satisfying a quadratic difference…

We introduce G{\aa}rding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove…

We consider the problem of separation of variables in the Kramers equation admitting a non-trivial symmetry group. Provided the external potential $V(x)$ is at most quadratic, a complete solution of the problem of separation of variables is…

We classify indecomposable commutative separable (special Frobenius) algebras and their local modules in (untwisted) group-theoretical modular categories. This gives a description of modular invariants for group-theoretical modular data. As…

We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number…

We prove that the scalar and $2\times 2$ matrix differential operators which preserve the simplest scalar and vector-valued polynomial modules in two variables have a fundamental Lie algebraic structure. Our approach is based on a general…

Some polynomials $P$ with rational coefficients give rise to well defined maps between cyclic groups, $\Z_q\longrightarrow\Z_r$, $x+q\Z\longmapsto P(x)+r\Z$. More generally, there are polynomials in several variables with tuples of rational…

We consider three bivariate polynomial invariants $P$, $A$, and $S$ for rooted trees, as well as a trivariate polynomial invariant $M$. These invariants are motivated by random destruction processes such as the random cutting model or site…

In the present paper, we provide results that relate the Jacobi polynomials in genus $g$. We show that if a code is $t$-homogeneous that is, the codewords of the code for every given weight hold a $t$-design, then its Jacobi polynomial in…

We define a family of generalizations of the two-variable quandle polynomial. These polynomial invariants generalize in a natural way to eight-variable polynomial invariants of finite biquandles. We use these polynomials to define a family…

Let $\mathcal A$ be a hyperplane arrangement in a vector space $V$ and $G \leq GL(V)$ a group fixing $\mathcal A$. In case when $G$ is a complex reflection group and $\mathcal A=\mathcal A(G)$ is its reflection arrangement in $V$, Douglass,…

Let (N, G), where N is a normal subgroup of G<SL_n(C), be a pair of finite groups and V a finite-dimensional fundamental G-module. We study the G-invariants in the symmetric algebra S(V) by giving explicit formulas of the Poincar\'{e}…

Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last…